Топ-100 ★ Free online encyclopedia. Did you know? page 237

★ Free online encyclopedia. Did you know? page 237




                                               

Niklaus Wirth

Emil Niklaus Wirth, a Swiss scientist. He developed several programming languages, including Pascal, and he developed several classic topics in software engineering. In 1984, he received the Turing award, generally recognized as the highest disti ...

                                               

Shafi Goldwasser

Shafi Goldwasser Shafrira is the American-Israeli scientist, winner of Turing award in 2012. She is the RSA Professor of electrical engineering and computer science at the Massachusetts Institute of technology, Professor of mathematical Sciences ...

                                               

Edsger W. Dijkstra

Edsger Wybe Dijkstra, 11 may 1930 – 6 August 2002) was a Dutch scientist systems programmer, software engineer, scientific writer, a pioneer in the field of computer science. A theoretical physicist by training, he worked as a programmer in mathe ...

                                               

Heraklion

Heraklion is the largest city and the administrative center of the island of Crete and capital of the regional unit of Heraklion. It is the fifth largest city of Greece with a population of 140.730 according to the 2011 census. The population of ...

                                               

Bob Kahn

Robert Elliot Kahn is an American electrical engineer who along with Vint CERF, first proposed the transmission control Protocol and Internet Protocol, the fundamental communication protocols of the Internet. In 2004, Kahn received the Turing awa ...

                                               

Richard M. Karp

Richard manning Karp is an American computer scientist and computational theorist at the University of California at Berkeley. He is most notable for his research in the theory of algorithms, for which he received a Turing award in 1985, the Benj ...

                                               

Edmund M. Clarke

Edmund Melson Clarke, Jr. is a retired American computer scientist noted for the development of the model checking method of formal verification of hardware and software. He is a front-honored Professor of computer science at the University of Ca ...

                                               

John Cocke

John Cocke-American computer scientist recognized for his large contribution to computer architecture and optimizing compiler design. He was considered by many to be the "father of RISC architecture". He studied at Duke University, where he recei ...

                                               

Stephen Cook

Stephen Arthur cook is an American-canadian computer programmer and mathematician who has made a significant contribution in the field of complexity theory and the complexity of the proof. He is a Professor at the University of Toronto, Departmen ...

                                               

William Kahan

William "Velvel" Kagan "Morton" is a canadian mathematician and scientist who received the Turing award in 1989 for their fundamental contributions to numerical analysis ", was named ASM colleagues in 1994, and inducted into the National Academy ...

                                               

Harry H. Goode Memorial Award

Harry H. Goode memorial award-this is the page of the annual award in honor of Harry H. Goode for achievements in the field of information processing, which are treated as a single contribution of theory, design or technique of exceptional import ...

                                               

Silvio Micali

Silvio Micali is an Italian scientist mit computer science and artificial intelligence laboratory and Professor of computer science at MITS Department of electrical engineering and computer science since 1983. His research centers on the theory o ...

                                               

Robin Milner

Arthur John Robin Gorell Milner, known as Robin Milner or A. J. R. G. Milner, was a British scientist, recipient of the Turing award.

                                               

Marvin Minsky

Marvin Lee Minsky is an American cognitivist mainly engaged in research in the field of artificial intelligence, co-founder of the laboratory of the Massachusetts Institute of technology, artificial intelligence, and also the author of several te ...

                                               

Allen Newell

Allen Newell was a researcher in computer science and cognitive psychology at the RAND Corporation and the school of Carnegie-Mellon, computer science, Tepper School of Business and Department of psychology. He has contributed to information proc ...

                                               

David Patterson (computer scientist)

David Andrew Patterson is an American computer pioneer and researcher who holds the position of Professor of computer science at the University of California, Berkeley, since 1976. He announced his retirement in 2016, having served almost forty y ...

                                               

Judea Pearl

Judea pearl, an Israeli-American computer scientist and philosopher, best known for championing the probabilistic approach to artificial intelligence and the development of Bayesian networks. He is also credited with developing the theory of caus ...

                                               

Amir Pnueli

Pnueli was born in Nahalal, in the British mandate of Palestine now Israel and received a bachelors degree in mathematics from the Technion in Haifa, and Ph. D. in applied mathematics from the Weizmann Institute of science. His thesis was on the ...

                                               

Loebner Prize

The loebner prize is an annual competition in artificial intelligence that awards prizes to computer programs considered by the judges to be the most like human beings. The format of the competition is that the standard Turing test. In each round ...

                                               

Marconi Prize

The Marconi prize is an annual award, recognition of achievements and progress in the field of communications. The prize is awarded by the Marconi Foundation. and it involves 0.000 fee and sculpture.

                                               

Michael O. Rabin

Michael Oser Rabin-Israeli mathematician and scientist, winner of Turing award.

                                               

Raj Reddy

Dabbala Rajagopal "Raj" Reddy is an Indian-American computer scientist and winner of Turing award. He is one of the pioneers of artificial intelligence and has served on the faculty of Stanford and Carnegie Mellon for over 50 years. He was the fo ...

                                               

Joseph Sifakis

Joseph Sifakis is a Greek-French scientist in the field of computer science with French citizenship, laureate of the 2007 Turing award along with Edmund M. Clarke and E. Allen Emerson in his work "model checking".

                                               

Richard E. Stearns

Richard Edwin Stearns, a famous scientist who, with Juris Hartmanis, received the 1993 ACM Turing award "in recognition of their seminal document that laid the foundations for the theory of computational complexity". In 1994 he was inducted as re ...

                                               

Michael Stonebraker

Michael Ralph Stonebraker is a scientist specializing in the research database. Through a series of academic prototypes and commercial startups, Stonebrakers research and products are Central to many relational database systems. He is also the fo ...

                                               

Charles P. Thacker

Charles Patrick "Chuck" Thacker is an American pioneer computer designer. He worked at the Xerox Alto which is the first computer that used a mouse driven graphical user interface.

                                               

Alan Turing

Alan Mathison Turing was a British mathematician, scientist, logician, cryptanalyst, philosopher and theoretical biologist. Turing was very influential in the development of theoretical computer science, providing a formalization of the notion of ...

                                               

James H. Wilkinson

James hardy Wilkinson FRS was a prominent figure in the field of numerical analysis, a field at the boundary of applied mathematics and computer science particularly useful to physics and engineering.

                                               

Maurice Wilkes

Sir Maurice Vincent Wilkes, the British scientist who designed and helped build the electronic delay storage automatic calculator, one of the earliest stored program computers and invented firmware, method of application to stored-program logic c ...

                                               

Edward Feigenbaum

Albert Edward ed Feigenbaum is a computer scientist working in the field of artificial intelligence, and a joint laureate of the 1994 ACM Turing award. It is often called the "father of expert systems".

                                               

Martin Hellman

Martin Edward Hellman is an American cryptologist, famous for his invention of public key cryptography in cooperation with Whitfield Diffie and Ralph Merkle. Hellman is a longtime participant in the debate of the computer, applies risk analysis t ...

                                               

John L. Hennessy

John Leroy Hennessy is an American computer scientist, academician, businessman and chair alphabet Inc. Hennessy is one of the founders of MIPS computer systems Inc. and Atheros, and served as the tenth President of Stanford University. Hennessey ...

                                               

Geoffrey Hinton

Geoffrey Everest Hinton English-canadian cognitive psychologist and computer scientist, best known for his work on artificial neural networks. Since 2013 he splits his time working at Google and the University of Toronto. In 2017, he founded and ...

                                               

Tony Hoare

Sir Charles Anthony Richard Hoare, a British scientist. He developed the sorting algorithm quicksort in 1959 / 1960. He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes to sp ...

                                               

Antonin Holy

Antonin Holy was a pioneering Czech scientist. He specialized in the field of chemistry and cooperated on the development of important antiretroviral drugs used in the treatment of HIV and hepatitis B. He was involved in the creation of the most ...

                                               

Pascale Cossart

Pascale cossart-bacteriologist at the Pasteur Institute in Paris, and the foremost authority on Listeria monocytogenes, a deadly and common food-borne pathogens of encephalitis, meningitis, bacteremia, gastroenteritis, and other diseases.

                                               

Chryssa Kouveliotou

Chryssa Kouveliotou-Greek astrophysicist. She is a Professor at the George Washington University and a former senior technologist in high-energy astrophysics in NASAs space flight Center Marshall in Huntsville, Alabama.

                                               

John Pendry

Sir John Brian Pendry, FRS FInstP-English physicist, known for his research into refractive indices and creation of the first practical "invisibility cloak". He is Professor of theoretical solid state physics at Imperial College London where he w ...

                                               

Costas Soukoulis

Costas M. Soukoulis is a senior researcher of the Ames laboratory and a distinguished Professor of physics at the University of Iowa. He received a bachelors degree. from the University of Athens in 1974. He received his doctorate in physics at t ...

                                               

Richard Friend

Sir Richard Henry friend FRS FREng is a British physicist, who is Cavendish Professor of physics at the University of Cambridge and tan chin Tuan century, Professor of the National University of Singapore. Friends study focuses on the physics and ...

                                               

Anton Zeilinger

Anton Zeilinger is an Austrian quantum physicist who in 2008 received the inaugural Isaac Newton medal of the Institute of physics "for groundbreaking conceptual and experimental contributions to the foundations of quantum physics, which became t ...

                                               

Nikolay Belov (geochemist)

Nikolay Vasilyevich Belov, Soviet crystallographer, geochemist, academician, Hero of Socialist Labor.

                                               

Cosmos

Space is the universe. Using word space than the word Universe means to see the Universe as complex and orderly system, or person, as opposed to chaos. Space, and our understanding of the causes of its existence and significance, studied in cosmo ...

                                               

Sex in space

Sex in space is sexual activity in the weightlessness of outer space. This creates difficulties in performing the most sexual thanks to Newtons Third law. By law, if they remain attached, they will oppose each other. Consequently, their actions w ...

                                               

Soviet space dogs

During the 1950s and 1960s the Soviet space program used dogs for sub-orbital and orbital space flights to determine whether space was impossible. During this period, the Soviet Union launched missions with passenger slots for at least 57 dogs. T ...

                                               

Natural satellite

Natural satellite, or moon, is, in the most common usage, an astronomical body that orbits planet or a minor planet. In the Solar system of six satellites of the planets of the system, containing 205 known natural satellites. Four IAU-listed dwar ...

                                               

Anik (satellite)

Satellites Anik-a series of geostationary communications satellites launched by Telesat Canada for television in Canada, from 1972 to 2013. Some of the newer satellites continue to operate in orbit, while others were removed and abandoned to thei ...

                                               

Titan (moon)

Titan is the largest moon of Saturn and the second largest natural satellite in the Solar system. It is the only moon known to have a dense atmosphere and the only known body in space, other than Earth where clear evidence of stable bodies of sur ...

                                               

Triton (moon)

Triton the largest natural satellite of the planet Neptune, and the first Neptunia moon to be discovered. The discovery was made on October 10, 1846, by English astronomer William Lassell. It is the only large moon in the Solar system with a retr ...

                                               

Charon (moon)

Charon, also known as Pluto, is the largest of the five known natural satellites of the dwarf planet Pluto. It has an average radius 606 km. It was discovered in 1978 at the naval Observatory in Washington, D.C., using photographic plates obtaine ...

Encyclopedic dictionary

Translation