*Sorbonne Universités, UPMC Univ Paris 06, UMR_S 1138, Centre de Recherche des Cordeliers, F-75006, Paris, France; †INSERM, UMR_S 1138, Centre de Recherche des Cordeliers, F-75006, Paris, France; ‡Université Paris Descartes, Sorbonne Paris Cité, UMR_S 1138, Centre de Recherche des Cordeliers, F-75006, Paris, France; §Institut Curie, PSL Research University, Centre de Recherche, F-75005, Paris, ...

This paper provides an introduction to the specification language Z from a logical perspective. The possibility of presenting Z in this way is a consequence of a number of joint publications on Z logic that Henson and Reeves have co-written since 1997. We provide an informal as well as formal introduction to Z logic and show how it may be used, and extended, to investigate issues such as equati...

The article outlines in memoriam Prof. Pavel Žampa’s concepts of system theory which enable to devise a measurement in dynamic systems independently of the particular system behaviour. From the point of view of Žampa’s theory, terms like system time, system attributes, system link, system element, input, output, sub-systems, and state variables are defined. In Conclusions, Žampa’s theory is dis...

David T. Yue David Tuckchow Yue, a renowned biophysicist who dedicated his life to the study of voltage-gated calcium (CaV) channels, passed away suddenly on December 23, 2014 from cardiac arrest. David was a passionate, dedicated, and brilliant scientist who pursued fundamental mechanistic understanding of CaV channel regulation with quantitative rigor, child-like wonder, and remarkable creati...

Edsger Wybe Dijkstra, Professor Emeritus in the Department of Computer Sciences at The University of Texas at Austin, died of cancer on 6 August 2002 at his home in Nuenen, the Netherlands. Dijkstra was a towering figure whose scientific contributions permeate major domains of computer science. He was a thinker, scholar, and teacher in renaissance style: working alone or in a close-knit group o...

In this issue, the results of the Matrix and Platinum Science (MAPS) trial provide level 1 evidence that there is no beneficial effect of the polymer-modified Matrix detachable coil (Stryker, Kalamazoo, Michigan) over standard platinum coils in the recurrence rate of coiled intracranial aneurysms. Although several previous studies indicated similar results, this MAPS trial is the death blow for...

Ursula Theuretzbacher, Paul G. Ambrose, Alasdair P. MacGowan, David R. Andes, Fritz Sörgel, Hartmut Derendorf, Johan W. Mouton, George L. Drusano, Paul M. Tulkens, Michael N. Dudley, Otto Cars, Roger L. Nation Center for Anti-Infective Agents, Vienna, Austria; Institute for Clinical Pharmacodynamics, Latham, New York, USA; Bristol Centre for Antimicrobial Research and Evaluation, Department of ...

tion after completing his dissertation in 1972 at the Massachusetts Institute of Technology Artificial Intelligence Laboratory (MIT AI Lab). That dissertation created the field of constraint propagation by showing that constraints and a rich but simple descriptive system were sufficient to recover threedimensional information from a two-dimensional projection. Besides an education, Dave picked ...

http://dx.doi.org/10.1590/S1806-37132014000500001 from various Brazilian states (all of whom were dear friends of Tarantino’s) and had the striking characteristic of being thorough and profound without ever abandoning a practical discourse. Tarantino used to say that he had to be able to communicate with physicians anywhere in Brazil, even in the most remote parts of the country. His book (whic...

In the last hundred-odd years, set theory has been studied mainly as axiomatized mathematical theory. This axiomatic approach to set theory was launched by Zermelo (1908b; see also Ebbinghaus 2007). Under Hilbert‘s influence, he presented in 1908 a set of axioms for set theory. His main objective can be said to have been to remove the uncertainties from the set-theoretical foundations of mathem...