ENIA: Solenidade de Abertura do ENIA 2009 |
ENIA: Palestra 1 - "Para não dizer que não falei de IA!" Profa. Dr. Rosa Maria Vicari (Universidade Federal do Rio Grande do Sul) Horário: 09:00 - 10:30 Local: Auditório 1 |
Resumo: "Atualmente, quando se olha para o estado da arte da IA encontramos progressos significativos desde 1990, principalmente no que se refere às aplicações da IA em varias áreas. Estes progressos estabeleceram uma verdadeira tecnologia baseada em IA que pode ser aplicada com sucesso a situações concretas. Isto ocasionou um fenômeno interessante. Os sucessos recentes da IA são invisíveis, ao mesmo tempo que a tecnologia de IA passou a ser efetiva ela passou a fazer parte da tecnologia mainstream da Computação. Por exemplo, os novos programas para jogar xadrez (Deep Junior1), o surgimento de plataformas para a simulação de atores digitais heterogêneos (Massive2), a utilidade de máquinas de busca, como o Google capazes de identificar a relevância dos itens encontrados, os sistemas de alerta automática de comportamentos não usuais dos clientes bancários, etc. O progresso da IA, no século XXI, deve-se a vários fatores, tais como: aplicações reais utilizando a integração de técnicas, a IA distribuída e as soluções híbridas. Isto não só está expandindo o campo de aplicação da IA mas também reescrevendo sua fundamentação e este processo está gerando não só novas idéias e técnicas, mas também ocasionando o aparecimento de algoritmos mais potentes (no caso do planejamento, aprendizagem, procura, visão, reconhecimento, decisão), os quais proporcionam interesse e utilidade comercial e industrial da IA. Dentro deste contexto que representa uma parte dos estudos e pesquisas da IA é que conduziremos nossa apresentação, falando não sobre IA, mas para o ouvinte mais atento, também sobre IA" |
WEI: Reunião Fórum Pós |
WEI: Reunião GTs |
A reunião dos Grupos de Trabalho acontecem todo o ano junto ao WEI. Os GTs discutem ações atuais e futuras relacionadas aos cursos de ensino superior em Ciência, Licenciatura e Engenharia de Computação, Sistemas de Informação, bem como cursos tecnológicos e demais relacionados à Computação e Informática. Especialmente na edição de 2009, estaremos discutindo a publicação dos Referenciais pelo MEC: http://portal.mec.gov.br/index.php?option=com_content&view=article&id=13812&Itemid=995 Entre as principais questões a serem discutidas estão:
|
JAI: Minicurso 1: "Análise de Algoritmos" (Parte 3/3) Paulo Feofiloff (IME-USP) Horário: 08:30 - 10:30 Local: Auditório 3 |
Resumo: "A Análise de Algoritmos é uma disciplina bem-estabelecida, coberta por um bom número de excelentes livros (a maioria em inglês). O presente mini-curso é uma introdução sucinta ao assunto. Depois de tratar brevemente de alguns pré-requisitos (como notação assintótica e resolução de recorrências), o texto analisa alguns algoritmos clássicos, discute sua eficiência, e chama a atenção para as estratégias (divisão e conquista, programação dinâmica, método primal-dual) que levaram à sua concepção." |
JAI: Minicurso 5: "Desmistificando XML: da Pesquisa à Prática Industrial" (Parte 3/3) Vanessa Braganholo (UFRJ), Mirella M. Moro (UFMG) Horário: 08:30 - 10:30 Local: Auditório 5 |
Resumo: "XML é uma linguagem para especificação de dados semi- ou complemente estruturados. Ela tem sido explorada tanto pela indústria quanto pela comunidade acadêmica. Onze anos depois de ter surgido, XML resolveu vários problemas importantes, de forma muito elegante. Além disso, XML foi adotada como recomendação para troca de dados por indústrias e comunidades científicas de muitas áreas, variando desde a indústria de vendas até a de saúde, incluindo aplicações extremamente atuais como Web Science e M-Government. Este mini-curso é direcionado a pessoas que querem trabalhar com pesquisa em XML, ou que simplesmente querem estudar XML com foco industrial ou acadêmico. Ele resume os principais usos de XML nos dias atuais, os problemas de pesquisa que XML ajudou a resolver e os que ainda estão abertos. É importante ressaltar que este capítulo não pretende cobrir toda a vasta literatura sobre XML. Ao invés disso, ele pretende ser um ponto de partida para qualquer pessoa que decida conhecer esta linguagem versátil, extremamente útil e poderosa chamada XML." |
CTD: Sessão Técnica 4 - Dissertações Horário: 08:30 - 10:30 Local: Auditório 2 |
|
08:30 | "Erosões e Dilatações Morfológicas" Anderson Fraiha Machado, Ronaldo Fumio Hashimoto (IME/USP) |
09:00 | "Extensible Symbolic Debugging for Distributed Object Systems" Giuliano Mega, Fabio Kon (IME/USP) |
09:30 | "Gerenciamento Ativo de Filas para o protocolo HSTCP em Redes com Produto Banda-Atraso Elevado" Juliana de Santi, Nelson L. S. da Fonseca (IC/UNICAMP) |
10:00 | "Improved Approximations for the k-Hotlink Assignment Problem and for Binary Searching in Trees" Marco Molinaro, Eduardo Laber (PUC-Rio) |
SEMISH: Palestra de Abertura do SEMISH 2009: "From Verification To Synthesis" |
|
Abstract: "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." |
|
WCGE: Painel 2: "Fomento á Pesquisa em Governo Eletrônico: Inovação x Pesquisa Aplicada" |
|
WPerformance: Sessão Técnica 3 Horário: 09:15 - 10:15 Local: Auditório 9 |
|
09:15 | "Análise de Desempenho de Estimadores de Largura de Banda Disponível para Utilização em Grades" Daniel Batista (UNICAMP), Luciano Chaves (UNICAMP), Nelson Fonseca (UNICAMP), Artur Ziviani (LNCC) |
09:35 | "Investigação Algoritmica sobre a Estimação de Movimento na Compressão de Vídeo Digital: Uma Análise Quantitativa" Leandro Rosa (UFRGS), Marcelo Porto (UFRGS), Fabiane Rediess (UFPEL), Altamiro Susin (UFRGS), Sergio Bampi (UFRGS), Luciano Agostini (UFPEL) |
09:55 | "Desempenho de Algoritmos de Proteção por Caminho Compartilhado Sensíveis às Limitações da Camada Física em Redes WDM" |
ENIA: Sessão Técnica 1: Mineração de Dados, Aprendizado de Máquina, Representação do Conhecimento Chair: Huei Diana Lee (Unioeste) Horário: 10:45 - 12:25 Local: Auditório 1 |
|
10:45 | "Gene Expression Analysis using Markov Chains extracted from Recurrent Neural Networks" Igor Almeida, Denise Pechmann (IF-Farroupilha Campus Santo Augusto), Maicon de Brito do Amarante (UFRGS), Adelmo Cechin (UNISINOS) |
11:10 | "Mineração de Séries Temporais por meio da Extração de Características e da Identificação de Motifs" André Gustavo Maletzke (UNIOESTE), Gustavo Batista (USP), Diana Huei Lee (UNIOESTE), Feng Chung Wu (UNIOESTE) |
11:35 | "Combinando métodos de seleção de atributos usando agregação de rankings" Ronaldo Prati (UFABC) |
12:00 | "Modelagem de Usuário Baseada em Grafos" André Silva (UFS), Marcel Oliveira (UFS), Aloísio Villas-Bôas (UFS), Hendrik Macedo (UFS) |
WEI: Sessão Técnica 3: Aprendizagem e Raciocínio Lógico Horário: 10:45 - 12:30 Chair: Local: Auditório 8 |
|
10:45 | Identificação dos estilos cognitivos de aprendizagem através da interação em um Ambiente EAD Carla Cristina Lui Dias, Isabela Gasparini, Avanilde Kemczinski (UDESC) |
11:15 | Analogus: Um Ambiente para Auxílio ao Ensino de Programação Orientado pelo Raciocínio por Analogia Gilson dos Santos, Joseana Fechine (UFCG), Evandro Costa (UFAL) |
11:45 | Uso de projetos sócio/filantrópicos como atividade prática: a percepção do aluno João Soares de Oliveira Neto, Maria Amelia Eliseo (Mackenzie) |
12:15 | Análise de Problemas Aplicados em um Estudo Integrado (short paper) José Amancio Santos, Michele Angelo (UEFS) |
WEI: Sessão Técnica 4: Metodologias de ensino de computação Horário: 10:45 - 12:30 Chair: Ana Paula Ambrósio (UFG) Local: Auditório 4 |
|
10:45 | A Practical Approach for Software Engineering Teaching: A Case Study for Real Time System Development Henrique Campos, Breno Lisi Romano, Gláucia e Silva, Ricardo Godoi Vieira, Adilson Marques da Cunha (ITA) |
11:15 | Impacto do Apoio Metodológico Ferramental a Aspectos de Usabilidade no Ensino Prático da Engenharia de Software Giuseppe Lima, Yuska Aguiar, Bernardo Lula Jr. (UFCG) |
11:45 | A andragogia e a criatividade como facilitadores na aprendizagem da Engenharia e da Qualidade de Software Angelica Calazans (Caixa Economica Federal) |
12:15 | O uso do Lego Mindstorms no apoio ao Ensino de Programação de Computadores (short paper) Adilson Vahldick (FURB), Fabiane Barreto Vavassori Benitti (UNIVALI), Diego Urban, Matheus Krueger (FURB), Arvid Halma (UVA, The Netherlands) |
JAI: Minicurso 3: "Uma Introdução à Programação em Lua" (Parte 2/3) |
Resumo: "Lua é uma linguagem de script amplamente usada nas mais diversas áreas, desde grandes aplicativos para desktops, como o Adobe Photoshop Lightroom, até software para sistemas embarcados. Lua é a linguagem mais usada atualmente para scripting em jogos, e é parte do padrão Ginga para o Sistema Brasileiro de TV Digital. Lua também é muito usada na área de segurança, sendo a linguagem de script embutida em ferramentas como Wireshark, snort e nmap. Este mini-curso apresenta a linguagem Lua com ênfase nos seus mecanismos menos convencionais. O objetivo é introduzir a linguagem e ao mesmo tempo apresentar algumas técnicas de programação não convencionais, como o uso de funções de mais alta ordem, co-rotinas e APIs entre linguagens. Espera-se do leitor alguma maturidade na área de programação e conhecimento da linguagem C, para a discussão da API entre Lua e C." |
JAI: Minicurso 7: "Geometria Computacional" (Parte 2/3) |
Resumo: "Este mini-curso é um convite modesto ao estudo de geometria computacional, feito através de problemas clássicos: par mais próximo, fecho convexo, interseção de segmentos e divisão de polígono. No problema do par mais próximo, são dados pontos no plano, e deseja-se determinar um par mais próximo destes pontos. Apresentamos um elegante algoritmo de divisão e conquista para este problema. Existem vários algoritmos que determinam o fecho convexo de um conjunto de pontos no plano. Apresentamos quatro deles: um algoritmo incremental, o embrulho de presente, o de Graham e o Quickhull. Estes algoritmos usam-se de técnicas bem diferentes, e mostram como um problema fundamental pode ser atacado de diversas maneiras. O bem sucedido método da linha de varredura é apresentado usando dois problemas: interseção de segmentos e divisão de polígono." |
CTD: Sessão Técnica 5 - Dissertações Horário: 10:45 - 12:45 Local: Auditório 2 |
|
10:45 | "Modelos Foto-realistas para o Reflexo Pupilar à Luz e Deformação dos Padrões da Íris" Vitor F. Pamplona, Manuel M. Oliveira (INF/UFRGS), Gladimir V. G. Baranoski (University of Waterloo, Canadá) |
11:15 | "On the Effects of Distance Functions to Improve Content-based Image Retrieval" Pedro H. Bugatti, Agma J. M. Traina (ICMC/USP) |
11:45 | "Recoloração de Imagens para Portadores de Deficiência na Percepção de Cores" Giovane R. Kuhn, Manuel M. Oliveira (INF/UFRGS) |
12:15 | "Renderização Interativa em Dispositivos Móveis utilizando Algoritmos de Visibilidade e Estruturas de Particionamento Espacial" Wendel Bezerra Silva, Maria Andréia Formico Rodrigues (UNIFOR) |
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) |
WCGE: Sessão Técnica 4 - Sistemas de Gestão para Governo eletrônico Horário: 10:45 - 11:45 Chair: Viviane Malheiros Local: Auditório 6 |
|
10:45 | "GIF: Sistema de Gestão e Inteligência Fiscal Orientado para a Administração Tributária Municipal" |
11:15 | "SIGFAPESPA - Sistema Integrado de Gestão da Fundação de Amparo â Pesquisa no Estado do Pará" |
WCGE: Encerramento e Premiação do WCGE 2009 |
WPerformance: Palestra 3: "Queues Are Everywhere (in Performance Modeling and Analysis)" |
Short Bio: |
WPerformance: Sessão Técnica 4 Horário: 11:45 - 12:45 Local: Auditório 9 |
|
11:45 | "Algoritmos para controle de admissão e escalonamento do tráfego uplink em redes IEEE 802.16" Juliana Freitag Borin (UNICAMP), Nelson Fonseca (UNICAMP) |
12:05 | "Transmissões de Vídeo ao Vivo Geradas por Usuários: Uma Análise" Thiago Silva (UFMG), Jussara Almeida (UFMG), Dorgival Guedes (UFMG) |
12:25 | "A Preferential Attachment Model for Tree Construction in P2P Video Streaming" Márcio Miranda (UFAL), Daniel Figueiredo (UFRJ) |
CSBC 2009: Reunião das Secretarias Regionais da SBC |
ENIA: Sessão Técnica 2: Inteligência Computacional Chair: Augusto Loureiro da Costa (UFBA) Horário: 14:00 - 16:00 Local: Auditório 1 |
|
14:00 | "Um método de agrupamento em dois estágios combinando mapas auto-organizáveis e ant k-médias" J. Souza (UFPE), Teresa Ludermir (UFPE), Leandro Almeida (UFPE) |
14:25 | "A New Increasing Translation Invariant Morphological Method for Financial Time Series Forecasting" Ricardo de A. Araújo ([gm]² Intelligent Systems), Glaucio Melo (UNICAP) |
14:50 | "Reinforcement Learning in Non-Stationary Continuous Time and Space Scenarios" Eduardo Basso (UFRGS), Paulo Engel (UFRGS) |
15:15 | "Uma Abordagem Multi-objetiva Hibrída para Seleção e Atribuição de Pesos a Características para Classificadores k-NN" Salomão Sampaio Madeiro (UPE), Joás E. Souza (UPE), Carmelo Bastos-Filho (UPE), Adriano Oliveira (UFPE) |
SECOMU: Painel 2: "Computação e Agricultura" |
|
ENIA: Sessão Técnica 3: Computação Evolutiva, Vida Artificial Chair: Heitor Lopes (UTFPR) Horário: 16:15 - 18:15 Local: Auditório 1 |
|
16:15 | "Controle de Inércia para Fuga de Mínimos Locais de Funções Não-Lineares na Otimização por Enxame de Partículas" Tiago Silveira (UNIFAL), Humberto César Brandão de Oliveira (UNIFAL), Luiz da Silva (UNIFAL) |
16:40 | "Algoritmo genético aplicado à predição da estrutura de proteínas utilizando o modelo 3D-HP Side Chain" César Manuel Vargas Benítez (UTFPR), Heitor Lopes (UTFPR) |
17:05 | "Diversity Control in Genetic Algorithms for Protein Structure Prediction" Vinícius Tragante do Ó (Katholieke Universiteit Leuven, Bélgica), Renato Tinós (USP) |
17:30 | "Análise de séries temporais aplicadas ao mercado financeiro com o uso de Algoritmos Genéticos e Lógica Nebulosa" Frederico Marques (CEFET-MG), Rogério Gomes (CEFET-MG) |
17:55 | "Sistema Híbrido Inteligente Combinado com a Teoria da Perturbação para Previsão de Séries Temporais" Paulo Salgado Gomes de Mattos Neto (UFPE), Aranildo Rodrigues (UFRPE), Tiago Ferreira (UFRPE), Germano Vasconcelos (UFPE) |
WEI: Reunião GTs |
A reunião dos Grupos de Trabalho acontecem todo o ano junto ao WEI. Os GTs discutem ações atuais e futuras relacionadas aos cursos de ensino superior em Ciência, Licenciatura e Engenharia de Computação, Sistemas de Informação, bem como cursos tecnológicos e demais relacionados à Computação e Informática. Especialmente na edição de 2009, estaremos discutindo a publicação dos Referenciais pelo MEC: http://portal.mec.gov.br/index.php?option=com_content&view=article&id=13812&Itemid=995 Entre as principais questões a serem discutidas estão:
|
WEI: Reunião Fórum Pós |
JAI: Minicurso 3: "Uma Introdução à Programação em Lua" (Parte 3/3) |
Resumo: "Lua é uma linguagem de script amplamente usada nas mais diversas áreas, desde grandes aplicativos para desktops, como o Adobe Photoshop Lightroom, até software para sistemas embarcados. Lua é a linguagem mais usada atualmente para scripting em jogos, e é parte do padrão Ginga para o Sistema Brasileiro de TV Digital. Lua também é muito usada na área de segurança, sendo a linguagem de script embutida em ferramentas como Wireshark, snort e nmap. Este mini-curso apresenta a linguagem Lua com ênfase nos seus mecanismos menos convencionais. O objetivo é introduzir a linguagem e ao mesmo tempo apresentar algumas técnicas de programação não convencionais, como o uso de funções de mais alta ordem, co-rotinas e APIs entre linguagens. Espera-se do leitor alguma maturidade na área de programação e conhecimento da linguagem C, para a discussão da API entre Lua e C." |
JAI: Minicurso 7: "Geometria Computacional" (Parte 3/3) |
Resumo: "Este mini-curso é um convite modesto ao estudo de geometria computacional, feito através de problemas clássicos: par mais próximo, fecho convexo, interseção de segmentos e divisão de polígono. No problema do par mais próximo, são dados pontos no plano, e deseja-se determinar um par mais próximo destes pontos. Apresentamos um elegante algoritmo de divisão e conquista para este problema. Existem vários algoritmos que determinam o fecho convexo de um conjunto de pontos no plano. Apresentamos quatro deles: um algoritmo incremental, o embrulho de presente, o de Graham e o Quickhull. Estes algoritmos usam-se de técnicas bem diferentes, e mostram como um problema fundamental pode ser atacado de diversas maneiras. O bem sucedido método da linha de varredura é apresentado usando dois problemas: interseção de segmentos e divisão de polígono." |
CTIC: Sessão Técnica Chairs: Andréia Formico e Renata Galante Horário: 16:15 - 18:15 Local: Auditório 2 |
|
16:15 | “Simulação e Análise de Controles de Admissão de Chamadas para Redes Móveis UMTS de Terceira Geração 3G” Anna Izabel João Tostes Ribeiro (PUC-MG), Fátima Duarte-Figueiredo (PUC-MG) |
16:45 | “Um Algoritmo Imunológico para a Solução do Problema do Caixeiro Viajante” |
17:15 | “Algoritmos de Coordenação para Enxames de Robôs” Leandro Marcolino (UFMG), Luiz Chaimowicz (UFMG) |
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) |
WPerformance: Painel: "Ensino e pesquisa em análise de desempenho" |
|
CSBC 2009: Reunião das Secretarias Regionais da SBC |
WEI: Reunião Fórum Graduação |
CSBC 2009: Festa CSBC - Bangalô Music Bar |
Rua Herny Hugo Dreher - 92 - B. Planalto (Próximo ao Dall'onder Grande Hotel) Bento Gonçalves/RS - CEP 95700-000 Fone: (54) 3453.5553 - 3454.1431 www.bangalomusicbar.com.br bangalo@bangalomusicbar.com.br Valor: Masculino: R$ 10,00 Feminino: R$ 5,00 |