|
Bernard Meltzer (computer Scientist)
Bernard Meltzer (born in 1916 in South Africa; died on 4 July 2008) was a British computer scientist, who with Donald Michie was one of the main founders of research on artificial intelligence at the University of Edinburgh. Meltzer studied physics at the University of Cape Town with a bachelor's degree in 1934, and was briefly a physics demonstrator in Cape Town. He emigrated to Great Britain, where he worked for the Marconi Company and, after the start of the Second World War, for the Telecommunications Research Establishment conducting research on radar. In 1941 he enlisted in the Royal Air Force Volunteer Reserve and from 1943 taught radar and electronics to military personnel at the University of Aberdeen. After the war he went into industry (Mullard's Radio Valve Company, from 1949 in the research laboratories of EMI). In 1953 he received his doctorate from the University of London in mathematical physics with Reinhold Furth (1893–1979). In 1955 he became a lecturer and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
South Africa
South Africa, officially the Republic of South Africa (RSA), is the southernmost country in Africa. It is bounded to the south by of coastline that stretch along the South Atlantic and Indian Oceans; to the north by the neighbouring countries of Namibia, Botswana, and Zimbabwe; and to the east and northeast by Mozambique and Eswatini. It also completely enclaves the country Lesotho. It is the southernmost country on the mainland of the Old World, and the second-most populous country located entirely south of the equator, after Tanzania. South Africa is a biodiversity hotspot, with unique biomes, plant and animal life. With over 60 million people, the country is the world's 24th-most populous nation and covers an area of . South Africa has three capital cities, with the executive, judicial and legislative branches of government based in Pretoria, Bloemfontein, and Cape Town respectively. The largest city is Johannesburg. About 80% of the population are Black Sou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
NASA
The National Aeronautics and Space Administration (NASA ) is an independent agency of the US federal government responsible for the civil space program, aeronautics research, and space research. NASA was established in 1958, succeeding the National Advisory Committee for Aeronautics (NACA), to give the U.S. space development effort a distinctly civilian orientation, emphasizing peaceful applications in space science. NASA has since led most American space exploration, including Project Mercury, Project Gemini, the 1968-1972 Apollo Moon landing missions, the Skylab space station, and the Space Shuttle. NASA supports the International Space Station and oversees the development of the Orion spacecraft and the Space Launch System for the crewed lunar Artemis program, Commercial Crew spacecraft, and the planned Lunar Gateway space station. The agency is also responsible for the Launch Services Program, which provides oversight of launch operations and countdown m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1916 Births
Events Below, the events of the First World War have the "WWI" prefix. January * January 1 – The British Royal Army Medical Corps carries out the first successful blood transfusion, using blood that had been stored and cooled. * January 9 – WWI: Gallipoli Campaign: The last British troops are evacuated from Gallipoli, as the Ottoman Empire prevails over a joint British and French operation to capture Constantinople. * January 10 – WWI: Erzurum Offensive: Russia defeats the Ottoman Empire. * January 12 – The Gilbert and Ellice Islands Colony, part of the British Empire, is established in present-day Tuvalu and Kiribati. * January 13 – WWI: Battle of Wadi: Ottoman Empire forces defeat the British, during the Mesopotamian campaign in modern-day Iraq. * January 29 – WWI: Paris is bombed by German zeppelins. * January 31 – WWI: An attack is planned on Verdun, France. February * February 9 – 6.00 p.m. – Tristan Tzara ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academics Of The University Of Edinburgh
An academy ( Attic Greek: Ἀκαδήμεια; Koine Greek Ἀκαδημία) is an institution of secondary or tertiary higher learning (and generally also research or honorary membership). The name traces back to Plato's school of philosophy, founded approximately 385 BC at Akademia, a sanctuary of Athena, the goddess of wisdom and skill, north of Athens, Greece. Etymology The word comes from the ''Academy'' in ancient Greece, which derives from the Athenian hero, ''Akademos''. Outside the city walls of Athens, the gymnasium was made famous by Plato as a center of learning. The sacred space, dedicated to the goddess of wisdom, Athena, had formerly been an olive grove, hence the expression "the groves of Academe". In these gardens, the philosopher Plato conversed with followers. Plato developed his sessions into a method of teaching philosophy and in 387 BC, established what is known today as the Old Academy. By extension, ''academia'' has come to mean the accumulation, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
South African Computer Scientists
South is one of the cardinal directions or compass points. The direction is the opposite of north and is perpendicular to both east and west. Etymology The word ''south'' comes from Old English ''sūþ'', from earlier Proto-Germanic ''*sunþaz'' ("south"), possibly related to the same Proto-Indo-European root that the word ''sun'' derived from. Some languages describe south in the same way, from the fact that it is the direction of the sun at noon (in the Northern Hemisphere), like Latin meridies 'noon, south' (from medius 'middle' + dies 'day', cf English meridional), while others describe south as the right-hand side of the rising sun, like Biblical Hebrew תֵּימָן teiman 'south' from יָמִין yamin 'right', Aramaic תַּימנַא taymna from יָמִין yamin 'right' and Syriac ܬܰܝܡܢܳܐ taymna from ܝܰܡܝܺܢܳܐ yamina (hence the name of Yemen, the land to the south/right of the Levant). Navigation By convention, the ''bottom or down-facing side'' of a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
British Computer Scientists
British may refer to: Peoples, culture, and language * British people, nationals or natives of the United Kingdom, British Overseas Territories, and Crown Dependencies. ** Britishness, the British identity and common culture * British English, the English language as spoken and written in the United Kingdom or, more broadly, throughout the British Isles * Celtic Britons, an ancient ethno-linguistic group * Brittonic languages, a branch of the Insular Celtic language family (formerly called British) ** Common Brittonic, an ancient language Other uses *'' Brit(ish)'', a 2018 memoir by Afua Hirsch *People or things associated with: ** Great Britain, an island ** United Kingdom, a sovereign state ** Kingdom of Great Britain (1707–1800) ** United Kingdom of Great Britain and Ireland (1801–1922) See also * Terminology of the British Isles * Alternative names for the British * English (other) * Britannic (other) * British Isles * Brit (other) * Br ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Donald E
Donald is a masculine given name derived from the Gaelic name ''Dòmhnall''.. This comes from the Proto-Celtic *''Dumno-ualos'' ("world-ruler" or "world-wielder"). The final -''d'' in ''Donald'' is partly derived from a misinterpretation of the Gaelic pronunciation by English speakers, and partly associated with the spelling of similar-sounding Germanic names, such as ''Ronald''. A short form of ''Donald'' is '' Don''. Pet forms of ''Donald'' include ''Donnie'' and ''Donny''. The feminine given name ''Donella'' is derived from ''Donald''. ''Donald'' has cognates in other Celtic languages: Modern Irish ''Dónal'' (anglicised as ''Donal'' and ''Donall'');. Scottish Gaelic ''Dòmhnall'', ''Domhnull'' and ''Dòmhnull''; Welsh '' Dyfnwal'' and Cumbric ''Dumnagual''. Although the feminine given name '' Donna'' is sometimes used as a feminine form of ''Donald'', the names are not etymologically related. Variations Kings and noblemen Domnall or Domhnall is the name of many ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robert S
The name Robert is an ancient Germanic given name, from Proto-Germanic "fame" and "bright" (''Hrōþiberhtaz''). Compare Old Dutch ''Robrecht'' and Old High German ''Hrodebert'' (a compound of '' Hruod'' ( non, Hróðr) "fame, glory, honour, praise, renown" and '' berht'' "bright, light, shining"). It is the second most frequently used given name of ancient Germanic origin. It is also in use as a surname. Another commonly used form of the name is Rupert. After becoming widely used in Continental Europe it entered England in its Old French form ''Robert'', where an Old English cognate form (''Hrēodbēorht'', ''Hrodberht'', ''Hrēodbēorð'', ''Hrœdbœrð'', ''Hrœdberð'', ''Hrōðberχtŕ'') had existed before the Norman Conquest. The feminine version is Roberta. The Italian, Portuguese, and Spanish form is Roberto. Robert is also a common name in many Germanic languages, including English, German, Dutch, Norwegian, Swedish, Scots, Danish, and Icelandic. It ca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
J Strother Moore
J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is a computer scientist. He is a co-developer of the Boyer–Moore string-search algorithm, Boyer–Moore majority vote algorithm, and the Boyer–Moore automated theorem prover, Nqthm. He made pioneering contributions to structure sharing including the piece table data structure and early logic programming. An example of the workings of the Boyer–Moore string search algorithm is givein Moore's website Moore received his Bachelor of Science (BS) in mathematics at Massachusetts Institute of Technology in 1970 and his Doctor of Philosophy (Ph.D.)Available at thEdinburgh Research Archive in computational logic at the University of Edinburgh in Scotland in 1973. In addition, Moore is a co-author of the ACL2 automated theorem prover and its predecessors including Nqthm, for which he received, with Robert S. Boyer and Matt Kaufmann, the 2005 ACM Software System Award. He and others used ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alan Bundy
Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh,http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search. Education Alan Bundy was educated as a mathematician, obtaining an honours degree in mathematics in 1968 from the University of Leicester and a PhD in mathematical logic in 1971, also from Leicester. Career and research Since 1971, Bundy has worked at the University of Edinburgh: initially in the 'Metamathematics' Unit, which in 1972 became the Department of Computational Logic, in 1974 was absorbed into the new Department of Artificial Intelligence, and in 1998 was absorbed into the new School of Informatics. From 1971 to 1973, he was a research fellow on Prof. B. Meltzer's Science and Engineering Research Council (SERC) grant ''Theorem Proving by Computer''; in 1973, he was app ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Science Research Council
The Science and Engineering Research Council (SERC) and its predecessor the Science Research Council (SRC) were the UK agencies in charge of publicly funded scientific and engineering research activities, including astronomy, biotechnology and biological sciences, space research and particle physics, between 1965 and 1994. History The SERC also had oversight of: * the Royal Greenwich Observatory (RGO) * the Royal Observatory Edinburgh (ROE) * the Rutherford Appleton Laboratory (RAL) * the Daresbury Laboratory From its formation in 1965 until 1981 it was known as the Science Research Council (SRC). The SRC had been formed in 1965 as a result of the Trend Committee enquiry into the organisation of civil science in the UK. Previously the Minister for Science had been responsible for various research activities in the Department of Scientific and Industrial Research (DSIR) and more loosely with a variety of agencies concerned with the formulation of civil scientific policy. One ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ion Propulsion
An ion thruster, ion drive, or ion engine is a form of electric propulsion used for spacecraft propulsion. It creates thrust by accelerating ions using electricity. An ion thruster ionizes a neutral gas by extracting some electrons out of atoms, creating a cloud of positive ions. Ion thrusters are categorized as either electrostatic or electromagnetic. Electrostatic thruster ions are accelerated by the Coulomb force along the electric field direction. Temporarily stored electrons are reinjected by a ''neutralizer'' in the cloud of ions after it has passed through the electrostatic grid, so the gas becomes neutral again and can freely disperse in space without any further electrical interaction with the thruster. By contrast, electromagnetic thruster ions are accelerated by the Lorentz force to accelerate all species (free electrons as well as positive and negative ions) in the same direction whatever their electric charge, and are specifically referred to as plasma p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
