Convex Hull of Arithmetic Automata

Arithmetic automata recognize infinite words of digits denoting decompositions of real and integer vectors. These automata are known expressive and efficient enough to represent the whole set of solutions of complex linear constraints combining both integral and real variables. In this paper, the closed convex hull of arithmetic automata is proved rational polyhedral. Moreover an algorithm computing the linear constraints defining these convex set is provided. Such an algorithm is useful for effectively extracting geometrical properties of the whole set of solutions of complex constraints symbolically represented by arithmetic automata

Évaluation de lignées de sorgho (Sorghum bicolor) pour leur résistance à la mauvaise herbe parasite Striga hermonthica au Burkina Faso

Des essais en pots et au champ ont été réalisés au Burkina Faso en 1987 pour évaluer la résistance de lignées de sorgho (Sorghum bicolor) vis-à-vis la mauvaise herbe parasite Striga hermonthica. Dans l'expérience en pots, les lignées de cycle court ICSV-1079 BF et ICSV-1078 BF ont présenté un nombre et une biomasse de S. hermonthica inférieurs à ceux du témoin sensible. Cette réaction n'a pas été confirmée dans l'expérience au champ. Aucune lignée ne s'est avérée résistante. Parmi les lignées de cycle moyen, aucune lignée ne s'est démarquée du témoin sensible dans l'expérience en pots. Dans l'expérience au champ, la lignée ICSV-1089 BF a présenté une faible sensibilité au S. hermonthica. Cependant, cette lignée a obtenu de faibles rendements. Aucune des lignées testées ne semble pouvoir être recommandée pour la lutte envers le S. hermonthica dans le sorgho au Sahel. Le cultivar Framida ne saurait être utilisé comme source de résistance au S. hermonthica. Il est urgent d'identifier de nouvelles sources de résistance afin de répondre aux besoins des programmes d'amélioration du sorgho.Pot and field experiments were performed in Burkina Faso in 1987 in order to evaluate sorghum (Sorghum bicolor) lines for their resistance to the parasitic weed Striga hermonthica. In pot experiments, low duration lines ICSV-1079 BF and ICSV-1078 BF presented a lower number and biomass of S. hermonthica than the susceptible check. This reaction was notconfirmed in field experiments. No line was resistant. Among medium duration lines, no line was significantly different from the susceptible check in pot experiments. ICSV-1089 BF exhibited a low susceptibility to S. hermonthica attack in field experiments. However, its yield was low. No line could be recommended in the perspective of controlling S. hermonthica sorghum in Sahelian countries. The cultivar Framida is not an appropriate source of resistance to S. hermonthica. Other sources of resistance are urgently required to satisfy the needs of sorghum breeding programs

Optomechanical Cavity Cooling of an Atomic Ensemble

We demonstrate cavity sideband cooling of a single collective motional mode of an atomic ensemble down to a mean phonon occupation number of 2.0(-0.3/+0.9). Both this minimum occupation number and the observed cooling rate are in good agreement with an optomechanical model. The cooling rate constant is proportional to the total photon scattering rate by the ensemble, demonstrating the cooperative character of the light-emission-induced cooling process. We deduce fundamental limits to cavity-cooling either the collective mode or, sympathetically, the single-atom degrees of freedom.Comment: Paper with supplemental material: 4+6 pages, 4 figures. Minor revisions of text. Supplemental material shortened by removal of supplementary figur

Pregnancy has a minimal impact on the acute transcriptional signature to vaccination.

Vaccination in pregnancy is an effective tool to protect both the mother and infant; vaccines against influenza, pertussis and tetanus are currently recommended. A number of vaccines with a specific indication for use in pregnancy are in development, with the specific aim of providing passive humoral immunity to the newborn child against pathogens responsible for morbidity and mortality in young infants. However, the current understanding about the immune response to vaccination in pregnancy is incomplete. We analysed the effect of pregnancy on early transcriptional responses to vaccination. This type of systems vaccinology approach identifies genes and pathways that are altered in response to vaccination and can be used to understand both the acute inflammation in response to the vaccine and to predict immunogenicity. Pregnant women and mice were immunised with Boostrix-IPV, a multivalent vaccine, which contains three pertussis antigens. Blood was collected from women before and after vaccination and RNA extracted for analysis by microarray. While there were baseline differences between pregnant and non-pregnant women, vaccination induced characteristic patterns of gene expression, with upregulation in interferon response and innate immunity gene modules, independent of pregnancy. We saw similar patterns of responses in both women and mice, supporting the use of mice for preclinical screening of novel maternal vaccines. Using a systems vaccinology approach in pregnancy demonstrated that pregnancy does not affect the initial response to vaccination and that studies in non-pregnant women can provide information about vaccine immunogenicity and potentially safety

Renormalization : A number theoretical model

We analyse the Dirichlet convolution ring of arithmetic number theoretic functions. It turns out to fail to be a Hopf algebra on the diagonal, due to the lack of complete multiplicativity of the product and coproduct. A related Hopf algebra can be established, which however overcounts the diagonal. We argue that the mechanism of renormalization in quantum field theory is modelled after the same principle. Singularities hence arise as a (now continuously indexed) overcounting on the diagonals. Renormalization is given by the map from the auxiliary Hopf algebra to the weaker multiplicative structure, called Hopf gebra, rescaling the diagonals.Comment: 15 pages, extended version of talks delivered at SLC55 Bertinoro,Sep 2005, and the Bob Delbourgo QFT Fest in Hobart, Dec 200

Vision-based grasping of unknown objects to improve disabled people autonomy.

International audienceThis paper presents our contribution to vision based robotic assistance for people with disabilities. The rehabilitative robotic arms currently available on the market are directly controlled by adaptive devices, which lead to increasing strain on the user's disability. To reduce the need for user's actions, we propose here several vision-based solutions to automatize the grasping of unknown objects. Neither appearance data bases nor object models are considered. All the needed information is computed on line. This paper focuses on the positioning of the camera and the gripper approach. For each of those two steps, two alternative solutions are provided. All the methods have been tested and validated on robotics cells. Some have already been integrated into our mobile robot SAM

Mountain trail formation and the active walker model

We extend the active walker model to address the formation of paths on gradients, which have been observed to have a zigzag form. Our extension includes a new rule which prohibits direct descent or ascent on steep inclines, simulating aversion to falling. Further augmentation of the model stops walkers from changing direction very rapidly as that would likely lead to a fall. The extended model predicts paths with qualitatively similar forms to the observed trails, but only if the terms suppressing sudden direction changes are included. The need to include terms into the model that stop rapid direction change when simulating mountain trails indicates that a similar rule should also be included in the standard active walker model.Comment: Introduction improved. Analysis of discretization errors added. Calculations from alternative scheme include