Phillip Santos

Generating BDD-based Implication Rules

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

Outset : 2015
Advisor : Mark A. Junho Song.

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

walisson

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.

bruno

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.

 

paula

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

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

 

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

 

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

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.

 

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.

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.

 

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.

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.

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.

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.

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.

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.

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.

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.