Concept

Analyse statique de programmes

Publications associées (307)

Remarks on the status of Fornasinius insignis ab. funereus Burgeon, 1937 (Coleoptera, Scarabaeidae, Cetoniinae, Goliathini)

It was recently proposed that Fornasinius insignis ab. funereus Burgeon, 1937 be raised from the synonymy with Fornasinius fornasini Bertoloni, 1853 and recognized as a good species (Tauzin, 2017). Regrettably, this proposition was based on the misidentifi ...

2018

Modeling the Impact of Modifiers on Emotional Statements

Pearl Pu Faltings, Valentina Sintsova, Margarita Bolívar Jiménez

Humans use a variety of modifiers to enrich communications with one another. While this is a deliberate subtlety in our language, the presence of modifiers can cause problems for emotion analysis by machines. Our research objective is to understand and com ...

SPRINGER NATURE SWITZERLAND AG2018

Robustness of Classifiers to Universal Perturbations: A Geometric Perspective

Pascal Frossard, Seyed Mohsen Moosavi Dezfooli, Alhussein Fawzi

Deep networks have recently been shown to be vulnerable to universal perturbations: there exist very small image-agnostic perturbations that cause most natural images to be misclassified by such classifiers. In this paper, we provide a quantitative analysi ...

2018

Charge-Based Distortion Analysis of Nanoscale MOSFETs

Christian Enz, Alessandro Pezzotta, Francesco Chicco

This paper presents a study of MOSFETs' linearity, exploiting a simplified version of the charge-based EKV model. It allows to deduce analytically the one-tone and two-tone harmonic distortions introduced by the nonlinear ID-VG MOSFET characteristic as a f ...

2018

Tracking and Analysis of Skyrmion Motion with matlab

This TP IV follows the TP IV "Tracking of Skyrmion Motion with matlab" and is using new movie as material. This report presents a description of a code, including an identification and a tracking code, based on new motion hypotheses resulting from the prev ...

2018

Design and implementation of an optimizing type-centric compiler for a high-level language

Dmytro Petrashko

Production compilers for programming languages face multiple requirements. They should be correct, as we rely on them to produce code. They should be fast, in order to provide a good developer experience. They should also be easy to maintain and evolve. Th ...

EPFL2017

Exogenous Coordination of Concurrent Software Components with JavaBIP

Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina

A strong separation of concerns is necessary in order to make the design of domain-specific functional components independent from cross-cutting concerns, such as concurrent access to the shared resources of the execution platform. Native coordination mech ...

Wiley-Blackwell2017

ASAP: a web-based platform for the analysis and interactive visualization of single-cell RNA-seq data

Bart Deplancke, Vincent Roland Julien Gardeux, Adrian Shajkofci, Petra Catalina Schwalie

Motivation: Single-cell RNA-sequencing (scRNA-seq) allows whole transcriptome profiling of thousands of individual cells, enabling the molecular exploration of tissues at the cellular level. Such analytical capacity is of great interest to many research gr ...

Oxford University Press2017

Solving quantified linear arithmetic by counterexample-guided instantiation

Viktor Kuncak, Andrew Joseph Reynolds

This paper presents a framework to derive instantiation-based decision procedures for satisfiability of quantified formulas in first-order theories, including its correctness, implementation, and evaluation. Using this framework we derive decision procedur ...

2017

A Practical Guide on Coupling a Scanning Mobility Sizer and Inductively Coupled Plasma Mass Spectrometer (SMPS-ICPMS)

Christian Ludwig, Debora Foppiano, Mohamed Tarik, Adrian Hess

A large variety of analytical methods are available to characterize particles in aerosols and suspensions. The choice of the appropriate technique depends on the properties to be determined. In many fields information about particle size and chemical compo ...

Journal Of Visualized Experiments2017

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