Institut de l'Information Scientifique et Technique
Portail HAL-LARA (Libre accès aux rapports scientifiques et techniques)Not a member yet
78443 research outputs found
Sort by
Salinity impact on the life history traits of the West African bloody cockle (Senilia senilis) in the Sine Saloum inverse estuary (Senegal): A bioenergetic modelling approach
No full textForêt domaniale de Cerisy (Manche, Calvados). Prospections archéologiques d'après données LiDAR
No full textCe rapport présente les résultats des prospections archéologiques menées dans la forêt domaniale de Cerisy (Manche, Calvados)
Qualité de l'air intérieur et produits de consommation: Revue de littérature : Emissions associées à l'utilisation des produits de consommation
No full textLa qualité de l'air intérieur est un enjeu de santé publique. Les efforts des dernières années ont permis d'améliorer les conditions de ventilation des logements et de réduire les émissions polluantes par les matériaux de construction. Néanmoins, les produits de consommation et les activités des occupants restent une source majeure de composés organiques volatils (COV) à l'intérieur des bâtiments. Ils contribuent à environ 40% des émissions en milieu résidentiel. Pourtant, peu de réglementations encadrent la composition et la mise sur le marché de ces produits vis-à-vis de leurs impacts sur la qualité de l'air intérieur, et les consommateurs sont peu informés des risques sanitaires associés.Ce document bibliographique examine l'état des connaissances actuelles concernant les émissions des produits de consommation sur la qualité de l'air intérieur. Si les émissions de ces produits sont fortement en lien avec leur composition, elles le sont aussi avec les conditions d'usage des produits (mode d'utilisation, dosage et conditions environnementales des espaces clos). Des données semi-quantitatives obtenues selon des protocoles hétérogènes sont disponibles pour une grande variété de produits. Elles permettent de mettre en évidence les déterminants des émissions en lien avec la composition des produits et leur usage. Cependant les données d'émission obtenues en conditions contrôlées à échelle 1:1 sont peu rapportées dans la littérature. Elles permettraient pourtant une évaluation des risques sanitaires représentative des usages, et une meilleure information du consommateurs
Chasing Ghosts II: accessing allocated storage
No full textAccepted for integration into the next standard for the C programming languageThe recent campaign for slaying daemons has revealed that in fact some of the undefined behavior (UB) in the current C standard doesn’t even exist. The present paper deals with ghost-UB that would be the result of accessing the bytes of uninitialized allocations
« L’assurance des catastrophes naturelles et les dommages liés à la sècheresse/réhydratation des sols : la question de la « cause déterminante » (C. assur., art. L. 125-1) »: 1. Cause déterminante et causalité adéquate - 2. La cause déterminante à la lumière de la jurisprudence
No full textLes contrats d’assurance garantissant les dommages d’incendie outous autres dommages à des biens situés en France ouvrent droità garantie contre les effets des catastrophes naturelles sur lesbiens (articles L. 125-1 et suivants du Code des assurances). Cettegarantie a pour objet les dommages matériels directs non assurablesayant pour cause déterminante l’intensité anormale d’un agentnaturel. La présente étude vise à préciser les contours de la notionde cause déterminante, notion posée à l’article L. 125-1 du Codedes assurances mais non définie par le législateur
Rapport technique: Analyse comparative de cinq enregistreurs passifs d'ultrasons dans le cadre de la détection de chiroptères
No full textIndustrial wind turbines for electricity production can cause a significative number of bat mortality. This phenomena has been widely studied around the world (Hein & Schirmacher, 2016 ; Marx, 2017 ; Rydell et al., 2010 ; Zimmerling & Francis, 2016). A very widespread measure to reduce this mortality is to study the local activity of bats to develop predictive models of this activity depending on environmental variables, most often temporal (seasons, hours during the night…) and meteorologic (wind speed, outside temperature…). When environmental conditions are favorable to bat activity, wind turbines are preventively shut down. Today, the analysis of bat activity is mainly based on electronic and computer devices for automatic ultrasound detection, recording and identification in real time or a posteriori (Barataud, 2015). Thus, the strength of a predictive model is first based on the quality of the activity data, and therefore on the detection, recording and identification performances of the devices. However, as T. Disca (Biotope Foundation, 2023) points out, very little comparative research has been conducted on the performance of marketed devices. Considering the importance of this subject for both bat conservation and the economic impact on wind farm operators (study costs, loss of production), we wanted to reproduce the comparative analysis conducted by T. Disca in 2023. To do this, we used the same equipment, the same settings and we reproduced its test protocol, while also incorporating more recent equipment that was not tested by Disca (2023), the Smart System from Wildlife Acoustics. Our results are very close to those obtained by Disca (2023) and show that the performance differs significantly between the tested devices. However, these disparities do not seem to affect the conclusions of the predictive models. Indeed, all predictive models indicate that a curtailment when the temperature is between 9°C and 16°C would cover 90% of bat activity, which is measured in number of bat recordings. These 90% of bat activity can also be covered by the humidity level (90% of bat recordings between 55% and 85% humidity). These conclusions must be qualified by the fact that bat activity was measured in March, with an overrepresentation of Miniopterus schreiberi (60% of the bat recordings). A similar limit was already present in Disca’s study with an overrepresentation of Nyctalus leisleri. Although technological devices for the acoustic detection of bats have become essential for the study of these species, it is surprising that the comparative study of the performance of these devices has attracted so little interest. This contrasts with, for example, the current measures being taken to standardize the evaluation of the performance of detection devices for the diurnal birds. This, ultimately, raises questions about the effectiveness of preventive curtailment measures and the homogeneity of the constraints imposed on wind farms. It seems essential that chiropterological studies using automatic detection systematically specify the equipment and the settings used. Otherwise, the relevance of predictive models, can be questioned.Le fonctionnement des éoliennes industrielles de production électrique peut occasionner une mortalité significative de chiroptères. Ce phénomène est aujourd’hui largement documenté à travers le monde (Hein & Schirmacher, 2016 ; Marx, 2017 ; Rydell et al., 2010 ; Zimmerling & Francis, 2016). Une mesure très répandue de réduction de ces mortalités consiste à étudier localement l’activité des chiroptères afin d’élaborer des modèles prédictifs de cette activité en fonction de variables environnementales, le plus souvent temporelles (saison, heures de la nuit…) et météorologiques (vitesse du vent, température extérieure…). Lorsque les conditions environnementales sont favorables à l’activité des chiroptères, les éoliennes sont alors mises préventivement à l’arrêt. L’analyse de l’activité des chiroptères s’appuie aujourd’hui très majoritairement sur des dispositifs électroniques et informatiques de détection automatique des ultra-sons, d’enregistrement et parfois d’identification des espèces, en temps réel ou a posteriori (Barataud, 2015). La robustesse d’un modèle prédictif repose donc en premier lieu sur la qualité des données d’activité et dès lors sur les performances des dispositifs de détection, d’enregistrement et d’identification. Pour autant, comme l’indique T. Disca (Fondation Biotope, 2023), très peu de travaux comparatifs de la performance des dispositifs commercialisés ont été mis en œuvre. Considérant l’importance de ce sujet, tant pour la protection efficace des chiroptères qu’au regard des impacts économiques pour les exploitants éoliens (coût des études, perte de productible), nous avons souhaité reproduire l’analyse comparative menée par T. Disca en 2023. Pour ce faire, nous avons repris les mêmes équipements, avons utilisé les mêmes paramétrages et avons répliqué son protocole de test, en y ajoutant un équipement plus récent et non testé par Disca (2023), le Smart System de Wildlife Acoustics.Nos résultats sont très proches de ceux obtenus par Disca (2023) et montrent des écarts de performance significatifs entre les différents systèmes testés. Toutefois, les disparités entre les dispositifs ne semblent pas affecter les conclusions des modèles prédictifs. En effet, quels que soient les dispositifs utilisés, tous les modèles prédictifs ont indiqué qu’un bridage éolien à des températures situées entre 9°C et 16°C permettrait de couvrir 90% de l’activité des chiroptères, activité mesurée en nombre de fichiers de détection. Ces 90% d’activité peuvent aussi être couverts en utilisant le taux d’humidité relative (90% des contacts entre 55% et 85% d’humidité). Ces conclusions ne peuvent cependant être généralisées du fait des conditions de notre étude : sur le mois de mars uniquement et avec une surreprésentation de Miniopterus schreiberi (60% des contacts). Une limite similaire existait cependant déjà dans l’étude de Disca, avec une surreprésentation de Nyctalus leisleri. Si les dispositifs technologiques de détection acoustique des chauves-souris sont devenus incontournables pour l’étude de ces espèces, il apparaît cependant surprenant que l’étude comparative des performances de ces dispositifs ait suscité aussi peu d’intérêt. Cela contraste avec, par exemple, les démarches actuellement engagées pour normaliser l’évaluation de la performance des dispositifs de détection des oiseaux diurnes. In fine, cela interroge sur l’efficience des mesures de bridage préventif et sur l’homogénéité des contraintes d’exploitation imposées aux parcs éoliens. A tout le moins, il semble indispensable que les études chiroptérologiques mobilisant ces moyens de détection automatique précisent systématiquement les matériels utilisés et les paramétrages retenus. Dans le cas contraire, la pertinence des modèles prédictifs peut être questionnée
Derivation of the Jacobi identity for continuum thermodynamics: application to thermo-visco-elastodynamics
No full textThe Double Bracket Structure is a variational bracket framework. This research report presents various details of calculus that have been required to derive the results of a main paper, submitted to a peer-reviewed journal. First, the structure is derived for a uni-dimensional small strain generalized standard material, with a general quadratic dissipation potential. Second, it is developed for the example of large strain thermo-visco-elastodynamics, within the multisymplectic framework.</div
Towards better identification of fact tables in statistical spreadsheets
No full textTo strengthen public trust and counter disinformation, {\em computational fact-checking} leveraging digital statistical sources attracts increasing interest. This work addresses a critical bottleneck in automated fact-checking pipelines: {\em identifying and structurally parsing fact tables in heterogeneous statistical spreadsheets}. We propose a grid-based two-stage detection and classification approach, trained on a mix of real and synthetic datasets, and supported by efficient post-processing and table compression techniques. Our method incorporates a set of practical optimizations designed to handle large, irregular spreadsheet layouts while preserving structural accuracy. The results demonstrate robust table detection on challenging datasets and highlight remaining challenges in header recognition. The detection stage is ready for deployment as a complement to heuristic-based systems such as StatChec
