Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Nascimento da Silva Lopes, Marcio Rafael
9  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Antileishmanial Activity of Essential Oils:

, In: Essential Oils,
Almeida-Bezerra, José Weverton ; Fonseca, Victor Juno Alencar ; da Silva Mendes, Johnatan Wellisson... - p. 283-334 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Using spatial data and cluster analysis to automatically de..:

, In: 2022 IEEE International Conference on Data Mining Workshops (ICDMW),
Torres, Jose Alberto Sousa ; Dos Santos, Paulo Henrique ; Da Silva, Daniel Alves... - p. 98-104 , 2022
Link: https://doi.org/10.1109/..
 
?
3

Contributors:

, In: Zika Virus Biology, Transmission, and Pathology,
Abram, Quinn H. ; Addas-Carvalho, Marcelo ; Alpuche-Lazcano, Sergio P.... - p. xix-xxiii , 2021
Link: https://doi.org/10.1016/..
 
?
4

List of Contributors:

, In: Tropical Dermatology,
Almeida, João Pedro ; Amaral Maia, Claudia Pires ; Fattori Assed Saad, Caroline... - p. ix-xiii , 2017
Link: https://doi.org/10.1016/..
 
?
5

High-Level Design Space Exploration of Embedded Systems Usi..:

, In: Behavioral Modeling for Embedded Systems and Technologies,
Ferreira da Silva Oliveira, Marcio ; Wehrmeister, Marco Aurelio ; Assis do Nascimento, Francisco. - p. 114-146 , 2010
Link: https://doi.org/10.4018/..
 
?
6

Using MDE for the formal verification of embedded systems m..:

, In: Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes,
do Nascimento, Francisco Assis M. ; da Silva Oliveira, Marcio F. ; Wagner, Flávio R. - p. 1-6 , 2009
Link: https://dl.acm.org/doi/1..
 
?
7

Formal Verification for Embedded Systems Design Based on MD:

, In: IFIP Advances in Information and Communication Technology; Analysis, Architectures and Modelling of Embedded Systems,
do Nascimento, Francisco Assis Moreira ; da Silva Oliveira, Marcio Ferreira ; Wagner, Flávio Rech - p. 159-170 , 2009
Link: https://doi.org/10.1007/..
 
?
8

Optimized voltage and reactive power control in the context..:

, In: 2020 IEEE PES Transmission & Distribution Conference and Exhibition - Latin America (T&D LA),
Medeiros, Thiago S. ; Sakai, Raphael T. ; Junior, Jose A. C.... - p. 1-6 , 2020
Link: https://doi.org/10.1109/..
 
?
9

An Approach to Advanced Distribution Automation in the Cont..:

, In: 2020 IEEE PES Transmission & Distribution Conference and Exhibition - Latin America (T&D LA),
Sakai, Raphael Toshio ; Frederico Meschini Almeida, Carlos ; Leite Rosa, Luiz Henrique... - p. 1-6 , 2020
Link: https://doi.org/10.1109/..
 
1-9