Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-7

Incremental controller synthesis in probabilistic environments with temporal logic constraints

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta

The International Journal of Robotics Research

Retricted access

Research article

First published 2006-4

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Retricted access

Research article

First published 2017-8-9

Incremental Process Discovery using Petri Net Synthesis

Eric Badouel, Uli Schlachter

Fundamenta Informaticae

Retricted access

Research article

First published 1956-6

Effect of Choline on Phosphatide Metabolism of Gholine-Deficient and Cholestero-Fed Rabbits. ∗

N. R. Di Luzio, D. B. Zilversmit

Experimental Biology and Medicine

Retricted access

Research article

First published 1968-11

L-Leucine- 14 C (UL) Metabolism in Isolated Fat Cells ∗

M. J. Smith, P. M. Beigelman

Experimental Biology and Medicine

Retricted access

Research article

First published 1998-11

Circadian Rhythms in the Incorporation and Secretion of 3H-proline by Odontoblasts in Relation to Incremental Lines in Rat Dentin

M. Ohtsuka, S. Saeki, K. Igarashi [...]

Journal of Dental Research

Retricted access

Other

First published 2009-05

Realizing Planning's Emancipatory Promise: Learning From Regime Theory To Strengthen Communicative Action

Clara Irazábal

Planning Theory

Retricted access

Review article

First published 1995-7

Application of H ∞ Control and Lqg with Frequency-Dependent Weight Syntheses to a Multivariable Active Flutter Suppression System

A Fujimori, P N Nikiforuk

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Retricted access

Research article

First published 2007-03

Limitations of Acceptability Curves for Presenting Uncertainty in Cost-Effectiveness Analysis

Bas Groot Koerkamp, M.G. Myriam Hunink, Theo Stijnen [...]

Medical Decision Making

Retricted access

Research article

First published 1968-12

Hexose Monophosphate Shunt Activity in Compensatory Renal Hypertrophy ∗

James K. Farquhar, Walter N. Scott, Fredric L. Coe

Experimental Biology and Medicine

Search results