Publications related to Solver

Data-Driven Control and Optimization under Noisy and Uncertain Conditions

Control systems operating in real-world environments often face disturbances arising from measurement noise and model mismatch. These factors can significantly impact the perfor- mance and safety of the system. In this thesis, we aim to leverage data to de ...

EPFL2023

Efficient Meso-Scale Modeling of Alkali-Silica-Reaction Damage in Concrete

Ali Falsafi

The alkali-silica reaction (ASR), also known as concrete cancer, is one of the most prevalent causes of concrete degradation. In this chemical reaction, amorphous silica in the aggregates reacts with alkalis in the pore solution. By absorbing water, hydrop ...

EPFL2022

A mathematical theory for mass lumping and its generalization with applications to isogeometric analysis

Annalisa Buffa, Espen Sande, Yannis Dirk Voet

Explicit time integration schemes coupled with Galerkin discretizations of time-dependent partial differential equations require solving a linear system with the mass matrix at each time step. For applications in structural dynamics, the solution of the li ...

2023

Modeling Supply Chain Disruptions: A Network Flow Approach

René Yves Glogg

Globalization, outsourcing and cost optimization have all contributed to increased supply chain vulnerability, yet our understanding of effective mitigation strategies remains limited. In our research, we study the effects of disruptions on supply chain ne ...

EPFL2021

Energy-based comparison between the Fourier-Galerkin method and the finite element method

Thomas Willem Jan de Geus

The Fourier-Galerkin method (in short FFTH) has gained popularity in numerical homogenisation because it can treat problems with a huge number of degrees of freedom. Because the method incorporates the fast Fourier transform (FFT) in the linear solver, it ...

ELSEVIER2020

The ETFL formulation allows multi-omics integration in thermodynamics-compliant metabolism and expression models

Vassily Hatzimanikatis, Pierre Guy Rémy Salvy

Systems biology has long been interested in models capturing both metabolism and expression in a cell. We propose here an implementation of the metabolism and expression model formalism (ME-models), which we call ETFL, for Expression and Thermodynamics Flu ...

Nature Research2020

Proximity Results and Faster Algorithms for Integer Programming Using the Steinitz Lemma

Friedrich Eisenbrand

We consider integer programming problems in standard form max{c(T)x : Ax = b, x >= 0, x is an element of Z(n)} where A is an element of Z(mxn), b is an element of Z(m), and c is an element of Z(n). We show that such an integer program can be solved in time ...

ASSOC COMPUTING MACHINERY2020

Optimised Heat Pump Management for Increasing Photovoltaic Penetration into the Electricity Grid

Christophe Ballif, Lionel Benjamin Bloch, Jordan Holweger, Cristian Sanchez Perez

Advanced control of heat pumps with thermal storage and photovoltaics has recently been promoted as a promising solution to help decarbonise the residential sector. Heat pumps and thermal storage offer a valuable flexibilisation mean to integrate stochasti ...

2019

Proximity results and faster algorithms for Integer Programming using the Steinitz Lemma

Friedrich Eisenbrand

We consider integer programming problems in standard form max{c(T)x : Ax = b; x >= 0, x is an element of Z(n)} where A is an element of Z(mxn), b is an element of Z(m) and c is an element of Z(n). We show that such an integer program can be solved in time ...

ASSOC COMPUTING MACHINERY2018

A monolithic algorithm for the simulation of cardiac electromechanics in the human left ventricle

Alfio Quarteroni, Luca Dede', Antonello Gerbi

In this paper, we propose a monolithic algorithm for the numerical solution of the electromechanics model of the left ventricle in the human heart. Our coupled model integrates the monodomain equation with the Bueno-Orovio minimal model for electrophysiolo ...

2018

Multi-index stochastic collocation convergence rates for random PDEs with parametric regularity

Fabio Nobile, Lorenzo Tamellini

We analyze the recent Multi-index Stochastic Collocation (MISC) method for computing statistics of the solution of a partial differential equation (PDE) with random data, where the random coefficient is parametrized by means of a countable sequence of term ...

2016

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings

Andrew Joseph Reynolds

We prove that the quantifier-free fragment of the theory of character strings with regular language membership constraints and linear integer constraints over string lengths is decidable. We do that by describing a sound, complete and terminating tableaux ...

Springer-Verlag Berlin2015

A Branch-and-Price Algorithm to Solve the Integrated Berth Allocation and Yard Assignment Problem in Bulk Ports

Michel Bierlaire, Nitish Umang, Tomas Robenek

In this research, two crucial optimization problems of berth allocation and yard assignment in the context of bulk ports are studied. We discuss how these problems are interrelated and can be combined and solved as a single large scale optimization problem ...

Elsevier Science Bv2014

Differential Phase-Contrast X-Ray Computed Tomography: From Model Discretization To Image Reconstruction

Michaël Unser, Masih Nilchian

Our contribution in this paper is two fold. First, we propose a novel discretization of the forward model for differential phase-contrast imaging that uses B-spline basis functions. The approach yields a fast and accurate algorithm for implementing the for ...

Ieee2012

A DSS to Optimize Facings on the Shelf of a Retail Store

Prem Kumar

This paper aims to maximize the profitability of a set of brand SKUs stocked at a particular retailer by optimizing the number of facings for each product. Based on the past data, a set of variables such as retail price of different SKUs, linear footage th ...

2010

Simultaneous Point Matching and 3D Deformable Surface Reconstruction

Pascal Fua, Appu Shaji, Aydin Varol

It has been shown that the 3D shape of a deformable surface in an image can be recovered by establishing correspondences between that image and a reference one in which the shape is known. These matches can then be used to set-up a convex optimization prob ...

Ieee Computer Soc Press, Customer Service Center, Po Box 3014, 10662 Los Vaqueros Circle, Los Alamitos, Ca 90720-1264 Usa2010

AN OPERATOR FORMULATION OF THE MULTISCALE FINITE-VOLUME METHOD WITH CORRECTION FUNCTION

Ivan Lunati

The multiscale finite-volume (MSFV) method has been derived to efficiently solve large problems with spatially varying coefficients. The fine-scale problem is subdivided into local problems that can be solved separately and are coupled by a global problem. ...

2009

Constraint Solving for Software Reliability and Text Analysis

Viktor Kuncak

We will develop and implement new algorithms for constraint solving and apply them to construct two classes of tools: 1) bug finding and verification tools building on tools such as Java PathFinder and Jahob; 2) tools for deep semantic analysis of texts co ...

2008

Parametric integer programming in fixed dimension

Friedrich Eisenbrand, Gennady Shmonin

We consider the following problem: Given a rational matrix

A \in \mathbb{Q}^{m \times n}

and a rational polyhedron

Q \subseteq \mathbb{R}^{m+p}

, decide if for all vectors

b \in \mathbb{R}^m

, for which there exists an integral

z \in \mathbb{Z}^p

suc ...

2008