Publications related to Errors and residuals

Expected loss analysis of thresholded authentication protocols in noisy conditions

Serge Vaudenay, Christos Dimitrakakis, Aikaterini Mitrokotsa

A number of authentication protocols have been proposed recently, where at least some part of the authentication is performed during a phase, lasting

n

rounds, with no error correction. This requires assigning an acceptable threshold for the number of de ...

2010

Minimizing lighting power density in office rooms equipped with Anidolic Daylighting Systems

Jean-Louis Scartezzini, Friedrich Linhart

Physical or virtual models are commonly used to visualize the conceptual ideas of architects, lighting designers and researchers; they are also employed to assess the daylighting performance of buildings, particularly in cases where Complex Fenestration Sy ...

2010

Phantm: PHP Analyzer for Type Mismatch

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We present Phantm, a static analyzer that uses a flow-sensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runtime information and procedure summaries for more precise results. Phantm foun ...

2010

Phantm: PHP analyzer for type mismatch

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We present Phantm, a static analyzer that uses a flow-sensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runtime information and procedure summaries for more precise results. Phantm foun ...

2010

The variability of contact position errors in apraxic imitation

Aude Billard, Biljana Petreska von Ritter-Zahony

Apraxia is a poorly understood disorder of voluntary movement that is not due to basic sensory, motor or cognitive deficits. We conducted a study on the imitation of meaningless gestures in apraxic patients with left fronto-temporo-parietal lesions. In a f ...

2010

Bayesian multiresponse calibration of TOPMODEL: Application to the Haute-Mentue catchment, Switzerland

André Musy

This paper introduces a general framework that evaluates a numerical Bayesian multiresponse calibration approach based on a Gibbs within Metropolis searching algorithm and a statistical likelihood function. The methodology has been applied with two version ...

American Geophysical Union2010

On Using Static Analysis to Detect Type Errors in PHP Applications

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We describe our experience in using abstract interpretation to analyze applications written in PHP. Our work focuses on reconstructing type information from mostly unannotated code. We present the abstract domain of our analysis, focusing on the features t ...

2010

Reduced Basis method for parametrized elliptic advection-reaction problems

Luca Dede'

In this work we consider the Reduced Basis method for the solution of parametrized advection-reaction partial differential equations. For the generation of the basis we adopt a stabilized finite element method and we define the Reduced Basis method in the ...

2010

Non-iterative data-driven controller tuning with guaranteed stability: Application to direct-drive pick-and-place robot

Dominique Bonvin, Alireza Karimi, Klaske van Heusden

This paper illustrates the practical application of non-iterative correlation- based tuning with guaranteed stability. In this method, a sufficient condition for closed-loop stability is defined as the H infinity-norm of a particular error function. This n ...

2010

Speaker Change Detection with Privacy-Preserving Audio Cues

Hervé Bourlard, Daniel Gatica-Perez, Sree Hari Krishnan Parthasarathi

In this paper we investigate a set of privacy-sensitive audio features for speaker change detection (SCD) in multiparty conversations. These features are based on three different principles: characterizing the excitation source information using linear pre ...

2009

Errors and residuals

Graph Chatbot

Chat with Graph Search

Expected loss analysis of thresholded authentication protocols in noisy conditions

Minimizing lighting power density in office rooms equipped with Anidolic Daylighting Systems

Phantm: PHP Analyzer for Type Mismatch

Phantm: PHP analyzer for type mismatch

The variability of contact position errors in apraxic imitation

Bayesian multiresponse calibration of TOPMODEL: Application to the Haute-Mentue catchment, Switzerland

On Using Static Analysis to Detect Type Errors in PHP Applications

Reduced Basis method for parametrized elliptic advection-reaction problems

Non-iterative data-driven controller tuning with guaranteed stability: Application to direct-drive pick-and-place robot

Speaker Change Detection with Privacy-Preserving Audio Cues

Expected loss analysis of thresholded authentication protocols in noisy conditions

Minimizing lighting power density in office rooms equipped with Anidolic Daylighting Systems

Phantm: PHP Analyzer for Type Mismatch

Bayesian multiresponse calibration of TOPMODEL: Application to the Haute-Mentue catchment, Switzerland

Phantm: PHP analyzer for type mismatch

On Using Static Analysis to Detect Type Errors in PHP Applications

Reduced Basis method for parametrized elliptic advection-reaction problems

The variability of contact position errors in apraxic imitation

Non-iterative data-driven controller tuning with guaranteed stability: Application to direct-drive pick-and-place robot

Speaker Change Detection with Privacy-Preserving Audio Cues