[columns] [span2]

[/span2][span10]

Phillip Santos

Generating BDD-based Implication Rules

CV: http://lattes.cnpq.br/8839172889318146

Outset : 2015
Advisor : Mark A. Junho Song.

[/span10][/columns]

[columns] [span2]

[/span2][span10]

Luis Henrique Brito

Prediction of protein function

CV: http://lattes.cnpq.br/1258819094534337

Outset : 2015
Advisor : Cristiane Neri Nobre
Co-adviso: Luis E. Zárate

[/span10][/columns]

[columns] [span2]

walisson

[/span2][span10]

Walisson Willian Guimarães

Comparison MAP reduce strategies for protein classification problems.

CV: http://lattes.cnpq.br/2292896299812027
Outset : 2015.
Advisor : Luis E. Zárate.

[/span10][/columns]

[columns] [span2]

bruno

[/span2][span10]

Bruno Cesar do Santos

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

CV: http://lattes.cnpq.br/9529372834176484
Outset :
2014.
Advisor : Luis E. Zárate.
[/span10][/columns]

 

[columns] [span2]

paula

[/span2][span10]

Paula Raissa Costa e Silva

Representation and analysis of Social networks via Formal concept analysis.

CV: http://lattes.cnpq.br/5192167823493756
Outset :
2015.
Advisor : Luis Enrique Zárate
[/span10][/columns]

[columns] [span2]

Caio Ribeiro

[/span2][span10]

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
[/span10][/columns]

 

[columns] [span2]

israel

[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

marcio

[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

gaby

[/span2][span10]

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
[/span10][/columns]

 

[columns] [span2]

 Pedro_henrique

[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

Marcos_Wander_Rodrigues

[/span2][span10]

Marcos Wander Rodrigues

Educational Data Mining – a survey of 20 years.

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

 

[columns] [span2]

tiao

[/span2][span10]

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
[/span10][/columns]

[columns] [span2]

Cristiano lacerda

[/span2][span10]

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
[/span10][/columns]

[columns] [span2]

[/span2][span10]

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.
[/span10][/columns]

 

[columns] [span2]

[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

IMG_3615Foto4x3

[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

Nilander Ricardo magalhaes
[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

logo_instituto[/span2][span10]

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.
[/span10][/columns]

 

[columns] [span2]

Fagner70
[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

Andre_Montevecchi

[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

logo_instituto[/span2][span10]

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.
[/span10][/columns]

 

[columns] [span2]

logo_instituto[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

[/span2][span10]

Rodrigo Rezende Marinho Diana

Validating SQL Code Using Symbolic Model Checking.

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

[columns] [span2]

Flavio fernandes

[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

logo_instituto[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

logo_instituto[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

logo_instituto

[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]logo_instituto

[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

logo_instituto

[/span2][span10]

Frederico Papatella Guerino

A Framework for Solar Energy Applications – Photovoltaic Systems.

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

[columns] [span2]

gustavo ludovico

[/span2][span10]

Gustavo Ludovico Guidoni

SolarEnergy: A Framework for Solar Energy Applications.

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

[columns] [span2]

[/span2][span10]

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.
[/span10][/columns]

[columns] [span2]

[/span2][span10]

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.
[/span10][/columns]