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.
This document describes the implementation of a neuron pruning method with pyTorch, and analyzes the results obtained by applying this method on convolutional and residual networks. The performance of the algorithm is measured in different test cases and w ...
Background: Preventive chemotherapy (PC), the large-scale administration of anthelminthics, is recommended by the World Health Organization (WHO) for the control of soil-transmitted helminthiasis (STH). Since 2010, donated anthelminthics for STH have boost ...
Current online applications, such as search engines, social networks, or file sharing services, execute across a distributed network of machines. They provide non-stop services to their users despite failures in the underlying network. To achieve such a hi ...
In this paper, we study the operations of a one-way station-based carsharing system implementing a complete journey reservation policy. We consider the percentage of served demand as a primary performance measure and analyze the effect of several dynamic s ...
The turbulent plasma dynamics in the periphery of a fusion device plays a key role in determining its overall performance.
In fact, the periphery controls the heat load on the vessel walls, the plasma confinement, the level of impurities in the core, the ...
In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language.
Our system is based on a dependently-typed language and an algorithmic type checking procedure
which ensures total correctness. We rely on SMT solve ...
Research on bikesharing has largely focused on systems operating in large cities. Based on the Swiss experience, this paper explores the challenges that small cities (
We consider the problem of coordination among replicated SDN controllers, where the challenge is to ensure a consistent view of the network while reacting to network events in a prompt manner. Existing solutions are either consensus-based, which achieve co ...
In this tutorial, we provide principled methods to quantitatively evaluate the quality of an estimated trajectory from visual(-inertial) odometry (VO/VIO), which is the foundation of benchmarking the accuracy of different algorithms. First, we show how to ...
Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of verifying automaticall ...