Disciplina de Projecto/Seminários (Anos Anteriores)

• Edição de 2006/2007

• Edição de 2005/2006
• Edição de 2004/2005
• Edições anteriores

DI/UM	Curso de Especialização em Informática

---

Ano Lectivo de 2005/2006

---

• Propinas: o valor da propina anual em 2005/2006 é de 1.375 EUROS, cf. Despacho RT-18/2003.

• Requisitos: Grau de licenciado.

• Hablitações de accesso a este curso: São admitidos a matrícula no curso os titulares de licenciatura em Engenharia de Sistemas e Informática; Engenharia Informática; Engenharia Electrotecnica; Engenharia Electrotecnica e Electrónica; Engenharia Electrónica Industrial; Engenharia de Produção; Matemática e Ciências da Computação; Matemática; Matemática Aplicada; Informática de Gestão; Gestão; Economia ou em áreas afins, ou de habilitação legalmente equivalente. (Art. 4.º da Resolução SU-24/94)

• Duração do Curso: 1 Ano

• Decurso das aulas: horário especial para a pós-graduação:

  6^a-feira (09:00-13:00 e 14:00-18:00)

  
  Sábado (09:00-13:00)

• Legislação em vigor

• Minutas de requerimentos

(Despacho RT/C-181/2001)

Sem	Regime	Área Cient.	Disciplina	Nº de Horas T	Unid. Crédito
1º	Obrig.	CC	Especificação e Desenvolvimento de Software	2	1.5
	Obrig.	CC	Engenharia da Programação	2	1.5
	Obrig.	EC	Sistemas de Dados	2	1.5
	Obrig.	EC	Comunicações por Computador I	2	1.5
	Opção	EC	Opção I	2	1.5
	Opção	EC	Opção II	2	1.5
2º	Obrig.	IG	Extracção de Conhecimento em Bases de Dados	2	1.5
	Obrig.	IG	Sistemas de Dados, Warehousing e Processamento Analítco	2	1.5
	Opção	EC	Opção III	2	1.5
	Opção	EC	Opção IV	2	1.5
	Opção	CC/EC/IG	Opção V	2	1.5
	Opção	CC/EC/IG	Opção VI	2	1.5
	Projecto / Seminário				6
	TOTAL				24

NB: Os alunos deverão inscrever-se nas disciplinas de opção disponíveis em cada edição do curso, de modo a perfazer 1.5 u.c. em cada Opção.

OBRIGATÓRIAS

Ciências da Computação (CC)

Engenharia da Programação

Especificação e Desenvolvimento de Software

Engenharia da Computação (EC)

Sistemas de Dados

Comunicações por Computador I

Informática de Gestão (IG)

Extracção de Conhecimento em Bases de Dados

Sistemas de Data Warehousing e Processamento Analítico

Projecto/Seminários

OPÇÕES I, II

Engenharia da Computação

Arquitectura de Computadores

Sistemas Distribuídos I

OPÇÕES III, IV

Engenharia da Computação

Comunicações por Computador II

Sistemas Distribuídos II

Computação Paralela

OPÇÕES V, VI

Ciências da Computação

Criptografia

Representação do Conhecimento e Sistemas Inteligentes

Interacção Humano-Computador

Processamento Estruturado de Documentos

Processamento de Linguagem Natural

Processamento de Linguagens

Engenharia da Computação

Visão por Computador

Desenvolvimento de Sistemas Embebidos

Informação em Rede

Introdução aos Sistemas de E-CAD

Sistemas Multimédia

DI/UM	Mestrado em Informática Especialização em Sistemas Distribuídos, Comunicações por Computador e Arquitectura de Computadores

---

Ano Lectivo de 2004/2005

---

• Propinas: o valor da propina anual em 2004/2005 é de 1.375 EUROS, cf. Despacho RT-18/2003.

• Requisitos: Grau de licenciado.

• Licenciaturas admitidas para este Mestrado: São admitidos a matrícula no curso os titulares de licenciatura em Engenharia de Sistemas e Informática; Engenharia Informática; Engenharia Electrotecnica; Engenharia Electrotecnica e Electrónica; Engenharia Electrónica Industrial; Engenharia de Produção; Matemática e Ciências da Computação; Matemática; Matemática Aplicada; Informática de Gestão; Gestão; Economia ou em áreas afins, com a classificação mínima de 14 valores. (Art. 5.º da Resolução SU-12/93)

• Duração do Mestrado: 2 anos (1 ano para a parte lectiva e 1 ano para a dissertação)

• Decurso das aulas: horário especial para a pós-graduação:

  6^a-feira (09:00-13:00 e 14:00-18:00)

  
  Sábado (09:00-13:00)

• Legislação em vigor

• Minutas de requerimentos

(Despacho RT/C-180/2001)

Semestre	Regime	Área Cient.	Disciplina	Nº de Horas T	Unid. Crédito
1º	Obrig.	CC	Especificação e Desenvolvimento de Software	2	1.5
	Obrig.	CC	Engenharia da Programação	2	1.5
	Obrig.	EC	Sistemas de Dados	2	1.5
	Obrig.	EC	Comunicações por Computador I	2	1.5
	Obrig.	EC	Sistemas Distribuídos I	2	1.5
	Obrig.	EC	Arquitectura de Computadores	2	1.5
2º	Obrig.	CC	Representação do Conhecimento e Sistemas Inteligentes	2	1.5
	Obrig.	CC	Criptografia	2	1.5
	Opção	EC	Opção I	2	1.5
	Opção	EC	Opção II	2	1.5
	Opção	CC/EC/IG	Opção III	2	1.5
	Opção	CC/EC/IG	Opção IV	2	1.5
	TOTAL				18
3º / 4º	DISSERTAÇÃO

NB: Os alunos deverão inscrever-se nas disciplinas de opção disponíveis em cada edição do curso, de modo a perfazer 1.5 u.c. em cada Opção.

OBRIGATÓRIAS

Ciências da Computação (CC)

Criptografia

Engenharia da Programação

Especificação e Desenvolvimento de Software

Representação do Conhecimento e Sistemas Inteligentes

Engenharia da Computação (EC)

Arquitectura de Computadores

Comunicações por Computador I

Sistemas de Dados

Sistemas Distribuídos I

OPÇÕES I, II

Engenharia da Computação

Comunicações por Computador II

Sistemas Distribuídos II

Computação Paralela

OPÇÕES III, IV

Ciências da Computação

Interacção Humano-Computador

Processamento Estruturado de Documentos

Processamento de Linguagem Natural

Processamento de Linguagens

Engenharia da Computação

Visão por Computador

Desenvolvimento de Sistemas Embebidos

Informação em Rede

Introdução aos Sistemas de E-CAD

Sistemas Multimédia

Informática de Gestão

Extracção de Conhecimento em Bases de Dados

Sistemas de Data Warehousing e Processamento Analítico

DI/UM	Mestrado em Informática

---

Ano Lectivo de 2006/2007

---

• Propinas: o valor da propina anual em 2006/2007 é de 1.375 EUROS, cf. Despacho RT-18/2003.

• Requisitos: Grau de licenciado.

• Licenciaturas admitidas para este Mestrado: São admitidos a matrícula no curso os titulares de licenciatura em Engenharia de Sistemas e Informática; Engenharia Informática; Engenharia Electrotecnica; Engenharia Electrotecnica e Electrónica; Engenharia Electrónica Industrial; Engenharia de Produção; Matemática e Ciências da Computação; Matemática; Matemática Aplicada; Informática de Gestão; Gestão; Economia ou em áreas afins, com a classificação mínima de 14 valores. (Art. 5.º da Resolução SU-12/93)

• Duração do Mestrado: 2 anos (1 ano para a parte lectiva e 1 ano para a dissertação)

• Decurso das aulas: horário especial para a pós-graduação:

  6^a-feira (09:00-13:00 e 14:00-18:00)

  
  Sábado (09:00-13:00)

• Legislação em vigor

• Minutas de requerimentos

(Despacho RT/C-180/2001)

Semestre	Regime	Área Cient.	Disciplina	Nº de Horas T	Unid. Crédito
1º	Obrig.	CC	Especificação e Desenvolvimento de Software	2	1.5
	Obrig.	CC	Engenharia da Programação	2	1.5
	Obrig.	EC	Sistemas de Dados	2	1.5
	Obrig.	EC	Comunicações por Computador I	2	1.5
	Obrig.	EC	Sistemas Distribuídos I	2	1.5
	Obrig.	EC	Arquitectura de Computadores	2	1.5
2º	Obrig.	CC	Representação do Conhecimento e Sistemas Inteligentes	2	1.5
	Obrig.	CC	Criptografia	2	1.5
	Opção	EC	Opção I	2	1.5
	Opção	EC	Opção II	2	1.5
	Opção	CC/EC/IG	Opção III	2	1.5
	Opção	CC/EC/IG	Opção IV	2	1.5
	TOTAL				18
3º / 4º	DISSERTAÇÃO

NB: Os alunos deverão inscrever-se nas disciplinas de opção disponíveis em cada edição do curso, de modo a perfazer 1.5 u.c. em cada Opção.

OBRIGATÓRIAS

Ciências da Computação (CC)

Criptografia

Engenharia da Programação

Especificação e Desenvolvimento de Software

Representação do Conhecimento e Sistemas Inteligentes

Engenharia da Computação (EC)

Arquitectura de Computadores

Comunicações por Computador I

Sistemas de Dados

Sistemas Distribuídos I

OPÇÕES I, II

Engenharia da Computação

Comunicações por Computador II (06/07)

Sistemas Distribuídos II (06/07)

Computação Paralela (06/07)

OPÇÕES III, IV

Ciências da Computação

Interacção Humano-Computador

Processamento Estruturado de Documentos

Processamento de Linguagens (06/07)

Engenharia da Computação

Visão por Computador

Desenvolvimento de Sistemas Embebidos (06/07)

Mobilidade em Redes IP (06/07)

Gestão Integrada de Serviços e Redes IP (06/07)

Introdução aos Sistemas de E-CAD

Informática de Gestão

Extracção de Conhecimento em Bases de Dados (06/07)

Sistemas de Data Warehousing e Processamento Analítico (06/07)

Processo de Candidatura e Legislação

Contactos

Algumas Teses Defendidas

2005/2006 (MI) | 2005/2006 (CEI)

2004/2005 (MI) | 2004/2005 (CEI)

2003/2004 (MI) | 2003/2004 (CEI)

2002/2003 (MI) | 2002/2003 (CEI)

2001/2002 (MI) | 2001/2002 (CEI)

2000/2001

1999/2000

1998/1999

< 1998/1999

Mestrados da Escola de Engenharia da UM | Outros cursos leccionados no DI/UM ]

• Matrículas e Propinas:

  DPG - DIVISÃO DE PÓS-GRADUAÇÃO, Universidade do Minho, Campus de Gualtar, Complexo Pedagógico II, 4710-057 Braga, Portugal, Telefone 253 604 112, Fax 253 601 431. e-mail: mail.pos.graduacao@saum.uminho.pt

  Horário de Atendimento:

  Segunda e Terça-feira Manhã: das 10:00 às 12:00 Tarde: das 14:30 às 17:00

  Quarta-feira Manhã: das 10:00 às 12:00 Tarde: encerrado

  Quinta e Sexta-feira das 10:00 às 17:00, ininterruptamente

• Secretariado dos Cursos:

  D. Paula Anjo, Secretaria do Departamento de Informática, Universidade do Minho, Campus de Gualtar, 4710-057 Braga, Portugal, Telefone 253 604 430, Fax 253 604 471, e-mail: sec@di.uminho.pt.

• Coordenação Geral dos Cursos de Pós Graduação:

  Prof. Doutora Ana Pinto, Escola de Engenharia, Universidade do Minho, e-mail: posgrad@eng.uminho.pt.

• Representante dos estudantes do MI/CEI

  (alínea 1.º do artigo 2.º e alínea b do artigo 8.º do Regulamento do Conselho Académico):

  Lic. Alexandre Sergio Mano e-mail: cei6076@di.uminho.pt.

• Boletim de Candidatura
  • Boletim(.pdf)

• Candidatura: O boletim de candidatura deve ser enviado até ao dia 11-Set-2006, após o seu preenchimento e instruído com toda a documentação necessária (CV, Certificado Conclusão da Licenciatura com média final; 2 Fotos; cópia do BI e NIF), para: Universidade do Minho, Departamento de Informática, Campus de Gualtar, 4710-057 BRAGA - PORTUGAL.

•  [NOVO]  Legislação em vigor

• REQUERIMENTOS: Os alunos podem solicitar por mail à Paula (paula@di.uminho.pt) os modelos de requerimento para:
  a) transição da especialização para o 2º ano do Mestrado;
  b) admissão à realização das provas de Mestrado;
  c) reinscrição numa nova edição para concluir a parte escolar/dissertação.
  

Lista das Opções do 2.º Semestre do Education.MICEI

AVISO:

• As opções do 2.º semestre devem ser escolhidas até dia 13 de Fevereiro.
• Enviar as escolhas por email para paula@di.uminho.pt (CC: cd-micei@di.uminho.pt)

Comunicações por Computador II (CC II)

Página da disciplina: http://marco.uminho.pt/~paulo/mi/

Docente: Doutora Maria Solange

Apresentação da disciplina Um dos principais desafios dos Internet Service Providers (ISPs) prende-se com conseguir uma oferta diversificada de serviços de comunicação, efectuando uma gestão racional dos recursos de rede. Neste contexto, a disciplina de Comunicações por Computador II aborda a problemática do suporte de qualidade de serviços (QoS? ) na Internet numa perspectiva de integração de serviços. Discutem-se os aspectos mais relevantes para melhorar a adequabilidade da Internet como plataforma de comunicação e suporte a aplicações distribuídas com requisitos de qualidade distintos e apresentam-se as principais soluções propostas pelo Internet Engineering Task Force (IETF) para o efeito. Nesta disciplina são também estudados os principais protocolos para suporte de comunicação em grupo a nível de um ISP e entre ISPs, analisando-se diversas aplicações para difusão selectiva de áudio e vídeo.

Sistemas Distribuídos II (SD II)

Página da disciplina: http://gsd.di.uminho.pt/teaching/MI-SD2/2005/

Docente: Doutor Rui Carlos Oliveira

Objectivos: Construir modelos de sistemas distribuídos adequados à análise e concepção de sistemas e aplicações confiáveis; Identificar e descrever os princípios de confiablidade e as técnicas para a atingir; Descrever e interpretar as propriedades fundamentais dos protocolos de comunicação em grupo; Projectar sistemas replicados por software; Descrever, analisar e relacionar problemas e de coordenação distribuída.

Computação Paralela (CP)

Página da disciplina:

Docente: Doutor António Manuel Pina

Apresentação da Disciplina: O aumento em complexidade e dimensão dos problemas e o volume de dados a tratar, em domínios tão diversos que vão da física à engenharia ou da biologia às ciências sociais, impõe a utilização de ferramentas de elevado custo computacional, normalmente associadas à utilização de super computadores, sistemas com espaço disponível para armazenamento de dados, memória e velocidade de processamento cada vez maiores, o que frequentemente inviabiliza o desenvolvimento de tais projectos por laboratórios que não disponham de muitos recursos, devido aos altos custos de aquisição, de manutenção e de actualização destas máquinas. A computação de alto desempenho, é capaz de nos oferecer duas alternativas para solucionar este problema: clusters e grids de computadores, baseados em sistemas de pequeno porte, e tecnologias de comunicação, a preços acessíveis. A disciplina de computação paralela representa uma primeira abordagem ao planeamento e instalação de cluster, e à computação em grid que beneficia da existência do SEARCH, um cluster real, instalado no departamento de informática, que irá ser usada pelos estudantes como plataforma para experimentação e validação dos conceitos apresentados.

Mobilidade em Redes IP (MRIP)

Página da disciplina: http://marco.uminho.pt/~paulo/mip

Docentes: Doutor Pedro Nuno Sousa e Doutor Bruno Alexandre Dias

Apresentação da Disciplina: O aparecimento e a crescente utilização das tecnologias de comunicação sem fios tem vindo a potenciar o desenvolvimento de inúmeros serviços avançados no âmbito das redes de comunicação. Neste sentido, a disciplina de Mobilidade em Redes IP aborda e analisa em detalhe as principais soluções propostas para a camada de rede IP que permitem a mobilidade dos diversos equipamentos de rede. Neste âmbito, nesta disciplina são estudados diferentes modelos de suporte à mobilidade em redes IPv4 e IPv6, bem como diversas propostas de optimização dos tempos de resposta inerentes a essas soluções (micromobilidade IP). Adicionalmente a todas estas questões, serão também alvo de especial atenção diversos tópicos avançados sobre gestão e segurança de redes em ambientes móveis, bem como diferentes modelos de Qualidade de Serviço que podem ser adoptados nas redes TCP/IP.

Visão por Computador (VC)

Página da disciplina: http://gec.di.uminho.pt/micei/vpc/

Docente: Doutor João Luís Sobral

Apresentação da Disciplina: Nesta disciplina os alunos vão aprender técnicas de processamento de imagens digitais de extrema utilidade, num mundo cada vez mais baseado em imagens digitais, técnicas cuja utilização é também cada vez mais difundida na indústria, visando substituir o tradicional controlo de qualidade através da inspecção visual por meios baseado em visão por comutador.

Interacção Humano-Computador (IHC)

Página da disciplina: http://sim.di.uminho.pt/Disciplinas/ihc/

Docente: Doutor José Francisco Campos

Apresentação da Disciplina: Quem é que a deverá escolher: Quem estiver interessado em: a) olhar para um sistema software como algo que deve ser útil aos utilizadores b) estudar de que forma considerações sobre os utilizadores desse sistema devem ser incorporados no desenvolvimento do mesmo. Será importante realçar que a disciplina não é sobre design (i.e. cores, formas etc.) mas sobre a eficácia eficiência e satisfação com que o software é (ou não) utilizado (ou utilizável) pelos seus utilizadores.

Processamento de Linguagens (PL)

Página da disciplina: http://www.di.uminho.pt/~prh/curmespl05.html

Docente: Doutor Pedro Rangel Henriques

Apresentação da Disciplina: O uso de linguagens de programação ou de comandos é a base em que assenta toda a Comunicação Humano/Computador, ou seja, é o suporte de toda a actividade do Programador. Mas usar linguagens variadas e de diferentes níveis de abstracção na interacção com uma máquina que só entende uma linguagem primitiva (o código-máquina), requer que se desenvolvam tradutores entre essas linguagens. Tais programas, ditos compiladores ou processadores de linguagens (para se ser mais genérico), são complexos e sujeitos a apertados requisitos de alta performance. Esta disciplina opcional visa precisamente clarificar todos estes conceitos(sobre linguagens, gramáticas e seus reconhecedores/tradutores) de modo a habilitar os alunos a serem capazes de produzir (automaticamente) processadores para as novas linguagens de que tenham necessidade. Ao fazê-lo, pretende-se, ensinar técnicas de programação e ferramentas que possam ser úteis em outras áreas, nomeadamente no processamento de língua natural, na manipulação (extracção de conhecimento) de textos e no tratamento de documentos. Em particular, falar-se-á ainda da estruturação de documentos com linguagens de anotação (como o XML) e na sua transformação automática (recorrendo a XSL).

Tópicos de Comercio Electrónico (TCE)

Página da disciplina: http://www.di.uminho.pt/~pjn/Aulas/TCE/index.html

Docentes: Doutor Paulo Jorge Novais e Doutor César Analide

Apresentação da Disciplina: Os agentes inteligentes apresentam-se-nos como uma nova geração de entidades virtuais que realizam tarefas autonomamente, em favor de outras entidades, como empresas, organizações ou pessoas. Por outro lado, a sociedade do conhecimento requer o desenvolvimento de métodos, ferramentas e teorias para analisar, definir, modelar e especificar sistemas baseados em agentes para a Internet. Perspectiva-se que no futuro será possível fazer com que um sistema ou agente inteligente reconheçam as características sócio-culturais, preferências ou gostos da entidade por quem respondem reconhecendo-se-lhes capacidade, competência e responsabilidade para tomar decisões por ele.

Desenvolvimento de Sistemas Embebidos (DSE)

Página da disciplina: http://gec.di.uminho.pt/micei/dse-0304/

Docente: Doutor João Miguel Fernandes

Apresentação da Disciplina: Esta disciplina aborda o desenvolviemnto de sistemas embebidos, com uma ênfase muito forte nas questões ligadas ao software, usando uma abordagem sistémica e baseada em modelos gráficos (model-driven), que hoje em dia é cada vez mais usado em diversos domínios da Informática. A disciplina começa com o estudo de 2 casos práticos, para os alunos perceberam em contextos reais quais os problemas a tratar, para depois, usando esse referencial, se discutirem e explicarem os princípios metodológicos que se devem seguir para os resolver.

Introdução aos Sistemas de E-CAD (ECAD)

Página da disciplina: http://www.di.uminho.pt/~jal/e-cad

Docente: Doutor José Augusto Lima

Apresentação da Disciplina: A disciplina de e-CAD aborda algumas das soluções e algoritmos utilizados nas actuais plataformas de Computer Aided Design. Dá-se ênfase à análise, e exploram-se exemplos, de suporte web e de e-formação úteis para um designer percorrer com sucesso as diversas fases de concepção do projecto. Este tipo de conhecimento é necessário para completar a formação informática básica, pois desenvolver algoritmos, e implementar aplicações isoladas de software não é suficiente para se compreender como, e porque, articular a contribuição de uma qualquer destas soluções pontuais, no design-flow descentralizado de um produto.

Gestão Integrada em Serviços de Redes IP (GISRIP)

Página da disciplina: É o primeiro ano que disponibiliza esta opção no Education.MICEI pelo que ainda não existe página da disciplina, que passará a haver se for escolhida por um número mínimo de três/quatro alunos.
Docente: Doutor Bruno Alexandre Dias

Apresentação da Disciplina: A Gestão de Redes, Serviços e Aplicações Distribuídas tem sido, na última década, um área de I&D ao mesmo tempo difícil e apaixonante. Isto porque é uma área em que é necessário agregar conhecimentos com alguma profundidade em praticamente todas as áreas das comunicações por computador e em que o esforço da comunidade científica na normalização de arquitecturas e protocolos tem sido profícua mas, simultaneamente, pouco eficiente nos progressos efectivos da sua aplicabilidade no mundo real das redes Internet. Há já alguns anos que a UM tem vindo a desenvolver um esforço de I&D em arquitecturas e protocolos que tentam resolver as mais importantes limitações das arquitecturas normalizadas, nomeadamente das preconizadas pelo pela ISO e pela IETF. Esta disciplina aparece como uma oportunidade de aproveitar o know-how adquirido pelos docentes deste departamento nesta área, passando-o para os formandos do Education.MICEI, permitindo que estes recebam formação teórica, possam experimentar com ferramentas de utilização em cenários reais e, inclusive, cooperar nas actividades de I&D ainda em curso.
Programa: 1. Gestão de redes não normalizada: pequenas aplicações utilitárias e gestão adhoc; 2. Visão Genérica das principais arquitecturas de gestão: OSI, TMN, INMF; 3. Arquitectura de gestão INMF/SNMP: modelo de dados, arquitectura das entidades de gestão, paradigmas de comunicação, objectos de gestão, ASN.1, normas SMI, MIB e SNMP, outras normas complementares; 4. Gestão por serviços: arquitecturas independentes dos modelos de dados, NSMF; 5. Tecnologias complementares: gestão através da Web, agentes móveis, gestão por delegação e políticas de gestão.
Pré-requisitos: Formação genérica em redes de computadores, protocolos de interconexão de redes e nas pilhas protocolares OSI e Internet.
Resultados de Aprendizagem: Dotar os alunos de conhecimentos básicos sobre as mais importantes normas e tecnologias de gestão de redes actualmente em uso. Os alunos devem ser capazes de reconhecer as actividades inerentes à gestão de redes e saber escolher e aplicar as tecnologias mais apropriadas para a realização dessas actividades. Devem conseguir, também, saber identificar os custos e as principais limitações da aplicação dessas tecnologias em vários cenários de implementação.
Métodos de Avaliação Alternativos: 1. Teste Escrito (100%). 2. Teste Escrito (50%) + Análise e discussão de artigo (50%, trabalho individual entregue na última aula do semestre). 3. Pequeno projecto individual (100%, entregue e discutido na mesma semana do Exame Escrito Final).

Representação do Conhecimento e Sistemas Inteligentes (RCSI)

Página da disciplina: http://gia1.di.uminho.pt/gia/default.aspx?m=204&t=2041&d=0

Docente: Doutor José Manuel Machado

Objectivos da Disciplina: Introduzir a problemática da representação do conhecimento e formas de raciocínio nas suas diferentes valências, i.e., na concepção e especificação formal baseada em Sistemas Simbólicos; Abordar a problemática relacionada com a análise, especificação e desenvolvimento de agentes inteligentes e de sistemas multiagente.

Criptografia (CPT)

Página da disciplina:

Docente: Doutor Manuel Bernardo Barbosa

Apresentação da Disciplina: A disciplina de criptografia pretende conferir aos alunos do Education.MICEI as competências mínimas que qualquer Eng. Informático ou profissional das TI deveria ter na área da Segurança da Informação. Estes conhecimentos dividem-se em três componentes principais: 1) Conceitos básicos de criptografia e segurança da informação (cifras, assinaturas digitais, etc); 2) Certificação e Public Key Infrastructure (PKI); 3) Utilização de tecnologia criptográfica em aplicações e protocolos existentes.

Para aqueles alunos que já possuam conhecimentos fundamentais na área da criptografia, a avaliação poderá ser feita com base num projecto em que se explorem aspectos mais avançados desta área disciplinar. Para tornar viável a frequência desta disciplina por parte de alunos do CEI (e por conveniência do docente), a disciplina funcionará às 6as feira das 18 às 20.
Programa: Terminologia: Segurança, Criptografia, Criptoanálise e Criptologia, Conceitos de cifra, chave e comunicação segura, Cifras simétricas e assimétricas, Funções de hash criptográficas, Message Authentication Codes, Assinaturas digitais, Identificação; Certificação e Public Key Infrastructure (PKI): Certificados X509, Entidades e protocolos associados a uma PKI, Autoridades de Certificação, Cadeias de certificação, Certification Practice Statements e Certification Policies, Certificate Revocation Lists, Problemas do X.509, Public Key Cryptography Standards, Certificados de atributos; Aplicações correntes da criptografia: On-line Certificate Status Protocol (OCSP), Pretty Good Privacy (PGP), Secure Sockets Layer (SSL) e HTTPS, Kerberos, Secure Shell (SSH), IP Security (IPSec) protocol.
Resultados de Aprendizagem: Explicar os objectivos fundamentais da criptografia moderna (confidencialidade, integridade, autenticação e não repúdio) e reconhecer as primitivas criptográficas que lhes estão associadas. Identificar os protocolos criptográficos relevantes à segurança de sistemas concretos. Discutir a utilização de Certificados de Chave Pública e descrever os componentes centrais de uma Public Key Infrastructure. Manipular aplicações correntes/comerciais da criptografia.

Extracção de Conhecimento em Bases de Dados (ECBD)

Página da disciplina: http://sim.di.uminho.pt/ensino2.php3?seccao=geral&id=10

Docente: Doutor Paulo Jorge Azevedo

Objectivos da Disciplina: Disponibilizar uma introdução às técnicas de extracção de conhecimento. Apresentar casos de estudo e áreas de aplicação. Fomentar a análise de resultados e estudar técnicas adequadas a cada tipo de problema. Ganhar sensibilidade aos dados e aos problemas. Disponibilizar uma introdução aos conceitos básicos de modelos de previsão e sua aplicação. Estudar o tipo de linguagem de representação das estruturas extraidas dos dados.

Sistemas de Data Warehousing e Processamento Analítico (SDWPA)

Página da disciplina: http://sim.di.uminho.pt/ensino2.php3?seccao=geral&id=10

Docentes: Doutor Miguel Francisco Rocha e Doutor Rui Castro Mendes

• ENTREGA DE RELATÓRIO FINAL: 15 de Outubro

Docentes

A CD-Education.MICEI participa na organização da disciplina,da qual Olga Pacheco é a responsável.

Regime de Avaliação

Relatório de projecto sobre tópico a definir com um orientador científico (ver lista de temas). O relatório final deve ser entregue até dia 15 de Outubro.

Lista de temas de projecto

• Temas de Projecto propostos

• Projectos escolhidos.

Classificações

A afixar na altura própria

---

Outras disciplinas leccionadas pelo DI/UM

---

2004-10-29

• Sistema de submissão de respostas às questões dos seminários.

Docentes

A CD-MICEI participa na organização da disciplina, da qual o Prof. Pedro Henriques é o responsável.

Regime de Funcionamento e de Avaliação

A Comissão Directiva do MICEI organizou um programa de Seminários para o MICEI, os quais terão a duração de 30 a 45 minutos e serão às 6ªfeiras às 18h. Estes seminários vão ocorrer durante todo o ano lectivo. O orador de cada seminário vai propor uma questão sobre o tema apresentado, a que os alunos do CEI terão de responder em uma semana, antes do seminário seguinte).
A avaliação da disciplina de Projecto/Seminário será feita com base nas respostas entregues ao longo do ano. A nota final obter-se-á fazendo a média dos trabalhos entregues, excluindo deste cálculo os 4 piores trabalhos. (NOTA: respostas não entregues serão classificadas com nota zero).

Critérios usados na avaliação das respostas: organização do texto, clareza do texto, pesquisa efectuada, desenvolvimento da resposta, acerto da resposta no tema alvo, coerência da resposta e qualidade geral.

Lista de Seminários

• 08.06.07

Título - Generating Summaries using Graph Theory
Orador - Kaustubh Patil, LIACC-NIAAD, University of Porto
Resumo - This seminar describes an unsupervised method based on graph theory for generating summaries of documents. First the document is represented as a weighted graph with sentences as nodes and the link weights are defined using cosine similarity between sentences. This graph is then scaled usin Pathfinder Network Scaling algorithm to obtain link reduced graph. The sentences are then extracted under the assumption that central sentences are imporant ones. We will also discuss various centrality measures and compare our method with other methods. The usefulness of the method is illustrated impirically on DUC 2001 and DUC 2002 datasets.
Questão - TBA

• 01.06.07

Título - O Encaminhamento Multiserviços
Orador - António Carlos Varela, Departamento de Engenharia Informática (Área de Arquitectura e Sistemas Operativos) do IST.
Resumo - Actualmente verifica-se uma tendência de convergência das redes em redor da arquitectura TCP/IP. A introdução de novos serviços e aplicações introduz novos requisitos a estas redes que se baseiam exclusivamente num modelo de serviço que não oferece quaisquer garantias, usualmente designado por Melhor Esforço, ou Best-Effort. Novos modelos têm sido desenvolvidos para colmatar estas limitações, dos quais se destaca, pela sua escabilidade, o Modelo de Serviço Diferenciados. Paralelamente, também têm surgido propostas de encaminhamento com suporte de Qualidade de Serviço. Todas elas se baseiam no facto de que o tráfego tem de ser encaminhado utilizando os caminhos mais adequados. Contudo, os diversos tipos de tráfego são processados da mesma forma, independentemente da sua prioridade. O protocolo de encaminhamento com suporte de qualidade de serviço, a ser utilizado na próxima geração da Internet, tem de cooperar com a diferenciação de serviços. O Encaminhamento Multiserviços define um conjunto de extensões aos protocolos de encaminhamento tradicionais, de modo a que possam suportar a qualidade com diferenciação de serviço.
Questão - TBA

• 25.05.07

Título - Redes Colaborativas como suporte a Ambientes Inteligentes em Unidades de Cuidados Continuados. (.pdf)
Orador - Ricardo Costa - Escola Superior de Tecnologia e Gestão de Felgueiras - IPP.
Resumo - Com o crescimento real da população idosa, a sociedade actual enfrenta todo um novo conjunto de problemas, como sendo, a falta de recursos humanos para lhes providenciar, de uma forma digna e nobre, as suas necessidades específicas. No entanto, através da utilização de novas tecnologias e de novas metodologias, estas vocacionadas para a resolução de problemas, alguma soluções emergem no horizonte (e.g.: assistência e/ou supervisão remota). Assim sendo, o nosso objectivo é demonstrar que nestes cenários, é de todo possível recorrer à interligação de diferentes organizações virtuais, através das quais se tornará possível providenciar à população em geral, e aos idosos em particular, um certo número de serviços (e.g.: saúde, entretenimento, aprendizagem), sem haver a necessidade de os deslocalizar ou alterar demasiado a sua rotina.
Questão - TBA

• 18.05.07

Título - Apoio à decisão em medicina intensiva usando ECBD.(.ppt)
Orador - Pedro Gago - Instituto Politécnico de Leiria.
Resumo - Neste seminário vai ser apresentado o sistema INTCare a ser desenvolvido em colaboração com o Hospital Geral de Santo António, no Porto. O INTCare usa os dados recolhidos dos monitores da UCI para fazer previsão acerca do outcome do paciente. Vai ser apresentada a forma como se está a tentar semi-automatizar o processo de Descoberta de Conhecimento em Bases de Dados por forma a possibilitar um funcionamento o mais automático possível do sistema. Serão abordados os problemas inerentes à implementação de sistemas deste tipo em ambiente hospitalar.
Questão - TBA

• 11.05.07

Título - Aplicações de Case-based Reasoning (CBR).(.pdf)
Orador - Florentino Fdez-Riverola, Universidade de Vigo.
Resumo - CBR (Case-based Reasoning), Aplicado nos seguintes projectos: Sistemas de detección de intrusos; Análisis del genoma humano (Bioinformática); Filtrado de correo Spam.
Questão - TBA

• 27.04.07

Título - Strategies to relate the program and problem domains using code instrumentations (.ppt)
Orador - Mário Béron, DI - UM
Resumo - In this conference we present strategies aimed at understanding program written in C language. These strategies use the code instrumentation technique to extract information from programs. With these strategies we can define the architecture of a comprehension system that allows us to integrate multiple views important to understand the application under analysis. These views are presented in different abstraction levels, and the user can navigate between them. Both features (views and navigation) are useful because they can be used to carry out various program understanding approaches, similar to our mental models. In order to implement these features we define: a scheme to recover static and dynamic information; and an way to manage this information. Furthermore, with the purpose to facilitate the program understanding process we describe a procedure aimed at relating the problem and program domains denominated BORS(Behavioral-Operational Relation Strategy).
Questão - 1) Que é uma vista dum sistema?
2) Que vistas são interessantes para a Compreensão de Programas? Por que?

• 20.04.07

Título - Identification of Regulatory Modules in Time-Series Gene Expression Data using Biclustering Algorithms (.pdf)
Orador - Sara Madeira, DI - UBI
Resumo - Several non-supervised machine learning methods have been used in the analysis of gene expression data obtained from microarray experiments. Recently, biclustering, a non-supervised approach that performs simultaneous clustering on the row and column dimensions of the data matrix, has been shown to be remarkably effective in a variety of applications. The goal of biclustering is to find subgroups of genes and subgroups of experimental conditions, where the genes exhibit highly correlated behaviors. These correlated behaviors correspond to coherent expression patterns and can be used to identify potential regulatory modules possibly involved in regulatory mechanisms.

The biclustering problem is NP-complete. However, when we are interested in identifying biclusters in time-series expression data, we can restrict the problem to finding all maximal biclusters with consecutive columns. This restriction leads to a tractable problem. Its motivation is the fact that biological processes start and finish in an identifiable contiguous period of time, leading to increased (or decreased) activity of sets of genes forming biclusters with contiguous columns. In this context, we have recently proposed efficient biclustering algorithms based on string processing techniques for finding all maximal contiguous column coherent biclusters with both perfect and approximate expression patterns in linear and polynomial time, respectively.

We show the relevance of this type of biclusters in the discovery of potential regulatory modules in an application to the identification of regulatory modules involved in the genomic response of Saccharomyces cerevisiae to heat stress. The results show not only the ability of the proposed methodology to extract relevant information compatible with documented biological knowledge, but also the utility of using these algorithms in the study of other environmental stresses and of regulatory modules in general.
Questão - O problema de biclustering é NP-completo. No entanto, no caso concreto da aplicação de algoritmos de biclustering à identificação de padrões de expressão em séries temporais de expressao genética, existem restrições que permitem transformar o problema em tratável. É assim possível utilizar algoritmos eficientes e determinísticos para encontrar todos os biclusters máximos. Que restrições são estas e que vantagens tem, neste problema em particular, a utilização de biclustering em vez de clustering?

• 13.04.07

Título - XTDL/XTS - XML Tool Definition Language & XTDL-Tool Set (.pdf)
Orador - Daniela da Cruz, DI - UM
Resumo - A necessidade de distribuir ferramentas, leva, tipicamente, à criação de um site onde o software em causa esteja disponível e possa ser descarregado. Porém atrás disso vem a necessidade de documentar o produto: o que é; para que foi concedido; como se usa; como se instala. E não basta fazê-lo por um único meio, isto é, através do site criado para o disponibilizar; logo de seguida outras necessidades de documentação vão surgir. Neste sentido, desenvolvemos um dialecto XML, XTDL (XML Tool Definition Language) para descrever software e criámos um conjunto de 4 ferramentas, XTS (XTDL-Tool Set) que geram a partir da descrição XTL, o site, um relatório, um grupo de diapositivos para suportar uma apresentação e um mapa de conceitos.
Questão - Discorra sobre o tópico "Divulgação e Distribuição" de Software (Utilitários ou Aplicações Finais). O que pensa da real utilidade de ferramentas de ajuda como o XTS ?

• 23.03.07

Título - Robótica Cooperativa
Orador - Luis Paulo Reis, FEUP (Mais Informação: Http://www.fe.up.pt/~lpreis)
Resumo - Nesta palestra são analisados os conceitos de Inteligência, Inteligência Artificial, Robótica, Agente/Robô Inteligente e Coordenação de Equipas de Agentes/Robôs e descrito o RoboCup? (Futebol Robótico) e a investigação realizada na FEUP neste domínio. Destaca-se que as equipas da FEUP venceram já diversos campeonatos de Futebol Robótico - RoboCup? : Mundial (2000, 2006) e Europeu (2000, 2001 e 2006) nas ligas de Simulação (2D/3D), Europeu na liga de Robôs Pequenos (2001 e 2006), Europeu na liga de Rescue, Resgate e Salvamento (2006) e Mundial na liga de Treinadores (2002). É descrito o RoboCup? , projecto internacional com o objectivo de promover a investigação em Inteligência Artificial Distribuída e Robótica Inteligente e as suas nove ligas/modalidades seniores. O objectivo/desafio final deste projecto internacional consiste em "construir uma equipa de Robôs que em 2050 vença a equipa humana campeã do mundo de futebol!". Neste contexto são analisados os desafios da robótica cooperativa e construção de equipas de agentes colocados por esta competição e as soluções que as equipas da FEUP têm encontrado para construir/programar equipas de robôs competitivas internacionalmente. A programação dos robôs implica a resolução de problemas extremamente complexos como a visão, localização, navegação, locomoção, comunicação, decisão inteligente, coordenação e estratégia dos robôs. Será dado ênfase às ligas de simulação e aos problemas que são resolvidos utilizando metodologias avançadas de informática e ciências da computação. A palestra será complementada com a exibição de filmes de robôs humanóides, robôs com pernas, robôs futebolistas pequenos e médios e demonstração de jogos de futebol robótico simulado.
Questão - TBA

• 16.03.07

Título - S+: Modelação Automática Interactiva de Simulação
Orador - Luis Dias, Universidade do Minho (DPS)
Resumo - A Modelacao Visual e a Simulação por Computador

A simulação consiste na reprodução/mímica em computador do modelo de um sistema dinâmico, existente ou imaginado. A realização de múltiplos ensaios sobre o sistema modelado, permite a observação de animações e análise estatística, dando suporte quantitativo à tomada de decisão, nomeadamente para maximização de ganhos ou minimização de perdas. Neste sentido a simulação é, tradicionalmente, uma técnica de análise de sistemas da área da Investigação Operacional (The Science of the Better).

A simulação tem, um curioso passado comum com metodologias das ciências da computação. Nomeadamente, a programação orientada a objectos e a gestão de processos foram desenvolvidas pioneiramente na linguagem de simulação: SIMULA (nos anos 60/70). Com o advento dos ambientes gráficos (anos 80/90), popularizaram-se dezenas de ferramentas de simulação comerciais, em que se constrói graficamente o layout dos sistemas modelados (e.g. Arena, ProModel? , Witness, Simul8, etc.). Contemporaneamente, popularizou-se também o uso de ferramentas genéricas de programação com ambientes gráficos, geralmente utilizados para desenhar a interface com o utilizador (e.g. Visual Basic, Visual C++, etc). Lamentavelmente, em ambos os casos, o grafismo pouco ajuda a especificação do comportamento.

Quando os elementos gráficos são utilizados para desenhar o comportamento do sistema/programa poderemos estar perante aquilo que se designa por uma Linguagem Visual (e.g. fluxogramas). Entre outras vantagens, estas linguagens têm uma legibilidade muito superior às tradicionais (textuais). Também na programação/modelação visual, conseguimos identificar fortissimas semelhanças entre a simulação e a programação genérica. Ora, a classe de notações visuais mais usada para a especificação de sistemas concorrentes é provavelmente a família das redes de Petri (Petri nets). No campo da simulação, são utilizados diagramas homomorfos às redes de Petri: DCA (Diagramas de Ciclo de Actividades) (ACD), ambos criados paralelamente nos anos 60/70.

A produção automática de programas de baixo nível a partir de linguagens visuais, ainda é um problema complexo. A resolução dessa dificuldade é geralmente efectuada internamente por cada ferramenta específica. No sentido de fazer uma utilização plena das potencialidades das linguagens visuais, o orador integrou uma equipa que desenvolveu editores gráficos, formatos abertos de representação dos programas visuais (em XML), e compiladores para diferentes linguagens de simulação: Arena: Profissional; BSF: Académica. Designou-se esse projecto por S+ (Modelação Automática Interactiva de Simulação). A utilização da linguagem visual de simulação - DCA, sendo de sintaxe radicalmente simples por utilizar apenas círculos, rectângulos e setas como únicos símbolos gráficos, pretende facilitar o desenvolvimento interactivo entre o dono do problema e o analista de sistemas, permitindo o desenvolvimento de modelos mais fidedignos ao problema real e expondo directamente o dono do problema aos ensaios e aprendizagens que a simulação possibilita, aumentando a eficácia da simulação no apoio à decisão.
Questão - TBA

• 09.03.07

Título - Agentes Inteligentes aplicados aos Mercados de Energia (.pdf)

Orador - Isabel Praça, ISEP / IPP
Resumo - Desde finais da década de 80 que o sector da energia eléctrica tem sofrido processos de reestruturação tendo-se verificado em diversos países, mudanças significativas de natureza estrutural e regulamentar. Tais mudanças apontam no sentido do estabelecimento de um mercado competitivo, baseado nas leis da oferta e da procura, em que as empresas produtoras e comercializadoras de energia eléctrica passam a ser encaradas como fornecedoras de um serviço que deverá possuir uma elevada qualidade. Os principais objectivos apontados ao estabelecer um mercado de energia eléctrica são: garantir a segurança na operação de todo o sistema, assegurar o fornecimento de um serviço de qualidade, aumentar a eficiência e, por outro lado, promover a economia de mercado, com a perspectiva de reduzir o custo da energia eléctrica.
O processo de reestruturação do sector eléctrico coloca diversos desafios exigindo a alteração de modelos conceptuais que têm dominado o funcionamento do sector. Com a reestruturação o mercado torna-se mais aberto e competitivo, mas também mais complexo, colocando aos intervenientes novos desafios. A crescente complexidade e imprevisibilidade da evolução do mercado torna cada vez mais difícil a tomada de decisões. Deste modo, as entidades intervenientes vêm-se forçadas a repensar o seu comportamento e as suas estratégias de mercado. Para enfrentar os novos desafios torna-se fundamental a utilização de ferramentas que suportem a tomada de decisão, nomeadamente aquelas que permitam às entidades analisar a evolução do mercado e testar acções alternativas.
Quais os principais desafios que se colocam, no âmbito da reestruturação do sector, às entidades dos mercados de electricidade? Que tipo de ferramentas de apoio à decisão lhes poderão ser úteis? De que forma podem os Agentes ser utilizados e contribuir para o estudo e evolução dos mercados de electricidade? Existem soluções que sustentam a sua aplicabilidade? Que tipo de soluções já existem?
Analisaremos de que forma e qual o papel que os Agentes e a Simulação Multi-Agente podem desempenhar numa ferramenta de apoio à decisão que permita às entidades do sector avaliar as opções de negócio de que dispõem, e, consequentemente, quais as que melhores vantagens lhes oferecem.
Serão descritos alguns dos trabalhos que têm surgido neste âmbito e que atestam bem as potencialidades que este tipo de tecnologia apresenta nesta àrea de aplicação, com particular destaque será dado ao simulador MASCEM, desenvolvido pela autora desta palestra no âmbito do Grupo de Engenhria do Conhecimento e Apoio à Decisão.
Questão - TBA

• 26.01.2007

Título - A Evolução do Cadáver Exquis: A auto-organização na génese de pinturas colectivas (.pdf)
Tema - Swarm Criativo
Orador - Paulo Urbano - FC/Universidade de Lisboa
Resumo - O jogo promovido pelos surrealistas, também um processo de criação artística: O Cadáver Esquisito, introduziu duas novidades no mundo da Arte: a obra colectiva e a imprevisibilidade. Pondo de lado, as questões, caras aos surrealistas, da espontaneidade e do inconsciente individual e colectivo, vamos, metaforicamente, aproveitar alguns órgãos do Cadáver Esquisito transpondo-o para o mundo da criação artística artificial. Iremos apresentar duas experiências colectivas de criação artística artificial, influenciadas pelos modelos acentrados de auto-organização e de simulação multi-agentes do mundo natural: os Colombines e os Anti-Colombines.

Os Colombines são um enxame de microagentes pintores, muito simples ao nível individual, que são capazes de pintar uma tela virtual bidimensional composta por um reticulado de células. Os agentes pintores não comunicam directamente entre si mas através do meio ambiente, a tela, num processo estigmérgico inspirado no mundo das formigas. A tela pode ser vista como uma paisagem química dinâmica, em permanente mudança�existe uma interacção constante e nos dois sentidos entre a distribuição da informação química e o comportamento dos micropintores. Por um lado, o estado da paisagem química guia os Colombines e, por outro lado, estes modificam-na numa circularidade permanente. Esta dinâmica de interacção é capaz de gerar padrões inesperados e singulares, mas que apresentam uma certa regularidade�uma marca Colombines. Através de uma variação simples no comportamento químico das células que compõem a tela virtual, obtemos os Anti-Colombines, uma espécie de negativo dos Colombines, que geram pinturas completamente distintas.
Questão - TBA

• 19.01.07 (das 18h as 19h)

Título - Extreme Data Mining: the Killer App for Meta-learning? (.pdf)
Orador - Carlos Soares - FEP/LIACC - Universidade de Porto
Resumo - While the field of data mining has traditionally been motivated by applications with large amounts of data, one of its current challenges is concerned with applications where a large number of models is required. This is motivated by a number of technological and business developments. As more detailed data becomes available (about customers, products, processes, etc.), requirements have moved from identifying coarse features of groups using a few models for each problem (e.g., one per cluster of customers) to modelling as many specificities as possible, ultimately with one model per object of interest. Additionally, initial success with the application of data mining on some problems (e.g., marketing), has lead companies to look for opportunities to use data mining it in other areas (e.g., customer relationship management, supply chain management, demand forecasting). Finally, pervasive computing (mobile phones, automobiles, clothes, etc.) is causing an explosive growth in opportunities for data mining. Traditional data mining methodologies (e.g., CRISP-DM) are not compatible with this new \"Extreme Data Mining\" scenario because of their labour-intensive nature. Dealing with hundreds, thousands or millions of models requires that a large part of this process is automated. In other words, we need systems that are able to adapt themselves to the problem. Meta-learning is one approach to this problem. It can be defined as the automated use of past experience to choose the adequate solution for a given data mining problem. Although it may be traced back to as early as 1987, this research area is still at an early stage of its development. Therefore, in this talk, rather than a describing a particular meta-learning approach, I give an overview of some of the approaches that have been proposed and, focusing on one of them, I will identify some interesting research challenges.

Questão - escolham um dos desafios identificados na parte final da apresentação e discutam-no sucintamente (1/2 página). Podem organizar as respostas da seguinte forma: -descrição -relevância para meta-aprendizagem -proposta de solução [OPCIONAL])

• 12.01.07 (das 18h as 19h)

Título - Plataformas de Computação Algébrica slides(.ppt) exercicos/exemplos(.pdf)
Orador - Delfim F. M. Torres, Universidade de Aveiro
Resumo - A plataforma de Computação Algébrica (CA) Maple é adoptada na Universidade de Aveiro, há já alguns anos, em várias disciplinas de Ciências e Engenharia. A CA permite trabalhar de maneira simbólica, não numérica, e é uma área de investigação moderna, que surgiu na segunda metade do século XX. Os plataformas actuais de CA colocam à nossa disposição ambientes de computação extremamente sofisticados e poderosos. Disponibilizam já muito conhecimento matemático e permitem estender esse conhecimento por intermédio de linguagens de programação de muito alto nível, expressivas e intuitivas. Tais ambientes permitem a realização de uma miríade de cálculos simbólicos, com extrema eficiência, e a definição célere de novas funcionalidades. Nesta palestra fazemos uma breve apresentação da plataforma de computação algébrica Maple, discutindo algumas das suas potencialidades.
Bibliografia - Livros em Português sobre o Maple disponíveis online

Uma Introdução ao Maple por Jun Fonseca http://www-gmap.mecanica.ufrgs.br/download/maplep.pdf

Introdução ao Maple por Renato Portugal http://www.cbpf.br/~portugal/curso.pdf

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Bibliografia - Divulgação

Delfim F. M. Torres, Números Felizes e Sucessões Associadas: Digressões com o Maple, Educação e Matemática nº77, Revista da Associação de Professores de Matemática, Março/Abril de 2004, pp. 35--38. http://www.mat.ua.pt/delfim/Maple/happy.html

Delfim F. M. Torres, O Jogo do 24 - digressões com o Maple, Cadernos de Matemática, série de Divulgação, CM04/D-03, Universidade de Aveiro, 2004. http://www.mat.ua.pt/delfim/Maple/jogo24.html

Rita M. R. Pereira, Delfim F. M. Torres, Computação Matemática Elementar em Maxima, Cadernos de Matemática, série de Divulgação, CM05/D-02, Universidade de Aveiro, 2005 http://www.pisharp.org/dspace/handle/123456789/28

Frederico D. Regateiro, Delfim F. M. Torres, Extremais do Cálculo das Variações em Maple, Cadernos de Matemática, série de Divulgação, CM06/D-03, Universidade de Aveiro, 2006 http://www.pisharp.org/dspace/handle/2052/121

math.HO/0407112 Title: Consecutive, Reversed, Mirror, and Symmetric Smarandache Sequences of Triangular Numbers Authors: Delfim F. M. Torres, Viorica Teca MSC-class: 11B83; 11-04; 11A41 Journal-ref: Scientia Magna, Vol.1 (2005), No.2, 39-45 http://arxiv.org/abs/math.HO/0407112

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Bibliografia - Investigação

Maple Applications: http://www.mat.ua.pt/delfim/maple.htm

Our work is available from the Maple Application Centre since 26/July/2006: http://www.maplesoft.com/applications/app_center_view.aspx?AID=1983

Alguns artigos:

1. math.OC/0604072 Title: Symbolic Computation of Variational Symmetries in Optimal Control Authors: Paulo D. F. Gouveia, Delfim F. M. Torres, Eugenio A. M. Rocha Comments: Presented at the 4th Junior European Meeting on "Control and Optimization", Bialystok Technical University, Bialystok, Poland, 11-14 September 2005. Accepted (24-Feb-2006) to Control & Cybernetics Subj-class: Optimization and Control MSC-class: 49K15; 49-04; 49S05 http://arxiv.org/abs/math.OC/0604072

2. math.OC/0509140 Title: Automatic Computation of Conservation Laws in the Calculus of Variations and Optimal Control Authors: Paulo D. F. Gouveia, Delfim F. M. Torres Comments: Partially presented at the 10th International Conference "Mathematical Modelling and Analysis", and "2nd International Conference "Computational Methods in Applied Mathematics", June 1 - 5, 2005, Trakai, Lithuania. Subj-class: Optimization and Control; Mathematical Physics MSC-class: 49K15; 49-04; 49S05 Journal-ref: Comput. Methods Appl. Math. Vol. 5 (2005), No. 4, 387-409 http://arxiv.org/abs/math.OC/0509140

3. math.OC/0411211 [abs, ps, pdf, other] : Title: Computação Algébrica no Cálculo das Variações: determinação de simetrias e leis de conservação, Authors: Paulo D. F. Gouveia, Delfim F. M. Torres Comments: 20 pages, in Portuguese. Partially presented at XXVII CNMAC (Brazilian Congress of Applied Mathematics and Computation), FAMAT/PUCRS, Porto Alegre, RS, Brasil, 13-16 September 2004. Subj-class: Optimization and Control MSC-class: 49-04; 49K05; 49S05 Journal-ref: TEMA Tend. Mat. Apl. Comput. Vol. 6, 2005, Number 1, pp. 81--90 http://arxiv.org/abs/math.OC/0411211

4. math.HO/0312014 Title: Smarandache Sequences: Explorations and Discoveries with a Computer Algebra System Authors: Paulo D. F. Gouveia, Delfim F. M. Torres MSC-class: 11B83; 11-04; 68W30 Journal-ref: Smarandache Notions Journal, Vol. 14, 2004, pp. 5-22. http://arxiv.org/abs/math.HO/0312014

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Links úteis:

Matemática Experimental http://crd.lbl.gov/~dhbailey/expmath

Site oficial do Maple http://www.maplesoft.com

The area of Symbolic and Algebraic Computation (SAC), also known as Computer Algebra (CA) in some circles, aims to automate mathematical computations of all sorts. The resulting computer systems, experimental and commercial, are powerful tools for scientists, engineers, and educators. SAC research usually combines mathematics with advanced computing techniques. SymbolicNet? .org provides a convenient starting point for discovering information about SAC. -> http://www.symbolicnet.org/

Questão - Embora a Computação Algébrica tenha dado os seus primeiros passos há cerca de 30 anos, no domínio da investigação, encontrando hoje aplicações nos mais variados campos da Ciência e Tecnologia, só mais recentemente está a ser explorada como ferramenta de Ensino. Que vantagens veria na adopção de um Sistema de Computação Algébrica, como seja o Maple, no ensino da programação?

• 05.01.07

Título - Learning from Data Streams (.pdf)
Orador - João Gama, Universidade do Porto
Resumo - In this talk we present a system for induction of forest of functional trees from data streams able to detect and react to concept drift. The Ultra Fast Forest of Trees (UFFT) is an incremental algorithm, that works online, processing each example in constant time, and performing a single scan over the training examples. It uses analytical techniques to choose the splitting criteria, and the information gain to estimate the merit of each possible splitting-test. Decision nodes and leaves contain naive-Bayes classifiers playing different roles during the induction process. Naive-Bayes in leaves are used to classify test examples, naive-Bayes in inner nodes can be used either as multivariate splitting-tests if chosen by the splitting criteria, or used to detect drift in the distribution of the examples that traverse the node. The use of naive-Bayes classifiers at leaves to classify test examples, the use of splitting-tests based on the outcome of naive-Bayes, and the use of naive-Bayes classifiers at decision nodes to detect drift are directly obtained from the sufficient statistics required to compute the splitting criteria, without no additional computations. This aspect is a main advantage in the context of high-speed data streams. This methodology was tested with artificial and real-world data sets. The experimental results show a very good performance in comparison to a batch decision tree learner, and high capacity to detect and react to drift.
Questão - TBA

• 15.12.06

Título - Sistemas Criativos (.pdf)
Orador - Francisco Camara Pereira, Universidade de Coimbra
Resumo - Das faculdades intelectuais consensualmente reconhecidas como próprias do Homem, a Criatividade é provavelmente a mais misteriosa e desafiante. Alguns argumentam que a Criatividade é demasiado vaga e mística para ser estudada cientificamente, outros defendem que é uma "característica dos eleitos". Por outro lado, tem existido investigação desde o início do século XX que a desmistifica consideravelmente. Partindo do princípio de que existe um contínuo de Criatividade (ao invés de uma filosofia "tudo ou nada"), a área de Sistemas Criativos pretende estudar e explorar as possibilidades criativas das máquinas, tanto como criadoras autónomas como ajudantes para tarefas criativas. Nesta apresentação, depois de uma breve apresentação do tema e do cenário actual de investigação na área, faremos uma passagem por vários projectos desenvolvidos em Coimbra, no AILab do CISUC.
Questão - Poderá uma máquina ser criativa?

• 24.11.06

Título - Tutores Inteligentes (.pdf)
Orador - Luiz Faria, Instituto Superior de Engenharia do Porto
Resumo - TBA
Questão - Diga quais as razões que levam a que os projectos do tipo �Ensino à Distância� sejam tão limitados em termos de inteligência quando comparados com os Tutores Inteligentes?

• 17.11.06

Título - Integração de Empresas Virtuais (.pdf)
Orador - Manuela Cunha, Instituto Politécnico do Cávado e do Ave
Resumo - TBA
Questão - Ver acetatos finais da apresentação

• 10.11.06

Título - DBPreserve - Preservação de Bases de Dados (.ppt)
Subtítulo - RODA - Repositório de Objectos Digitais Autênticos
Orador - José Carlos Ramalho, Universidade Minho
Resumo - As Bases de Dados Relacionais (BDR) foram, desde sempre, o suporte de eleição para o armazenamento de informação. Basta observarmos qualquer departamento da Administração Pública para detectarmos vários sistemas de informação cujo suporte digital é materializado numa base de dados relacional. Actualmente, com a gradual substituição do papel pelo digital estas bases de dados representam mais do que repositórios de informação são o repositório da nossa História. A História sempre foi um tema que apaixonou muita gente e motivou grandes projectos de investigação. Se alguma coisa se sabe do nosso passado foi porque essa informação chegou até nós preservada de alguma maneira. Neste trabalho o nosso objectivo é construir uma solução que possibilite, a longo prazo e com requisitos de autenticidade, a preservação de qualquer tipo de base de dados relacional.

O trabalho apresentado neste artigo é um componente de um projecto maior: o projecto RODA (�Repositório de Objectos Digitais Autênticos�), cujo principal objectivo é a preservação de informação digital. Neste componente, abordaremos apenas um dos subconjuntos de objectos digitais que o RODA pretende tratar: as bases de dados relacionais. Nesta perspectiva é apresentada uma solução tecnológica para a criação de um repositório de bases de dados relacionais. De realçar que as tecnologias apresentadas poderão mais tarde ser aplicadas ao próprio repositório garantindo e/ou facilitando a sua preservação.
Questão - Em que consiste o Modelo OAIS? OU Que políticas devemos seguir se pretendermos preservar a nossa produção digital?

• 03.11.06

Título - Controlo Distribuído de Agentes Não-Cooperantes - Exploradores e Traidores (.pdf)
Orador - Pedro Mariano, Universidade de Aveiro
Resumo -
Questão - Ver acetatos finais da apresentação

• 27.10.06

Título - Site de uma disciplina: um espaço de aprendizagem (.ppt)
Orador - Pedro Rangel Henriques, Universidade do Minho

Resumo - "Com a evolução das TIC os alunos do Ensino Superior estão cada vez mais habituados a recorrer ao site da disciplina para obter informação. Tendo conhecimento desta situação os docentes têm vindo a preocupar-se com a sua estrutura e conteúdo. Algumas Instituições têm regras sobre os itens a incluir, existindo até templates que ajudam à sua criação automática. No que diz respeito aos conteúdos é mais difícil regular o que incluir e é dramático o problema da actualização; por isso existem já vários sites cujas páginas são criadas dinamicamente através do recurso a uma base de dados. Contudo, achamos que não existe uma preocupação em permitir que o aluno interaja com essa informação de maneira a propiciar uma construção de conhecimento mais significativa. A motivação para o projecto que se descreve neste seminário foi estender a base de dados de suporte ao site de forma a que, através do seu Back-Office, o professor possa criar o Mapa de Conceitos da disciplina, associando-lhe Recursos de Informação e o Plano de Aulas de modo a que, posteriormente, o MC Decorado criado seja usado para gerar um navegador conceptual a integrar no seu Front-Office."

Questão - Será possivel transformar realmente, com esta proposta e outras abordagens similares, o site WWW de uma disciplina num verdadeiro objecto de ensino que ajude com eficácia no processo de aprendizagem significativa?

• 20.10.06

Apresentação dos objectivos e regime de funcionamento dos Seminários MICEI.

Classificações

• Sistema de submissão de respostas às questões dos seminários.

---

---

2007-02-05

Resultados da Candidatura ao Education.MICEI 2005/2006

• Mestrado em Informática (MI)
• Curso de Especialização em Informática (CEI)

Material Pedagógico de Apoio aos Seminários

• Seminário de 2005-10-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.
  • Slides: [[][.pdf]]
  • Alguns artigos: FAST05, AAMAS03

DI/UM	Mestrado em Informática

---

Temas para Dissertação ( 2004/2005 )

---

Listagem por ordem de recepção de propostas (Ultima actualização: 2005-02-17)