MAC - Departamento de Ciência da Computação

Tese de doutorado


Número total de itens: 198

2020

1.   Carlos Eduardo Martins Relvas. Agrupamento baseado em modelos de mistura de gaussianas com covariáveis. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2020.
Orientador: André Fujita.
2.   Felipe de Souza Salvatore. Analysing Natural Language Inference from a Rigorous Point of View. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Supervisor: Roberto Hirata Junior.
3.   Felipe Salvatore. Analysing Natural Language Inference from a Rigorous Point of View. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Marcelo Finger.
4.   Francisco Caio Maia Rodrigues. Visual Analytics for Machine Learning: Computing and Leveraging Decision Boudary Maps. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Roberto Hirata Junior.
5.   Henrique Stagni. Property testing and parameter estimation. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: Yoshiharu Kohayakawa.
6.   Jandson Santos Ribeiro. Belief Change Without Compactness. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Renata Wassermann.
7.   Joelma Cristina Costa e Silva. Análise baseada em contexto do movimento de pedestres em terminais de transporte. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2020.
Orientador: Flavio Soares Correa da Silva.
8.   Maciel Calebe Vidal. Identificação de causalidade de Granger em dados longitudinais com aplicações em neuroimagem.. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: André Fujita.
9.   Marcelo Moura Amorim. Itens de teste colaborativo em 6 camadas:perspectivas para avaliação formativa assitida por computadores em ambientes virtuais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2020.
Orientador: Ana Cristina Vieira de Melo.
10.   Pablo Cesar Ccori. A framework for device interaction in a network of things. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2020.
Orientador: Flavio Soares Correa da Silva.
11.   Ricardo Ferreira Guimarães. Modularity in Belief Change of Description Logic Bases. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: Renata Wassermann.
12.   Suzana de Siqueira Santos. Estimadores de parâmetro consistentes para modelos de grafo aleatório e estudo sobre a relação entre a rede modo padrão do cérebro e o volume do corpo caloso.. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: André Fujita.

2019

1.   Eduardo Felipe Zambom Santana. InterSCSimulator: a scalable, open source, smart city simulator. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2019.
Orientador: Fabio Kon.
2.   Fabiano Ferreira Luz. Deep Neural Semantic Parsing: Translating from Natural Language into SPARQL. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Marcelo Finger.
3.   Jandisson Soares de Jesus. Um modelo baseado em dados históricos para a estimação dos juros da dívida técnica. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Ana Cristina Vieira de Melo.
4.   Leissi Margarita Castañeda Leon. An Efficient Hierarchical Layered Graph Approach for Multi-Region Segmentation. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Paulo André Vechiatto de Miranda.
5.   Liliane Santana Oliveira Kashiwabara. Uma abordagem integrada para a construção e utilização de HMMs de perfil para análises genômicas e metagenômicas. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Supervisor: Alan Mitchell Durham.
6.   Rafael Will Macêdo de Araujo. A Bag of Features Approach for Human Attribute Analysis on Face Images. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2019.
Orientador: Roberto Hirata Junior.
7.   Renzo Gonzalo Gómez Díaz. Covering a graph bu nontrivial paths. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
Orientador: Yoshiko Wakabayashi.
8.   Rodrigo Izidoro Tinini. Alocação de Recursos em uma Arquitetura Óptica Cloud-Fog RAN para o Suporte da Internet 5G. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Daniel Macêdo Batista.

2018

1.   Adèle Helena Ribeiro. Identification of causality in genetics and neuroscience. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: André Fujita.
2.   Andrew Toshiaki Nakayama Kurauchi. EyeSwipe: Entrada de Texto Usando Gestos do Olhar. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Carlos Hitoshi Morimoto.
3.   Eduardo Menezes de Morais. Independência parcial no problema da satisfazibilidade probabilística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Marcelo Finger.
4.   Gabriela Eleutério Soares. Testes estatísticos semi-paramétricos para discriminação e grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: André Fujita.
5.   Graziela Simone Tonin. Technical Debt Management in the Context of Agile Methods in Software Development. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Alfredo Goldman vel Lejbman.
6.   Higor Amario de Souza. Assessment of Spectrum-based Fault Localization for Practical Use. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2018.
Orientador: Fabio Kon.
7.   Hugo Vinícius Vaz Braga. Algoritmos exatos para problemas de spanners em grafos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Yoshiko Wakabayashi.
8.   Ignasi Andres. Planejamento Contingente e Planejamento Probabilístico com Ajuda Externa. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Leliane Nunes de Barros.
9.   Joel Edu Sanchez Castro. Seleção de Modelos para o Aprendizado de Hipóteses Booleanas. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientadores: Ronaldo Fumio Hashimoto, Junior Barrera.
10.   Jose Euripedes Ferreira de Jesus Filho. Método beam search aplicado a problemas de programação da produção. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Ernesto Julián Goldberg Birgin.
11.   Juan Gabriel Gutiérrez Alva. Transversais em grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Cristina Gomes Fernandes.
12.   Lucy Choque Mansilla. Segmentação de Objetos via Transformada Imagem-Floresta Orientada com Restrições de Conexidade. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Paulo André Vechiatto de Miranda.
13.   Luis Eduardo Zambrano Fernandéz. Densidade local em grafos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Yoshiharu Kohayakawa.
14.   Marcos Amarís Gonzáles. Performance Prediction of Applications Executed on GPUs using a Simple Analytical Model and Machine Learning Techniques. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Alfredo Goldman vel Lejbman.
15.   Maricy Caregnato. Regressão logística multinomial: um modelo a partir do comportamento do usuário em rede social para a predição de traços depressivos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Flavio Soares Correa da Silva.
16.   Mauro de Medeiros Oliveria. Transcriptoma, sítios de ligação para fatores de transcrição e região promotora de cana-de-açúcar. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Supervisor: Alan Mitchell Durham.

2017

1.   Adalberto Bosco Pereira. Uso de jogos digitais no desenvolvimento de competências curriculares da matemática. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Flavio Soares Correa da Silva.
2.   Anderson Carlos Moreira Tavares. Interactive 3D Segmentation Repair with Image-Foresting Transform, Supervoxels and Seed Robustness. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Paulo André Vechiatto de Miranda.
3.   Andreiwid Sheffer Correa. Uma arquitetura de referência colaborativa para estruturação de dados abertos governamentais. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2017.
Supervisor: Flavio Soares Correa da Silva.
4.   Antonio Deusany de Carvalho Jr. Mobile Technologies for Music Interaction. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Marcelo Gomes de Queiroz.
5.   Daniel Cukier. Software startup ecosystems evolution: a maturity model. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Orientador: Fabio Kon.
6.   Felipe Pontes Guimarães. IMPROV: Uma arquitetura para a execução confiável de composições de serviços dinâmicas. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, União Européia. 2017.
Orientador: Daniel Macêdo Batista.
7.   Fernando Cipriano Andrade Oliveira. Genetic Architecture of genes coding for RNA-binding proteins. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: André Fujita.
8.   Guilherme Fernades Otranto. A formal model for strategic planning in cooperative and competitive environments case study: design and implementation of a basketball simulator. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2017.
Orientador: Junior Barrera.
9.   Gustavo Pinto Vilela. Causalidade de Granger entre grafos no domínio da frequência. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Orientador: André Fujita.
10.   Igor dos Santos Montagner. W -operator learning using linear models for both gray-level and binary inputs. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Orientadores: Nina Sumiko Tomita Hirata, Roberto Hirata Junior.
11.   John Lenon Gardenghi. Complexidade em programação não linear. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Orientador: Ernesto Julián Goldberg Birgin.
12.   Luiz Carlos Vieira. Assessment of fun from the analysis of facial images. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Flavio Soares Correa da Silva.
13.   Oberlan Christo Romão. O problema de corte não guilhotinado multiperíodo com sobras aproveitáveis. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Orientador: Ernesto Julián Goldberg Birgin.
14.   Paulo Bittencourt Moura. Dynamic resource allocation for elastic systems based on scalability modeling. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2017.
Orientador: Fabio Kon.
15.   Phablo Fernando Soares Moura. Graph colorings and digraph subdivisions. Tese (Doutorado em Ciencia da Computacao) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Orientador: Yoshiko Wakabayashi.
16.   Rafael Santos Coelho. The k-hop connected dominating set problem: approximation algorithms and hardness results. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Yoshiko Wakabayashi.
17.   Samuel Martins B. Neto. Análise de dados de comportamento social. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Roberto Marcondes Cesar Junior.

2016

1.   Abner Cardoso Rofrigues Neto. Caracterização e análise da atividade eletrofisiológica em pacientes com epilepsia. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Supervisor: André Fujita.
2.   André Luis Schwerz. Sistemas de informação cientes de processos, robustos e confiáveis. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: João Eduardo Ferreira.
3.   André Luiz Kawamoto. Utilização de sensores de profundidade de baixo custo para prover qualidade de vida em idosos. Tese (Doutorado em Ciências da Comunicação) - Universidade de São Paulo, . 2016.
Orientador: Flavio Soares Correa da Silva.
4.   Antonio Josefran de Oliveira Bastos. Circuitos Hamiltonianos em hipergrafos e densidades de subpermutações. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Guilherme Oliveira Mota.
5.   Antonio José Homsi Goulart. Efeitos de áudio baseados em decomposição AM/FM. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Marcelo Gomes de Queiroz.
6.   Eduardo Cotrin Teixeira. Informações de suporte ao escalonamento de workflows científicos para a execução em plataformas de computação em nuvem. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Kelly Rosa Braghetto.
7.   Frank Dennis Julca Aguilar. Recognition of Online Handwritten Mathematical Expressions using Contextual Information. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Orientador: Nina Sumiko Tomita Hirata.
8.   Frank Helbert Borsato. Rastreador ocular de baixo custo e alto desempenho. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Carlos Hitoshi Morimoto.
9.   Fábio Happ Botler. Decomposição de grafos em caminhos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Orientador: Yoshiko Wakabayashi.
10.   Glauber De Bona. Medindo inconsistência em bases de conhecimento probabilístico. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Marcelo Finger.
11.   Ivanilton Polato. Economia de energia e aumento de desempenho usando SSDs no Hadoop Distributed File System. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2016.
Orientador: Fabio Kon.
12.   João Marcelo Borovina Josko. João Marcelo Borovina Josko. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: João Eduardo Ferreira.
13.   Luiz Arthur Feitosa dos Santos. Uma abordagem autonômica para mitigar ciberataques em redes de computadores. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Daniel Macêdo Batista.
14.   Marcos Silvano de Almeida. Design de jogos baseado em componentes. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2016.
Orientador: Flavio Soares Correa da Silva.
15.   Patricia Alves Pereira. iMPaCTS: Um modelo de colaboração por pares para aprendizagem. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Leônidas de Oliveira Brandão.
16.   Paulo de Tarso Guerra Oliveira. Revisão de crenças temporais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Orientador: Renata Wassermann.
17.   Rafael Liberato Roberto. Aumentando a migração de instâncias não complacentes em sistemas de informação cientes de processos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: João Eduardo Ferreira.
18.   Ricardo Moura Sekeff Budaruiche. Uso de ontologias para classificação de pacientes portadores da Síndrome de Li-Fraumeni: Estudo de caso no A.C. Camargo Cancer Center. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2016.
Orientador: Renata Wassermann.
19.   Rodrigo Campiolo. Análise e extração de alertas antecipados sobre ameaças e incidentes de segurança em sistemas computacionais usando fontes de dados não estruturados. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Daniel Macêdo Batista.
20.   Rogério Aparecido Gonçalves. A runtime for code offloading on modern heterogeneous platforms. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Alfredo Goldman vel Lejbman.
21.   Santiago Valdes Ravelo. Problema da árvore geradora de comunicação ótima: variantes, complexidade e aproximação. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Carlos Eduardo Ferreira.
22.   Wellington D. Previero. Estratégias de resolução para o problema do job-shop flexível. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2016.
Orientador: Carlos Eduardo Ferreira.

2015

1.   André Pierro de Camargo. Estabilidade numérica de fórmulas de interpolação baricêntrica. Tese (Doutorado em matemática aplicada) - IME-USP (Instituto de matemática e estatística, USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Walter Figueiredo Mascarenhas.
2.   Antonio Diaz Tula. Contribuições para interação pelo olhar com teclados virtuais. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Carlos Hitoshi Morimoto.
3.   Estefhan D. Wandekokem. Um método escalável de reconhecimento de objetos com uso de informações estruturais de grafos-chave.. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Roberto Marcondes Cesar Junior.
4.   Henrique Morimitsu. A graph-based approach for online multi-object tracking in structured videos with an application to action recognition. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Roberto Marcondes Cesar Junior.
5.   Jorge Luis Guevara Dias. Modelos de aprendizado supervisionado usando métodos kernel, conjuntos fuzzy e medidas de probabilidade. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Roberto Hirata Junior.
6.   Leandro de Araujo Lima. Uma abordagem integrativa usando dados de interação proteína-proteína e estudos genéticos para priorizar genes e funções biológicas em transtorno de déficit de atenção e hiperatividade. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, . 2015.
Supervisor: Ronaldo Fumio Hashimoto.
7.   Liliane Santana Oliveira. Caracterização de Sequências Virais em Metagenomas. Tese (Doutorado em Interunidades em Bioinformática) - Universidade de São Paulo, . 2015.
Supervisor: Alan Mitchell Durham.
8.   Marcio Takashi Oshiro. Clustering de trajetórias. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Cristina Gomes Fernandes.
9.   Marcos E. B. Broinizi. Ordenação evolutiva de anúncios em publicidade computacional.. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: João Eduardo Ferreira.
10.   Marta Magda Dornelles. Construção e seleção de janelas na combinação de W-operadores. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: Nina Sumiko Tomita Hirata.
11.   Milton Y. Nishiyama Jr. Desenvolvimento da Plataforma CaneRegNet para Anotação Funcional e Análise do Transcriptoma da Cana-de-Açucar. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Supervisor: João Eduardo Ferreira.
12.   Rafael Durbano Lobato. Empacotamento de elipsoides. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Ernesto Julián Goldberg Birgin.
13.   Rafael Perazzo Barbosa Mota. Mecanismos para a Melhoria do Desempenho de Sistemas RFID Passivos. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Daniel Macêdo Batista.
14.   Reginaldo do Prado. iPlan - Uma Linha de Produto de Software baseada em Padrões Pedagógicos para Gerar Planos de Aulas em Ambientes Aprendizagem via Web. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: Leônidas de Oliveira Brandão.
15.   Simone Hanazumi. Geração de propriedades sobre programas Java a partir de objetivos de teste. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Ana Cristina Vieira de Melo.
16.   Sérgio Nery Simões. Uma abordagem integrativa usando dados de interação proteína-proteína e estudos genéticos para priorizar genes e funções biológicas em transtorno de déficit de atenção e hiperatividade. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Ronaldo Fumio Hashimoto.
17.   Tiago Montanher. Estimação de Modelos de Markov Ocultos Usando Aritmética Intervalar. Tese (Doutorado em matemática aplicada) - IME-USP (Instituto de matemática e estatística, USP), Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Walter Figueiredo Mascarenhas.
18.   Wonder Alexandre Luz Alves. Últimos Levelings: Conceitos, propriedades, algoritmos e aplicações em Processamento e Análise de Imagens. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: Ronaldo Fumio Hashimoto.

2014

1.   Alexandre Matos Arruda. Abdução Clássica e Abdução Probabilística: a busca pela explicação de dados reais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Finger.
2.   Bruno Klava. Redução no esforço de interação em segmentação de imagens digitais através de aprendizagem computacional. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Nina Sumiko Tomita Hirata.
3.   Diogo Ferreira da Costa Patrão. DESENVOLVIMENTO E AVALIAÇÃO DE FERRAMENTAS COMPUTACIONAIS PARA TRIAGEM AUTOMÁTICA DE SUJEITOS DE PESQUISA. Tese (Doutorado em Doutorado) - Fundação Antônio Prudente, . 2014.
Supervisor: Renata Wassermann.
4.   Emílio de Camargo Francesquini. Dealing with actor runtime environments on hierarchical shared memory multi-core platforms. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Alfredo Goldman vel Lejbman.
5.   Igor Bonadio. Predição de Genes Utilizando Modelos de Covariância. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Alan Mitchell Durham.
6.   Jorge J. Gomes Leandro. Análise de formas usando wavelets em grafos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2014.
Orientador: Roberto Marcondes Cesar Junior.
7.   Maria Viviane de Menezes. Mudanças em Problemas de Planejamento sem Solução. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de ciências Matemáticas e de Computação da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Leliane Nunes de Barros.
8.   Pedro Losco Takecian. Diretrizes metodológicas e validação estatística de dados para a construção de data warehouses. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2014.
Orientador: João Eduardo Ferreira.
9.   Rafael Crivellari Saliba Schouery. Problemas de alocação e precificação de itens. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Cristina Gomes Fernandes.
10.   Raphael Mendes Cóbe. Integração entre múltiplas ontologias: reúso e gerência de conflitos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Renata Wassermann.
11.   Renzo Gonzalo Gomez Diaz. Cobertura de grafos por caminhos não triviais. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Yoshiko Wakabayashi.
12.   Vinicius Rafael Neris dos Santos. Detecção e Classificação Automática de Interferências no Subsolo com GPR Utilizando Redes Neurais Artificiais (RNAs): Estudo no SCGR do IAG/USP. Tese (Doutorado em Geologia Geral e Aplicacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Supervisor: Nina Sumiko Tomita Hirata.
13.   Vinícius Gama Pinheiro. The management of multiple submissions in parallel systems: the fair scheduling approach. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Alfredo Goldman vel Lejbman.

2013

1.   Alvaro Junio Pereira Franco. Algoritmos para junções em grafos dirigidos acíclicos e uma aplicação em Antropologia. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Carlos Eduardo Ferreira.
2.   Anderson Fraiha Machado. Conversão de Voz Inter-Linguística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Marcelo Gomes de Queiroz.
3.   Arnaldo Câmara Lara. Descritor de bordas e quantização espacial flexível aplicados a categorização de objetos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Roberto Hirata Junior.
4.   Claudia de Oliveira Melo. Productivity of Agile Teams: An Empirical Evaluation of Factors and Monitoring Processes. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Fabio Kon.
5.   Daniele Yumi Sunaga de Oliveira. Biologia Computacional aplicada para a análise de dados em larga escala. Tese (Doutorado em Ciências Biológicas (Genética)) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Supervisor: Ronaldo Fumio Hashimoto.
6.   Flávio Luiz Schiavoni. Medusa: Um Ambiente Musical Distribuído. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Marcelo Gomes de Queiroz.
7.   Guilherme Oliveira Mota. Dois resultados em combinatória contemporânea. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Yoshiharu Kohayakawa.
8.   Paulo Roberto Miranda de Meirelles. Monitoramento de métricas de código-fonte em projetos de software livre. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Fabio Kon.

2012

1.   Alexandre da Silva Freire. Empacotamento de bicliques em grafos bipartidos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Carlos Eduardo Ferreira.
2.   Alexandre Rossi Paschoal. BIOINFORMÁTICA APLICADA EM RNomics: ESTRATÉGIAS COMPUTACIONAIS PARA CARACTERIZAÇÃO DE RNAS NÃO-CODIFICADORES. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Alan Mitchell Durham.
3.   Alexandre Torres Porres. Modelos Psicoacústicos de Dissonância para Eletrônica ao Vivo. Tese (Doutorado em Música) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Marcelo Gomes de Queiroz.
4.   Ana Beatriz Vicentim Graciano. Casamento de grafos em estruturas 3D. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Roberto Marcondes Cesar Junior.
5.   André Yoshiaki Kashiwabara. MYOP/ToPS/SGEval: Um ambiente computacional para estudo sistemático de predição de genes. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Alan Mitchell Durham.
6.   Carlos Henrique Aguena Higa. Inferência de Redes de Regulação Gênica Utilizando o Paradigma de Crescimento de Sementes. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Ronaldo Fumio Hashimoto.
7.   Claudia Josimar Abrao de Araujo. Um Modelo para a Interoperabilidade entre Instituições Heterogêneas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Flavio Soares Correa da Silva.
8.   Crhistian Noriega. Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2012.
Orientador: Flavio Soares Correa da Silva.
9.   David da Silva Pires. Estimação de movimento a partir de imagens RGBD usando homomorfismo entre grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Roberto Marcondes Cesar Junior.
10.   Fernanda Nascimento Almeida. Descrição da proveniência de dados para extração de conhecimento em sistemas de informação de hemoterapia. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Supervisor: João Eduardo Ferreira.
11.   Leonardo Lamas Leandro Ribeiro. Modelagem estratégico-tática em esportes coletivos de invasão: aplicação ao basquetebol. Tese (Doutorado em Educação Física) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Supervisor: Junior Barrera.
12.   Marcelo da Silva Reis. Minimização de funções decomponíveis em curvas em U definidas sobre cadeias de posets - algoritmos e aplicações. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Junior Barrera.
13.   Marcelo Hashimoto. Detecção de objetos por reconhecimento de grafos-chave. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Orientador: Roberto Marcondes Cesar Junior.
14.   Mariana Elisa Benassi-Werke. Familiaridade, Supressão Articulatória e Comprimento do Estímulo: Influências na Memória de Curto Prazo e Memória Operacional para Tons e Melodias. Tese (Doutorado em Psicobiologia) - Universidade Federal de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Supervisor: Marcelo Gomes de Queiroz.
15.   Mario Leston Rey. Um arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatórias. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Yoshiko Wakabayashi.
16.   Maysa Malfiza Garcia Macedo. Detecção e caracterização de redes vasculares usando a transformada de Hough em imagens angiográficas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012.
Orientador: Marcel Parolin Jackowski.
17.   Ricardo Luiz Andrade Abrantes. Problemas de corte com sobras aproveitáveis e eliminação de simetrias. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: Ernesto Julián Goldberg Birgin.
18.   Talita Perciano Costa Leite. Detecção de estruturas finas e ramificadas em imagens usando campos aleatórios de Markov e informação perceptual. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientadores: Roberto Marcondes Cesar Junior, Roberto Hirata Junior.
19.   Viviane Almeida Santos. Compartilhamento de conhecimento inter-equipes: o processo de socialização do conhecimento tácito em contextos ágeis de desenvolvimento de software. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Orientador: Alfredo Goldman vel Lejbman.
20.   Wang Xinli. Discrete-geometric functions associated to polyhedral cones and point sets. Tese (Doutorado em Mathematics) - Nanyang Technological University, . 2012.
Orientador: Sinai Robins.

2011

1.   Fabrício Martins Lopes. Redes complexas de expressão gênica: síntese, identificação, análise e aplicações. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, . 2011.
Orientador: Roberto Marcondes Cesar Junior.
2.   Flávio Luis Coutinho. Métodos para rastreamento de olhar tolerantes a movimentos de cabeça baseados na razão cruzada. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011.
Orientador: Carlos Hitoshi Morimoto.
3.   Helves Humberto Domingues. Replicação assíncrona em bancos de dados evolutivos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2011.
Orientador: Fabio Kon.
4.   Karla Roberta Pereira do Nascimento. Recoloração Convexa de Caminhos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Yoshiko Wakabayashi.
5.   Kelly Rosa Braghetto. Técnicas de Modelagem para a Análise de Desempenho de Processos de Negócio. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Orientador: João Eduardo Ferreira.
6.   Leandro Ferrari Thomaz. Ensemble: Um arcabouço para construção de sistemas multi-agentes musicais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011.
Orientador: Marcelo Gomes de Queiroz.
7.   Paulo Salem da Silva. Multi-Agent Systems Verification by means of Simulation Analyis. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011.
Orientador: Ana Cristina Vieira de Melo.

2010

1.   Alexandre Noma. Casamento de grafos, MRF e propagação de crenças. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Roberto Marcondes Cesar Junior.
2.   Carlos da Silva dos Santos. Construção de atributos binários baseada em análise de interações. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Roberto Hirata Junior.
3.   Daniel de Oliveira Dantas. Segmentação e reconhecimento de gestos em tempo real com câmeras e aceleração gráfica. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística Usp, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Junior Barrera.
4.   Fabio Natanael Kepler. Modelagem de contextos para aprendizado automático aplicado à análise morfossintática. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Marcelo Finger.
5.   Helves Humberto Domingues. Replicação assíncrona em bancos de dados evolutivos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Supervisor: João Eduardo Ferreira.
6.   Jesus pascual Mena Chalco. Reconstrução de faces 3D através de espaços de componentes principais. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matematica e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010.
Orientador: Roberto Marcondes Cesar Junior.
7.   Karina Valdivia Delgado. Processos Markovianos de Decisão com Probabilidades Imprecisas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Leliane Nunes de Barros.
8.   Márcio Moretto Ribeiro. Revisão de Crenças em Lógicas de Descrição e Outras Lógicas não Clássicas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Renata Wassermann.
9.   Pavlos Bahia Konstadinidis. A conjectura KLR e 1-afirmações para propriedades anti-Ramsey. Tese (Doutorado em Matemática) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010.
Orientador: Yoshiharu Kohayakawa.
10.   Simone Hanazumi. Geração de propriedades sobre programas Java a partir de objetivos de teste. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010.
Orientador: Ana Cristina Vieira de Melo.
11.   Yanik Ngoko. L’Approche du portfolio d’algorithmes pour la construction des algorithmes robustes et adaptatifs. Tese (Doutorado em Informatique et Systèmes) - Institut National Polythecnique De Grenoble, . 2010.
Supervisor: Alfredo Goldman vel Lejbman.

2009

1.   Alexandre Ricardo Nardi. Uma arquitetura de baixo acoplamento para execução de padrões de controle de fluxo em grades. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2009.
Orientador: João Eduardo Ferreira.
2.   Joao Henrique Burckas Ribeiro. Aprendizado Computacional Baseado em Distância a Segmentos de Reta. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009.
Orientador: Ronaldo Fumio Hashimoto.
3.   Martin Moguillansky. Argumentation Dynamics. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidad Nacional del Sur, Consejo Nacional de Investigaciones Científicas y Técnicas. 2009.
Supervisor: Renata Wassermann.
4.   Maurício Egidio Cantão. Abordagem algébrica para seleção de clones ótimos em projetos genomas e metagenomas. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009.
Supervisor: João Eduardo Ferreira.
5.   Thiago Teixeira Santos. Detecção e rastreamento de múltiplos objetos em condição de oclusão severa por meio de integração de suporte sob restrição homográfica. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009.
Orientador: Carlos Hitoshi Morimoto.

2008

1.   Celina Maki Takemura. Análise de posição relativa de objetos usando formas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Roberto Marcondes Cesar Junior.
2.   David Corrêa Martins Junior. Seleção de características e predição intrinsecamente multivariada em identificação de redes de regulação gênica. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística Usp, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008.
Orientadores: Roberto Marcondes Cesar Junior, Junior Barrera.
3.   Jose de Ribamar Braga Pinheiro Junior. Xenia: um sistema de segurança para grades computacionais baseado em cadeias de confiança. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Orientador: Fabio Kon.
4.   Luciano Vieira de Araújo. Sistema colaborativo para armazenamento e análise de dados de HIV. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2008.
Orientador: João Eduardo Ferreira.
5.   Luiz Carlos Rozante. Modelos para Especialização Celular. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, . 2008.
Orientador: Marco Dimas Gubitoso.
6.   Marcelo Ris. Representação de sistemas biológicos a partir de sistemas dinâmicos: controle da transcrição a partir do estrógeno. Tese (Doutorado em Doutorado em Bioinformática) - Departamento de Ciência da Computação Bioinfo Usp, . 2008.
Orientador: Junior Barrera.
7.   Marina Andretta. Tópicos em otimização com restrições lineares. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008.
Orientador: Ernesto Julián Goldberg Birgin.
8.   Márcio Katsumi Oikawa. Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2008.
Orientador: João Eduardo Ferreira.
9.   Rudini Menezes Sampaio. Limites de seqüências de permutações de inteiros. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008.
Orientador: Yoshiharu Kohayakawa.

2007

1.   Adolfo Gustavo Serra Seca Neto. Um Provador de Teoremas Multi-Estratégia para Lógicas Clássicas e Paraconsistentes. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Marcelo Finger.
2.   Andreia Cristina G. Machion. Uso de ontologias e mapas conceituais na descoberta e análise de objetos de aprendizagem: um estudo de caso em eletrostática. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2007.
Orientador: Leliane Nunes de Barros.
3.   André Fujita. Análise de dados de expressão gênica: normalização de microarrays e modelagem de redes regulatórias. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Carlos Eduardo Ferreira.
4.   Augusto Fernandez Vellozo. Alinhamentos com Rearranjos. em Matematica Aplicada/Ciencia da Computacao) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007.
Orientador: Alair Pereira do Lago.
5.   David Desario. Polyhedral theta functions and their applications to combinatorial geometry. Tese (Doutorado em Mathematics) - Temple University, . 2007.
Orientador: Sinai Robins.
6.   Gerardo Valdisio Rodrigues Vianna. Técnicas para construção de árvores filogenéticas. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . 2007.
Supervisor: Carlos Eduardo Ferreira.
7.   Nestor Walter Trepode. Modelagem do controle gênico do ciclo celular por redes genéticas probabilísticas. Tese (Doutorado em Bioinformática) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007.
Orientador: Junior Barrera.
8.   Raphael Yokoingawa de Camargo. Armazenamento distribuído de dados e checkpointing de aplicações paralelas em grades oportunistas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007.
Orientador: Fabio Kon.
9.   Silvio do Lago Pereira. Planejamento sob incertezas para metas de alcançabilidade estendidas. Tese (Doutorado em Doutor em Ciências) - Instituto de Matemática e Estatística, . 2007.
Orientador: Leliane Nunes de Barros.

2006

1.   Arlindo Flávio da Conceição. Voz e vídeo sobre redes sem fio IEEE 802.11. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006.
Orientador: Fabio Kon.
2.   Francisco Sobreira Netto. Medição de desempenho do gerenciamento de processos de negócio -BPM no PNAFE: uma proposta de modelo. Tese (Doutorado em Administração) - Universidade de São Paulo, . 2006.
Supervisor: João Eduardo Ferreira.
3.   Gordana Manic. Empacotamento de subgrafos em grafos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006.
Orientador: Yoshiko Wakabayashi.
4.   Kelly Rosa Braghetto. Identificação Não-Supervisionada de Padrões de Fluxos em Workflow Científicos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006.
Supervisor: Roberto Marcondes Cesar Junior.

2005

1.   Renato José da Silva Carmo. Dois Problemas de Busca. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005.
Orientador: Yoshiharu Kohayakawa.
2.   Said Sadique Adi. Identificação de genes por comparação de seqüências. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005.
Orientador: Carlos Eduardo Ferreira.
3.   Sergio Drumond Ventura. Tecnicas de otimizacao para estimacao de parametros de filmes finos. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005.
Supervisor: Ernesto Julián Goldberg Birgin.
4.   Silvia Cristina Dias Pinto. Análise de formas 3D usando wavelets 1D, 2D e 3D. Tese (Doutorado em IFSC-USP - São Carlos) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005.
Orientador: Roberto Marcondes Cesar Junior.

2004

1.   Glauber Ferreira Cintra. Algoritmos para Problemas de Corte de Guilhotina Bidimensional. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004.
Orientador: Yoshiko Wakabayashi.
2.   Liliane Rose Benning Salgado. Algoritmos de Aproximação para Partições Conexas em Grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004.
Orientador: Yoshiko Wakabayashi.
3.   Lourival Paulino da Silva. Um Modelo Formal para a Quinta Disciplina. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2004.
Orientador: Flavio Soares Correa da Silva.

2003

1.   Ariane Machado-Lima. Predição Computacional de Genes de RNA. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003.
Orientador: Alan Mitchell Durham.
2.   Estela Maris Rodrigues. Algoritmos para Comparação de Árvores Filogenéticas e o Problema dos Pontos de Recombinação. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003.
Orientador: Yoshiko Wakabayashi.
3.   Eugênio Akihiro Nassu. Consultas envolvendo. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2003.
Orientador: Marcelo Finger.
4.   Francisco José da Silva e Silva. Adaptação Dinâmica de Sistemas Distribuídos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003.
Supervisor: Fabio Kon.

2002

1.   Jair Donadelli Júnior. Resultados de Ramsey e de Densidade para Grafos Pseudo-aleatórios Esparsos. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Yoshiharu Kohayakawa.
2.   Marcel Brun. Projetos de operadores morfológicos multi-escala por otimização estatística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002.
Orientador: Junior Barrera.

2001

1.   Roberto Hirata Jr. Projeto de operadores morfológicos para imagens e sinais: abordagem de reticulados finitos. Tese - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Junior Barrera.

2000

1.   Marcus Vinicius Tolentino dos Santos. Specifying, Executing, and Reasoning About Actions and Plans Using Transaction Logic. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2000.
Supervisor: Flavio Soares Correa da Silva.
2.   Matthias Beck. Arithmetic properties of rational polytopes. Tese (Doutorado em Mathematics) - Temple University, . 2000.
Orientador: Sinai Robins.
3.   Nina S. T. Hirata. Projeto automático de operadores explorando conhecimento a priori. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000.
Orientador: Junior Barrera.
4.   Roberto Cassio de Araujo. Compartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento. Tese - Universidade de São Paulo, . 2000.
Orientador: Flavio Soares Correa da Silva.
5.   Ronaldo Fumio Hashimoto. Mudança de estrutura de representação de operadores em morfologia matemática. Tese - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2000.
Orientador: Junior Barrera.


(*) Relatório criado com produções desde 2000 até 2020
Data de processamento: 07/05/2021 00:14:16