This paper presents a formal behavioural specification framework for specifying and verifying the correct behaviour of distributed Fractal components. The first contribution is a parameterised and hierarchical behavioural model called pNets that serves as a lowlevel semantic framework for expressing the behaviour of various classes of distributed languages and as a common internal format for ou...

OBJECTIVE The objective of this study was to evaluate in an analytical and descriptive manner the evidence published so far on the use of polyethylene glycol (PEG), with or without electrolytes, in the management of functional constipation and the treatment of fecal impaction. METHODOLOGY Search on MEDLINE, EMBASE and Cochrane databases until May 2016 of all publications adjusted to the follo...

An attractive way of implementing efficient local interconnection networks is to use the Optical Transpose Interconnecting System (OTIS) architecture proposed in [8]. This system allows to optically interconnect some set of processors in a Free Space of Optical Interconnections (FSOI). Briefly, it consists of two lenslet arrays allowing a large number of optical interconnections from a set of t...

We study some approximation problems on a strict subset of the circle by analytic functions of the Hardy space H of the unit disk (in C), whose modulus satisfy a pointwise constraint on the complentary part of the circle. Existence and uniqueness results, as well as pointwise saturation of the constraint, are established. We also derive a critical point equation which gives rise to a dual formu...

This paper presents a finite volume discretization of two-phase Darcy flows in discrete fracture networks taking into account the mass exchange between the matrix and the fracture. We consider the asymptotic model for which the fractures are represented as interfaces of codimension one immersed in the matrix domain, leading to the so called hybrid dimensional Darcy flow model. The pressures at ...

3 Eric Lombaert, Thomas Guillemaud & Emeline Deleury 4 5 1 Inra, UMR 1355 ISA, 06903 Sophia-Antipolis, France 6 2 Université de Nice Sophia Antipolis, UMR ISA, 06903 Sophia-Antipolis, France 7 3 CNRS, UMR 7254 ISA, 06903 Sophia-Antipolis, France 8 9

1 MINES ParisTech, UMR CNRS 7635, BP 207, 06904 Sophia-Antipolis, France [email protected] 2 MINES ParisTech, UMR CNRS 7635, BP 207, 06904 Sophia-Antipolis, France ghina.el [email protected] 3 MINES ParisTech, UMR CNRS 7635, BP 207, 06904 Sophia-Antipolis, France [email protected] 4 MINES ParisTech, UMR CNRS 7635, BP 207, 06904 Sophia-Antipolis, France e...

Jaundice is the commonest ailments affecting the citizens of both developed and poor Asians countries including Iran. An ethnobotanical survey of plants used by the traditional healers for the treatment of jaundice was conducted in the Mashhad city, Northeastern Iran. A total of 37 plants belonging to 32 genera and 26 families have been documented for their therapeutic use against jaundice. The...

Charlotte L. Mattsson, Robert I. Csikasz, Ekaterina Chernogubova, Daniel L. Yamamoto, Helena T. Hogberg, Ez-Zoubir Amri, Dana S. Hutchinson, and Tore Bengtsson Department of Physiology, The Wenner-Gren Institute, Arrhenius Laboratories F3, Stockholm University, Stockholm, Sweden; Institute of Developmental Biology and Cancer, Université de Nice Sophia-Antipolis, Centre National de la Recherche ...