We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...
Quantitative measurements of changes in evolving brain pathology, such as multiple sclerosis lesions and brain tumors, are important for clinicians to perform pertinent diagnoses a...
— This paper presents a new method allowing haptic feedback in molecular docking simulations using a minimization process. These simulations, classically used by the pharmaceutic...
This paper presents a novel model of reinforcement learning agents. A feature of our learning agent model is to integrate analytic hierarchy process (AHP) into a standard reinforc...
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...