Les esprits de la nature existent dans toutes les cultures, depuis les temps les plus reculés. Ils font partie le plus souvent d’un monde invisible, sacré dans certaines traditions, qu’il s’agisse du retour des morts dans l’œuvre de Jung, du souffle des éléments dans les conceptions alchimiques, du monde de la nature dans les cultures chamaniques, ...
En s’appuyant sur le savoir apporté par les sciences empiriques on aura une idée de la réalité, mais que dire de son fondement ? C’est le rôle de l’ontologie que de proposer quelques idées à ce sujet. Notre ontologie débouche sur une conception pluraliste selon deux arguments. Le premier vient de la différenciation épistémologique des sciences et l...
Two analyses are detailed in this thesis related to neutrino and multi-messenger astronomy with Cherenkov telescopes in the Mediterranean Sea. The first analysis explores the capabilities of the KM3NeT neutrino telescopes to detect the signal from a Galactic core-collapse supernova (CCSN), as well as the physical constraints that could be extracted...
Definitional equality, a.k.a conversion,for a type theory with a decidable type checking is the simplest tool to prove that two objects are the same, letting the system decide just using computation. Therefore, the more things are equal by conversion, the simpler it is to use a language based on type theory. Proof-irrelevance, stating that any two ...
Les supernovas de type Ia (SNIa) sont des objets transitoires, observables pour une durée de quelques mois et dont la luminosité à son maximum équivaut à celle d'une galaxie entière. Une fois standardisées (c'est à dire corrigées de leurs principales variabilités), elles représentent, un excellent indicateur de distance et ont permis de mettre en é...
Cet article analyse le besoin de l’homme d’ordonner le sonore. L’auteur questionne la notion de l’harmonie en musique telle qu’elle a été développée en Grèce antique par Pythagore, Platon, Aristote et Aristoxène, mais aussi en musique occidentale, musique contemporaine et musiques actuelles par Zarlino, Rameau et des chercheurs contemporains comme ...
Where is the Universe ? (Où est l'Univers ?)
Ce travail a consisté à développer un modèle de canopée (CIM), qui pourrait servir d interface entre des modèles méso-échelles de calcul du climat urbain et des modèles micro-échelles de besoin énergétique du bâtiment. Le développement est présenté en conditions atmosphériques variées, avec et sans obstacles, en s appuyant sur les théories précédem...
