Search Results for author: Jacek Cyranka

Found 4 papers, 3 papers with code

On The Verification of Neural ODEs with Stochastic Guarantees

no code implementations16 Dec 2020 Sophie Gruenbacher, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu

We show that Neural ODEs, an emerging class of time-continuous neural networks, can be verified by solving a set of global-optimization problems.

Lagrangian Reachtubes: The Next Generation

1 code implementation14 Dec 2020 Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu

Secondly, it computes the next reachset as the intersection of two balls: one based on the Cartesian metric and the other on the new metric.

Mapper Based Classifier

2 code implementations17 Oct 2019 Jacek Cyranka, Alexander Georges, David Meyer

We propose a classifier based on applying the Mapper algorithm to data projected onto a latent space.

Topological Data Analysis

Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model

1 code implementation3 Mar 2017 Jacek Cyranka, Thomas Wanner

We present a computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model of diblock copolymers.

Analysis of PDEs Computational Engineering, Finance, and Science Dynamical Systems Numerical Analysis 35B40, 35B41, 35K55, 65C20, 35Q99, 15B99, 68U20

Cannot find the paper you are looking for? You can Submit a new open access paper.