1,378,850 research outputs found
Abstract Hoare logic
No full textopenIn theoretical computer science, program logics are essential for verifying the correctness of software. Hoare logic provides a systematic way of reasoning about program correctness using preconditions and postconditions. This thesis explores the development and application of an abstract Hoare-like logic framework that generalizes the traditional Hoare program logic by using arbitrary elements of complete lattices as the assertion language, extrapolating what makes Hoare logic sound and complete. We also demonstrate the practical applications of this framework by systematically deriving a program logic for hyperproperties, thus highlighting versatility and benefits of our general framework. From the design of Abstract Hoare logic, we then define Reverse Abstract Hoare logic, which is used to develop a proof system for backward correctness reasoning on programs.In theoretical computer science, program logics are essential for verifying the correctness of software. Hoare logic provides a systematic way of reasoning about program correctness using preconditions and postconditions. This thesis explores the development and application of an abstract Hoare-like logic framework that generalizes the traditional Hoare program logic by using arbitrary elements of complete lattices as the assertion language, extrapolating what makes Hoare logic sound and complete. We also demonstrate the practical applications of this framework by systematically deriving a program logic for hyperproperties, thus highlighting versatility and benefits of our general framework. From the design of Abstract Hoare logic, we then define Reverse Abstract Hoare logic, which is used to develop a proof system for backward correctness reasoning on programs
Leviathan or the whale
No full textThe story of a man’s obsession with whales, which takes him on a personal, historical and biographical journey – from his childhood to his fascination with Moby-Dick and his excursions whale-watching.All his life, Philip Hoare has been obsessed by whales, from the gigantic skeletons in London’s Natural History Museum to adult encounters with the wild animals themselves. Whales have a mythical quality – they seem to elide with dark fantasies of sea-serpents and antediluvian monsters that swim in our collective unconscious.In ‘Leviathan’, Philip Hoare seeks to locate and identify this obsession. What impelled Melville to write ‘Moby-Dick’? After his book in 1851, no one saw whales in quite the same way again.This book is an investigation into what we know little about – dark, shadowy creatures who swim below the depths, only to surface in a spray of spume. More than the story of the whale, it is also the story of our own obsessions
I'll dream fast asleep
No full textThe artist’s book ‘Ellen Gallagher: Accidental Records’ includes new paintings and drawings that continue the artist’s exploration of the complex histories of the Black Atlantic and the afterlives of the Middle Passage. Widely associated with a resurgence in this diasporic critical space, Gallagher has developed her own genre of history painting which makes us question our geographies. The slowly layered surfaces of her work becomes a kind of reckoning, the way sailors mark their locations at sea, determined by return.Alongside views of Gallagher’s artworks and portraits of the artist working in her studio, texts will feature from Adrienne Edwards, curator at Performa and the Walker Art Center, and Philip Hoare, a writer whose books include ‘Leviathan or, the Whale’, ‘The Sea Inside’ and, most recently, ‘RISINGTIDEFALLINGSTAR’. Edwards will address themes of portraiture and performance while Hoare will consider Gallagher’s work in relation to the greater scope of marine and whaling history
Sir Alec Clegg Revisited
No full text'Sir Alec Clegg Revisited’ was a one-year research project for the academic year 2016/2017 funded by a University of Cambridge Arts and Humanities Research Grant and based at the Faculty of Education, University of Cambridge. The project was led by Catherine Burke, Professor in History of Education and Childhood (Now Emerita). Lottie Hoare, a Teaching Associate at Faculty of Education, worked as the Research Assistant on this project. Peter Cunningham, Emeritus fellow at Homerton College, Cambridge, contributed his advice and insights to the project. Various events, exhibitions and publications connected with this project have evolved in the past 3 years since the project ended in November 2017. This website illustrates some of the research undertaken during 2016/17 across its five webpages and also makes links to more recent developments
The sea inside
No full textA startling new book, his most personal to date, from Philip Hoare, winner of the 2009 Samuel Johnson Prize for ‘Leviathan’.The sea surrounds us. It gives us life, provides us with the air we breathe and the food we eat. It is ceaseless change and constant presence. It covers two-thirds of our planet. Yet caught up in our everyday lives, we barely notice it.In ‘The Sea Inside’, Philip Hoare sets out to rediscover the sea, its islands, birds and beasts. He begins on the south coast where he grew up, a place of almost monastic escape. From there he travels to the other side of the world – the Azores, Sri Lanka, New Zealand – in search of encounters with animals and people. Navigating between human and natural history, he asks what these stories mean for us now.Along the way we meet an amazing cast; from scientists to tattooed warriors; from ravens to whales and bizarre creatures that may, or may not, be extinct. Part memoir, part fantastical travelogue, ‘The Sea Inside’ takes us on an astounding journey of discovery
Seconde et troisième lettres de change pour le paiement de £150, par Barnett, Hoare and Company, à William McGinnis, pour le compte de W. P. Christie
No full text2 pages, originalSeconde et troisième lettres de change pour le paiement de £150, par Barnett, Hoare and Company, à William McGinnis, pour le compte de W. P. Christie
Seconde et troisième lettres de change pour le paiement de £100, par Barnett, Hoare and Company, à William McGinnis, pour le compte de W. P. Christie
No full text2 pages, originalSeconde et troisième lettres de change pour le paiement de £100, par Barnett, Hoare and Company, à William McGinnis, pour le compte de W. P. Christie
Minycardita Hoare & Plas 2003
No full textMinycardita Hoare & Plas, 2003 Type species. Minycardita sectilis Hoare & Plas, 2003, by original designation. Diagnosis. Minycardita is unique among members of Pseudobigaleaidae in having an elongate, swollen main body chamber, sub-circular in dorsal view, that is bordered by weak primary carinae (the two ridges from the apex to the postero-lateral edges on both sides of the shell). Remarks. Classification within the Pseudobigaleaidae at the genus and species level can be difficult because the representative genera (Hadropipetta Hoare, Mapes, & Yancey, 2002; Baiosoma Hoare, Mapes, & Yancey, 2002; Minycardita Hoare & Plas, 2003; and Exalloschema Hoare, Mapes, & Yancey, 2002) each contain only one or two species that are themselves known from only a few well-preserved specimens. In addition, there appears to be high levels of intraspecific variation within these species [e.g., variation in relative body length, angle of primary carina, ornamentation, and connection of rostrum (tube) to posterior surface in Baiosoma pala (Hoare, Steinker, & Mapes, 1988): fig. 7-13)]. Baiosoma and Minycardita share a number of characters, including: rostral clefts (tension cracks around the base of the rostrum), the same range of concavity of posterior margin, the same relative proportion of height to length, and same chamber shape and size in side view. However, in addition to the characters listed in the diagnosis, Minycardita also differs from Baiosoma in having a denticulate ventral portion of anterior gape, ornamentation of more prominent radial ridges with less distinct comarginal growth lines, smaller and shallower concavity around posterior rostrum, smaller diameter of rostrum relative to overall height where it attaches at the posterior face, and typically more convex (versus straight) ventral surface just in front of the carina.Published as part of Vendrasco, Michael J., Hoare, Richard D. & Bell, Gorden L., 2010, The youngest rostroconch mollusc from North America, Minycardita capitanensis n. sp., pp. 61-64 in Zootaxa 2603 on page 62, DOI: 10.5281/zenodo.19762
Letter from Bishop J. Hoare to Hagan
No full textHolograph letter from Bishop J. Hoare, Bishop's House, St. Michael’s, Longford, to (Hagan), regretting he made a mistake; his [contribution to the College fund] is £ 400 not £ 40
Minycardita sectilis Hoare & Plas 2003
No full textMinycardita sectilis Hoare & Plas, 2003 Minycardita sectilis: Hoare & Plas, 2003: 875, fig. 1.9–14. Baiosoma sp.: Hoare & Plas, 2003: 873 –875, fig. 1.15–19. Remarks. The two incomplete specimens of “ Baiosoma sp.” in Hoare & Plas (2003) are herein considered to be members of M. sectilis because they share all the distinguishing character states of Minycardita listed above, are roughly the same size, were found from the same locality as the other specimens of M. sectilis, and cannot be distinguished from the holotype and paratype of M. sectilis. One specimen (Hoare & Plas 2003: fig. 1.16–18) appears to share with Baiosoma pala (Hoare, Steinker, & Mapes, 1988), the type and only described species of that genus, a straight ventral surface just anterior to the carina, different from other specimens of Minycardita. However, this specimen has a number of character states found in Minycardita but not in Baiosoma, including a swollen body chamber, distinct radial ridges, small diameter rostrum, and smaller, shallower concavity around rostrum on posterior surface of main body chamber.Published as part of Vendrasco, Michael J., Hoare, Richard D. & Bell, Gorden L., 2010, The youngest rostroconch mollusc from North America, Minycardita capitanensis n. sp., pp. 61-64 in Zootaxa 2603 on page 62, DOI: 10.5281/zenodo.19762
- …
