|
David Harel
David Harel ( he, דוד הראל; born 12 April 1950) is a computer scientist, currently serving as President of the Israel Academy of Sciences and Humanities. He has been on the faculty of the Weizmann Institute of Science in Israel since 1980, and holds the William Sussman Professorial Chair of Mathematics. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years. Biography Harel is best known for his work on Dynamic logic (modal logic), dynamic logic, computability, database theory, software engineering and modelling biological systems. In the 1980s he invented the graphical language of Statecharts for specifying and programming reactive systems, which has been adopted as part of the Unified Modeling Language, UML standard. Since the late 1990s he has concentrated on a scenario-based approach to programming such systems, launched by his co-invention (with W. Damm) of Message sequence chart, Live Sequence Charts. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Carl Hewitt
Carl Eddie Hewitt () is an American computer scientist who designed the Planner programming language for automated planningCarl Hewitt''PLANNER: A Language for Proving Theorems in Robots''IJCAI. 1969. and the actor model of concurrent computing, concurrent computation, which have been influential in the development of logic programming, logic, functional programming, functional and object-oriented programming. Planner was the first programming language based on procedural plans invoked using pattern-directed invocation from assertions and goals. The actor model influenced the development of the Scheme (programming language), Scheme programming language, the pi calculus, π-calculus, and served as an inspiration for several other programming languages. Education and career Hewitt obtained his PhD in mathematics at MIT in 1971, under the supervision of Seymour Papert, Marvin Minsky, and Mike Paterson. He began his employment at MIT that year, and retired from the faculty of the MIT ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical disciplines (including the design and implementation of Computer architecture, hardware and Computer programming, software). Computer science is generally considered an area of research, academic research and distinct from computer programming. Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of computational problem, problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing Vulnerability (computing), security vulnerabilities. Computer graphics (computer science), Computer graphics and computational geometry address the generation of images. Progr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academia Europaea
The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of European interests in national research agencies. History The concept of a 'European Academy of Sciences' was raised at a meeting in Paris of the European Ministers of Science in 1985. The initiative was taken by the Royal Society (United Kingdom) which resulted in a meeting in London in June 1986 of Arnold Burgen (United Kingdom), Hubert Curien (France), Umberto Colombo (Italy), David Magnusson (Sweden), Eugen Seibold (Germany) and Ruurd van Lieshout (the Netherlands) – who agreed to the need for a new body. The two key purposes of Academia Europaea are: * express ideas and opinions of individual scientists from Europe * act as co-ordinator of European interests in national research agencies It does not aim to replace existing national a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stevens Award
The Stevens Award is a software engineering lecture award given by the Reengineering Forum, an industry association. The international Stevens Award was created to recognize outstanding contributions to the literature or practice of methods for software and systems development. The first award was given in 1995. The presentations focus on the current state of software methods and their direction for the future. This award lecture is named in memory of Wayne Stevens (1944-1993), a consultant, author, pioneer, and advocate of the practical application of software methods and tools. The Stevens Award and lecture is managed by the Reengineering Forum. The award was founded by International Workshop on Computer Aided Software Engineering (IWCASE), an international workshop association of users and developers of computer-aided software engineering (CASE) technology, which merged into The Reengineering Forum. Wayne Stevens was a charter member of the IWCASE executive board. Recipients ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
OO Modeling Languages History
OO or oo may refer to: Science and technology * ʻŌʻō, an extinct bird of the genus ''Moho'' * Object-oriented programming, a computer programming paradigm * O.O (also O.o or o.O), an emoticon to represent two eyes and a nose or mouth Transportation * SkyWest Airlines (IATA code: OO) * Belgium ( aircraft registration prefix: OO) * Old Oak Common TMD, a carriage shed (Network Rail depot code: OO) Places * Oô, a commune in France * Oo, Indonesia Art and entertainment * ''OO'' (EP), album by South Korean singer Zion.T * OO, the production code for the 1967 ''Doctor Who'' serial ''The Ice Warriors'' * "O.O" (song), a song by South Korean girl group NMIXX Other uses * Oo (digraph), a digraph in orthography * ‘O‘o stick, a traditional Hawaiian digging bar * Original Oratory, a competitive event in high school forensic competitions * Oakley, Inc. (NYSE stock ticker symbol: OO), subsidiary of Italian company Luxottica * OO gauge, a 1:76.2 modelling scale in model railr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
EATCS
The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science. The major activities of the EATCS are: * Organization of ICALP, the International Colloquium on Automata, Languages and Programming;Brauer, Ute; Brauer, WilfriedEuropean Association for Theoretical Computer Science / About the Association / Silver Jubilee of EATCS/ref> * Publication of the ''Bulletin of the EATCS''; * Publication of a series of monographs and texts on theoretical computer science; * Publication of the journal ''Theoretical Computer Science''; * Publication of the journal ''Fundamenta Informaticae''. EATCS Award Each year, the EATCS Award is awarded in recognition of a distinguished career in theoretical computer science. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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. It is the world's largest general scientific society, with over 120,000 members, and is the publisher of the well-known scientific journal ''Science''. History Creation The American Association for the Advancement of Science was created on September 20, 1848, at the Academy of Natural Sciences in Philadelphia, Pennsylvania. It was a reformation of the Association of American Geologists and Naturalists. The society chose William Charles Redfield as their first president because he had proposed the most comprehensive plans for the organization. According to the first constitution which was agreed to at the September 20 meeting, the goal of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IEEE
The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operations center in Piscataway, New Jersey. The mission of the IEEE is ''advancing technology for the benefit of humanity''. The IEEE was formed from the amalgamation of the American Institute of Electrical Engineers and the Institute of Radio Engineers in 1963. Due to its expansion of scope into so many related fields, it is simply referred to by the letters I-E-E-E (pronounced I-triple-E), except on legal business documents. , it is the world's largest association of technical professionals with more than 423,000 members in over 160 countries around the world. Its objectives are the educational and technical advancement of electrical and electronic engineering, telecommunications, computer engineering and similar disciplines. History Origin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Association For Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membership group, claiming nearly 110,000 student and professional members . Its headquarters are in New York City. The ACM is an umbrella organization for academic and scholarly interests in computer science ( informatics). Its motto is "Advancing Computing as a Science & Profession". History In 1947, a notice was sent to various people: On January 10, 1947, at the Symposium on Large-Scale Digital Calculating Machinery at the Harvard computation Laboratory, Professor Samuel H. Caldwell of Massachusetts Institute of Technology spoke of the need for an association of those interested in computing machinery, and of the need for communication between them. ..After making some inquiries during May and June, we believe there is ample interest to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Turing Test
The Turing test, originally called the imitation game by Alan Turing in 1950, is a test of a machine's ability to artificial intelligence, exhibit intelligent behaviour equivalent to, or indistinguishable from, that of a human. Turing proposed that a human evaluator would judge natural language conversations between a human and a machine designed to generate human-like responses. The evaluator would be aware that one of the two partners in conversation was a machine, and all participants would be separated from one another. The conversation would be limited to a text-only channel, such as a computer keyboard and screen, so the result would not depend on the machine's ability to render words as speech. If the evaluator could not reliably tell the machine from the human, the machine would be said to have passed the test. The test results would not depend on the machine's ability to give correct question answering, answers to questions, only on how closely its answers resembled t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Caenorhabditis Elegans
''Caenorhabditis elegans'' () is a free-living transparent nematode about 1 mm in length that lives in temperate soil environments. It is the type species of its genus. The name is a blend of the Greek ''caeno-'' (recent), ''rhabditis'' (rod-like) and Latin ''elegans'' (elegant). In 1900, Maupas initially named it '' Rhabditides elegans.'' Osche placed it in the subgenus ''Caenorhabditis'' in 1952, and in 1955, Dougherty raised ''Caenorhabditis'' to the status of genus. ''C. elegans'' is an unsegmented pseudocoelomate and lacks respiratory or circulatory systems. Most of these nematodes are hermaphrodites and a few are males. Males have specialised tails for mating that include spicules. In 1963, Sydney Brenner proposed research into ''C. elegans,'' primarily in the area of neuronal development. In 1974, he began research into the molecular and developmental biology of ''C. elegans'', which has since been extensively used as a model organism. It was the first multicellu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
