Counting and effective rigidity in algebra and geometry

The purpose of this article is to produce effective versions of some rigidity results in algebra and geometry. On the geometric side, we focus on the spectrum of primitive geodesic lengths (resp., complex lengths) for arithmetic hyperbolic 2-manifolds (resp., 3-manifolds). By work of Reid, this spectrum determines the commensurability class of the 2-manifold (resp., 3-manifold). We establish effective versions of these rigidity results by ensuring that, for two incommensurable arithmetic manifolds of bounded volume, the length sets (resp., the complex length sets) must disagree for a length that can be explicitly bounded as a function of volume. We also prove an effective version of a similar rigidity result established by the second author with Reid on a surface analog of the length spectrum for hyperbolic 3-manifolds. These effective results have corresponding algebraic analogs involving maximal subfields and quaternion subalgebras of quaternion algebras. To prove these effective rigidity results, we establish results on the asymptotic behavior of certain algebraic and geometric counting functions which are of independent interest.Comment: v.2, 39 pages. To appear in Invent. Mat

My Hand or Yours? Markedly Different Sensitivity to Egocentric and Allocentric Views in the Hand Laterality Task

In the hand laterality task participants judge the handedness of visually presented stimuli – images of hands shown in a variety of postures and views - and indicate whether they perceive a right or left hand. The task engages kinaesthetic and sensorimotor processes and is considered a standard example of motor imagery. However, in this study we find that while motor imagery holds across egocentric views of the stimuli (where the hands are likely to be one's own), it does not appear to hold across allocentric views (where the hands are likely to be another person's). First, we find that psychophysical sensitivity, d', is clearly demarcated between egocentric and allocentric views, being high for the former and low for the latter. Secondly, using mixed effects methods to analyse the chronometric data, we find high positive correlation between response times across egocentric views, suggesting a common use of motor imagery across these views. Correlations are, however, considerably lower between egocentric and allocentric views, suggesting a switch from motor imagery across these perspectives. We relate these findings to research showing that the extrastriate body area discriminates egocentric (‘self’) and allocentric (‘other’) views of the human body and of body parts, including hands

Towards a verified compiler prototype for the synchronous language SIGNAL

International audienceSIGNAL belongs to the synchronous languages family which are widely used in the design of safety-critical real-time systems such as avionics, space systems, and nuclear power plants. This paper reports a compiler prototype for SIGNAL. Compared with the existing SIGNAL compiler, we propose a new intermediate representation (named S-CGA, a variant of clocked guarded actions), to integrate more synchronous programs into our compiler prototype in the future. The front-end of the compiler, i.e., the translation from SIGNAL to S-CGA, is presented. As well, the proof of semantics preservation is mechanized in the theorem prover Coq. Moreover, we present the back-end of the compiler, including sequential code generation and multithreaded code generation with time-predictable properties. With the rising importance of multi-core processors in safety-critical embedded systems or cyber-physical systems (CPS), there is a growing need for model-driven generation of multithreaded code and thus mapping on multi-core. We propose a time-predictable multi-core architecture model in architecture analysis and design language (AADL), and map the multi-threaded code to this model

Bioavailability of iodine in the UK-Peak District environment and its human bioaccessibility: an assessment of the causes of historical goitre in this area

Iodine is an essential micronutrient for human health. Its deficiency causes a number of functional and developmental abnormalities such as goitre. The limestone region of Derbyshire, UK was goitre-endemic until it declined from the 1930s and the reason for this has escaped a conclusive explanation. The present study investigates the cause(s) of goitre in the UK-Peak District area through an assessment of iodine in terms of its environmental mobility, bioavailability, uptake into the food chain and human bioaccessibility. The goitre-endemic limestone area is compared with the background millstone grit area of the UK-Peak District. The findings of this study show that ‘total’ environmental iodine is not linked to goitre in the limestone area, but the governing factors include iodine mobility, bioavailability and bioaccessibility. Compared with the millstone grit area, higher soil pH and calcium content of the limestone area restrict iodine mobility in this area, also soil organic carbon in the limestone area is influential in binding the iodine to the soil. Higher calcium content in the limestone area is an important factor in terms of strongly fixing the iodine to the soil. Higher iodine bioaccessibility in the millstone grit than the limestone area suggests that its oral bioaccessibility is restricted in the limestone area. Iodine taken up by plant roots is transported freely into the aerial plant parts in the millstone grit area unlike the limestone area, thus providing higher iodine into the human food chain in the millstone grit area through grazing animals unlike the goitre-prevalent limestone area

A new automated method for the determination of the Total Antioxidant Capacity (TAC) of human plasma, based on the crocin bleaching assay

BACKGROUND: Antioxidant molecules, which scavenge free radical species to prevent or delay oxidative damage of important macromolecules, membrane lipids and lipoproteins, are prevalent in plasma and other biological fluids. Among them, bilirubin, uric acid and protein thiols are the major endogenous antioxidants, while vitamins C and E, as well as a number of food-derived (poly)aromatic substances, belonging to stilbens, flavonoids and phenolic acids, are the main classes of nutritional antioxidants. Assays for total antioxidant capacity in plasma differ in their type of oxidation source, target and measurement used to detect the oxidized product. METHODS: In the present work we present an automated assay for the estimation of blood total antioxidant capacity (TAC assay), based on the crocin bleaching (oxidation) method. This method was adapted on a modern autoanalyzer, was linear over a wide range of values (0–3 mmol/L), and performed using an end point measurement. RESULTS: The TAC method presented a linear correlation with another automated commercial Total Antioxidant Status (TAS) test. Detection of the interference of different metabolites revealed a significant participation of TAC from uric acid, bilirubin, albumin, a minor interference from ascorbic acid, and no interference from hemoglobin. TAC was not modified by two freeze/thawing cycles, and was stable in samples stored at room temperature for 4 hours. K-EDTA and heparin were the best anticoagulants, while citrate decreased TAC by 20%. Reference values derived from samples of normal blood donors was 1.175 ± 0.007 mmol/L (mean ± SEM), while a diet rich in antioxidants more than doubled this value. CONCLUSIONS: The proposed TAC assay, is fully automated, stable and reliable, and could be of value in the estimation of the AC of plasma. It is further proposed to calculate the antioxidant capacity of plasma after a subtraction of all interference deriving from endogenous and/or exogenous metabolites. The antioxidant capacity of plasma thus calculated can be used as a useful indicator of the antioxidant value of foods and beverages in the daily diet

Prioritizing micronutrients for the purpose of reviewing their requirements: a protocol developed by EURRECA

Background: The EURRECA (EURopean micronutrient RECommendations Aligned) Network of Excellence (http://www.eurreca.org) is working towards the development of aligned recommendations. A protocol was required to assign resources to those micronutrients for which recommendations are most in need of alignment. Methods: Three important 'a priori' criteria were the basis for ranking micronutrients: (A) the amount of new scientific evidence, particularly from randomized controlled trials; (B) the public health relevance of micronutrients; (C) variations in current micronutrient recommendations. A total of 28 micronutrients were included in the protocol, which was initially undertaken centrally by one person for each of the different population groups defined in EURRECA: infants, children and adolescents, adults, elderly, pregnant and lactating women, and low income and immigrant populations. The results were then reviewed and refined by EURRECA's population group experts. The rankings of the different population groups were combined to give an overall average ranking of micronutrients. Results: The 10 highest ranked micronutrients were vitamin D, iron, folate, vitamin B12, zinc, calcium, vitamin C, selenium, iodine and copper. Conclusions: Micronutrient recommendations should be regularly updated to reflect new scientific nutrition and public health evidence. The strategy of priority setting described in this paper will be a helpful procedure for policy makers and scientific advisory bodies. European Journal of Clinical Nutrition (2010) 64, S19-530; doi:10.1038/ejcn.2010.5

The Pseudomonas aeruginosa Chemotaxis Methyltransferase CheR1 Impacts on Bacterial Surface Sampling

The characterization of factors contributing to the formation and development of surface-associated bacterial communities known as biofilms has become an area of intense interest since biofilms have a major impact on human health, the environment and industry. Various studies have demonstrated that motility, including swimming, swarming and twitching, seems to play an important role in the surface colonization and establishment of structured biofilms. Thereby, the impact of chemotaxis on biofilm formation has been less intensively studied. Pseudomonas aeruginosa has a very complex chemosensory system with two Che systems implicated in flagella-mediated motility. In this study, we demonstrate that the chemotaxis protein CheR1 is a methyltransferase that binds S-adenosylmethionine and transfers a methyl group from this methyl donor to the chemoreceptor PctA, an activity which can be stimulated by the attractant serine but not by glutamine. We furthermore demonstrate that CheR1 does not only play a role in flagella-mediated chemotaxis but that its activity is essential for the formation and maintenance of bacterial biofilm structures. We propose a model in which motility and chemotaxis impact on initial attachment processes, dispersion and reattachment and increase the efficiency and frequency of surface sampling in P. aeruginosa

The c.429_452 duplication of the ARX gene: a unique developmental-model of limb kinetic apraxia:

BACKGROUND: The c.429_452dup24 of the ARX gene is a rare genetic anomaly, leading to X-Linked Intellectual Disability without brain malformation. While in certain cases c.429_452dup24 has been associated with specific clinical patterns such as Partington syndrome, the consequence of this mutation has been also often classified as "non-specific Intellectual Disability". The present work aims at a more precise description of the clinical features linked to the c.429_452dup24 mutation. METHODS: We clinically reviewed all affected patients identified in France over a five-year period, i.e. 27 patients from 12 different families. Detailed cognitive, behavioural, and motor evaluation, as well as standardized videotaped assessments of oro-lingual and gestural praxis, were performed. In a sub-group of 13 ARX patients, kinematic and MRI studies were further accomplished to better characterize the motor impairment prevalent in the ARX patients group. To ensure that data were specific to the ARX gene mutation and did not result from low-cognitive functioning per se, a group of 27 age- and IQ-matched Down syndrome patients served as control. RESULTS: Neuropsychological and motor assessment indicated that the c.429_452dup24 mutation constitutes a recognizable clinical syndrome: ARX patients exhibiting Intellectual Disability, without primary motor impairment, but with a very specific upper limb distal motor apraxia associated with a pathognomonic hand-grip. Patients affected with the so-called Partington syndrome, which involves major hand dystonia and orolingual apraxia, exhibit the most severe symptoms of the disorder. The particular "reach and grip" impairment which was observed in all ARX patients, but not in Down syndrome patients, was further characterized by the kinematic data: (i) loss of preference for the index finger when gripping an object, (ii) major impairment of fourth finger deftness, and (iii) a lack of pronation movements. This lack of distal movement coordination exhibited by ARX patients is associated with the loss of independent digital dexterity and is similar to the distortion of individual finger movements and posture observed in Limb Kinetic Apraxia. CONCLUSION: These findings suggest that the ARX c.429_452dup24 mutation may be a developmental model for Limb Kinetic Apraxia