Buscar
Mostrando ítems 1-10 de 57
A general overview of formal languages for individual-based modelling of ecosystems
(Elsevier BV, 2019-04-01)
Various formal languages have been proposed in the literature for the individual-based modelling of ecological systems. These languages differ in their treatment of time and space. Each modelling language offers a distinct ...
A general overview of formal languages for individual-based modelling of ecosystems
(Elsevier BV, 2019-04-01)
Various formal languages have been proposed in the literature for the individual-based modelling of ecological systems. These languages differ in their treatment of time and space. Each modelling language offers a distinct ...
Abstract interpretation of temporal concurrent constraint programs
(Cambridge University Press, 2014)
CJoin: Join with communicating transactions
(Cambridge University Press, 2015-03)
This paper proposes a formal approach to the design and programming of long running transactions (LRTs). We exploit techniques from process calculi to define cJoin, which is an extension of the Join calculus with few ...
Current trends and future research directions for interactive music
(Asian Research Publishing Network, 2018-08-31)
In this review, it is explained and compared different software and formalisms used in music interaction: sequencers, computer-assisted improvisation, meta-instruments, score-following, asynchronous dataflow languages, ...
NTCCRT: A concurrent constraint framework for soft real-time music interaction
(Asian Research Publishing Network, 2015-01-01)
Writing music interaction systems is not easy because their concurrent processes usually access shared resources in a non-deterministic order, often leading to unpredictable behavior. Using Pure Data (Pure Data) and Max/MSP, ...
NTCCRT: A concurrent constraint framework for soft-real time music interaction
(Asian Research Publication Network, 2015-12-10)
Writing music interaction systems is not easy because their concurrent processes usually access shared resources in a non-deterministic order, often leading to unpredictable behavior. Using Pure Data (Pure Data) and Max/MSP, ...
The influence of Ni(II) on brushite structure stabilization
(Elsevier Science, 2017-06)
Brushite samples doped with Ni(II) in different concentrations, from 5% to 20%, were prepared in aqueous solution at pH = 7 and at two temperatures: 25 and 37 °C. The solid samples were characterized by chemical analysis, ...
Avaliação de cálculos urinários em per-operatórios por imagem digital e técnicas físico-químicas e analíticas
(Universidade Estadual Paulista (Unesp), 2005-09)
O presente trabalho propõe criar uma sistema de identificação de elementos constituintes de cálculos urinários e que seja viável sua utilização durante os procedimentos cirúrgicos. Até o presente temos equipamento importados ...