Results 311 to 320 of about 1,806,003 (362)
Some of the next articles are maybe not open access.
Formal Methods in System Design, 1999
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee) and hierarchical (stepwise-refinement) design and verification. While synchronous models are based on a notion of atomic computation step, and asynchronous models remove ...
Rajeev Alur, Thomas A. Henzinger
openaire +1 more source
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee) and hierarchical (stepwise-refinement) design and verification. While synchronous models are based on a notion of atomic computation step, and asynchronous models remove ...
Rajeev Alur, Thomas A. Henzinger
openaire +1 more source
Current Opinion in Rheumatology, 1996
The complex interactions between the triggering microbe and the defense mechanisms of the host in reactive arthritis have been studied in several laboratories around the world, and interesting observations have been made. Research has also focused on the mediators in the inflammatory process in joints, and these results are helping to slowly build a ...
A, Toivanen, P, Toivanen
openaire +7 more sources
The complex interactions between the triggering microbe and the defense mechanisms of the host in reactive arthritis have been studied in several laboratories around the world, and interesting observations have been made. Research has also focused on the mediators in the inflammatory process in joints, and these results are helping to slowly build a ...
A, Toivanen, P, Toivanen
openaire +7 more sources
Debugging reactive programming with reactive inspector
Proceedings of the 38th International Conference on Software Engineering Companion, 2016Reactive programming provides dedicated language abstractions for reactive software, relieving developers from manually updating outputs when the inputs of a computation change. Unfortunately, complementing the new paradigm with proper tools that support coding activities is a vastly unexplored area.
Guido Salvaneschi, Mira Mezini
openaire +1 more source
Nature, 2014
Domain walls are natural borders in ferromagnetic, ferroelectric or ferroelastic materials. It seems that they can also be reactive areas that produce crystallographic phases never before observed in bulk materials.
Ghosez, Philippe, Triscone, Jean-Marc
openaire +2 more sources
Domain walls are natural borders in ferromagnetic, ferroelectric or ferroelastic materials. It seems that they can also be reactive areas that produce crystallographic phases never before observed in bulk materials.
Ghosez, Philippe, Triscone, Jean-Marc
openaire +2 more sources
Science, 1995
For almost 200 years inert antigens have been used for initiating the process of immunization. A procedure is now described in which the antigen used is so highly reactive that a chemical reaction occurs in the antibody combining site during immunization.
P, Wirsching +4 more
openaire +2 more sources
For almost 200 years inert antigens have been used for initiating the process of immunization. A procedure is now described in which the antigen used is so highly reactive that a chemical reaction occurs in the antibody combining site during immunization.
P, Wirsching +4 more
openaire +2 more sources
The Journal of Physical Chemistry A, 2021
The chemical reactivity of a molecule as a whole or of an atom in a molecule varies during a chemical reaction. A variation of global and local reactivity descriptors in the course of a physicochemical process was studied within a quantum fluid density functional theory framework.
Utpal Sarkar, Pratim Kumar Chattaraj
openaire +2 more sources
The chemical reactivity of a molecule as a whole or of an atom in a molecule varies during a chemical reaction. A variation of global and local reactivity descriptors in the course of a physicochemical process was studied within a quantum fluid density functional theory framework.
Utpal Sarkar, Pratim Kumar Chattaraj
openaire +2 more sources
Metabolism, 1975
Reactive hypoglycemia is a relatively uncommon meal-induced hypoglycemic disorder. Most patients with adrenergic-mediated symptoms have a diagnosis other than reactive hypoglycemia. In many patients with this self-diagnosis, other disorders can be attributed as a cause for symptoms, especially neuropsychiatric disease.
openaire +3 more sources
Reactive hypoglycemia is a relatively uncommon meal-induced hypoglycemic disorder. Most patients with adrenergic-mediated symptoms have a diagnosis other than reactive hypoglycemia. In many patients with this self-diagnosis, other disorders can be attributed as a cause for symptoms, especially neuropsychiatric disease.
openaire +3 more sources
Dalton Transactions, 2022
The reactivity of the tungsten diphenylarsinocarbyne [W(CAsPh2)(CO)2(Tp*)] (1; Tp* = hydrotris(dimethylpyrazolyl)borato) is described leading to the first examples of bridging arsino- and arsoniocarbyne complexes.
Benjamin J. Frogley, Anthony F. Hill
openaire +2 more sources
The reactivity of the tungsten diphenylarsinocarbyne [W(CAsPh2)(CO)2(Tp*)] (1; Tp* = hydrotris(dimethylpyrazolyl)borato) is described leading to the first examples of bridging arsino- and arsoniocarbyne complexes.
Benjamin J. Frogley, Anthony F. Hill
openaire +2 more sources
Annual Review of Medicine, 1987
Inflammatory arthritis occurring days to weeks after a localized infection is known as reactive arthritis. Epidemiologic, genetic, and immunologic features have established this disease as a distinct clinicopathologic entity. Although reactive arthritis is often a transient disease, many individuals suffer a chronic relapsing course.
G S, Firestein, N J, Zvaifler
openaire +2 more sources
Inflammatory arthritis occurring days to weeks after a localized infection is known as reactive arthritis. Epidemiologic, genetic, and immunologic features have established this disease as a distinct clinicopathologic entity. Although reactive arthritis is often a transient disease, many individuals suffer a chronic relapsing course.
G S, Firestein, N J, Zvaifler
openaire +2 more sources
Acta Informatica, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zohar Manna, Amir Pnueli
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zohar Manna, Amir Pnueli
openaire +2 more sources