Publikacje

Jacek Cyranka

Liczba publikacji: 9

2023

• Bartłomiej Polaczyk , Jacek Cyranka , Improved Overparametrization Bounds for Global Convergence of SGD for Shallow Neural Networks, Transactions on Machine Learning Research, 2023. Zobacz w PBN
• Jacek Cyranka , Kevin E. M. Church, Jean-Philippe Lessard, Worrisome Properties of Neural Network Controllers and Their Symbolic Representations, 26th European Conference on Artificial Intelligence, Kraków, Poland, 29 września 2023 - 3 października 2023. Zobacz w PBN

2021

• Sophie Gruenbacher, Ramin Hasani, Mathias Lechner, Jacek Cyranka , Scott A. Smolka, Radu Grosu, On the Verification of Neural ODEs with Stochastic Guarantees, 35th AAAI Conference on Artificial Intelligence, Vancouver, Canada, 2 lutego 2021 - 9 lutego 2021. Zobacz w PBN

2020

• Jacek Cyranka , Konstantin Mischaikow, Charles Weibel, Contractibility of a persistence map preimage, Journal of Applied and Computational Topology, 4 (4) 2020, s. 509-523. Zobacz w PBN
• Sophie Gruenbacher, Jacek Cyranka , Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu, Lagrangian Reachtubes: The Next Generation, 59th IEEE Conference on Decision and Control, Jeju Island, the Republic of Korea, 14 grudnia 2020 - 18 grudnia 2020. Zobacz w PBN

2019

• Jacek Cyranka , Alexander Georges, David Meyer, Mapper Based Classifier, 18th IEEE International Conference on Machine Learning and Applications, Boca Raton, the United States of America, 16 grudnia 2019 - 19 grudnia 2019. Zobacz w PBN

2016

• Jacek Cyranka , Piotr Zgliczynski, Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations, Journal of Differential Equations, 2016. Zobacz w PBN

2015

• Jacek Cyranka , Piotr Zgliczynski, Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing-A Computer Assisted Proof, SIAM Journal on Applied Dynamical Systems, 2015. Zobacz w PBN

2014

• Jacek Cyranka , Efficient and generic algorithm for rigorous integration forward in time of dPDEs : part I, JOURNAL OF SCIENTIFIC COMPUTING, 59 (1) 2014, s. 28-52. Zobacz w PBN