Obserwuj
Andrea Iabrudi Tavares
Andrea Iabrudi Tavares
Professor of Computer Science, Universidade Federal de Ouro Preto
Zweryfikowany adres z iceb.ufop.br
Tytuł
Cytowane przez
Cytowane przez
Rok
Fast detection of arbitrarily shaped disease clusters
R Assuncao, M Costa, A Tavares, S Ferreira
Statistics in medicine 25 (5), 723-742, 2006
1632006
A scatter search based approach for the quadratic assignment problem
VD Cung, T Mautor, P Michelon, A Tavares
Proceedings of 1997 IEEE International Conference on Evolutionary …, 1997
1331997
A scatter search based approach for the quadratic assignment problem
VD Cung, T Mautor, P Michelon, A Tavares
Proceedings of 1997 IEEE International Conference on Evolutionary …, 1997
1331997
Space‐time cluster identification in point processes
R Assunçäo, A Tavares, T Correa, M Kulldorff
Canadian Journal of Statistics 35 (1), 9-25, 2007
302007
Manual de Reabilitação e Manutenção de Edifícios Guia de intervenção
A Varum, A Tavares, A Costa
Aveiro: INOVADOMUS, 2011
292011
An embedded converter from RS232 to Universal Serial Bus
LDDAP Zuquim, CJN Coelho, AO Fernandes, MP de Oliveira, AI Tavares
Symposium on Integrated Circuits and Systems Design, 91-96, 2001
232001
Towards an automatic vehicle access control system: License plate location
PRM Júnior, JMR Neves, AI Tavares, D Menotti
2011 IEEE International Conference on Systems, Man, and Cybernetics, 2916-2921, 2011
212011
Reducing fragmentation in incremental author name disambiguation
LVB Esperidião, AA Ferreira, AHF Laender, MA Gonçalves, DM Gomes, ...
Journal of Information and Data Management 5 (3), 293-293, 2014
182014
Scatter search for the quadratic assignment problem
VD Cung, T Mautor, P Michelon, A Tavares
Laboratoire PRiSM-CNRS URA 1525, 1996
181996
Gathering alumni information from a web social network
GR Goncalves, AA Ferreira, GT de Assis, AI Tavares
2014 9th Latin American Web Congress, 100-108, 2014
162014
An early warning system for space-time cluster detection.
RM Assunção, AI Tavares, M Kulldorff
82003
Efficient allocation of verification resources using revision history information
JA Nacif, T Silva, AI Tavares, AO Fernandes, CN Coelho
2008 11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and …, 2008
72008
Acute kidney injury in hospitalized patients who underwent percutaneous kidney biopsy for histological diagnosis of their renal disease
HP Konigsfeld, TG Viana, SC Pereira, TOCD Santos, GM Kirsztajn, ...
BMC nephrology 20 (1), 1-8, 2019
62019
Method, system, and computer program product for verifying an electronic circuit design with a graph-based proof flow
CAT Campos, TVCF Santos, AI Tavares, F Peixoto, CJN Coelho Jr
US Patent 9,817,930, 2017
52017
Methods, systems, and computer program product for verifying electronic designs with clock domain crossing paths
X Sun, MV da Mata Gomes, AI Tavares, L Loh, F Peixoto
US Patent 9,633,151, 2017
42017
Methods, systems, and articles of manufacture for verifying an electronic design using hierarchical clock domain crossing verification techniques
L Loh, AMM Costa, BR Guimaraes, F Peixoto, AI Tavares
US Patent 10,204,201, 2019
32019
MAD-STEC: a method for multiple automatic detection of space-time emerging clusters
BM Veloso, TR Correa, MO Prates, GF Oliveira, AI Tavares
Statistics and Computing 27 (4), 1099-1110, 2017
32017
Métodos de Classificação por Árvores de Decisão Disciplina de Projeto e Análise de Algoritmos
MJ BARBOSA, TGS CARNEIRO, AI Tavares
UFOP–Universidade Federal de Ouro Preto Ouro Preto, Minas Gerais–MG, 2012
22012
Systems and methods for automatic formal metastability fault analysis in an electronic design
AMA Drake, AI Tavares, AMM Costa, FC Peixoto, LL Santos, ...
US Patent 10,769,008, 2020
12020
Methods, systems, and articles of manufacture for graph-driven verification and debugging of an electronic design
CL Lin, AI Tavares, CWN Ip
US Patent 10,094,875, 2018
12018
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20