Results 261 to 270 of about 844,980 (316)
Some of the next articles are maybe not open access.
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
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
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
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
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