A generic algorithm for checking exhaustivity of pattern matching
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
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 ...
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 ...
The research examines the entanglement of urban rationalities and industrial biopolitics in constructing company towns' identities and spatialities, providing different housing typologies for its workers. An epitome of spatial production under industrial p ...
Tissues are organized in cellular niches, the composition and interactions of which can be investigated using spatial omics technologies. However, systematic analyses of tissue composition are challenged by the scale and diversity of the data. Here we pres ...
A type is not a model or an image to be copied, but the deep structure of how things are put together. The Symposium revisits the concept of type by critically reading its previous definitions and by offering a new interpretation of this rather elusive, but ...
Conference abstract: A type is not a model or an image to be copied, but the deep structure of how things are put together. The Symposium revisits the concept of type by critically reading its previous definitions and by offering a new interpretation of thi ...
In the collective imagination, the villa is a manifesto of ‘the good life’ (Abalos, 2016) and probably the most archaic building still surviving today. Since the first appearance of the term, the villa has evolved into a more comprehensive notion referring ...
Predicting multiple real-world tasks in a single model often requires a particularly diverse feature space. Multimodal (MM) models aim to extract the synergistic predictive potential of multiple data types to create a shared feature space with aligned sema ...
In the collective imagination, the villa is a manifesto of ‘the good life’ (Abalos, 2016) and probably the most archaic building still surviving today. Since the first appearance of the term, the villa has evolved into a more comprehensive notion referring ...
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 ...
