41,632 research outputs found
Recommended from our members
The David W. Fentress Family Letters, 1856-1969
No full textTranscript of a letter by an unidentified author to David Fentress regarding sharing federal newspapers and the banning of federal newspapers in some areas. The author passes on the news of the war including the destruction of the Federal merchantmen by the Confederate fleet. He passes along world news: Russia preparing to go to War with Europe and how that could negatively affect the Confederacy. There is also speculation on the future of the war
The David W. Fentress Family Letters, 1856-1969
No full textTranscript of a letter by an unidentified author to David Fentress regarding sharing federal newspapers and the banning of federal newspapers in some areas. The author passes on the news of the war including the destruction of the Federal merchantmen by the Confederate fleet. He passes along world news: Russia preparing to go to War with Europe and how that could negatively affect the Confederacy. There is also speculation on the future of the war
Contexts, refinement and determinism
No full textIn this paper we have been influenced by those who take an “engineering view” of the problem of designing systems, i.e. a view that is motivated by what someone designing a real system will be concerned with, and what questions will arise as they work on their design. Specifically, we have borrowed from the testing work of Hennessy, de Nicola and van Glabbeek, e.g. [13, 5, 21, 40, 39].
Here we concentrate on one fundamental part of the engineering view and where consideration of it leads. The aspects we are concerned with are computational entities in contexts, observed by users. This leads to formalising design steps that are often left informal, and that in turn gives insights into non-determinism and ultimately leads to being able to use refinement in situations where existing techniques fail
Portrait of author David Foster at the National Library of Australia, Canberra, 8 June 2011 /
No full textTitle from acquisitions documentation.; Part of the collection: Portraits of author David Foster at the National Library of Australia, Canberra, 8 June 2011.; Acquired in digital format; access copy available online.; Mode of access: Online.; Photographed by a staff member of the National Library of Australia
Guarded operations, refinement and simulation
No full textSimulation rules have long been used as an effective computational means to decide refinement relations in state-based formalisms. Here we investigate how they might be amended so as to decide the event-based notion of singleton failures refinement of abstract data types or processes that have operations with a "guarded" interpretation. As the results presented here and found elsewhere in the literature are so sensitive to the details of the definitions used, we have machine-checked our results
Constructing programs or processes
No full textWe define interacting sequential programs, motivated originally by constructivist considerations. We use them to investigate notions of implementation and determinism. Process algebras do not define what can be implemented and what cannot. As we demonstrate it is problematic to do so on the set of all processes. Guided by constructivist notions we have constructed interacting sequential programs which we claim can be readily implemented and are a subset of processes
Author David Foster with academic Jeff Doyle at the National Library of Australia, Canberra, 8 June 2011 /
No full textTitle from acquisitions documentation.; Part of the collection: Portraits of author David Foster at the National Library of Australia, Canberra, 8 June 2011.; Acquired in digital format; access copy available online.; Mode of access: Online.; Photographed by a staff member of the National Library of Australia
Author David Foster and academic Jeff Doyle at the National Library of Australia, Canberra, 8 June 2011 /
No full textTitle from acquisitions documentation.; Part of the collection: Portraits of author David Foster at the National Library of Australia, Canberra, 8 June 2011.; Acquired in digital format; access copy available online.; Mode of access: Online.; Photographed by a staff member of the National Library of Australia
David Braithwaite at White Waltham Steam Fair
No full textDavid Braithwaite, fairground enthusiast and author photographed at White Waltham Steam Fair, August 1964
David Zimmer Christmas letter
No full textThis Christmas letter written November 30, 1999, by David Zimmer is titled "Season's Greetings from the last of the Red-Hot-Santas!" It features an illustration of Santa Claus with a guitar, and a summary of Zimmer's year.
David Zimmer (1929-2005) was born in Harrisburg, Ohio. He enlisted in the U.S. Army and served for two years during the Korean War at the Brooke Army Medical Center in San Antonio, where he performed in drag for wounded soldiers. After the war, he returned to Ohio. Zimmer performed as Dolly Divine, a name inspired by the song "Hello Dolly." In 1964, he established the Berwick Ball with Orn Huntington, another important early gay activist in Central Ohio. The Ball began as a formal Halloween costume ball that provided a safe space to gather and enjoy drag shows for the gay community each year; over the years, it grew into an annual Halloween tradition and an important fundraiser for the AIDS movement and other charities. During the 1970s, Zimmer was also known for hosting lavish parties at his Harrisburg home. In 1989, he moved to the German Village area of Columbus where he remained active in the community. During the 1990s, Zimmer continued to perform in and out of drag and commissioned costume designer Dick Frank to make elaborate outfits. Zimmer worked for Huntington National Bank for 39 years and was a member of the Harrisburg United Methodist Church, Veterans of Foreign Wars and the German Village Society
- …
