École Normale Supérieure de Lyon

Tricking Turing: How to Build a Geometric Checkerboard on Living Tissue

The snake’s head fritillary (Fritillaria meleagris) displays one of the rarest pigmentation motifs in the plant kingdom: a high-contrast checkerboard of alternating purple and white domains on its tepals. Standard reaction–diffusion theory does not generically produce this patter...

First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination

We study a first-class treatment of constrained types, which were previously confined mostly to ML-style polymorphism. We define System FCCT, an extension of System F with polymorphic subtyping and constraint abstraction in types. A value of type c ⇒ τ can be used at type τ in an...

Tail Modulo Async-Await

This article extends tail-call optimisation by applying it to asynchronous calls. We first introduce TMA, a novel code transformation for asynchronous tail recursive functions that prevents the creation of unnecessary tasks. We then show how to combine TMA with the existing TMC o...

Accelerating charging dynamics of electric double-layer capacitors

Electric double-layer capacitors (EDLCs), consisting of an ionic fluid between two metallic electrodes, are electrochemical energy storage devices complementary to batteries, allowing for a faster charge/discharge. The charging dynamics in response to a voltage step features a va...

Origin of Long‐Wavelength Variations in Crustal Thickness on Rocky Planets

Abstract Long‐wavelength crustal thickness variations are observed on telluric planets, particularly on Mars and the Moon whereas Mercury appears to lack such variations. They may stem from two early‐stage positive feedback mechanisms that can emerge in stagnant‐lid planets. Both...

Experimental causal inference from measurements alone in the presence of spatial and temporal quantum correlations

The causal structure of a set of events specifies which events influence which others. Determining this structure, known as causal inference, is a fundamental task in science. Reset-style intervention is commonly used to determine causal structure in classical scenarios. However,...

An N-terminal CDC42 T43I variant reveals the mechanism of pyrin inflammasome activation

Heterozygous carboxyl-terminal variants in the RHO guanosine triphosphatase (GTPase) CDC42 are known to cause severe autoinflammatory syndromes. Here, we identified a heterozygous amino-terminal p.T43I (Thr 43 →Ile) CDC42 variant in patients with autoinflammation and uncovered a...

Contribution of One‐Electron Oxidation of Purine and Pyrimidine Bases to the Photo‐ and Radiation‐Induced Damage to Cellular DNA

One‐electron oxidants that include type I photosensitizers, biologically relevant carbonate anion radical generators, and high intensity UVC nanosecond lasers are able to ionize in aqueous solution purine and pyrimidine nucleobases. The survey is aimed at critically reviewing the...

Pancreatic panniculitis as the sole manifestation of pancreatic ductal adenocarcinoma: a case report

Pancreatic panniculitis is a rare form of lobular panniculitis characterized by subcutaneous fat necrosis occurring at cutaneous sites distant from the pancreas. It is most often associated with pancreatitis, while pancreatic malignancies — dominated by acinar cell carcinoma — re...