Concept

Local variable

Related publications (73)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Endogenous Completeness of Diffusion Driven Equilibrium Markets

Semyon Malamud, Julien Hugonnier

We study the existence of dynamic equilibria with endogenously complete markets in continuous-time, heterogenous agents economies driven by diffusion processes. Our main results show that under appropriate conditions on the transition density of the state ...

Econometric Society2012

Towards Static Analysis of Virtualization-Obfuscated Binaries

Johannes Kinder

Virtualization-obfuscation protects a program from manual or automated analysis by compiling it into bytecode for a randomized virtual architecture and attaching a corresponding interpreter. Static analysis appears to be helpless on such programs, where on ...

IEEE2012

Networks of Self-Adaptive Dynamical Systems

Max-Olivier Hongler, Julio Rodriguez

We discuss the adaptive behaviour of a collection of heterogeneous dynamical systems interacting via a weighted network. At each vertex, the network is endowed with a dynamical system with individual (initially different) control parameters governing the l ...

Oxford University Press2012

Resource-based Planning with Timelines

Jingshi Li

Real world planning applications typically involve making decisions that consumes limited resources, which requires both planning and scheduling. In this paper we propose a new approach that bridges the gap between planning and scheduling by explicitly mod ...

2012

Analysis of a finite volume element method for the Stokes problem

Alfio Quarteroni, Ricardo Esteban Ruiz Baier

In this paper we propose a stabilized conforming finite volume element method for the Stokes equations. On stating the convergence of the method, optimal a priori error estimates in different norms are obtained by establishing the adequate connection betwe ...

Springer Verlag2011

A seamless reduced basis element method for 2D Maxwell's problem: An introduction

Jan Sickmann Hesthaven, Yixing Chen

We present a reduced basis element method (RBEM) for the time-harmonic Maxwell's equation. The RBEM is a Reduced Basis Method (RBM) with parameters describing the geometry of the computational domain, coupled with a domain decomposition method. The basic i ...

2011

Networks of Self-Adaptive Dynamical Systems

Julio Rodriguez

The present work belongs to the vast body of research devoted to behaviors that emerge when homogeneous or heterogeneous agents interact. We adopt a stylized point of view in which the individual agents' activities can be assimilated into nonlinear dynamic ...

EPFL2011

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the program execute and thereby read the important dynamic configuration data, the ...

Springer2010

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

2010

Identifying important state variables for a blind controller

Nicolas Morel, David Daum

In literature many different blind controller have been proposed and it has been shown in most cases, that they can provide energy savings and better comfort. In the early approaches they where based only on one state variable, but over time more variables ...

Elsevier2010