Faster access than browser!
34 relations: Academia Europaea, American Association for the Advancement of Science, Association for Computing Machinery, Association for the Advancement of Artificial Intelligence, Bar-Ilan University, Common knowledge (logic), Communications of the ACM, Complexity of constraint satisfaction, Computer science, Database theory, European Academy of Sciences, Finite-state machine, Gödel Prize, George R. Brown School of Engineering, Guggenheim Fellowship, Hebrew University of Jerusalem, IBM Research - Almaden, Institute for Scientific Information, Joseph Halpern, Model checking, Multi-agent system, National Academy of Engineering, National Academy of Sciences, Offshoring, P versus NP problem, Paris Kanellakis Award, Rice University, Ronald Fagin, Saarland University, Stanford University, Temporal logic, University of Orléans, Weizmann Institute of Science, Yoram Moses.
Academia Europaea
Academia Europaea, founded in 1988, is a European non-governmental scientific association acting as an academy.
New!!: Moshe Vardi and Academia Europaea · See more »
American Association for the Advancement of Science
The American Association for the Advancement of Science (AAAS) is an American international non-profit organization with the stated goals of promoting cooperation among scientists, defending scientific freedom, encouraging scientific responsibility, and supporting scientific education and science outreach for the betterment of all humanity.
New!!: Moshe Vardi and American Association for the Advancement of Science · See more »
Association for Computing Machinery
The Association for Computing Machinery (ACM) is an international learned society for computing.
New!!: Moshe Vardi and Association for Computing Machinery · See more »
Association for the Advancement of Artificial Intelligence
The Association for the Advancement of Artificial Intelligence (AAAI) is an international, nonprofit, scientific society devoted to promote research in, and responsible use of, artificial intelligence.
New!!: Moshe Vardi and Association for the Advancement of Artificial Intelligence · See more »
Bar-Ilan University
Bar-Ilan University (אוניברסיטת בר-אילן Universitat Bar-Ilan) is a public research university in the city of Ramat Gan in the Tel Aviv District, Israel.
New!!: Moshe Vardi and Bar-Ilan University · See more »
Common knowledge (logic)
Common knowledge is a special kind of knowledge for a group of agents.
New!!: Moshe Vardi and Common knowledge (logic) · See more »
Communications of the ACM
Communications of the ACM is the monthly journal of the Association for Computing Machinery (ACM).
New!!: Moshe Vardi and Communications of the ACM · See more »
Complexity of constraint satisfaction
The complexity of constraint satisfaction is the application of computational complexity theory on constraint satisfaction.
New!!: Moshe Vardi and Complexity of constraint satisfaction · See more »
Computer science
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
New!!: Moshe Vardi and Computer science · See more »
Database theory
Database theory encapsulates a broad range of topics related to the study and research of the theoretical realm of databases and database management systems.
New!!: Moshe Vardi and Database theory · See more »
European Academy of Sciences
The European Academy of Sciences (EurASc) (Academia Scientiarum Europaea) is an international non-profit organization) aiming to promote excellence in science and technology. Based in Brussels, Belgium, it has about 580 members, including 65 Nobel Prize and Fields Medal winners, from 47 countries. It was established on 17 December 2003. Since 2004, the academy has published multidisciplinary annals, e-newsletters for science and technology, and since 2009 various books. Its first general assemblies and ceremonies of awards were organized in Brussels and since 2009 each year in another country (2009: Università di Bologna, Italy; 2010: Academy of Athens, Greece; 2011: Università di Milano, Italy; 2012: Université de Liège, Belgium; 2013: L.C.C de Toulouse, France; 2014: Casa do Infante, Porto, Portugal; 2015: Le Quartz Centre de Congrès Brest, France; 2016: Palais des Académies in Brussels, Belgium; 2017: Lisbon Academy of Sciences, Lisbon, Portugal). Since 2012 the academy has also organized an annual symposium called The Future of Sciences in the 21st Century.
New!!: Moshe Vardi and European Academy of Sciences · See more »
Finite-state machine
A finite-state machine (FSM) or finite-state automaton (FSA, plural: automata), finite automaton, or simply a state machine, is a mathematical model of computation.
New!!: Moshe Vardi and Finite-state machine · See more »
Gödel Prize
The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interest Group on Algorithms and Computational Theory (ACM SIGACT).
New!!: Moshe Vardi and Gödel Prize · See more »
George R. Brown School of Engineering
The George R. Brown School of Engineering is an academic school at Rice University in Houston, Texas.
New!!: Moshe Vardi and George R. Brown School of Engineering · See more »
Guggenheim Fellowship
Guggenheim Fellowships are grants that have been awarded annually since 1925 by the John Simon Guggenheim Memorial Foundation to those "who have demonstrated exceptional capacity for productive scholarship or exceptional creative ability in the arts".
New!!: Moshe Vardi and Guggenheim Fellowship · See more »
Hebrew University of Jerusalem
The Hebrew University of Jerusalem (האוניברסיטה העברית בירושלים, Ha-Universita ha-Ivrit bi-Yerushalayim; الجامعة العبرية في القدس, Al-Jami'ah al-Ibriyyah fi al-Quds; abbreviated HUJI) is Israel's second oldest university, established in 1918, 30 years before the establishment of the State of Israel.
New!!: Moshe Vardi and Hebrew University of Jerusalem · See more »
IBM Research - Almaden
IBM Research - Almaden is in Almaden Valley, San Jose, California, and is one of IBM's twelve worldwide research labs that form IBM Research.
New!!: Moshe Vardi and IBM Research - Almaden · See more »
Institute for Scientific Information
The Institute for Scientific Information (ISI) was founded by Eugene Garfield in 1960.
New!!: Moshe Vardi and Institute for Scientific Information · See more »
Joseph Halpern
Joseph Yehuda Halpern (born 1953) is a professor of computer science at Cornell University.
New!!: Moshe Vardi and Joseph Halpern · See more »
Model checking
In computer science, model checking or property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification.
New!!: Moshe Vardi and Model checking · See more »
Multi-agent system
A multi-agent system (MAS or "self-organized system") is a computerized system composed of multiple interacting intelligent agents.
New!!: Moshe Vardi and Multi-agent system · See more »
National Academy of Engineering
The National Academy of Engineering (NAE) is an American nonprofit, non-governmental organization.
New!!: Moshe Vardi and National Academy of Engineering · See more »
National Academy of Sciences
The National Academy of Sciences (NAS) is a United States nonprofit, non-governmental organization.
New!!: Moshe Vardi and National Academy of Sciences · See more »
Offshoring
Offshoring is the relocation of a business process from one country to another—typically an operational process, such as manufacturing, or supporting processes, such as accounting.
New!!: Moshe Vardi and Offshoring · See more »
P versus NP problem
The P versus NP problem is a major unsolved problem in computer science.
New!!: Moshe Vardi and P versus NP problem · See more »
Paris Kanellakis Award
The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery (ACM) to honor "specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing".
New!!: Moshe Vardi and Paris Kanellakis Award · See more »
Rice University
William Marsh Rice University, commonly known as Rice University, is a private research university located on a 300-acre (121 ha) campus in Houston, Texas, United States.
New!!: Moshe Vardi and Rice University · See more »
Ronald Fagin
Ronald Fagin (born 1945) is an American mathematician and computer scientist, and IBM Fellow at the IBM Almaden Research Center.
New!!: Moshe Vardi and Ronald Fagin · See more »
Saarland University
Saarland University (Universität des Saarlandes) is a modern research university located in Saarbrücken, the capital of the German state of Saarland.
New!!: Moshe Vardi and Saarland University · See more »
Stanford University
Stanford University (officially Leland Stanford Junior University, colloquially the Farm) is a private research university in Stanford, California.
New!!: Moshe Vardi and Stanford University · See more »
Temporal logic
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time.
New!!: Moshe Vardi and Temporal logic · See more »
University of Orléans
The University of Orléans (Université d'Orléans) is a French university, in the Academy of Orléans and Tours.
New!!: Moshe Vardi and University of Orléans · See more »
Weizmann Institute of Science
The Weizmann Institute of Science (מכון ויצמן למדע Machon Weizmann LeMada) is a public research university in Rehovot, Israel, established in 1934, 14 years before the State of Israel.
New!!: Moshe Vardi and Weizmann Institute of Science · See more »
Yoram Moses
Yoram Moses (יוֹרָם מוֹזֶס) is a Professor in the Electrical Engineering Department at the Technion - Israel Institute of Technology.
New!!: Moshe Vardi and Yoram Moses · See more »
Redirects here:
Moshe Y. Vardi, Moshe Yaakov Vardi.
References
[1] https://en.wikipedia.org/wiki/Moshe_Vardi
