*Corresponding author: Ayyaru Gopalakrishnan, Centre of Advanced Study in Marine Biology, Faculty of Marine, Sciences, Annamalai University, Parangipettai608502, Tamil Nadu, India. Tel: +91-4144-243388, +91-9443537538 Fax: +91-4144-24388 E-mail: [email protected] Foundation Project: Supported by the Ministry of Environment and Forest, Government of India, New Delhi. The project titled “Preval...

Helge Backhaus, Denis Martin, and Hans Wippel attended this year’s IEEE Conference on Local Computer Networks 2009 in Zurich. There they presented a demonstrator based on research of the 4WARD and G-Lab project, as well as the IME graduate school (Fig. 1). The demo was created together with Lars Völker, Peter Baumung, and Benjamin Behringer. Selected concepts of the demonstrator include the des...

Correspondence to: Dr Ariachery Chinnama Ammini, Department of Endocrinology, All India Institute of Medical Sciences, Ansari Nagar, New Delhi 110029, India. Fax: +91-11-2658-9162 E-mail: [email protected] Received: 18 March 2010 Revised: 1 April 2010 Accepted: 2 April 2010 Letter to the Editor Asian Journal of Andrology (2010) 12: 449–450 © 2010 AJA, SIMM & SJTU All rights reserved 1008-682X/10...

PURPOSE To systematically review and assess the use of the Ligament Advanced Reinforcement System (LARS; Surgical Implants and Devices, Arc-sur-Tille, France) for posterior cruciate ligament (PCL) reconstruction. METHODS A search of multiple databases was conducted using the following terms: (LARS[All Fields] AND posterior[All Fields]) OR (LARS[All Fields] AND PCL[All Fields]). The methodolog...

Carsten Hutter,1,2 Erik A. Tholén,2 Kai Stannigel,1,* Jack Lidmar,3 and David B. Haviland2 1Department of Physics, Stockholm University, AlbaNova University Center, SE-106 91 Stockholm, Sweden 2Nanostructure Physics, Royal Institute of Technology, SE-106 91 Stockholm, Sweden 3Theoretical Physics, Royal Institute of Technology, SE-106 91 Stockholm, Sweden (Received 27 June 2008; revised manuscri...

This development provides a formalization of directed graphs, supporting (labelled) multi-edges and infinite graphs. A polymorphic edge type allows edges to be treated as pairs of vertices, if multi-edges are not required. Formalized properties are i.a. walks (and related concepts), connectedness and subgraphs and basic properties of isomorphisms. This formalization is used to prove characteriz...