A proof of Jesus Christ's being the ancient promised Messiah: a sermon preached in the Chapel of Harvard College at Cambridge in New England, June 23, 1756

The hand-sewn notebook contains a 24-page manuscript draft of the second Dudleian lecture, delivered by John Barnard on June 23, 1756. The copy includes a small number of edits and struck-out words adopted in the printed version published by J. Draper of Boston in 1756. The sermon begins with the Biblical text Mark 14:61, 62. The covers are no longer with the item.

Strategy-proof choice of acts : a preliminary study

We model social choices as acts mapping states of the world to (social) outcomes. A (social choice) rule assigns an act to every profile of subjective expected utility preferences over acts. A rule is strategy-proof if no agent ever has an incentive to misrepresent her beliefs about the world or her valuation of the outcomes; it is ex-post efficient if the act selected at any given preference profile picks a Pareto-efficient outcome in every state of the world. We show that every two-agent ex-post efficient and strategy-proof rule is a top selection: the chosen act picks the most preferred outcome of some (possibly different) agent in every state of the world. The states in which an agent’s top outcome is selected cannot vary with the reported valuations of the outcomes but may change with the reported beliefs. We give a complete characterization of the ex-post efficient and strategy-proof rules in the two-agent, two-state case, and we identify a rich class of such rules in the two-agent case.

The Standard of Proof in EC Merger Control-Conclusions from the Sony BMG Saga. IES WORKING PAPER 4/2008

One of the most important developments in EC competition policy during 2006 was the Court of First Instance’s (CFI) Impala v. Commission judgment annulling the European Commission’s approval of the merger between the music units of Sony and Bertelsmann. It harshly criticized the Commission’s Decision because it found that the evidence relied on was not capable of substantiating the conclusion. This was the first time that a merger decision was annulled for not meeting the requisite legal standard for authorizing the merger. Consequently, the CFI raised fundamental questions about the standard of proof incumbent on the Commission in its merger review procedures. On July 10, 2008, the European Court of Justice overturned Impala, yet it did not resolve the fundamental question underlying the judicial review of the Sony BMG Decision; does the Commission have the necessary resources and expertise to meet the Community Court’s standard of proof? This paper addresses the wider implications of the Sony BMG saga for the Commission’s future handling of complex merger investigations. It argues that the Commission may have set itself an impossible precedent in the second approval of the merger. While the Commission has made a substantial attempt to meet the high standard of proof imposed by the Community Courts, it is doubtful that it will be able to jump the fence again in a similar fashion under normal procedural circumstances.

State Aid and Public Service Broadcasting How Future-proof is the Remit of Public Broadcasting Organisations? IES WORKING PAPER 1/2009

The European Commission’s interference through state aid rules with the Member States’ support for public service broadcasting is not undisputed. Member States, public broadcasters and numerous academics fear that State aid control might limit the public service remit and, hence, the multi-platform and holistic role of public broadcasters in the converging media industries. This paper assesses to what extent the fear for Commission intervention is, indeed, justified. It starts with the assumption that the transformation from public service broadcasting to public service media is vital for the European democratic society. The paper leads to the observation that, in fact, European State aid policy might contribute to such a necessary and urgent transformation, instead of threatening it. The paper consists of three main parts. Firstly, the legal constraints and margins of the Community’s State aid framework are discussed. Secondly, the application of the rules to a selection of public broadcasting cases is analyzed. Finally, some conclusions are drawn from the analysis.

Proof theory for lattice-ordered groups

Proof-theoretic methods are developed and exploited to establish properties of the variety of lattice-ordered groups. In particular, a hypersequent calculus with a cut rule is used to provide an alternative syntactic proof of the generation of the variety by the lattice-ordered group of automorphisms of the real number chain. Completeness is also established for an analytic (cut-free) hypersequent calculus using cut elimination and it is proved that the equational theory of the variety is co-NP complete.

Strategy-proof choice of acts : a preliminary study

We model social choices as acts mapping states of the world to (social) outcomes. A (social choice) rule assigns an act to every profile of subjective expected utility preferences over acts. A rule is strategy-proof if no agent ever has an incentive to misrepresent her beliefs about the world or her valuation of the outcomes; it is ex-post efficient if the act selected at any given preference profile picks a Pareto-efficient outcome in every state of the world. We show that every two-agent ex-post efficient and strategy-proof rule is a top selection: the chosen act picks the most preferred outcome of some (possibly different) agent in every state of the world. The states in which an agent’s top outcome is selected cannot vary with the reported valuations of the outcomes but may change with the reported beliefs. We give a complete characterization of the ex-post efficient and strategy-proof rules in the two-agent, two-state case, and we identify a rich class of such rules in the two-agent case.

Is ultrasound perfusion imaging capable of detecting mismatch? A proof-of-concept study in acute stroke patients.

In this study, we compared contrast-enhanced ultrasound perfusion imaging with magnetic resonance perfusion-weighted imaging or perfusion computed tomography for detecting normo-, hypo-, and nonperfused brain areas in acute middle cerebral artery stroke. We performed high mechanical index contrast-enhanced ultrasound perfusion imaging in 30 patients. Time-to-peak intensity of 10 ischemic regions of interests was compared to four standardized nonischemic regions of interests of the same patient. A time-to-peak >3 s (ultrasound perfusion imaging) or >4 s (perfusion computed tomography and magnetic resonance perfusion) defined hypoperfusion. In 16 patients, 98 of 160 ultrasound perfusion imaging regions of interests of the ischemic hemisphere were classified as normal, and 52 as hypoperfused or nonperfused. Ten regions of interests were excluded due to artifacts. There was a significant correlation of the ultrasound perfusion imaging and magnetic resonance perfusion or perfusion computed tomography (Pearson`s chi-squared test 79.119, p < 0.001) (OR 0.1065, 95% CI 0.06-0.18). No perfusion in ultrasound perfusion imaging (18 regions of interests) correlated highly with diffusion restriction on magnetic resonance imaging (Pearson's chi-squared test 42.307, p < 0.001). Analysis of receiver operating characteristics proved a high sensitivity of ultrasound perfusion imaging in the diagnosis of hypoperfused area under the curve, (AUC = 0.917; p < 0.001) and nonperfused (AUC = 0.830; p < 0.001) tissue in comparison with perfusion computed tomography and magnetic resonance perfusion. We present a proof of concept in determining normo-, hypo-, and nonperfused tissue in acute stroke by advanced contrast-enhanced ultrasound perfusion imaging.

Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting /

Bibliography: p. 48.

Methodism and the Republic : uncorrected proof sheets sent out in advance to pastors intending to take the collection for Home Missios and Church extension on Sunday, November 24.

Statements herin contained ar not supposed to need revision.

Proof pressure evaluation of worn passenger car tire carcasses. Final report.

National Highway Traffic Safety Administration, Office of Research and Development, Washington, D.C.

Jesus before Pilate; a monograph of the crucifixion; political and legal history of the trial of Jesus under the Jewish and Roman criminal law, with an account of the office, powers, public acts and private character of Tiberius Caesar ... and others connected with the trial; embracing the Acts of Pontius Pilate, translatd from the oldest manuscripts, with proof of their antiquity and discussion of authenticity;

Disbound Original Held in Oak Street Library Facility.

A resolution style proof procedure for higher-order logic /

Thesis--Illinois.