Seminários de Ciências da Computação - 2000/2001
[ DI/UM ]

Novo	A lista dos seminários a realizar na corrente edição da disciplina está disponível na secção Programa de Seminários

[ Docentes | Horário | Regime de Avaliação | Programa de Seminários | Trabalhos de pré-tese | Notas Finais ]

  Docentes

A presente edição da disciplina tem como docentes responsáveis J.N. Oliveira, P.R. Henriques e P.M. Carvalho.

  Horário

Ref.	Dia	Hora	Tipo	Sala	Cursos
1	6.ª-feira	16h00-18h00	T	0.02	MI/EI

  Regime de Avaliação

• Relatório gobal sobre cinco dos seminários realizados, à escolha do aluno, a ser avaliado pelos responsáveis pela disciplina, com peso de 30%.

  NB: deve ser entregue a qualquer dos docentes responsáveis pela disciplina até 15 dias antes do lançamento das notas.

• Classificação do relatório de pré-tese, a ser avaliado pelo respectivo supervisor, com peso de 70%.

  NB: a sua entrega ao supervisor deve ser combinada por forma a aquele poder comunicar a nota aos responsáveis da disciplina, de preferência por e-mail, até 1 dia antes do lançamento das notas.

• Qualquer destes elementos de avaliação pode ser entregue nas épocas normal (vulg. Julho) ou de recurso (vulg. Setembro).

  Programa de Seminários

• Seminários realizados:

  1. DATA:

     2001.03.02, 16h00

     POR:

     A.J. Fernandes

     TEMA:

     Internet e Acessibilidade

     RESUMO:

     A Internet é hoje um veículo de transmissão de informação com capacidades espantosas. O grafismo de certas páginas Web é de facto uma obra de arte (outras, nem por isso...). A tendência para ilustrar as páginas Web, se por um lado torna a Internet mais agrádavel à maioria dos utilizadores, por outro tende a afastar certos segmentos da população, nomeadamente os utilizadores invisuais.

     Nesta palestra são introduzidas duas classes de `software' que permitem o acesso à Internet por parte deste tipo de utilizadores: `screen readers' e `audio browsers'. Nesta segunda categoria são apresentadas algumas das aplicações existentes, nomeadamente o HPR da IBM, e o AudioBrowser desenvolvido na Universidade do Minho.

     OBS:

  2. DATA:

     2001.03.09, 16h00

     POR:

     J.C. Ramalho

     TEMA:

     Processamento Estruturado de Documentos

     RESUMO:

     Documentos Estruturados: o que são, história e evolução. Linguagens de Anotação: evolução e estado actual. XML: o conceito de meta-linguagem; DTDs; Produção de Conteúdos; Bases de Dados Documentais; Processamento e Transformação: XSL, XML::DT, Omnimark. Alguns exemplos.

     OBS:

     O material relativo a este seminário (cedido pelo autor para consulta) está disponível em formato Powerpoint.

  3. DATA:

     2001.03.16, 16h00

     POR:

     M.F. Rocha

     TEMA:

     Algorítmos Genéticos e Evolucionários

     RESUMO:

     O seminário a apresentar fará uma abordagem ao paradigma dos Algoritmos Genéticos e Evolucionários (AGEs), fazendo-se uma apresentação dos seus princípios básicos de funcionamento e das suas potencialidades. O campo da Optimização Combinatória, nomeadamente considerando-se alguns problemas NP-completos, será objecto de um foco especial. Considerar-se-á a aplicação de AGEs a alguns problemas nesta área, dando-se ênfase às formas de tratamento das restrições impostas às soluções. Alguns exemplos serão os problemas do Caixeiro Viajante, de Vehicle Routing, de Bin Packing ou de Knapsacking, entre outros. Os algoritmos apresentados passam pela consideração de métodos de hibridação dos AGEs com técnicas próprias de cada um dos problemas.

     OBS:

  4. DATA:

     2001.03.23, 16h00

     POR:

     J.S. Pinto

     TEMA:

     Introdução às Redes de Interacção

     RESUMO:

     As redes de interacão são um paradigma para a computação baseado em reescrita de grafos, inventado por Yves Lafont. Podem ser vistas como uma generalização das redes de prova para a Lógica Linear Multiplicativa de Girard, ou como uma linguagem para programação visual. Várias traduções existem do lambda-calculus em redes de interacção, graças às quais se tem conseguido obter implementações muito eficazes, graças às propriedades de controlo local das reduções inerentes às redes de interacção. Nesta palestra introduziremos os conceitos básicos do paradigma, bem como as suas propriedades fundamentais e exemplos da sua utilização directa como linguagem visual. Em seguida discutiremos alguns aspectos da implementação das redes de interacção em máquinas paralelas, em arquitecturas de memória partilhada e de memória distribuída.

     OBS:

  5. DATA:

     2001.03.30, 16h00

     POR:

     O.M. Belo

     TEMA:

     A Integração de Agentes Inteligentes em Sistemas de Data Warehousing

     RESUMO:

     O domínio científico da Computação Baseada em Agentes (CBA) tem vindo a crescer de forma significativa nos últimos anos. As aplicações desenvolvidas têm demonstrado a viabilidade desta recente tecnologia em diversas áreas. O desenho e a construção de agentes de pesquisa de informação na Internet, de assistentes pessoais com capacidades de aprendizagem, de sistemas de diagnóstico e tratamento de doenças ou de agentes para a simulação de plantas produtivas são apenas alguns dos muitos exemplos de processos de desenvolvimento de software que utilizaram técnicas de CBA. A abordagem naturalmente modular que a CBA possibilita sobre um domínio de conhecimento em particular, um agente para uma área de trabalho específica, combinada com a possibilidade de construção de agentes que emulem a perícia e conhecimento humano, faz com que este tipo de tecnologia seja muito indicada para a concepção, desenvolvimento e implementação de Sistemas de Data Warehousing (SDW). A área tecnológica dos SDW baseados em agentes considera a análise, planeamento e implementação de cenários computacionais que integram no seu seio comunidades de agentes inteligentes que, de acordo com as suas perícias e conhecimento são capazes de realizarem, autonomamente, as actividades relacionadas com as acções de carregamento do próprio Data Warehouse (DW), o desenvolvimento de processos de navegação e interrogação de dados, a gestão e manutenção de estruturas multi-dimensionais nas plataformas de decisão, a realização de processos de análise de perfis de utilização de dados, etc. A integração de técnicas de CBA em SDW permite também melhorar o seu desempenho, possibilitando a transformação dos mecanismos de pesquisa convencionais existentes em sistemas mais flexíveis, efectivos e com capacidade de se auto-adaptarem às necessidades quotidianas dos agentes de decisão.
     Palavras-Chave: Sistemas de Data Warehousing, Agentes Inteligentes Baseados em Conhecimento, Engenharia do Conhecimento, Bases de Dados Multi-Dimensionais.

     OBS:

  6. DATA:

     2001.04.06, 16h00

     POR:

     J. Macedo

     TEMA:

     NetCensus: Obtenção de estatísticas para a informação do WWW Português

     RESUMO:

     É um dado adquirido que o WWW é o serviço mais popular da Internet. Esta popularidade pode ser medida com base na informação disponibilizada, número de utilizadores e ritmo de pedidos.

     Do serviço WWW podem ser extraídas as mais diversas medidas que vão desde o tráfego http, passando pela análise dos registos históricos de servidores e clientes, até a análise da propria estrutura das páginas em si.

     O objectivo do projecto NetCensus é construir um sistema (hardware e software) que permita obter um conjunto de medidas da informação acessível no WWW em Portugal.

     Construir um colector de estatísticas do Web que utilize o mínimo indispensavel de recursos de computação e de rede não é uma tarefa fácil em face dos grandes volumes de informação envolvidos. O sistema deve ser concebido de forma modular para se adaptar quer ao crescimento exponencial do Web quer a novos requisitos das métricas utilizadas.

     Nesta apresentação, para além da descrição das métricas utilizadas, serão apresentados os principais problemas sentidos na fase de especificação dos vários componentes bem como as opções tomadas para a sua concretização.

     Este projecto realiza-se no âmbito dum protocolo de colaboração entre o DI/UM e o Observatório das Ciencias e Tecnologias (OCT) e insere-se numa das áreas de trabalho do OCT, iniciada em 1999, que tem como objectivo a produção de indicadores estatísticos para a Sociedade de Informação.

     OBS:

  7. DATA:

     2001.04.27, 16h00

     POR:

     Rita Nicolau e J.G. Rocha

     TEMA:

     MetaInformação em SIGs: o caso do SNIG

     RESUMO:

     OBS:

  8. DATA:

     2001.05.04, 16h00

     POR:

     Fátima Rodrigues e M.Y. Santos

     TEMA:

     DCBD e Data Mining

     RESUMO:

     OBS:

  9. DATA:

     2001.05.11, 16h00

     POR:

     C.B. Moreno

     TEMA:

     Controlo de Versões e Ordenação de Eventos em Sistemas Distribuídos

     RESUMO:

     Breve apresentação da evolução do estudo de causalidade em sistemas distríbuidos, desde a definição inicial de Lamport, até ao desenvolvimento dos "version vectors" e posteriormente "vector clocks". Comparação destes dois últimos conceitos e referência ao resultado de minimalidade dos "vector clocks". Desenvolvimento da noção de fronteira de réplicas e do seu impacto na interpretação da minimalidade. Na conclusão conjectura-se a não aplicabilidade da minimalidade aos "version vectors" e a possibilidade de soluções "bounded". Breve referência a fronteiras dinâmicas e ao projecto Panasync.

     OBS:

     O material relativo a este seminário (cedido pelo autor para consulta) está disponível em formato PDF.

  10. DATA:

      2001.05.18, 16h00

      POR:

      Benedita Malheiro

      TEMA:

      Agentes em Sistemas de manutenção de Verdade

      RESUMO:

      OBS:

  11. DATA:

      2001.05.25, 16h00

      POR:

      J.F. Campos

      TEMA:

      Desenvolvimento de Sistemas Interactivos

      RESUMO:

      OBS:

  12. DATA:

      2001.05.31, 16h00

      POR:

      José Rufino, Albano Alves, José Exposto

      TEMA:

      Tabelas de Hash Distribuídas (Proj. SIRe)

      RESUMO:

      OBS:

      Informações mais detalhada sobre a sessão podem ser obtida através da consulta das seguintes páginas: resumo , conteúdo da apresentação , sumário .

  13. DATA:

      2001.06.01, 16h00

      POR:

      L.S. Barbosa

      TEMA:

      Verificação de Sistemas Concorrentes

      RESUMO:

      OBS:

      Os transparentes deste seminário estão disponíveis em formato *.ps.gz

  14. DATA:

      2001.06.08, 16h00

      POR:

      O.M. Pacheco

      TEMA:

      Especificação Normativa de Organizações

      RESUMO:

      É apresentado um modelo abstracto baseado nos conceitos de "papel" e de "agente institucional", suportado por uma lógica deôntica e de acção. A lógica proposta tenta capturar o conceito de "acção num papel" relacionando-o com noções deônticas tais como "obrigações", permissões" ou "proibições". Esta lógica é usada na especificação formal e na análise rigorosa de agentes institucionais e de sociedades de agentes. Dá-se especial atenção à interacção entre agentes através de "contratos" ou outro tipo de relações normativas. São apresentados exemplos que ilustram como especificar formalmente uma organização (numa perspectiva normativa) e o tipo de análise suportada.

      OBS:

  Trabalhos de pré-tese

• Temas disponíveis: pf consultar URL do MI/CEI.
• Por favor comuniquem os vossos orientadores e o tema de pré-tese logo que possível.

  Notas Finais

À data da Época de Recurso:

Curso	Reg	Nr	Nome	Classif.	Orientador
MI		670	Ângela Marina Fernandes de Oliveira Brandão (92/93)	13	O. Belo
MI		3739	António Luís Aguiar de Morais (99/00)	Faltou
MI		3844	José Pedro de Almeida N. Moreira de Morais - 99/00	17
MI		2125	Margarida Maria A. Oliveira - 96/97 ; 97/98	Faltou
MI		3914	Mário Miguel Martins Machado - 99/00	Faltou
MI		2806	Nelson Manuel Faria Freire (CC) 97/98 ; 98/99	Faltou
MI		4709	Patrícia Fontenele Baltasar	Faltou	P. Carvalho
MI		4712	Pedro Miguel Félix Alípio	18	P. Carvalho
MI			Sílvia Maria Rodrigues da Cunha (99/00)	17	O. Belo
CEI		4695	Carla Maria Ferraz Lima	Faltou
CEI		4696	Carlos Alberto Moutinho dos Santos Correia	Faltou
CEI	T-E	4697	Carlos José Fazendas de Sousa	Faltou
CEI			João Carlos Rodrigues da Rocha (98/99)	Faltou
CEI			João Filipe Brochado Lemos (98/99)	Faltou
CEI	T-E	4700	José Filipe Fernandes de Almeida Lopes	17	A. Santos
CEI	T-E	4701	José Pedro Gomes Barbosa da Costa Pereira	Faltou
CEI	T-E	4702	Lídia Adelaide Soares Martins	Faltou
CEI	T-E	4704	Lúcia Maria Pinheiro da Silva	Faltou
CEI		4706	Maria Cecília Esteves de Sousa Menezes	Faltou
CEI		4710	Paulo Alexandre dos Santos Pereira Gonçalves	Faltou
CEI		4711	Paulo Jorge Valverde Viegas Costa	18	A. Santos

Voltar à página principal de S.C.C.. Outras disciplinas leccionadas pelo DIUM