We investigate a suggested path to self-organized criticality. Originally, this path was devised to "generate criticality" in systems displaying an absorbing-state phase transition, but nothing in its definition forbids the mechanism to be used in any other continuous phase transition. We used the Ising model as well as the Manna model to demonstrate how the finite-size scaling exponents depend...

In this Rapid Communication, results on smectic layer thickness, using synchrotron radiation x-ray diffraction, for different mixtures of ferroelectric and antiferroelectric liquid crystals are given. We find that with an increased ferroelectric component in the mixtures, the layer shrinkage at the de Vries SmA∗-SmC∗ transition increases. This observation can be used to explain our previously o...

We consider the problem of getting a computer to follow reasoning conducted in dynamic logic. This is a recently developed logic of programs that subsumes most existing f irstorder logics of programs that manipulate their environment, including Floyd's and Hoare's logics of partial correctness and Manna and Waldinger's logic of total correctness. Dynamic logic is more closely related to classic...

Our research investigates frameworks supporting the formalization of programming calculi and their application to deduction-based program synthesis. Here we report on a case study: within a conservative extension of higher-order logic implemented in the Isabelle system, we derived rules for program development which can simulate those of the deductive tableau proposed by Manna and Waldinger. We...

[1] Apt, K. R.: Logic Programming, Handbook of Theoretical Computer Science (J. van Leeuwen, ed.), Elsevier Science Publishers B.V., 1990. [2] Chang, C.-L. and Lee, R. C.-T.: Symbolic Logic and Mechanical Theorem Proving, Academic Press Inc., 1973. [3] Kowalski, R.: Logic for Problem Solving, North Holland, 1979. [4] Lloyd, J. W.: Foundations of Logic Programming, 2nd Edition, Springer Verlag, ...

The Role of Mathematical Modeling and Genetic Engineering for the Microalgae Based Technology Alessandro Concas*, Cristina Costelli, Veronica Malavasi, Massimiliano Orsini, Roberto Cusano, Andrea Angius, Massimo Pisu, Giacomo Cao a Center for Advanced Studies, Research and Development in Sardinia (CRS4), Loc. Piscina Manna, Building 1, 09010 Pula (CA), Italy b Interdepartmental Center of Enviro...

I describe a systematic method for deductive verification of safety properties of concurrent programs. The method has much in common with the “verification diagrams” of Manna and Pnueli [17], but derives from different intuitions. It is based on the idea of strengthening a putative safety property into a disjunction of “configurations” that can easily be proved to be inductive. Transitions amon...