Analyzing metabolic pathways by means of their steady states has proven to be accurate and efficient for practical purposes. The models such as elementary flux modes (EFMs) and ex...
A method of registering images at subpixel accuracy has been proposed, which does not resort to interpolation. The method is based on the phase correlation method and is remarkabl...
Hassan Shekarforoush, Marc Berthod, Josiane Zerubi...
A new method for computation of timing jitter in a PLL is proposed. The computational method is based on the representation of the circuit as a linear time-varying system with mod...
Mark M. Gourary, Sergey G. Rusakov, Sergey L. Ulya...
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
Facial variation divides into a number of functional subspaces. An improved method of measuring these was designed, within the space defined by an Appearance Model. Initial estima...
Nicholas Costen, Timothy F. Cootes, Gareth J. Edwa...