Concept

Système de calcul formel

Publications associées (45)

Deductive Program Repair, Computer Aided Verification

We present an approach to program repair and its application to programs with recursive functions over unbounded data types. Our approach formulates program repair in the framework of deductive synthesis that uses existing program structure as a hint to gu ...

2015

Calibration of optical tweezers with non-spherical probes via high-resolution detection of Brownian motion

László Forró, Richard Gaal, Flavio Maurizio Mor, Sylvia Jeney

Optical tweezers are commonly used and powerful tools to perform force measurements on the piconewton scale and to detect nanometer-scaled displacements. However, the precision of these instruments relies to a great extent on the accuracy of the calibratio ...

Elsevier Science Bv2015

An indefinite variant of LOBPCG for definite matrix pencils

Daniel Kressner, Meiyue Shao

In this paper, we propose a novel preconditioned solver for generalized Hermitian eigenvalue problems. More specifically, we address the case of a definite matrix pencil , that is, A, B are Hermitian and there is a shift such that is definite. Our new meth ...

Springer2014

Stochastic Virtual Tests for High-Temperature Ceramic Matrix Composites

Varun Parameswaran Rajan

We review the development of virtual tests for high-temperature ceramic matrix composites with textile reinforcement. Success hinges on understanding the relationship between the microstructure of continuous-fiber composites, including its stochastic varia ...

2014

Comparison between reduced basis and stochastic collocation methods for elliptic problems

Alfio Quarteroni, Gianluigi Rozza, Peng Chen

The stochastic collocation method has recently been applied to stochastic problems that can be transformed into parametric systems. Meanwhile, the reduced basis method, primarily developed for solving parametric systems, has been recently used to deal with ...

Springer Verlag2014

LINVIEW: Incremental View Maintenance for Complex Analytical Queries

Christoph Koch, Milos Nikolic, Mohamed Elsayed Mohamed Ahmed El Seidy

Many analytics tasks and machine learning problems can be naturally expressed by iterative linear algebra programs. In this paper, we study the incremental view maintenance problem for such complex analytical queries. We develop a framework, called LINVIEW ...

2014

A preconditioned low-rank CG method for parameter-dependent Lyapunov matrix equations

Daniel Kressner, Christine Tobler

This paper is concerned with the numerical solution of symmetric large-scale Lyapunov equations with low-rank right-hand sides and coefficient matrices depending on a parameter. Specifically, we consider the situation when the parameter dependence is suffi ...

Wiley-Blackwell2013

Algebraic algorithms for network information flow

Javad Ebrahimi Boroojeni

Ahlswede et al. in the seminal paper [1] have shown that in data transfer over networks, processing the data at the nodes can significantly improve the throughput. As proved by Li et al. in [2], even with a simple type of operation, namely linear operation ...

EPFL2013

Finite Dimensional Methods for Differential Flatness

Basile Graf

In Control System Theory, the study of continuous-time, finite dimensional, underdetermined systems of ordinary differential equations is an important topic. Classification of systems in different categories is a natural initial step to the analysis of a g ...

EPFL2013

State Machine Replication

Nuno Filipe de Sousa Santos

Since their invention more than half a century ago, computers have gone from being just an handful of expensive machines each filling an entire room, to being an integral part of almost every aspect of modern life. Nowadays computers are everywhere: in our ...

EPFL2012

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