Concept

Adaptateur (patron de conception)

Publications associées (19)

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

Mitigating Object Dependencies: Improving Point Cloud Self-Supervised Learning through Object Exchange

Sabine Süsstrunk, Mathieu Salzmann, Tong Zhang, Yi Wu

In the realm of point cloud scene understanding, particularly in indoor scenes, objects are arranged following human habits, resulting in objects of certain semantics being closely positioned and displaying notable inter-object correlations. This can creat ...

2024

Adapter l’offre de transports à la hausse des déplacements liés aux loisirs

Vincent Kaufmann, Emmanuel Pierre Jean Ravalet, Yann Francis Eric Dubois, Diego Alejandro Marcelo Mermoud

Le télétravail et l’augmentation du trac de loisirs bouleversent nos comportements en matière de mobilité. Augmenter la cadence horaire des trains ne suft pas pour s’adapter aux nouveaux rythmes de déplacement de la population suisse qui ne sont plus synch ...

2023

Capturing Types

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

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

New York2023

Finally, a Polymorphic Linear Algebra Language

Amir Shaikhha, Lionel Emile Vincent Parreaux

Many different data analytics tasks boil down to linear algebra primitives. In practice, for each different type of workload, data scientists use a particular specialised library. In this paper, we present Pilatus, a polymorphic iterative linear algebra la ...

2019

Dotty Phantom Types

Martin Odersky, Nicolas Alexander Stucki

Phantom types are a well-known type-level, design pattern which is commonly used to express constraints encoded in types. We observe that in modern, multi-paradigm programming languages, these encodings are too restrictive or do not provide the guarantees ...

2017

Limitations of Proximity Lithography Printing

Krishnaparvathy Puthankovilakam

Photolithography is one of the earliest technologies used to transfer patterns to a substrate. It is also known as optical lithography since it uses light to transfer the pattern. The main exposure techniques exist in the industry are projection printing, ...

EPFL2017

Surface Reconstruction From Microscopic Images in Optical Lithography

Jean-Philippe Thiran, Virginia Estellers Casas, Maria Gabrani

This paper presents a method to reconstruct 3D surfaces of silicon wafers from 2D images of printed circuits taken with a scanning electron microscope. Our reconstruction method combines the physical model of the optical acquisition system with prior knowl ...

Ieee-Inst Electrical Electronics Engineers Inc2014

New Tools for Hydrogel-Based 3D Bioprinting

Andrea Negro

The in vitro recapitulation of tissue and organ function represents one of the main objectives of tissue engineering. Developments in this field have numerous applications, from alleviating the shortage of donor organs to providingmore representative pla ...

EPFL2014

Minimum distance between pattern transformation manifolds: Algorithm and Applications

Pascal Frossard, Effrosyni Kokiopoulou

Transformation invariance is an important property in pattern recognition, where different observations of the same object typically receive the same label. This paper focuses on a transformation invariant distance measure that represents the minimum dista ...

2009

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search