Results 221 to 230 of about 66,215 (264)
Some of the next articles are maybe not open access.
2001
We express reactive programs in COQ using data-flow synchronous operators. Following LUID-SYNCHROME approach, synchronous static constraints are here expressed using dependent types. Hence, our analysis of synchrony is here directly performed by COQtypechecker.The LS compiler is available at: http://www-spi.lip6.fr/lucid-synchrone/
Boulmé, Sylvain, Hamon, Grégoire
openaire +1 more source
We express reactive programs in COQ using data-flow synchronous operators. Following LUID-SYNCHROME approach, synchronous static constraints are here expressed using dependent types. Hence, our analysis of synchrony is here directly performed by COQtypechecker.The LS compiler is available at: http://www-spi.lip6.fr/lucid-synchrone/
Boulmé, Sylvain, Hamon, Grégoire
openaire +1 more source
Is Signal Synchrony Independent of Transport Synchrony?
Philosophy of Science, 1978Beauregard ([1], p. 488) claims that Bowman and I were mistaken in saying that “… if the empirical predictions of the Special Theory regarding clock transport are correct, [then] a slow transport definition of simultaneity can be constructed that is logically independent of any signal definition, but is in fact equivalent to the standard signal ...
openaire +1 more source
Synchrony of Chromosome Duplication
Nature, 1966IN some recent publications statements have been made on the marked asynchrony of homologous pairs of autosomes with respect to duplication of the chromosomes—as studied with tritiated thymidine1–3. In an earlier publication, in which quantitative analysis of grain counts on chromosomes has been performed, we have reported that no evidence for a marked
C W, Gilbert +3 more
openaire +2 more sources
14th International Conference on Distributed Computing Systems, 2002
We formulate a model of extended virtual synchrony that defines a group communication transport service for multicast and broadcast communication in a distributed system. The model extends the virtual synchrony model of the Isis system to support continued operation in all components of a partitioned network.
Louise E. Moser +3 more
openaire +1 more source
We formulate a model of extended virtual synchrony that defines a group communication transport service for multicast and broadcast communication in a distributed system. The model extends the virtual synchrony model of the Isis system to support continued operation in all components of a partitioned network.
Louise E. Moser +3 more
openaire +1 more source
Proceedings of the SIGGRAPH Asia 2022 Computer Animation Festival, 2022
Julia Le Bras-Juarez +7 more
openaire +1 more source
Julia Le Bras-Juarez +7 more
openaire +1 more source
Human Nature, 1991
Several studies have now documented menstrual synchrony in human females. There is a broad consensus that the phenomenon mainly occurs in women who spend a significant amount of time together, such as close friends and coworkers, and that social contact rather than a similar environment plays an important role in mediating the effect.
openaire +3 more sources
Several studies have now documented menstrual synchrony in human females. There is a broad consensus that the phenomenon mainly occurs in women who spend a significant amount of time together, such as close friends and coworkers, and that social contact rather than a similar environment plays an important role in mediating the effect.
openaire +3 more sources
On Speech and Gestures Synchrony
2011Previous research works proved the existence of synchronization between speech and holds in adults and in 9 year old children with a rich linguistic vocabulary and advanced language skills. When and how does this synchrony develop during child language acquisition? Could it be observed also in children younger than 9?
Anna Esposito, Antonietta Maria Esposito
openaire +1 more source
Interactional synchrony: A reappraisal.
Journal of Personality and Social Psychology, 1978The probabilities of observing interactional synchrony (i.e., the precise coordination of body movement boundaries between interactants) were determined for all combinations of 2 or more people in a single 6-person discussion group (3 males and 3 females) comprising friends and strangers.
openaire +3 more sources