Ching et al. * found that three-adatom non-pairwise interactions, with a repulsive energy greater than a quarter the nearest pair attraction, can explain the pronounced asymmetries in the phase diagram of O/W(llO). In the first explicit calculations of such short-range “trio” interactions, we find that electronic indirect interactions have strengths consistent with their parameters. In general ...

Cadherins are transmembrane glycoproteins that mediate Ca2 -dependent homophilic cell–cell adhesion and play crucial role during skeletal myogenesis. M-cadherin is required for myoblast fusion into myotubes, but its mechanisms of action remain unknown. The goal of this study was to cast some light on the nature of the M-cadherin–mediated signals involved in myoblast fusion into myotubes. We fou...

Tracking data provenance (or lineage) has become increasingly important in many large-scale applications. Till now, a few methods have been proposed to record data provenance. However, most of them mainly focus on deterministic databases except Trio style lineage that aims at probabilistic databases. Processing provenance upon probabilistic database is even challenging because of the exponentia...

Many systems include components interacting with each other that evolve with possibly very different speeds. To deal with this situation many formal models adopt the abstraction of “zero-time transitions”, which do not consume time. These however have several drawbacks in terms of naturalness and logic consistency, as a system is modeled to be in different states at the same time. We propose a ...

The molecular mechanism underlying long-term potentiation (LTP) is critical for understanding learning and memory. CaMKII, a key kinase involved in LTP, is both necessary and sufficient for LTP induction. However, how CaMKII gives rise to LTP is currently unknown. Recent studies suggest that Rho GTPases are necessary for LTP. Rho GTPases are activated by Rho guanine exchange factors (RhoGEFs), ...

This report collects some contributions about issues related to the notion of sampling invariance that has been introduced in [FR05, FR06], of which the present report can therefore be considered a follow-up and a complement. In particular: we compare the expressiveness of the language TRIO against that of MTL (and MITL), by also showing a result about the expressiveness of non-strict temporal ...

Trio is a new database system that manages not only data, but also the accuracy and lineage of the data. Inexact (uncertain, probabilistic, fuzzy, approximate, incomplete, and imprecise!) databases have been proposed in the past, and the lineage problem also has been studied. The goals of the Trio project are to combine and distill previous work into a simple and usable model, design a query la...

Although there exist many phasing methods for unrelated adults or pedigrees, phasing and missing data recovery for data representing family trios is lagging behind. This paper is an attempt to fill this gap by considering the following problem. Given a set of genotypes partitioned into family trios, find for each trio a quartet of parent haplotypes which agree with all three genotypes and recov...

Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components that are more naturally formalized by a discrete-time model, such as digital computing modules. Describing such systems in a unified framework based on metric temporal logic requires to integrate formulas which are interpreted ove...

Three commercially available systems, the 4-h Minitek Enterobacteriaceae III, the Haemophilus Trio-Tube, and the Micro-ID, were evaluated for their capacities to identify and biotype 308 respiratory isolates of Haemophilus spp. When compared with aminolevulinic acid test results, the definitive identification method used in this study, these systems demonstrated no significant differences in th...