Publications related to Studies on Types: Dormitories

Related publications (20)

Multimodal transcriptomic atlases of mouse spinal cord injury

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

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

Towards an Understanding of Hydraulic Sensitivity: Graph Theory Contributions to Water Distribution Analysis

Jérôme Chenal

Water distribution systems (WDSs) are complex networks with numerous interconnected junctions and pipes. The robustness and reliability of these systems are critically dependent on their network structure, necessitating detailed analysis for proactive leak ...

MDPI2024

Excited State-Specific CASSCF Theory for the Torsion of Ethylene

Sandra Saade

State-specific complete active space self-consistent field (SS-CASSCF) theory has emerged as a promising route to accurately predict electronically excited energy surfaces away from molecular equilibria. However, its accuracy and practicality for chemical ...

Amer Chemical Soc2024

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

Capturing Types

Martin Odersky, 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

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

Methodology for selecting measurement points that optimize information gain for model updating

Ian Smith, Numa Joy Bertola

Information collected through sensor measurements has the potential to improve knowledge of complex-system behavior, leading to better decisions related to system management. In this situation, and particularly when using digital twins, the quality of sens ...

2023

Analysing the potential for modal shiftbased on the logic of modal choice

Vincent Kaufmann, Ludy Juliana González Villamizar, Eloi Antoine Maël Bernier, Florian Lucien Jacques Masse

This article explores how the logic underlying modal practices tends to modulate the population’s responsiveness to improvements in global transport supply. Based on a quantitative survey conducted in 2018–2019 among the working population of the cantons o ...

2023

Scattering from Time-Modulated Transmission-Line Loads: Theory and Experiments in Acoustics

Romain Christophe Rémy Fleury, Matthieu Francis Malléjac

Scattering wave systems that are periodically modulated in time offer many new degrees of freedom to control waves in both the spatial and frequency domains. Such systems, albeit linear, do not conserve frequency and require the adaptation of the usual the ...

American Physical Society (APS)2023

Type-Preserving Compilation of Class-Based Languages

Guillaume André Fradji Martres

The Dependent Object Type (DOT) calculus was designed to put Scala on a sound basis, but while DOT relies on structural subtyping, Scala is a fundamentally class-based language. This impedance mismatch means that a proof of DOT soundness by itself is ...

EPFL2023

Modeling and simulation of neocortical micro- and mesocircuitry. Part II: Physiology and experimentation

Weina Ji, Henry Markram, Felix Schürmann, Daniel Keller, Eilif Benjamin Muller, Michael Reimann, Werner Alfons Hilda Van Geit, Srikanth Ramaswamy, Matthias Wolf, James Gonzalo King, Alexis Arnaudon, András Ecker, Rajnish Ranjan, Jean-Denis Georges Emile Courcol, Armando Romani, Pramod Shivaji Kumbhar, Judit Planas Carbonell, Giuseppe Chindemi, Michael Emiel Gevaert, Christian Andreas Rössert, Fernando Joaquim Leite Pereira, Omar Awile, Mustafa Anil Tuncel, Daniela Egas Santander, James Bryden Isbister, Natali Barros Zulaica, Samuel Lieven D. Lapere, Sirio Bolaños Puchet, Maria Reva, Genrich Ivaska, Tanguy Pierre Louis Damart, Darshan Mandge, Joni Henrikki Herttuainen, Christoph Pokorny, Elvis Boci, Vishal Sood, Thomas Brice Delemontex, Aleksandra Zuzanna Teska, Polina Litvak, Alexander Dietz, Jorge Blanco Alonso, Gianluca Ficarelli

Cortical dynamics underlie many cognitive processes and emerge from complex multi-scale interactions, which are challenging to study in vivo. Large-scale, biophysically detailed models offer a tool which can complement laboratory approaches. We present a m ...

2024

Bayes Security: A Not So Average Metric

Carmela González Troncoso, Giovanni Cherubin

Security system designers favor worst-case security metrics, such as those derived from differential privacy (DP), due to the strong guarantees they provide. On the downside, these guarantees result in a high penalty on the system's performance. In this pa ...

IEEE2023

The role of secondary ice production in mixed-phase clouds

Paraskevi Georgakaki

Clouds are omnipresent in the Earth's atmosphere. Their phase composition significantly modulates their interaction with solar and terrestrial radiation, as well as precipitation formation. Particularly for clouds containing both phases, known as mixed-pha ...

EPFL2023

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

Privacy-Preserving Machine Learning on Graphs

Sina Sajadmanesh

Graph Neural Networks (GNNs) have emerged as a powerful tool for learning on graphs, demonstrating exceptional performance in various domains. However, as GNNs become increasingly popular, new challenges arise. One of the most pressing is the need to ensur ...

EPFL2023

Patronage as Collaboration. Dante Bini’s Villas in Sardinia

Michela Bonomo

In 1970 on the rugged coast of Costa Paradiso on the Italian island of Sardinia, the encounter between one of the most renowned Italian film directors, Michelangelo Antonioni, and an architect with an engineering vision, Dante Bini, produced a holiday vill ...

2023

Beyond scientific excellence: International mobility and the entrepreneurial activities of academic scientists

Wolf-Hendrik Peter Uhlbach

As the international mobility of academic scientists is ever increasing, its effects on outcomes beyond research productivity deserve more attention. In this paper, we therefore investigate to what extent academics with different international mobility exp ...

ELSEVIER2022

Transformations silencieuses : étude sur l'architecture alpine

Patrick Giromini

This thesis addresses the question of abandonment in architecture, not in its negative sense of desertion, but as a possibility offered to buildings which have lost their original purpose, which is to say those buildings from social and economic contexts w ...

EPFL2021

The New Brutalism, invenzione di uno stile

Silvia Groaz

The concept of New Brutalism has been the victim of a series of misunderstandings, myths and aporias. The initial intentions, devoid of any principle or dogma, have passed from hand to hand. The original definitionâ if only one can be identifiedâ has be ...

EPFL2021