Results 211 to 220 of about 1,710,890 (268)
Correction to 'The effects of communicating illness diagnostic and treatment information and C-reactive protein test results on people's antibiotic expectations'. [PDF]
Br J Health Psycholeuropepmc +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