Studies on Types: Dormitories

Related publications (17)

About
Privacy
Disclaimer

Graph Chatbot

Type-Preserving Compilation of Class-Based Languages

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

Henry Markram, Eilif Benjamin Muller, Srikanth Ramaswamy, Michael Reimann, James Gonzalo King, Rajnish Ranjan, Armando Romani, Mustafa Anil Tuncel, Aleksandra Zuzanna Teska, Polina Litvak

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

Page 2 of 2