|
Donald W. Loveland
Donald W. Loveland (born December 26, 1934, in Rochester, New York)Loveland, D.W.; Stickel, M.E."A Hole in Goal Trees: Some Guidance from Resolution Theory" In Proceedings of IEEE Trans. Computers. 1976, 335-341. is a professor emeritus of computer science at Duke University who specializes in artificial intelligence. He is well known for the Davis–Putnam–Logemann–Loveland algorithm. Loveland graduated from Oberlin College in 1956, received a master's degree from the Massachusetts Institute of Technology in 1958 and a Ph.D. from New York University in 1964. He joined the Duke University Computer Science Department in 1973. He previously served as a faculty member in the Department of Mathematics at New York University and Carnegie Mellon University. He received the Herbrand Award for Distinguished Contributions to Automated Reasoning in 2001. He is a Fellow of the Association for Computing Machinery (2000), a Fellow of the Association of Artificial Intelligence (1993 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rochester, New York
Rochester () is a City (New York), city in the U.S. state of New York (state), New York, the county seat, seat of Monroe County, New York, Monroe County, and the fourth-most populous in the state after New York City, Buffalo, New York, Buffalo, and Yonkers, New York, Yonkers, with a population of 211,328 at the 2020 United States census. Located in Western New York, the city of Rochester forms the core of a larger Rochester metropolitan area, New York, metropolitan area with a population of 1 million people, across six counties. The city was one of the United States' first boomtowns, initially due to the fertile Genesee River Valley, which gave rise to numerous flour mills, and then as a manufacturing center, which spurred further rapid population growth. Rochester rose to prominence as the birthplace and home of some of America's most iconic companies, in particular Eastman Kodak, Xerox, and Bausch & Lomb (along with Wegmans, Gannett, Paychex, Western Union, French's, Cons ... [...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] |
American Computer Scientists
American(s) may refer to: * American, something of, from, or related to the United States of America, commonly known as the "United States" or "America" ** Americans, citizens and nationals of the United States of America ** American ancestry, people who self-identify their ancestry as "American" ** American English, the set of varieties of the English language native to the United States ** Native Americans in the United States, indigenous peoples of the United States * American, something of, from, or related to the Americas, also known as "America" ** Indigenous peoples of the Americas * American (word), for analysis and history of the meanings in various contexts Organizations * American Airlines, U.S.-based airline headquartered in Fort Worth, Texas * American Athletic Conference, an American college athletic conference * American Recordings (record label), a record label previously known as Def American * American University, in Washington, D.C. Sports teams Soccer * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Duke University Faculty
Duke is a male title either of a monarch ruling over a duchy, or of a member of royalty, or nobility. As rulers, dukes are ranked below emperors, kings, grand princes, grand dukes, and sovereign princes. As royalty or nobility, they are ranked below princess nobility and grand dukes. The title comes from French ''duc'', itself from the Latin ''dux'', 'leader', a term used in republican Rome to refer to a military commander without an official rank (particularly one of Germanic or Celtic origin), and later coming to mean the leading military commander of a province. In most countries, the word ''duchess'' is the female equivalent. Following the reforms of the emperor Diocletian (which separated the civilian and military administrations of the Roman provinces), a ''dux'' became the military commander in each province. The title ''dux'', Hellenised to ''doux'', survived in the Eastern Roman Empire where it continued in several contexts, signifying a rank equivalent to a captain ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
New York University Alumni
New is an adjective referring to something recently made, discovered, or created. New or NEW may refer to: Music * New, singer of K-pop group The Boyz Albums and EPs * ''New'' (album), by Paul McCartney, 2013 * ''New'' (EP), by Regurgitator, 1995 Songs * "New" (Daya song), 2017 * "New" (Paul McCartney song), 2013 * "New" (No Doubt song), 1999 *"new", by Loona from '' Yves'', 2017 *"The New", by Interpol from ''Turn On the Bright Lights'', 2002 Acronyms * Net economic welfare, a proposed macroeconomic indicator * Net explosive weight, also known as net explosive quantity * Network of enlightened Women, a conservative university women's organization * Next Entertainment World, a South Korean film distribution company Identification codes * Nepal Bhasa language ISO 639 language code * New Century Financial Corporation (NYSE stock abbreviation) * Northeast Wrestling, a professional wrestling promotion in the northeastern United States Transport * New Orleans Lakefront Ai ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Massachusetts Institute Of Technology Alumni
Massachusetts (Massachusett: ''Muhsachuweesut Massachusett_writing_systems.html" ;"title="nowiki/> məhswatʃəwiːsət.html" ;"title="Massachusett writing systems">məhswatʃəwiːsət">Massachusett writing systems">məhswatʃəwiːsət'' English: , ), officially the Commonwealth of Massachusetts, is the most populous state in the New England region of the Northeastern United States. It borders on the Atlantic Ocean and Gulf of Maine to the east, Connecticut and Rhode Island to the south, New Hampshire and Vermont to the north, and New York to the west. The state's capital and most populous city, as well as its cultural and financial center, is Boston. Massachusetts is also home to the urban core of Greater Boston, the largest metropolitan area in New England and a region profoundly influential upon American history, academia, and the research economy. Originally dependent on agriculture, fishing, and trade. Massachusetts was transformed into a manufacturing center during th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Oberlin College Alumni
Oberlin may refer to: ; Places in the United States * Oberlin Township, Decatur County, Kansas ** Oberlin, Kansas, a city in the township * Oberlin, Louisiana, a town * Oberlin, Ohio, a city * Oberlin, Licking County, Ohio, a ghost town * Oberlin, Pennsylvania, a census-designated place * Mount Oberlin, Glacier National Park, Montana ; Schools * Oberlin University, a private university in Machida, Tokyo, Japan * Oberlin College Oberlin College is a Private university, private Liberal arts colleges in the United States, liberal arts college and conservatory of music in Oberlin, Ohio. It is the oldest Mixed-sex education, coeducational liberal arts college in the United S ..., a liberal arts college in Oberlin, Ohio * Oberlin High School (Louisiana), Oberlin, Louisiana, United States * Oberlin High School (Ohio), Oberlin, Ohio, United States * Oberlin High School, Jamaica ; People * Oberlin (surname) * Oberlin Smith (1840–1926), American engineer {{disambig, geo, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1934 Births
Events January–February * January 1 – The International Telecommunication Union, a specialist agency of the League of Nations, is established. * January 15 – The 8.0 Nepal–Bihar earthquake strikes Nepal and Bihar with a maximum Mercalli intensity of XI (''Extreme''), killing an estimated 6,000–10,700 people. * January 26 – A 10-year German–Polish declaration of non-aggression is signed by Nazi Germany and the Second Polish Republic. * January 30 ** In Nazi Germany, the political power of federal states such as Prussia is substantially abolished, by the "Law on the Reconstruction of the Reich" (''Gesetz über den Neuaufbau des Reiches''). ** Franklin D. Roosevelt, President of the United States, signs the Gold Reserve Act: all gold held in the Federal Reserve is to be surrendered to the United States Department of the Treasury; immediately following, the President raises the statutory gold price from US$20.67 per ounce to $35. * February 6 – F ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
21st-century American Mathematicians
The 1st century was the century spanning AD 1 ( I) through AD 100 ( C) according to the Julian calendar. It is often written as the or to distinguish it from the 1st century BC (or BCE) which preceded it. The 1st century is considered part of the Classical era, epoch, or historical period. The 1st century also saw the appearance of Christianity. During this period, Europe, North Africa and the Near East fell under increasing domination by the Roman Empire, which continued expanding, most notably conquering Britain under the emperor Claudius ( AD 43). The reforms introduced by Augustus during his long reign stabilized the empire after the turmoil of the previous century's civil wars. Later in the century the Julio-Claudian dynasty, which had been founded by Augustus, came to an end with the suicide of Nero in AD 68. There followed the famous Year of Four Emperors, a brief period of civil war and instability, which was finally brought to an end by Vespasian, ninth Roman empero ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
DBLP
DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since November 2018, DBLP is a branch of Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI). DBLP listed more than 5.4 million journal articles, conference papers, and other publications on computer science in December 2020, up from about 14,000 in 1995 and 3.66 million in July 2016. All important journals on computer science are tracked. Proceedings papers of many conferences are also tracked. It is mirrored at three sites across the Internet. For his work on maintaining DBLP, Michael Ley received an award from the Association for Computing Machinery (ACM) and the VLDB Endowment Special Recognition Award in 1997. Furthermore, he was awarded the ACM Distinguished Service Award for "creating, developing, and curating DBLP" in 2019. ''DBLP' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
