Background Chile and Colombia are examples of Latin American countries with health systems shaped by similar values. Recently, both countries have crafted policies to regulate the participation of private for-profit insurance companies in their health systems, but through very different mechanisms. This study asks: what values are i...

This paper presents an inheritanceJow model, which represents the inheritance relationships among classes as a flow graph. A flow operation is associated with each attribute and method in a class to denote the defined (redefined) or inherited member. An inherited member can be deemed as being handled by a sequence of flow operations along a path in the flow graph. This model provides several an...

We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound class invariant as a conservative abstraction of the class semantics. In particular we show how a class invariant can be characterized as the solution of a set of equations extracted from the program source. Once a static analy...

background: thalassemia is probably the most common single gene disorder causing a major public health problem in the world. currently, allogenic hematopoietic stem cell transplantation (hsct) is the only curative therapy for thalassemia. one major limitation of hsct is the lack of hla-identical sibling donors, so attention has turned to finding phenotypically matched unrelated donors. patients...

In prior work (Biswas & Chatterjee 2014 Proc. R. Soc. A 470, 20130817 (doi:10.1098/rspa.2013.0817)), we developed a six-state hysteresis model from a high-dimensional frictional system. Here, we use a more intuitively appealing frictional system that resembles one studied earlier by Iwan. The basis functions now have simple analytical description. The number of states required decreases further...

Project co-funded by the European Commission within the 6th Framework Programme Dissemination Level PU Public X PP Restricted to other programme participants (including the Commission services) RE Restricted to a group specified by the consortium (including the Commission services) CO Confidential, only for members of the consortium (including the Commission services) The information in this do...

Picoliter droplets containing Actinobacteria are sorted using real-time image analysis, which in contrast to most available sorting approaches is independent of fluorescent labels. Images are triggered by changes in brightness due to total internal light reflection at the interface of each droplet, which is detected by a photodiode with a reduced field of view. The time interval between trigger...

The purpose of the present study was to compare the results of Configural Frequency Analysis (CFA) and solutions derived from Latent Class Analysis (LCA) to evaluate concordances and disconcordances regarding their outcomes. Explorative LCA was applied to the Big Five dataset described in Lautsch & Thöle (this issue). The comparative analyses of the LCA solutions and the CFA results demonstrate...

A method of link analysis employed for retrieving information from the Web is extended in order to evaluate one aspect of quality in an object-oriented model. The principal eigenvectors of matrices derived from the adjacency matrix of a modified class diagram are used to identify and quantify heavily loaded portions of an object-oriented design that deviate from the principle of distributed

A recent paper [H. C. Song et al., J. Acoust. Soc. Am. 127, EL19-EL22 (2010)] demonstrated adaptive time reversal (ATR) using at-sea experimental data which significantly suppressed the cross talk among users (or transmitters) over conventional time reversal. In this letter, the ATR approach is shown essentially equivalent to the least squares solution to an over-determined system.