Concept

Eval

Publications associées (8)

Stochastic Zeroth-Order Optimisation Algorithms with Variance Reduction

Introduction of optimisation problems in which the objective function is black box or obtaining the gradient is infeasible, has recently raised interest in zeroth-order optimisation methods. As an example finding adversarial examples for Deep Learning mode ...

2019

A Performance Evaluation of Local Features for Image-Based 3D Reconstruction

Pascal Fua, Bin Fan, Zheng Wang, Xiao Wang

This paper performs a comprehensive and comparative evaluation of the state of the art local features for the task of image based 3D reconstruction. The evaluated local features cover the recently developed ones by using powerful machine learning technique ...

2019

On Counter-Example Complete Verification for Higher-Order Functions

Viktor Kuncak, Etienne Kneuss, Nicolas Charles Yves Voirol

We present a verification procedure for pure higher-order functional Scala programs with parametric types. We show that our procedure is sound for proofs, as well as sound and complete for counter-examples. The procedure reduces the analysis of higher-orde ...

2015

Code-Pointer Integrity

George Candea, Mathias Josef Payer, Volodymyr Kuznetsov

Systems code is often written in low-level languages like C/C++, which offer many benefits but also delegate memory management to programmers. This invites memory safety bugs that attackers can exploit to divert control flow and compromise the system. Depl ...

2014

Distributed Constraint Optimization under Stochastic Uncertainty

Boi Faltings, Thomas Léauté

In many real-life optimization problems involving multiple agents, the rewards are not necessarily known exactly in advance, but rather depend on sources of exogenous uncertainty. For instance, delivery companies might have to coordinate to choose who shou ...

2011

Cuba, Best Practices: quel potentiel d'élargissement

The present article evaluates the knowledge that can be attributed to the application of « Best Practices » in the field of urban habitat. It especially aims at identifying the conditions of innovation in such a setting, as well as defining the necessary c ...

2007

Structure-activity studies of novel D-Ser8-cyclosporine A derivatives as potential anti-HIV drugs

Luc Patiny, Annelise Carrupt, Arnaud Hamel, Olivier Turpin

A symposium report. Since the discovery of the immunosuppressive activity of cyclosporine A (CsA), considerable work has been devoted to the chem. synthesis of potent analogs. More recently, the finding of potential anti-HIV I activity of CsA raised intere ...

2002

The eight stereoisomers of LNA (locked nucleic acid): a remarkable family of strong RNA binding molecules

The authors evaluated the RNA binding of all eight possible stereoisomers of LNA. Synthesis of "a-l-xylo-LNA" has been accomplished and the remaining four stereoisomers, all enantiomers of the four synthesized diastereoisomers, are indirectly evaluated b ...

2000

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