Publications related to The Fifth Typology: A Symposium on Type and Architecture

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

Is Green A Good Color For A House?Typological Transfer And The LOG ID Experiment

Tiago André Pratas Borges, Anja Fröhlich

Architecture is a prospective discipline. In other words, the practice of architecture traditionally explores design methods in which a particular solution is speculated upon, in order to answer a particular set of questions. These solutions tend to be org ...

2024

Degrees of Separation: A Flexible Type System for Safe Concurrency

Martin Odersky, Yichen Xu, Aleksander Slawomir Boruch-Gruszecki

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

Efficient Continual Finite-Sum Minimization

Volkan Cevher, Efstratios Panteleimon Skoulakis, Leello Tadesse Dadi

Given a sequence of functions

f_1,\ldots,f_n

with

f_i:\mathcal{D}\mapsto \mathbb{R}

, finite-sum minimization seeks a point

{x}^\star \in \mathcal{D}

minimizing

\sum_{j=1}^nf_j(x)/n

. In this work, we propose a key twist into the finite-sum minimizat ...

2024

Anonymous Architecture: Silent Heritage in continuous and irreversible transformation

Nicola Braghieri

An impressive number of buildings on our planet were not designed by architects, and therefore can neither be included within the categories of art history, nor found in treaties and construction manuals. Their permanent character is not traceable in their ...

2024

Residual-based attention in physics-informed neural networks

Nikolaos Stergiopoulos, Sokratis Anagnostopoulos

Driven by the need for more efficient and seamless integration of physical models and data, physics -informed neural networks (PINNs) have seen a surge of interest in recent years. However, ensuring the reliability of their convergence and accuracy remains ...

Lausanne2024

A Reduced Order Model for Domain Decompositions with Non-conforming Interfaces

Alfio Quarteroni, Andrea Manzoni

In this paper, we propose a reduced-order modeling strategy for two-way Dirichlet-Neumann parametric coupled problems solved with domain-decomposition (DD) sub-structuring methods. We split the original coupled differential problem into two sub-problems wi ...

New York2024

Quantifying the Unknown: Data-Driven Approaches and Applications in Energy Systems

Paul Scharnhorst

In light of the challenges posed by climate change and the goals of the Paris Agreement, electricity generation is shifting to a more renewable and decentralized pattern, while the operation of systems like buildings is increasingly electrified. This calls ...

EPFL2024

SIMPLE HIERARCHICAL PLANNING WITH DIFFUSION

Caglar Gulcehre, Chang Chen

Diffusion-based generative methods have proven effective in modeling trajectories with offline datasets. However, they often face computational challenges and can falter in generalization, especially in capturing temporal abstractions for long- horizon tas ...

2024

The Fifth Typology: A Symposium on Type and Architecture

Graph Chatbot

Chat with Graph Search

Multimodal transcriptomic atlases of mouse spinal cord injury

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

Is Green A Good Color For A House?Typological Transfer And The LOG ID Experiment

Degrees of Separation: A Flexible Type System for Safe Concurrency

Efficient Continual Finite-Sum Minimization

Anonymous Architecture: Silent Heritage in continuous and irreversible transformation

Residual-based attention in physics-informed neural networks

A Reduced Order Model for Domain Decompositions with Non-conforming Interfaces

Quantifying the Unknown: Data-Driven Approaches and Applications in Energy Systems

SIMPLE HIERARCHICAL PLANNING WITH DIFFUSION

Multimodal transcriptomic atlases of mouse spinal cord injury

Is Green A Good Color For A House?Typological Transfer And The LOG ID Experiment

Efficient Continual Finite-Sum Minimization

Residual-based attention in physics-informed neural networks

Quantifying the Unknown: Data-Driven Approaches and Applications in Energy Systems

Anonymous Architecture: Silent Heritage in continuous and irreversible transformation

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

Degrees of Separation: A Flexible Type System for Safe Concurrency

SIMPLE HIERARCHICAL PLANNING WITH DIFFUSION

A Reduced Order Model for Domain Decompositions with Non-conforming Interfaces