Results 141 to 150 of about 1,554 (191)
Synthesis and Molecular Properties of Nerve Agent Reactivator HLö-7 Dimethanesulfonate [PDF]
ACS Medicinal Chemistry Letters, 2019 The threat of a deliberate release of chemical nerve agents has underscored the need to continually improve field effective treatments for these types of poisonings. The oxime containing HLö-7 is a potential second-generation therapeutic reactivator.
Andrew Walz +2 more
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Reactive programming with reactive variables
Companion Proceedings of the 15th International Conference on Modularity, 2016Reactive Programming enables declarative definitions of time-varying values (signals) and their dependencies in a way that changes are automatically propagated. In order to use reactive programming in an imperative object-oriented language, signals are usually modelled as objects. However, computations on primitive values then have to lifted to signals
Christopher Schuster, Cormac Flanagan
openaire +1 more source
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 +3 more sources
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 +3 more sources
Proceedings of the 22nd international conference on World Wide Web, 2013
An essential aspect for building effective crowdsourcing com- putations is the ability of "controlling the crowd", i.e. of dynamically adapting the behaviour of the crowdsourcing systems as response to the quantity and quality of completed tasks or to the availability and reliability of performers.
BOZZON, ALESSANDRO +3 more
openaire +2 more sources
An essential aspect for building effective crowdsourcing com- putations is the ability of "controlling the crowd", i.e. of dynamically adapting the behaviour of the crowdsourcing systems as response to the quantity and quality of completed tasks or to the availability and reliability of performers.
BOZZON, ALESSANDRO +3 more
openaire +2 more sources
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 +2 more sources
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
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
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 +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zohar Manna, Amir Pnueli
openaire +3 more sources