Elena Queirolo | DeepAI

AI Chat

Featured Co-authors

Christian Kuehn
10 publications
Jean-Philippe Lessard
6 publications
Konstantin Mischaikow
4 publications
Jan Bouwe van den Berg
3 publications
Kevin Church
1 publication
Shane Kepley
1 publication

∙ 04/28/2022

Global analysis of regulatory network dynamics: equilibria and saddle-node bifurcations

In this paper we describe a combined combinatorial/numerical approach to...

0 Shane Kepley, et al. ∙

∙ 02/27/2022

Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations

We present a computer-assisted approach to prove the existence of Hopf b...

0 Kevin Church, et al. ∙

∙ 02/10/2022

Computer Validation of Neural Network Dynamics: A First Case Study

A large number of current machine learning methods rely upon deep neural...

0 Christian Kuehn, et al. ∙

∙ 09/28/2020

Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE

We use computer-assisted proof techniques to prove that a branch of non-...

0 Jan Bouwe van den Berg, et al. ∙

∙ 06/23/2020

Rigorous verification of Hopf bifurcations via desingularization and continuation

In this paper we present a general approach to rigorously validate Hopf ...

0 Jan Bouwe van den Berg, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world