0

We propose the concept of adaptable processes as a way of overcoming thelimitations that process calculi have for describing patterns of dynamic process evolution.Such patterns rely on direct ways of controlling the behavior and location of runningprocesses, and so they are at the heart of the adaptation capabilities present in manymodern concurrent systems. Adaptable processes ...

We survey our results about verification of adaptable processes. We present adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns rely on direct ways of controlling the behavior and location of running processes, and so they are at the heart of the adaptation capabilities present in many modern co...

Functional concurrent, or varying-coefficient, regression models are a form of functional data analysis methods in which covariates and outcomes collected concurrently. Two active areas research for this class identifying influential clustering their relations across observations. In various applications, researchers have applied developed to address these objectives separately. However, no app...

Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature are first-class synchronous operations, which allow programmers to encapsulate complicated communication and synchronization protocols as first-class abstractions. This feature encourages a modular style of programming, where the actual underlying channels used to...

OBJECTIVE Humans can acquire a wide variety of motor skills using sensory feedback pertaining to discrepancies between intended and actual movements. Acupuncture needle manipulation involves sophisticated hand movements and represents a fundamental skill for acupuncturists. We investigated whether untrained students could improve their motor performance during acupuncture needle manipulation us...