Fourmis d'Espagne et autres espèces paléarctiques (Hymenopt.)

Les fourmis qui font le principal objet de cette étude ont été récoltées en Espagne et en Portugal par M. Dusmet, de 1919 à 1922, étude que d'autres occupations m'ont empêché d'entreprendre plus tôt. J' y ai ajouté la description d'autres fourmis paléarctiques qui me paraissent nouvelles. Sauf indications spéciales, toutes les espèces citées ici sont donc dues à M. Dusmet à qui j'adresse ici mes meilleurs remerciernents 1, ainsi qu'à mes autres correspondants dont les envois m'ont permis le présent travail.Peer reviewe

Mapping Late Hokusai Research: Digitizing and Publishing Bilingual Research Data

The initiative “Late Hokusai: Thought, Technique, Society” took place at the British Museum (BM) and SOAS, University of London (2016–2019). As part of its activities, it built a linked-data platform prototype on ResearchSpace. The prototype offers a redesigned process for how museum researchers and users find, research with, discuss and expand bilingual data about early modern Japanese artist Katsushika Hokusai (1760–1849) and instigated a discussion about what a collaborative research platform for the Hokusai research community could look like. While Japanese resource specialists have long recognized the complexity of Japanese script as a challenge for multilingual research and collection platforms, the processes for and results of integrating Japanese source data into bi- or multilingual museum databases remained unsatisfactory. This paper revisits the challenges posed by “non-Latin script” (NLS) in museum databases in the case of the Hokusai research platform at the British Museum, which integrated Japanese and English languages. It localizes the issues arising from working with Japanese source data in the Latin script project environment and accompanies the museum researchers’ tasks regarding the correct input, rendering and display of the source script at each step: 1) object analysis, 2) registering NLS metadata, 3) processing NLS information and 4) visualizing LS and NLS information for general and specialist audiences. After assessing these practices, the paper critically reflects on selected approaches, successes, and shortcomings experienced while creating such a prototype. By sharing its experiences, the project hopes to aid prospective research projects on a similar path regarding project setup and documentation. Furthermore, it advocates the sustainability of research practices according to data reusability parameters. L’initiative « Late Hokusai : Thought Technique and Society » (Hokusai tardif : Pensées techniques et société) a eu lieu au British Museum (BM) et SOAS, l’Université de Londres (2016-2019). Dans le cadre des activités, cette initiative a produit une plateforme prototype de Web des données sur ResearchSpace. Le prototype offre un processus redessiné aidant les chercheurs de musée et les usagers à trouver, à faire de la recherche, à discuter et à étoffer les données bilingues concernant l’artiste Katsushika Hokusai (1760-1849), du début de l’ère moderne japonaise. Cela a déclenché une discussion sur l’apparence possible d’une plateforme de recherche collaborative dédiée à la communauté de recherche sur Hokusai. Tandis que les spécialistes de ressources japonaises reconnaissent depuis longtemps la complexité de l’écriture japonaise comme un défi pour la recherche multilingue et pour les plateformes de collection, les processus et les résultats de l’intégration des données sources japonaises dans des bases de données de musées bi- ou plurilingues demeurent insatisfaisants. Cet article réexamine les défis liés à des « écritures non-latines » (NLS, non-Latin script) dans des bases de données de musée dans le cas de la plateforme de recherche sur Hokusai au British Museum, ce qui a intégré les langues japonaise et anglaise. L’article localise les questions qui se posent durant le travail avec les données sources japonaises dans un environnement de projet en écriture latine et accompagne les tâches des chercheurs de musée concernant l’entrée correcte, le rendu et l’affichage de l’écriture source à chaque étape : 1) les analyses d’objet, 2) les enregistrements de métadonnées NLS, 3) le traitement de l’information NLS et 4) la visualisation de l’information LS (écriture latine, Latin script) et NLS pour des audiences générales et spécialistes. Cet article présentera une évaluation de ces pratiques et, ensuite, considérera de façon critique les approches sélectionnées, les succès et les défauts rencontrés pendant la création d’un tel prototype. En partageant ces expériences, ce projet vise à aider des projets de recherche prospectifs qui se trouvent dans un cas similaire, considérant la configuration de projets et la documentation. En outre, ce projet promeut la viabilité de pratiques de recherche conformément à des paramètres de réutilisation de données

Interpolation in Linear Logic and Related Systems

We prove that there are continuum-many axiomatic extensions of the full Lambek calculus with exchange that have the deductive interpolation property. Further, we extend this result to both classical and intuitionistic linear logic as well as their multiplicative-additive fragments. None of the logics we exhibit have the Craig interpolation property, but we show that they all enjoy a guarded form of Craig interpolation. We also exhibit continuum-many axiomatic extensions of each of these logics without the deductive interpolation property

Interpolation and the Exchange Rule

It was proved by Maksimova in 1977 that exactly eight varieties of Heyting algebras have the amalgamation property, and hence exactly eight axiomatic extensions of intuitionistic propositional logic have the deductive interpolation property. The prevalence of the deductive interpolation property for axiomatic extensions of substructural logics and the amalgamation property for varieties of pointed residuated lattices, their equivalent algebraic semantics, is far less well understood, however. Taking as our starting point a formulation of intuitionistic propositional logic as the full Lambek calculus with exchange, weakening, and contraction, we investigate the role of the exchange rule--algebraically, the commutativity law--in determining the scope of these properties. First, we show that there are continuum-many varieties of idempotent semilinear residuated lattices that have the amalgamation property and contain non-commutative members, and hence continuum-many axiomatic extensions of the corresponding logic that have the deductive interpolation property in which exchange is not derivable. We then show that, in contrast, exactly sixty varieties of commutative idempotent semilinear residuated lattices have the amalgamation property, and hence exactly sixty axiomatic extensions of the corresponding logic with exchange have the deductive interpolation property. From this latter result, it follows also that there are exactly sixty varieties of commutative idempotent semilinear residuated lattices whose first-order theories have a model completion

A Brownian-pumping model for oceanic trace metal scavenging: Evidence from Th isotopes

Two observed characteristics of Th isotope and stable metal sorption in natural aquatic systems are seemingly at odds with physico-chemical adsorption theory: (1) characteristic sorption times of days to weeks and (2) Kds which are inversely related in magnitude to particle concentrations. In addition, sorption rate constants are positiveiy correlated with particle concentrations and Kd. This paper presents a conceptual and mathematical model with which it is proposed that these metal sorption characteristics have the same underlying physical process in common: the coagulation of colloidal (nonfilterable) particles onto larger (filterable) particles. “Brownian pumping” (the transfer of truly dissolved metal species to filterable particles through a colloidal intermediate) consists of two rate steps: (1) rapid formation of metal/colloid surface site complexes (adsorption) and (2) slow coagulation of colloids with filterable particles. The Brownian-pumping model is tested against field and laboratory data. The field data, obtained from the literature, covers different regions of the oceans: deep ocean environments, euphotic zone, coastal and estuarine systems. The laboratory data involved 228Th sorption in suspensions of goethite and polystyrene latexes. Although the model has general applicability, results and discussions herein emphasize thorium isotope behavior. The Brownian-pumping model suggests that Th or other strongly sorbing elements may be useful as in situ “coagulometers” either at relatively high (e.g., greater than 5–10 mg/l) particle concentrations or when the mass ratio of colloids (C*p) to filterable particles (Cp) is known. The model also indicates that the ratio of colloids to filterable particles in marine systems, may be, by a first approximation, described by the relationship log C*p = 0.7 log Cp – 2.6 (in units of kg/l)