Jelenlegi hely

Videos

Dániel Zombori, Tamás Szabó, János Horváth, Attila Szász, Tibor Csendes and Balázs Bánhelyi: Verification of artificial neural networks via MIPVerify and SCIP
J.D. Mireles James et al.: Computer assisted proofs for connecting orbits in infinite dimensions
Sergey Shary: Variability measures for estimates in interval data fitting
Marco De Angelis: Linear-time algorithm for interval uncertainty propagation through the discrete Fourier transform
Massimiliano Fasi and Mantas Mikaitis: CPFloat: A C library for emulating low-precision arith- metic
Dániel Zombori, Tamás Szabó, János Horváth, Attila Szász, Tibor Csendes and Balázs Bán- helyi: Verification of artificial neural networks via MIPVerify and SCIP
Ferenc Ágoston Bartha, Tibor Krisztin and Alexandra Vígh: Stable periodic orbits for the Mackey–Glass equation
Sergey Kumkov: Information Sets of Rebuilding Dependence Parameters for Criteria of Strong and Weak Compatibility under Heavy Two-Dimensional Measuring Errors
Xuefeng Liu: Rigorous maximum norm estimation for polynomial systems
Dun Liu and R. Baker Kearfott: On Convexity and Difficulty of Global Optimization Problems