Publications associées à Forall-exist statements in pseudopolynomial time

Publications associées (7)

Robustly Learning Regions of Attraction From Fixed Data

While stability analysis is a mainstay for control science, especially computing regions of attraction of equilibrium points, until recently most stability analysis tools always required explicit knowledge of the model or a high-fidelity simulator represen ...

2025

Unsupervised quality monitoring of metal additive manufacturing using Bayesian adaptive resonance

Patrik Willi Hoffmann

Metal additive manufacturing is a recent breakthrough technology that promises automated production of complex geometric shapes at low operating costs. However, its potential is not yet fully exploited due to the low reproducibility of quality in mass prod ...

CELL PRESS2024

High-order geometric integrators for the local cubic variational Gaussian wavepacket dynamics

Roya Moghaddasi Fereidani

Gaussian wavepacket dynamics has proven to be a useful semiclassical approximation for quantum simulations of high-dimensional systems with low anharmonicity. Compared to Heller's original local harmonic method, the variational Gaussian wavepacket dynamics ...

Aip Publishing2024

Synthesis and Analysis of 3D shapes with Geometric Deep Learning in Computer-Aided Engineering

Edoardo Remelli

In this thesis, we advocate that Computer-Aided Engineering could benefit from a Geometric Deep Learning revolution, similarly to the way that Deep Learning revolutionized Computer Vision. To do so, we consider a variety of Computer-Aided Engineering pr ...

EPFL2022

Optimal Adaptive Droop Design via a Modified Relaxation of the OPF

Giancarlo Ferrari Trecate

The ever-increasing penetration of renewable energy resources (RESs) in power distribution networks has brought, among others, the challenge of maintaining the grid voltages within the secure region. Employing droop voltage regulators on the RES's inverter ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Gaia Early Data Release 3 Summary of the contents and survey properties

Mária Süveges

Context. We present the early installment of the third Gaia data release, Gaia EDR3, consisting of astrometry and photometry for 1.8 billion sources brighter than magnitude 21, complemented with the list of radial velocities from Gaia DR2. ...

EDP SCIENCES S A2021

Tensor Methods in Computer Vision and Deep Learning

Grigorios Chrysos

Tensors, or multidimensional arrays, are data structures that can naturally represent visual data of multiple dimensions. Inherently able to efficiently capture structured, latent semantic spaces and high-order interactions, tensors have a long history of ...

2021