Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example is the ambient calculus. Due to the complexity of the involved spatial reduction, there is — in contrast to the situation in standard process algebra — up to now no satisfying coalgebraic representation of a mobile pr...

A truly secure protocol is one which never violates its security requirements, no matter how bizarre the circumstances, provided those circumstances are within its terms of reference. Such cast-iron guarantees, as far as they are possible, require formal techniques: proof or model-checking. Informally, they are difficult or impossible to achieve. Our technique is refinement, until recently not ...

in the present paper an operator-differential equation of second order in complex domain isconsidered when the coefficients have singularity of pole type at the point z=0. a theorem of existence of thesolution of the equation is proved and the spectral property of the solution is separately investigated when thecoefficients are spectral operators.

In the article, object of research is development a technology for improving operational properties cast parts from steel 45, obtained by method electroslag remelting. Based on results, modes heat treatment shaft-gear part in an aqueous medium water-oil, to increase service life product, and energy-saving melting remelting were developed. Particular attention paid analytical implementation math...

It is showed how the Hamiltonian lattice loop representation can be cast straightforwardly in the Lagrangian formalism. The procedure is general and here we present the simplest case: pure compact QED. This connection has been shaded by the non canonical character of the algebra of the fundamental loop operators. The loops represent tubes of electric flux and can be considered the dual objects ...

The π-calculus is a process algebra where agents interact by sending communication links to each other via noiseless communication channels. Taking into account the reality of noisy channels, an extension of the π-calculus, called the πN -calculus, has been introduced recently. In this paper, we present an early transitional semantics of the πN calculus, which is not a directly translated versi...

In computer vision and, increasingly, in rendering and image processing, it is useful to lter images with continuous rotated and scaled families of l-ters. For practical implementations, one can think of using a discrete family of lters, and then to interpolate from their outputs to produce the desired ltered version of the image. We propose a multirate implementation of de-formable kernels, ca...

objective: there is no definitive data on the strength of glass fiber and cast posts with different length. this in vitro study was designed to investigate and compare the effect of length on the retentive strength of glass fiber and cast posts. materials and methods: sixty recently extracted intact maxillary canine teeth were cut 1mm above the cej. the specimens were endodontically treated and...

Materials and methods This is a preliminary randomized study lead at the CMCR des Massues in Lyon since April 2010 to January 2011 about 40 teenagers treated by Abbott cast. First group (n=17) have had 3D analysis before cast and second (n=23) group after cast. With the 3D analysis we have worked out if the thoracic band was put by classical method or was conversely put (based on plane of maxim...