Sage Journals: Discover world-class research

Retricted access

Research article

First published 1999-8

Automating Inductive Specification Proofs

Brigitte Pientka, Christoph Kreitz

Fundamenta Informaticae

Retricted access

Research article

First published 1995-4

Induction Proof for a General Exponential Integral Formula

Frank O'Brien, Sherry E. Hammel, Chung T. Nguyen

Perceptual and Motor Skills

Retricted access

Research article

First published 2021-12

Understanding the anatomy of a malpractice suit. In the United States this is a doctor’s best defence

Howard Smith

Medico-Legal Journal

Retricted access

Case report

First published 2009-12

Elastase-Induced Aneurysm in Swine: Proof of Feasibility in a First Case

S.L. Goericke, N. Parohl, J. Albert [...]

Interventional Neuroradiology

Retricted access

Research article

First published 2010-9-20

Inductive trace properties for computational security

Arnab Roy, Anupam Datta, Ante Derek [...]

Journal of Computer Security

Free access

Letter

First published 2018-6

Primary biliary cholangitis triggered by DAAs-induced HCV clearance: a biological proof of concept

Maria Rendina, Nicola Maurizio Castellaneta, Giuseppe Losurdo [...]

Sage Open Chronic Disease

Retricted access

Research article

First published 2012-7

The Krohn-Rhodes Theorem and Local Divisors

Volker Diekert, Manfred Kufleitner, Benjamin Steinberg

Fundamenta Informaticae

Retricted access

Research article

First published 2010-8

Automation for Dependently Typed Functional Programming

Sean Wilson, Jacques Fleuriot, Alan Smaill

Fundamenta Informaticae

Retricted access

Research article

First published 2020-5

Application of in-body tissue architecture–induced Biotube vascular grafts for vascular access: Proof of concept in a beagle dog model

Maya Furukoshi, Eisuke Tatsumi, Yasuhide Nakayama

The Journal of Vascular Access

Free access

Research article

First published 2021-6

Proof of Concept for a Deep Learning Algorithm for Identification and Quantification of Key Microscopic Features in the Murine Model of DSS-Induced Colitis

Agathe Bédard, Thomas Westerling-Bui, Aleksandra Zuraw

Toxicologic Pathology

Search results