Publications associées à Analyse statique de programmes

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.

Convergence of adaptive algorithms for constrained weakly convex optimization

Volkan Cevher, Ahmet Alacaoglu, Yurii Malitskyi

We analyze the adaptive first order algorithm AMSGrad, for solving a constrained stochastic optimization problem with a weakly convex objective. We prove the

\tilde O(t^{-1/2})

rate of convergence for the squared norm of the gradient of Moreau envelope, ...

2021

Analyse statique de programmes

Graph Chatbot

Chattez avec Graph Search

Proof of Multi-Stage Programming with Generative and Analytical Macros

Stability properties of a projector-splitting scheme for dynamical low rank approximation of random parabolic equations

Learning Robustly Safe Output Feedback Controllers from Noisy Data with Performance Guarantees

Method and system for determining the intention of performing a voluntary action

Learning computationally efficient static word and sentence representations

Convergence of adaptive algorithms for constrained weakly convex optimization

A study of the influence of plasma-molecule interactions on particle balance during detachment

Cortical Surfaces Integration with Tractography for Structural Connectivity Analysis

Recalibration of damage equivalence factor for fatigue verification on road bridge

Prestressed ultra-high performance concrete (UHPC) beams for reusable structural systems: design and testing

Learning computationally efficient static word and sentence representations

Proof of Multi-Stage Programming with Generative and Analytical Macros

Method and system for determining the intention of performing a voluntary action

Stability properties of a projector-splitting scheme for dynamical low rank approximation of random parabolic equations

Convergence of adaptive algorithms for constrained weakly convex optimization

Recalibration of damage equivalence factor for fatigue verification on road bridge

Learning Robustly Safe Output Feedback Controllers from Noisy Data with Performance Guarantees

Cortical Surfaces Integration with Tractography for Structural Connectivity Analysis

A study of the influence of plasma-molecule interactions on particle balance during detachment

Prestressed ultra-high performance concrete (UHPC) beams for reusable structural systems: design and testing