Publications related to On subadditivity of Kodaira dimension in positive characteristic over a general type base

When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism

Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki

Type inference in the presence of first-class or "impredicative" second-order polymorphism a la System F has been an active research area for several decades, with original works dating back to the end of the 80s. Yet, until now many basic problems remain ...

Assoc Computing Machinery2024

A Spectral Ansatz for The Long-Time Homogenization of The Wave Equation

Matthias Ruf, Matthias Benjamin Ruf

Consider the wave equation with heterogeneous coefficients in the homogenization regime. At large times, the wave interacts in a nontrivial way with the heterogeneities, giving rise to effective dispersive effects. The main achievement of the present wor ...

Ecole Polytechnique2024

Multimodal transcriptomic atlases of mouse spinal cord injury

Matthieu Pierre Gautier

A spinal cord injury (SCI) triggers a cascade of molecular and cellular responses involving inflammatory cell infiltration and cytokine release, apoptosis, demyelination, excitotoxicity, ischemia, and the formation of a fibrotic scar surrounded by an astro ...

EPFL2024

Degrees of Separation: A Flexible Type System for Safe Concurrency

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Yichen Xu

Data races have long been a notorious problem in concurrent programming. They are subtle to detect, and lead to non-deterministic behaviours. There has been a lot of interest in type systems that statically guarantee data race freedom. Significant progress ...

2024

Formal Foundations of Capture Tracking

Aleksander Slawomir Boruch-Gruszecki

Type systems are a device for verifying properties of programs without running them. Many programming languages used in the industry have always had a type system, while others were initially created without a type system and later adopted one, when the ad ...

EPFL2024

Re-design of EU DEMO with a low aspect ratio

Hartmut Zohm

The design point that had been chosen for EU DEMO in 2016 is reviewed here and a modification is proposed with a lower aspect ratio. Previously the same aspect ratio, A, was chosen for EU DEMO as in major tokamak experiments including ITER (A = 3.1), and, ...

2024

NORM TORI OF ETALE ALGEBRAS AND UNRAMIFIED BRAUER GROUPS

Eva Bayer Fluckiger, Ting-Yu Lee

Let k be a field, and let L be an etale k-algebra of finite rank. If a is an element of k(x), let X-a be the affine variety defined by N-L/k(x) = a. Assuming that L has at least one factor that is a cyclic field extension of k, we give a combinatorial desc ...

Hebrew Univ Magnes Press2023

Arithmetic and geometric deformations of threefolds

Fabio Bernasconi, Stefano Filipazzi

We show that mixed-characteristic and equicharacteristic small deformations of 3-dimensional canonical (resp., terminal) singularities with perfect residue field of characteristic p>5 are canonical (resp., terminal). We discuss applications to arithmetic a ...

Wiley2023

Between the Pattern and the Type: A short parallel story

Vasileios Chanis

Historically speaking, the notion of the type was reintroduced to the larger architectural discourse as a direct consequence of the crisis of the Modern. The task of revisiting the forms of the past also dictated the return of architectural methods that ha ...

2023

Single-cell biology: what does the future hold?

Bart Deplancke

In this Editorial, our Chief Editor and members of our Advisory Editorial Board discuss recent breakthroughs, current challenges, and emerging opportunities in single-cell biology and share their vision of "where the field is headed." ...

WILEY2023

The Nonvanishing Problem for varieties with nef anticanonical bundle

Nikolaos Tsakanikas

We prove that if (X, A) is a threefold pair with mild singularities such that -(KX + A) is nef, then the numerical class of -(KX + A) is effective. ...

European Mathematical Soc-Ems2023

Tri-axial H-Field Sensor with Frequency-shaped Response in the band 400 MHz - 6 GHz

German Augusto Ramirez Arroyave

This contribution presents an isotropic field probe to assess human exposition to broadband magnetic fields in the 400 MHz to 6 GHz band according to the ICNIRP 2020 guidelines. This device complements the current practice in this band, based on the measur ...

IEEE2023

Regulation and function of a hemicleaved Activin-A processing intermediate in melanoma

Manon Bulliard

Activin-A is a Transforming Growth Factor-B (TGFB)-related cytokine that regulates various biological processes including cell proliferation and differentiation through autocrine, paracrine or endocrine signaling. Activin-A expression is upregulated in mul ...

EPFL2023

Capturing Types

Martin Odersky, Ondrej Lhoták, Aleksander Slawomir Boruch-Gruszecki

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC

Assoc Computing Machinery2023

Analytic Approximation of In-Body Path Loss for Implanted Antennas

Anja Skrivervik, Mingxiang Gao, Zvonimir Sipus

Implantable bioelectronic devices predominantly use wireless links for communication and/or power transfer. When considering transmitting implanted antennas, electromagnetic radiation through biological media is highly attenuated, and previous work has sho ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

GLOBALLY plus -REGULAR VARIETIES AND THE MINIMAL MODEL PROGRAM FOR THREEFOLDS IN MIXED CHARACTERISTIC

Zsolt Patakfalvi, Joseph Allen Waldron

We establish the Minimal Model Program for arithmetic threefolds whose residue characteristics are greater than five. In doing this, we generalize the theory of global F-regularity to mixed characteristic and identify certain stable sections of adjoint lin ...

SPRINGER HEIDELBERG2023

Appropriations and Uses of Travel Time

Ludy Juliana González Villamizar

Time has always been a central factor in understanding the challenges of daily mobility. For a long time, and still today, methods of economic evaluation of transport projects have monetized time savings so that they can be included in the cost–benefit ana ...

ISTE Wiley2023

Confirming the high pressure phase diagram of the Shastry-Sutherland model

Henrik Moodysson Rønnow, Martin Mansson

A Muon Spin Rotation (mu+SR) study was conducted to investigate the magnetic properties of SrCu2(BO3)(2) (SCBO) as a function of temperature/pressure. Measurements in zero field and transverse field confirm the absence of long range magnetic order at high ...

IOP PUBLISHING LTD2023

Scalable angular spectrum propagation

Felix Wechsler

Coherent field propagation is an essential computational tool in optics with applications ranging from computational optics and optical design to iterative field reconstructions. An improvement in the computational speed of current propagation methods is t ...

Optica Publishing Group2023

Studies on Types: Dormitories

Estelle Lépine, Tiago André Pratas Borges, Anja Fröhlich, Vanessa Pointet

Concepts of type and typology are not specific to architecture. Rather they represent an interdisciplinary approach to ordering knowledge and gaining insight. In the field of architecture, the study of types and typology offers a didactic perspective that ...

EPFL Press2022