( en | de | ru )

 

Disambiguierung von "Forets, Marcelo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Quantum walking in curved spacetime.

, , und . Quantum Inf. Process., 15 (8): 3467-3486 (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marcelo Trallero

Marcelo Ephraim

Marcelo Giovannetti

Marcelo Klötzle

Marcelo Bertasso

 

Weitere Publikationen von Autoren mit dem selben Namen

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