1,593 research outputs found
A Conversation with Robert L. Constable
No full textOver 40 years ago, Bob Constable and his students started designing a logical language for specifying programming
tasks and mathematical problems. The system, called Nuprl, is known since 1984 for being able to synthesize
correct-by-construction programs from formal proofs in constructive type theory.
The Nuprl Library holds over 15,000 mathematical theorems, with a database of 450,000 proof steps, dealing with
pure mathematics as well as proofs of programs. Bob received the 2014 Herbrand Award for this pioneering research
in automated reasoning.
Bob was also the leading force in Cornell’s creation of CIS ---the Faculty of Computing and Information Science
---which has helped bring computing and computer science into every Cornell college. Bob served as first dean of
CIS for ten years.
Bob and interviewer David Gries talk about the old days in CS.
Running Time: 47 min. http://hdl.handle.net/1813/405601_l8rcpm8
Constable Robert Noah Bailey
No full textBailey was Enderby's first city constable and served from 1910 to 1930
An act in memory of El Paso Constable Robert Parker White.
No full textConcurrent resolution introduced by the Texas House of Representatives and Senate in memory of El Paso Constable Robert Parker White
(202271) Robert Frederick Strickland-Constable
No full textThis three-year research project began in January 2014 and investigated whether, during the Victorian period, the professions formed a distinct self-sustaining social group with its own mores and values. The project looked at 16,000 individuals drawn from census data for Alnwick, Brighton, Bristol, Dundee, Greenock, Leeds, Merthyr Tydfil, Morpeth, and Winchester. The research project was funded by the UK Economic & Social Research Council and was based at the Universities of Oxford and Northumbria
John Constable : d'après les souvenirs /
No full textNo. 153 of 520 copies printed.Translation of: Memoirs of the life of John Constable.Appendice: "Catalogue résumé des oeuvres: p. [369]-379.On t.p. : "Eau-forte de Loys Deteil ; portrait de Constable d'apr̀es lui-même ; lettres ornés et culs-de-lampe de A. Bastard."Includes bibliographical references.Mode of access: Internet
Renaissance and Renewal in the Twelfth Century, ed. by Robert L. Benson and Giles Constable with Carol D. Lanham
No full textPacaut Marcel. Renaissance and Renewal in the Twelfth Century, ed. by Robert L. Benson and Giles Constable with Carol D. Lanham. In: Revue belge de philologie et d'histoire, tome 64, fasc. 4, 1986. Histoire - Geschiedenis. pp. 820-824
Renaissance and Renewal in the Twelfth Century, ed. by Robert L. Benson and Giles Constable with Carol D. Lanham
No full textPacaut Marcel. Renaissance and Renewal in the Twelfth Century, ed. by Robert L. Benson and Giles Constable with Carol D. Lanham. In: Revue belge de philologie et d'histoire, tome 64, fasc. 4, 1986. Histoire - Geschiedenis. pp. 820-824
Visiting Blockers
No full textConstable John Robert Johns visiting the home of two blockers growing maize and tobacco, 191?.Johns, Robert Darwin. & Johns, Darby Richard.Date:191
Théodore Evergates et Giles Constable. — The Cartulary and Charters of Notre-Dame of Homblières [d'après W. M. Newmann]. Cambridge, Mediev. Acad. of America, 1990.
No full textFossier Robert. Théodore Evergates et Giles Constable. — The Cartulary and Charters of Notre-Dame of Homblières [d'après W. M. Newmann]. Cambridge, Mediev. Acad. of America, 1990.. In: Cahiers de civilisation médiévale, 37e année (n°145-146), Janvier-juin 1994. Henri II Plantagenêt et son temps. Actes du Colloque de Fontevraud. 29 septembre – 1er octobre 1990. p. 133
Man on horse
No full textA man on horseback in front of a corrugated iron building, 1910-1915. He is possibly a mounted constable on patrol.Johns, Robert Darwin. & Johns, Darby Richard.Date:191
- …
