Related publications (112)

Type-preserving compilation of (most of) FGJ into DOT

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 not e ...
2022

Alpha-NML Universal Predictors

Michael Christoph Gastpar, Marco Bondaschi

Inspired by Sibson’s alpha-mutual information, we introduce a new parametric class of universal predictors. This class interpolates two well-known predictors, the mixture estimator, that includes the Laplace and the Krichevsky-Trofimov predictors, and the ...
2022

Wild solutions of the Navier-Stokes equations whose singular sets in time have Hausdorff dimension strictly less than 1

Maria Colombo

We prove non-uniqueness for a class of weak solutions to the Navier???Stokes equations which have bounded kinetic energy, integrable vorticity, and are smooth outside a fractal set of singular times with Hausdorff dimension strictly less than 1. ...
2022

Residential density classification for sustainable housing development using a machine learning approach

Dan Assouline, Nahid Mohajeri Pour Rayeni, Alina Ursula Rosa Walch

Using Machine Learning (ML) algorithms for classification of the existing residential neighbourhoods and their spatial characteristics (e.g. density) so as to provide plausible scenarios for designing future sustainable housing is a novel application. Here ...
IOP PUBLISHING LTD2021

Medical Image Classification Using Generalized Zero Shot Learning

In many real world medical image classification settings we do not have access to samples of all possible disease classes, while a robust system is expected to give high performance in recognizing novel test data. We propose a generalized zero shot learnin ...
IEEE COMPUTER SOC2021

Electrically pumped shot-noise limited class A VECSEL at telecom wavelength

Elyahou Kapon, Alexandru Mereuta, Andrei Caliman

Class A shot-noise limited operation is achieved in an electrically pumped vertical external cavity surface emitting laser (VECSEL), opening the way for integration of such peculiar noiseless laser oscillation in applications where low power consumption an ...
2021

Design Approaches for Creating Person-Centered, Context Sensitive, and Sustainable Assistive Technology with the Global South

Klaus Benedikt Schönenberger, Mario Andres Chavarria Varon

The implementation of non-user-centered design is sometimes effective for traditionally mass-produced items; however, these methods do not take into account local needs, resources, and cultures, and the history of individual people and communities in low- ...
Oxford University Press2021

MoleculARweb: A Web Site for Chemistry and Structural Biology Education through Interactive Augmented Reality out of the Box in Commodity Devices

Matteo Dal Peraro, Luciano Andres Abriata, Lucien Fabrice Krapp, Fabio Jose Cortes Rodriguez

Augmented/virtual realities (ARs/VRs) promise to revolutionize STEM education. However, most easy-to-use tools are limited to static visualizations, which limits the approachable content, whereas more interactive and dynamic alternatives require costly har ...
AMER CHEMICAL SOC2021

GO-GA: Class Fxperiences with Offline Inquiry Learning Spaces in Go-Lab

Denis Gillet

This paper reports on a study carried out in the framework of the Go-lab Goes Africa project, in which teachers implemented online and offline Inquiry Learning Spaces (ILS) in their classes using the Go-lab platform. After a brief description of the Inquir ...
IEEE2020

Geometric landscapes for material discovery within energy–structure–function maps

Berend Smit, Seyedmohamad Moosavi, Henglu Xu

Porous molecular crystals are an emerging class of porous materials formed by crystallisation of molecules with weak intermolecular interactions, which distinguishes them from extended nanoporous materials like metal–organic frameworks (MOFs). To aid disco ...
2020

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.