1 | Dia 1 (31/07/2017) | |||||||
---|---|---|---|---|---|---|---|---|
2 | 13:00-15:30 | Auditório do IC | Palestra aos ingressantes da pós-graduação do IC | |||||
3 | 15:30-16:30 | Coffee-break | ||||||
4 | 17:00-18:00 | Centro de Convenções | Palestra de abertura: prof. André Fujita (IME-USP) | |||||
5 | ||||||||
6 | Dia 2 (01/08/2017) | |||||||
7 | 08:30-09:00 | Coffee-Break | ||||||
8 | 09:00-11:00 | Auditório do IC | Apresentação dos trabalhos de iniciação científica | |||||
9 | Banca: Profa. Dra. Paula D. Paro Costa (FEEC), Prof. Dr. Tiago Tavares (FEEC), Prof. Dr. João Frederico C. A. Meyer (IME) | |||||||
10 | Aluno(a) | Trabalho | Orientador(a) | |||||
11 | 09:00-09:20 | Erik Perillo | Efficient Visual Attention with Deep Learning | Esther Colombini | ||||
12 | 09:20-09:40 | Rodrigo Surita | Cylindrical Reconvergence Physical Unclonable Function | Guido Araújo | ||||
13 | 09:40-10:00 | Luiz Fernando R. da Fonseca | Estabilização Digital de Vídeos | Hélio Pedrini | ||||
14 | 10:00-10:20 | Nicholas Torres Okita | Desenvolvimento de um critério de parada para o CRS Differential Evolution | Edson Borin | ||||
15 | 10:20-10:40 | Yuri Soares | Computing Short Edge-Flipping Sequences Between Triangulations: a Heuristic Approach | Pedro Rezende | ||||
16 | 10:40-11:00 | Vinicius Balbino | Uma Aproximação para o Problema de Alocação de Terminais com Capacidade | Lehilton L. C. Pedrosa | ||||
17 | 11:00-11:30 | Auditório do IC | Apresentação da Dissertação de Mestrado premiada Um Sistema de Transporte Inteligente para Detecção e Controle de Congestionamento de Veículos Utilizando em Redes Veiculares. Allan Mariano de Souza. Orientador: Leandro Aparecido Villas | |||||
18 | 11:00-11:30 | Auditório do IC | Apresentação da Tese de Doutorado premiada Multi-Analysis Techniques for Digital Image Forensics. Anselmo Castelo Branco Ferreira. Orientador: Anderson Rocha | |||||
19 | 11:00-11:30 | Auditório do IC | Premiação da melhor Iniciação Científica | |||||
20 | ||||||||
21 | 14:00-17:00 | Auditório do IC | Minicurso: Pesquisa Bibliográfica e Análise de dados Prof. Jacques Wainer | |||||
22 | ||||||||
23 | Dia 3 (02/08/2017) | |||||||
24 | Sala 351 | Aluno(a) | Trabalho | Orientador(a) | Área | Banca Prof. 1 | Banca Prof. 2 | Banca Aluno |
25 | 09:00-09:30 | Luan Cardoso dos Santos | Pipeline Oriented Implementation of NORX AEAD for ARM Processors | Julio Lopez | Teoria da Computação | Paulo | Flavio | Marcelo Palma |
26 | 09:30-10:00 | Armando Faz Hernández | An Introduction to Isogeny-based Cryptography | Luan Cardoso | ||||
27 | 10:00-10:30 | Tiago Reis | PRESENT runs fast: efficient and secure implementation in software | Allan Pinto | ||||
28 | 10:30-11:00 | Coffee-Break | ||||||
29 | 11:00-11:30 | André Carvalho Silva | Grafos com número máximo um cruzamento | Orlando Lee | Teoria da Computação | Cid | Rafael Crivellari | Natanael Ramos |
30 | 11:30-12:00 | Maycon Sambinelli | Advances in Aharoni-Hartman-Hoffman's Conjecture for Split digraphs | |||||
31 | 12:00-12:30 | Murilo Santos de Lima | On Generalizations of the Parking Permit Problem and Network Leasing Problems | |||||
32 | 12:30-14:00 | |||||||
33 | 14:00-14:30 | Hugo Kooki K. Rosado | Árvore de Steiner Métrica com Peso nos Vértices | Lehilton L. C. Pedrosa | Teoria da Computação | Zanoni | Chris | Yuri Soares |
34 | 14:30-15:00 | Ulysses Rocha | Abordagens Heurísticas para o p-Cabo-Trincheira com Localização de Instalações | Flavio Keidi Miyazawa | ||||
35 | 15:00-15:30 | Francisco J. M. da Silva | Game-Theoretic Analysis of Transportation Problems | |||||
36 | 15:30-16:30 | Pôsteres e Coffee-Break | ||||||
37 | 16:30-17:00 | Celso Aimbiré W. Santos | Tight bounds for gap-labellings | Christiane N. Campos; Rafael S. C. Schouery | Teoria da Computação | Orlando | Guilherme | Francisco J. M. da Silva |
38 | 17:00-17:30 | Natanael Ramos | Uma Matheurística para o Problema do Brigadista em Grafos | Cid Carvalho de Souza | Fábio Usberti | |||
39 | ||||||||
40 | Sala 352 | Aluno(a) | Trabalho | Orientador(a) | Área | Banca Prof. 1 | Banca Prof. 2 | Banca Aluno |
41 | 09:00-09:30 | João Paulo da Silva | Criptografia baseada em Isogenias | Ricardo Dahab | Teoria da Computação | Guilherme | Diego | Hayato Fujii |
42 | 09:30-10:00 | Luiz Claudio Navarro | Using ontologies and machine-learning techniques for malware identification in Android environment | Sistemas de Informação | Adin | Julio Reis | Allan Pinto | |
43 | 10:30-11:00 | Coffee-Break | ||||||
44 | 11:00-11:30 | Hayato Fujii | Curve25519 for the Cortex-M4 and beyond | Diego de Freitas Aranha | Teoria da Computação | Ricardo Caceffo | Lehilton | Luan Cardoso |
45 | 11:30-12:00 | Amanda Cristina D. Resende | Unbalanced Approximate Private Set Intersection | |||||
46 | 12:00-12:30 | Arthur Costa Lopes | Formal verification of constant-time execution | |||||
47 | 12:30-14:00 | |||||||
48 | 14:00-14:30 | Luis Forquesato | Determinando aprendizado de pensamento computacional por análise de estatísticas de uso | Juliana Borin | Sistemas de Computação | Diego | Alexandre Mello | Juan Hernández |
49 | 14:30-15:00 | Priscila Aparecida de M. Ioris | Adding Custom Instructions into SuperScalar Processor | Rodolfo Jardim de Azevedo | Armando Faz | |||
50 | 15:30-16:30 | Pôsteres e Coffee-Break | ||||||
51 | 16:30-17:00 | Cristiano Borges Cardoso | Uma Solução Híbrida para os Problemas de Localização 3D e Sincronização em RSSFs | Leandro Villas | Sistemas de Computação | Leonardo | Flávio | Tiago Pedroso |
52 | 17:00-17:30 | Esdras Rodrigues do Carmo | Malware Behavior Analysis on the Deep Web | Paulo Lício de Geus | Hayato Fujii | |||
53 | ||||||||
54 | Sala 353 | Aluno(a) | Trabalho | Orientador(a) | Área | Banca Prof. 1 | Banca Prof. 2 | Banca Aluno |
55 | 09:30-10:00 | Wellington Lucas Moura | Avaliação de Robustez do Docker Engine | Eliane Martins | Sistemas de Informação | Heiko | Breno | Breno Mendes |
56 | 10:00-10:30 | Narcísio José Mula | Testes de segurança baseado em modelos e sua aplicação ao Moodle Quizz | |||||
57 | 10:30-11:00 | Coffee-Break | ||||||
58 | 11:00-11:30 | Luiz Alberto F. Gomes | Machine Learning Based Prediction of CR Severity Level in FLOSS: Experimental Results | Mario Lúcio Côrtes | Sistemas de Informação | Heiko | Adin | Samuel Fadel |
59 | 11:30-12:00 | João Luis Villar de Oliveira | Using Machine Learning to promote knowledge Management in Agile Projects | |||||
60 | 12:00-12:30 | Fernando Vieira da Silva | Anotação de emoções em tweets de investidores | Ariadne M. B. R. Carvalho | Allan Pinto | |||
61 | 12:30-14:00 | |||||||
62 | 14:00-14:30 | Jaudete Daltio | Graph-Kaleidoscope: A Framework to Handle Multiple Perspectives in Graph Databases | Claudia M. Bauzer Medeiros | Sistemas de Informação | Julio Reis | Eliane | Fagner Leal |
63 | 14:30-15:00 | Márcio de C. Saraiva | Finding out topics in educational materials using their components | Kleber Andrade | ||||
64 | 15:00-15:30 | Lucas Faloni Ferreira | Prontuário Eletrônico de Paciente apoiado em técnicas de Linhas de Produtos de Software | Cecília Mary Fisher Rubira | ||||
65 | 15:30-16:30 | Sessão de Pôsteres e Coffee-Break | ||||||
66 | 16:30-17:00 | Fabrício M. Gonçalves | Sistema para Gerenciamento de Projetos de Pesquisa Sociotécnica | Cecília Baranauskas | Sistemas de Informação | Breno | Eliane | Elaine Hayashi |
67 | ||||||||
68 | Sessão de Pôsteres (15:30-16:30) | |||||||
69 | Akari Ishikawa | Human Machine Interface for Hand Prosthesis Based on Electromyography and Computer Vision | Eric Rohmer (FEEC) | Sistemas de Informação | ||||
70 | Vitor Falcão Esdras Rodrigues André Almeida Seiji Hirao | TorBot: Protecting the Tor Network against Malicious Traffic | Paulo Lício de Geus | Sistemas de Computação | ||||
71 | Luan Egidio Ferreira Diogo Hideki Shiraishi | Estudo de arquiteturas modulares para smartphones | Edson Borin | |||||
72 | Maria Bolina Kersanach | Estratégias In Silico para Bioimpressão de Órgãos | Helio Pedrini | |||||
73 | Leandro A. F. de Magalhães | Aprimoramento do método Diceware para geração de senhas seguras | Diego de Freitas Aranha | Teoria da Computação | ||||
74 | Vinicius Balbino de Souza | Uma Aproximação para o problema de Alocação de P Terminais | Lehilton Chaves |