Portail HAL du Collège de France
Not a member yet
22122 research outputs found
Sort by
Byblos and the Mediterranean in the Middle Bronze Age I as seen from the Mari archives
No full textInternational audienceByblos is less frequently mentioned in the Mari archives but messengers and objects, especially linen textiles from Byblos came to Mari. The chapter presents the available documentation.Histoire de la documentation écrite en langue akkadienne et en écriture cunéiforme de Mari (Tell Hariri, Syrie), 18e siècle av. J.-C. sur la ville portuaire de Byblos. Les contacts entre ces deux capitales ont existé, les royaumes syriens d'Alep et de Qatna ont servi généralement d'intermédiaire
The Archives of the Armenian Patriarchate in Jerusalem: resituate the history of miaphysite Christianities within the Islamicate world
No full textInternational audienceWhile each Church present in Jerusalem has been studied individually, no analysis of the interactions between the various Churches, nor with the sovereign powers, has yet been carried out. This shortcoming in a well-established field of research can partly be explained by the wide range of written languages involved. Yet the academic compartmentalization of Eastern Christian and Islamic studies may have been the major factor. The ERC project ChrIs-cross will address this issue through a Connected History approach and a re-evaluation of Hodgson’s concept of the ‘Islamicate world.’ The unpublished archives of the Christian institutions of Jerusalem, which consist exclusively of Islamic legal documents, make it possible to study the ways in which non-Muslims were integrated into the Islamic(ate) world. Among these, the archives of the Armenian Patriarchate are particularly rich in information, not only on the Armenian communities, but also on other Miaphysite communities, especially the Ethiopians and the Copts, making it possible to reconstruct the networks that linked them in the wider context of Ayyubid and Mamluk societies
Ce qu’une historienne de la philosophie a appris des études de controverses en histoire des sciences
No full textInternational audienc
Spectrally multimode squeezed states generation at telecom wavelengths
No full textInternational audienceWe report on the experimental demonstration of a source that generates spectrally multimode squeezed states of light over the infrared C-Band. This is achieved using a single-pass Spontaneous Parametric Down Conversion (SPDC) process in a periodically-poled KTP waveguide that is pumped with the second harmonic of a femtosecond laser. Our measurements show significant squeezing in more than 21 frequency modes, with a maximum squeezing value over 2.5 dB. Moreover, we demonstrate multiparty entanglement across 8 individual frequency bands by measuring the covariance matrix of their quadratures. Finally, we use reconfigurable mode-selective homodyne detection to mold the output into cluster states of various shapes. This result paves the way for the implementation of continuous variable quantum information protocols at telecommunication wavelengths, with applications in multiparty, entanglement-based quantum communication and computation
Mesoionic carbenes (MIC), a versatile type of N-heterocyclic carbens (NHC) for the stabilization of gold nanoparticles
No full textNational audienceIn the last decade, N-heterocyclic carbenes (NHC) have gain interest as highly efficient surface ligands for metal nanoparticles and surfaces. Their main advantage is likely their capability to form strong M-C bonds, which result in a high stability in harsh conditions. Actually, in several reports, NHC have been shown to perform better than thiols, the ligands classically used to stabilize gold nanoparticles.More recently, mesoionic carbenes (MICs), which are based on the 1,2,3-triazol-5-ylidene scaffold, have also been reported to stabilize gold nanoparticles.[1] Compared to classical NHC based on the 1,3-imidazol-2-ylidene scaffold (ImNHC), MICs offer an easier multifunctionalization. Indeed, their synthesis, which relies on the versatile copper-catalyzed alkyne-azide click (CuAAC) reaction followed by the quaternarization of one of the nitrogen atoms, allows one to introduce three different substituents on a single MIC core. Moreover, MICs are known to be stronger sigma-donors than ImNHC, which should provide a better anchoring to the surface atoms.MICs stabilized gold nanoparticles can be easily prepared through a simple and straightforward one-pot protocol, starting directly from triazolium salts and a separated Au(III) source. Changing the counter ion associated to the triazolium as well as the triazolium to Au(III) ratio enable to modulate the nanoparticles size from 3 to 9 nm. The presence of MICs at the surface of purified nanoparticles can be confirmed by a combination of solid-state NMR and XPS. These nanoparticles exhibit a high stability with respect to temperature and the presence of exogenous thiols. Their suspensions can also be used for catalysis
Por las ciencias sociales: 101 libros
No full textCyril Lemieux (dir.), Laurent Berger, Marielle Macé, Gildas Salmon et Cécile Vidal (coord.), Por las ciencias sociales. 101 libros, Mexico, Colegio de México, 2024. 533 p. ISBN/ISSN 978-607-564-615-2Entre la producción bibliográfica generada por las ciencias sociales, ha habido textos que han abierto nuevos campos, problemáticas y caminos al ser reconocidos por su calidad y originalidad y haber dado pie a múltiples polémicas. Pero, ¿cuáles son las obras que han destacado dentro de tan amplísimo universo? Por las ciencias sociales. 101 libros es una antología de reseñas de obras de ciencias sociales que busca separar el trigo de la paja y responder a esa interrogante.En un arco temporal que va de 1947 (año de la fundación de la VI sección de École pratique des hautes études en Francia) a 2016 (un año antes de la primera edición de esta antología, publicada en francés por la École des hautes études en sciences sociales de París), en el libro que ahora publica en castellano El Colegio de México se hallará —como afirman sus editores— un sinfín de objetos, nombres propios, convicciones y debates; se asistirá al nacimiento de nociones que se encuentran hoy en el centro de nuestra forma de entender el mundo social y de intervenir en él; se seguirán hilos de pensamiento sólidamente tejidos y se verá cómo otros se rompen, en un esbozo de este campo de conocimiento, tanto en su discontinuidad y pluralidad como en la constancia de un empeño y un proyecto. Esta obra es así una incitación para leer a los grandes autores que han construido la rica tradición de las ciencias sociales
Mise à niveau et renforcement du système de module ML
No full textML modules come as an additional layer on top of a core language to offer large-scale notions of abstraction and composition. They contributed to the success of OCaml and SML. While modules are easy to write for common cases, their advanced use may become tricky, as it is easy to run into edge cases and irregularities. Additionally, despite a long line of works, their meta-theory remains difficult to comprehend, with involved soundness proofs. In this thesis we propose a consolidation for the design of the type system of ML modules. To this aim, we developed two type systems for an OCaml-like language, including both applicative and generative functors, extended with transparent ascription signatures. The first type system is called Mω and is built on a prolific line of works that approached ML modules by translation to Fω, the higher-order polymorphic lambda calculus. Mω produces signatures in an OCaml-like syntax extended with Fω quantifiers. It treats abstraction via the introduction of quantified abstract types variables and the extrusion of the quantifiers to make them cover the right scope. We provide a reverse translation from Mω signatures to path-based source signatures along with a characterization of signature avoidance cases. The soundness of the type system is shown by elaboration in Fω. We improve over previous encodings of sealing within applicative functors, by the introduction of transparent existential types, a weaker form of existential types that can be lifted out of universal and arrow types. This shines a new light on the form of abstraction provided by applicative functors and brings their treatment much closer to those of generative functors. The second type system is called ZipML and is built on the path-based, fully-syntactic line of works. Unlike previous approaches, ZipML avoids the signature avoidance problem by introducing floating fields, which act as additional fields of a signature, invisible to the user but still accessible to the typechecker. In practice, they are handled as zippers on module signatures, and can be seen as a lightweight extension on existing signatures. Floating fields allow to delay the resolution of signature avoidance as long as possible or desired. Since they do not exist at runtime, they can be simplified along type equivalence, and dropped once they became unreachable. We give a simple criterion for the simplification of floating fields without loss of type-sharing. We present a principled strategy that implements this criterion and performs much better than OCaml. Remaining floating fields, instead of polluting the code, partially disappear at functor applications and fully disappear at signature ascription, including top-level interfaces. Residual unavoidable floating fields can be shown to the user as a last resort, either to be explicitly resolved by the user, or kept until link time. The correctness of the type system is proved by elaboration into Mω, which has itself been proved sound by translation to Fω. The language includes module type definitions that are returned in inferred types and kept as long as possible. ZipML has been designed to be a specification of an improvement over OCaml with transparent ascription, a better solution to signature avoidance, while staying close to the source language and to its implementation.Cette thèse traite de la description formelle, de la conception et de la transformation de la couche modulaire des langages fonctionnels de la famille ML, en particulier du langage OCAML. Dans cette famille de langages, la modularité est fournie par une sur-couche spécifique séparée, qui constitue en soit un petit calcul. Bien que l'emploi courant des modules soit aisé, leur utilisation avancée révèle parfois des irrégularités et des cas limites. Par ailleurs, leur méta-théorie reste complexe, en particulier pour les preuves de sureté du typage. Dans l'objectif de proposer une amélioration de cette couche modulaire, cette thèse présente deux systèmes de types pour un langage proche d'OCaml, contenant à la fois des foncteurs applicatifs et génératifs, ainsi que des signatures ascriptions transparentes. Le premier système de types, M^('), s'appuie sur une ligne prolifique de travaux qui abordaient les modules ML par traduction vers F^('), le lambda-calcul polymorphique d'ordre supérieur. M^(')produit des signatures dans une syntaxe proche de OCAML, mais qui est étendue avec des quantificateurs de F^('). L'abstraction de types est traitée par l'introduction de variables de type quantifiées. L'extension de leur portée est simulée par un mécanisme d'extrusion. Une traduction inverse des signatures de M^(')vers des signatures sources est fournie, ainsi qu'une caractérisation des cas d'évitement de signature ' un problème classique des systèmes de modules. La sureté du typage est obtenue par une élaboration bien typée des termes de modules dans F^('). L'encodage de l'ascription dans le corps des foncteurs applicatifs est grandement simplifié par l'introduisant des types existentiels transparents, une forme plus faible de types existentiels qui peuvent être extraits au travers des quantifications universelles et des types de fonctions. Cela démontre que l'abstraction au sein des foncteurs applicatifs est en réalité une forme plus restreinte de types existentiels que ce qui était précédemment estimé. Le second système de types, ZIPML, est entièrement syntaxique et maintiens les chemins dans les signatures. ZIPML utilise une approche paresseuse et préventive du renforcement de signatures. Par ailleurs, ZIPML évite le problème d'évitement de signature en introduisant des champs flottants, qui agissent comme des champs supplémentaires d'une signature, invisibles pour l'utilisateur mais toujours accessibles par le vérificateur de types. En pratique, ils sont traités comme des zippeurs sur les signatures de modules, et constituent donc une extension relativement restreinte du langage de signatures. Les champs flottants permettent de retarder l'évitement de signature aussi longtemps que possible ou souhaité. Comme ils ne sont pas présent à l'exécution, ils peuvent être simplifiés, réordonnés ou supprimés une fois devenus inaccessibles. Cependant, la simplification des champs flottants se fait sans perte de partage. Nous présentons une stratégie qui implémente ce critère. Les champs flottants restants, au lieu de polluer le code, disparaissent lors de l'ascription, en particulier entre le fichier de code et celui d'interface. S'il reste malgré tout des champs flottants, ces derniers peuvent être présentés à l'utilisateur dans un message d'erreur. La correction du système de types est prouvée par une élaboration dans M^('), qui a elle-même été prouvée correcte par traduction vers F^('). Le langage inclut des définitions de types de modules qui sont retournées dans les types inférés et conservées aussi longtemps que possible. ZIPML a été conçu comme une spécification d'une amélioration par rapport à OCAML avec une ascension transparente, une meilleure solution au problème d'évitement de signature, tout en restant proche du langage source et de son implémentation
Erratum to: Production of antihydrogen atoms by 6 keV antiprotons through a positronium cloud
No full textInternational audienceWe report on the first production of an antihydrogen beam by charge exchange of 6.1 keV antiprotons with a cloud of positronium in the GBAR experiment at CERN. The 100 keV antiproton beam delivered by the AD/ELENA facility was further decelerated with a pulsed drift tube. A 9 MeV electron beam from a linear accelerator produced a low energy positron beam. The positrons were accumulated in a set of two Penning–Malmberg traps. The positronium target cloud resulted from the conversion of the positrons extracted from the traps. The antiproton beam was steered onto this positronium cloud to produce the antiatoms. We observe an excess over background indicating antihydrogen production with a significance of 3–4 standard deviations
