Author of the publication

A Computer-Assisted Proof of Σ3-Chaos in the Forced Damped Pendulum Equation.

, , , and . SIAM J. Applied Dynamical Systems, 7 (3): 843-867 (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Fooling a Complete Neural Network Verifier., , , , and . ICLR, OpenReview.net, (2021)On the existence and stabilization of an upper unstable limit cycle of the damped forced pendulum., , and . J. Comput. Appl. Math., (2020)A Computer-Assisted Proof of Σ3-Chaos in the Forced Damped Pendulum Equation., , , and . SIAM J. Applied Dynamical Systems, 7 (3): 843-867 (2008)Adversarial Example Free Zones for Specific Inputs and Neural Networks., , , , , and . ICAI, volume 2650 of CEUR Workshop Proceedings, page 76-84. CEUR-WS.org, (2020)Data Mining and Analysis for Data From Vehicles Based on the OBDII Standard., and . ICAI, volume 2650 of CEUR Workshop Proceedings, page 30-37. CEUR-WS.org, (2020)A Verified Optimization Technique to Locate Chaotic Regions of Hénon Systems., , and . J. Glob. Optim., 35 (1): 145-160 (2006)A Parallel Interval Arithmetic-based Reliable Computing Method on a GPU., and . Acta Cybern., 23 (2): 491-501 (2017)Global Attractivity of the Zero Solution for Wright's Equation., , , and . SIAM J. Applied Dynamical Systems, 13 (1): 537-563 (2014)Optimization and the Miranda Approach in Detecting Horseshoe-Type Chaos by Computer., , and . Int. J. Bifurc. Chaos, 17 (3): 735-747 (2007)An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum., and . Central Eur. J. Oper. Res., 21 (4): 757-767 (2013)