2,965 research outputs found
Molecular and structural basis of androgen receptor responses to dihydrotestosterone, medroxyprogesterone acetate and Delta(4)-tibolone
No full textData source: Supplementary material, http://www.sciencedirect.com/science/article/pii/S0303720713004747#appd002Abstract not availableTina Bianco-Miotto, Andrew P. Trotta, Eleanor F. Need, Alice M.C. Lee, Aleksandra M. Ochnik,, Lauren Giorgio, Damien A. Leach, Erin E. Swinstead, Melissa A. O’Loughlin, Michelle R. Newman, Stephen N. Birrell, Lisa M. Butler, Jonathan M.Harris, Grant Buchana
R v G and R [2003] UKHL 50, House of Lords
No full textEssential Cases: Criminal Law provides a bridge between course textbooks and key case judgments. This case document summarizes the facts and decision in R v G and R [2003] UKHL 50, House of Lords. The document also included supporting commentary from author Jonathan Herring.</p
sj-pdf-1-ppo-10.1177_07439156221087997 - Supplemental material for Scaling Social Impact: Marketing to Grow Nonprofit Solutions
No full textSupplemental material, sj-pdf-1-ppo-10.1177_07439156221087997 for Scaling Social Impact: Marketing to Grow Nonprofit Solutions by Gia Nardini, Melissa G. Bublitz, Caitlin Butler, Staci Croom-Raley, Jennifer Edson Escalas, Jonathan Hansen and Laura A. Peracchio in Journal of Public Policy & Marketing</p
An algorithm and estimates for the Erdős–Selfridge function
No full textLet p(n) denote the smallest prime divisor of the integer n. Define the function g(k) to be the smallest integer \u3ek+1 such that p((g(k)k))\u3ek. We present a new algorithm to compute the value of g(k), and use it to both verify previous work and compute new values of g(k), with our current limit beingg(375)=12863999653788432184381680413559.We prove that our algorithm runs in time sublinear in g(k), and under the assumption of a reasonable heuristic, its running time isg(k)exp[−c(kloglogk)/(logk)2(1+o(1))] for c\u3e0
Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B
No full textCausal and total order broadcast has been proposed as a mechanism to provide fault tolerance for constructing reliable distributed systems. The use of formal methods to develop a model of a system, specifying critical properties and the verification of them is a way of obtaining better design of dependable services. Event B is a formal technique which provides a framework for developing mathematical models of distributed systems by rigorous description of the problem, gradually introducing solutions in the refinement steps, and verification of solutions by discharge of proof obligations. In this paper, we present a formal development of a system in Event B where processes communicate by broadcast and the messages are delivered following a causal and a total order. We first present separate models of a broadcast system each for a causal order and a total order. Subsequently, we verify that the models of the system preserves the required ordering properties. Further, we develop a model of a system satisfying both causal and a total order on the messages. Later in the refinement, we outline how these ordering properties can correctly be implemented by the vector clocks. In this approach we discover some interesting invariant properties which describes the relationship of abstract causal and total order with the vector clocks and the sequence numbers
Formal Development of a Total Order Broadcast for Distributed Transactions using Event-B
No full textAbstract. In a replicated database system, copies of the database are kept across several sites for fault-tolerance and availability. Data access in such systems is usually done within a transactional framework. A read-only transaction accesses data locally and an update transaction modifies the database at all sites. Total order broadcast primitives have been proposed to support transactions and allow fault-tolerant cooperation between the sites in a distributed system. In this paper, we identify and analyze the problem of formation of deadlocks among conflicting update transactions due to race conditions and outline how a system of total order broadcast prevents deadlocks and transaction failures. Later we outline how a refinement based approach with Event-B can be used for formal development of the models of total order broadcast. In this approach we begin with the abstract model of a total order broadcast and verify that the required ordering properties are preserved by the system. total order can correctly be implemented by using a notion of sequence number. This technique requires us to discharge proof obligations due to consistency and refinement checking. To discharge the proof obligations we are required to discover invariants that describes the relationship between the abstract total order and the underlying mechanism.
The sentiments of a Church-of-England man : a study of Swift's politics
No full textThis contextualist study re-examines the contested critical
question of Jonathan Swift's political character. It is
concerned with the historical meaning of Swift's texts
and attempts to recover their original political impact.
Politically-literate contemporaries claimed to read Jacobite
Tory politics in Swift's texts. Rather than dismiss the
judgement of Swift's contemporaries, this study asks whether
there is anything about Swift's political writing in polemical
context that could have led contemporaries to construe
the politics of his texts as Jacobite Tory. The conclusion
this study reaches is that aspects of Swift's political
rhetoric are consonant with Tory and Jacobite polemic.
While contesting current conceptions of Swift as a Whig,
this study offers a partial revision of that scholarship
which describes Swift as a non-Jacobite Tory.
The thesis is based on an analysis of Swift's prose, poetry
and correspondence and contemporary (mainly printed) sources
books, pamphlets, poems on affairs of state and newspapers.
Some new or neglected polemical contexts and analogues
for Swift's works are suggested. Chapter 1 considers some
of the problems and contested issues in interpretation
of Swift's political biography and writing. Chapter 2
witnesses Swift's combination of High Church attitudes
with a radical political critique of Whig establishment.
Swift is read in juxtaposition with Jacobite Tory authors
such as George Granville, Lord Lansdowne. Chapter 3 relocates
A Tale of a Tub in historical context to reveal the satire's
relation to High Church Tory polemical languages. Chapter
4 discusses the disaffected Tory aspect of Gulliver's
Travels. Chapter 5 attempts to register the complexity
of the textual evidence of Swift's attitude to Jacobitism.
Detailed attention is given to his politically-revealing
attitudes to the Dutch. A coda briefly describes Swift's
discontent with the Revolution settlement, examines this
Church-of-England Man's sentiments on the crucial ideological
issue of resistance, and suggests the importance of Hugo
Grotius in Swift's political thought
Paranoia and irony in the Anglophone dectective narrative and the novels of Umberto Eco
No full textThe thesis provides a reading of Umberto Eco's three novels, The Name of the
Rose, Foucault's Pendulum, and The Island of the Day Before, that, while it
acknowledges the importance of the Italian literary tradition in which they stand, also
seeks to explain why their author appeals so frequently to literary models outside
Italy, and in particular the Anglo-American detective genre.
Chapter One explains Eco's relationship to the development of Italian literature
through his lifetime. It is noted that Eco is beginning, both in his semiotics and his
fiction, from a position where post-structuralism has been extensively explored by
neo-avant-gardew riters. Eco positions himself alongsides uchw riters as Italo Calvino
and Jorge Luis Borges, who wish to explore the ludic possibilities of working within
structures, while all the time acknowledging the epistemological limitations of so
doing. Eco's chosen structure, more often than not, is the highly defined genre of
the detective story.
From here, the following chapters engage in close readings of the three novels,
with particular emphasis on The Name of the Rose and Foucault's Pendulum,
demonstrating that they explore problems of interpretation central to the detective
narrative. In doing this, they display an intimate knowledge of generic developments
within the detective tradition, and of the philosophical and aesthetic uses made of the
genre by other writers. The embedding of intertextual references to other detective
narratives within Eco's novels is an important factor, as they come together to form
a narrative of epistemological inquiry that itself follows Eco's philosophical progress
through the years. In short, the novels, inter alia, map a systematic inquiry into the
possibility of systematic inquiry. They reserve the space to engage in such an ironic
and self-referential project precisely through their fictionality
- …
