Publications related to Randomized algorithm

Classifying Functions with Exact Synthesis

Giovanni De Micheli, Mathias Soeken, Eleonora Testa, Winston Jason Haaswijk

Due to recent advances, constraint solvers have become efficient tools for synthesizing optimum Boolean circuits. We take advantage of this by showing how SAT based exact synthesis may be used as a method for finding minimum length Boolean chains. As oppos ...

IEEE2017

MATHICSE Technical Report : Quantifying uncertain system outputs via the multilevel Monte Carlo method – Part I: Central moment estimation

Fabio Nobile, Sebastian Krumscheid, Michele Pisaroni

In this work we introduce and analyze a novel multilevel Monte Carlo (MLMC) estimator for the accurate approximation of central moments of system outputs affected by uncertainties. Central moments play a central role in many disciplines to characterize a r ...

MATHICSE2017

LP-Based Algorithms For Capacitated Facility Location

Ola Nils Anders Svensson, Hyung Chan An

Linear programming (LP) has played a key role in the study of algorithms for combinatorial optimization problems. In the field of approximation algorithms, this is well illustrated by the uncapacitated facility location problem. A variety of algorithmic me ...

Society for Industrial and Applied Mathematics2017

A parallel algorithm for the solution of large-scale nonconforming fluid-structure interaction problems in hemodynamics

Alfio Quarteroni, Simone Deparis, Davide Forti

In this work we address the numerical solution of large scale fluid-structure interaction problems when nonconforming grids and⁄or nonconforming finite elements discretizations are used at the interface separating the fluid and structure physical domains. ...

Global Science Press2017

A Novel Basis for Logic Rewriting

Giovanni De Micheli, Mathias Soeken, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù, Winston Jason Haaswijk

Given a set of logic primitives and a Boolean function, exact synthesis finds the optimum representation (e.g., depth or size) of the function in terms of the primitives. Due to its high computational complexity, the use of exact synthesis is limite ...

Ieee2017

Identification of Biokinetic Models Using the Concept of Extents

Dominique Bonvin, Julien Léo Billeter, Sriniketh Srinivasan

The development of a wide array of process technologies to enable the shift from conventional biological wastewater treatment processes to resource recovery systems is matched by an increasing demand for predictive capabilities. Mathematical models are exc ...

Amer Chemical Soc2017

Efficient Algorithms for the Data Exchange Problem

Michael Christoph Gastpar, Sameer Pawar

In this paper, we study the data exchange problem, where a set of users is interested in gaining access to a common file, but where each has only partial knowledge about it as side-information. Assuming that the file is broken into packets, the side-inform ...

Institute of Electrical and Electronics Engineers2016

Multilevel and weighted reduced basis method for stochastic optimal control problems constrained by Stokes equations

Alfio Quarteroni, Gianluigi Rozza, Peng Chen

In this paper we develop and analyze a multilevel weighted reduced basis method for solving stochastic optimal control problems constrained by Stokes equations. We prove the analytic regularity of the optimal solution in the probability space under certain ...

Springer Heidelberg2016

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.

Randomized algorithm

Classifying Functions with Exact Synthesis

Applications of Strong Convex Relaxations to Allocation Problems

MATHICSE Technical Report : Quantifying uncertain system outputs via the multilevel Monte Carlo method – Part I: Central moment estimation

LP-Based Algorithms For Capacitated Facility Location

A parallel algorithm for the solution of large-scale nonconforming fluid-structure interaction problems in hemodynamics

A Novel Basis for Logic Rewriting

Identification of Biokinetic Models Using the Concept of Extents

Efficient Linear Programming for Dense CRFs

Efficient Algorithms for the Data Exchange Problem

Multilevel and weighted reduced basis method for stochastic optimal control problems constrained by Stokes equations

Graph Chatbot

Chat with Graph Search

Efficient Algorithms for the Data Exchange Problem

Efficient Linear Programming for Dense CRFs

Classifying Functions with Exact Synthesis

Applications of Strong Convex Relaxations to Allocation Problems

Identification of Biokinetic Models Using the Concept of Extents

LP-Based Algorithms For Capacitated Facility Location

MATHICSE Technical Report : Quantifying uncertain system outputs via the multilevel Monte Carlo method – Part I: Central moment estimation

A parallel algorithm for the solution of large-scale nonconforming fluid-structure interaction problems in hemodynamics

A Novel Basis for Logic Rewriting

Multilevel and weighted reduced basis method for stochastic optimal control problems constrained by Stokes equations