Concept

Analyse de cause racine

Publications associées (33)

Effect Analysis for Programs with Callbacks

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic object allocation, and dynamic dispatch. Our analysis is precise even in the presence of dynamic dispatch where the context-insensitive estimate on the number o ...

Springer Berlin Heidelberg2013

Multiple Comparison Procedures for Large Correlated Data with Application to Brain Connectivity Analysis

Djalel Eddine Meskaldji

Recent developments in medical imaging and image analysis allow the determination of interregional brain connectivity through diffusion Magnetic Resonance Imaging (MRI) tractography. The brain connectivity is represented by a connection matrix where each c ...

EPFL2013

Energy recovery in SUDS towards smart water grids: A case study

Anton Schleiss, Irene Almeida Samora

The development of a methodology for urban flood adaptation and energy recovery solutions is resting on the concept of Sustainable Urban Drainage Systems (SUDS) as a measure to reduce risks of urban flooding while fully utilizing the available resources. F ...

Elsevier2013

On Effect Analysis for Programs with Callbacks

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

2012

Non-Destructive Determination of Chloride and Water Content in Concrete Using Ground Penetrating Radar

Alexis Kalogeropoulos

Corrosion of rebar within reinforced concrete is a major problem for countries where salt is applied to roads for deicing. Concrete structures are periodically inspected in order to monitor possible damage caused by chloride-induced corrosion of the reinfo ...

EPFL2012

Position of defects with respect to domain walls in Fe[sup 3+]-doped Pb[Zr[sub 0.52]Ti[sub 0.48]]O[sub 3] piezoelectric ceramics

Dragan Damjanovic, Li Jin

The position of (Fe-Zr',(Ti)-V-O(center dot center dot))(center dot) defect complexes in Pb[Zr0.52Ti0.48]O-3 (PZT) piezoelectric ceramics was investigated by means of electron paramagnetic resonance (EPR) spectroscopy. The method of analysis pursued to obt ...

American Institute of Physics2011

Challenges in Computational Electromagnetics

Ruzica Golubovic

To meet strict requirements of the information society technologies, antennas and circuit elements are becoming increasingly complex. Frequently, their electromagnetic (EM) properties cannot be anymore expressed in closed-form analytical expressions mainly ...

EPFL2011

Développement d'un modèle précipitation-débit géomorphologique pour les zones tempérées : Application au bassin versant de la Chamberonne

Cédric Imfeld

The goal of this master thesis was to improve an existing rainfall-runoff model to better represent the dynamics of runoff generation at the catchment scale. The used model is a so-called geomorphological model, which is a spatially explicit hydrological m ...

2011

Low-cost optical-based indoor tracking device for detection and mitigation of NLOS effects

Fabrizio Tappero

The implementation of an image-based sensor device able to track people in an indoor environment is presented. The primary objective of this paper is to prove the feasibility of a sensor capable of sub-metre level tracking accuracy and costing approximatel ...

Elsevier Science, Reg Sales Off, Customer Support Dept, 655 Ave Of The Americas, New York, Ny 10010 Usa2009

Register File Reliability Analysis Through Cycle-Accurate Thermal Emulation

David Atienza Alonso, José Luis Ayala Rodrigo, Pablo Garcia del Valle

Continuous transistor scaling due to improvements in CMOS devices and manufacturing technologies is increasing processor power densities and temperatures; thus, creating challenges when trying to maintain manufacturing yield rates and devices which will be ...

IEEE Computer Society2008

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