Help


[permalink] [id link]
+
Page "Communications of the ACM" ¶ 5
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

Martin and Davis
In recent years, the tea has been popularized by Wade Davis ( The Serpent and The Rainbow ), English novelist Martin Goodman in I Was Carlos Castaneda, Chilean novelist Isabel Allende, writer Kira Salak, author Jeremy Narby ( The Cosmic Serpent ), author Jay Griffiths (" Wild: An Elemental Journey "), and radio personality Robin Quivers.
In 1954, Martin Davis programmed Presburger's algorithm for a JOHNNIAC vacuum tube computer at the Princeton Institute for Advanced Study.
* Martin Davis, author of the " Handbook of Artificial Reasoning ", co-inventor of the DPLL algorithm, recipient of the Herbrand Award 2005.
In the 1950s Hao Wang and Martin Davis greatly simplified the one-tape Turing-machine model ( see Post – Turing machine ).
* Martin Davis, 2000, Engines of Logic, W. W. Norton & Company, London, ISBN 0-393-32229-7 pbk.
* Martin Davis, " The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions ", Raven Press, New York, 1965.
At the turn of the 21st century, well-established artists such as Sir Anthony Caro, Lucian Freud, Cy Twombly, Robert Rauschenberg, Jasper Johns, Agnes Martin, Al Held, Ellsworth Kelly, Helen Frankenthaler, Frank Stella, Kenneth Noland, Jules Olitski, Claes Oldenburg, Jim Dine, James Rosenquist, Alex Katz, Philip Pearlstein, and younger artists including Brice Marden, Chuck Close, Sam Gilliam, Isaac Witkin, Sean Scully, Mahirwan Mamtani, Joseph Nechvatal, Elizabeth Murray, Larry Poons, Richard Serra, Walter Darby Bannard, Larry Zox, Ronnie Landfield, Ronald Davis, Dan Christensen, Joel Shapiro, Tom Otterness, Joan Snyder, Ross Bleckner, Archie Rand, Susan Crile, and dozens of others continued to produce vital and influential paintings and sculpture.
*, reprinted as an appendix in Martin Davis, Computability and Unsolvability, Dover reprint 1982.
These include the Emmy-nominated 1966 Frank Sinatra special A Man and His Music-Part II, and the 1967 NBC Emmy Award nominated for ' Special Classification of Individual Achievements ' by choreographer David Winters TV special Movin ' With Nancy, in which she appeared with Lee Hazlewood, her father and his Rat Pack pals Dean Martin and Sammy Davis, Jr., with a cameo appearance by her brother Frank Sinatra, Jr. and guest star appearance by West Side Story dancer David Winters.
* Martin Davis, editor: The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions, Raven Press, New York, 1965.
But neither the board nor Bluhdorn himself accepted Diller's repeated advancements of this idea and neither did Bluhdorn's successor, Martin Davis.
When Charles Bluhdorn died unexpectedly, his successor Martin Davis dumped all of G + W's industrial, mining, and sugar-growing subsidiaries and refocused the company, renaming it Paramount Communications in 1989.
They would become the 1994 AFC West Division champions behind a defense led by linebacker Junior Seau, defensive tackles Reuben Davis and Shawn Lee, defensive end Leslie O ' Neal and an offense keyed by running back Natrone Means, Humphries and Martin.
* Martin Davis, Ron Sigal, Elaine J. Weyuker, Computability, complexity, and languages: fundamentals of theoretical computer science, 2nd ed., Academic Press, 1994, ISBN 0-12-206382-1.
Prinze made several appearances on The Dean Martin Celebrity Roasts, most notably at the roasts for Sammy Davis Jr. and Muhammad Ali.
Although the classification of crustaceans has been quite variable, the system used by Martin and Davis largely supersedes earlier works.
Many of Church's doctoral students have led distinguished careers, including C. Anthony Anderson, Peter B. Andrews, George A. Barnard, William W. Boone, Martin Davis, Alfred L. Foster, Leon Henkin, John G. Kemeny, Stephen C. Kleene, Simon B. Kochen, Maurice L ' Abbé, Isaac Malitz, Gary R. Mar, Michael O. Rabin, Nicholas Rescher, Hartley Rogers, Jr., J. Barkley Rosser, Dana Scott, Raymond Smullyan, and Alan Turing.
Captain Davis identified the following traders in the Ellice Group: Edmund Duffy ( Nanumea ); Jack Buckland ( Niutao ); Harry Nitz ( Vaitupu ); John ( also known as Jack ) O ' Brien ( Funafuti ); Alfred Restieaux and Fenisot ( Nukufetau ); and Martin Kleis ( Nui ).
Artists represented include Josef Albers, Donald Baechler, Thomas Hart Benton, Lucile Blanch, Louise Bourgeois, Charles Burchfield, Alexander Calder, Greg Colson, Dan Christensen, Ronald Davis, Stuart Davis, Richard Diebenkorn, Arthur Dove, William Eggleston, Helen Frankenthaler, Arshile Gorky, Keith Haring, Grace Hartigan, Marsden Hartley, Robert Henri, Eva Hesse, Hans Hofmann, Edward Hopper, Jasper Johns, Franz Kline, Willem de Kooning, Lee Krasner, Ronnie Landfield, John Marin, Knox Martin, John McCracken, John McLaughlin, Robert Motherwell, Bruce Nauman, Louise Nevelson, Barnett Newman, Kenneth Noland, Jackson Pollock, Maurice Prendergast, Kenneth Price, Robert Rauschenberg, Man Ray, Mark Rothko, Morgan Russell, Albert Pinkham Ryder, Cindy Sherman, John Sloan, Paul Pfeiffer, Andy Warhol, and hundreds of others.
He had eloped to Gretna Green with Lillie's mother, Emilie Davis ( née Martin ), who was known for her beauty .< ref name =" autogenerated1 ">
This model is considered by some ( for example, Martin Davis ( 2000 )) to be the origin of the stored program computer — used by John von Neumann ( 1946 ) for the " Electronic Computing Instrument " that now bears von Neumann's name: the von Neumann architecture.
On December 26, Martin Davis, Commissary Agent for Moses Daniel's detachment, wrote:
The romance theme was later given lyrics, and became the pop standard " Smile ", first recorded by Nat King Cole and later covered by artists as Sammy Davis Jr., Dean Martin, Tony Bennett, Trini Lopez, Eric Clapton, Barbra Streisand, Diana Ross, Michael Bublé, Petula Clark, Liberace, Judy Garland, Madeleine Peyroux, Plácido Domingo and Dionne Warwick, Michael Jackson and Robert Downey, Jr. ( included on the soundtrack for the film Chaplin ).
This result is the combined work of Martin Davis, Yuri Matiyasevich, Hilary Putnam and Julia Robinson.

Martin and George
George Stubbs, William Blake, John Martin, Francisco Goya, Sir Thomas Lawrence, John Constable, Eugène Delacroix, Sir Edwin landseer, Caspar David Friedrich, JMW Turner
During the late 1950s it was sought by two rail historians, George Horn and Martin Schachne, but they did not gain access to the tunnel itself.
The company was badly hit by the economic contraction of the early 1980s as worldwide sales of Aston Martin shrank to three per week and chairman Alan Curtis together with fellow shareholders American Peter Sprague and Canadian George Minden came close to shutting down the production side of the business, to concentrate on service and restoration.
George Martin, producer and arranger for The Beatles, warns arrangers about the intonation issues when only two like instruments play in unison.
Field Marshal George Hamilton 1666-1737 Earl of Orkney, by Martin Maingaud.
His contemporaries include Martin Scorsese, Paul Schrader, John Milius, George Lucas, Francis Ford Coppola, John Carpenter, and Ridley Scott.
He is widely acclaimed as one of Hollywood's most innovative and influential film directors and he epitomized the group of filmmakers known as the New Hollywood, that includes Martin Scorsese, Terrence Malick, Robert Altman, Woody Allen, William Friedkin, Philip Kaufman and George Lucas, who emerged in the early 1970s with unconventional ideas that challenged contemporary film-making.
Stover's Black Oracle partner Bill George published his own short-lived zine The Late Show ( 1974 – 1976 ; with co-editor Martin Falck ), and later became editor of the Cinefantastique prozine spinoff Femme Fatales.
* Valyrian Freehold, an ancient civilization in 1996 fantasy novel A Song of Ice and Fire by George R. R. Martin
* 1953 – George Martin, English footballer
I Vitelloni inspired European directors Juan Antonio Bardem, Marco Ferreri, and Lina Wertmuller and had an influence on Martin Scorsese's Mean Streets ( 1973 ), George Lucas's American Graffiti ( 1974 ), Joel Schumacher's St. Elmo's Fire ( 1985 ), and Barry Levinson's Diner ( 1987 ), among many others.
The fictional world in which the A Song of Ice and Fire novels by George R. R. Martin take place is divided into several continents.
George R. R. Martin set the Ice and Fire story in an alternative world of Earth or a " secondary world ", such as J. R. R. Tolkien pioneered with Middle-earth.
* The Quiet Isle, a location in the fictional series A Song of Ice and Fire by George R. R. Martin, has many traits resembling Lindisfarne, including tidal based access and a monastic community.
* In 1967 Ivor Cutler recorded an album titled Ludo ( Ivor Cutler album ) with Beatles producer George Martin.
It had an international reputation as a tourist getaway, and the record producer George Martin established an important recording studio there, Associated Independent Recording.
The first oil survey took place in 1926 under the direction of a geologist of the Anglo-Persian Oil Company, George Martin Lees, but no oil was found.
Milligan and Patricia were married in June 1962 with George Martin as best man.
This proved crucial, as on the next play Giants defensive tackle George Martin sacked Elway in the end zone, recording a safety and cutting the Denver lead to 10-9.
The Wild Cards series of science fiction books came from an Albuquerque, New Mexico campaign gamemastered by George R. R. Martin, and played in by other science fiction writers.
While George Romero denies he hired Duane Jones simply because he was black, reviewer Mark Deming notes that " the grim fate of Duane Jones, the sole heroic figure and only African-American, had added resonance with the assassinations of Martin Luther King, Jr. and Malcolm X fresh in the minds of most Americans ".
The movie included a tribute to Ian Fleming via a cameo appearance by an unidentified secret agent with the initials " J. B ." The part was played by one-time James Bond George Lazenby who was shown driving Bond's trademark vehicle, an Aston Martin DB5.
* Edwards, George C., Martin P. Wattenberg, and Robert L. Lineberry.
In this capacity, only four Vice Presidents have been able to announce their own election to the presidency: John Adams, Thomas Jefferson, Martin Van Buren, and George H. W. Bush.
* January 3 – George Martin, English producer of The Beatles

0.215 seconds.