Concept

Utilisateur final

Publications associées (537)

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

Compilers assure that any produced optimized code is semantically equivalent to the original code. However, even "correct" compilers may introduce security bugs as security properties go beyond translation correctness. Security bugs introduced by such corr ...

Berkeley2023

Incentive Mechanism in the Sponsored Content Market With Network Effects

Olga Fink, Mina Montazeri

We propose an incentive mechanism for the sponsored content provider (CP) market in which the communication of users can be represented by a graph, and the private information of the users is assumed to have a continuous distribution function. The CP stipu ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

Prescribing Cartesian Stiffness of Soft Robots by Co-Optimization of Shape and Segment-Level Stiffness

Josephine Anna Eleanor Hughes, Francesco Stella

Soft robots aim to revolutionize how robotic systems interact with the environment thanks to their inherent compliance. Some of these systems are even able to modulate their physical softness. However, simply equipping a robot with softness will not genera ...

MARY ANN LIEBERT, INC2023

Public bench - service station for pedestrians

Vincent Kaufmann, Renate Albrecher

Public benches are a key element for active mobility and can be understood as service stations for pedestrians. They contribute to fostering and facilitating sustainable mobility, but are often underestimated or not included in urban planning and policies. ...

2022

Groove: Flexible Metadata-Private Messaging

Ludovic Barman, David Lazar

Metadata-private messaging designs that scale to support millions of users are rigid: they limit users to a single device that is online all the time and transmits on short regular intervals, and require users to choose precisely when each of their buddies ...

Berkeley2022

T-RECS: a Transformer-based Recommender Generating Textual Explanations and Integrating Unsupervised Language-based Critiquing

Boi Faltings, Claudiu-Cristian Musat, Diego Matteo Antognini

Supporting recommendations with personalized and relevant explanations increases trust and perceived quality, and helps users make better decisions. Prior work attempted to generate a synthetic review or review segment as an explanation, but they were not ...

2022

Constrained Language Models for Interactive Poem Generation

Andrei Popescu-Belis, Gabriel Luthier, Aris Xanthos, Simon Mattei

This paper describes a system for interactive poem generation, which combines neural language models (LMs) for poem generation with explicit constraints that can be set by users on form, topic, emotion, and rhyming scheme. LMs cannot learn such constraints ...

EUROPEAN LANGUAGE RESOURCES ASSOC-ELRA2022

The bench - service station for public space users

Vincent Kaufmann, Renate Albrecher

The bench is an essential ergonomic element to promote walking in everyday life. Even immobility associated with public benches is a key component to promote active mobility. Benches invite to active and passive participation in social life, serve as place ...

2022

Material removing tool and method for designing the same

Jean-François Molinari, Son-Jonathan Pham-Ba

The invention relates to a material removing tool, such as an ice cream scoop, and method for designing the same. The material removing tool has a shape optimized to minimize the amount of work the user has to provide in order to form and remove a piece of ...

2022

Questioning Wizard of Oz: Effects of Revealing the Wizard behind the Robot

Pierre Dillenbourg, Pierre Pravin Oppliger, Barbara Bruno, Jauwairia Nasir

Wizard of Oz, a very commonly employed technique in human-robot interaction, faces the criticism of being deceptive as the humans interacting with the robot are told, if at all, only at the end of their interaction that there was in fact a human behind the ...

2022

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