Concept

First-class function

Publications associées (61)

BPX-preconditioning for isogeometric analysis

We consider elliptic PDEs (partial differential equations) in the framework of isogeometric analysis, i.e., we treat the physical domain by means of a B-spline or NURBS mapping which we assume to be regular. The numerical solution of the PDE is computed by ...

2013

Querypoint Debugging (Semi-Automated Inspection of Buggy Execution)

Salman Mirghasemi

Debugging is a hard and time-consuming programming task that appears in the most stages of software development and maintenance. Therefore, any improvement in the debugging practice can significantly reduce the time and costs of software production. In thi ...

EPFL2012

On Reductions for Synthesis Procedures

Viktor Kuncak, Philippe Paul Henri Suter, Swen Jacobs

A synthesis procedure acts as a compiler for declarative specifications. It accepts a formula describing a relation between inputs and outputs, and generates a function implementing this relation. This paper presents synthesis procedures for data structure ...

2012

Naming Anonymous JavaScript Functions

Claude Petitpierre, Salman Mirghasemi

JavaScript developers create programs by calling functions and they use functions to construct objects. JavaScript development tools need to report to developers about those functions and constructors, for example in debugger call-stacks and in object repr ...

2011

Naming Anonymous JavaScript Functions

Claude Petitpierre, Salman Mirghasemi

2011

Distributed classification of multiple observation sets by consensus

Pascal Frossard, Effrosyni Kokiopoulou

We consider the problem of distributed classification of multiple observations of the same object that are collected in an ad hoc network of vision sensors. Assuming that each sensor captures a different observation of the same object, the problem is to cl ...

Institute of Electrical and Electronics Engineers2011

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

Functional optical coherent imaging platform for medical application e.g. neurosurgery, has active camera unit that captures image of specific region of test subject after transmitting stimulus signals

Dimitri Nestor Alice Van De Ville, Theo Lasser, Michael Friedrich, Marcel Leutenegger, Martin Villiger, Iwan Märki, Erica Martin-Williams

The present invention relates to a functional optical coherent imaging (fOCI) platform comprising at least one active camera unit (ACU) comprising a coherent and/or a partially coherent light source, and means for spectral filtering and imaging a selected ...

2010

Precise static analysis of untrusted driver binaries

Johannes Kinder

Most closed source drivers installed on desktop systems today have never been exposed to formal analysis. Without vendor support, the only way to make these often hastily written, yet critical programs accessible to static analysis is to directly work at t ...

IEEE2010

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