Топ-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 ...

                                               

Current events/March 2015

                                               

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 ...

                                               

Vulcan (hypothetical planet)

Vulcan is a small hypothetical planet that was proposed to exist in an orbit between mercury and the Sun. The French mathematician Urbain-19th century, Le Verrier suggested that features Mercurys orbit are the result of another planet, which he c ...

                                               

Uranus

Uranus is the seventh planet from the Sun. It has the third largest planetary radius and fourth largest planetary mass in the Solar system. Uranus is similar in composition to Neptune, and both have bulk chemical compositions that differ from the ...

                                               

Phaeton (hypothetical planet)

The Phaeton was a hypothetical planet theorized by Titius–Bodes law, exists between the orbits of Mars and Jupiter, whose destruction supposedly led to the formation of the asteroid belt. The hypothetical planet was named Phaeton, the son of the ...

                                               

Coma (cometary)

Coma is the hazy shell around the comets nucleus, is formed when the comet passes close to the Sun on its elliptical orbit as the comet is heated, part of it to sublimate. This gives a comet a "fuzzy" appearance when viewed in telescopes and dist ...

                                               

Caladan

Caladan is a fictional planet in the Dune universe created by Frank Herbert, first mentioned in the 1965 novel Dune. On October 8, 2014, a real-world planitia plain on Saturns moon Titan was named Caladan Planitia after Herberts fictional planet.

                                               

Krypton (comics)

Krypton is a fictional planet that appears in American comic books published by DC comics. The planet is the native world of Superman and named the element kryptonite. The planet was created by Jerry Siegel and Joe Shuster and was first mentioned ...

                                               

Pern

Pern is a fictional planet created by Anne McCaffrey beginning in the 1960s, the setting for the Dragonriders of Pern series of science fiction books. In the story it is "Rukbat 3", the third planet in orbit around the star Rukbat, counting outwa ...

                                               

Rocket

Rocket is a missile, spacecraft, aircraft or other vehicle that obtains thrust from a rocket engine. Rocket engine exhaust consists entirely of gunpowder in the rocket. Rocket engines work by action and reaction and push rockets forward simply ex ...

                                               

Launch vehicle

Booster, booster-rocket propelled vehicle used to transfer the data from the earths surface into space, usually into Earth orbit or beyond. The starting system includes the launch vehicle, launch complex, vehicle Assembly and fuel systems, safety ...

                                               

Super heavy-lift launch vehicle

Super heavy booster rocket carrying more than 50 tons of payload into low earth orbit.

                                               

Heavy-lift launch vehicle

-Heavy launch vehicle, or HLLV HIV, the orbital launch vehicle capable of lifting between 20.000 to 50.000 kg and a low earth orbit. As of 2019, the operational heavy lift launch vehicles include the Ariane 5, proton-M and Delta IV heavy. In addi ...

                                               

Geosynchronous Satellite Launch Vehicle

Satellite launch vehicle geosynchronous is an expensive system start working at the Indian space research organization. GSLV was used in thirteen launches between 2001 and 2018 is scheduled to launch. Although GSLV MK III shares the name, its a c ...

                                               

Geosynchronous Satellite Launch Vehicle Mark III

Geosynchronous satellite launch vehicle mark III, also known as the launch vehicle mark 3, is a three-stage carrier rocket of the middle class, developed by Indian space research organization. Primarily designed to launch satellites into geostati ...

                                               

H-I

N–I or H–1 was a Japanese liquid-fueled booster, consisting of licensed production of American first phase, and missiles, and all-Japanese upper stages. It was launched nine times between 1986 and 1992. It replaced the N-II and was subsequently r ...

                                               

H-II

Launch of H-II was a Japanese satellite launch system, which flew seven times between 1994 and 1999, with five successes. It was developed by NASDA in order to give Japan the ability to launch larger satellites in the 1990-ies. It was the first t ...

                                               

H3 (rocket)

The H3 launch vehicle is expendable launch system in development in Japan. H3 rockets not missiles with liquid rocket with strap-on solid rocket boosters and is planned to be launched from Tanegashima Space center in Japan. Mitsubishi and JAXA re ...

                                               

N-I (rocket)

P-I or P-1-derived from the American rocket Thor-Delta, produced under licence in Japan. He used a Thor-ELT first stage, a Mitsubishi Heavy industries-designed LE-3 engine was used as the second stage, and three castor Srms. Seven were launched b ...

                                               

N-II (rocket)

P-II or P-2 was derived from the American missiles "Delta", produced under license in Japan. It was replaced by h-I rocket in Japan to use. He used a Thor-ELT first stage, a Delta-f second stage, nine castor Srms, and on most flights either a sta ...

                                               

Vulcan (rocket)

The volcano is the next generation heavy-lift booster, the formation stage of the Alliance organizations start to meet the requirements of the U.S. air forces national security space contest and the start of the program. First flight is scheduled ...

                                               

Vanguard (rocket)

The vanguard rocket was intended to be the first launch vehicle the United States would use to place a satellite into orbit. Instead, the Sputnik crisis caused by the surprise launch of Sputnik 1 Led the U.S., after the failure of vanguard TV3, t ...

                                               

Antares (rocket)

Antares known during early development as Taurus II is an expendable launch system developed by orbital Sciences Corporation and the design Bureau "southern" to launch the Cygnus spacecraft with the International space station as part of NASAs co ...

                                               

Athena (rocket family)

Athena was in the 1990s, Lockheed Martins non-system, which was called in his life. Began the development of the Corporation "Lockheed" in 1993, where the design was known as booster Lockheed. The name was later changed to the rocket Lockheed Mar ...

                                               

Vega (rocket)

VEGA is an expendable launch system in use the company Arianespace jointly developed by the Italian Space Agency and the European space Agency. Development began in 1998 and the first launch took place from the Guiana space centre on 13 February ...

                                               

Volna

The launch volna is a converted submarine-launched ballistic missiles to launch satellites into orbit. It is based on the R-29R designed by State rocket center makaeva and connected with the carrier rocket "Calm". "Wave" is a 3-stage rocket with ...

                                               

Vostok (rocket family)

The East family of rockets derived from the Soviet R-7 Semyorka ICBM and was designed for a program of manned space flight. This family of rockets launched the first artificial satellite and the first manned spacecraft in human history. It was a ...

                                               

Voskhod (rocket)

Rocket Voskhod was a derivative of the Soviet R-7 ICBM designed for the program of manned space flight, but later used to launch reconnaissance satellites Zenit. It consisted of the third stage of the 8K78M Molniya minus the Blok L. In 1966, all ...

                                               

Delta (rocket family)

Delta American range expendable launch systems that has provided space launch capability in the United States since 1960. More than 300 Delta rockets have been launched with a success rate of 95%. Only the Delta IV heavy missiles remains in use a ...

                                               

Diamant

The Diamant rocket was the first exclusively French expendable launch system and at the same time the first satellite launcher not built, neither the US nor the USSR. As such, he was mentioned as one of the key precursor for all future European l ...

                                               

Dnepr (rocket)

Rocket "Dnepr" was a space launch vehicle named after the Dnieper river. It was a converted ICBM used for launching artificial satellites into orbit, operated by launch service provider Kosmotras KRB. The first launch, on April 21, 1999, successf ...

                                               

Zenit-2

Zenit-2-Russian-Ukrainian, previously Soviet, expendable carrier rocket. First flight in 1985, it was launched 37 times, with 6 failures. He is a member of the Zenit family of rockets was developed by the design Bureau "southern".

                                               

Zenit-2M

The Zenit-2M, Zenit-2SB, the Zenit-2SLB or Zenit-2FG was a Ukrainian expendable carrier rocket derived from the "Zenit-3SL". It was a family member, the Zenit rockets, which were developed by the design Bureau "southern".

                                               

Irtysh (rocket)

"Irtysh" also called the "Soyuz-5", code name "Phoenix" in Russian and "Sunkar" in Kazakh, a planned Russian missile, which is developed by JSC RCC Progress in the framework of the project "Phoenix". Initially it will replace the possibility of " ...

                                               

CORONA (SSTO)

Corona is an unmanned prototype of a reusable single stage to orbit booster, developed from 1992 to 2012. In 2016, the company announced plans to resume development of the crown.

                                               

Kosmos-2I

Kosmos-2i is a designation applied to two Soviet carrier rockets, members of R-12 "space", which was used to orbit satellites between 1961 and 1977. They were replaced with R-14 derived Kosmos-3 and Kosmos-3M.

                                               

Luna (rocket)

The moon vehicles launch vehicles 8К72 was used by the Soviet Union for nine space probe launch attempts in the Luna programme between 23 September 1958 and 16 April 1960. Like many other Soviet launchers of that era the moon means 8К72 were obta ...

                                               

Magnum (rocket)

Magnum was the big super-heavy lift rocket designed by NASAs space flight Center Marshall in the mid 1990-ies. Magnum, which never made it past the preliminary design stage, would booster some 96 meters in height, scale Saturn V and was originall ...

                                               

Mayak (rocket family)

Mayak - a new family of Ukrainian launch vehicles in development design Bureau "southern", which will be manufactured by "Yuzhmash". The family is built on a modular principle on the basis of one line of the main engines with a thrust of about 12 ...

                                               

Minotaur (rocket family)

The Minotaur is a family of American solid fuel rockets derived from converted Minuteman Intercontinental ballistic missiles MX. They built "Northrop Grumman" contract with air force space and missile systems development centers of the space and ...

                                               

Molniya (rocket)

The zipper, GRAU index 8К78, was a modification of the famous rocket R-7 Semyorka and had four stages. In 8К78 the result is a failure of the program of the Bureau of S. P. Korolev in the development of the carrier rocket to launch planetary prob ...

                                               

Nova (rocket)

A new series of proposed rocket designs, originally as NASAs first large launchers for missions similar to the production-level Saturn V. Nova studied designs that closely mirrored the Saturn V in basic concept, power, size, and function. The dif ...

                                               

Pegasus (rocket)

The Pegasus air-launched rocket developed by orbital Sciences Corporation. Capable of carrying small payloads of up to 443 kg into low earth orbit, Pegasus first flew in 1990 and remains active in 2019. The vehicle consists of three solid-propell ...

                                               

Proton (rocket family)

Proton is an expendable launch system used for both commercial and Russian government space launches. The first rocket "proton" was launched in 1965. Modern versions of the launch system are still in use as of 2019, making it one of the most succ ...

                                               

Rokot

The Rokot, also transliterated "Roar", was a Russian rocket that is capable of launching a payload 1.950 kg 200-kilometer earth orbit with 63° inclination. It was based on the UR-100N Intercontinental ballistic missile, supplied and operated by t ...

                                               

Safir (rocket)

Hotel Safir-the first Iranian launch vehicle, which is able to place a satellite in orbit. Hosted the first successful orbital launch using the Safir system startup on February 2, 2009, when the carrier rocket Safir placed the Omid satellite into ...

                                               

Simorgh (rocket)

Simorgh, also called the Safir-2-Iranian expendable small capacity orbital carrier rocket, which was originally scheduled to make its first flight in 2010. The project was presented to Iranian President Mahmoud Ahmadinejad on 3 February 2010, in ...

                                               

Scout (rocket family)

The scout family of rockets were American launch vehicles designed to place small satellites into orbit around the Earth. The scout multistage rocket, the first orbital launch vehicle to be entirely composed of solid fuel stages. The original sco ...

                                               

Soyuz (rocket family)

Soyuz is a family of expendable launch systems developed by OKB-1 and production space rocket centre progress in Samara, Russia. More than 1.700 flights since its debut in 1966, the Soyuz is the most frequently used in the world booster. When the ...

                                               

Soyuz-7 (rocket)

Soyuz-7 Family is the launch of Russian missiles, as proposed by JSC SRC "Progress", manufacturer and Keeper of family planning "Union", project "Phoenix." While all previous versions of family "Soyuz" had its roots firmly set on the R-7 ICBM her ...

                                               

Soyuz-L

Soyuz-l, GRAU index 11A511L was a Soviet expendable carrier rocket designed by OKB-1 and manufactured by state aviation plant No. 1 in Samara, Russia. It was created to test the LK lunar lander in low earth orbit, within the Soviet lunar program. ...

This website uses cookies. Cookies remember you so we can give you a better online experience.
preloader close
preloader