Search Results - "Mints G"

ADC method of proof search for intuitionistic propositional natural deduction.

Authors: MINTS, G. STEINERT-THRELKELD, SH.

Source: Journal of Logic & Computation; Feb2016, Vol. 26 Issue 1, p395-408, 14p

Logical equations in monadic logic.

Authors: Mints, G. Hoshi, T.

Source: Journal of Mathematical Sciences. May2009, Vol. 158 Issue 5, p741-752. 12p.

Intuitionistic Frege systems are polynomially equivalent.

Authors: Mints, G. Kojevnikov, A.

Source: Journal of Mathematical Sciences. May2006, Vol. 134 Issue 5, p2392-2402. 11p.

Completeness of indexed ∈-calculus.

Authors: Mints, G. E. Sarenac, Darko

Source: Archive for Mathematical Logic; Oct2003, Vol. 42 Issue 7, p617-625, 9p

Normal deduction in the intuitionistic linear logic.

Authors: Mints, G.

Source: Archive for Mathematical Logic; 1998, Vol. 37 Issue 5/6, p415, 11p

Linear Lambda-Terms and Natural Deduction.

Authors: Mints, G.¹ mints@csli.stanford.edu

Source: Studia Logica. Jan1998, Vol. 60 Issue 1, p209-231. 23p.

A method of epsilon substitution for the predicate logic with equality.

Authors: Mints, G.

Source: Journal of Mathematical Sciences. Oct1997, Vol. 87 Issue 1, p3234-3252. 19p.

A termination proof for epsilon substitution using partial derivations

Authors: Mints, G.¹ mints@turing.stanford.edu

Source: Theoretical Computer Science. Jun2003, Vol. 303 Issue 1, p187. 27p.

Subjects: Stochastic convergence, Approximation theory

Cut elimination for a simple formulation of epsilon calculus

Authors: Mints, G.¹ mints@csli.stanford.edu

Source: Annals of Pure & Applied Logic. Mar2008, Vol. 152 Issue 1-3, p148-160. 13p.

Biomarkers for prediction of cardiovascular events.

Authors: Musunuru K Blumenthal RS Ridker PM et al.

Source: New England Journal of Medicine. 4/5/2007, Vol. 356 Issue 14, p1472-1475. 4p.

URL: 24598476

Pulmonization of Liver: The Unexpected Appearance of Lung POCUS Signs in the Abdomen.

Authors: Huang J Bai J Cutler T et al.

Source: POCUS journal [POCUS J] 2026 Apr 22; Vol. 11 (1), pp. 68-71. Date of Electronic Publication: 2026 Apr 22 (Print Publication: 2026).

Publication Type: Case Reports; Journal Article

Journal Info: Publisher: CINQUILL Medical Publishers Inc Country of Publication: Canada NLM ID: 9918434088906676 Publication Model: eCollection Cited Medium: Internet ISSN: 2369-8543 (Electronic) Linking ISSN: 23698543 NLM ISO Abbreviation: POCUS J Subsets: PubMed not MEDLINE

Defining minimum image quality criteria for common diagnostic point-of-care ultrasound images: A position statement of the Society of Hospital Medicine.

Authors: Anstey J Bhasin A Franco-Sadud R et al.

Source: Journal of hospital medicine [J Hosp Med] 2026 Feb; Vol. 21 (2), pp. 183-196. Date of Electronic Publication: 2025 Sep 22.

Publication Type: Journal Article; Review

Journal Info: Publisher: Wiley Country of Publication: United States NLM ID: 101271025 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1553-5606 (Electronic) Linking ISSN: 15535592 NLM ISO Abbreviation: J Hosp Med Subsets: MEDLINE

How to Design a Point-of-Care Ultrasound Training Course Using Educational Theories.

Authors: Cutler T Roy-Burman P Bai J et al.

Source: The Journal of continuing education in the health professions [J Contin Educ Health Prof] 2026 Winter 01; Vol. 46 (1), pp. 44-49. Date of Electronic Publication: 2025 Apr 01.

Publication Type: Journal Article

Journal Info: Publisher: Wolters Kluwer Health, Inc Country of Publication: United States NLM ID: 8805847 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1554-558X (Electronic) Linking ISSN: 08941912 NLM ISO Abbreviation: J Contin Educ Health Prof Subsets: MEDLINE

A normal and particularly small left atrial size measured during echocardiography MAY NOT suggest low likelihood of moderate or severe left ventricular systolic dysfunction.

Authors: Mints G Bai J Evans A

Source: American journal of cardiovascular disease [Am J Cardiovasc Dis] 2025 Dec 15; Vol. 15 (6), pp. 522-523. Date of Electronic Publication: 2025 Dec 15 (Print Publication: 2025).

Publication Type: Letter

Journal Info: Publisher: e-Century Publishing Corp Country of Publication: United States NLM ID: 101569582 Publication Model: eCollection Cited Medium: Print ISSN: 2160-200X (Print) Linking ISSN: 2160200X NLM ISO Abbreviation: Am J Cardiovasc Dis Subsets: PubMed not MEDLINE

Ultrasonography in neurology: A comprehensive analysis and review.

Authors: Scholtz LC Rosenberg J Robbins MS et al.

Source: Journal of neuroimaging : official journal of the American Society of Neuroimaging [J Neuroimaging] 2023 Jul-Aug; Vol. 33 (4), pp. 511-520. Date of Electronic Publication: 2023 May 19.

Publication Type: Review; Journal Article; Research Support, Non-U.S. Gov't

Journal Info: Publisher: Wiley Country of Publication: United States NLM ID: 9102705 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1552-6569 (Electronic) Linking ISSN: 10512284 NLM ISO Abbreviation: J Neuroimaging Subsets: MEDLINE

On Recommending Specific Lung Ultrasound Protocols in the Assessment of Medical Inpatients with Known or Suspected Coronavirus Disease-19 Reply.

Authors: Ma IWY Noble VE Mints G et al.

Source: Journal of ultrasound in medicine : official journal of the American Institute of Ultrasound in Medicine [J Ultrasound Med] 2021 Dec; Vol. 40 (12), pp. 2785-2786. Date of Electronic Publication: 2021 Feb 08.

Publication Type: Letter; Comment

Journal Info: Publisher: John Wiley and Sons Country of Publication: England NLM ID: 8211547 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1550-9613 (Electronic) Linking ISSN: 02784297 NLM ISO Abbreviation: J Ultrasound Med Subsets: MEDLINE

Comparison of in-person versus tele-ultrasound point-of-care ultrasound training during the COVID-19 pandemic.

Authors: Soni NJ Boyd JS Mints G et al.

Source: The ultrasound journal [Ultrasound J] 2021 Sep 06; Vol. 13 (1), pp. 39. Date of Electronic Publication: 2021 Sep 06.

Publication Type: Journal Article

Journal Info: Publisher: Springer Milan Country of Publication: Italy NLM ID: 101742146 Publication Model: Electronic Cited Medium: Internet ISSN: 2524-8987 (Electronic) Linking ISSN: 25248987 NLM ISO Abbreviation: Ultrasound J Subsets: PubMed not MEDLINE

Canadian Internal Medicine Ultrasound (CIMUS) Expert Consensus Statement on the Use of Lung Ultrasound for the Assessment of Medical Inpatients With Known or Suspected Coronavirus Disease 2019.

Authors: Ma IWY Hussain A Wagner M et al.

Source: Journal of ultrasound in medicine : official journal of the American Institute of Ultrasound in Medicine [J Ultrasound Med] 2021 Sep; Vol. 40 (9), pp. 1879-1892. Date of Electronic Publication: 2020 Dec 04.

Publication Type: Journal Article; Consensus Statement

Journal Info: Publisher: John Wiley and Sons Country of Publication: England NLM ID: 8211547 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1550-9613 (Electronic) Linking ISSN: 02784297 NLM ISO Abbreviation: J Ultrasound Med Subsets: MEDLINE

Ultrasound-Guided Lumbar Puncture.

Authors: Mints G Bai J Wong T

Source: Journal of ultrasound in medicine : official journal of the American Institute of Ultrasound in Medicine [J Ultrasound Med] 2020 Jan; Vol. 39 (1), pp. 203. Date of Electronic Publication: 2019 Jun 21.

Publication Type: Letter; Comment

Journal Info: Publisher: John Wiley and Sons Country of Publication: England NLM ID: 8211547 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1550-9613 (Electronic) Linking ISSN: 02784297 NLM ISO Abbreviation: J Ultrasound Med Subsets: MEDLINE

Prolonged Respiratory Failure From COVID-19 With New-Onset Shock.

Authors: Whalen W Parkhurst CN Mints G et al.

Source: Chest [Chest] 2021 Dec; Vol. 160 (6), pp. e673-e675.

Publication Type: Case Reports; Journal Article; Video-Audio Media

Journal Info: Publisher: Elsevier Country of Publication: United States NLM ID: 0231335 Publication Model: Print Cited Medium: Internet ISSN: 1931-3543 (Electronic) Linking ISSN: 00123692 NLM ISO Abbreviation: Chest Subsets: MEDLINE