gui

Guilherme Torres Castro

High-performance computing with GPU for formal concept analysis.

CV: http://lattes.cnpq.br/2246977542281379
Conclusion:
2017.
Advisor: Henrique Cota de Freitas.
Co-advisor : Cristiane Neri Nobre.

 

Caio Ribeiro

Caio Eduardo Ribeiro

Human Aging: Data Mining applied to Longitudinal database using clustering techniques. Case study in aging.

CV: http://lattes.cnpq.br/7979059564322790
Conclusion: 2017.
Advisor : Luis E. Zárate

 

amanda

Amanda Maria Pinho Amorim

Thread Mapping on many-core architectures using machine learning.

CV: http://lattes.cnpq.br/0685451537631222
Conclusion:
2017.
Advisor : Henrique Cota de Freitas.
Co-advisor : Luis Enrique Zárate.

israel

Israel Severino Júnior

Analysis of users’ emotions with visually impaired on Facebook.

CV: http://lattes.cnpq.br/5150194475566761
Outset :
2016.
Advisor : Cristiane Neri Nobre.

marcio

Márcio Assis Miranda

A domain-specific approach to generate sequences diagrams.

CV: http://lattes.cnpq.br/9451709196720206
Outset :
2016.
Advisor : Mark A. Junho Song.

gaby

Gabriela Teodoro de Oliveira Santos

Identification of the proteinic function via SVM Advisor:

CV: http://lattes.cnpq.br/4004451297185606
Conclusion: 2016.
Advisor : Luis E. Zárate.
Co-advisor : Cristiane Neri Nobre

 

 Pedro_henrique

Pedro Henrique Batista Ruas da Silveira

The influence of persuasive strategies on Facebook User Behavior.

CV: http://lattes.cnpq.br/0903543277866262
Conclusion: 2016.
Advisor : Cristiane Neri Nobre.

Marcos_Wander_Rodrigues

Marcos Wander Rodrigues

Educational Data Mining – a survey of 20 years.

CV: http://lattes.cnpq.br/7814251057051192
Conclusion: 2016.
Advisor : Luis E. Zárate

logo_instituto

Matheus Alcântara Souza

Design space exploration for many-core architectures.

CV: http://lattes.cnpq.br/1378999659902696
Outset :
2013.
Advisor : Henrique Cota de Freitas.

tiao

Sebastião M. Neto

Using BDD to extract implication rules via Formal Analysis Concepts.

CV: http://lattes.cnpq.br/0442115954997077
Conclusion:
 2016.
Advisor : Mark A. Junho Song.
Co-advisor : Luis Enrique Zárate

Cristiano lacerda

Cristiano Lacerda Pinto

Transductive Learning applied to the recognition of TIS.

CV: http://lattes.cnpq.br/7844981401703408
Conclusion: 2015
Advisor : Luis E. Zárate
Co-advisor : Cristiane Neri Nobre

logo_instituto

Leonardo Borges Athayde Vasconcelos.

Evaluation of Parallel Programming Strategy Applied on the First Year of a Computer Science Course

CV: http://lattes.cnpq.br/1584451584510807
Conclusion:
2015
Advisor : Henrique Cota de Freitas.

logo_instituto

Amanda Danielle Lima de Oliveira Tameirão

Symbolic Model Checking Applied to Timing diagrams.

CV: http://lattes.cnpq.br/9251425281353709
Advisor
: Mark Alan Junho Song.

logo_instituto

Cíntia Pinto Avelar

Evaluation of Process Mapping Approaches on Networks-on-Chip for Parallel Applications.

CV: http://lattes.cnpq.br/8587949125843195
Conclusion:
2014.
Advisor : Henrique Cota de Freitas.

logo_instituto

Décius Vinícius Mota Pereira.

Extraction of Classes Through the Application of Formal Concept Analysis.

CV: http://lattes.cnpq.br/0001254051266765
Conclusion:
2014.
Advisor : Mark Alan Junho Song.

IMG_3615Foto4x3

Anselmo Leonardo Obadias Nhame

Self-optimization in Autonomic Computing System Based on the Methodology of Bee Swarm Intelligence.

CV: http://lattes.cnpq.br/3209786999151458
Conclusion:
2014.
Advisor : Mark Alan Junho Song.

Nilander Ricardo magalhaes

Nilander Ricardo Magalhães de Moraes

Parallelization of the algorithm Nextclosure in high-dimensional contexts in number of objects.

CV: http://lattes.cnpq.br/1473959920705252
Advisor :
Luis Enrique Zárate.
Co-advisor : Henrique Cota de Freitas.

logo_instituto

Tiago Rodrigues Lopes dos Santos

A comparative analysis of similarity measures for clustering categorical data.

CV: http://lattes.cnpq.br/3761514803312895
Conclusion:
2014.
Advisor : Luis Enrique Zárate.

 

Fagner70

Fagner Andrade de Oliveira

Applying Artificial Neural Networks to prediction of stock price and improvement of the directional prediction index – Case study of PETR4, Petrobras, Brazil.

CV: http://lattes.cnpq.br/7149246641098588
Conclusion:
2013.
Advisor: Luis Enrique Zárate.

logo_instituto

Adriana Costa Monteiro

Usage of ontology in supporting the data warehouse projects: A case study in social vulnerability.

CV: http://lattes.cnpq.br/7552642382061742
Conclusion:
2012.
Advisor : Luis Enrique Zárate.

Andre_Montevecchi

André Luiz Dias Montevecchi

PICTOREA: A method for Knowledge Discovery in conventional data base.

CV: http://lattes.cnpq.br/6787632241820327
Conclusion:
2012.
Advisor : Luis Enrique Zárate.

logo_instituto

Pedro Felipe Alves de Oliveira

Large Scale Genetic Identity Inference Using Probabilistic Model Checking.

CV: http://lattes.cnpq.br/1929171390224758
Conclusion:
2012.
Advisor : Mark Alan Junho Song.

Laerte Rodrigues

Laerte Mateus Rodrigues

Proposal and Evaluation of Parallel and Distributed k-means to Predict Translation Initiation Site in Messenger RNA for Protein Identification.

CV: http://lattes.cnpq.br/4252515921496775
Advisor:
Henrique Cota de Freitas.
Co-advisor: Cristiane Neri Nobre.

poliana-correa

Poliana Aparecida Corrêa de Oliveira

Performance Evaluation and Parallel Workload Characterization for Wireless Networks-on-Chip.

CV: http://lattes.cnpq.br/6292547555081852
Conclusion:
2012.
Advisor : Henrique Cota de Freitas.

logo_instituto

Ana Paula Serra

Characterization of time series for analyzing of the evolution of time series clusters.

CV: http://lattes.cnpq.br/8096928789210362
Conclusion:
2011.
Advisor : Luis Enrique Zárate.

logo_instituto

Rodrigo Rezende Marinho Diana

Validating SQL Code Using Symbolic Model Checking.

CV: http://lattes.cnpq.br/8911930699584822
Conclusion:
2011.
Advisor : Mark Alan Junho Song.

Flavio fernandes

Flávio Gonçalves Fernandes

A Framework for Automatic Verification of UML Models.

CV: http://lattes.cnpq.br/6058104335959053
Conclusion:
2011
Advisor: Mark Alan Junho Song.

logo_instituto

Lívia Márcia Silva

Improvement in the prediction of the translation initiation site through balancing methods, inclusion of acquired knowledge and addition of features to sequences of mRNA.

CV: http://lattes.cnpq.br/7567540863250314
Conclusion:
2010.
Advisor: Luis Enrique Zárate.

logo_instituto

Flávio Márcio de Moraes e Silva

PUC-SAT: A Hybrid SAT Solver Based on Stalmarck and DPLL algorithms.

CV: http://lattes.cnpq.br/2745035869164594
Conclusion:
2010.
Advisor : Mark Alan Junho Song.

logo_instituto

Cristiano de Magalhães Barros

Automatized Checking of Business Rules for Activity Execution Sequence in Workflows.

CV: http://lattes.cnpq.br/5173282208018456
Conclusion:
2010.
Advisor: Mark Alan Junho Song.

logo_instituto

Júlio César Neves

Distributed BMC: A Depth-First Approach to Explore Clause Symmetry.

CV: http://lattes.cnpq.br/9220958247778716
Conclusion:
2009.
Advisor: Mark Alan Junho Song.

logo_instituto

Carolina Maria Francisco Cota

Genetic Identity Inference Based on Symbolic Model Checking.

CV: http://lattes.cnpq.br/1707438871477677
Conclusion:
2009
Advisor : Mark Alan Junho Song.

logo_instituto

Wanderley Clarete Lanza Meirelles

Data Mining in the Reduction of the Number of Places of Experiments for Plant Cultivates Computers and Electronics in Agriculture. Computers and Electronics in Agriculture.

CV: http://lattes.cnpq.br/2598952202211187
Conclusion:
2008
Advisor : Luis Enrique Zárate.

logo_instituto

Enock Tony dos Santos

Hybrid thermal model for swimming pools based on artificial neural networks for southeast region of Brazil.

CV: http://lattes.cnpq.br/0591292669261619
Conclusion:
2008.
Advisor: Luis Enrique Zárate.

logo_instituto

Sebastião Eustáquio de Jesus

An Environment for Software Object Oriented Project Evaluation.

CV: http://lattes.cnpq.br/7826790814559946
Conclusion:
2008.
Advisor: Mark Alan Junho Song.

logo_instituto

Frederico Papatella Guerino

A Framework for Solar Energy Applications – Photovoltaic Systems.

CV: http://lattes.cnpq.br/8544346484929068
Conclusion:
2008.
Advisor : Mark Alan Junho Song.

gustavo ludovico

Gustavo Ludovico Guidoni

SolarEnergy: A Framework for Solar Energy Applications.

CV: http://lattes.cnpq.br/6446725385317269
Conclusion:
2007.
Advisor: Mark Alan Junho Song.

logo_instituto

Luciana Otávia Silva

RAIMA: proposal of a method based on association rules to identify the absence mechanism in databases.

CV: http://lattes.cnpq.br/1632066013354745
Conclusion:
2006.
Advisor : Luis Enrique Zárate.

logo_instituto

Fabrício Roullin Bittencout

Hybrid structure based on previous knowledge and GA to search the ideal neurons quantity for the hidden layer of MLP Application in the cold rolling process.

CV: http://lattes.cnpq.br/1015969067412845
Conclusion:
2005.
Advisor : Luis Enrique Zárate.