Publications associées à Science formelle

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.

Efficient Continual Finite-Sum Minimization

Volkan Cevher, Efstratios Panteleimon Skoulakis, Leello Tadesse Dadi

Given a sequence of functions

f_1,\ldots,f_n

with

f_i:\mathcal{D}\mapsto \mathbb{R}

, finite-sum minimization seeks a point

{x}^\star \in \mathcal{D}

minimizing

\sum_{j=1}^nf_j(x)/n

. In this work, we propose a key twist into the finite-sum minimizat ...

2024

Science formelle

Graph Chatbot

Chattez avec Graph Search

A Streamline Upwind Petrov-Galerkin Reduced Order Method for Advection-Dominated Partial Differential Equations Under Optimal Control

Ultra-high quantum coherent and scalable superconducting circuit optomechanics, from topological lattices to quantum storage

Optimization Algorithms for Decentralized, Distributed and Collaborative Machine Learning

Quantitative T2 Mapping of Acute Pancreatitis

Koopman-based Data-driven Robust Control of Nonlinear Systems Using Integral Quadratic Constraints

Unlabeled Principal Component Analysis and Matrix Completion

SPACE-TIME REDUCED BASIS METHODS FOR PARAMETRIZED UNSTEADY STOKES EQUATIONS

Efficient Continual Finite-Sum Minimization

Non-normal forms

Degrees of Separation: A Flexible Type System for Safe Concurrency

Koopman-based Data-driven Robust Control of Nonlinear Systems Using Integral Quadratic Constraints

Unlabeled Principal Component Analysis and Matrix Completion

SPACE-TIME REDUCED BASIS METHODS FOR PARAMETRIZED UNSTEADY STOKES EQUATIONS

Degrees of Separation: A Flexible Type System for Safe Concurrency

Ultra-high quantum coherent and scalable superconducting circuit optomechanics, from topological lattices to quantum storage

Optimization Algorithms for Decentralized, Distributed and Collaborative Machine Learning

Non-normal forms

Quantitative T2 Mapping of Acute Pancreatitis

A Streamline Upwind Petrov-Galerkin Reduced Order Method for Advection-Dominated Partial Differential Equations Under Optimal Control

Efficient Continual Finite-Sum Minimization