Laboratory Preuves, Programmes et Systèmes

Santé cognitive chez les personnes âgées : approches validées pour prévenir le déclin et préserver l’autonomie

Ambre Laplaud, Elsa Morier, Arnaud Boujut, Zékya Ulmer et autres

fr (code pays fourni par la source)

Traitement des teignes : chronique d’une pénurie annoncée

S. Mallet, D. Lannoy, B. Guillot, A. Maruani et autres

fr (code pays fourni par la source)

Prise en charge des scabioses chez l’enfant de moins de 15 kg, la femme enceinte ou allaitante : recommandations du Centre de preuve de dermatologie et de la Société française de dermatologie pédiatrique

Aurélie Morand, A. Weill, O. Chosidow, B. Guillot et autres

fr, us (code pays fourni par la source)

Recommandations sur le traitement de la gale chez l’enfant de moins de 15 kg, la femme enceinte ou allaitante

Aurélie Morand, A. Weill, J. Miquel, O. Chosidow et autres

fr, re, us, Burkina Faso (code pays fourni par la source)

Functorial Models of Differential Linear Logic

Differentiation in logic has several sources of inspiration. The most recent is differentiable programming, models of which demand functoriality and good typing properties. More historical is reverse denotational semantics, taking inspiration from models of Linear Logic to differentiate proofs and λ-terms. In …

fr (code pays fourni par la source)

Establishing correlations between time series of wastewater parameters under extreme and regular weather conditions

Ming Cheng, Margherita Evangelisti, Sacha Gobeyn, Francesco Avolio et autres

This study investigates the correlations between key wastewater parameters – water level, turbidity, andelectrical conductivity – under varying weather conditions, including extreme rainfall events such as theMay 2023 flood event in Bologna, Italy. Data collected via IoT-based sensors are analyzed using DetrendedCross-Correlation …

it, fr (code pays fourni par la source)

Establishing correlations between time series of wastewater parameters under extreme and regular weather conditions

Ming Cheng, Margherita Evangelisti, Sacha Gobeyn, Francesco Avolio et autres

This study investigates the correlations between key wastewater parameters – water level, turbidity, andelectrical conductivity – under varying weather conditions, including extreme rainfall events such as theMay 2023 flood event in Bologna, Italy. Data collected via IoT-based sensors are analyzed using DetrendedCross-Correlation …

it, fr (code pays fourni par la source)

Nathalie Heinich, La Valeur des personnes. Preuves et épreuves de la grandeur

Véronique Pillet-Anderlini

La question des valeurs dans une approche descriptive, compréhensive et neutre a déjà été abordée dans un précédent ouvrage de Nathalie Heinich (Des valeurs. Une approche sociologique, Paris, Gallimard, 2017 ; voir aussi « Dix propositions sur les valeurs », Questions de …

fr (code pays fourni par la source)

Mean-field neural networks: Learning mappings on Wasserstein space

Huyên Pham, Xavier Warin

fr (code pays fourni par la source)

A Simple Proof That Super-Consistency Implies Cut Elimination

Gilles Dowek, Olivier Hermant

We give a simple and direct proof that super-consistency implies the cut elimination property in deduction modulo. This proof can be seen as a simplification of the proof that super-consistency implies proof normalization. It also takes ideas from the semantic proofs of …

fr (code pays fourni par la source)

Autorités Traditionnelles et Pouvoir Politique au Cameroun : Captation Politico-Juridique et Mobilisation des Ressources d´Adaptation et de Maintien

Jean Njoya

Ce texte scrute la dynamique des chefferies traditionnelles au Cameroun en rapport avec le pouvoir politique. Il y est démontré qu’au contact de la colonisation, les chefferies traditionnelles ont subi des sérieuses attritions dans leurs agencements territoriales et dans leurs attributions. L’avènement …

us, Cameroun, fr, tr (code pays fourni par la source)

Rigidification of cubical quasi-categories

Pierre-Louis Curien, Muriel Livernet, Gabriel Saadia

We construct a cubical analogue of the rigidification functor from quasi-categories to simplicial categories present in the work of Joyal and Lurie. We define a functor from the category of cubical sets of Doherty-Kapulkin-Lindsey-Sattler to the category of (small) simplicial categories. We …

fr (code pays fourni par la source)