Concept

Preuve scientifique

Publications associées (53)

To Infinity, and Beyond (Coverage)

The pursuit of software security and reliability hinges on the identification and elimination of software vulnerabilities, a challenge compounded by the vast and evolving complexity of modern systems. Fuzzing has emerged as an indispensable technique for b ...

EPFL2024

Reliable strategies for implementing model-based navigation on fixed-wing drones

Jan Skaloud, Gabriel François Laupré, Lucas Pirlet

A relatively novel approach of autonomous navigation employing platform dynamics as the primary process model raises new implementational challenges. These are related to: (i) potential numerical instabilities during longer flights; (ii) the quality of mod ...

2023

Language Model Decoding as Likelihood–Utility Alignment

Boi Faltings, Robert West, Maxime Jean Julien Peyrard, Martin Josifoski, Valentin Hartmann, Debjit Paul, Jiheng Wei, Frano Rajic

A critical component of a successful language generation pipeline is the decoding algorithm. However, the general principles that should guide the choice of a decoding algorithm re- main unclear. Previous works only compare decoding algorithms in narrow sc ...

2023

Decoding Cognitive States under Varying Difficulty Levels

Ping-Keng Jao

Understanding cognitive states of human under different difficulty levels is useful in improving human-human and human-machine interactions. For example, a crucial factor in designing games is maintaining the engagement of players. An ideal scenario would ...

EPFL2020

REX technologies for profiling and decoding the electrophile signaling axes mediated by Rosetta Stone proteins

Yimon Aye, Daniel Ahmet Urul

It is now clear that some cysteines on some proteins are highly tuned to react with electrophiles. Based on numerous studies, it is also established that electrophile sensing underpins rewiring of several critical signaling processes. These electrophile-se ...

ACADEMIC PRESS LTD-ELSEVIER SCIENCE LTD2020

From experimental evidence to mechanical modeling and design expressions: The Critical Shear Crack Theory for shear design

Aurelio Muttoni, Miguel Fernández Ruiz

Many research efforts have so far been devoted to the topic of shear design of members without transverse reinforcement since the first development in structural concrete. This has allowed a number of significant advances in the understanding of the phenom ...

2019

Experimental evidence for long-range stabilizing and destabilizing interactions between charge and radical sites in distonic ions

Ganna Gryn'ova

Polarizable radical sites in distonic radical anions are stabilized by ostensibly remote negative charges. Computational evidence suggests bond dissociation energies of closed-shell precursors are significantly lowered by through-space interactions with a ...

ELSEVIER SCIENCE BV2019

Finding Mixed Nash Equilibria of Generative Adversarial Networks

Volkan Cevher, Ya-Ping Hsieh, Chen Liu

We reconsider the training objective of Generative Adversarial Networks (GANs) from the mixed Nash Equilibria (NE) perspective. Inspired by the classical prox methods, we develop a novel algorithmic framework for GANs via an infinite-dimensional two-player ...

2018

(De‑)Constructing Participation at the Science‑Policy Interface: A Critical Inquiry

Claudia Rebeca Binder Signer, Livia Bianca Fritz

This contribution puts the spotlight on participation of heterogeneous actors and diverse forms of expertise in knowledge production and its implications for governance of complex problems. With regard to tackling complex ‘global’ problems, multifaceted de ...

2017

The Search for Affordable Cement and Concrete in the 18th and 19th Century

Salvatore Aprea

The interest of German building masters towards hydraulic binders grows at the third decade of the 19th century. This acute interest is stimulated by the import of «Roman Cement» from England and by the acquisition of the knowledge related to it. The disse ...

2017

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