In the framework of model-based design formal modelling, verification and simulation of safety-critical systems are supported by several methods and tools. Interfacing these tools often becomes challenging for heterogeneous systems. The FMI standard enables integration of different simulation tools through artefacts called Functional Mockup Units (FMU) [1]. The FMI standard is mainly based on t...

BACKGROUND Nutritional changes during and after tuberculosis treatment have not been well described. We therefore determined the effect of wasting on rate of mean change in lean tissue and fat mass as measured by bioelectrical impedance analysis (BIA), and mean change in body mass index (BMI) during and after tuberculosis treatment. METHODS In a prospective cohort study of 717 adult patients,...

Objective To evaluate the types and severity of subcortical aphasia after stroke and to determine the predictors of the degree of aphasic impairment. Methods Medical records of 38 patients with post-stroke subcortical aphasia (19 males; mean age, 61.7±13.8 years) were reviewed retrospectively with respect to the following tests: the Korean version of the Western Aphasia Battery (K-WAB), the K...

A common situation in industry is that a system model (here a composite model) is composed of several submodels which may have been developed using different tools. FMI is one important technology for exporting/importing models between tools and/or connecting them via co-simulation. TLM based modeling and co-simulation is another important technique for modeling, connecting, and simulation of e...

TIM-3 is constitutively expressed on subsets of macrophages and dendritic cells. Its expression on other cells of the innate immune system and its role in fetomaternal tolerance has not yet been explored. In this study, we investigate the role of TIM-3-expressing innate immune cells in the regulation of tolerance at the fetomaternal interface (FMI) using an allogeneic mouse model of pregnancy. ...

Six generations of RPC systems can be distinguished including Federated Method Invocation (FMI) presented in this paper. Some of them—CORBA, Java RMI, and Web/Globus services—support distributed objects. However, creating object wrappers implementing remote interfaces doesn’t have a great deal to do with object-oriented distributed programming. Distributed objects developed that way are usually...

OBJECTIVE To examine the relationship between birth weight and abdominal adiposity in adolescents. RESEARCH DESIGN AND METHODS A total of 284 adolescents (49.3% of whom were female) aged 14.9 +/- 1.2 years were included in the study. Birth weight and gestational age were obtained from parental records. Abdominal adiposity (in three regions: R1, R2, and R3) and trunk and total body fat mass we...

Six generations of RPC systems can be distinguished including Federated Method Invocation (FMI) presented in this paper. Some of them— CORBA, Java RMI, and Web/OGSA services—support distributed objects. However, creating object wrappers implementing remote interfaces doesn’t have a great deal to do with object-oriented distributed programming. Distributed objects developed that way are usually ...

The simulation of an aero-engine control system involves numerous disciplines due to its complex functions and architecture, which generally consist mechanical, hydraulic electrical, electronic systems. For each discipline, the modeling are usually dependent on different commercial software tools, makes simulation, integration, verification system-level models very difficult. To meet this chall...

UNLABELLED The body mass index (BMI) is used to assess nutritional status. The result in athletes may be overestimated due to increase in muscle mass. OBJECTIVE To assess the usefulness of fat mass index (FMI) and lean mass index (LMI) determination as indicators of nutritional status and to compare the results with BMI. MATERIAL AND METHODS We studied 28 amateur rugby players, male. After ...