Results 231 to 240 of about 1,382,288 (265)

A Quantitative Model of the Hoffmann Reflex

Neurological Research, 1981
Electrical stimulation of the human posterior tibial nerve elicits two separate electromyographic responses. The shorter latency response results from electrical activation of motor axons and is termed the direct motor (M) response, while the longer latency response results from activation of stretch receptor afferents of the monosynaptic reflex arc ...
F K, Hoehler, A A, Buerger
openaire   +2 more sources

Quantitative Models of Collaborative Networks

2005
The paper deals with issues on mathematical modeling of collaborative networks (CN) caused by complexity and uncertainty of CN due to interactions of active elements (enterprises), high dynamics as well as external and internal disturbances. This paper introduces an integrated approach for CN complex modeling, and illustrates it on the example of ...
Dmitry A. Ivanov 0001, Joachim Kaeschel, Boris V. Sokolov, Alexander V. Arkhipov, Lars Zschorn   +4 more
openaire   +1 more source

Quantitative Reactive Models

2012
Formal verification aims to improve the quality of hardware and software by detecting errors before they do harm. At the basis of formal verification lies the logical notion of correctness, which purports to capture whether or not a circuit or program behaves as desired.
openaire   +1 more source

Untangling Dendrites with Quantitative Models

Science, 2000
Our understanding of the function of dendrites has been greatly enriched by an inspiring dialogue between theory and experiments. Rather than functionally ignoring dendrites, representing neurons as single summing points, we have realized that dendrites are electrically and chemically distributed nonlinear units and that this has important consequences
I, Segev, M, London
openaire   +2 more sources

Quantitative analysis and model checking

Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, 2002
Many notions of models in computer science provide quantitative information, or uncertainties, which necessitate a quantitative model checking paradigm. We present such a framework for reactive and generative systems based on a non-standard interpretation of the modal mu-calculus, where /spl mu/x./spl phi//vx./spl phi/ are interpreted as least/greatest
Michael Huth 0001, Marta Z. Kwiatkowska
openaire   +1 more source

Scratching polycarbonate: A quantitative model

Wear, 2012
Generally it is understood that friction is additively decomposed into an adhesion- and a deformation-related component, suggesting independence. Experimentally these components cannot be separated and only by combining experiments with simulations, a decoupled analysis is possible.
Breemen, van, L.C.A., Govaert, L.E., Meijer, H.E.H.   +2 more
openaire   +2 more sources

Quantitative Model Checking of Knowledge

2012
Model checking, a formal and automatic verification method, has been widely used to check specifications expressed not only as qualitative properties (e.g safety and liveliness), but also as quantitative properties (e.g. degree of reliability and reachability).
Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza   +2 more
openaire   +1 more source

Quantitative modeling of immune responses

Immunological Reviews, 2007
We were impelled to put together this volume on ‘Quantitative Modeling of Immune Responses’ to confront the fact that such studies have had little or no impact on the experimental development of the field. Yet, we remain convinced of the growing importance of such studies. We hope that the presentation of a collection of theoretical investigations in a
Melvin, Cohn, James, Mata
openaire   +2 more sources

A quasi-quantitative citation model

Scientometrics, 1987
On the basis of investigating author's opinion on citing motivations of chemistry papers aquasi-quantitative model for citing is suggested. The model selects professional and nonprofessional motivations of citing and introduces thecitation threshold concept which tries to characterize the effect of citing motivations quantitatively.
openaire   +1 more source

Quantitative models of nuclear transport

Current Opinion in Cell Biology, 2005
Nuclear pore complexes mediate the rapid trafficking of target macromolecules between the nucleus and the cytoplasm but exclude non-targets. Mathematical modeling helps to define the physical properties of a transport medium that can selectively enhance the permeation of some molecules but block others.
Becskei, Attila, Mattaj, Iain W.
openaire   +3 more sources