Factbites
 Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: John C Reynolds


Related Topics

In the News (Sat 28 Nov 09)

  
  John C. Reynolds - Wikipedia, the free encyclopedia
John C. Reynolds is an American computer scientist (born June 1, 1935).
John Reynolds studied at Purdue University and then earned a PhD in theoretical physics from Harvard University in 1961.
Reynolds' main research interest is in the area of programming language design and associated specification languages, especially concerning formal semantics.
en.wikipedia.org /wiki/John_C._Reynolds   (301 words)

  
 USGenWeb, ILGenWeb - Illinois History Project - Governor John Reynolds
John Reynolds, Governor 1831-4, was born in Montgomery county, Pennsylvania, Feb. 26, 1788.
In 1846 Gov. Reynolds was elected a member of the Legislature from St. Clair County, more particularly for the purpose of obtaining a feasible charter for a macadamized road from Belleville to St. Louis, a distance of nearly 14 miles.
Reynolds was a rather talkative man, and apt in all the Western phrases and catch-words that ever gained currency, besides many cunning and odd ones of his own manufacture.
www.rootsweb.com /~ilhistor/governors/reynolds.html   (1388 words)

  
 John Reynolds of Kent County, Delaware   (Site not responding. Last check: 2007-10-12)
There were several other Reynolds families living in Kent County, some of whom may be related to the family of Henry Reynolds of Lancaster County PA, and for whom the author has made no connections.
This includes Francis Reynolds who witnessed a will in 1690 at Dover River, and John Reynolds, living at Fox Hall when his will was made in 1690, who mentions a son, John.
This may be the John Reynolds for whom administration of his estate was granted to his widow Catherine 17 Dec 1745.
www.narnet.com /rfa/line21   (623 words)

  
 McCoy Reynolds
Private Reynolds was posthumously awarded the Silver Star for the conspicuous gallantry and intrepidity without regard for personal safety.
McCoy Reynolds and Conklin made a total of eight attacks until an underwater explosion occurred and oil and debris gushed to the surface at about 1745, marking the sinking of Japanese submarine I‑37.
McCoy Reynolds guarded the carrier to Ulithi, arriving 14 May, then returned to the Logistics Support Group, with whom she experienced the typhoon of 5 June which severely damaged more than 20 ships of the fleet.
www.history.navy.mil /danfs/m7/mccoy_reynolds.htm   (967 words)

  
 John Reynolds - Wikipedia, the free encyclopedia
John Douglas Reynolds, the former Conservative MP for the West Vancouver—Sunshine Coast—Sea to Sky Country electoral district in the Canadian House of Commons.
John Reynolds, a U.S. politician who served as the governor of Illinois and in the United States Congress.
John Reynolds, a Repealer MP for the constituency of Dublin City in the United Kingdom House of Commons.
en.wikipedia.org /wiki/John_Reynolds   (272 words)

  
 Reynolds John Fulton: Free Encyclopedia Articles at Questia.com Online Library   (Site not responding. Last check: 2007-10-12)
In the Civil War, Reynolds was made (Aug., 1861) a brigadier general of volunteers.
In the Gettysburg campaign Reynolds directed the fighting on the first day (July 1, 1863) until he was killed.
REYNOLDS, JOHN FULTON 1820 63, Union general in the American...in the Mexican War.
www.questia.com /library/encyclopedia/reynolds_john_fulton.jsp   (1303 words)

  
 The Reynolds Bloodline   (Site not responding. Last check: 2007-10-12)
Although the Reynolds are allied with many of the major Satanic bloodlines, including the Rothschilds, the DuPonts, the Rockefellers, the Graces and the Grays, they are especially close and intertwined to the Duke and Cullman families.
John A. McMahon, a Duke University grad, served as BOTH chairman of the board of trustees of Duke University and since 1971 as a member of the advisory board to the Kate B. Reynolds Health Care Trust.
From 1958 to 1964, Stokes was a director of the William and Kate B. Reynolds Memorial Park, and further serves the Reynolds as trustee of the Wake Forest Univ.
www.whale.to /b/sp/reynolds.html   (3696 words)

  
 John Adams Reynolds
John Adams Reynolds was a well known and respected member of the Reynolds family.
Nancy Elizabeth Reynolds, Suzanne Reynolds, and John A Reynolds, were three of the children of Benjamin Franklin Reynolds and Elizabeth Ward Reynolds, who moved to Habersham County from the old Pendleton District of South Carolina around 1850.
John A Reynolds and his wife, Isabelle Jackson Reynolds had fifteen grandchildren, including a baby girl of C. and Almeda Brown, who died in infancy.
home.alltel.net /hfarmer/John_Adams_Reynolds.htm   (1911 words)

  
 Toledo's Attic - Reynolds
A large part of their success was due to the fact that S.C. Reynolds was the first grain dealer to bring wheat west of the Mississippi and Missouri rivers.
S.C. Reynolds was the director of several railroads including the Wabash, Hocking Valley, and the Kanawha and Michigan.
Charles Louis Reynolds (66-40) was the nephew of S.C. He was born in Jackson, Michigan on March 29, 1851.
www.attic.utoledo.edu /toledosattic/attic/att/wood/reynolds.html   (944 words)

  
 untitled
On 25 Mar 1744 when John was 23, he married Ann Draper, daughter of Thomas Draper and Jane Brayman, in West Greenwich, RI.5 Born on 14 JAN 1724/25 in West Greenwich, RI.
John C. died in Thurman, Warren Co., NY on 8 May 1892, he was 66.
On 21 Oct 1890 when John C. was 64, he second married Emeline Brooks, daughter of John Brooks and Rosetta Scripter.
www.geocities.com /t_french46/reynolds.html   (795 words)

  
 John P. Reynolds Journal   (Site not responding. Last check: 2007-10-12)
While nostalgically reviewing the events since the unit was called, Reynolds himself noted that "the pastimes we had experienced...combined together presented more the aspect of a pleasure excursion or mammoth pic-nic, than a military campaign during the period of actual warfare" (p.
Reynolds is at his best when recounting an operation on July 3rd to capture a Rebel recruiter, Samuel Ogle Tilghman, at his home on the coast.
The Reynolds Journal appears to be the second and only surviving part of a series that probably originally contained three volumes.
www.clements.umich.edu /Webguides/Schoff/QR/Reynolds.html   (407 words)

  
 U.S. Senate: Reference Home > Senate Organization > Reynolds   (Site not responding. Last check: 2007-10-12)
Emily J. Reynolds was appointed Secretary of the Senate when the Senate convened on January 7 for the 108th Congress.
Reynolds began her career in politics in 1980 as a special assistant to Senator Howard H.Baker, Jr.
A native of Nashville, Reynolds returned to her home state of Tennessee in November 1993 to serve as deputy campaign manager and finance director for Dr. Frist’s Senate campaign.
www.senate.gov /reference/common/person/emily_reynolds.htm   (310 words)

  
 Alan Reynolds   (Site not responding. Last check: 2007-10-12)
Alan Reynolds is a Senior Fellow at the Cato Institute.
In 1996, Reynolds served as research director with the National Commission on Tax Reform and Economic Growth (the "Kemp Commission").
Reynolds did his undergraduate work in economics at UCLA and graduate studies at Cal State Sacramento.
www.ashbrook.org /events/lecture/2002/reynolds.html   (347 words)

  
 The Political Graveyard: Index to Politicians: Reynolds
Reynolds, Edwin Ruthvin (1816-1908) — of New York.
Reynolds, John Hazard (1819-1875) — of New York.
Reynolds, Verne L. — of Maryland; Michigan; New York.
politicalgraveyard.com /bio/reynolds.html   (1263 words)

  
 DBLP: John C. Reynolds
John C. Reynolds: Toward a Grainless Semantics for Shared-Variable Concurrency.
John C. Reynolds, Gordon D. Plotkin: On Functors Expressible in the Polymorphic Typed Lambda Calculus Inf.
John C. Reynolds: Using category theory to design implicit conversions and generic operators.
www.informatik.uni-trier.de /~ley/db/indices/a-tree/r/Reynolds:John_C=.html   (286 words)

  
 Introduction to the Polymorphic Lambda Calculus   (Site not responding. Last check: 2007-10-12)
John C. Reynolds, "An Introduction to the Polymorphic Lambda Calculus." 1989.
Reynolds [1974] independently reinvented it to permit the definition of "polymorphic" procedures in a typed programming language.
There are no set-theoretic parametric models (that is, parametric models in which the exponent type "a->b" is interpreted as the full set-theoretic function space B^A).
www.andrew.cmu.edu /user/cebrown/notes/reynolds89.html   (480 words)

  
 Separation Logic   (Site not responding. Last check: 2007-10-12)
John C. Reynolds gave a brief presentation on Separation logic, an extension of Hoare logic for reasoning about shared mutable data structres that was discovered independently by him and Peter O'Hearn.
A central feature of the logic is the "frame rule": {p}c{q} ----------- when c assigns to no variable free in r.
Reynolds refused to claim that any problems were "nearly solved" (since such a claim once boomeranged on him).
www.csl.sri.com /users/shankar/VGC05/reynolds.html   (439 words)

  
 John Reynolds
REYNOLDS, John, British naval officer, born in England about 1700; died there in January, 1776.
He entered the navy at an early age, and rose through successive ranks to rear-admiral of the blue.
Captain Reynolds secured the friendship of the Indians, established courts of law, and set in operation the new charter, but resigned in February, 1757.
www.famousamericans.net /johnreynolds   (361 words)

  
 UW Madison - Department of Chemistry - John C. Wright
Kent A. Meyer and John C. Wright, J.
Kent A. Meyer and John C. Wright, Chem.
John C. Wright, Nicholas J. Condon, Keith M. Murdoch, Daniel M. Besemann, and Kent A. Meyer, J.
www.chem.wisc.edu /people/profiles/Wright.php   (717 words)

  
 Poet: John Reynolds - All poems of John Reynolds   (Site not responding. Last check: 2007-10-12)
Poet: John Reynolds - All poems of John Reynolds
(c) Poems are the property of their respective owners.
All information has been reproduced here for educational and informational purposes to benefit site visitors, and is provided at no charge..
www.poemhunter.com /john-reynolds/poet-7122   (102 words)

  
 John C. Reynolds Home Page
My research centers on the design of programming languages and languages for specifying program behavior, mathematical tools for defining the semantics of such languages, and methods for proving that programs meet their specifications.
Spring 2005: CS 818A3 Introduction to Separation Logic (minicourse)*
Spring 2005: CS 818A4 Current Research on Separation Logic (minicourse)*
www-2.cs.cmu.edu /~jcr   (962 words)

  
 Publications : Reynolds' View Page   (Site not responding. Last check: 2007-10-12)
O'Hearn, Peter W. and Reynolds, John C. and Yang, Hongseok.
Birkedal, Lars and Torp-Smith, Noah and Reynolds, John C. bib file.
O'Hearn, Peter W. and Yang, Hongseok and Reynolds, John C. bib file.
www.brics.dk /cgi-bin/viewpubupd?email=John.Reynolds@cs.cmu.edu   (60 words)

  
 John C. Reynolds Books - Signed, used, new, out-of-print
Three views on creation and evolution are presented in this popular format whereby the contributors provide their own articles and respond to those of their peers.
And now all this : being Vol.1 of the hole pocket treasury of absolutely general knowledge in X consoling sections, with numerous memorable diagrams, 1 anagram, 2 test papers (bad luck), 3 relief maps, several pounds of figs, only 5 appendixes, no...
John Constable, R.A (1776-1837) : an exhibition : paintings, drawings, watercolors, mezzotints.
www.alibris.com /search/books/author/John_C_Reynolds   (786 words)

  
 CGI : Faculty Profile : John C. Schimenti
You, Y., Bergstrom, R., Klemm, M., Lederman, B., Nelson, H., Ticknor, C., Jaenisch, R., and Schimenti, J. (1997) Chromosomal deletion complexes in mice by radiation of embryonic stem cells.
Bannister, L, Reinholdt, L. Munroe, R. and Schimenti, J. (2004) Positional cloning and characterization of mouse mei8, a disrupted allele of the meiotic cohesin Rec8.
Schimenti, J., Reynolds, J. and Planchart, A. Mutations in Serac1 or Synj2 cause proximal t haplotype —mediated male mouse sterility, but not transmission ratio distortion.
www.genomics.cornell.edu /faculty/facultybio.cfm?netid=jcs92   (953 words)

  
 Prof. John C. LaRue
Heat transfer rates from spiral fluted tubes in cross-flow have also been found to have higher heat transfer rates than smooth tubes with the same mean diameter.
For spiral fluted tubes in cross flow, preliminary results indicate that, at lower Reynolds numbers, the drag is increased relative to that of a smooth tube while, at higher Reynolds numbers, the drag is reduced.
In this study we are trying to determine the flow that is responsible for the augmentation and optimize the geometry to further improve the augmentation.
gram.eng.uci.edu /~maeadmin/Faculty/JCLaRue   (1219 words)

  
 Amazon.com: Boogie Nights: Video: Mark Wahlberg,Burt Reynolds,John C. Reilly,Julianne Moore,Heather Graham,Don ...   (Site not responding. Last check: 2007-10-12)
And the cast is one of the great ensembles of the '90s, including Oscar nominees Burt Reynolds and Julianne Moore, Mark Wahlberg (who really can act--from the waist up, too!), Heather Graham (as Rollergirl), William H. Macy, John C. Reilly, and Ricky Jay.
There is the calculated cheesiness of the producer (Burt Reynolds) and his odd detatchment from his craft.
Burt Reynolds and Julianne Moore were nominated for oscars for their breakthrough performance.
www.amazon.com /Boogie-Nights-Paul-Thomas-Anderson/dp/0780624394   (2771 words)

  
 The Discoveries of Continuations - Reynolds (ResearchIndex)
If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
We give a brief account of the discoveries of continuations and related concepts by A. van Wijngaarden, A. Mazurkiewicz, F. Morris, C. Wadsworth, J.
In the early history of continuations, basic concepts were independently discovered an extraordinary number of times.
citeseer.ist.psu.edu /reynolds93discoveries.html   (765 words)

  
 Biography for John Reynolds (I)   (Site not responding. Last check: 2007-10-12)
According to Tom Neyman (The Master) John Reynolds was wearing the prosthetics wrong, which caused him great discomfort and led to him becoming addicted to pain killers.
In 1998, there was a grass-roots effort among Mystery Science Theater 3000 fans to try and get Reynolds a star on the Hollywood Walk of Fame for his role of Torgo.
Although the campaign failed, Reynolds' widow expressed her gratitude at the effort
www.imdb.com /name/nm0721786/bio   (239 words)

  
 Welcome to goComics Web Site featuring Reynolds Unwrapped - Online Comics, Editorial Cartoons, Email Comics, Political ...
You are TOONed in to Reynolds Unwrapped, brought to you by
Millions of people across the country are getting into REYNOLDS UNWRAPPED, from Reader’s Digest and Esquire magazine (just to name a few), to greeting cards, nationally published books, and much more.
No Reynolds Unwrapped products are available at this time.
www.gocomics.com /reynoldsunwrapped   (126 words)

  
 Graduate Courses About Programming Languages   (Site not responding. Last check: 2007-10-12)
by John C. Mitchell (Cambridge University Press, 2003).
If you use this text, you might also be interested in undergraduate courses that use this book.
by John C. Reynolds (Cambridge University Press, 1998).
www.cs.iastate.edu /~leavens/teaching-prog-lang/Graduate.html   (543 words)

Try your search on: Qwika (all wikis)

Factbites
  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.