E-LIB Suche - Ergebnisse für: Lima, Lucas

1

Selected papers from the 25th Brazilian Symposium on Formal..:

Lima, Lucas ; Molnár, Vince
Science of Computer Programming. 238 (2024) - p. 103133 , 2024

Link: https://doi.org/10.1016/..

2

Towards Ontology Enabled Agent-Based Twinning for Cyber-Phy..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Marah, Hussein ; Lima, Lucas ; Challenger, Moharram. - p. 444-448 , 2023

Link: https://doi.org/10.1109/..

3

EphemBrazil: a curated online database and dashboard to exp..:

Salles, Frederico Falcão ; Fernandes, Otávio Luiz ; Boldrini, Rafael...
Revista Brasileira de Entomologia. 67 (2023) spe - p. , 2023

Link: https://doi.org/10.1590/..

4

Inter-comparison of optical and SAR-based forest disturbanc..:

Doblas Prieto, Juan ; Lima, Lucas ; Mermoz, Stephane...
International Journal of Remote Sensing. 44 (2023) 1 - p. 59-77 , 2023

Link: https://doi.org/10.1080/..

5

A formal component model for UML based on CSP aiming at com..:

Falcão, Flávia ; Lima, Lucas ; Sampaio, Augusto.
Software and Systems Modeling. , 2023

Link: https://doi.org/10.1007/..

6

Towards an Ontological Framework for Validity Frames:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Mittal, Rakshit ; Eslampanah, Raheleh ; Lima, Lucas.. - p. 801-805 , 2023

Link: https://doi.org/10.1109/..

7

Symbolic Reasoning for Early Decision-Making in Model-Based..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Cederbladh, Johan ; Cleophas, Loek ; Kamburjan, Eduard.. - p. 721-725 , 2023

Link: https://doi.org/10.1109/..

8

Mudanças no estilo de vida em crianças e adolescentes reduz..:

Silva, Pedro ; Roncholeta, Luiza ; Lima, Lucas...
Brazilian Journal of Implantology and Health Sciences. 5 (2023) 5 - p. 3451-3466 , 2023

Link: https://doi.org/10.36557..

9

Formal Methods: Foundations and Applications: 25th Brazilia..

Lecture Notes in Computer Science, 13768

Lima, Lucas ; Molnár, Vince - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

10

Assessment of Triozoida limbata (Hemiptera: Triozidae) atta..:

Picanço, Mayara M. ; Silva, Ricardo S. ; Azevedo, Aristea A....
Austral Entomology. 61 (2022) 4 - p. 472-479 , 2022

Link: https://doi.org/10.1111/..

11

Visual Specification of Properties for Robotic Designs:

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,

Lindoso Jr., Waldeck ; Nogueira, Sidney C. ; Domingues, Renato. - p. 34-52 , 2021

Link: https://doi.org/10.1007/..

12

Energy and Exergy Analysis of an Absorption and Mechanical ..:

Lima, Lucas ; Keutenedjian Mady, Carlos
Entropy. 23 (2021) 4 - p. 415 , 2021

Link: https://doi.org/10.3390/..

13

Toward classifying small lung nodules with hyperparameter o..:

Lima, Lucas L. ; Ferreira Junior, José R. ; Oliveira, Marcelo C.
Computational Intelligence. 37 (2020) 4 - p. 1599-1618 , 2020

Link: https://doi.org/10.1111/..

14

Extended Endoscopic Endonasal Clipping of Intracranial Aneu..:

Montaser, Alaa S. ; Prevedello, Daniel M. ; Gomez, Matias...
World Neurosurgery. 133 (2020) - p. e356-e368 , 2020

Link: https://doi.org/10.1016/..

15

Liberal and Restrictive Blood Transfusion Strategies in Ort..:

Pereira, Hoberdan ; Perucci, Marcelo ; de Lima, Lucas...
Infection Control & Hospital Epidemiology. 41 (2020) S1 - p. s313-s314 , 2020

Link: https://doi.org/10.1017/..