Publications related to Convergence Of Variance-Reduced Learning Under Random Reshuffling

Convergence analysis of Padé approximations for Helmholtz frequency response problems

The present work concerns the approximation of the solution map

S

associated to the parametric Helmholtz boundary value problem, i.e., the map which associates to each (real) wavenumber belonging to a given interval of interest the corresponding solution ...

2018

Type Soundness Proofs with Definitional Interpreters

Tiark Rompf, Nada Amin

While type soundness proofs are taught in every graduate PL class, the gap between realistic languages and what is accessible to formal proofs is large. In the case of Scala, it has been shown that its formal model, the Dependent Object Types (DOT) calculu ...

Assoc Computing Machinery2017

Two subtle convex nonlocal approximations of the BV-norm

Hoài-Minh Nguyên

Inspired by the BBM formula and by work of G. Leoni and D. Spector, we analyze the asymptotic behavior of two sequences of convex nonlocal functionals (Psi(n)(u)) and (Phi(n)(u)) which converge formally to the BV-norm of u. We show that pointwise convergen ...

Elsevier2016

Real-Time Optimization Based on Adaptation of Surrogate Models

Dominique Bonvin, Timm Faulwasser, Alejandro Gabriel Marchetti, Martand Singhal

Recently, different real-time optimization (RTO) schemes that guarantee feasibility of all RTO iterates and monotonic convergence to the optimal plant operating point have been proposed. However, simulations reveal that these schemes converge very slowly t ...

Elsevier Science Bv2016

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 Discontinuous Galerkin Reduced Basis Element Method For Elliptic Problems

Alfio Quarteroni, Paolo Pacciarini

We propose and analyse a new discontinuous reduced basis element method for the approximation of parametrized elliptic PDEs in partitioned domains. The method is built upon an offline stage (parameter independent) and an online (parameter dependent) one. I ...

Edp Sciences S A2016

MATHICSE Technical Report :Convergence analysis of Padé approximations for Helmholtz frequency response problems

Fabio Nobile, Francesca Bonizzoni

The present work concerns the approximation of the solution map S associated to the parametric Helmholtz boundary value problem, i.e., the map which associates to each (real) wavenumber belonging to a given interval of interest the corresponding solution o ...

MATHICSE2016

On Convergence Of The Maximum Block Improvement Method

André Uschmajew

The MBI (maximum block improvement) method is a greedy approach to solving optimization problems where the decision variables can be grouped into a finite number of blocks. Assuming that optimizing over one block of variables while fixing all others is rel ...

Siam Publications2015

On the Design of Economic NMPC Based on Approximate Turnpike Properties

Dominique Bonvin, Timm Faulwasser

We discuss the design of sampled-data economic nonlinear model predictive control schemes for continuous-time systems based on turnpike properties. In a recent paper we have shown that an exact turnpike property allows establishing finite-time convergence ...

2015

The $ L ^{ 1 } $ -Potts Functional for Robust Jump-Sparse Reconstruction

Martin Kurt Storath

We investigate the nonsmooth and nonconvex

L ^{ 1 }

-Potts functional in discrete and continuous time. We show Γ-convergence of discrete

L ^{ 1 }

-Potts functionals toward their continuous counterpart and obtain a convergence statement for the corr ...

SIAM2015

Convergence Of Variance-Reduced Learning Under Random Reshuffling

Graph Chatbot

Chat with Graph Search

Convergence analysis of Padé approximations for Helmholtz frequency response problems

Type Soundness Proofs with Definitional Interpreters

Two subtle convex nonlocal approximations of the BV-norm

Real-Time Optimization Based on Adaptation of Surrogate Models

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

A Discontinuous Galerkin Reduced Basis Element Method For Elliptic Problems

MATHICSE Technical Report :Convergence analysis of Padé approximations for Helmholtz frequency response problems

On Convergence Of The Maximum Block Improvement Method

On the Design of Economic NMPC Based on Approximate Turnpike Properties

The $ L ^{ 1 } $ -Potts Functional for Robust Jump-Sparse Reconstruction

A Discontinuous Galerkin Reduced Basis Element Method For Elliptic Problems

Type Soundness Proofs with Definitional Interpreters

Real-Time Optimization Based on Adaptation of Surrogate Models

Convergence analysis of Padé approximations for Helmholtz frequency response problems

MATHICSE Technical Report :Convergence analysis of Padé approximations for Helmholtz frequency response problems

On Convergence Of The Maximum Block Improvement Method

The $ L ^{ 1 } $ -Potts Functional for Robust Jump-Sparse Reconstruction

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

Two subtle convex nonlocal approximations of the BV-norm

On the Design of Economic NMPC Based on Approximate Turnpike Properties