1 Lab-STICC, Institut Telecom, Telecom Bretagne, UMR CNRS 3192 Lab-STICC, Technopôle Brest-Iroise, CS 83818 29238 Brest Cedex 3, France 2TELECOM Bretagne institution, Université européenne de Bretagne (UEB), France 3Orange Labs, 38-40 rue du generale-Leclerc, 92792 Issy Moulineaux Cedex 9, France 4Communication Systems Department, Institut National des Postes et Télécommunications (INPT), Madin...

We are investigating the molecular mechanisms involved in the localization of lysosomal enzymes in Dictyostelium discoideum, an organism that lacks any detectable mannose-6-phosphate receptors. The lysosomal enzymes alpha-mannosidase and beta-glucosidase are both initially synthesized as precursor polypeptides that are proteolytically processed to mature forms and deposited in lysosomes. Time c...

Intracellular transport of secretory proteins has been studied in the parotid to examine this process in an exocrine gland other than the pancreas and to explore a possible source of less degraded membranes than obtainable from the latter gland . Rabbit parotids were chosen on the basis of size (2-2 .5 g per animal), ease of surgical removal, and amylase concentration . Sites of synthesis, rate...

Software engineering environments have a history of about two decades. Early environments provided support for small fragments of the software process (usually focusing on programming-in-the small). Then there was a trend towards support for more complete software processes (from early phases like requirements analysis and design down to testing and configuration management). Ten years ago the ...

We present diagrammatic techniques for relational reasoning in formal methods like B or Z; in particular induction and coinduction techniques. Our diagrams are endowed with a simple algebraic semantics that imposes a convenient balance between expressive and algorithmic power. This makes the approach particularly suitable for mechanization and automation. Its usefulness for visual reasoning is ...