1 Introduction The theme of this seminar was to study programs that manipulate dynamically allocated data. The attendees were researchers from three different areas: • Design and implementation of combinatorial (e.g., graph) algorithms with a heavy usage of dynamically allocated memory. Many of these algorithms are currently implemented in C++, e.g., see [MN95]. • Verification of partial correc...

Problem statement: Reliability studies are concerned with the study of “consistency” or “repeatability” of measurements. Often times (but not always) the reliability coefficients are Intra-class Correlation Coefficients (ICC). Depending on the design or the conceptual intent of the study there are three types of intra-class correlation coefficients, termed intra-class correlation coefficients C...

Introduction: One of the most common problems among women during pregnancy is Urinary Infection (UI). Pregnant women are highly susceptible to UI due to body changes and because of its potential complications on mothers and their fetuses, UI receives particular attention.The current study aimed at investigating the modifiability of behaviour of the pregnant women in the field of urinary infecti...

Series production of R134a compressors started in 1990. 200 compressors, from the very first series, were built into cabinets placed in an apartment house in Denmark. Cabinets with R12 compressors were placed in the same apartment house as well. The cabinets have two separate cooling systems; one for a cold cabinet and one for a freezer. 10 running cabinets were called back for analysis; 7 cabi...

In the present paper we describe the properties induced by disorder on an ultracold gas of Bosonic atoms loaded into a two-dimensional optical lattice with global confinement ensured by a parabolic potential. Our analysis is centered on the spatial distribution of the various phases, focusing particularly on the superfluid properties of the system as a function of external parameters and disord...

1 I n t r o d u c t i o n In food industry, we can find many manipulative operations that deal with deformable rheologic materials such as dough, paste, jelly, and meat. Most these operations are done by humans. Especially, operations with large deformation of rheologic objects depend upon humans. For example, forming of pizza dough to a thin circular shape is performed by humans while extensio...

Tuberculosis (TB) is still a public health problem in sub Saharan African countries. In resource-limited settings, TB diagnosis relies on sputum smear microscopy, with low and variable sensitivities, especially in paucibacillary pediatric and HIV-associated TB patients. Tuberculosis microscopy centers have several weaknesses like overworking, insufficiently trained personnel, inconsistent reage...

couples the human operator to a source of mechanical power—either electromagnetic, electrohydraulic, or electropneumatic actuators. The computation engine governs the behavior of the actuators and linkage as a function of kinematic and force measurements from interface transducers, according to algorithms and equations that describe the VE models to be simulated. A force reflecting interface th...