Sage Journals: Discover world-class research

Retricted access

Research article

First published 2020-2

Checking the consistency of Object-Z formal specification based on theorem proof

Weiqing Wan, Yongqing Yu, Qingyan Zeng [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 1999-8

Automating Inductive Specification Proofs

Brigitte Pientka, Christoph Kreitz

Fundamenta Informaticae

Retricted access

Other

First published 1965-6

Elevated Temperature Yield and 0·2 per cent Proof Stress Properties of Carbon Steel Plates,with Particular Reference to the Values Specified in B.S. 1501: 1964

J. Glen, R. F. Johnson

Proceedings of the Institution of Mechanical Engineers

Retricted access

Research article

First published 1981-2

Evidence and Proof in Documentary Research: 1 Some Specific Problems of Documentary Research

Jennifer Platt

The Sociological Review

Retricted access

Research article

First published 2017-7

The 15-Minute Audition: Translating a Proof of Concept Into a Domain-Specific Screening Device for Mathematical Talent

Rena F. Subotnik, Frank C. Worrell, Paula Olszewski-Kubilius

Gifted Child Quarterly

Free access

Research article

First published 2016-5

Refining small intestinal bacterial overgrowth diagnosis by means of carbohydrate specificity: a proof-of-concept study

Dietmar Enko, Gabriele Halwachs-Baumann, Robert Stolba [...]

Therapeutic Advances in Gastroenterology

Retricted access

Research article

First published 2005-10

A New Method for Multivariate Calibration

Ralf Marbach

Journal of Near Infrared Spectroscopy

Retricted access

Research article

First published 2017-04

Transcranial Direct Current Stimulation Targeting Primary Motor Versus Dorsolateral Prefrontal Cortices: Proof-of-Concept Study Investigating Functional Connectivity of Thalamocortical Networks Specific to Sensory-Affective Information Processing

Vishwanath Sankarasubramanian, David A. Cunningham, Kelsey A. Potter-Baker [...]

Brain Connectivity

Free access

Other

First published 2010-09

Translating Animal Doses of Task-Specific Training to People With Chronic Stroke in 1-Hour Therapy Sessions: A Proof-of-Concept Study

Rebecca L. Birkenmeier, Eliza M. Prager, Catherine E. Lang

Neurorehabilitation and Neural Repair

Retricted access

Research article

First published 1997-12

Stereodependent Inhibition of Plasminogen Activator Inhibitor Type 1 by Phosphorothioate Oligonucleotides: Proof of Sequence Specificity in Cell Culture and In Vivo Rat Experiments

Wojciech J. Stec, CzesŁaw S. Cierniewski, Andrzej Okruszek [...]

Nucleic Acid Therapeutics

Search results