Results 251 to 260 of about 338,740 (309)
Primary tubercular chorioretinitis: A case report. [PDF]
J Int Med ResChen J.
europepmc +1 more source
Awake Reactivation of Prior Experiences Consolidates Memories and Biases Cognition [PDF]
Trends in Cognitive Sciences, 2019 After experiences are encoded into memory, post-encoding reactivation mechanisms have been proposed to mediate long-term memory stabilization and transformation.
Arielle Tambini, Lila Davachi
exaly +4 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
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
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