Localisation des sources RFI à l'aide de corrections de champ proche : une étude pour la cosmologie 21 cm à l'époque de la réionisation

2025-02-27

Des chercheurs ont mis au point une nouvelle méthode pour localiser les sources d'interférence radiofréquence (RFI), en particulier celles provenant d'objets de champ proche comme les avions, à l'aide de corrections de champ proche. Cette méthode combine le phasage en champ lointain, les corrections de champ proche et la formation de faisceaux pour déterminer précisément l'emplacement 3D des émetteurs RFI en maximisant la cohérence des signaux courbes de champ proche. Cette méthode est plus efficace que la méthode traditionnelle de marquage, préservant ainsi davantage de données utilisables et augmentant les chances de détecter le signal 21 cm à l'époque de la réionisation. Les résultats montrent une estimation efficace de l'altitude des émetteurs RFI, révélant des différences de performances dans diverses conditions d'observation, jetant ainsi les bases d'une suppression plus précise des RFI à l'avenir.

Lire plus

Correction de la preuve de Bird du crible d'Ératosthène : une preuve sur les listes infinies

2025-02-08

Cet article corrige une preuve erronée de Richard Bird dans son livre *Thinking Functionally with Haskell* concernant le crible d'Ératosthène. Bird présente une implémentation circulaire basée sur des listes, mais son indice de preuve est erroné. Les auteurs fournissent une preuve de correction complète en introduisant de nouveaux lemmes et en faisant appel à un affaiblissement du postulat de Bertrand. La connexion entre cet algorithme et la vision de David Turner de la « programmation fonctionnelle totale » est également explorée.

Lire plus

Déconstruire les arbres de Fenwick avec la programmation fonctionnelle

2025-01-25

Cet article explore en profondeur l'implémentation des arbres de Fenwick (aussi connus sous le nom d'arbres indexés binaires). En commençant par l'arbre de segments, plus facile à comprendre, l'auteur utilise la programmation fonctionnelle et le raisonnement équationnel pour dériver l'implémentation des arbres de Fenwick, révélant la logique derrière leurs opérations bit à bit apparemment mystérieuses. En utilisant habilement un Haskell EDSL pour opérer sur des nombres binaires en complément à deux infinis, l'article explique finalement le secret de l'implémentation efficace des arbres de Fenwick et prouve la complexité temporelle logarithmique de ses opérations de mise à jour et de requête de plage.

Lire plus

Réduction de l'espérance de vie de 6 à 9 ans pour les adultes atteints de TDAH au Royaume-Uni

2025-01-24

Une étude de cohorte appariée utilisant des données de soins primaires du Royaume-Uni révèle un déficit important de l'espérance de vie pour les adultes diagnostiqués avec un TDAH. En analysant les données de plus de 9,5 millions d'individus dans 792 cabinets médicaux généraux entre 2000 et 2019, les chercheurs ont constaté une réduction de 6,78 ans pour les hommes et de 8,64 ans pour les femmes par rapport à la population générale. Cette espérance de vie plus courte est probablement due à des facteurs de risque modifiables et à des besoins de soutien non satisfaits pour le TDAH et les affections concomitantes de santé mentale et physique. Les résultats soulignent un besoin critique non satisfait d'un meilleur soutien et d'un meilleur traitement pour les adultes atteints de TDAH.

Lire plus

Cavalerie Spectrale : Sacrifice de chevaux du début de l’âge du fer découvert en Sibérie du Sud

2025-01-15
Cavalerie Spectrale : Sacrifice de chevaux du début de l’âge du fer découvert en Sibérie du Sud

Des fouilles dans la tombe de Tunnug 1, en Touva, Sibérie du Sud, datant de la fin du IXe siècle avant J.-C., ont révélé les restes d’au moins 18 chevaux et d’un humain, disposés d’une manière qui rappelle les « cavaliers spectraux » sacrificiels décrits par Hérodote dans les rituels funéraires scithes du Ve siècle avant J.-C. La découverte d’équipement hippomobile relie davantage la découverte aux premières cultures équestres de Mongolie. La datation au radiocarbone confirme l’âge de la tombe, situant ces rituais aux débuts de la période scythe. Cela remet en question les précédentes compréhensions des origines scithes et souligne les premiers échanges culturels dans la steppe eurasienne.

Lire plus

Massacre de l'âge du bronze ancien découvert à Somerset, Royaume-Uni

2024-12-18
Massacre de l'âge du bronze ancien découvert à Somerset, Royaume-Uni

Des fouilles à Charterhouse Warren, dans le Somerset, au Royaume-Uni, ont révélé un massacre choquant de l'âge du bronze ancien. Au moins 37 hommes, femmes et enfants ont été brutalement tués et démembrés, leurs restes disloqués jetés dans un puits naturel de 15 mètres de profondeur. Des marques de coupure et des traumatismes contondants sur les os indiquent un acte délibéré de violence extrême, possiblement incluant le cannibalisme. Cette découverte offre un aperçu unique de la violence préhistorique en Grande-Bretagne, remettant en question les compréhensions antérieures de la stabilité sociale pendant cette période et incitant à de nouvelles recherches sur les motivations et le contexte social de l'événement.

Lire plus