HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

It is well known that the confluence property of ground term rewrite systems (ground TRSs) is decidable in polynomial time. For an efficient implementation, the degree of this polynomial is of great interest. The best complexity bound in the literature is given by Comon, Godoy and Nieuwenhuis (2001), who describe an O(n5) algorithm, where n is the size of the ground TRS. In this paper we improv...

A method is described for the simultaneous treatment of 42 (or more) stocks of Paramecium, and their adaptation to growth in axenic culture. Samples of dense cultures of these ciliates growing with Enterobacter aerogenes are rendered bacteria-free by migration through 2 sets of tubes containing Adaptation Medium (Peters' salts solution, stigmaterol, vitamins, and autoclaved E. aerogenes). The 2...

A new cicadellid tribe, Tungurahualini, is recognized to include Tungurahuala Kramer, and a related new genus, Ilyapagen. n., based on six new species. The tribe is included in subfamily Mileewinae, the concept of which is further expanded to include tribes Makilingiini Baker, and Tinteromini Godoy and Webb, taxa previously treated as separate subfamilies. Keys to tribes of Mileewinae (sensu la...

Ignacio Cifre, Mahdi Zarepour, Silvina G Horovitz, Sergio Cannas , and Dante R Chialvo 1 Facultat de Psicologia, Ciències de l’educació i de l’Esport, Blanquerna, Universitat Ramon Llull, Barcelona, Spain 2 Center for Complex Systems & Brain Sciences (CEMSC), Universidad Nacional de San Mart́ın, 25 de Mayo 1169, San Mart́ın, (1650), Buenos Aires, Argentina. 3 National Institute of Neurological Di...

Liver toxicity remains one of the main reasons for drug failure in clinical trials. Improving preclinical toxicity testing is a major prerequisite for improving the drug de-risking process. Early compound de-risking decisions require in vitro data with the highest possible biological relevance. Three dimensional (3D) microtissues, or spheroids, are one of the most well characterized models for ...

Medical Center and Lymphoedema Therapist, Private Physical Therapy Clinic, Hadera, Israel; Tamar Jacob is Head of Physical Therapy Department, Ariel University Center of Samaria, Ariel, Israel Breast cancer-related lymphoedema (BCRL) of the arm is a common sequel to breast cancer treatment (Williams, 2005). The diagnosis of lymphoedema can be devastating to patients as it has far-reaching conse...

The purpose of this study was to evaluate clinically and radiographically pulpotomies in human primary teeth treated with glutaraldehyde (GA) incorporated into the ZOE subbase without prior 5-min cotton pellet application. Thirty-five cariously exposed primary molars of 35 children 4 to 9 years old were pulpotomized and based with ZOE into which 2% unbuffered GA had been incorporated. Clinical ...