The propagation characteristics of electromagnetic (EM) waves in tunnels are significantly different from those in terrestrial environment. However, the current tunnel channel mode...
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
Many surgical technics act on the upper airway in general, and on the tongue in particular. For example, tongue is one of the anatomical structures involved in the case of Pierre R...
We propose a dynamical systems model that captures the daily fluctuations of human weight change, incorporating both physiological and psychological factors. The model consists of...
J.-Emeterio Navarro-Barrientos, Daniel E. Rivera, ...