MICEI

Mestrado em Informática e Curso de Especialização em Informática

Tópicos

Avisos

IMPORTANTE: A partir do ano lectivo de 2007/2008, o MICEI funcionará já adequado ao Modelo de Bolonha. Para mais informações consulte Mestrado de Informática.

IMPORTANTE: Directivas para a transição MICEI - Mestrado de Informática (30.07.07)



Seminários MICEI, todas as sextas-feiras, 18h, Anfiteatro DI-A1. Participa!!

Propostas de Temas para Dissertação (aberto em permanência) (Novos temas!)

Material Pedagógico de Apoio aos Seminários

  • Seminário de 2005-11-04:
    • Título: Uma Lógica para a Especificação Formal de Organizações
    • Orador: Olga Pacheco
    • Questão: Discuta em que medida a especificação normativa de uma organização pode ser útil a essa organização e às pessoas que com ela interagem.

  • Seminário de 2005-11-11:
    • Orador: Fátima Rodrigues
    • Título: Caracterização de Perfis de Consumidores de Engenharia Eléctrica Contractuais utilizando técnicas de Data Mining.
    • Questão: Qual a utilidade do Data Mining?

  • Seminário de 2005-11-18:
    • Orador: Alberto Mendes
    • Título: Data warehouse na Modelo Continente Hipermercados. Estratégia de crescimento e caso de estudo.
    • Questão: Data warehouse: Porquê e para quê?

  • Seminário de 2005-11-25
    • Orador: Nuno Escudeiro
    • Título: Compilação automática de recursos na Web
    • Questão: No âmbito da web, como repositório de informação, quais as falhas potenciais e as mais valias que uma metodologia como a apresentada, "webTOPIC", pode trazer a um utilizador individual ou a uma instituição/grupo?

  • Seminário de 2005-12-2
    • Orador: Miguel Monteiro
    • Título: Refabricando Sistemas Orientados ao Objecto para a Orientação ao Aspecto
    • Questão: Os praticantes do refactoring servem-se frequentemente de certos sintomas padrão no texto fonte como indicadores de que o texto necessita de ser refabricado. Com base na exposição que assistiu, que sintomars sugeriria como indicadores de que um programa beneficiaria de refabricações no sentido de extrair aspectos?
    • Slides: .rar

  • Seminário de 2005-12-9
    • Orador: Simão Melo de Sousa
    • Título: LISSOM, a source level Proof Carrying Code plataform for the safe execution of mobile code
    • Questão: Qual a relação do LISSOM com o TCB (Trusted Computing Base), i.é, em que medida é que o LISSOM resolve a noção de computação segura/confiável ?
    • Slides: .pdf
    • Algumas referências:
      • 1) Proof Carrying Code (Neula)
      • 2) Foundadtional Proof Carrying Code (Appel & Felty)
      • 3) Syntatic Approaches to Foundadtional Proof Carrying Code
      • 4) COQ in COQ

  • Seminário de 2005-12-16
    • Orador: Paulo Oliveira
    • Título: Problemas de Qualidade dos Dados
    • Questão: Será adequada a cobertura dada pelas ferramentas de Data Profiling à detecção dos problemas de qualidade dos dados ?
    • Slides: .pdf

  • Seminário de 2006-01-13
    • Orador: David Sora
    • Título: Especificação reversa e Re-engenharia de Software: Estudo de Caso
    • Abstract: In High Energy Physics, when complex systems have to be redesigned the only well known methodology is the empirical approach. The lack of strong and confident methods of software reengineering, in that field, encourages alternative approaches. Formal methods and VDMTools technologies have the potential to make a valuable contribution to the systems development process. This paper describes a case study project involving the reengineering, trough reverse specification, of the COMPASS's Detector Control System, at CERN.
    • Questão: Decomposição e Refinamento são dois elementos importantes no processo de desenvolvimento de software. Qual o papel dos métodos formais e suas ferramentas no desenho de sistemas complexos?
    • Slides: .pdf

  • Seminário de 2006-01-20
    • Orador: Salvador Abreu
    • Título: Programação em Lógica com Contextos.
    • Abstract: A linguagem Prolog, na sua forma mais divulgada, não especifica mecanismos para estruturação de programas. A Programação em Lógica com Contextos (CxLP) visa superar esta limitação, introduzindo simultâneamente conceitos próximos dos da Programação Orientada a Objectos. Esta apresentação consiste numa revisão dos conceitos do Prolog, focando a questão da estruturação de programas, seguida dum paralelo entre o CxLP e linguagens OO como o Smalltalk.
    • Questão: A variável lógica com unificação poderá ser assemelhada a apontadores noutras linguagens? Que vantagens/inconvenientes/oportunidades surgem por usar a variável lógica vs. outras abordagens (p/ex a Base de Dados incorporada do Prolog)?
    • Slides: .pdf

  • Seminário de 2006-03-10
    • Orador: Alberto Simões
    • Título: Tradução Automática Baseada em Exemplos.
    • Abstract: A tradução automática baseada em exemplos (EBMT) é suportada essencialmente por uma grande quantidade de frases ou segmentos já traduzidos (exemplos). Durante o processo de tradução, o sistema tenta encontrar nesses exemplos porções do texto a traduzir, e constituir uma tradução.
      Nesta apresentação abordar-se-á não só a estrutura de um sistema EBMT mas também algumas técnicas para a obtenção de exemplos de tradução úteis.
    • Questão: A qualidade dos exemplos extraídos para a tradução automática baseada em exemplos depende principalmente da qualidade da tradução dos documentos usados, bem como o género linguístico dos mesmos.
      Tendo isto em conta, compare a qualidade dos exemplos extraídos dos seguintes recursos: traduções literárias, tradução legislativa e tradução oral (interpretação).
    • Slides: .pdf

  • Seminário de 2006-03-17
    • Orador: Pedro Ferreira
    • Título: O Data Mining ao serviço da Biologia Molecular
    • Questão: Em que sentido a análise de padrões sequenciais pode permitir uma melhor compreensão dos mecanismos biológicos das proteínas, em particular do mecanismo de folding?
    • Slides: .pdf

  • Seminário de 2006-03-24 e 2006-03-31
    • Orador: Pedro Henriques
    • Título: Topic Maps aplicados ao sistema de informação do Museu da Emigração
    • Questão: De que forma é que os Topic Maps descrevem Ontologias e permitem integrar fontes de informação heterogéneas?
    • Resumo: Este seminário apresenta uma aplicação do Metamorphosis---uma plataforma para criar, armazenar, validar e navegar em Topic Maps---ao caso do Museu Virtual da Emigração. O Museu da Emigração contém no seu espólio fontes de informação compostas por documentos XML e por bases de dados relacionais. A função do Metamorphosis é propiciar uma visão homogénea destes recursos de informação através da criação de um topic map que represente este universo de discurso. Para isso, usa-se o Oveia para a extracção do topic map e o Ulisses para a navegação sobre o conhecimento do domínio. O resultado é uma visão integrada do conhecimento que se pretende divulgar através do Museu da Emigração, de acordo com a ontologia especificada pelos especialistas da área.
    • Slides: slides-semin-12.ppt (c.f. tabela)

  • Seminário de 2006-04-21
    • Orador: Mario Marcelo Béron
    • Título: Un Evaluador de Algoritmos de Ruteo
    • Questão: Analice la posibilidad de aplicación de los Algoritmos de Ruteo Online en redes reales.
    • Resumo: En este seminario se presentará una herramienta que permite estudiar y evaluar algoritmos de ruteo. Se describirá la arquitectura y componentes de la herramienta y los pasos necesarios para llevar a cabo la evaluación automática de los algoritmos de ruteo. Como caso de estudio se presentatán los algoritmos de ruteo al vuelo. Esta clase de algoritmos de ruteo se caracteriza por su escaso uso de recursos y por su aplicabilidad en contextos de ruteo desconocidos. Se presentarán: los algoritmos de ruteo al vuelo, clases de grafos necesarias para el uso de los mismos y las métricas utilizadas. Finalmente se mostraran los resultados obtenidos de la evaluación realizada con la herramienta.
    • Slides: .ppt

  • Seminário de 2006-04-28
    • Orador: David Ribeiro Proença
    • Título: JUNG - Java Universal Network Graph
    • Questão: Quais são as regras e as restrições que se tem que obedecer na criação de um grafo.
    • Resumo: Apresentação do JUNG, um framework open source para manipulação, analisa e visualização de dados representando graph ou redes. Durante a apresentação será feito uma breve descrição da estrutura do JUNG e das características e restrições do pacote. Será depois explicado como utilizar o pacote para criar e visualizar grafos de redes. E enfim será feita uma demonstrações das possibilidades do pacote.
    • Slides: .ppt

  • Seminário de 2006-05-05
    • Orador: Miguel Ferreira
    • Título: Preservação digital - conceitos, estratégias e actuais consensos.
    • Questão: Procure exemplos de objectos digitais que gostaria de ver preservados por um longo período de tempo. Justifique. Que medidas poderiam ser tomadas para preservar cada um dos objectos que identificou?
    • Resumo: Uma parte significativa da produção intelectual é gerada em suportes digitais. A simplicidade com que esta pode ser produzida e disseminada através das modernas redes de comunicação, aliada à qualidade dos resultados obtidos, constitui um factor determinante na adopção de ferramentas de autoria digital. Contudo, este tipo de material incorpora um problema estrutural que coloca em causa a sua longevidade. Embora um documento digital possa ser copiado infinitas vezes sem perder qualidade, este necessita de um contexto tecnológico (hardware e software) que possibilite a sua apresentação de forma inteligível a um ser humano. A dependência tecnológica a que este tipo de material está sujeito torna-o vulnerável à rápida e impetuosa obsolescência que afecta a tecnologia.
      Designa-se, assim, por preservação digital o conjunto de actividades ou processos responsáveis por garantir o acesso continuado, a longo-prazo, à informação e herança cultural existente em formatos digitais. Nesta apresentação serão apresentados alguns conceitos associados à temática da preservação digital, bem como as principais estratégias propostas pela comunidade científica no sentido de solucionar o problema.
    • Slides: .ppt

  • Seminário de 2006-05-12
    • Orador: Rita Falcão
    • Título: "Boas práticas em e-Learning - a experiência da Universidade do Porto"
    • Questão: Elaborar uma proposta de interacção entre alunos e docentes, no âmbito de um módulo que leccionem. É importante contextualizar a actividade, identificando a disciplina, o tema e o nível de aprendizagem.
    • Resumo: Neste seminário pretendem-se apresentar as principais funcionalidades das plataformas de e-Learning, acompanhando com exemplos reais de utilização no contexto do processo pedagógico. Assim, serão identificados e analisados alguns exemplos de boas práticas de interacção entre alunos e docentes, desenvolvidos no ãmbito do projecto de e-Learning da UPORTO.

  • Seminário de 2006-05-19
    • Orador: Miguel Rocha
    • Título: Bioinformática: passado, presente e desafios para o futuro
    • Questão: Em que medida podem as Ciências da Computação ajudar na investigação actual ao nível das Ciências Biológicas e da Biotecnologia ?
    • Resumo: O crescimento exponencial das bases de dados biológicas, promovida quer pelos projecto de sequenciação de genomas de diversas espécies quer pelo desenvolvimento de novas técnicas experimentais, tem imposto novos desafios às Ciências da Computação, exigindo novos algoritmos mais eficientes no tratamento destes dados e na extracção de conhecimento útil a partir da sua utilização, dando origem ao florescente campo da Bioinformática. Esta palestra pretende abordar o historial desta área de investigação, os seus maiores feitos e também perspectivar o futuro, falando dos principais desafios que se colocam nos próximos anos ...
    • Slides: .pdf

  • Seminário de 2006-05-26
    • Orador: Marco Coelho
    • Título: MEDICIS - Personal Doctor
    • Questão: Descreva o processo de login implementado na aplicação móvel. Refira as vantagens e desvantagens decorrentes da escolha deste protocolo.
    • Resumo: Actualmente a relação paciente/médico, é uma relação muitas vezes ténue e desconectada, i.e., faz-se com pouca frequência e o acompanhamento pauta-se por consultas breves e limitadas em diversos aspectos. É na tentativa de melhorar esta relação que surge este projecto, consistindo não só numa plataforma ágil de interacção médico/paciente, mas também num sistema pró-activo de acompanhamento do paciente. A plataforma comporta o desenvolvimento de duas aplicações distintas: uma aplicação móvel e uma aplicação remota. A aplicação móvel é destinada ao paciente, e serve não só como um ponto de comunicação privilegiado com o médico mas também como assistente pessoal ao paciente fornecendo-lhe informação útil tendo em conta o input introduzido e a realidade em que o paciente está inserido. A aplicação remota serve de apoio ao médico, permitindo-lhe receber e visualizar de forma útil toda a informação disponibilizada pelo paciente bem como tomar decisões que são depois comunicadas á aplicação móvel.

  Attachment Action Size Date Who Comment
ppt Xata06-MuseuEmigr.ppt props, move 1047.0 K 24 Mar 2006 - 11:00 OlgaPacheco slides-semin-12
pdf sem130106.pdf props, move 1702.2 K 13 Jan 2006 - 21:11 OlgaPacheco slides
pdf uminho06-slides.pdf props, move 3107.4 K 09 Feb 2006 - 15:14 OlgaPacheco slides-9.pdf
r31 - 25 May 2006 - 20:21:24 - OlgaPacheco
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM