( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Explicit Error Bounds for Carleman Linearization.

, и . CoRR, (2017)

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.

Marcelo Giovannetti

Marcelo Klötzle

Marcelo Ephraim

Marcelo Trallero

Marcelo Bertasso

 

Другие публикации лиц с тем же именем

Explicit Error Bounds for Carleman Linearization., и . CoRR, (2017)Quantum walking in curved spacetime., , и . Quantum Inf. Process., 15 (8): 3467-3486 (2016)Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions., , и . MEMOCODE, стр. 1-6. IEEE, (2020)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , и . ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 14-40. EasyChair, (2019)The Inverse Problem for Neural Networks., и . AISoLA, том 14380 из Lecture Notes in Computer Science, стр. 241-255. Springer, (2023)Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)., , , , и . Inf. Comput., 289 (Part): 104937 (2022)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , и 3 other автор(ы). ARCH, том 74 из EPiC Series in Computing, стр. 49-75. EasyChair, (2020)ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , и . ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 90-119. EasyChair, (2021)Constructing verification models of nonlinear Simulink systems via syntactic hybridization., , и . CDC, стр. 1788-1795. IEEE, (2017)Verified propagation of imprecise probabilities in non-linear ODEs., , , , и . Int. J. Approx. Reason., (января 2024)