منابع مشابه
Ivor, a Proof Engine
Dependent type theory has several practical applications in the fields of theorem proving, program verification and programming language design. Ivor is a Haskell library designed to allow easy extending and embedding of a type theory based theorem prover in a Haskell application. In this paper, I give an overview of the library and show how it can be used to embed theorem proving technology in...
متن کاملFast tracking after Ivor Lewis esophagogastrectomy.
OBJECTIVES We streamlined our care using an algorithm for the postoperative care of patients who undergo Ivor Lewis esophagogastrectomy to try to reduce hospital stay to 7 days and maintain safety and patient satisfaction. METHODS A consecutive series of 90 patients who underwent elective esophageal resection by one general thoracic surgeon were studied. An algorithm to guide postoperative ca...
متن کاملYes Sir, no Sir, not much difference Sir.
OBJECTIVE To assess whether making the sender's knighthood explicit in a series of letters would have any detectable effect on the response. DESIGN A random sequence was generated by flipping a coin to determine whether a letter would have 'Sir Iain Chalmers' or 'Iain Chalmers' typed under the signature. This sequence was prepared independently of the preparation of an alphabetic list of the ...
متن کاملIvor Grattan - Guinness ARE OTHER LOGICS POSSIBLE ?
By the mid-1900s Hugh MacColl had published enough in the way of papers and notes on logic that a more connected presentation could be made. Accordingly, he reworked several items into a book published in 1906 and entitled Symbolic Logic and its Applications. In this paper I comment on some main features of the book and note reactions to it at the time, especially by Russell. Consequences of hi...
متن کاملScalar variance decay in chaotic advection and Batchelor-regime turbulence.
The decay of the variance of a diffusive scalar in chaotic advection flow (or equivalently Batchelor-regime turbulence) is analyzed using a model in which the advection is represented by an inhomogeneous baker's map on the unit square. The variance decays exponentially at large times, with a rate that has a finite limit as the diffusivity kappa tends to zero and is determined by the action of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Psychiatric Bulletin
سال: 2005
ISSN: 0955-6036,1472-1473
DOI: 10.1192/pb.29.11.439