Unité

Laboratoire transport et mobilité

Laboratoire

Publications associées (1 000)

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

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having po ...

2024

Understanding the sentiment associated with cultural ecosystem services using images and text from social media

Devis Tuia

Social media is increasingly being employed to develop Cultural Ecosystem Services (CES) indicators. The image-sharing platform Flickr has been one of the most popular sources of data. Most large-scale studies, however, tend to only use the number of image ...

2024

Nowcasting of High-Intensity Rainfall for Urban Applications in the Netherlands

Guo-Shiuan Lin, Marc Schleiss

Radar rainfall nowcasting has mostly been applied to relatively large (often rural) domains (e.g., river basins), although rainfall nowcasting in small urban areas is expected to be more challenging. Here, we selected 80 events with high rainfall intensiti ...

Amer Meteorological Soc2024

In Medio Stat Virtus: Combining Boolean and Pattern Matching

Giovanni De Micheli, Alessandro Tempia Calvino, Gianluca Radi

Technology mapping transforms a technology-independent representation into a technology-dependent one given a library of cells. This process is performed by means of local replacements that are extracted by matching sections of the subject graph to library ...

2024

Beyond fine-tuning: LoRA modules boost near-OOD detection and LLM security

Pierre Vandergheynst, Milos Vasic, Francesco Craighero, Renata Khasanova

Under resource constraints, LLMs are usually fine- tuned with additional knowledge using Parameter Efficient Fine-Tuning (PEFT), using Low-Rank Adaptation (LoRA) modules. In fact, LoRA injects a new set of small trainable matrices to adapt an LLM to a new ...

2024

Beyond fine-tuning: LoRA modules boost near-OOD detection and LLM security

Pierre Vandergheynst, Milos Vasic, Francesco Craighero, Renata Khasanova

Under resource constraints, LLMs are usually fine-tuned with additional knowledge using Parameter Efficient Fine-Tuning (PEFT), using Low-Rank Adaptation (LoRA) modules. In fact, LoRA injects a new set of small trainable matrices to adapt an LLM to a new t ...

2024

Improving SAM Requires Rethinking its Optimization Formulation

Volkan Cevher, Kimon Antonakopoulos, Thomas Michaelsen Pethick, Wanyun Xie, Fabian Ricardo Latorre Gomez

This paper rethinks Sharpness-Aware Minimization (SAM), which is originally formulated as a zero-sum game where the weights of a network and a bounded perturbation try to minimize/maximize, respectively, the same differentiable loss. We argue that SAM shou ...

2024

Entre droit et injonction à la mobilité : discussion d'une motilité (italique) "raisonnable" comme ressource pour l'insertion professionnelle

In many countries, payment of unemployment benefit is conditional on active job-seeking on the part of recipients, who are required to accept any "reasonable" job offers made to them (Dalloz 2008). In France, this notion of "Reasonable Job Offer" (ORE) has ...

EPFL2024

Detecting Road Obstacles by Erasing Them

Pascal Fua, Mathieu Salzmann, Krzysztof Maciej Lis, Sina Honari

Vehicles can encounter a myriad of obstacles on the road, and it is impossible to record them all beforehand to train a detector. Instead, we select image patches and inpaint them with the surrounding road texture, which tends to remove obstacles from thos ...

2024

The Haptic Link Enabling Driver-Automation Teaming

Jürg Alexander Schiffmann, Tomohiro Nakade, Robert Fuchs

Over-reliance on the automation of transportation systems is understood to be the cause of new types of accidents. In this paper, the automated driving system is augmented with control methods enabling driver intervention without its full deactivation. The ...

IEEE2024