Fabrício Vivas Andrade

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 2

Top Topics

Fluoroscopic Images

Restricted Boltzmann Machine

Classification Accuracy

Top Venues

Int. J. Recent Contributions Eng. Sci. IT

Federal University of Minas Gerais, Brazil (PHD)

Education History

Federal University of Minas Gerais, Brazil

PHD

Publications

Leandro Maia Silva, Fabrício Vivas Andrade, Luiz Filipe Menezes Vieira
A Continuous Restricted Boltzmann Machine and Logistic Regression Framework for Circuit Classification. IJCNN (2020)
Leandro Maia Silva, Fabrício Vivas Andrade, Antônio Otávio Fernandes, Luiz Filipe Menezes Vieira
Arithmetic Circuit Classification Using Convolutional Neural Networks. IJCNN (2018)
Marcio Roberto Dias Araujo, Flávio Luis Cardeal Pádua, Fabrício Vivas Andrade, Fabio Lucio Correa-Junior
MIPS X-Ray: A MARS Simulator Plug-in for Teaching Computer Architecture. Int. J. Recent Contributions Eng. Sci. IT 2 (2) (2014)
Bernardo C. Vieira, Fabrício Vivas Andrade, Antônio Otávio Fernandes
A modular CNF-based SAT solver. SBCCI (2010)
Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes
Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. ICCD (2008)
Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes
BenCGen: a digital circuit generation tool for benchmarks. SBCCI (2008)
Fabrício Vivas Andrade, Márcia C. M. Oliveira, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.
SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse. DDECS (2007)