A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also obtains a symmetric set of membrane interactions. An associated structural congruence, termed the projective equivalence, is defined and shown to be preserved under all possible system evolutions. Comparable notions of pro...

This paper presents a formal approach for managing unanticipated software evolution. Labelled typed nested graphs are used to represent arbitrarily complex software artifacts, and conditional graph rewriting is used for managing evolution of these artifacts. More specifically, we detect structural and behavioural inconsistencies when merging parallel evolutions of the same software artifact. Th...

In this research, formation of nanocrystalline Ni3Al intermetallic from Ni and Al elemental powders by mechanical alloying (MA) process and its characterization was investigated. Therefore, the evolutions in microstructure such as phase transformation, oxidation in air and introduction of Fe impurity from milling media after MA were evaluated using XRD, Rietveld refinement, TEM, SEM, EDS and IC...

A major challenge facing adiabatic quantum computing is that algorithm design and error correction can be difficult for adiabatic quantum computing. Recent work has considered addressing this challenge by using coherently controlled adiabatic evolutions in the place of classically controlled evolution. An important question remains: what is the relative power of controlled adiabatic evolution t...

The information system is strongly sensitive to strategic evolutions of the enterprise: organisational change, change of objectives, modified variety, new objects and business processes, etc. With the objective to control strategic alignment of information systems, we propose an approach based on our extended enterprise meta-model ISO/DSI 19440. This extension is borrowed from the COBIT framewo...

This article gives a short presentation of random evolutions. At first, the following two examples are presented: dynamical stochastic systems and increment processes both in Markov media. After, an introduction to semi-Markov Random evolution in a Banach space is given, where the previous evolutionary systems are obtained as particular cases. Finally, two abstract limit theorems of average and...

Atomic-level understanding of the structural transformations of multimetallic nanoparticles (NPs) triggered by external stimuli is of vital importance to the enhancement of our capabilities to precisely fine-tailor the key structural parameters and thereby to fine-tune the catalytic properties of the NPs. In this work, I firstly show that Au-Cu bimetallic NPs demonstrate stoichiometry-dependent...

The description of large temporal graphs requires effective methods giving an appropriate mesoscopic partition. Many approaches exist today to detect “communities”, ie groups of nodes that are densely connected (Fortunato, 2010), in static graphs. However, many networks are intrinsically dynamical, and need a dynamic mesoscale description, as interpreting them as static networks would cause...