Tests système

Applied sciences
Génie informatique
Développement de logiciel
Software development process

Publications associées (26)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Tolerancing the surface form of aspheric microlenses manufactured by wafer-level optics techniques

Toralf Scharf, Wilfried Noell, Jeremy Béguelin

Tolerancing is an important step toward the fabrication of high-quality and cost-effective lens surfaces. It is critical for wafer-level optics, when up to tens of thousands microlenses are fabricated in parallel and whose surfaces cannot be formed individ ...

OPTICAL SOC AMER2020

A comprehensive error rate for multiple testing

Jean-Philippe Thiran, Dimitri Nestor Alice Van De Ville, Stephan Morgenthaler, Djalel Eddine Meskaldji

Over the last two decades, a large variety of type I error rates and control procedures have been proposed in the field of multiple hypotheses testing. This paper proposes a framework that includes many existing proposals by investigating procedures in whi ...

SPRINGER2020

Definition of Accurate Reference Synchrophasors for Static and Dynamic Characterization of PMUs

Mario Paolone, Asja Derviskadic, Guglielmo Frigo, Marco Pignati, Daniele Colangelo

The calibration of phasor measurement units (PMUs) consists of comparing coordinated universal time time-aligned phasors (synchrophasors) measured by the PMU under test, against reference synchrophasors generated through a PMU calibrator. The IEEE Standard ...

Institute of Electrical and Electronics Engineers2017

Encapsulation of Insulin-Secreting Cells Expressing a Genetically Encoded Fluorescent Calcium Indicator for Cell-Based Sensing In Vivo

Christophe Boss, Umberto De Marchi, Nicolas Bouche, Andreas Wiederkehr, Federico Sizzano, Mouna Conrad

The development of cell-based biosensors that give insight into cell and tissue function in vivo is an attractive technology for biomedical research. Here, the development of a cell line expressing a fluorescent calcium sensor for the study of beta-cell fu ...

Wiley2017

Severe viral respiratory infections in children with IFIH1 loss-of-function mutations

Jacques Fellay, Amalio Telenti, Istvan Bartha, Christian Hammer, Samira Asgari, Thomas Junier, Paul Jack Mc Laren

Viral respiratory infections are usually mild and self-limiting; still they exceptionally result in life-threatening infections in previously healthy children. To investigate a potential genetic cause, we recruited 120 previously healthy children requiring ...

Natl Acad Sciences2017

Definition and assessment of reference values for PMU calibration in static and transient conditions

Mario Paolone, Guglielmo Frigo, Marco Pignati, Daniele Colangelo

The calibration of Phasor Measurement Units (PMUs) consists of comparing Coordinated Universal Time (UTC) time-stamped phasors (synchrophasors) estimated by the PMU under test, against reference synchrophasors generated through a PMU calibrator. The IEEE S ...

IEEE2016

A Polynomial Regularity Lemma For Semialgebraic Hypergraphs And Its Applications In Geometry And Property Testing

János Pach

In this paper, we prove several extremal results for geometrically defined hypergraphs. In particular, we establish an improved lower bound, single exponentially decreasing in k, on the best constant delta > 0 such that the vertex classes P-1,...,P-k of ev ...

Society for Industrial and Applied Mathematics2016

Techniques for Identifying Elusive Corner-Case Bugs in Systems Software

Radu Banabic

Modern software is plagued by elusive corner-case bugs (e.g., security bugs). Because there are no scalable, automated ways of finding them, such bugs can remain hidden until software is deployed in production. This thesis proposes approaches to solve this ...

EPFL2015

Dynamic testing of a four-storey building with reinforced concrete and unreinforced masonry walls: Prediction, test results and data set

Katrin Beyer, Sarah Petry, Marco Tondelli

This paper presents the results of a series of shake-table tests on a half-scale, four-storey building with reinforced concrete (RC) and unreinforced masonry (URM) walls. Due to the lack of reference tests, the seismic behaviour of such mixed structures is ...

Springer Verlag2015

PBCOV: a property-based coverage criterion

Hamza Harkous, Kassem Fawaz

Coverage criteria aim at satisfying test requirements and compute metrics values that quantify the adequacy of test suites at revealing defects in programs. Typically, a test requirement is a structural program element, and the coverage metric value repres ...

Springer2015

Page 2 sur 3