Seminários de Pesquisa do DAINF - Wiki DAINF
Seminários de Pesquisa do DAINF
2.1 Segundo semestre de 2010
2.1.1 08/12/2010 (quarta-feira - 14h00 - Maria Claudia Emer (DAINF-UTFPR) e Marilia Amaral (DAINF-UTFPR)
2.1.1.1 Das 14h00 às 14h50
2.1.1.2 Das 15h00 às 15h50
2.1.2 03/11/2010 (quarta-feira) - 10:30 - "Uso de Partial Least Squares para Detecção de Humanos e Reconhecimento de Faces" - William Robson Schwartz
2.1.3 14/10/2010 (quinta-feira) - 10:00 - "Diagnóstico de falhas em sistemas a eventos discretos e aplicações" - Ricardo Lüders (DAINF)
2.2 Segundo semestre de 2009
2.2.1 28/10/2009 (quarta-feira) - 16:00 - "Suporte a Contadores de Performance no Linux" - Arnaldo Carvalho de Melo (Red Hat, Brazil)
2.3 Primeiro semestre de 2009
2.3.1 23/06/2009 (terça-feira) - 10:20 - "Transformações de imagens baseadas em morfologia matemática e aplicações" - Profa. Leyza Dorini
2.3.2 22/04/2009 (quarta-feira) - 10:30 - "KEMS - Um provador de teoremas multi-estratégia" - Prof. Adolfo Neto
2.3.3 06/04/2009 (segunda-feira) - 14:00 - "Classificação Automática de Gêneros Musicais" - Prof. Celso Kaestner
3 Sugestões para Futuras Palestras
Ciclo de apresentações de temas de pesquisa no DAINF.
08/12/2010 (quarta-feira - 14h00 - Maria Claudia Emer (DAINF-UTFPR) e Marilia Amaral (DAINF-UTFPR)
Em 08/12/2010 teremos duas palestras dos Seminários de Pesquisa do DAINF no Mini-Auditório da UTFPR Campus Curitiba.
Das 14h00 às 14h50
Título: Acessibilidade em Informática na Educação
Resumo: A abrangência universal dos direitos humanos sem discriminação garante a participação de pessoas com diferentes perfis e necessidades em atividades que envolvem o uso de produtos, serviços e informação. Os conceitos envolvidos na inclusão destas pessoas em todos os meios, o respeito as suas diferenças e reconhecimento de suas capacidades em múltiplas dimensões, são temas relativos a acessibilidade. A Informática na Educação também deve considerar tais aspectos para incluir cada vez mais usuários. Propostas para se implementar tais elementos são consideradas como alternativas à comunidade acadêmica e em geral. Os resultados obtidos com estas propostas também serão apresentados.
Mini-CV: Marília A. Amaral possui doutorado no Programa de Pós Graduação em Engenharia e Gestão do Conhecimento da Universidade Federal de Santa Catarina (2008), mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (2002) e graduação em Ciência da Computação pela Universidade Estadual de Londrina (1997). Atualmente é professora e pesquisadora na Universidade Tecnológica Federal do Paraná (UTFPR). Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: tecnologias em educação a distância, sistemas adaptativos, informática na educação, modelagem de conhecimento e desenvolvimento de sistemas web. E-mail: marilia (@) dainf.ct.utfpr.edu.br. CV lattes: http://lattes.cnpq.br/9319101798473279
Título: Análise de Instâncias de Dados Alternativas
Resumo: Dados são manipulados em várias aplicações de software envolvendo operações críticas. Nessas aplicações a qualidade dos dados manipulados é fundamental. Esquemas de dados definem a estrutura lógica e os relacionamentos entre os dados. O teste de esquemas por meio de abordagens de teste específicas é uma forma pouco explorada de assegurar a qualidade de dados definidos por esquemas. Neste seminário será apresentada uma proposta de abordagem de teste baseada em classes de defeitos comumente identificados em esquemas de dados. Essa abordagem é denominada Análise de Instâncias de Dados Alternativas porque gera automaticamente um conjunto de teste que contém instâncias de dados e consultas a essas instâncias. Resultados de experimentos realizados para ilustrar a aplicação da abordagem de teste e trabalhos futuros serão apresentados.
Mini-CV: Maria Claudia F. P. Emer possui doutorado em Engenharia Elétrica pela Universidade Estadual de Campinas (2007), mestrado em Informática pela Universidade Federal do Paraná (2002), graduação em Informática pela Universidade Estadual do Oeste do Paraná (1997), graduação em Matemática pela Universidade Estadual do Oeste do Paraná (1994). Atualmente é professora adjunta da Universidade Tecnológica Federal do Paraná no Departamento Acadêmico de Informática (DAINF). Sua área de interesse é Engenharia de Software, atuando principalmente em teste de software. Email: mclaudia (@) dainf.ct.utfpr.edu.br.
03/11/2010 (quarta-feira) - 10:30 - "Uso de Partial Least Squares para Detecção de Humanos e Reconhecimento de Faces" - William Robson Schwartz
Mais informações em http://post.ly/18iMq
14/10/2010 (quinta-feira) - 10:00 - "Diagnóstico de falhas em sistemas a eventos discretos e aplicações" - Ricardo Lüders (DAINF)
Local: Mini-Auditório da UTFPR Campus Curitiba
Resumo: Sistemas a eventos discretos podem ser descritos por um espaço de estados discreto cuja transição de estados é causada pela ocorrência de eventos assíncronos, sendo denominados sistemas dirigidos a eventos ou "event-driven systems". Existem várias metodologias de modelagem, análise e controle destes sistemas, as quais utilizam geralmente um modelo de transição de estados temporizado ou não. Dentre as mais conhecidas estão as redes de Petri, autômatos de estados finitos, simulação de eventos discretos e teoria de filas. Esta palestra aborda o problema de diagnóstico de falhas em sistemas a eventos discretos descritos por autômatos de estados finitos. Este problema tem por objetivo detectar a ocorrência de um evento de falha não observável a partir de uma sequência de eventos observáveis. Algumas aplicações no contexto do diagnóstico de falhas, assim como de sistemas a eventos discretos em geral, serão também abordadas.
Mini-CV: Ricardo Lüders é professor associado do DAINF desde 1997 e atua no Programa de Pós-Graduação CPGEI da UTFPR desde 2002, ambos em Curitiba. Possui graduação, mestrado e doutorado em Engenharia Elétrica pela Unicamp e pós-doutorado na University of Michigan em Ann Arbor, na área de controle supervisório e sistemas híbridos. Tem experiência na área de Engenharia Elétrica e de Computação, com ênfase em Sistemas a Eventos Discretos, atuando principalmente nos seguintes temas: pesquisa operacional, álgebra max-plus, redes de Petri e sistemas híbridos.
Marília Amaral e Maria Claudia Emer (data a definir)
28/10/2009 (quarta-feira) - 16:00 - "Suporte a Contadores de Performance no Linux" - Arnaldo Carvalho de Melo (Red Hat, Brazil)
Local: Mini-auditório da UTFPR Campus Curitiba.
Resumo: Processadores modernos possuem hardware dedicado à contagem de eventos associados a performance, registradores especiais que permitem identificar áreas a serem otimizadas. Desenvolvimentos recentes no kernel Linux exploram estas características, resolvendo problemas em encontrados em tentativas anteriores, como no caso do OProfile. A interface desenvolvida para expor tais funcionalidades e as ferramentas associadas serão descritas e demonstradas.
Mini-CV: Fundador da Conectiva. Mantenedor de protocolos legados. Autor da primeira implementação do protocolo DCCP/IP. Curioso sobre como estruturas de dados são distribuídas sobre cachelines. Criador de ferramentas genéricas de baixo nível e para sistemas de tempo real. Atualmente tentando combinar estes tópicos de sua casa em Curitiba.
Observações adicionais: A Conectiva foi por algum tempo a principal empresa brasileira de Linux. Sua distribuição Linux era a principal da América Latina e foi bastante usada. A empresa foi referência em software livre no Brasil, tendo sido assunto de várias revistas especializadas, como Info e Exame. A sede da Conectiva ficava em Curitiba. Ela foi adquirida pela francesa Mandrake por 2,3 milhões de dólares em 2005 e transformou-se na Mandriva. Além de ter sido um dos fundadores da Conectiva, Arnaldo foi CTO (Chief Technology Officer) da Conectiva.
Esta palestra foi apresentada (como palestra convidada) no VI Workshop de Sistemas Operacionais (WSO'2009) (ver http://www.lisha.ufsc.br/wso/wso2009/program.html) e (como palestra proposta e aceita) na Linux Plumbers Conference (http://linuxplumbersconf.org/2009/program/), uma importante conferência de desenvolvedores Linux da qual participou o criador do Linux, Linus Torvalds e na Latinoware 2009.
Slides de "Suporte a Contadores de Performance no Linux" - Arnaldo Carvalho de Melo (em PDF)
23/06/2009 (terça-feira) - 10:20 - "Transformações de imagens baseadas em morfologia matemática e aplicações" - Profa. Leyza Dorini
Mini-CV: Leyza Baldo Dorini é professora adjunta do Departamento Acadêmico de Informática da Universidade Tecnológica Federal do Paraná - UTFPR. Possui mestrado em Ciência da Computação pelo Instituto de Computação da Universidade Estadual de Campinas - Unicamp, tendo como foco neste período a pesquisa na área de visão computacional. Durante o doutorado, realizado neste mesmo instituto, realizou período sanduíche na University of Wyoming, EUA. Tem experiência na área de Ciência da Computação, com ênfase em Processamento Gráfico, atuando principalmente nos seguintes temas: análise multi-escala de imagens, morfologia matemática, extração automática e rastreamento de características, filtragem e segmentação de imagens e reconhecimento de padrões.
Slides de "Transformações de imagens baseadas em morfologia matemática e aplicações" - Profa. Leyza Dorini (em PDF)
22/04/2009 (quarta-feira) - 10:30 - "KEMS - Um provador de teoremas multi-estratégia" - Prof. Adolfo Neto
Slides de "KEMS - Um provador de teoremas multi-estratégia" - Prof. Adolfo Neto (em PDF)
Clique aqui para ler a Tese de Doutorado de Adolfo Neto que descreve o desenvolvimento do KEMS
06/04/2009 (segunda-feira) - 14:00 - "Classificação Automática de Gêneros Musicais" - Prof. Celso Kaestner
Local: Sala de vídeo conferência.
Resumo: O tema a ser apresentado é a classificação automática de gêneros musicais a partir de arquivos em formato digital (MP3 ou similar). Inicialmente os arquivos são tratados por procedimentos de extração, que geram vetores de características. Estes vetores são então submetidos a algoritmos de aprendizagem de máquina, seguindo o paradigma supervisionado para problemas de classificação. No projeto empregou-se uma abordagem baseada na cooperação de diversos classificadores, seguindo a decomposição do problema nas dimensões "espacial" e "temporal". São empregados diversos classificadores: naïve-Bayes, árvores de decisão, SVM, redes neurais e k-NN. Foram também realizados experimentos de seleção de atributos, com o uso de um procedimento baseado em algoritmos genéticos. Todos os experimentos empregaram uma nova base de dados, a "Latin Music Database", composta por 3.160 músicas de 10 gêneros musicais.
Slides de "Classificação Automática de Gêneros Musicais" - Prof. Celso Kaestner (em PDF)
Clique aqui para ler um artigo relacionado a esta palestra.
Sugestões para Futuras Palestras
Obtida de "http://www.dainf.ct.utfpr.edu.br/wiki/index.php?title=Semin%C3%A1rios_de_Pesquisa_do_DAINF&oldid=5095"