Terça-feira (21/07) |
SEMISH: Palestra de Abertura do SEMISH 2009: "From Verification To Synthesis" |
|
Abstract:![]() |
|
SEMISH: Sessão Técnica 1: Desafio V Horário: 10:45 - 12:45 Local: Auditório 7 |
|
10:45 | "Disseminação de Conteúdo XML Baseada em Ontologias" Mirella Moro (UFMG), Renata Galante (UFRGS), Deise Saccol (UNIPAMPA), Bernadete Lóscio (UFC) |
11:10 | "Desafios algoritmicos no processamento de grandes volumes de dados" Marcus Ritt (UFRGS), Luciana S. Buriol (UFRGS) |
11:35 | "A Web Map Service for Mobile Computers" Clodoveu Davis (UFMG), Yuri Kimo (PUC Minas), Fátima Duarte-Figueiredo (PUC Minas) |
12:00 | "Toc-Toc, Tic-Tac, Triiimm! Utilização de Som em Interfaces Multimodais" Carlos Laufer (PUC-Rio), Daniel Schwabe (PUC-Rio) |
SEMISH: Sessão Técnica 2: Desafio V Horário: 16:15 - 18:15 Local: Auditório 7 |
|
16:15 | "Ambiente de Computação Ubíqua para o Cuidado de Saúde do Paciente (ACUCSP)" João Luis Moraes (UNIFESP), Wanderley Lopes de Souza (UFSCar) |
16:45 | "Uma Ferramenta para Auxílio na Avaliação de Usabilidade de APIs" David Bentolila (UFPA), Cleidson de Souza (UFPA) |
17:15 | "A GridQoS Decision Support System using Service Level Agreements" Matheus Bandini (LNCC), Antonio Mury (LNCC), Bruno Schulze (LNCC), Ronaldo Salles (IME) |
17:45 | "Desenvolvimento de Serviços Tolerantes a Intrusões Usando Máquinas Virtuais" Valdir Stumm Junior (UFSC), Lau Cheuk Lung (UFSC), Miguel Correia (Universidade de Lisboa, Portugal), Joni da Silva Fraga (UFSC), Jim Lau (UFSC) |
Quarta-feira (22/07) |
SEMISH: Palestra 2: "Realizações e desafios em computação quântica" |
|
Resumo:![]() A partir de 1994, com a descoberta de um algoritmo quântico eficiente de fatoração de inteiros, a pesquisa na área cresceu enormemente. Apresentarei alguns dos conceitos fundamentais da informação quântica, e como eles possibilitam aplicações importantes como algoritmos eficientes para algumas tarefas e segurança absoluta na troca de mensagens criptografadas. Essas novas tecnologias podem ter um grande impacto em diversas áreas de pesquisa científica, e na sociedade como um todo. Vou descrever a situação atual em pesquisa, e procurar identificar áreas promissoras de desenvolvimento, em particular aquelas mais próximas da ciência da computação." |
|
SEMISH: Sessão Técnica 3: Desafio III Horário: 10:00 - 10:30 Local: Auditório 1 |
|
10:00 | "Systems Architectural Challenges for Transitional and Compatible to CMOS Technologies in Giga-Scale Hardware Integration" Sérgio Bampi (UFRGS), Altamiro Susin (UFRGS), Ricardo Reis (UFRGS) |
SEMISH: Sessão Técnica 4: Desafio II, III e IV Horário: 10:45 - 12:45 Local: Auditório 1 |
|
10:45 | "Decoherence in Search Algorithms" Gonzalo Abal (Universidad de la República, Uruguai), Raul Donangelo (UFRJ), Frankiln Marquezino (LNCC/MCT), Amanda Oliveira (UFLA), Renato Portugal (LNCC) |
11:15 | "Desafios no apoio à composição de experimentos científicos em larga escala" Marta Mattoso (COPPE-UFRJ), Claudia Werner (COPPE-UFRJ), Guilherme Travassos (COPPE-UFRJ), Vanessa Braganholo (UFRJ), Leonardo Murta (UFF), Eduardo Ogasawara (UFRJ) |
11:45 | "Computational framework to analyze agrometereological, climate and remote sensing data: challenges and perspectives" Luciana Romani (USP), Agma Traina (ICMC-USP), Elaine Souza (USP), Jurandir Zullo Junior (UNICAMP), Ana Maria Heuminski de Ávila (CEPAGRI-UNICAMP), José Fernando Rodrigues Junior (UFSCar), Caetano Traina Junior (ICMC-USP) |
12:15 | "Redes Sociais Online: Desafios e Possibilidades para o Contexto Brasileiro" Vagner Santana (UNICAMP), Diego Melo-Solarte (UNICAMP), Vânia Neris (UNICAMP), Leonardo Cunha de Miranda (UNICAMP), M. Cecília Baranauskas (UNICAMP) |
Painel: "3 Anos de Grandes Desafios na Ciência da Computação Brasileira" |
|
SEMISH: Sessão Técnica 5: Desafio IV Horário: 16:15 - 18:15 Local: Auditório 1 |
|
16:15 | "Um Método para Desenvolvimento de Agentes de Ajuda para Usuários Surdos" Ezequiel Blasco (UFPEL), Milene Silveira (PUCRS) |
16:45 | "Produção de Textos Paralelos em Língua Portuguesa e uma Interlíngua de LIBRAS" Guilherme Santos (PUCRS), Milene Silveira (PUCRS), Sandra Aluísio (USP) |
17:15 | "Natural language processing for social inclusion: a text simplification architecture for different literacy levels" Caroline Gasperin (USP São Carlos), Erick Maziero (USP), Lucia Specia (USP), Thiago Pardo (USP), Sandra Aluísio (USP) |
17:45 | "Revisão sistemática sobre princípios de design de aplicações Web acessíveis para analfabetos funcionais" Willian Watanabe (USP), Renata Fortes (ICMC-USP) |