Simulation is a favoured technique for analysis of cyberphysical systems. With their increase in complexity, co-simulation, which involves the coordinated use of heterogeneous models and tools, has become widespread. An industry standard, FMI, has been developed to support orchestration; we provide the first behavioural semantics of FMI. We use the state-rich process algebra, Circus, to present...

Amplitude modulation (AM) and frequency modulation (FM) in speech signals are believed to reflect various non-linear phenomena during the speech production process. In this paper, the amplitude and frequency modulation patterns are analyzed for the first three speech resonances in relation to the fundamental frequency (F0). The formant tracks are estimated, and the resonant signals are extracte...

The egg morphology of minute intestinal flukes (MIF) that can occur as human infections in the Republic of Korea, i.e., Metagonimus yokogawai, M. miyatai, M. takahashii, Heterophyes nocens, Heterophyopsis continua, Stellantchasmus falcatus, Stictodora fuscata, Pygidiopsis summa, and Gymnophalloides seoi, was studied in comparison with Clonorchis sinensis. The adult worms were obtained from resi...

This article examines the required spatial discretization perpendicular to the fracture-matrix interface (FMI) for numerical simulation of solute transport in discretely fractured porous media. The discrete-fracture, finite-element model HydroGeoSphere (Therrien et al. 2005) and a discrete-fracture implementation of MT3DMS (Zheng 1990) were used to model solute transport in a single fracture, a...

The numerical simulation of non-smooth hybrid systems exhibiting chattering behavior requires high computational costs. In the worst case, the simulation appears to come to a halt, since infinitely many discrete transitions would need to be simulated. In this paper we present an FMI-based framework and prototypical implementation for robust and reliable detection and elimination “On the Fly” of...

Co-Simulation is a general approach to simulate coupled technical systems. In a master-slave concept the slaves simulate sub-problems whereas the master is responsible for both coordinating the overall simulation as well as transferring data. To unify the interface between master and slave the FMI for CoSimulation was developed. Using FMI a master was implemented with simple and advanced algori...

El neoliberalismo implicó, desde la década de los setenta, una profunda reconfiguración las economías nacionales y un aumento significativo desigualdades. Fondo Monetario Internacional (FMI), que se autopercibe por encima derechos humanos, ha sido vehículo institucional central en este cambio, a través sus créditos condicionalidades frecuentemente traducen violaciones humanos poblaciones Estado...

Silvia Arber Biozentrum and FMI, Basel, Switzerland Silvia Arber is a Professor of Neurobiology at the Biozentrum of the University of Basel and aSenior Investigator at the Friedrich Miescher Institute (FMI) for Biomedical Research in Basel, Switzerland. Her laboratory investigates neuronal circuits controlling motor behavior. Current work aims to uncover the synaptic organization of motor circ...

During development, multiple environmental cues, e.g., growth factors, cell adhesion molecules, etc., interact to influence the pattern of outgrowth of axons and dendrites in a cell-specific fashion. As a result, individual neurons may receive similar signals, but make unique choices, leading to distinct wiring within the nervous system. C. elegans has been useful in identifying molecular cues ...

Accurate measurement of fat mass has become increasingly important with the increasing incidence of obesity. We assessed fat and muscle mass of Koreans with the Korea National Health and Nutrition Examination Survey IV (KNHANES IV). We studied 10,456 subjects (aged 20 to 85 yr; 4,476 men, 5,980 women). Fat and muscle mass were measured by dual-energy x-ray absorptiometry. Reference values of bo...