I agree that this site is using cookies. You can find further informations here.
X
Cruz Torres, Mario Henrique
128  results:
Search for persons X
?
1

Dancing UAVs: Using linear programming to model movement be..:

, In: 2017 International Conference on Unmanned Aircraft Systems (ICUAS),
Dinh, Hoang Tung ; Cruz Torres, Mario Henrique ; Holvoet, Tom - p. 326-335 , 2017
Link: https://doi.org/10.1109/..
 
?
2

Scalable multirotor UAV trajectory planning using mixed int..:

, In: 2017 European Conference on Mobile Robots (ECMR),
De Waen, Jorik ; Dinh, Hoang Tung ; Cruz Torres, Mario Henrique. - p. 1-6 , 2017
Link: https://doi.org/10.1109/..
 
?
3

Composite service optimization through decentralized coordi..:

, In: Proceedings of the 8th ACM international conference on Autonomic computing,
Cruz Torres, Mario Henrique ; Holvoet, Tom - p. 167-168 , 2011
Link: https://dl.acm.org/doi/1..
 
?
4

Composite service adaptation : a QoS-driven approach:

, In: Proceedings of the 5th International Conference on Communication System Software and Middleware,
Cruz Torres, Mario Henrique ; Holvoet, Tom - p. 1-7 , 2011
Link: https://dl.acm.org/doi/1..
 
?
5

(No) more design patterns for multi-agent systems:

, In: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11,
Cruz Torres, Mario Henrique ; Van Beers, Tony ; Holvoet, Tom - p. 213-220 , 2011
Link: https://dl.acm.org/doi/1..
 
?
6

MAS organisations to adapt your composite service:

, In: Proceedings of the 3rd International Workshop on Monitoring, Adaptation and Beyond,
Cruz Torres, Mario Henrique ; Noël, Victor ; Holvoet, Tom. - p. 33-39 , 2010
Link: https://dl.acm.org/doi/1..
 
?
7

A Case Study on Formally Validating Motion Rules for Autono..:

, In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science,
Torres, Mario Henrique Cruz ; Giacalone, Jean-Pierre ; Abou Faysal, Joelle - p. 233-248 , 2021
Link: https://doi.org/10.1007/..
 
?
8

A Case Study on Formally Validating Motion Rules for Autono..:

Cruz Torres, Mario Henrique ; Giacalone, Jean-Pierre ; Abou Faysal, Joelle
hal-03331230.  , 2020
Link: https://hal.archives-ouv..
 
?
9

A Case Study on Formally Validating Motion Rules for Autono..:

Cruz Torres, Mario Henrique ; Giacalone, Jean-Pierre ; Abou Faysal, Joelle
hal-03331230.  , 2020
Link: https://hal.science/hal-..
 
?
10

A middleware model in alloy for supply chain-wide agent int..:

Haesevoets, Robrecht ; Weyns, Danny ; Cruz Torres, Mario Henrique...
Lecture Notes in Computer Science, 0302-9743.  , 2011
Link: http://urn.kb.se/resolve..
 
?
11

Nicotinamide riboside and dietary restriction effects on gu..:

Longo, Larisse ; de Castro, Josimar Macedo ; Keingeski, Melina Belén...
Nutrition.  110 (2023)  - p. 112019 , 2023
Link: https://doi.org/10.1016/..
 
?
12

The fourth COVID-19 vaccine dose increased the neutralizing..:

Pires Farias, Jéssica ; Andreata-Santos, Robert ; Dalety da Silva Brito, Ruth...
Microbiology Spectrum.  11 (2023)  6 - p. , 2023
Link: https://doi.org/10.1128/..
 
?
13

Jaguar movement database: a GPS-based movement dataset of a..:

Morato, Ronaldo G. ; Thompson, Jeffrey J. ; Paviolo, Agustin...
Ecology.  99 (2018)  7 - p. 1691 ff. , 2018
Link: https://www.jstor.org/st..
 
?
14

DataS1:

Morato, Ronaldo ; Thompson, Jeffrey ; Paviolo, Agustín...
doi:10.5061/dryad.2dh0223.  , 2018
Link: http://hdl.handle.net/10..
 
?
15

AMAZONIA CAMTRAP: A data set of mammal, bird, and reptile s..:

Antunes, Ana Carolina ; Montanarin, Anelise ; Gräbin, Diogo Maia...
Ecology -- 0012-9658 -- 1939-9170.  , 2022
Link: https://doi.org/10.1002/..
 
1-15