8,386 research outputs found
Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence
No full textIndependence between two sets of random variables is a well-known relation in probability theory. Its origins trace back to Abraham de Moivre's work in the 18th century. The propositional theory of this relation was axiomatized by Geiger, Paz, and Pearl.
Sutherland introduced a relation in information flow theory that later became known as "nondeducibility." Subsequently, the first two authors generalized this relation from a relation between two arguments to a relation between two sets of arguments and proved that it is completely described by essentially the same axioms as independence in probability theory.
This paper considers a non-interference relation between two groups of concurrent processes sharing common resources. Two such groups are called non-interfering if, when executed concurrently, the only way for them to reach deadlock is for one of the groups to deadlock internally. The paper shows that a complete axiomatization of this relation is given by the same Geiger-Paz-Pearl axioms
J.C. Painter letter to Benjamin Lundy
No full textLetter from J.E. Painter to (presumably) Benjamin Lundy, answering a request for information about the history and operations of the Underground Railroad. Letter includes details of a story of an ex-slave transported on the Underground Railroad through Ohio and stories of the plight of other fugitive slaves crossing the Ohio River.
Benjamin Lundy (1789-1839) was a prominent Quaker abolitionist best known for his development of abolitionist periodicals. His "Genius of Universal Emancipation" was first published in 1821 from his home in Mt. Pleasant, Ohio, and enjoyed a wide circulation across the antebellum United States. In the 1820s, the young William Lloyd Garrison came to work for The Genius. Benjamin Lundy traveled widely seeking subscriptions to The Genius, giving talks about the anti-slavery movement, and observing and documenting the conditions of enslaved people across the Americas. He was also involved in the establishment of freed slave colonies in Mexico
Mexican land grant contract to Benjamin Lundy, March 10, 1835 (English)
No full textLegal document from an unsigned officer to Benjamin Lundy, authorizing him rights as empresario to a tract of land in then-Mexico. The document extends a previous treaty made to Lundy by the government of Mexico from November 17, 1823 -- presumably, this land is to be the site of Lundy's freed slave colony. Original Spanish-language document is also a part of this collection. Benjamin Lundy (1789-1839) was a prominent Quaker abolitionist best known for his development of abolitionist periodicals. His Genius of Universal Emancipation was first published in 1821 from his home in Mt. Pleasant, Ohio, and enjoyed a wide circulation across the antebellum United States. In the 1820s, the young William Lloyd Garrison came to work for The Genius. Benjamin Lundy traveled widely seeking subscriptions to The Genius, giving talks about the anti-slavery movement, and observing and documenting the conditions of enslaved people across the Americas. He was also involved in the establishment of freed slave colonies in Mexico
Eli Nichols letter to Benjamin Lundy, March 17th, 1839
No full textFriendly note from Eli Nichols to Benjamin Lundy covering topics in contemporary abolition, ranging from the social status of abolitionists to the oppression of the poor. Much of the letter concerns a review of contemporary social movements in equality-based education, including Shaker and Quaker communities. The letter concludes in discussion of Nichols' and Lundy's interest in forming a freed slave colony or community in then-Mexico, and describes the climate and culture of those regions in detail. Benjamin Lundy (1789-1839) was a prominent Quaker abolitionist best known for his development of abolitionist periodicals. His Genius of Universal Emancipation was first published in 1821 from his home in Mt. Pleasant, Ohio, and enjoyed a wide circulation across the antebellum United States. In the 1820s, the young William Lloyd Garrison came to work for The Genius. Benjamin Lundy traveled widely seeking subscriptions to The Genius, giving talks about the anti-slavery movement, and observing and documenting the conditions of enslaved people across the Americas. He was also involved in the establishment of freed slave colonies in Mexico
Mexican land grant contract to Benjamin Lundy, March 10, 1835 (Spanish)
No full textLegal document in Spanish from the government of Tamaulipas, Mexico, to Benjamin Lundy, which appears to grant Lundy the rights of empresario for his proposed colony for freed slaves in Tamaulipas. This document appears to be truncated; it ends abruptly after 2 pages. Collection also includes a period translation of this contract with Lundy in English, which appears to contain the full text of the agreement. Benjamin Lundy (1789-1839) was a prominent Quaker abolitionist best known for his development of abolitionist periodicals. His Genius of Universal Emancipation was first published in 1821 from his home in Mt. Pleasant, Ohio, and enjoyed a wide circulation across the antebellum United States. In the 1820s, the young William Lloyd Garrison came to work for The Genius. Benjamin Lundy traveled widely seeking subscriptions to The Genius, giving talks about the anti-slavery movement, and observing and documenting the conditions of enslaved people across the Americas. He was also involved in the establishment of freed slave colonies in Mexico
General Benjamin Butler Letter Regarding the naming of Newport News, Virginia
No full textDigital images of an original letter written by Former Union Major-General Benjamin Butler in reply to a query by author, Edwin Everett Hale on how Newport News, Virginia had received it's name. both sides of the original letter are included along with a typed transcription of the letter
Independence and functional dependence relations on secrets
No full textWe study logical principles connecting two relations: independence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different epistemic interpretations for these relations are discussed: semantics of secrets and probabilistic semantics. A logical system sound and complete with respect to both of these semantics is introduced and is shown to be decidable.</p
Cinq années de voyage en Orient 1846-1851 par Israel-Joseph Benjamin II, voyageur et auteur, demeurant à Faltischan (Moldavie). Paris en vente chez Michel Levy Frères, rue Vivienne, 2 bis 1856 L' auteur se réserve le droit de traduction et de reproduction
No full textPreface: by Benjamin, J.Dedication: by the author to M.J. Altaras aîné de Marseille et M. Albert Cohn.Content description: Detailed contentsPagination: PP28+240PVolumes: 1Text Genre:Pros
The description and use of an orrery of a new construction : representing in the various parts of its machinery all the motions and phoenomena [i.e phenomena] of the planetary system ...
No full textby Benjamin Marti
The description and use of an universal sliding rule : which ... is adapted to answer all questions in arithmetic, mixt-mathematics, and philosophy, in the most easy and expeditious manner, as shewn in sixty examples of principal utility in the practical parts of science
No full textby Benjamin MartinErscheinungsdatum nach EST
- …
