E-LIB Suche - Ergebnisse für: Cyranka, Jacek

1

Validated forward integration scheme for parabolic PDEs via..:

Cyranka, Jacek ; Lessard, Jean-Philippe
Communications in Nonlinear Science and Numerical Simulation. 109 (2022) - p. 106304 , 2022

Link: https://doi.org/10.1016/..

2

Lagrangian Reachtubes: The Next Generation:

, In: 2020 59th IEEE Conference on Decision and Control (CDC),

Gruenbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias... - p. 1556-1563 , 2020

Link: https://doi.org/10.1109/..

3

Contractibility of a persistence map preimage:

Cyranka, Jacek ; Mischaikow, Konstantin ; Weibel, Charles
Journal of Applied and Computational Topology. 4 (2020) 4 - p. 509-523 , 2020

Link: https://doi.org/10.1007/..

4

Mapper Based Classifier:

, In: 2019 18th IEEE International Conference On Machine Learning And Applications (ICMLA),

Cyranka, Jacek ; Georges, Alexander ; Meyer, David - p. 1099-1106 , 2019

Link: https://doi.org/10.1109/..

5

Stabilizing the long-time behavior of the forced Navier–Sto..:

Cyranka, Jacek ; Mucha, Piotr B. ; Titi, Edriss S..
Physica D: Nonlinear Phenomena. 369 (2018) - p. 18-29 , 2018

Link: https://doi.org/10.1016/..

6

A construction of two different solutions to an elliptic sy..:

Cyranka, Jacek ; Mucha, Piotr Bogusław
Journal of Mathematical Analysis and Applications. 465 (2018) 1 - p. 500-530 , 2018

Link: https://doi.org/10.1016/..

7

Computer-Assisted Proof of Heteroclinic Connections in the ..:

Cyranka, Jacek ; Wanner, Thomas
SIAM Journal on Applied Dynamical Systems. 17 (2018) 1 - p. 694-731 , 2018

Link: https://doi.org/10.1137/..

8

Stabilizing effect of large average initial velocity in for..:

Cyranka, Jacek ; Zgliczyński, Piotr
Journal of Differential Equations. 261 (2016) 8 - p. 4648-4708 , 2016

Link: https://doi.org/10.1016/..

9

Existence of Globally AttractingSolutions for One-Dimension..:

Cyranka, Jacek ; Zgliczyński, Piotr
SIAM Journal on Applied Dynamical Systems. 14 (2015) 2 - p. 787-821 , 2015

Link: https://doi.org/10.1137/..

10

Efficient and Generic Algorithm for Rigorous Integration Fo..:

Cyranka, Jacek
Journal of Scientific Computing. 59 (2013) 1 - p. 28-52 , 2013

Link: https://doi.org/10.1007/..

11

A Polarization Opinion Model Inspired by Bounded Confidence..:

Cyranka, Jacek ; Mucha, Piotr B
http://arxiv.org/abs/2312.14599. , 2023

Link: http://arxiv.org/abs/231..

12

Worrisome Properties of Neural Network Controllers and Thei..:

Cyranka, Jacek ; Church, Kevin E M ; Lessard, Jean-Philippe
http://arxiv.org/abs/2307.15456. , 2023

Link: http://arxiv.org/abs/230..

13

Unified Long-Term Time-Series Forecasting Benchmark:

Cyranka, Jacek ; Haponiuk, Szymon
http://arxiv.org/abs/2309.15946. , 2023

Link: http://arxiv.org/abs/230..

14

Improved Overparametrization Bounds for Global Convergence ..:

Polaczyk, Bartłomiej ; Cyranka, Jacek
http://arxiv.org/abs/2201.12052. , 2022

Link: http://arxiv.org/abs/220..

15

Validated forward integration scheme for parabolic PDEs via..:

Cyranka, Jacek ; Lessard, Jean-Philippe
http://arxiv.org/abs/2101.00684. , 2021

Link: http://arxiv.org/abs/210..