Calculating invariants as coreflexive bisimulations

Invariants, bisimulations and assertions are the main ingredients of coalgebra theory applied to software systems. In this paper we reduce the first to a particular case of the second and show how both together pave the way to a theory of coalgebras which regards invariant predicates as types. An outcome of such a theory is a calculus of invariants’ proof obligation discharge, a fragment of which is presented in the paper. The approach has two main ingredients: one is that of adopting relations as “first class citizens” in a pointfree reasoning style; the other lies on a synergy found between a relational construct, Reynolds’ relation on functions involved in the abstraction theorem on parametric polymorphism and the coalgebraic account of bisimulations and invariants. This leads to an elegant proof of the equivalence between two different definitions of bisimulation found in coalgebra literature (due to B. Jacobs and Aczel & Mendler, respectively) and to their instantiation to the classical Park-Milner definition popular in process algebra.Partially supported by the Fundacao para a Ciencia e a Tecnologia, Portugal, under grant number SFRH/BD/27482/2006

Simulation of the thermally induced austenitic phase transition in NiTi nanoparticles

The reverse martensitic ("austenitic") transformation upon heating of equiatomic nickel-titanium nanoparticles with diameters between 4 and 17 nm is analyzed by means of molecular-dynamics simulations with a semi-empirical model potential. After constructing an appropriate order parameter to distinguish locally between the monoclinic B19' at low and the cubic B2 structure at high temperatures, the process of the phase transition is visualized. This shows a heterogeneous nucleation of austenite at the surface of the particles, which propagates to the interior by plane sliding, explaining a difference in austenite start and end temperatures. Their absolute values and dependence on particle diameter are obtained and related to calculations of the surface induced size dependence of the difference in free energy between austenite and martensite.Comment: 6 pages, 4 figures, accepted for publication in "The European Physical Journal B

Using membrane computing for obtaining homology groups of binary 2D digital images

Membrane Computing is a new paradigm inspired from cellular communication. Until now, P systems have been used in research areas like modeling chemical process, several ecosystems, etc. In this paper, we apply P systems to Computational Topology within the context of the Digital Image. We work with a variant of P systems called tissue-like P systems to calculate in a general maximally parallel manner the homology groups of 2D images. In fact, homology computation for binary pixel-based 2D digital images can be reduced to connected component labeling of white and black regions. Finally, we use a software called Tissue Simulator to show with some examples how these systems wor

Perspectives in visual imaging for marine biology and ecology: from acquisition to understanding

Durden J, Schoening T, Althaus F, et al. Perspectives in Visual Imaging for Marine Biology and Ecology: From Acquisition to Understanding. In: Hughes RN, Hughes DJ, Smith IP, Dale AC, eds. Oceanography and Marine Biology: An Annual Review. 54. Boca Raton: CRC Press; 2016: 1-72

Who Cares about Environmental Stigmas and Does It Matter? A Latent Segmentation Analysis of Stated Preferences for Real Estate

This article uses latent segmentation analysis to estimate the benefits of contaminant cleanup in Waukegan Harbor, Illinois. Survey responses to attitudinal and perception questions provide significant information about the existence of distinct preference groups. By comparison, the predictive usefulness of demographic covariates is unclear. The expected aggregate willingness-to-pay of Waukegan homeowners for full cleanup is approximately equivalent to a 20% increase in the market value of homes. The aggregate estimate is little affected by the identification of preference clusters. Copyright 2007, Oxford University Press.