Given a term rewriting system R and a normalizable term t, a redex is needed if in any reduction sequence of t to a normal form, this redex will be contracted. Roughly, R is sequential if there is an optimal reduction strategy in which only needed redexes are contracted. More generally, G. Huet and J.-J. L evy deene in 9] the sequentiality of a predicate P on partially evaluated terms. We show ...

S. Kramer-Schadt ([email protected]), N. Fernández, D. Eisinger, V. Grimm, and H.-H. Thulke, UFZ, Helmholtz Centre for Environmental Research − UFZ, Dept of Ecological Modelling (OESA), Permoser Str. 15, DE−04318 Leipzig, Germany. SKS also at: Dept of Biology, Univ. of Bergen, Thormøhlensgate 55, NO−5008 Bergen, Norway. NF also at: Dept of Applied Biology, Estación Biológica de...

B12 Deficiency, Zouë Lloyd-Wright, 1 Anne-Mette Hvas, Jan Møller, Tom A.B. Sanders, and Ebba Nexø ( Nutrition Food & Health Research Centre, King’s College London, Franklin-Wilkins Bldg., 150 Stamford St., Waterloo, London SE1 9NN, United Kingdom; 2 Department of Clinical Biochemistry, AKH, Aarhus University Hospital, DK8000 Aarhus C, Denmark; 3 Department of Clinical Biochemistry, SKS, Aarhus ...

In this territory-wide molecular epidemiology study of picornaviruses, involving 6765 dead wild birds from 201 species in 50 families over a 12 month period, three novel picornaviruses, turdiviruses 1, 2 and 3 (TV1, TV2 and TV3), were identified from birds of different genera in the family Turdidae. In contrast to many other viruses in birds of the family Turdidae or viruses of the family Picor...

Fuel cells have become one of the major areas of research in the academia and the industry. The goal of most fish farmers is to maximize production and profits while holding labor and management efforts to the minimum. Risk of fish kills, disease outbreaks, poor water quality in most pond culture operations, aeration offers the most immediate and practical solution to water quality problems enc...

A robust speed control technique for permanent-magnet synchronous motor (PMSM) drives is proposed in this paper for electric vehicle applications. The robust controller consists of a neural-network controller (NNC) in the speed feed-back loop in addition to an on-line trained neural-network model-following controller (NNMFC) in the feedforward loop. The adaptive neural-network model-following c...

Instance-based methods of classification are easy to implement, easy to explain and relatively robust. Furthermore, they have often been found in empirical studies to be competitive in accuracy with more sophisticated classification techniques (Aha et al., 1991; Weiss & Kulikowski, 1991; Fogarty, 1992; Michie et al., 1994). However, a twofold drawback of the simplest instance-based classificati...

BACKGROUND Clinical observation of increased laxity has been noted in native Canadians. Comparative studies support the possible relationship between joint hypermobility and the development of osteoarthritis or other joint ailments. If joint laxity predisposes to osteoarthritis, there may be far-reaching consequences to the general Native population. METHODS A cohort of 52 Native Canadians (N...