* Alan Bundy, University of Edinburgh, meta-level reasoning for guiding inductive proof, proof planning and recipient of 2007 IJCAI Award for Research Excellence, Herbrand Award, and 2003 Donald E. Walker Distinguished Service Award.

* Alan Taylor, " The Alien and Sedition Acts " in Julian E. Zelizer, ed., The American Congress ( 2004 ), 63 – 76

In 1978, around the same time Roy Trubshaw wrote MUD, Alan E. Klietz wrote a game called Milieu using Multi-Pascal on a CDC Cyber 6600 series mainframe which was operated by the Minnesota Educational Computing Consortium.

* C. Gordon Bell, Alan Kotok, Thomas N. Hastings, Richard Hill, The Evolution of the DECsystem-10, in C. Gordon Bell, J. Craig Mudge, John E. McNamara, Computer Engineering: A DEC View of Hardware Systems Design ( Digital, Bedford, 1979 )

* C. Gordon Bell, Alan Kotok, Thomas N. Hasting, Richard Hill, " The Evolution of the DECsystem-10 ", in C. Gordon Bell, J. Craig Mudge, John E. McNamara, Computer Engineering: A DEC View of Hardware Systems Design ( Digital Equipment, Beford, 1979 )

From left to right: Top row-Archimedes, Aristotle, Alhazen | Ibn al-Haytham, Leonardo da Vinci, Galileo Galilei, Antonie van Leeuwenhoek ; Second row-Isaac Newton, James Hutton, Antoine Lavoisier, John Dalton, Charles Darwin, Gregor Mendel ; Third row-Louis Pasteur, James Clerk Maxwell, Henri Poincaré, Sigmund Freud, Nikola Tesla, Max Planck ; Fourth row-Ernest Rutherford, Marie Curie, Albert Einstein, Niels Bohr, Erwin Schrödinger, Enrico Fermi ; Bottom row-J. Robert Oppenheimer, Alan Turing, Richard Feynman, E. O. Wilson, Jane Goodall, Stephen Hawking

In 1978 Alan E. Hill of the Air Force Weapons Laboratory in Albuquerque, NM, designed the Plasmatronics Hill Type I, a tweeter whose plasma was generated from helium gas.

The other directors were A. E. Hewitt, Lord Grimthorpe and Alan Cobham.

* The Wild Hunt appears frequently in modern fantasy fiction, as in Alan Garner ( in The Moon of Gomrath ), Peter Beagle ( in Tamsin ), Penelope Lively in The Wild Hunt of Hagworthy, Uladzimir Karatkievich ( in The Wild Hunt of King Stakh ), Susan Cooper in The Dark is Rising, Guy Gavriel Kay's trilogy The Fionavar Tapestry, Raymond E. Feist's ' Faerie Tale ', Laurell K. Hamilton's Merry Gentry series, J. R. R. Tolkien's The Lord of the Rings ( as the Dead Men of Dunharrow ), Buffy the Vampire Slayer ( Novel Child of the Hunt ), Andrzej Sapkowski's Geralt of Rivia cicle and Robert Jordan's Wheel of Time series, among many others.

Besides Danny Hillis, other noted people who worked for or with the company included Greg Papadopoulos, David Waltz, Guy L Steele, Jr., Karl Sims, Brewster Kahle, Bradley Kuszmaul, Charles E. Leiserson, Marvin Minsky, Carl Feynman, Cliff Lasser, Marvin Denicoff, Alex Vasilevksy, Doug Lenat, Stephen Wolfram, Alan Edelman, Eric Lander, Richard Feynman, Richard Fishman, Mirza Mehdi, Alan Harshman, Richard Jordan, Alan Mercer, James Bailey, Tsutomu Shimomura and Jack Schwartz.

** District Two: Alan E. Ringenberg, Chairman of the Board

The battle of Lincoln ( 1141 ) | battle of Lincoln, 1141 ; A – Welsh forces ; B – Robert of Gloucester ; C – Alan ; D – Stephen ; E – William ; F – Fosse Dyke ; G – Lincoln Castle ; H – Lincoln Cathedral ; I – City of Lincoln ; J – River Witham

Acts like Alan King, Danny Thomas, Don Rickles, Joan Rivers, and Jack E. Leonard flourished in these new arenas.

The other members were Samuel D. Dodge, Clarence E. Pickett, Dr. Harold Rugg, Beveridge C. Dunlop, W. Van Alan Clark, Mrs. Elizabeth Macdonald, Mrs. William Sargent Ladd and Dr. Warren Wilson.

According to Alan Pollack, the " approach-avoidance tactic " is encountered in the verse, as the V chord ( for example E in A key ) appearing on the words " Always know ", " I know when " " I think a No " and " I think I disagree ") never resolves into a I chord ( A in A key )) directly as expected.

* E. Alan Read, " Bitter Sweet Memories of Thornhill: A Village in the Making ", Egremont, E. A.

Samuel West has received seven AudioFile Earphones Awards for his narration: The Day of the Triffids by John Wyndham ( 1996 ), Peter Pan by J. M. Barrie ( 1997 ), Charlotte Gray by Sebastian Faulks ( 1999 ), The Way I Found Her by Rose Tremain ( 2000 ), The Swimming Pool Library by Alan Hollinghurst ( 2007 ), Faust by Goethe ( 2011 ) and A Shropshire Lad by A. E. Housman ( 2011 ).

Notable alumni include: Alan Mulally ( BS / MS ), President and CEO of Ford Motor Company, Lou Montulli, co-founder of Netscape and author of the Lynx web browser, Brian McClendon ( BSEE 1986 ), VP of Engineering at Google, Charles E. Spahr ( 1934 ), former CEO of Standard Oil of Ohio.

Among others, Steve Albini ( Shellac, Rapeman, Big Black ), Panthére, Gang Gang Dance, The Jesus and Mary Chain, The Sisters of Mercy, She Wants Revenge, Henry Rollins, Joy Division / New Order, Soft Cell, Nick Cave, Cassandra Complex, Sigue Sigue Sputnik, Radiohead, Kap Bambino, Spacemen 3, Spiritualized, Angel Corpus Christi ( covers of Dream Baby Dream and Cheree with Alan Vega guest vocals ), Michael Gira, MGMT, Sonic Boom, Loop, The Fleshtones ( both of whom have recorded cover versions of " Rocket USA "), Ric Ocasek of The Cars, Mi Ami, R. E. M.

The article mentioned Alan Lomax as one of the sponsors of the dinner, along with C. B. Baldwin, campaign manager for Henry A. Wallace ; New York Times music critic Olin Downes ; and W. E. B.

Following the Viacom / CBS split, the Viacom board consisted of George S. Abrams, Philippe Dauman, Thomas E. Dooley, Ellen V. Futter, Robert Kraft, Alan Greenberg, Charles Phillips, Sumner Redstone ( Chairman ), Shari Redstone ( non-executive Vice-Chair ), Frederic Salerno, and William Schwartz.

The materials for compromise are at hand: The Nation, Walter Lippmann and other sober commentators ( see Alan Clark on p. 367 ) have spelled them out again and again.

`` On trial in Jakarta for having flown for the Indonesian anti-Communist insurgents, U.S. pilot Alan Lawrence Pope boldly told the court that in supporting the freedom fighters, he was actually defending the sovereignty and independence of Indonesia.

-- Indonesia Military Supreme Court has confirmed the death sentence passed on Alan Lawrence Pope, an American pilot.

Bellows made the disclosure when he asked Judge Parsons to grant his client, Alan Clements, 30, a separate trial.

* Code, Alan.

* Thomas Bopp, shared the discovery of Comet Hale-Bopp in 1995 with unemployed PhD physicist Alan Hale.

Subsequent formalizations were framed as attempts to define " effective calculability " or " effective method "; those formalizations included the Gödel – Herbrand – Kleene recursive functions of 1930, 1934 and 1935, Alonzo Church's lambda calculus of 1936, Emil Post's " Formulation 1 " of 1936, and Alan Turing's Turing machines of 1936 – 7 and 1939.

* 1964 – Peter Allen and Gwynne Evans are hanged for the Murder of John Alan West becoming the last people executed in the United Kingdom.

Australia won 4 – 0 in 1958 – 59, having found a high-quality spinner of their own in new skipper Richie Benaud, who took 31 wickets in the five-Test series, and paceman Alan Davidson, who took 24 wickets at 19. 00.

* 1993 – Alan Kulwicki, American race car driver ( b. 1954 )

* Life After Death: A History of the Afterlife in Western Religion by Alan F. Segal, Doubleday, 2004

Alan Mathison Turing, OBE, FRS ( ; 23 June 1912 – 7 June 1954 ), was a British mathematician, logician, cryptanalyst, and computer scientist.

* Bowman, Alan K. The Cambridge Ancient History: The High Empire, A. D. 70 – 192.

Loops and conditional branching were possible, and so the language as conceived would have been Turing-complete as later defined by Alan Turing.

The Alan Parsons Project was an English progressive rock band, active between 1975 and 1990, consisting of singer Eric Woolfson and keyboardist Alan Parsons surrounded by a varying number of session musicians.

Englishman Alan Parsons met Scotsman Eric Woolfson in the canteen of Abbey Road Studios in the summer of 1974.

Parsons would produce and engineer songs written by the two, and the Alan Parsons Project was born.

The song " The Raven " featured lead vocals by the actor Leonard Whiting, and, according to the 2007 remastered album liner notes, was the first rock song to use a digital vocoder, with Alan Parsons speaking lyrics through it.

Arista Records then signed The Alan Parsons Project for further albums.

In 2010 Eye to Eye: Alan Parsons Project Live in Madrid was released on CD.