A Generic Library for Floating-Point Numbers and Its Application to Exact Computing

International audienceIn this paper we present a general library to reason about floating-point numbers within the Coq system. Most of the results of the library are proved for an arbitrary floating-point format and an arbitrary base. A special emphasis has been put on proving properties for exact computing, i.e. computing without rounding errors

The sea is your mirror

International audienceThe Sea Is Your Mirror is an artistic interactive experience where surface cerebral electromagnetic waves from a participant wearing an EEG sensor headset are depicted in real-time as ocean waves in an animated 3D environment. The aim of this article is to describe the sea wave model used for the sea state animation and how it is connected to the brain computer interface (BCI). The sea state is animated by the groupy choppy wave model that provides nonlinear sea states with wave groups and asymmetric wave shapes. The BCI maps the temporal spectrum of the electroencephalogram onto the elevation spectrum of the sea surface. The resulting setup enables the participant to fly over a dynamic sea state: a metaphor for conscious and unconscious neurofeedback

Spatial Presence in Real and Remote Immersive Environments

International audienceThis paper presents an experiment assessing the feeling of spatial presence in both real and remote environments (respectively the so-called "natural presence" and "telepresence"). Twenty-eight (28) participants performed a 3D-pointing task while being located in a real office and the same office remotely rendered over HMD. The spatial presence was evaluated by means of the ITC-SOPI questionnaire and users' behaviour analysis (trajectories of head during the task). The analysis also included the effect of different levels of immersion of the system-visual-only versus visual and audio-rendering in such environments. The results show a higher sense of spatial presence for the remote condition, regardless of the degree of immersion, and for the "visual and audio" condition regardless of the environment. Additionally, trajectory analysis of users' heads reveals that participants behaved similarly in both environments

A Generic Library for Floating-Point Numbers and Its Application to Exact Computing

International audienceIn this paper we present a general library to reason about floating-point numbers within the Coq system. Most of the results of the library are proved for an arbitrary floating-point format and an arbitrary base. A special emphasis has been put on proving properties for exact computing, i.e. computing without rounding errors

Les caractères des fruits consommés par les grands oiseaux frugivores syntopiques en forêt guyanaise française

Characteristics of the plants on which the four largest arboreal and terrestrial forest frugivorous bird species of French Guiana (Tinamus major, Tinamidae; Psophia crepitans, Psophiidae; Crax alector and Penelope marail, Cracidae) base their diet were compared. The characteristics of 102 plant species and their fruits were compared in order to determine whether some syndromes were associated with particular bird species. Multifactorial analyses were conducted using either number of plant species or quantity of fruits of each plant species ingested by each bird species. Sets of fruit character-states are associated with particular bird species such that distinct traits are linked to seed-predation or seed-dispersal. A possible separation between arboreal and terrestrial consumption is also indicated. These associations between avian frugivores and fruit and fruiting plants’ traits are discussed in terms of their dispersal value to plant species and the likelihood of attracting seed-dispersers as opposed to defending seeds against predators. The interactions between fruiting plants and consumers are considered mutualistic (benefi t both the plant and the bird) in the case of Penelope and Psophia, but are predator-prey interactions in that of Crax and Tinamus, although Crax may be a disperser for some plants whose small seeds pass unaltered through its digestive tract. The study highlights once more the need for more community-wide approaches to plant-animal interactionsLes caractères des fruits consommés par les grands oiseaux frugivores syntopiques en forêt guyanaise française. - Les caractéristiques des plantes sur lesquelles les quatre grandes espèces frugivores aviennes de Guyane française (Tinamus major, Tinamidae; Psophia crepitans, Psophiidae; Crax alector et Penelope marail, Cracidae) basent leur régime alimentaire ont été analysées. Les caractéristiques de 102 espèces végétales et de leurs fruits ont été comparées afin de détecter d'éventuels syndromes propres à chaque espèce avienne. Des analyses multifactorielles ont été conduites tant à partir du nombre d'espèces végétales que de la quantité de fruits de chaque espèce végétale consommée par chaque espèce avienne. Certains caractères des fruits sont associés à une espèce d'oiseau particulière et plus particulièrement selon qu'il s'agit d'un disséminateur ou d'un destructeur des graines. Une possible distinction transparaît entre les consommateurs selon qu'ils sont arboricoles ou terrestres. Ces associations entre frugivores et traits des fruits et des plantes qui les produisent sont discutées en termes de valeur pour la dissémination des plantes et de probabilité d'attraction de disperseurs par opposition à la défense contre les prédateurs de graines. Les interactions entre les plantes et les consommateurs relèvent du mutualisme (bénéfices tant pour la plante que pour l'oiseau) dans le cas de Penelope et de Psophia mais pas dans celui de Crax et de Tinamus, bien que Crax puisse disséminer certaines plantes dont les graines, très petites, transitent sans altération dans son tube digestif. Cette étude souligne une fois encore le besoin d'études plus larges à l'échelle des peuplements des interaction plantes-animaux

Interaction des effets du comportement de signalisation, de la lumière ambiante et de la couleur du plumage chez un oiseau tempéré, la Mésange bleue Parus caeruleus

Individuals can increase their conspicuousness to conspecifics while minimizing their probability of detection by predators by choosing the time and location of their display. Conspicuousness arises from the contrast between the light reflected by the colour patches, and the light reflected by the visual background in ambient light used for displays. Conspicuousness also depends on the discrimination abilities of both conspecifics and predators. We investigated whether different light environments are present in temperate woodlands, and whether male Blue Tits use this variability to optimize intraspecific conspicuousness while reducing the probability of detection by predators. We measured refl ectance of plumage and visual backgrounds, irradiance of available light environments during the breeding period. We used measures of photoreceptor sensitivity of the Blue Tit Parus caeruleus and of a bird approaching that of its main predator the European sparrowhawk Accipiter nisus. We found different light environments in space and time (during the day and throughout the year) that birds could exploit and select for sexual signalling. The blue crown colour appears to be more conspicuous in early/late light environments but during the day it appears to be least conspicuous in woodland shade for both conspecifics and predators. Male Blue Tits, by displaying more intensively at dawn during the breeding period, would optimize intraspecifi c communication without minimizing detectability by predators. Inversely, by choosing to sing mainly in woodland shade during the day, male Blue Tits reduce the probability of visual detection by predators but also their visibility to conspecificsLes individus peuvent maximiser leur visibilité par rapport aux congénères tout en minimisant leur probabilité d'être détectés par leurs prédateurs en choisissant le moment et le lieu de leur comportement de signalisation. La visibilité d'un patron de couleur d'un individu est déterminée d'une part par le contraste entre la lumière reflétée par les différents signaux colorés du patron et la lumière reflétée par le fond visuel dans la lumière ambiante où est effectué le comportement de signalisation. Elle est déterminée d'autre part par la capacité de détection de ce contraste par les systèmes visuels des congénères et des prédateurs. Nous avons étudié tout d'abord si différents environnements lumineux peuvent se distinguer dans une forêt tempérée d'un parc urbain, et ensuite si les mâles de Mésange bleue utilisent cette variabilité pour optimiser leur visibilité intraspécifique tout en réduisant la probabilité de détection par les prédateurs. Nous avons mesuré la réflectance des différentes régions du plumage et des fonds visuels, l'irradiance des environnements lumineux disponibles pendant la période de reproduction, et nous avons utilisé les mesures de la sensibilité des photorécepteurs de la Mésange bleue Parus caeruleus et ceux d'un oiseau ayant un système visuel similaire à celui de son principal prédateur l'Epervier d'Europe Accipiter nisus. Nous avons trouvé des environnements lumineux différents dans le temps et dans l'espace (au cours d'une journée et au long de l'année) que les oiseaux pourraient exploiter et sélectionner pour la signalisation sexuelle. Nous avons trouvé que la couleur de la calotte paraît être plus visible dans l'environnement lumineux aube/crépuscule pour les congénères et prédateurs. Par ailleurs, cette couleur apparaît moins visible dans l'ombre de bois pendant le jour pour les congénères comme pour les prédateurs. Les mâles de Mésange bleue, en se signalant plus intensivement à l'aube durant la période de reproduction, optimiseraient la communication intraspécifique sans minimiser leur détectabilité par leurs prédateurs. Au contraire, en choisissant de chanter principalement dans l'ombre de la végétation au cours de la journée, les mâles de Mésange bleue réduisent la probabilité d'une détection visuelle par leurs prédateurs mais aussi leur visibilité aux congénères

Thrombolysis with tissue plasminogen activator in acute myocardial infarction: no additional benefit from immediate percutaneous coronary angioplasty

A randomised trial of 367 patients with acute myocardial infarction was performed to determine whether an invasive strategy combining thrombolysis with recombinant tissue-type plasminogen activator (rTPA), heparin, and acetylsalicylic acid, and immediate percutaneous transluminal coronary angioplasty (PTCA) would be superior to a noninvasive strategy with the same medical treatment but without immediate angiography and PTCA. Intravenous infusion of 100 mg rTPA was started within 5 h after onset of symptoms (median 156 min). Angiography was performed 6-165 min later in 180 out of 183 patients allocated to the invasive strategy; 184 patients were allocated to the non-invasive strategy. Immediate PTCA reduced the percentage stenosis of the infarc

Ecologie et comportement des oiseaux Pipridae en Guyane: leks, frugivorie et dissemination des graines

INIST T 77468 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Hypolytrum goetghebeurii (Cyperaceae), a curious new species from miombo woodlands in the Democratic Republic of the Congo

Background – The genus Hypolytrum is studied during the preparation of the Cyperaceae treatment in Flore d’Afrique centrale. It is kept separate from Mapania and its African members have been divided amongst three sections.Methods – Herbarium material from BR and BRLU has been studied. A preliminary IUCN Red List assessment is performed according to the IUCN Guidelines and Criteria. Results – The new species Hypolytrum goetghebeurii is described from miombo woodlands in the Democratic Republic of the Congo. It differs from other African species in the genus by forming thick tussocks, having narrow, rigid leaves and spicoids with three male flowers subtended by their floral bracts and a female flower with three stigmas. It occurs in seasonally dry areas with a regular fire regime and seems to be the only African species of that genus occupying such a dry habitat. It is named after the Cyperaceae specialist Prof. em. Dr. Paul Goetghebeur. Following the IUCN Red List criteria, the species is assessed as Vulnerable

Evolution des signaux colorés chez les Oiseaux (étude spectrométrique à l'échelle intra et interspécifique)

PARIS-BIUSJ-Thèses (751052125) / SudocBRUNOY-Bib. d'ecologie generale (911145101) / SudocPARIS-BIUSJ-Physique recherche (751052113) / SudocPARIS-Museum-Bib zoologie mam. (751052312) / SudocPARIS-Museum Hist.Naturelle (751052304) / SudocSudocFranceF