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) |
| |
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) |
| |
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) |
| |
"One of the most significant developments in the area of design verification over the last decade is the development of algorithmic methods for verifying temporal specification of finite-state designs. A frequent criticism against this approach, however, is that verification is done after significant resources have already been invested in the development of the design. Since designs invariably contains errors, verification simply becomes part of the debugging process. The critics argue that the desired goal is to use the specification in the design development process in order to guarantee the development of correct designs. This is called design synthesis. In this talk I will review 50 years of research on the synthesis problem, describe the automata-theoretic approach developed to solve this problem, and address current challenges." 
"A informação quântica é uma área de pesquisa interdisciplinar relativamente recente que usa elementos da matemática, da física e da ciência da computação. Ela procura explorar novas formas de codificar e processar informação usando sistemas quânticos como íons individuais, fótons, spins nucleares e circuitos supercondutores.