BEING a practicing biologist, I feel that I cannot attempt the kind of analysis of cause and effect in biological phenomena that a logician would undertake. I would instead like to concentrate on the special difficulties presented by the classical concept of causality in biology. From the first attempts to achieve a unitary concept of cause, the student of causality has been bedeviled by these ...

As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof tasks. The problem, then, is how to be sure that we can trust the correctness of a heterogeneous proof. In this work we focus on certification and synthesis of equational proofs, that are pervasive in most proof tasks ...

Disclosure: Yehuda Chowers has received consulting/lecture fees from AbbVie, Janssen, Takeda, and Protalix. Remo Panaccione is a consultant for AbbVie/Abbott, Amgen, Aptalis, AstraZeneca, Baxter, Bristol-Myers Squibb, Celgene, Cubist, Eisai, Ferring, Gilead, Janssen, Merck, Robarts, Salix, Samsung, Shire, Centocor, Elan, GlaxoSmithKline, UCB, Pfizer, and Takeda; has participated in speaker bure...

In re ent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the spe i ation of pro essor ar hite tures. In their approa h pro essors spe i ed by term rewriting systems are translated into a standard hardware des ription language for simulation purposes. In this work we present our urrent investigation on the use of Rewriting-Logi , whi h is a more powerful theore...

(2003). 33. We thank M. Vitek and H. Dawson for tau knockout mice; P. Seubert and P. Davies for antibodies; H. Solanoy, X. Wang, and Y. Zhou for technical assistance; C. McCullough for advice on statistics; D. McPherson and L. Manuntag for administrative support; and G. Howard and S. Ordway for editorial review. L.M. received consulting fees from Merck and honoraria from Amgen, Elan, and Pfizer...

The ρ-calculus integrates in a uniform and simple setting first-order rewriting, λ-calculus and nondeterministic computations. Its abstraction mechanism is based on the rewrite rule formation and its main evaluation rule is based on matching modulo a theory T . We have seen in the first part of this work the motivations, definitions and basic properties of the ρ-calculus. This second part is fi...

Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure, reliable and high quality code. However, an often quoted disadvantage of these tools is that they generate an inordinate number of warnings, including many false positives due to the use of approximate analysis techni...

BACKGROUND Profound and multiple learning disabilities (PMLD) are a complex range of disabilities that affect the general health and well-being of the individual and their capacity to interact and learn. METHOD We developed a new methodology to capture the non-symbolic signalling behaviours of children with PMLD within the context of a face-to-face interaction with a caregiver to provide anal...

This paper is an empirically based contribution on the communication of corrections in synchronized swimming. Our claim is that marking is a socially orgnanized skill that can be found in sports corrections. Conversation Analysis provides the framework to locate the pathways of communication modalities in real professional trainings. Through video-aided ethnographic work, which includes observa...