The DNA of a cell is an object which admits a simple mathematical description and a convenient representation in a computer (it is given by an easily manipulatable list, a ,nite sequence in four letters typically of length between one million and 10 billions). In contrast to this, there is no simple way of describing the cell neither statically and even less temporally (dynamically). We shall i...

In this paper we describe an approach based on open system analysis for the specification, verification and synthesis of secure systems. In particular, by using our framework, we are able to model a system with a possible intruder and verify whether the whole system is secure, i.e. whether the system satisfies a given temporal logic formula that describes its secure behavior. If necessary, we a...

Introduction: The accuracy of analyzing Functional MRI (fMRI) data is usually decreases in the presence of noise and artifact sources. A common solution in for analyzing fMRI data having high noise is to use suitable preprocessing methods with the aim of data denoising. Some effects of preprocessing methods on the parametric methods such as general linear model (GLM) have previously been evalua...

This paper presents a methodology for the veriication of temporal properties of systems based on the gradual construction and algorithmic checking of fairness diagrams. Fairness diagrams correspond to abstractions of the system and its progress properties, and have a simple graphical representation. In the proposed methodology, a proof of a temporal property consists of a chain of diagram trans...

This study assesses the role of the human medial temporal lobe (MTL) structures in the coordination of spatial information across perspective change and, in particular, in visual perspective taking--namely the capacity to know what another individual is seeing on the visual scene. Fourteen patients with unilateral temporal lobe resection and 21 control subjects performed two tasks, called 'obje...

In this paper, we study the wars fought in history and draw conclusions by analysing a curated temporal multi-graph. We explore participation of countries nature relationships between various during different timelines. This also attempts to shed light on countries’ exposure terrorist encounters.