Reversibility in Massive Concurrent Systems

Reversing a (forward) computation history means undoing the history. In concurrent systems, undoing the history is not performed in a deterministic way but in a causally consistent fashion, where states that are reached during a backward computation are states that could have been reached during the computation history by just performing independent actions in a different order.Comment: Presented at MeCBIC 201

A type system for components

In modern distributed systems, dynamic reconfiguration, i.e., changing at runtime the communication pattern of a program, is chal- lenging. Generally, it is difficult to guarantee that such modifications will not disrupt ongoing computations. In a previous paper, a solution to this problem was proposed by extending the object-oriented language ABS with a component model allowing the programmer to: i) perform up- dates on objects by means of communication ports and their rebinding; and ii) precisely specify when such updates can safely occur in an object by means of critical sections. However, improper rebind operations could still occur and lead to runtime errors. The present paper introduces a type system for this component model that extends the ABS type system with the notion of ports and a precise analysis that statically enforces that no object will attempt illegal rebinding

From Electric Circuits to Chemical Networks

Electric circuits manipulate electric charge and magnetic flux via a small set of discrete components to implement useful functionality over continuous time-varying signals represented by currents and voltages. Much of the same functionality is useful to biological organisms, where it is implemented by a completely different set of discrete components (typically proteins) and signal representations (typically via concentrations). We describe how to take a linear electric circuit and systematically convert it to a chemical reaction network of the same functionality, as a dynamical system. Both the structure and the components of the electric circuit are dissolved in the process, but the resulting chemical network is intelligible. This approach provides access to a large library of well-studied devices, from analog electronics, whose chemical network realization can be compared to natural biochemical networks, or used to engineer synthetic biochemical networks

Biomarkers in emergency medicine

Researchers navigate the ocean of biomarkers searching for proper targets and optimal utilization of them. Emergency medicine builds up the front line to maximize the utility of clinically validated biomarkers and is the cutting edge field to test the applicability of promising biomarkers emerging from thorough translational researches. The role of biomarkers in clinical decision making would be of greater significance for identification, risk stratification, monitoring, and prognostication of the patients in the critical- and acute-care settings. No doubt basic research to explore novel biomarkers in relation to the pathogenesis is as important as its clinical counterpart. This special issue includes five selected research papers that cover a variety of biomarker- and disease-related topics

Observations of ultraviolet variability in RV Tauri stars

An IUE program to monitor the ultraviolet variability in RV Tauri stars was initiated. The Mg II region was investigated as a potential probe of atmospheric shocks, which are believed to be associated with the pulsational variability of this class of objects. Observations, a description of the spectra, and findings for V Vul and AC Her are presented. The Mg II emission does vary significantly during the cycle; major changes in the emission line strength occur on a time scale much less than 0.2 in phase; and as the UV (and optical) continuum flux increases, the Mg II lines decrease and increased emission may be seen at 2823, 2844, and 2900 A

Forward and Backward Bisimulations for Chemical Reaction Networks

We present two quantitative behavioral equivalences over species of a chemical reaction network (CRN) with semantics based on ordinary differential equations. Forward CRN bisimulation identifies a partition where each equivalence class represents the exact sum of the concentrations of the species belonging to that class. Backward CRN bisimulation relates species that have the identical solutions at all time points when starting from the same initial conditions. Both notions can be checked using only CRN syntactical information, i.e., by inspection of the set of reactions. We provide a unified algorithm that computes the coarsest refinement up to our bisimulations in polynomial time. Further, we give algorithms to compute quotient CRNs induced by a bisimulation. As an application, we find significant reductions in a number of models of biological processes from the literature. In two cases we allow the analysis of benchmark models which would be otherwise intractable due to their memory requirements.Comment: Extended version of the CONCUR 2015 pape

A study of the fundamental characteristics of 2175A extinction

The characteristics of interstellar extinction were studied in the region of the 2175 A feature for lines of sight which appear to exhibit unusually weak ultraviolet extinction. The analysis was based upon a parameterization of the observed extinction via fitting specific mathematical functions in order to determine the position and width of the 2175 A feature. The data are currently being analyzed