I agree that this site is using cookies. You can find further informations here.
X
Marcelo Forets
553  results:
Search for persons X
?
1

Verified propagation of imprecise probabilities in non-line..:

Gray, Ander ; Forets, Marcelo ; Schilling, Christian..
International Journal of Approximate Reasoning.  164 (2024)  - p. 109044 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Optimization algorithms for adaptative route sequencing on ..:

Hernandez, Fernando ; Sotelo, Rafael ; Forets, Marcelo
Ingenius.  , 2024
Link: https://doi.org/10.17163..
 
?
3

The Inverse Problem for Neural Networks:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,
Forets, Marcelo ; Schilling, Christian - p. 241-255 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Combining set propagation with finite element methods for t..:

Forets, Marcelo ; Freire Caporale, Daniel ; Pérez Zerpa, Jorge M.
Computers & Structures.  259 (2022)  - p. 106699 , 2022
Link: https://doi.org/10.1016/..
 
?
5

Decomposing reach set computations with low-dimensional set..:

Bogomolov, Sergiy ; Forets, Marcelo ; Frehse, Goran..
Information and Computation.  289 (2022)  - p. 104937 , 2022
Link: https://doi.org/10.1016/..
 
?
6

Conservative Time Discretization: A Comparative Study:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Forets, Marcelo ; Schilling, Christian - p. 149-167 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Reachability of Weakly Nonlinear Systems Using Carleman Lin..:

, In: Lecture Notes in Computer Science; Reachability Problems,
Forets, Marcelo ; Schilling, Christian - p. 85-99 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Case Study: Reachability and Scalability in a Unified Comba..:

, In: Lecture Notes in Computer Science; Reachability Problems,
Bogomolov, Sergiy ; Forets, Marcelo ; Potomkin, Kostiantyn - p. 52-66 , 2020
Link: https://doi.org/10.1007/..
 
?
9

Efficient reachability analysis of parametric linear hybrid..:

, In: 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE),
Forets, Marcelo ; Freire, Daniel ; Schilling, Christian - p. 1-6 , 2020
Link: https://doi.org/10.1109/..
 
?
10

Application of quantum optimization techniques (QUBO method..:

, In: 2020 IEEE Congreso Bienal de Argentina (ARGENCON),
Hernandez, Fernando ; Diaz, Kenny ; Forets, Marcelo. - p. 1-1 , 2020
Link: https://doi.org/10.1109/..
 
?
11

JuliaReach : a toolbox for set-based reachability:

, In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control,
Bogomolov, Sergiy ; Forets, Marcelo ; Frehse, Goran.. - p. 39-44 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

Reach Set Approximation through Decomposition with Low-dime..:

, In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week),
Bogomolov, Sergiy ; Forets, Marcelo ; Frehse, Goran... - p. 41-50 , 2018
Link: https://dl.acm.org/doi/1..
 
?
13

Quantum walking in curved spacetime:

Arrighi, Pablo ; Facchini, Stefano ; Forets, Marcelo
Quantum Information Processing.  15 (2016)  8 - p. 3467-3486 , 2016
Link: https://doi.org/10.1007/..
 
?
14

Discrete Lorentz covariance for quantum walks and quantum c..:

Arrighi, Pablo ; Facchini, Stefano ; Forets, Marcelo
New Journal of Physics.  16 (2014)  9 - p. 093007 , 2014
Link: https://doi.org/10.1088/..
 
?
15

Optimization algorithms for adaptative route sequencing on ..:

Fernando Hernandez ; Rafael Sotelo ; Marcelo Forets
https://lagranja.ups.edu.ec/index.php/alteridad/article/view/908/index.php/granja/article/view/5482/index.php/granja/user/register/index.php/ingenius/article/view/7410.  , 2024
Link: https://doi.org/10.17163..
 
1-15