Relevant bibliographies by topics / Godel

Academic literature on the topic 'Godel'

Author: Grafiati
Published: 4 June 2021
Last updated: 30 July 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Godel.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Godel"

1

Putnam, H. "After Godel." Logic Journal of IGPL 14, no. 5 (October 1, 2006): 745–54. http://dx.doi.org/10.1093/jigpal/jzl008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Abbott, Steve, and Palle Yourgrau. "Godel Meets Einstein: Time Travel in the Godel Universe." Mathematical Gazette 84, no. 500 (July 2000): 374. http://dx.doi.org/10.2307/3621733.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Weinstein, Steven, and Palle Yourgrau. "Godel Meets Einstein: Time Travel in the Godel Universe." Philosophical Review 111, no. 1 (January 2002): 148. http://dx.doi.org/10.2307/3182586.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Sieg, W. "Godel on computability." Philosophia Mathematica 14, no. 2 (January 9, 2006): 189–207. http://dx.doi.org/10.1093/philmat/nkj005.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Oberdan, Thomas. "Kurt Godel: Unpublished Philosophical Essays. Kurt Godel , Francisco A. Rodriguez-Consuegra." Isis 91, no. 1 (March 2000): 186–87. http://dx.doi.org/10.1086/384691.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Sri Lestari, I. Gusti Ayu, I. Wayan Wastawa, and I. Made Budiasa. "KOMUNIKASI INTRA BUDAYA MEEDENG GODEL DI PURA DALEM DALAM RANGKAIAN UPACARA NYEPI DI DESA PAKRAMAN SUSUT DESA BUAHAN KECAMATAN PAYANGAN KABUPATEN GIANYAR." Jurnal Penelitian Agama Hindu 2, no. 1 (May 28, 2018): 176. http://dx.doi.org/10.25078/jpah.v2i1.465.

Full text
Abstract:
<p><em>Communication produces a diversity of cultures and traditions. There are two existing cultures that are profane and sacred. One of the sacred culture is Meedeng Godel (Cow's son) which is implemented by the people of Pakraman Susut Village located in Payangan District Gianyar Regency. Based on the process that can be formulated as follows: 1) How the process of intra-cultural communication Meedeng Godel on the implementation of the series of ceremonies Nyepi in Pura Dalem 2) Implement intercultural communication that occurred in the ceremony Meedeng Godel in the implementation of the series of ceremonies Nyepi in Pura Dalem 3) How the meaning of intra cultural communication Meedeng Godel in the implementation of the series of ceremonies Nyepi in Pura Dalem of Desa Pakraman Susut, Buahan Village, Payangan District, Gianyar Regency.</em></p><p><em>In summary, the findings can be summarized as follows: Intra-cultural communication in Meedeng Godel on the implementation of the Nyepi ceremony at Pura Dalem of Pakraman Susut Village, Buahan Village, Payangan District, Gianyar Regency, carried out by the village of Pakraman Susut seven days before Nyepi ceremony which is used as the ceremony tawur kesanga. Communication that occurs verbal and nonverbal communication Yingan and Sarwa Pepranian Offering at Pura Dalem of Pakraman Susut Village.</em></p><p><em>The meaning of intra-cultural communication Meedeng Godel in the implementation of the series of ceremonies Nyepi in Pura Dalem of Pakraman Susut Village, the meaning of intrapersonal communication Meedeng Godel as the obligation of society and as a spark of the conscience of the community, the meaning of sociocultural communication, the meaning of religious communication, the meaning of persuasive and interpersonal communication.</em></p>
APA, Harvard, Vancouver, ISO, and other styles
7

Shapiro, Stewart, and Hao Wang. "Reflections on Kurt Godel." Philosophical Review 100, no. 1 (January 1991): 130. http://dx.doi.org/10.2307/2185523.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Bell, J. L., and Hao Wang. "Reflections on Kurt Godel." Philosophical Quarterly 39, no. 154 (January 1989): 115. http://dx.doi.org/10.2307/2220357.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

da Silva, Jairo Jose. "Godel and transcendental phenomenology." Revue internationale de philosophie 234, no. 4 (December 1, 2005): 553–74. http://dx.doi.org/10.3917/rip.234.0553.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Woleński, Jan. "Godel, Tarski and Truth." Revue internationale de philosophie 234, no. 4 (December 1, 2005): 459–90. http://dx.doi.org/10.3917/rip.234.0459.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Godel"

1

Kavuk, Mehmet. "Godel Spacetime." Master's thesis, METU, 2005. http://etd.lib.metu.edu.tr/upload/12606414/index.pdf.

Full text
Abstract:
In this thesis properties of the Gö
del spacetime are analyzed and it is explicitly shown that there exist closed timelike curves in this spacetime. Geodesic motions for massive particles and light rays are investigated. One observes the focusing effect as a result of the solution of the geodesic equations. The time it takes for a free particle released from a point to come back to its starting point is calculated. A geometrical interpretation of the Gö
del spacetime is given and the question of what the Gö
del spacetime looks like is answered.
APA, Harvard, Vancouver, ISO, and other styles
2

Ozgoren, Kivanc. "Godel&#039." Master's thesis, METU, 2005. http://etd.lib.metu.edu.tr/upload/12606497/index.pdf.

Full text
Abstract:
In this thesis, firstly the original Gö
del'
s metric is examined in detail. Then a more general class of Gö
del-type metrics is introduced. It is shown that they are the solutions of Einstein field equations with a physically acceptable matter distribution provided that some conditions are satisfied. Lastly, some examples of the Gö
del-type metrics are given.
APA, Harvard, Vancouver, ISO, and other styles
3

Medeiros, Maria da Paz Nunes de. "Os teoremas de incompletude de Godel." [s.n.], 1994. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278663.

Full text
Abstract:
Orientador: Jose Alexandre D. Guerzoni
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-07-19T17:18:10Z (GMT). No. of bitstreams: 1 Medeiros_MariadaPazNunesde_M.pdf: 11561835 bytes, checksum: 796aa2239da6be1c2ac924de8e4f3502 (MD5) Previous issue date: 1994
Resumo: Em 1931. GOdel apresentou dois Teoremas de Incompletude que. indiscutivelmente. foram os resultados mais importantes da Lógica no início deste século. Pretende-se. neste trabalho. apresentar uma demonstração detalhada do primeiro teorema, na qual. Essa todas as fórmulas envol vidas sejam explicitadas. demonstração baseia-se na idéi a de auto-referência. Considera-se simultaneamente uma teoria (Teoria formal C Ar i tméti ca de Peano) e uma Intuitiva dos Números) para mostrar, via godelização. que as propriedades e operações de cunho sintático-morfol6gico da teoria formal são representáveis nela própria. Garantida essa representação através de um Teor ema de Completude Parcial. demonstra-se o primeiro teorema a partir do Lema da Diagonal, para em seguida apresentar a demonstração usual do segundo. que pressupõe a formalização de certas condições de derivabilidade
Abstract: Not informed.
Mestrado
Mestre em Filosofia
APA, Harvard, Vancouver, ISO, and other styles
4

Schnell, Carl. "GodEl - En marknadsundersökning för en ljusare framtid." Thesis, Stockholm University, School of Business, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-6033.

Full text
Abstract:

Nya regler för den svenska elmarknaden trädde i kraft den 1 januari 1996 och den innehöll regler som skulle innefatta konkurrens i elproduktion och handel med el. Transport av el i nätet betraktas dock som ett naturligt monopol och kom därmed att undantas konkurrensutsättning. Syftet med avregleringen 1996 var att skapa valfrihet för el-användarna och öka effektiviteten i produktions och försäljningsledet. ”Konkurrensen inom elhandeln skulle skapa förutsättningar för en ökad pris och kostnadspress inom elförsörjningen”. Det problemområde som ska undersökas är av vilken anledning en del kunder tackar nej till erbjudandet under de 2 ångerveckorna. Företaget vill få ner antalet som tackar nej och vill nu få reda på hur de bättre kan sälja in konceptet och framställa informationen. Vidare ska också undersökas vilka faktorer de befintliga kunder anser är viktigast när de ska byta elleverantör samt hur den första kontakten med företaget togs. Teorierna som används i undersökningen är Porters fem konkurrenskrafter, SWOT-analys samt en teori som inte blockerar tänkandet. Empirin inhämtades genom intervjuer med GodEls Vd samt energimyndigheten vidare gjordes också undersökningar mot målgrupperna, ångerkunder samt befintliga kunder. De främsta faktorerna som påverkar GodEl är såklart konkurrenterna på marknaden och då främst de tre stora. Vattenfall, E.ON, och Fortum är de företag som GodEl ser som sina främsta konkurrenter och det har man motverkat genom att ha en prisgaranti mot dessa tre. Vidare är konceptet helt klart grundstenen för GodEl som organisation. Att hålla stenhårt på detta och följa det i alla lägen ska utmynna i nöjda kunder vilket undersökningen har påvisat att så är fallet. Den största anledningen till att kunderna tackade nej till GodEl var helt klart priset, vilket gör att det är en stor faktor att ta hänsyn till på marknaden.

APA, Harvard, Vancouver, ISO, and other styles
5

King, David. "From Godel to Derrida: Undecidability, indeterminacy, and infinity." Thesis, King, David (1992) From Godel to Derrida: Undecidability, indeterminacy, and infinity. PhD thesis, Murdoch University, 1992. https://researchrepository.murdoch.edu.au/id/eprint/51528/.

Full text
Abstract:
The purpose of this thesis is to argue for a textualist view of reality. By 'textualist view of reality’ is meant a standpoint whereby any subject position can be seen to be only provisional, not absolute. It is established early in the thesis that only an approach that draws on both the analytic and the continental schools of philosophy is adequate for such a project; roughly speaking, the continental school supplies the necessary critique of foundational approaches, while the analytic school situates the argument in an overtly rigorous context. The necessity for a textualist view of reality is in part evidenced by the perception that analytic philosophy has no means whereby mathematical truth can be reconciled with truth in general. The thesis starts with an examination of number and the infinite (consideration of which is shown to be essential to a textualist view of reality) from an historical perspective, and then examines Cantor's theory of infinite sets. The four main philosophies of mathematics arising from the foundational problems associated with Cantor's ideas are then considered. It is maintained that Godel's Kantian platonism provides a means of reconciling mathematical truth with truth in general, and that Derrida's critique of Kant enables this platonism to be framed in more sophisticated. textualist terms. AS, however, a Kantian/Derridean model has implications for physics - in particular with regard to the physical infinite the thesis devotes two chapters to these implications. The final chapter shows how the thesis' textualist view of reality in many ways is most naturally expressed as a Cantorian "diagonal argument".
APA, Harvard, Vancouver, ISO, and other styles
6

Shapiro, David. "Compiling Evaluable Functions in the Godel Programming Language." PDXScholar, 1996. https://pdxscholar.library.pdx.edu/open_access_etds/5101.

Full text
Abstract:
We present an extension of the Godel logic programming language code generator which compiles user-defined functions. These functions may be used as arguments in predicate or goal clauses. They are defined in extended Godel as rewrite rules. A translation scheme is introduced to convert function definitions into predicate clauses for compilation. This translation scheme and the compilation of functional arguments both employ leftmost-innermost narrowing. As function declarations are indistinguishable from constructor declarations, a function detection method is implemented. The ultimate goal of this research is the implementation of extended Godel using needed narrowing. The work presented here is an intermediate step in creating a functional-logic language which expands the expressiveness of logic programming and streamlines its execution.
APA, Harvard, Vancouver, ISO, and other styles
7

Santos, Guilherme Silveira de Almeida. "Intencionalidade e inteligência artificial no pensamento de Dennett." Universidade Federal de Goiás, 2013. http://repositorio.bc.ufg.br/tede/handle/tede/3315.

Full text
Abstract:
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2014-10-09T11:38:54Z No. of bitstreams: 2 Dissertação - Guilherme Silveira de Almeida Santos - 2013.pdf: 413472 bytes, checksum: 2613ed31d953050394ce6d727fb4ad1e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2014-10-09T14:46:08Z (GMT) No. of bitstreams: 2 Dissertação - Guilherme Silveira de Almeida Santos - 2013.pdf: 413472 bytes, checksum: 2613ed31d953050394ce6d727fb4ad1e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
Made available in DSpace on 2014-10-09T14:46:08Z (GMT). No. of bitstreams: 2 Dissertação - Guilherme Silveira de Almeida Santos - 2013.pdf: 413472 bytes, checksum: 2613ed31d953050394ce6d727fb4ad1e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-09-05
The concept of intentional stance, a very important concept of Daniel Dennett’s philosophical thought, is a central aspect to a naturalized viewpoint of intentionality. There are three levels to predicting the behavior of an object: 1) The physical stance, at this level, the prediction is based on the physical properties or physical laws. 2) The design stance, at this level, the prediction is based on the function of an object. 3) The intentional stance, at this level, the object is considered a intentional agent, that has belief, thinking and intention. More over, from Dennett’s point of view, the naturalization of intentionality is the way to the possibility of construction of computers that will have intentional behavior. Also, the development of intelligent computers is the objective of Artificial Intelligence (AI) research. And also, is important to show the refutations of two skeptical arguments that try to prove the impossibility of machines intentionality. Two arguments against some aspects of AI research are the Gödel’s theorem argument and the chinese room argument. The objective of dissertation is show that the concept pf intentional stance is a possibility to construction of artificial intentional agents.
O conceito de postura intencional, um conceito de suma importância no pensamento filosófico de Daniel Dennett, é um aspecto central para um ponto de vista naturalizado da intencionalidade. Há três modos distintos para predizer o comportamento de um objeto: 1) A postura física, através da qual a predição é feita baseando-se nas propriedades físicas ou leis físicas 2) A postura de projeto, onde consideramos a função de um objeto. 3) A postura intencional, através da qual consideramos um objeto como um agente intencional, dotado de crenças, pensamentos e intenções. Adicionalmente, do ponto de vista de Dennett,em parte, a naturalização da intencionalidade é o caminho para a possibilidade de construção de computadores que apresentarão comportamento intencional. Comparativamente, o desenvolvimento de computadores inteligentes é o objetivo da pesquisa de inteligência artificial ( IA). Ademais, é importante mostrar as refutações de dois argumentos céticos que tentam provar a impossibilidade da intencionalidade em máquinas. Dois argumentos críticos a certos aspectos da pesquisa de IA são o argumento do teorema de Gödel e o argumento do quarto chinês. O objetivo da dissertação é mostrar que o conceito de postura intencional é uma possibilidade para a construção de agentes intencionais artificiais.
APA, Harvard, Vancouver, ISO, and other styles
8

Vorvick, Janet. "Evaluable Functions in the Godel Programming Language: Parsing and Representing Rewrite Rules." PDXScholar, 1995. https://pdxscholar.library.pdx.edu/open_access_etds/5195.

Full text
Abstract:
The integration of a functional component into a logic language extends the expressive power of the language. One logic language which would benefit from such an extension is Godel, a prototypical language at the leading edge of the research in logic programming. We present a modification of the Godel parser which enables the parsing of evaluable functions in Godel. As the first part of an extended Godel, the parser produces output similar to the output from the original Godel parser, ensuring that Godel modules are properly handled by the extended-Godel parser. Parser output is structured to simplify, as much as possible, the future task of creating an extended compiler implementing evaluation of functions using narrowing. We describe the structure of the original Godel parser, the objects produced by it, the modifications made for the implementation of the extended Godel and the motivation for those modifications. The ultimate goal of this research is production of a functional component for Godel which evaluates user-defined functions with needed narrowing, a strategy which is sound, complete, and optimal for inductively sequential rewrite systems.
APA, Harvard, Vancouver, ISO, and other styles
9

Purser, David Thurman. "A Leibnizian Approach to Mathematical Relationships: A New Look at Synthetic Judgments in Mathematics." University of Toledo / OhioLINK, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=toledo1264612988.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Busatto, Neto Renato. "Teorias formais & informais : a noção de prova e os teoremas de incompletude de Godel." [s.n.], 1989. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278698.

Full text
Abstract:
Orientador: Carlos Alberto Lungarzo
Dissertação (mestrado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-07-13T21:33:46Z (GMT). No. of bitstreams: 1 BusattoNeto_Renato_M.pdf: 24051956 bytes, checksum: bccd65a7e49b5be8e6995a43dbf8fc0a (MD5) Previous issue date: 1989
Resumo: Não informado
Abstract: Not informed.
Mestrado
Mestre em Filosofia
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Godel"

1

Nagel, Ernest. El teorema de Godel. 4th ed. Madrid: Tecnos, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sigmund, Karl. Kurt Godel: Das Album = the album. Wiesbaden, Germany: Vieweg, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Shankar, N. Metamathematics, machines, and Godel"s proof. Cambridge: Cambridge University Press, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Menaḥem, Ṭopel, ed. Godel ṿi-yeʻilut kalkalit be-ḳoʼoperaṭivim kafriyim. Ramat Efʻal: Yad Ṭabenḳin, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Hofstadter, Douglas R. Godel, Escher, Bach: An eternal golden braid. Harmondsworth: Penguin, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Uspenskii, Vladimir Andreevich. Gia to theōrēma mē-plērotētas tou Godel. Athēna: Trochalia, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ṭoibenfeld, Yosef. Sefer Menuḥat Tsiyon: Yevoʼar godel maʻalat miḳṿeh ʻerev Shabat ḳodesh, ṿe-godel maʻalat tosefet Shabat ḳodesh, ṿe-godel maʻalat limud Torah be-Shabat ḳodesh, ṿe-ʻod ʻinyanim ... [Spring Valley, N.Y.?]: Daṿid Tsevi Shneebalg, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Landau, Suzanne. Be-godel ṭivʻi: Dimuye metsiʾut be-omanut ʻakhshaṿit. Yerushalayim: Muzeʾon Yiśraʾel, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

F, Gold S., and Mekhon Torah Ḥafets Ḥayim (London, England), eds. Ḳunṭres Yeḳarah mi-peninim: Godel maʻalat limud ha-Torah ... London: Mekhon Torah Ḥafets Ḥayim, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Woitschach, Max. Godel, Gotzen und Computer: Eine Kritik der unreinen Vernunft. Stuttgart: Poller, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Godel"

1

Zheng, Zhiyong, Kun Tian, and Fengxia Liu. "LWE Public Key Cryptosystem." In Financial Mathematics and Fintech, 99–118. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-7644-5_4.

Full text
Abstract:
AbstractIn 2005, O.Regev proposed the first LWE public key cryptosystem at Tel Aviv University in Israel based on LWE distribution $$A_{s,\chi }$$. Because of this paper, Regev won the highest award for theoretical computer science in 2018—the Godel Award. The size of public key is $$\tilde{O}(n^2)$$ bits, and the size of private key s and ciphertext is $$\tilde{O}(n)$$ bits. The plaintext encrypted each time is 1 bit. In fact, the LWE public key cryptosystem is a probabilistic cryptosystem, which depends on a high probability algorithm. Since the security of LWE problem has been clearly proved (see Chap. 3), the LWE cryptosystem has received extensive attention as soon as it was proposed, and it becomes the most cutting-edge research topic in the lattice-based cryptosystem study.
APA, Harvard, Vancouver, ISO, and other styles
2

Gooch, Jan W. "Godet Roll." In Encyclopedic Dictionary of Polymers, 345. New York, NY: Springer New York, 2011. http://dx.doi.org/10.1007/978-1-4419-6247-8_5567.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Gooch, Jan W. "Godet Stand." In Encyclopedic Dictionary of Polymers, 345–46. New York, NY: Springer New York, 2011. http://dx.doi.org/10.1007/978-1-4419-6247-8_5568.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Zheng, Zhiyong, Kun Tian, and Fengxia Liu. "Fully Homomorphic Encryption." In Financial Mathematics and Fintech, 143–74. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-7644-5_6.

Full text
Abstract:
AbstractIn 1978, Rivest et al. (1978) proposed the concepts of data bank and fully homomorphic encryption. Some individuals and organizations encrypt the original data and store them in the data bank for privacy protection. Data bank is also called data cloud. Therefore, the cloud stores a large amount of original data, which is obviously a huge wealth. How to use these data effectively? First of all, we must solve the problem of calculation of these encrypted data, which is called a privacy calculation problem. Rivest, Adleman and Dertouzos conjecture that if all data is fully homomorphic encryption, that is, the addition and multiplication of ciphertext are homomorphic to the corresponding addition and multiplication of plaintext, then the encrypted data can be effectively computed by elementary calculation without changing the structure of the plaintext data (under the condition of homomorphism). The RAD conjecture has been proposed for more than 30 years, but no one could solve this problem since the cryptographic structure of the fully homomorphic encryption system is too complicated. In 2009, C. Gentry, a computer scholar at Stanford University, first proposed a fully homomorphic encryption scheme in Gentry (2009b) based on ideal lattice, for which he won the 2022 highest award in theoretical computer science—the Godel Award. Based on Gentry’s work, the second and third fully homomorphic encryption schemes based on LWE distribution and trapdoor matrix technology have also been proposed; see Brakerski and Vaikuntanathan (2011a), (2011b), (2012), (2014), (2015) and Gentry et al. (2013) in 2013. The main purpose of this chapter is to systematically analyze and discuss the above three fully homomorphic encryption techniques, in order to understand the latest research trends of the post-quantum cryptography.
APA, Harvard, Vancouver, ISO, and other styles
5

Kersten, Martin L., and Frans H. Schippers. "Godal: An Object-Centered Database Language." In Topics in Information Systems, 121–33. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-642-84374-7_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Dahiya, Ram C., and Syed A. Hossain. "A Modification of Goel-Okumoto Model." In Lifetime Data: Models in Reliability and Survival Analysis, 77–84. Boston, MA: Springer US, 1996. http://dx.doi.org/10.1007/978-1-4757-5654-8_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Waaks, V. R., Ch A. Romanowskij, and W. N. Pawletschko. "Probleme der Abwasserreinigung im Industiezentrum Gomel/Belarus." In Abwassertechnik, 293–305. Wiesbaden: Vieweg+Teubner Verlag, 1995. http://dx.doi.org/10.1007/978-3-663-12485-6_20.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Keating, Conrad. "Introduction." In Tore Godal and the Evolution of Global Health, 1–8. New York: Routledge, 2023. http://dx.doi.org/10.4324/9781003363859-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Keating, Conrad. "The Fall and Rise of Malaria." In Tore Godal and the Evolution of Global Health, 68–94. New York: Routledge, 2023. http://dx.doi.org/10.4324/9781003363859-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Keating, Conrad. "The Special Programme for Research and Training in Tropical Diseases (TDR)." In Tore Godal and the Evolution of Global Health, 9–38. New York: Routledge, 2023. http://dx.doi.org/10.4324/9781003363859-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Godel"

1

J, Ulisses Ferreira. "Godel Theorem is Invalid." In 5th International Conference of Advanced Computer Science & Information Technology. Academy & Industry Research Collaboration Center (AIRCC), 2017. http://dx.doi.org/10.5121/csit.2017.70802.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Liang, Shuying, Weibin Sun, and Matthew Might. "Fast Flow Analysis with Godel Hashes." In 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE, 2014. http://dx.doi.org/10.1109/scam.2014.40.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Aguzzoli, Stefano, Brunella Gerla, and Vincenzo Marra. "The Automorphism Group of Finite Godel Algebras." In 2010 40th IEEE International Symposium on Multiple-Valued Logic. IEEE, 2010. http://dx.doi.org/10.1109/ismvl.2010.13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lahav, Ori, and Arnon Avron. "Non-deterministic Connectives in Propositional Godel Logic." In 7th conference of the European Society for Fuzzy Logic and Technology. Paris, France: Atlantis Press, 2011. http://dx.doi.org/10.2991/eusflat.2011.87.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Dicle, Neslisah, and Volkan Atalay. "Matching algorithm based on Godel coding scheme." In Electronic Imaging, edited by Bhaskaran Vasudev, T. Russell Hsing, Andrew G. Tescher, and Robert L. Stevenson. SPIE, 2000. http://dx.doi.org/10.1117/12.382992.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Genovese, Paolo Vincenzo, and Liang Wei-yi. "The application of Godel Incomplete Theorem in architecture." In 2011 International Conference on Electric Technology and Civil Engineering (ICETCE). IEEE, 2011. http://dx.doi.org/10.1109/icetce.2011.5774475.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Baraglia, Ranieri, Patrizio Dazzi, Barbara Guidi, and Laura Ricci. "GoDel: Delaunay overlays in P2P networks via Gossip." In 2012 IEEE Twelfth International Conference on Peer-to-Peer Computing (P2P). IEEE, 2012. http://dx.doi.org/10.1109/p2p.2012.6335800.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Zhang, Heng, and Mingyi Zhang. "Model-Characterizing Formulas and Normal Forms in Godel Logics." In 37th International Symposium on Multiple-Valued Logic (ISMVL'07). IEEE, 2007. http://dx.doi.org/10.1109/ismvl.2007.33.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Codara, Pietro, Ottavio M. D'Antona, and Vincenzo Marra. "The Euler Characteristic of a Formula in Godel Logic." In 2010 40th IEEE International Symposium on Multiple-Valued Logic. IEEE, 2010. http://dx.doi.org/10.1109/ismvl.2010.28.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Abdel-Megied, M. "The Inner Geometry of Light Cone in Godel Universe." In Proceedings of the International Conference. WORLD SCIENTIFIC, 2001. http://dx.doi.org/10.1142/9789812810243_0025.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Godel"

1

Shapiro, David. Compiling Evaluable Functions in the Godel Programming Language. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.6977.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Vorvick, Janet. Evaluable Functions in the Godel Programming Language: Parsing and Representing Rewrite Rules. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.7071.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bergene, Ann Cecilie, Svenn-Erik Mamelund, and Arild Henrik Steen. Norsk arbeidsliv 2012. Svekket motstandskraft i gode tider. Oslo: Arbeidsforskningsinstituttet, 2012. http://dx.doi.org/10.7577/afi/fou/2012/7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Steinum, Trude. ”Hva kan vi lære av gode eksempler på seniorpolitikk?”. Oslo: Arbeidsforskningsinstituttet, 2008. http://dx.doi.org/10.7577/afi/fou/2008/5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Barry, Bobbi. Needed Narrowing as the Computational Strategy of Evaluable Functions in an Extension of Goedel. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.6791.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Lakatos, Csilla, and Terrie Walmsley. A Global Multi-sector Multi-region Foreign Direct Investment Database for GTAP. GTAP Research Memoranda, February 2010. http://dx.doi.org/10.21642/gtap.rm18.

Full text
Abstract:
A global bilateral multi-region multi-sector foreign direct investment (FDI) stocks and flows database has been contributed to GTAP by Houssein Boumellassa, Christophe Gouel and David Laborde from CEPII (Centre d'Etudes Prospectives et d'Informations Internationales) as a result of a project initiated by DG Trade of the European Commission. Contrary to other data sources on FDI this database is fully consistent, balanced and suitable for use in CGE work. The construction of this database is entirely documented in Boumellassa, Gouel and Laborde (2007). This document describes the steps used to convert this database into GTAP v7 sectoral and regional aggregation format. Accordingly, the final FDI stocks and flows database is bilateral with 113 regions and 57 sectors and base year 2004.
APA, Harvard, Vancouver, ISO, and other styles
7

García Salamanca, Angela Viviana, Julieth Nataly Lesmes, and Andrés Felipe Ruiz Castro. Prospectiva de la formación en salud universitaria. Universidad Nacional Abierta y a Distancia - UNAD, 2019. http://dx.doi.org/10.22490/ecisa.4762.

Full text
Abstract:
El estudio que se presenta a continuación tiene como objetivo realizar un estudio prospectivo para la Escuela de Ciencias de la Salud de la Universidad Nacional Abierta y a Distancia UNAD con un horizonte de tiempo al año 2026. Desarrollo. Su metodología se diseñó bajo un enfoque cualitativo de tipo descriptivo. El eje principal en el que se fundamentó el desarrollo de la investigación se enfocó en los postulados prospectivos de la escuela francesa representada por Michel Godet adaptado a los requerimientos del estudio en particular de la formación en salud. El procedimiento se dividió en tres etapas: Primera etapa, encuesta Delphi, busca determinar avances tecnológicos y tendencias de la educación en salud, Segunda etapa. Análisis estructural por medio del método MIC-MAC, Tercera etapa. Diseño de escenarios futuros y propuesta de escenario apuesta utilizando el método de ejes de Peter Schwartz. Conclusiones: Se evidenciaron cinco objetivos estratégicos para la formación en salud, como son: tecnosalud, infraestructura, investigación, redes académicas y transdisciplinariedad. Los ejes estratégicos permitieron diseñar cuatro posibles escenarios para la prospectiva en la formación en salud.
APA, Harvard, Vancouver, ISO, and other styles
8

Ubaque Camacho, Pedro Emilio, and Oswaldo Vanegas Florez. Plan estratégico y prospectivo de la procesadora de alimentos lácteos Marquezlac del municipio de Ciénaga Boyacá a 2026. Universidad Nacional Abierta y a Distancia, June 2023. http://dx.doi.org/10.22490/ecacen.6942.

Full text
Abstract:
El presente documento es producto de la propuesta formulación del plan estratégico y prospectivo de la Procesadora de Alimentos lácteos MARQUEZLAC para el año 2026, la cual se encuentra ubicada en el municipio de Ciénaga, Departamento de Boyacá, a partir de la aplicación del modelo avanzado de la prospectiva estratégica, que comprende el desarrollo de las siguientes fases: estado del arte y vigilancia tecnológica del sector lácteo; identificación de los factores de cambio y análisis estructural basado en el método MICMAC, análisis de juego de actores MACTOR, diseño de escenarios según la metodología de cruz de ejes de Peter Schwartz, formulación de estrategias y planes de acción (Mojica, 2008). La necesidad primordial que fundamenta el desarrollo del plan estratégico prospectivo consiste en que actualmente la Procesadora de Alimentos Lácteos MARQUEZLAC no cuenta con un direccionamiento estratégico claro; así como, el potencial de crecimiento del sector lácteo en la provincia de Márquez, le genera retos y oportunidades a la empresa, los cuales deben ser capitalizados oportunamente mediante una planeación estratégica visionaria y clara. La metodología utilizada en el desarrollo de la propuesta se basa en un enfoque mixto de investigación, por cuanto se aplicará el método Delphi para la consulta de expertos; al igual que los métodos MICMAC y MACTOR de la caja de herramientas de la prospectiva estratégica propuestos por Michel Godet (2007).
APA, Harvard, Vancouver, ISO, and other styles
9

Søndervik, Tone Solum, Inger Sofie Berge Hurlen, and Hallvor Lyngstad. Profesjonsutvikling i partnerskap. Edited by Kåre Andreas Folkvord and Elaine Munthe. University in Stavanger, June 2024. http://dx.doi.org/10.31265/usps.278.

Full text
Abstract:
Profesjonsutvikling i partnerskap er den andre tekstsamlingen fra Universitetet i Stavanger som tar utgangspunkt i erfaringer og læring fra partnersamarbeid i Rogaland. Høsten 2017 ble tekstsamlingen Skolebasert kompetanseutvikling i partnerskap publisert. Den omhandlet ulike perspektiv og erfaringer fra den nasjonale satsingen Ungdomstrinn i utvikling. Denne andre tekstsamlingen ønsker å løfte fram erfaringer og ny kunnskap fra ulike former for partnersamarbeid i vårt fylke gjennom både tilskuddsordning for lokal kompetanseutvikling og partnersamarbeidet mellom UiS og universitetsskolesamarbeidet, som inkluderer hele utdanningsspekteret fra barnehage til og med videregående opplæring. Tittelen på denne rapporten, Profesjonsutvikling i partnerskap, viser til formålene med de ulike partnerskapene: at vi sammen utvikler profesjonskunnskap og praksiser til beste for barn og unge. Partnersamarbeid gir lærere i skoler og barnehager muligheten til kontinuerlig å utvikle sine evner og sin kapasitet for å håndtere daglige utfordringer i praksis. Vitenskapelig ansatte fra UH-miljøene gis, gjennom partnersamarbeidet, en anledning til utvikle egen kompetanse og holde seg oppdatert på praksis som grunnlag for å utvikle kvalitet og relevans i lærerutdanningen. Profesjonsutvikling i partnerskap viser derfor også til partnersamarbeid som noe mer enn kun en måte å organisere et samarbeid på eller en betegnelse på en finansieringsordning. Tekstsamlingen fremmer at kompetanse i organisasjoner utvikles best gjennom dialoger og likeverdige samarbeid over tid mellom aktører som bidrar med kunnskap og perspektiv fra ulike kunnskapsbaser. Det er derfor verdt å merke seg at de fleste artiklene i denne tekstsamlingen er utviklet gjennom samarbeid mellom aktører i ulike partnersamarbeid i Rogaland og synliggjør på gode måter spennet og mangfoldet av ulike erfaringer og læring fra disse.
APA, Harvard, Vancouver, ISO, and other styles
10

Sommerseth, Rita. Pårørendesamtalen: En kvalitativ studie av profesjonsutøveres erfaringer med samtaler hvor pårørende søker hjelp. University of Stavanger, March 2013. http://dx.doi.org/10.31265/usps.235.

Full text
Abstract:
PårørendeSenteret har gitt Programområdet pårørendeforskning, ved Universitetet i Stavanger, i oppdrag å utføre en undersøkelse av pårørendesamtalen. Tema i undersøkelse er knyttet til:  Hvem er de pårørende og hvorfor søker de hjelp  Å være pårørende er både en ressurs og en byrde  Samtalen som redskap i profesjonsfag som helse- og omsorgsfagene  Ulike typer teoretisk påvirkning i forhold til pårørendesamtalen Det legges særlig vekt på:  Konstruerte case som eksempler på tilnærmingsmåter i pårørendesamtalen  Tilnærming i prosesser med livsproblemer eksemplifisert med casene.  Har rammebetingelse betydning for samtalen  Skillelinjer mellom samtaler ved Pårørendesenteret og samtaler i helseinstitusjoner  Klientifisering av pårørende De pårørende søker hjelp for egen del fordi de har en nærstående person som er fysisk eller psykisk syk, har en funksjonsnedsettelse eller et rusmisbruk. Eller at de får for lite eller for dårlig informasjon fra hjelpeapparatet eller de ikke vet at det er informasjon og få, eller at hjelpeapparatet viser for liten forståelse for deres situasjon, eller at de ikke finner frem til relevant hjelpeinstans. Pårørendesamtalen ser ut for å ha sitt utspring i generell profesjonsteori fra helse- og sosialfagene, men er påvirket av rådgivningsteori, teori om støttesamtaler, kriseteori, terapeutiske samtaler og annen teoretisk og klinisk bagasje den enkelte har i sin bakgrunn. Brukermedvirkning er sentralt. Profesjonsutøverne møter en stor variasjon av problemer i samtalene, noe som krever gode kommunikasjonsferdigheter og kjennskap til hjelpeapparatet. Det er sentralt for profesjonsutøverne og «skreddersy» tilbudet til den enkelte. Det presenteres seks konstruerte case og tilnærmingsmåter for samtaler. I en analyse og tolkning av tilnærmingsmåtene prøver en å vise hvordan profesjonsteori kan anvendes for å forstå pårørende, men og for å vise at casene representerer flere utfordringer enn det som er vist i det enkelte case. Forskjellene i de organisatoriske forholdene for Pårørendesenteret og helseinstitusjoner og kommuner skaper ulike betingelser for pårørendesamtalen. Det kan se ut som uavhengighet i forhold til hjelpeapparatet er viktig når en skal hjelpe pårørende med og «forhandle frem» ulike tilbud.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Godel' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography