When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on assumptions on the underspecified components. When component assumptions are expressed in Hennessy-Milner logic (HML), the state space of open systems can be naturally represented with modal transition systems (MTS), a graphical...

We employ effective interaction potentials between spherical polyelectrolyte microgels in order to investigate theoretically the structure, thermodynamics, and phase behavior of ionic microgel solutions. Combining a genetic algorithm with accurate free energy calculations we are able to perform an unrestricted search of candidate crystal structures. Hexagonal, body-centered orthogonal, and trig...

We report the results from a computational study of the self-assembly of amphiphilic ditethered nanospheres using molecular simulation. We explore the phase behavior as a function of nanosphere diameter, interaction strength, and directionality of the tether–tether interactions. We predict the formation of seven distinct ordered phases. We compare these structures with those observed in linear ...

A method to prepare monodisperse and simultaneously NMR-visible and fluorescent colloidal particles is described, and a systematic approach to obtain spectrally resolved diffusion coefficient for every component in a monodisperse colloidal suspension is presented. We also prepared bidisperse colloidal suspensions, where each colloid component has a distinct NMR spectral signature, and obtained ...

The acute-phase plasma protein response to disease activity in murine models of autoimmune lupus-like disease was investigated by measurement of the concentration of serum amyloid P component (SAP) in NZB X W and MRL/l mice. The levels of SAP, which is a major acute-phase protein in mice, did not rise at all in response to progression of disease in NZB X W mice between the ages of 1 and 9 mo. T...

objective: children with autism have sitting and on-task behavior problems in class. therefore, the effects of three alternative classroom-seating devices such as regular classroom chairs, therapy balls, and air cushions were examined on students’ classroom behavior. material and method: fifteen autistic students participated in this a-b-a-c multiple treatments, semi-experimental study. student...

Increasing temperature was used to progressively interconvert non-force-generating into force-generating states in skinned rabbit psoas muscle fibers contracting isometrically. Laser temperature-jump and length-jump experiments were used to characterize tension generation in the time domain of the Huxley-Simmons phase 2. In our experiments, phase 2 is subdivisible into two kinetic steps each wi...