The Boolean differential calculus is used as a mathematical tool to perform a variable transformation which allows to obtain a synchronous model for any asynchronous network. This synchronous model is used to derive behavioural and structural test procedures for asynchronous networks.

The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri Nets are a good example of this dichotomy. UML is a widely accepted modelling language capable of modelling the structural and behavioural aspects of a system. However UML lacks the mathematical foundation that is req...

Deeply buried groundwater, such as brine, is an important industrial raw material with high economic value. Because brine frequently exists under higher temperature and pressure, the quantitative prediction of its seepage field is very difficult. Here we study the migration of deeply buried groundwater by using a numerical simulation based on laboratory test results. In particular, we express t...

We prove an equivalence transformation between the correlation measure functions of the causally-unbiased quantum gravity space and the causally-biased standard space. The theory of quantum gravity fuses the dynamic (nonfixed) causal structure of general relativity and the quantum uncertainty of quantum mechanics. In a quantum gravity space, the events are causally nonseparable and all time bia...

The domain of multi-robot systems incorporates research which is inspired by nature. The aim of this research is to design man-made systems which incorporate principles observed in multi-agent natural systems. The mapping of these principles to man-made systems is referred to as biomimetics (Habib et al., 2007) and the area within multi-robot systems that explores this mapping is generally refe...

The automatic generation of adjoints of mathematical models that are implemented as computer programs is receiving increased attention in the scientific and engineering communities. Reverse-mode automatic differentiation is of particular interest for large-scale optimization problems. It allows the computation of gradients at a small constant multiple of the cost for evaluating the objective fu...

We prove that any multiple-copy entanglement transformation fS. Bandyopadhyay, V. Roychowdhury, and U. Sen, Phys. Rev. A 65, 052315 s2002dg can be implemented by a suitable entanglement-assisted local transformation fD. Jonathan and M. B. Plenio, Phys. Rev. Lett. 83, 3566 s1999dg. Furthermore, we show that the combination of multiple-copy entanglement transformation and the entanglement-assiste...

A 4D polar transformation is de ned to describe the left ventricle (LV) motion and a method is presented to estimate it from sequences of 3D images. The transformation is de ned in 3D-planispheric coordinates by a small number of parameters involved in a set of simple linear equations. It is continuous and regular in time and space, periodicity in time can be imposed. The local motion can be ea...