منابع مشابه
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...
متن کاملExtreme Bowen-York initial data
The Bowen-York family of spinning black hole initial data depends essentially on one, positive, free parameter. The extreme limit corresponds to making this parameter equal to zero. This choice represents a singular limit for the constraint equations. We prove that in this limit a new solution of the constraint equations is obtained. These initial data have similar properties to the extreme Ker...
متن کامل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...
متن کاملGeneralized Bowen–York Initial Data
A class of vacuum initial-data sets is described which are based on certain expressions for the extrinsic curvature first studied and employed by Bowen and York. These expressions play a role for the momentum constraint of General Relativity which is analogous to the role played by the Coulomb solution for the Gauss-law constraint of electromagnetism.
متن کاملMaladie de Bowen pigmentée génitale
Il s'agit d'un patient de 59 ans, qui présentait de multiples lésions génitales évoluant depuis 2 ans. L'examen a objectivé 2 tumeurs verruqueuses superficielles, à bordure pigmentée et à surface végétante, siégeant respectivement au niveau sus-pubien et sur le pli inguinal droit; une macule pigmentée hétérogène au niveau hypogastrique, et de multiples plaques noirâtres homogènes à surface verr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BMJ
سال: 2007
ISSN: 0959-8138,1468-5833
DOI: 10.1136/bmj.39147.944398.be