Results 211 to 220 of about 608,314 (269)
Solvatochromism and Click Reactivity of Yellow Tetrazines. [PDF]
Bioconjug ChemKeppel P +3 more
europepmc +1 more source
Psychometric Properties of the Chinese Version of the Ford Insomnia Response to Stress Test (FIRST-C) Among Pregnant Women in Qinghai Province, China: A Cross-Sectional Validation Study with Measurement Invariance Testing. [PDF]
Int J Womens HealthWei L +7 more
europepmc +1 more source
Organic radical reactivity: activation and deactivation through alkyl substitution.
Phys Chem Chem PhysRodrigues Silva D +2 more
europepmc +1 more source
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