PhD - Detalhes das disciplinas

425109

AAV

MC

Os estudantes serão capazes de identificar os grandes desafios que se colocam na criação de humanos virtuais em ambientes virtuais e as abordagens concebidas para os resolver.

Os estudantes terão capacidades para criar ambientes virtuais interactivos 3D (usando o X3D) e modelos animados simples de personagens (usando o Blender ou outra ferramenta similar).

Componente Teórica

Humanos Virtuais: modelação e animação da face e do corpo.
Simulação de roupa e de cabelo.
Animação comportamental (Behavioral Animation)
Simulação de Multidões
Realidade Virtual

Componente Teórico-prática

Introdução ao X3D.
Introdução ao Blender (ou a outra ferramenta de modelação 3D)

"Handbook of Virtual Humans" editado por N. Magnenat-Thalmann, D. Thalmann, John Wiley & Sons, 2004

"Virtual Reality Technology", 2ª ed.,G. C. Burdea, P. Coiffet, John Wiley & Sons, 2003

Diversos artigos sobre os temas estudados.
Guiões das aulas (escritos em Inglês).

Aulas presenciais em sala convencional e em laboratório.

Um trabalho de pesquisa bibliográfica e Exame

ou

Um trabalho de pesquisa bibliográfica e um trabalho de implementação.

Português e, ocasionalmente, Inglês (caso a cadeira seja frequentada por alunos Erasmus com dificuldade em compreender o Português)

Dep. de Informática

• Computação Gráfica

425110

AW

SI

A disciplina tem como objectivo apresentar, numa perspectiva A disciplina tem como objectivo apresentar, numa perspectiva integrada, vários tópicos relacionados com a arquitectura das aplicações modernas da web, indo desde a sua arquitectura ao nível de protocolos (HTTP), formatos (XML) e
serviços (SOA/REST/SOAP) à web semântica e web 2.0. Faz-se uma introdução a novos modelos de interacção, comunicação e rentabilização de aplicações da Web, com ênfase no
modelo de busca e selecção de informação baseado no paradigma da recuperação de informação. Discutem-se organizações de bibliotecas digitais (arquivos distribuídos de
quantidades maciças de informação), técnicas de tratamento de informação multimédia recorrendo à composição de serviços distribuídos, e modelos de catalogação da informação
baseados em meta-dados e folksonomias. Finalmente, abordam-se métodos para gestão dos
direitos de uso e protecção dos direitos legais de informação transferida pela web e modelos
de tarifação do seu acesso, assim como mecanismos de pagamento de serviços online. A apresentação das várias tecnologias é feita no contexto da sua aplicação à indústria de
publicação de conteúdos.

Componente Teórica

1. Sistemas Empresariais Integrados: Service-Oriented Architectures. Arquitectura lógica
de aplicações: Model-View-Controller.
2. WebServices: SOAP e REST.
3. Arquitectura da Web: HTTP; XML Infoset; XSD; SAX e DOM; XPATH, XSL,XQuery.
4. Arquitectura da Web Semântica.
5. Web 2.0. AJAX. JSON. Mashups.
6. Perspectivas de evolução da Web: da Web 3.0, à Web imersiva e à Web das coisas.
7. RDF. Description Logics. Ontologias. OWL. SPARQL.
8. Recuperação de Informação: conceitos e princípios; modelos; sistemas; avaliação.
9. Comércio electrónico. Tarifação de Informação. Pagamentos na Web
(MBNET/Paypal). Micro-pagamentos.
10. Marcação de informação. Gestão Expressão e gestão de direitos digitais (DRM).
XrML. A lei dos direitos de autor na era digital. Fair Use. FairPlay.

Componente Teórico-prática

Exemplos concretos de webservices realizados em SOAP e segundo o modelo REST.

Uso e integração de Web services. Exemplos de mashups

Componente Prática

Análise, Desenho e Construção de Webservice REST
Análise, Desenho e Construção de Mashup AJAX.

• Christopher D. Manning, Prabhakar Raghavan and Hinrich Schütze, Introduction to
Information Retrieval, Cambridge University Press. 2007 (módulo sobre busca de
informação)
• Artigos na wikipédia, tutoriais online, documentação em sítios web
• Mário J. Silva, Slides das aulas teóricas de Aplicações na Web, edição em 2 volumes do
Departamento de Informática da FCUL.

O projecto desenvolvido no laboratório consiste no desenvolvimento de um webservice de interface com um sistemas de
bases de dados + um mashup que conjuga esse webservice com outros disponíveis na Web e apresenta uma interface de utilizador de elevada interactividade (AJAX).

Projecto (35%) + 2 testes (27,5% + 27,5%) + participação (10%) ou Projecto (35%) + exame (55%) + participação (10%.

Alunos com o estatuto de trabalhador-estudante:
participação avaliada pelo envio de um relatório/resolução de problema sobre um tema a indicar semanalmente pelo docente responsável pela disciplina.

Português

Dep. de Informática

Nenhuma

425216

AP

MC

Estudo de diferentes paradigmas e métodos de aprendizagem automática.
Após uma introdução geral aos conceitos fundamentais na área e apresentação de métodos clássicos de aprendizagem supervisionada e não supervisionada, abordam-se em particular métodos para aprendizagem de sequências de acções, como a aprendizagem por reforço.
Pretende-se que o aluno adquira a capacidade de desenvolver novas aplicações, envolvendo a programação de algoritmos ou a sua combinação e extensão.

Componente Teórica

- Introdução aos diferentes paradigmas de aprendizagem.
- Indução de árvores de decisão.
- Aprendizagem baseada em instâncias.
- Avaliação de Desempenho.
- Agrupamento (Clustering).
- Aprendizagem por reforço.
- Aprendizagem de Séries Temporais
- Aprendizagem de conjuntos de Regras.
- Algoritmos Genéticos e Sistemas de Classificadores

Componente Teórico-prática

Resolução de exercícios sobre a matéria das aulas teóricas.
Uso da biblioteca de algoritmos de aprendizagem Weka.

- Data Mining - Practical Machine Learning Tools and Techniques with Java Implementations, Second edition, Ian H Witten e Eibe Frank, Morgan Kaufmann, 2005.

- Machine Learning, Tom M. Mitchell, McGraw-Hill, 1997

- notas de apoio às aulas teóricas.

- Reinforcement Learning: an Introduction, R. S. Sutton and A. Barto, MIT Press,1998.

- Introduction to Genetic Algorithms, Melanie Mitchell, MIT Press, 1998.

- Introduction to Machine Learning, Ethem Alpaydyn, MIT Press, 2004.

Aulas de exposição da matéria, aulas de resolução de exercícios e aulas laboratoriais.

Mini-testes nas aulas teóricas, um projecto de classificação de dados usando o Weka e um projecto de aprendizagem por reforço.

A cadeira é leccionada em Inglês caso estejam inscritos alunos que não dominem a língua portuguesa. Caso contrário é leccionada em português.

• Introdução às Probabilidades e Estatística
• Programação Por Objectos

425112

CIA

MC

Apresentar resultados e métodos fundamentais no âmbito do estudo e modelação da cognição e da linguagem humanas. Apoiar os alunos na compreensão e prática da Computação como uma das disciplinas da Ciência Cognitiva. Ampliar o âmbito da sua competência e cultura científicas para além da sua área científica e tecnológica específica.
O aluno deve ser capaz de identificar o problema e seleccionar a técnica de planeamento mais adequada para o abordar.

Componente Teórica

Planeamento em ambientes clássicos, recorrendo a: programação genética, espaço de estados, lógica, grafos e agentes. Planeamento em ambientes dinâmicos e não deterministicos. Planeamento condicional, monitorização e replaneamento. Planeamento baseado em casos e calendarização.

Componente Teórico-prática

Componente Prática

Aplicação das várias abordagens a domínios específicos de planeamento.

• Artificial Intelligence: A Modern Approach (2nd Edition)
  by Stuart J. Russell, Peter Norvig.
  
  * Programming Game AI by Example
  by Mat Buckland.
  
  
  
  

• http://mc.di.fc.ul.pt/cia
  
  * Automated Planning : Theory & Practice by Malik Ghallab, Dana Nau, Paolo Traverso
  
  * Intelligent Techniques for Planning by Ioannis Vlahavas, Dimitris Vrakas
  
  * http://www.csc.ncsu.edu/faculty/stamant/planning-resources.html
  
  * http://planet.dfki.de/membership/index.html
  
  * http://www.isi.edu/~blythe/cs541/
  

Nota final: 1a) ou 1b) e 2)

1a) Projecto + Apresentação

Desenvolvimento de um projecto prático individual
Tema escolhido de uma lista de possíveis
Apresentação do trabalho efectuado
Relatório final do projecto

1b) Exame + Apresentação

Análise de um artigo dado
Apresentação e comentário das ideias principais
Exame final

2) Presenças + Participação (10%)

Português ou Inglês

Dep. de Informática

• Introdução à Inteligência Artificial

425113

CM

SI

A banalização das redes de comunicações sem fios, via satélite, rádio celular ou infra-vermelhos permitirão que a informação fique permanentemente acessível, onde quer que o utilizador se encontre. Para acesso, utilizam-se dispositivos de cada vez menor dimensão e requerendo menor consumo de energia. Esta nova infra-estrutura permitirá a criação de sistemas de informação maciçamente distribuídos e de elevada heterogeneidade, a um nível que a Internet/World-Wide Web dos nossos dias mal deixam antever. O curso apresenta as características dos novos sistemas de comunicações sem fios, examinados de uma perspectiva de infra-estrutura de sistemas de informação e apresenta alguns dos temas de investigação recente no domínio das redes, sistemas distribuídos, bases de dados, interfaces pessoa-máquina e engenharia de software destinados a suportar a computação nestes ambientes, normalmente designados de computação móvel

Componente Teórica

• Introdução à Computação Móvel/Ubíqua/Pervasiva
  * Replicação de Informação e Operação Desconectada
  * Dispositivos, Sistemas Operativos e Arquitecturas
  * Interfaces para Dispositivos Móveis
  * Suporte à mobilidade (sistema)
  * Serviços de Comunicações Móveis
  * Suporte à mobilidade (rede)
  * Descoberta de Serviços e Serviços de Localização
  * Visões do Futuro
  

Componente Teórico-prática

Apresentação de .NET Compact Framework. Pocket PCs.
Interface com o utilizador - GUI.
Gráficos na Compact Framework.
Armazenamento local de informação.
Acesso a bases de dados remotas.
Sockets. Comunicação Bluetooth. Comunicação IrDA.

Compilação de artigos

As aulas teóricas são de exposição e discussão da matéria.

As aulas Teórico-práticas são laboratoriais de apresentação da framework e resolução de exercícios.

Projecto + Exame + Avaliação contínua

Português ou Inglês

Dep. de Informática

• Redes de Computadores
• Sistemas de Informação e Bases de Dados
• Desenvolvimento Centrado em Objectos
• Interfaces Pessoa Máquina
• Sistemas Distribuídos

425114

CP

OSC

Pretende-se com esta disciplina que o aluno solidifique noções fundamentais relativas à computação paralela, tais como noções sobre sincronização e comunicação entre processos em sistemas com memória partilhada e em sistemas baseados em troca de mensagens. Pretende-se ainda que estas noções sejam complementadas com outras mais avançadas sobre arquitecturas multi-processador, arquitecturas tipo "cluster” e estratégias para a paralelização de código

Componente Teórica

Nas aulas teóricas serão abordados os seguintes tópicos: Programação concorrente vs. sequencial; Processos e a sua concretização; Suporte de linguagem para programação com processos; Utilização da memória partilhada; Coerência dos dados; Mecanismos de sincronização: semáforos, condições, monitores, contadores e sequenciadores; Problemas clássicos: leitores-escritores, o barbeiro adormecido, o jantar dos filósofos; Caixas-do-correio; RPC e rendez-vous; Problema do interbloqueio; Introdução aos sistemas paralelos; Computadores paralelos; Paralelização de código; Bibliotecas de suporte a troca de mensagens; Avaliação de programas paralelos; Computações paralelizáveis; Particionamento; Condutas (pipelines); Computações sincronizadas; Balanceamento de carga; Detecção de terminação; Exemplos de programas paralelos.

Componente Teórico-prática

Na sua componente prática os alunos realizam trabalhos utilizando bibliotecas de suporte à programação concorrente (Pthreads), linguagens com suporte explícito à concorrência (Java) e bibliotecas para programação baseada em troca de mensagens (MPI).

- Barry Wilkinson and Michael Allen, Parallel Programming, Techniques and Applications Using Networked Workstations and Parallel Computers, Prentice Hall, 2nd Edition, 2004.

- Abraham Silberchatz, Peter Galvin and Greg Gagne, Applied Operating System Concepts, John Wiley & Sons, 2000.
- A. Burns and A. Wellings, Real-Time System and Their Programming Languages, 3rd Ed., Addison-Wesley, International Computer Science Series, 2001

Aulas teóricas: exposição da matéria em sala de aula, complementada com exemplos e exercícios. Procura-se assim estimular o interesse entre os alunos e a interacção entre docente e discentes.

Aulas teórico-práticas: realização de exercícios teórico-práticos e laboratoriais que fomentam a discussão com os alunos de uma solução base e de possíveis alternativas.

Trabalhos de casa para a componente teórica. Projectos para a componente teórico-prática. Exame final.

Português ou Inglês

Dep. de Informática

Nenhuma

425115

CGS

OSC

Pretende-se complementar as noções obtidas nas cadeiras de sistemas, com uma visão sistemática das funções de configuração de sistemas computacionais, sistemas distribuídos e redes de computadores, e sua gestão e exploração. Pretende-se assim consolidar um conjunto de noções habitualmente díspares, do foro da administração de sistemas e redes, dando-lhe um carácter mais abrangente, de verdadeira gestão estratégica de sistemas

Componente Teórica

Gestão de sistemas computacionais. Planeamento de redes. Normas. Administração de redes. Gestão de sistemas distribuídos. Especificação e configuração de sistemas

Componente Teórico-prática

Ferramentas de gestão e configuração. O modelo e protocolo SNMP.

Paulo Veríssimo e Luís Rodrigues, Distributed Systems For System Architects, Kluwer, 2001.
Network and Distributed Systems Management, M. Sloman editor, Addison-Wesley, 1994.

M. Sloman editor, Network and Distributed Systems Management, Addison-Wesley, 1994.

Mark A. Miller, Managing Internetworks with SNMP, 3rd edition, M&T Books, 1999.

Português ou inglês

Dep. de Informática

Nenhuma

425116

DAA

CTP

Adquirir um conjunto avançado de tópicos em algoritmia para complementar o conhecimento padrão de algoritmos e estruturas de dados de um curso de primeiro ciclo em engenharia informática.

Componente Teórica

Análise de algoritmos recursivos, Análise Amortizada. (Cormen, caps. 3,4,17)
Ordenação (randomized quicksort, heapsort, linear sorting) e Order Statistics (Cormen, caps. 6-9)
Programação Dinâmica (Cormen, cap. 15)
Algoritmos Gananciosos (Cormen, cap. 16)
Grafos (Cormen, cap. 22-24)
Pesquisa de Soluções - algoritmos exactos e algoritmos aproximados: Backtracking, Branch&Bound, Best-First, Hill Climbing, Tabu Search, Simulated Annealing, Gradient Descent, Grasp, Flood Fill
Conjuntos Disjuntos (Union-Find) (Cormen, caps. 21)
Strings (Cormen, cap. 32)
Árvores (AVL, Splay Trees, Heaps, Treaps, Tries) (Cormen, caps. 12,13)
Skip-Lists
Algoritmos Aleatórios
Algoritmia experimental

Componente Teórico-prática

Análise de algoritmos recursivos, Análise Amortizada. (Cormen, caps. 3,4,17)
Ordenação (randomized quicksort, heapsort, linear sorting) e Order Statistics (Cormen, caps. 6-9)
Programação Dinâmica (Cormen, cap. 15)
Algoritmos Gananciosos (Cormen, cap. 16)
Grafos (Cormen, cap. 22-24)
Pesquisa de Soluções - algoritmos exactos e algoritmos aproximados: Backtracking, Branch&Bound, Best-First, Hill Climbing, Tabu Search, Simulated Annealing, Gradient Descent, Grasp, Flood Fill
Conjuntos Disjuntos (Union-Find) (Cormen, caps. 21)
Strings (Cormen, cap. 32)
Árvores (AVL, Splay Trees, Heaps, Treaps, Tries) (Cormen, caps. 12,13)
Skip-Lists
Algoritmos Aleatórios
Algoritmia experimental

Cormen et al. - Introduction to Algorithms, 2ºEd. MIT Press, 2003.

João Neto, lecture notes, 2006. (in Portuguese)
Ana Respício, lecture notes, 2008. (in Portuguese)
Cormen et al., lecture notes from the Open Course in Introduction to Algorithms, MIT, 2005. (in English)
Several scientific papers.

Aulas presenciais.

Projecto de introdução à investigação com artigo de 10 páginas, implementação e produção de resultados para um problema complexo e apresentação pública (20 valores).

Português ou inglês.

Dep. de Informática

Nenhuma

425117

DS

CTP

Apresentar uma breve perspectiva histórica da Engenharia de Software e dar perspectivas de algumas das novas áreas onde têm emergido promissores métodos, técnicas e metolodogias de desenho. Os objectivos mais concretos são os seguintes:

Arquitecturas de Software
Pretende-se familiarizar os alunos com o desenho dos sistemas do ponto de vista arquitectural. Nomeadamente, pretende-se que o aluno:

fique a conhecer os principais estilos arquitecturais dos sistemas de software existentes;
se familiarize com linguagens de descrição de arquitecturas;
seja capaz de conceber arquitecturas alternativas para um sistema e avaliá-las face a determinados requisitos;
seja capaz de construir sistemas em conformidade com um desenho arquitectural
Linhas de Produto de Software
Pretende-se familiarizar os alunos com as técnicas de desenho sistemático de famílias de sistemas de software (SPL), e de uma forma mais geral, dar uma perspectiva relativamente a técnicas que auxiliam a gestão da variabilidade. Nomeadamente, pretende-se que o aluno fique a conhecer:
os principais desafios e beníficios da SPL;
o desenho e programação de sistemas baseado em aspectos;
o desenho de arquitecturas genéricas através de frameworks OO;
técnicas generativas;
model-driven development.

Componente Teórica

Engenharia de Software: contexto e história. O design de software: princípios ; processo e seu contexto; qualidade. Arquitectura de software: vistas, modelo SEI e modelo 4+1; ADLs; estilos arquitecturais; cenários e táticas para atributos de qualidade; método ADD (attribute driven design). Linhas de produto: frameworks; desenho e programação baseada em aspecto; model-driven development.

Componente Teórico-prática

Português ou Inglês

Dep. de Informática

Nenhuma

425119

ESBA

MC

Aprendizagem de como as abordagens baseadas em agentes podem ser eficazmente utilizadas no desenvolvimento de software. Ter a capacidade de avaliar a adequação da abordagem a problemas concretos. Aprendizagem de metodologias específicas e utilização de ferramentas para o desenvolvimento de sistemas.

Componente Teórica

Introdução aos agentes inteligentes e sistemas multiagente. Níveis micro e macro. Metodologias para análise e desenho de sistemas baseados em agentes (AUML, Gaia, MaSE, FAME, Prometheus-ROADMAP, SODA, etc.). Comunicação e partilha de conhecimento. Programação baseada em agentes. Casos de estudo.

Componente Teórico-prática

Resolução de problemas. Experimentação de ferramentas para a análise, desenho e implementação de sistemas multiagente, como por exemplo o agentTool.

Agent-Based Software Development. M. Luck, R. Ashri and M. d’Inverno. Artech House, 2004.

Methodologies and Software Engineering for Agent Systems - The Agent-Oriented Software Engineering Handbook. Bergenti, Federico; Gleizes, Marie-Pierre; Zambonelli, Franco (Eds.). Springer, 2004.

Agent-Oriented Methodologies, Brian Henderson-Sellers, Paolo Giorgini, idea Group Publishing, 2005.

An Introduction to Multiagent Systems. Michael Wooldridge. John Wiley & Sons, 2002.

Intelligent Agent Software Engineering. Valentina Plekhanova, idea Group Publishing, 2003.

Multiagent Systems: A Modern Approach to Distributed AI. G. Weiss (edt), MIT Press, 2000.

Heterogeneous Agent Systems. V. Subrahmanian, et al, MIT Press, 2000.

Readings in Agents. M. Huhns and M. Singh (edts), Morgan Kaufmann, 1998.

Constructing Intelligent Agents Using Java. J. Bigus, John Wiley and Sons, 2001.

Projecto e exame

Português ou Inglês

Dep. de Informática

• Sistemas Multi-Agente

425122

GP

SI

Procura-se que o aluno tenha uma exposição a toda a área de gestão de projectos, de acordo com os standards internacionais (PMI). Assim introduzem-se os seguintes assuntos, abordados sequencialmente ao longo do curso: Métodos e Técnicas de planeamento e gestão de projectos; O trabalho de gestão de projectos; o gestor e a equipa; selecção de projectos. Introdução à análise financeira; planeamento de projectos e orçamentação; cálculo de custos e incerteza; calendarização e alocação de recursos usando redes PERT e CPM, simulação, gestão de risco, distribuição de recursos escassos e a cadeia crítica de Goldratt; Monitorização e avaliação de projectos (reporting, sistemas de controle, auditorias e conclusão de projectos).

Tópicos

* Conceitos de Gestão
* Pessoas e Organizações
* Planeamento e Controlo de projectos
* Gestão de configuração, de mudança e de comunicação

Componente Teórica

O gestor de projectos. O processo de selecção de projectos. Métodos numéricos e não numéricos.Incerteza e gestão do risco. Métodos de inclusão da incerteza na avaliação de um projecto. O gestor de projectos e as suas características principais. Estratégias de gestão. Planeamento do projecto: O Plano do Projecto, a Estrutura de Divisão do Trabalho (WBS). O Gráfico Linear de Responsabilidades. Gestão de equipas multidisplinares. Coordenação de interfaces, Integração da gestão e engenharia concorrente. Orçamentação e calendarização de projectos. Diagramas PERT/CPM. Caminhos críticos e folgas. Simulação vs métodos estatísticos. Afectação de recursos. 'Rebentar' um projecto. A importância dos recursos na expedição. Carregar e nivelar um projecto. A cadeia comum de eventos e a cadeia crítica de Goldratt. Monitorização e controle de projectos. O ciclo de Planeamento, Monitorização e Controle. Conceito de Valor Ganho e métricas de monitorização. Controle de projectos. Sistemas de controle: tipos e ferramentas. o problema do 'scope creep'. Conclusão de Projectos. Mecanismos de avaliação. Auditorias: tipos e elementos do relatório.

Componente Teórico-prática

Análise financeira. Análise de risco. Gestão das organizações e das equipas. Planeamento, orçamentação e gestão de risco. Calendarização. Diagramas PERT/CPM e Gantt. Afectação de recursos e monitorização

Mantel, SJ, Meredith, J, Shafer, SM, Sutton, MM, 2005 Project Management in Practice. 2nd Edition John Wiley and Sons. ISBN:0-471-22965-2
Stellman, A, Greene, J. 2006, Applied Software Project Management. O'Reilly Media. ISBN:0-596-00948-8

Informação fornecida pelo docente

Aulas teóricas de exposição
Aulas práticas de laboratório com utilização de ferramentas específicas

Elaboração de um projecto
Exame

Português ou Inglês

Dep. de Informática

Nenhuma

425123

GC

MC

Obtenção da capacidade de distinguir os conceitos de dados, informação e conhecimento. Familiarização com o tratamento do conhecimento em sociedade, incluindo sociedades de agentes artificiais, dando especial ênfase ao conhecimento como produto económico. Desenvolvimento de competência na investigação de gestão do conhecimento, nomeadamente através do estudo de casos.

Componente Teórica

- dados, informação, conhecimento
- conhecimento tácito/explícito, processos de Nonaka: socialização, externalização, combinação, internalização
- economia do conhecimento
- representação do conhecimento
- conhecimento como ferramenta vs. conhecimento como produto
- hierarquias sociais e fluxo de informação
- aquisição de conhecimento; o projecto CYC
- aspectos da gestão do conhecimento: Identificar, Analisar, Especificar, Rever. Trocas de conhecimento em sociedades de agentes artificiais
- crítica à gestão do conhecimento

Componente Teórico-prática

- trabalhos semanais de resumo crítico da matéria
- trabalho final de aprofundamento de um tema de matéria relacionada com a disciplina

Componente Prática

não tem

Don Tapscott e Anthony Williams. Wikinomics – A Nova Economia das Multidões Inteligentes. QuidNovi, 2007

Donald Hislop. Knowledge Management In Organizations. Oxford University Press, 2005

António Serrano e Cândido Fialho. Gestão de Conhecimento: O novo paradigma das organizações. FCA - Editora de Informática, 2003

Ricardo Vidigal da Silva e Ana Neves (orgs.). Gestão de Empresas na Era do Conhecimento. Edições Sílabo, 2003

Richard F. Bellaver and John M. Lusa. Knowledge management strategy and technology. Artech House, 2001

Jay Liebowitz. Knowledge Management HandBook. CRC Publishers, 1999

Thomas H. Davenport and Laurence Prusak. Working knowledge: how organizations manage what they know. Harvard Business School Press, 1998

Aulas teóricas e teórico-práticas
Exposição do trabalho final pelos alunos

60% Trabalho Final + 40% trabalhos semanais

Normalmente em português. Em inglês se necessário

Dep. de Informática

Nenhuma

425124

IPAI

SI

Os alunos são introduzidos às especificidades da modelação de data warehouses, nomeadamente, pré-processamento e transformação de dados, e modelação multidimensional. São discutidas várias ferramentas e técnicas para processamento analítico (OLAP) e aplicadas técnicas de exploração e prospecção de informação (data-mining) para extracção de conhecimento. É ainda abordada a articulação destas metodologias em sistemas de apoio à decisão para vários domínios de aplicação.

Componente Teórica

Pré-processamento e transformação de dados, Data warehousing, modelação multidimensional, ferramentas OLAP, data-marts e cubos de dados, data-mining - técnicas e aplicações, extracção de conhecimento, exploração de informação na web, prospecção de informação proveniente de imagens e de sistemas de informação geográfica, integração em sistemas de apoio à decisão.

Componente Teórico-prática

Técnicas de modelação multidimensional, linguagens de interrogação para OLAP. Metodologias de data mining

Kimball, R. Ross, M. 2002. The Data Warehouse Toolkit. 2nd Edition. John Wiley and Sons. New York. ISBN:047120024
Han, J. Kamber, M. 2006. Data Mining Concepts and Techniques 2nd Edition. Morgan Kaufmann Publishers. ISBN:1558609016

Informação fornecida pelo docente

Aulas teóricas de exposição
Aulas práticas de laboratório com utilização de ferramentas específicas

Trabalho prático
Exame

Português ou Inglês

Dep. de Informática

• Sistemas de Informação e Bases de Dados

425125

ILN

MC

Familiarização com o estado da arte no domínio das tecnologias da linguagem natural e das suas aplicações. Aquisição de conceitos, metodologias e técnicas para a utilização de componentes e recursos para sistemas e agentes com interacção de crescente naturalidade em termos de linguagem natural

Componente Teórica

Linguagens naturais, controladas e artificiais. Metodologias de modelação simbólica e quantitativa das linguagens naturais. Classes de aplicações, seu desempenho e usabilidade. Módulos chave no processamento superficial: segmentadores frásicos, lexicais e sintagmáticos, etiquetadores morfo-sintácticos, reconhecedores de entidades nomeadas e analisadores sintácticos superficiais. Processamento linguístico profundo: gramáticas e dicionários computacionais. Processamento de linguagem falada. Análise e representação do significado e tradução automática entre línguas naturais e entre línguas naturais e artificiais. Actos de fala e gestão de actos conversacionais. Sistemas de diálogo e interacção via linguagem natural. Processamento linguístico e recuperação de documentos e de informação. A web semântica: objectivos e principais componentes. Ontologias formais e redes semânticas. Desambiguação de acepções lexicais. Actuais recursos e ferramentas para o processamento da língua portuguesa

Componente Teórico-prática

Ruslan Mitkov (org.), Handbook of Computational Linguistics, Oxford, OUP, 2002.

Robert Dale, Hermann Moisl e Harold Sommers (orgs.), Handbook of Natural Language Processing, Marcel Dekker, 2000.

D. Jurafsky e L. Martin, Speech and Language Processing, Londres: Prentice Hall, 2000.

Português ou Inglês

Dep. de Informática

• Processamento de Linguagem Natural

425126

JI

SI

Pretende-se que os alunos adquiram as bases fundamentais em desenho e implementação de jogos de computador. São ensinados os fundamentos dos diferentes componentes que constituem um jogo, desde a arquitectura a que um jogo moderno deve obedecer até aos diferentes componentes que o constituem. Estes incluem a parte gráfica, redes, som, inteligência artificial e mecanismos de interacção. São ainda abordados tópicos relativos ao desenvolvimento para consolas e plataformas móveis.

Componente Teórica

Esta disciplina visa cobrir os diferentes tópicos relevantes no desenho e desenvolvimento de jogos de computador em todas as suas fases. É constituída por 3 secções programáticas: a) concepção e desenho de jogos; b) implementação de componentes; c) utilização de tecnologias específicas.

1. Concepção e desenho de jogos São abordados os princípios que levam à criação e desenvolvimento de um jogo e elaborados os diferentes factores e componentes que constituem um jogo electrónico. Nesta secção são abordados ainda aspectos referentes à criação de personagens, história e ambiente lúdico. Finalmente abordam-se os apectos referentes à jogabilidade e capacidade de entreter.
2. Implementação de componentes Nesta secção serão cobertos os princípios das tecnologias que estão geralmente associadas ao desenvolvimento de um jogo de computador. Nomeadamente, são abordadas diferentes técnicas e mecanismos de interacção com o utilizador e consequentes experiências de jogo. Discutem-te as principais metoddologias em tecnologias gráficas e de som, bem como os princípios de inteligência artificial necessários. Finalmente, são abordadas as bases de desenvolvimento de jogos distribuídos
3. Utilização de tecnologias específicas. No decorrer desta disciplina será encorajada a utilização de um motor de jogo em software livre. Serão descritos os seus princípios de funcionamento ao nível da parametrização e criação de um jogo simples, bem como uma descrição do interior do sistema. Nesta secção, serão abordados os temas de desenvolvimento para plataformas específicas. Nomeadamente descrevem-se as características e condicionantes no desenvolvimento para ambientes móveis sendo também coberto aspectos referentes ao desenvolvimento para hardware proprietário (consolas).

Componente Teórico-prática

Metodologias de concepção e design de jogos. A estruturação de um jogo. Exercícios de Interacção, programação gráfica em tempor real, Inteligência Artificial e programação em redes. Exercícios de desenvolvimento para consolas

Fullerton, T, Swain, C., Hoffman, S. 2004. Game Design Workshop - Designing, Prototyping and Playtesting Games. CMPBooks. ISBN 1-57820-222-1
Rabin, S. (Editor) 2005. Introduction to Game Development. Charles River Media. ISBN: 1-5840-377-7

Documentação fornecida pelo docente

Aulas teóricas de exposição
Aulas práticas de laboratório com utilização de ferramentas específicas

Realização de um projecto de um jogo digital

Português ou Inglês

Dep. de Informática

Nenhuma

425128

MM

SI

Compreender conceitos e tecnologias subjacentes à construção e interacção com informação multimédia, com ênfase em vídeo digital.

Tópicos: Tipos de média digitais. Compressão e codificação, estrutura e metadata. Processamento e extracção de características. Autoria, aspectos tecnológicos e cognitivos na integração e interacção em ambientes multimédia. Novos paradigmas e aplicações.

Componente Teórica

1. Introdução: Conceitos, História, Modelos, Tecnologia, Aplicações, Desafios; 2. Tipos de Media: Representação digital, Digitalização, Informação estática e dinâmica, Texto, Gráficos vectoriais, Imagens bitmap, Vídeo, Animação, Áudio; Formatos, Normas, Compressão, Armazenamento, Distribuição; 3. Autoria: Paradigmas, Ferramentas, Design, Projectos Multimédia; 4. Processamento: Segmentação, Indexação, Metadados, Extracção de características, Recuperação e autoria; 5. Perspectivas: Novos paradigmas e aplicações.

Componente Teórico-prática

Realização de um projecto e resolução de exercícios práticos sobre: Tipos de Media : texto gráficos vectoriais, imagens bitmap, vídeo e técnicas de compressão; Autoria Multimédia: com animações, áudio, e vídeo, em Flash e Smil; Processamento: de imagem e vídeo; Apresentação dos projectos.

Ze-Nian Li & Mark S.Drew, “Fundamentals of Multimedia“ (International Edition), Pearson Prentice Hall, 2004.
Nigel Chapman & Jenny Chapman, “Digital Multimedia” (2nd.ed), Wiley, 2004.
Tay Vaughan, “Multimedia: Making it Work” (7th.ed), McGraw Hill, 2006.
Nuno Ribeiro, “Multimédia e Tecnologias Interactivas” (2a.ed), FCA Editora de Informática, 2007.

Complementares:
  
Kevin Jeffay, Hong Jiang Zhang (eds.), “Readings in Multimedia Computing and Networking”, Morgan Kaufmann, 2002.
Peter D. Symes, “Video Compression”, McGraw Hill, 1999. [cap:1-3]
J. Gibson, T. Berger, T. Lookabaugh, D. Lindberg, & R. Baker, “Digital Compression for Multimedia: Principles & Standards”, Morgan Kaufmann, 1998.
Artigos, Relatórios e Manuais

aulas teóricas de exposição de matéria
aulas teórico-práticas de exercícios da matéria exposta nas aulas teóricas e apoio ao projecto

projecto
exame
participação

Português ou Inglês

Dep. de Informática

• Introdução aos Sistemas Computacionais
• Sistemas de Informação e Bases de Dados
• Interfaces Pessoa Máquina

425129

ND

CTP

Estudo mais aprofundado de alguns tópicos introduzidos de modo sumário na disciplina de Redes Neuronais. Aplicação prática das redes neuronais a problemas tecnológicos concretos. Ênfase na abordagem dinâmica dos processos neuronais de inspiração biológica, dos algoritmos de aprendizagem e do processamento com redes recorrentes. Delimitação do poder computacional de redes recorrentes e não recorrentes e estimativa da eficiência temporal e espacial dos algoritmos neuronais.

Componente Teórica

Revisão dos paradigmas neuronais biológicos - aprendizagem Hebbiana; auto-aprendizagem; exposição a exemplos; tolerância a falhas; computação paralela. Relação entre os neurónios biológicos e os neurónios formais e artificiais utilizados em Computação e em Engenharia. Redes feedforward versus redes recorrentes. Aprendizagem supervisionada versus autónoma. Aspectos estatísticos. Perspectiva dinâmica dos métodos de descida do gradiente. ADALINE. Perceptrão multi-camada. MADALINE. Retropropagação. Redes auto-associativas. Algoritmo de Hopfield e máquinas de Boltzmann; aplicação à implementação de memórias endereçáveis por conteúdo e à resolução aproximada de problemas combinatórios NP-completos. Auto-organização. Competição.

Componente Teórico-prática

Revisão dos paradigmas neuronais biológicos - aprendizagem Hebbiana; auto-aprendizagem; exposição a exemplos; tolerância a falhas; computação paralela. Relação entre os neurónios biológicos e os neurónios formais e artificiais utilizados em Computação e em Engenharia. Redes feedforward versus redes recorrentes. Aprendizagem supervisionada versus autónoma. Aspectos estatísticos. Perspectiva dinâmica dos métodos de descida do gradiente. ADALINE. Perceptrão multi-camada. MADALINE. Retropropagação. Redes auto-associativas. Algoritmo de Hopfield e máquinas de Boltzmann; aplicação à implementação de memórias endereçáveis por conteúdo e à resolução aproximada de problemas combinatórios NP-completos. Auto-organização. Competição.

J. A. Anderson, An Introduction to Neural Networks, The MIT Press, 1995.

L. Fausett, Fundamentals of Neural Networks - Architectures, Algorithms and Applications, Prentice Hall, 1994.

M. H. Hassoun, Fundamentals of Artificial Neural Networks, The MIT Press, 1995.

S. Haykin, Neural Networks - A Comprehensive Foundation, 2nd edition, Prentice Hall, 1999.

R. Rojas, Neural Networks - A Systematic Introduction, Springer-Verlag, 1996.

J. Hertz, A. Krogh & R. G. Palmer, Introduction to the Theory of Neural Computation, Addison-Wesley, 1991.

D. Patterson, Artificial Neural Networks -- Theory and Applications, Prentice Hall, 1996.

P. Churchland e T. Sejnowski, The Computational Brain, The MIT Press, 1992.

Ligações para informação diversa, disponível na internet.

Presencial.

Conjunto de trabalhos práticos propostos aos alunos, ou auto-propostos desde que respeitantes à matéria leccionada.

Português ou Inglês

Dep. de Informática

Nenhuma

425130

PLN

MC

Primeira apresentação de conceitos e métodos fundamentais para a modelação computacional da estrutura e compreensão da linguagem humana natural; Principais aplicações desses métodos; Princípios básicos de sistemas e agentes que executam processamento da linguagem natural ou apresentam formas elaboradas de interacção em linguagem natural

Componente Teórica

Chatterbots e avatares: sistemas de padrões e compreensão linguística. Linguagem humana natural vs. linguagens não humanas e linguagens artificiais. Representação e computação do conhecimento linguístico. Análise sintáctica e formalismo DCG. Modelação de relações sintácticas chave: constituência, concordância, subcategorização e dependências de longa distância. Codificação de ambiguidade lexical e estrutural. Sobregeração e selecção de resultados. Análise semântica. Representação do significado: LPO, formalismo lambda e LQG. Codificação de ambiguidade de âmbito de quantificadores. Aplicações chave: Interfaces em linguagem natural. Tradução automática e aplicações de apoio à tradução. Modelos de gramática, formalismos de descrição linguística e escalabilidade. Algoritmos de parsing descendente, ascendente, pelo canto esquerdo, tabular e algoritmo de Earley. Interfaces com a fala e a cognição. Complexidade computacional das línguas naturais

Componente Teórico-prática

Utilização da linguagem Prolog para desenvolvimento de sistemas de padrões e de palavra chave. Análise sintáctica com DCGs. Utilização avançada de DCGs. Construção de representações semânticas. Definição e programação de gramáticas de unificação.
Algoritmos de análise sintáctica descendente, ascendente, canto-esquerdo, Earley.
Projecto final envolvendo a definição e utilização de uma gramática que cubra um maior conjunto de fenómenos linguísticos.

Daniel. Jurafsky e James Martin, Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics and Speech Recognition, New Jersey: Prentice Hall, 2000.
Michael. Covington, Natural Language Processing for Prolog Programmers, Londres: Prentice Hall, 1994

Mitkov, R. The Oxford Handbook of Computational Linguistics, Oxford University Press, 2003.
James Allen, Natural Language Understanding, Redwood: The Benjamin/Cummings,1995

Português ou Inglês

Dep. de Informática

Nenhuma

425132

PSD

OSC

Pretende-se que os alunos obtenham uma visão de conjunto acerca das arquitecturas e modelos para a construção e programação de sistemas distribuídos, interiorizando conceitos, paradigmas e serviços fundamentais dos SDs, adquirindo capacidades para decidir da aplicabilidade das principais arquitecturas e modelos de SDS e dominando as principais técnicas de programação em SDs.

Componente Teórica

1) Introdução à Programação em Sistemas Distribuídos: Revisão dos Fundamentos dos SDs; Propriedades não-funcionais dos SDs; Enquadramentos e estratégias para a programação em SDs; 2) Complementos de Paradigmas dos SDs: Tempo e relógios; Sincronismo; Ordenação; Coerência; Concorrência e Atomicidade; 3) Serviços Evoluídos de SDs: Sistemas de ficheiros distribuídos; Serviços de tempo; Serviços de directório; Brokers; 4) Modelos de programação em ambientes distribuídos: Classes de actividades distribuídas; Modelo de cliente-servidor RPC revisto; Modelo orientado para grupos; Modelo baseado em eventos; Modelo de transacções atómicas; 5) Sistemas e plataformas distribuídas: Plataformas baseadas em RPC (DCE) e Brokers (CORBA) e plataformas baseadas na Web; Sistemas orientados para grupos (ISIS/Horus, Appia); Sistemas de transacções distribuídas (TUXEDO); 6) Estudo de caso (Sistema VP'63). Na componente prática os alunos realizam um trabalho de laboratório, dividido em duas partes, que serão essencialmente feitas usando ONC RPC e CORBA (ORBacus, programação em Java).

Componente Teórico-prática

1) Introdução à Programação em Sistemas Distribuídos: Revisão dos Fundamentos dos SDs; Propriedades não-funcionais dos SDs; Enquadramentos e estratégias para a programação em SDs; 2) Complementos de Paradigmas dos SDs: Tempo e relógios; Sincronismo; Ordenação; Coerência; Concorrência e Atomicidade; 3) Serviços Evoluídos de SDs: Sistemas de ficheiros distribuídos; Serviços de tempo; Serviços de directório; Brokers; 4) Modelos de programação em ambientes distribuídos: Classes de actividades distribuídas; Modelo de cliente-servidor RPC revisto; Modelo orientado para grupos; Modelo baseado em eventos; Modelo de transacções atómicas; 5) Sistemas e plataformas distribuídas: Plataformas baseadas em RPC (DCE) e Brokers (CORBA) e plataformas baseadas na Web; Sistemas orientados para grupos (ISIS/Horus, Appia); Sistemas de transacções distribuídas (TUXEDO); 6) Estudo de caso (Sistema VP'63). Na componente prática os alunos realizam um trabalho de laboratório, dividido em duas partes, que serão essencialmente feitas usando ONC RPC e CORBA (ORBacus, programação em Java).

P. Veríssimo and L. Rodrigues, Distributed Systems for System Architects, Kluwer Academic Publishers, 2001.
G. Coulouris, J. Dollimore and T. Kindberg, Distributed Systems - Concepts and Design, 3rd Ed., Addison-Wesley, 2002

Distributed Systems, 2nd Ed., Sape Mullender Ed., Addison-Wesley, 1993
# Building Secure and Reliable Network Applications, Kenneth Birman, Manning - P. Hall, 1996.
# OSF DCE: Guide to Developing Distributed Applications, H. Lockhart, IEEE CS, 1994.
# Advanced Concepts in Operating Systems, Mukesh Singhal, Niranjan Shivarafri, McGraw Hill
# Manuais do AFS
# The TUXEDO System, J. Andrade et al., Addison-Wesley, 1996.
# Java Programming with CORBA, 3rd Ed, G. Brose, A. Vogel, K Duddy, OMG Press, 2001.
# Teach Yourself CORBA in 14 Days, Jeremy Rosenberger, Sams Publishing, 1998.
# The Java Tutorial, M. Campione, K. Walrath, Sun, 1997.
# Manual do ORBacus

10% - TPCs
40% - Projecto & Participação nas aulas
50% - Exame final

Português ou Inglês

Dep. de Informática

• Programação I [Outras Licenciaturas]

425133

PDI

MC

A capacidade actualmente existente para coligir e armazenar dados ultrapassa largamente a nossa capacidade para os analisar, resumir e extrair daí manualmente conhecimento útil, previamente desconhecido mas implicitamente contido nos dados analisados. A Prospecção e Descoberta de Informação ("Data Mining and Knowledge Discovery") é a disciplina científica que permite extrair, de forma automática, informação útil de grandes colecções de dados. Nesta cadeira pretende-se dotar o aluno de conhecimentos específicos nessa área, através do estudo das várias etapas da prospecção de informação, com ênfase no estudo de métodos e algoritmos de aprendizagem automática, originados nas áreas de Inteligência Artificial, Estatística e Análise de Dados, e sua aplicação à descoberta de modelos e padrões interessantes em colecções de dados.

Componente Teórica

- Introdução e Conceitos Gerais: Tarefas e problemas de Data Mining, Visualização e exploração de dados, Métodos supervisionados e não supervisionados
- Indução de árvores de decisão
- Regras de associação
- Aprendizagem Bayesiana
- Agrupamento ("Clustering") e Algoritmo EM (Expectation-Maximization)
- Pré-processamento dos dados
- Avaliação e combinação de resultados
- Modelos para Regressão
- Máquinas de Vectores de Suporte

Componente Teórico-prática

Resolução de exercícios sobre a matéria teórica.
Aulas em laboratório de demonstração do uso das bibliotecas de algoritmos de prospecção de dados associadas à linguagem R; aplicação de algoritmos a pequenos conjuntos de dados.
Discussão de artigos ciêntíficos.

- Principles of Data Mining, David Hand, Heikki Mannila e Padhraic Smyth, MIT Press, 2001.

- Modern Applied Statistics with S - 4th Edition, W. N. Venables, B. D. Ripley, Springler, 2002.

- notas de apoio às aulas teóricas

- leituras sugeridas: lista de artigos científicos de vários autores para aprofundamento dos tópicos abordados

Aulas de exposição da matéria e aulas em laboratorio para aplicação de bibliotecas de algoritmos.
Leitura de artigos científicos sugeridos, seguida de síntese oral e discussão dos mesmos pelos alunos.

Resolução de exercícios, apresentação e discussão de um artigo e projecto

A cadeira é leccionada em Inglês caso estejam inscritos alunos que não dominem a língua portuguesa. Caso contrário é leccionada em português.

Dep. de Informática

• Programação I [Outras Licenciaturas]

425134

PRD

OSC

Pretende-se que os alunos possam aprofundar os conhecimentos na área das redes IP, com particular ênfase aos algoritmos de encaminhamento usados na Internet. Deste modo são apresentados algoritmos de encaminhamento: interior, exterior, baseados em restrições e com suporte para qualidade de serviço, encaminhamento com engenharia de trágefo, encaminhamento com suporte para difusão e mobilidade e encaminhamento em redes ad hoc.

Componente Teórica

Arquitecturas de comunicação. A arquitectura IP. A Internet hoje (sistemas autónomos, redes-espinha, fornecedores de serviço). O endereçamento na Internet. Protocolos interiores: RIP; OSPF. Protocolos exteriores: BGP. MPLS. Serviços integrados e serviços diferenciados. Engenharia de tráfego. IP Multicast. IP móvel. Encaminhamento em redes ad hoc.

Componente Teórico-prática

Configuração de componentes de rede (máquinas, comutadores, encaminhadores).

C. Huitema, Routing in the Internet, second edition Prentice-Hall 2000

Jeff Doyle, Routing TCP/IP, Volume I (CCIE Professional Development), Cisco Press.
Jeff Doyle and Jennifer Carroll, Routing TCP/IP, Volume II (CCIE Professional Development), Cisco Press.

Exame e Trabalhos

Português ou Inglês

Dep. de Informática

• Redes de Computadores

425135

QS

SI

No final deste curso os alunos deverão conseguir:
Caracterizar qualidade em software de um modo objectivo (modelos e métricas), conhecer as componentes de um sistema de gestão da qualidade (SGQ) e compreender as principais técnicas de controlo de qualidade de software, com especial ênfase nas normas existentes para assegurar a qualidade em processos de desenvolvimento de software (CMM, ISO 9001 e ISO/IEC 15504).

Componente Teórica

Os objectivos e princípios associados à gestão da qualidade
Factores da qualidade de software: modelos McCall and ISO/IEC 9126
Componentes de um sistema de gestão da qualidade
Componentes pré-projecto
Componentes no ciclo de vida do projecto
Componentes de infraestrutura
Componentes de gestão
Componente humana
Normas e sistemas de certificação. Processo de acreditação e certificação. Organismos envolvidos no desenvolvimento de normas. Normas que contribuem para a SQA: ISO 9001, CMM, ISO/IEC 15504, IEEE/EIA 12207, PSP
Casos de estudo
Seminários com casos reais da indústria

Componente Teórico-prática

Personal Software Process: objectivos e motivação; missão do profissional de software; processo genérico de melhoria de qualidade.
Gestão de tempo;
Planeamento de produto e de período;
Planeamento de produto e registos de tarefas.
Métricas no planeamento de produto;
Gestão de tempo;
Planeamento do tempo disponível;
Gestão de compromissos;

Daniel Galin, Software Quality Assurance, Addison Wesley, 2004, ISBN 0201709457.
Watts Humphrey, Introduction to the Personal Software Process,
Addison Wesley, 1997, ISBN 0201548097.

Sami Zahran, Software Process Improvement: Practical Guidelines for Business Success, Addison Wesley, 1998, ISBN n.º 020117782X.
Stephen H. Kan, Metrics and Models in Software Quality Engineering, Addison Wesley, 1995, ISBN n.º 0201633396.
Mark Paulk, Charles Weber e outros, The Capability Maturity Model: Guidelines for Improving the Software Process, Addison Wesley, 1995, ISBN n.º 0201546647.

As aulas teóricas são usadas para exposição e discussão da matéria, após um período de leitura da matéria por parte dos alunos (artigos ou excertos de capítulos).
As aulas teóricas são usadas também para exposição de casos reais atarvés de seminários com convidados da indústria de software.
As aulas teórico-práticas são usadas para o estudo dos processos individuais de melhoria de qualidade no desenvolvimento de software.
Os alunos realizarão ainda um projecto sobre um tema relacionado com a disciplina.

projecto (50%) + questões de aula/exame (30%) + PSP (20%)

Português

Dep. de Informática

• Projecto de Sistemas de Informação

425136

RPM

SI

Dotar os alunos de meios para a abordagem de problemas que envolvem grande quantidade de dados não anotados, com particular enfâse para os sinais de audio, imagem e vídeo.

Componente Teórica

Extracção de características.
Métodos de classificação supervisionada e não supervisionada, paramétricos e não paramétricos.
Classificação de sequências.
Avaliação do desempenho.

Componente Teórico-prática

Laboratórios:
Extracção de características.
Métodos de classificação supervisionada e não supervisionada, paramétricos e não paramétricos.
Classificação de sequências.
Avaliação do desempenho.

Componente Prática

projecto

Pattern Classification, Second Edition, R. Duda, P. Hart, D. Stork, John Wiley & Sons (October 2000).

Reconhecimento de Padrões: Métodos Estatísticos e Neuronais, Jorge Salvador Marques, IST PRESS, (1999).
* An introduction to MCMC for machine learning, C. Andrieu, N. de Freitas, A. Doucet, and M. I. Jordan, Machine Learning, vol. 50, pp. 5--43, (Jan. - Feb. 2003).
* Statistical Pattern Recognition, 2nd Edition Andrew R. Webb, John Wiley & Sons; 2 edition (October 15, 2002).
* Pattern Recognition in Speech and Language Processing, Wu Chou, CRC Press (February 26, 2003).

Aulas teóricas.
Discussão de fases do projecto.
Labs

projecto

Português ou inglês

Dep. de Informática

Nenhuma

425137

RSF

SI

Explorar a interacção pessoa-máquina com recurso ao áudio, com ênfase no processamento de fala. Propõe-se uma exposição de um modelo conceptual que permita ao aluno compreender as expectativas e limitações das tecnologias de processamento da fala e, paralelamente, estudar as suas múltiplas aplicações nos sistemas de informação.

Componente Teórica

1. Níveis de representação da fala (acústico, fonético, fonológico, morfológico, sintáctico, semântico e pragmático).
   # Mecanismos de produção, audição e percepção.
   # Algoritmos fundamentais de processamento de fala.
   # Sistemas de codificação.
   # Síntese.
   # Reconhecimento.
   # Sistemas de diálogo.
   # Avaliação de sistemas de processamento de fala.
   # Exploração do universo de aplicações.
   # Utilização de sistemas baseados em VoiceXML.

Componente Teórico-prática

Avaliação de sistemas de processamento de fala.
Utilização de sistemas baseados em VoiceXML.

Componente Prática

projecto

Livro: X. Huang, A. Acero, H. Hon (2001), Spoken Language Processing: A Guide to Theory, Algorithm and System Development (Prentice-Hall).

Acetatos das aulas teóricas
Guias das aulas de laboratório

aulas teóricas + discussão de fases do projecto + Laboratórios

Projecto

Português ou Inglês

Dep. de Informática

Nenhuma

425138

RPT

SI

Ensino aprofundado dos métodos mais importantes usados em Recuperação de Informação (Information Retrieval). e de prospecção de texto (Text Mining). A disciplina destina-se primariamente a alunos de 3º ciclo (doutoramento) em Informática.

Componente Teórica

1. Os textos essenciais e os próximos desafios em RPT.
2. Recuperação de Informação: modelos, avaliação e sistemas.
3. Reformulação de interrogações
4. Interfaces e visualização em RI
5. Indexação e compressão de textos
6. RI em ambientes paralelos e distribuídos
7. Web: caracterização, recolha e arquivo; ranking
8. Recuperação de documentos estruturados e documentos multimédia
9. Extracção de informação. Construção de tesauros e ontologias.
10. Classificação e agrupamento de documentos
11. Sistemas de recomendação
12. Análise de sentimentos
13. Resposta a perguntas

Componente Teórico-prática

Colectânea de artigos científicos seleccionados pelo responsável pela disciplina.

Christopher D. Manning, Prabhakar Raghavan and Hinrich Schütze, Introduction to Information Retrieval, Cambridge University Press. 2007.

Ronen Feldman, James Sanger. The Text Mining Handbook: Advanced Approaches in Analyzing Unstructured Data, Cambridge University Press. 2007

Elaboração e apresentação de três recensões sobre artigos científicos sobre 3 temas distintos do curso. As recensões serão apresentadas nas aulas práticas, ao longo do semestre. A nota final incide sobre as recensões (participação+apresentações+textos) + teste final. Cada elemento a entregar conta 25%.

Português ou Inglês

Dep. de Informática

Nenhuma

425139

RA

OSC

Com esta disciplina pretende-se que os alunos adquiram conhecimentos na área das redes sem fios e das redes móveis que lhes permitam identificar os principais desafios e oportunidades apresentados por estas redes. Apesar de serem apresentadas as principais características do nível físico das redes sem fios, esta disciplina foca-se nos protocolos de acesso múltiplo e nos protocolos dos níveis rede e transporte.

Componente Teórica

Caracterização do meio físico. Protocolos de acesso múltiplo. Redes locais sem fios (IEEE 802.11). Redes pessoais sem fios (IEEE 802.15). Redes metropolitanas sem fios. Redes celulares. Comunicação por satélite. Internet sem fios: IP móvel e TCP. Redes ad-hoc. Segurança.

Componente Teórico-prática

Trabalho de avaliação das áreas de cobertura em redes sem fios.
Desenvolvimento protótipos de aplicações em redes ad-hoc.

William Stallings. Wireless Communications and Networks, 2nd Edition, Prentice Hall, 2004.
C.Siva Ram Murthy and B.S.Manoj. Ad Hoc Wireless Networks - Architectures and Protocols, Prentice Hall, 2004.

Exame e trabalhos

Português ou Inglês

Dep. de Informática

• Redes de Computadores

425140

RN

MC

Apreensão dos conceitos básicos das Redes Neuronais e dos principais modelos existentes. Esta apreensão deve traduzir-se quer no conhecimento dos conceitos teóricos e condições de aplicação quer na demonstração de capacidades de utilização e configuração de ferramentas de redes neuronais para a resolução de casos práticos.

Componente Teórica

Conceitos básicos - modelos de neurónio biológico e artificial. Processos de Aprendizagem. Perceptrão simples. Perceptrão multi-camada e algoritmo de retro-propagação. Redes de Função de Base Radial. Máquinas de Vector de Suporte. Máquinas compostas. Mapas Auto-Organizados. Modelos Estocásticos. Processamento temporal. Redes com realimentação. Neurónios de resposta impulsiva.

Componente Teórico-prática

Resolução de pequenos problemas e de trabalhos com ferramentas de RNs

Componente Prática

não aplicável

Simon Haykin, Neural Networks - a comprehensive foundation, 2nd edition, Prentice-Hall, 1999
W. Gerstner, W. M. Kistler, Spiking Neuron Models, Cambridge University Press 2002.

software de RN e respectivos manuais

Aulas teóricas para exposição da matéria; Aulas teórico-práticas de acompanhamento de trabalhos dirigidos; Trabalho autónomo, fora das aulas

Trabalhos dirigidos (feitos nas T/P) + Trabalho autónomo + Exame

Português ou Inglês, caso necessário

Dep. de Informática

Nenhuma

425141

SeS

OSC

O número de ataques informáticos registados nos últimos anos tem tido um crescimento aproximadamente exponencial (v. CERT). Sob o ponto de vista da integridade dos sistemas e da confidencialidade dos dados é cada vez mais claro que o elo fraco é a segurança do computador, não a segurança da comunicação (v. The Inevitability of Failure...). Por exemplo, a comunicação de algumas aplicações de comércio electrónico ou homebanking é eficazmente protegida pelo protocolo SSL enquando as máquinas dos clientes são atacadas por worms que roubam as passwords de acesso (por ex., o Bugbear).

O tema desta disciplina é a segurança da máquina, nomeadamente do seu software, por contraposição à segurança da rede/comunicação. A cadeira pretende abordar os principais temas necessários para compreender o problema, incluindo também a discussão de alguns tópicos mais avançados que se encontram actualmente no domínio da investigação.

Componente Teórica

Projecto de software seguro; auditoria de segurança; problemas de segurança de software (buffer overflow, race conditions, confiança nas entradas), segurança de software criptográfico, passwords, segurança de bases de dados, segurança do lado do cliente.

Componente Teórico-prática

Projecto de software seguro; auditoria de segurança; problemas de segurança de software (buffer overflow, race conditions, confiança nas entradas), segurança de software criptográfico, passwords, segurança de bases de dados, segurança do lado do cliente.

• J. Viega, G. McGraw, Building Secure Software, Addison-Wesley, 2002.
  * M. Howard, D. LeBlanc, Writing Secure Code, 2nd edition, Microsoft Press, 2003.
  

• C. Pfleeger, S. L. Pfleeger, Security in Computing, 3rd ed., Prentice Hall, 2003.
  * M. Dowd, J. McDonald J. Schuh, The Art of Software Security Assessment: Identifying and Preventing Software Vulnerabilities, Addison-Wesley, 2006.
  * C. Wysopal, L. Nelson, D. Zovi, E. Dustin, The Art of Software Security Testing, Addison-Wesley, 2006.
  * B. Chess, J. West, Secure Programming with Static Analysis, Addison-Wesley, 2007.
  * G. Hoglund, G. McGraw, Exploiting Software: How to Break Code, Addison-Wesley, 2004.
  * M. Gasser, Building a Secure Computer System, Van Nostrand Reinhold, 1988.
  * S. Garfinkel, G. Spafford, A. Schwartz, Practical Unix & Internet Security, 3rd ed., O'Reilly, 2003.
  * David A. Wheeler, Secure Programming for Linux and Unix HOWTO, v3.010, 3 March 2003
  * P. Maher and A. Mackman, The Developer Highway Code. Microsoft Corp, 2006.
  * D. Bovet, M. Cesati, Understanding the Linux Kernel, 1st ed., O’Reilly, 2000
  * OWASP Foundation. OWASP Top 10 - the ten most critical web application security vulnerabilities (2007 update). 2007
  

• (10%) Através de 5 exercícios (tipo TPC) a serem publicados quinzenalmente ao longo do semestre e entregues na aula teórica na semana seguinte. Existe um 6º TPC virtual cuja nota depende do número de TPCs entregues. Cada TPC entregue soma 4 valores à nota do TPC virtual. A nota final desta componente de avaliação corresponde à média dos 6 TPCs.
  * (40%) Pelas impressões do professor nas aulas teórico-práticas e a apreciação e discussão individual dos resultados e relatórios dos projectos;
  * Notas publicadas após a conclusão de todas as discussões, por questões de harmonização de critérios.
  * (50%) Exame final.

Português ou Inglês

Dep. de Informática

Nenhuma

425143

SS

MC

Estabelecer contacto com ferramentas e metodologias orientadas para a simulação de sistemas com múltiplos agentes, heterogéneos e autónomos; instalar bancadas e desenvolver projectos de simulação social; colocar problemas e reunir os meios para os atacar; adquirir práticas de experimentação científica orientada pela exploração; contactar com a realidade das ciências sociais e estabelecer paralelos com a inteligência artificial

Componente Teórica

Colocação dos agentes no seu contexto, permitindo uma abordagem mais realista da complexidade associada à dinâmica das interacções. O computador como ferramenta e a simulação exploratória como metodologia que permitem ao cientista social testar modelos, ensaiar experiências, colocar hipóteses, descobrir novas conjecturas.

Sistemas Multiagente: decisão e racionalidade; autonomia; especificação de agentes e sociedades; desenvolvimento de programas e experimentação.

Noções de Ciências Sociais: objecto e metodologias; técnicas de análise de dados e resultados experimentais; simulação e empirismo; simulação computacional.

Metodologias de trabalho experimental: a simulação exploratória como outra forma de fazer ciência; problemas metodológicos na análise de resultados; metáforas e conjecturas como objectos científicos.

Componente Teórico-prática

Desenvolvimento de pequenas experiências: desenvolvimento de programas e utilização de bancadas de simulação; análise crítica dos resultados; confrontação com resultados empíricos

Nigel Gilbert and Klaus Troitzsch (1999). Simulation for the Social Scientist. Open University Press, UK.

Vanessa Stevens Collella, Eric Klopfer and Mitchell Resnick, Adventures in Modeling. Teachers College Press, New York, USA.

Português ou Inglês

Dep. de Informática

Nenhuma

425145

SII

OSC

Pretende-se com esta cadeira que o aluno adquira uma formação sobre os problemas específicos dos sistemas informáticos em ambientes industriais, com especial ênfase nos modelos de computação distribuída em tempo-real e na problemática dos sistemas de informação e gestão industriais. Os aspectos arquitecturais, a especificidade das bases de dados dedicadas ao processo e as aplicações típicas dos ambientes fabris serão algumas das questões abordadas

Componente Teórica

1) Paradigmas para Ambientes Industriais: fundamentos da confiabilidade e do tempo-real; ordem e tempo em sistemas de tempo-real; comunicação fiável em tempo-real; escalonamento; sincronização de relógios; observação e actuação; modelos de sistemas tempo-real; repositórios activos e de tempo-real; modelos com qualidade de serviço e adaptativos; 2) Tecnologias e Arquitecturas: sistemas embebidos; núcleos multitarefa tempo-real; mecatrónica, sensores e actuadores; redes industriais e de instrumentação; protocolos industriais ; sistemas SCADA; 3) Modelos para Ambientes Industriais: modelos de CIM; modelos de gestão da produção, controlo da qualidade e gestão da manutenção; 4) Estudo de Casos.

Componente Teórico-prática

1) Sistemas e ambientes industriais:
- redes de instrumentação--- CAN, FIP
- sistemas multitarefa tempo-real--- RTAI, RTEMS
- sistemas SCADA--- LabView

2) Trabalhos de Laboratório
- Estão previstos 2 trabalhos de laboratório. O primeiro será feito usando o sistema multitarefa tempo-real RTAI e o segundo será sobre um sistema SCADA.

- P. Veríssimo and L. Rodrigues, Distributed Systems for System Architects, Kluwer Academic Publishers, 2001.

- H. Kopetz, Real-Time Systems, Kluwer Academic Publishers, 1997.
- Distributed Systems, 2nd Ed., Sape Mullender Ed., Addison-Wesley, 1993

Português ou Inglês

Dep. de Informática

Nenhuma

425146

SMA

MC

Agentes, uma metáfora da computação como interacção. Simulação de agentes no ataque à complexidade. Tecnologias, ferramentas e técnicas: nível organizacional, auto-organização e complexidade, confiança e reputação, coordenação, negociação e comunicação, modelos e arquitecturas de agentes, infra-estruturas e oficinas, engenharia da programação baseada em agentes, métodos formais e interfaces. Instituições e comunidades electrónicas. Aplicações actuais e emergentes: sistemas autónomos, semantic web, ambientes inteligentes, computação orientada aos serviços na Internet, computação em grelha, computação peer-to-peer.

Componente Teórica

Apresentação da disciplina no contexto das Ciências da Computação e da Complexidade: Sistemas Multi-Agente (SMA). Situação na Inteligência Artificial (IA): IA Distribuída e Computação Baseada em Agentes. Panorâmica global da área. Programação das aulas. Método de ensino, aprendizagem e avaliação. Referências. {FCUL: ICC, C3, LabMAg e GIA}.

Noções nucleares. Dimensões de um agente. Propriedades dos agentes. Modo de estudo da SMA. Exemplo de um seminário (como ler um artigo).

Teorias dinâmicas e estáticas dos agentes. Exemplo da teoria de (Corrêa e Coelho, 1998).

Modelos e Arquitecturas dos agentes. Exemplos de trabalhos do GIA/FCUL: ambientes de aprendizagem (Eusébio, 1995) e bancadas de desenvolvimento de (Moniz, 1993) e (Fernandes, 1993).

Aspectos sociais e Sistemas Multi-Agente. Exemplo de uma bancada para experimentação social (David, 1998).

Emoções em agentes, linha de I&DE dirigida pela professora Graça Gaspar.

Demonstrações. RoboSoccer: Campeonato do Mundo e campeonatos nacionais e regionais.

Rede de Excelência Europeia AgentLink. Panorâmica sobre os 5 SIGs. Transferência tecnológica da universidade para a indústria. Modo de avaliação de um artigo científico.

Simulação social em impostos com NetLogo pelo professor João Balsa.

Aplicações tecnológicas: situação actual e tendências futuras. Seminário baseado em leitura de artigos e consulta a outras fontes (WWW).

Aplicações tecnológicas: situação actual e tendências futuras. Seminário baseado em leitura de artigos e consulta a outras fontes (WWW).

Aplicações tecnológicas: situação actual e tendências futuras. Seminário baseado em leitura de artigos e consulta a outras fontes (WWW).

Aplicações tecnológicas: situação actual e tendências futuras. Seminário baseado em leitura de artigos e consulta a outras fontes (WWW).

Aplicações tecnológicas: situação actual e tendências futuras. Seminário baseado em leitura de artigos e consulta a outras fontes (WWW).

Componente Teórico-prática

Componente Prática

Ambientes para suporte a multiagentes. Bancadas restritivas e bancadas abertas. Agentes homogeneos. Exemplos de aplicação(Einstein, NetLogo).
Exercício prático utilizando o NetLogo. Construção de Agentes baseados em comportamentos.
Bancadas para suporte a agentes heterogeneos e mais complexos. Exemplos com Aglets e OAA.
Exercício prático utilizando o OAA. Agentes cognitivos. Comunicação entre agente com base em KQML/ICL/ACL.
Exercício com OAA. Manipulação de estados mentais dos agentes. Construção de agentes com base nas arquiotecturas do Milton ou Nilsson.
A plataforma JADE e a compatibilidade FIPA. Pequenos exemplos de funcionamento.
Exercícios com JADE. Construção de uma aplicação de agentes distribuida.
Exercícios com JADE. Mobilidade e agentes na Net. Agentes no mundo real.
Recurso a agentes como componentes de controle de outras entidades em sistemas externos. Exemplo de Player/Stage e Jogos.
Exercícios com agentes no mundo real. Construção de agentes para controlo de robos reais e simulados.
Simulação em grande escala. Competição entre agentes. Desempenho versus arquitecturas. Exemplos com MicroRato, Robosoccer e RoboRescue.
Exercícico recorrendo a um sistema de simulação.
Metodologias de desenvolvimento de software baseado em agentes.

Bradshaw, J. M. (ed.) - Software Agents, AAAI Press/The MIT Press, 1998.

Brenner, W., Zarnekow, R. e Wittig, H. - Intelligent Software Agents, Foundations and Applications, Springer-Verlag, 1998.

Coelho, H. - Inteligência Artificial em 25 Lições, Fundação Calouste Gulbenkian, 1995.

Coelho, H. e Paiva, A. - A Mente e o Mundo lá Fora, Introdução à Inteligência Artificial Distribuída, Edição dos Autores, 1998 (em preparação).

Ferber, J. - Les Systèmes Multi-Agents, Vers une Intelligence Collective, InterEditions, 1995.

Gilbert, D. et al. - The Role of Intelligent Agents in the Information Infrastructure, IBM, 1995. {http://activist.gpl.ibm.com:81/WhitePaper/ptc2.htm}

Green, S. e Hurst, L. - Software Agents: A Review, {http://www.cs.tcd.ie/research_group/aig/iag/}

Huhns, M. N. e Singh, M. P. - Readings in Agents, Morgan Kaufmann, 1998.

Jennings, N. R. - Cooperation in Industrial Multi-Agent Systems, World Scientific, 1994.

Jennings, N. R. e Wooldridge, M. - Agent Technology, Foundations, Applications and Markets, Springer-Verlag, 1998.

Labrou, Y. e Finn, T. - A Proposal for a new KQML Specification, Technical Report CS-97-03, February 1997. {http://www.cs.umbc.edu/kqml/}

Müller, J. P. - The design of Intelligent Agents, Springer-Verlag, 1997.

Nilsson, N. - Artificial Intelligence, A New Synthesis, Morgan Kaufmann, 1998.

O’Hare, G. M. P. e Jennings, N. R. - Foundations of Distributed Artificial Intelligence, John Wiley, 1996.

Russell, S. e Norvig, P. - Artificial Intelligence, a Modern Approach, Prentice-Hall, 1995.

Tecuci, G. - Building Intelligent Agents, An Apprenticeship Multistrategy Learning Theory, Methodology, Tool and Case Studies, Academic Press, 1998.

Wooldridge, M. – An Introduction to Multiagent Systems, John Wiley, 2002.

Prova escrita individual
Projecto de desenvolvimento
Participação e Presenças

Português ou Inglês

Dep. de Informática

• Introdução à Inteligência Artificial

425147

SST

SI

Componente Teórica

Componente Teórico-prática

Dep. de Informática

Nenhuma

425149

SF

CTP

Pretende-se que o aluno fique a conhecer as principais técnicas sistemáticas (métodos formais) e ferramentas que, correntemente, podem ser usadas no processo de desenvolvimento de software de forma a aumentar a fiabilidade dos sistemas desenvolvidos. A ênfase será essencialmente em instrumentos que permitem verificar a correcção dos sistemas desenvolvidos relativamente aos requisitos para os quais foram concebidos. Pretende-se ainda que o aluno seja capaz de utilizar, de forma efectiva e eficente, pelo menos uma ferramenta de verificação

Componente Teórica

Diferentes abordagens à Modelação de Sistemas (sequenciais, concorrentes, reactivos). Diferentes paradigmas de Especificação Formal. Métodos de Verificação automática de modelos (Model Checking). Métodos para a extracção automática de modelos. Métodos de Verificação deductiva. Métodos de Verificação baseados na Análise Estática

Componente Teórico-prática

Doron Peled, Software Reliability Methods, Springer-Verlag, 2001.
Gerard Holzmann, Spin Model Checker: Primer and Reference Manual, Addison Wesley, 2003

Português ou Inglês

Dep. de Informática

Nenhuma

425152

TBD

SI

A disciplina tem como objectivo apresentar os conceitos e tecnologias que constituem as fundações dos sistemas de
gestão de bases de dados, incidindo nos sistemas de gestão de bases de dados relacionais. Os sistemas de bases de dados são dos mais complexos e abrangentes da Informática. Muitas das técnicas utilizadas são largamente empregues no desenvolvimento de muitos outros sistemas e aplicações. Ao fazer uma dissecação dos sistemas
de bases de dados modernos, o curso ilustra o seu funcionamento à luz das noções adquiridas nas disciplinas básicas da formação em informática, desde a lógica e algoritmos aos sistemas operativos e engenharia da programação.

Componente Teórica

Organização física dos dados e métodos de acesso.
Processamento de interrogações sua optimização.
Conceitos de transacção, controlo de concorrência, integridade e recuperação.
Segurança da informação em sistemas de bases de dados.
Arquitectura e metodologias de realização de aplicações cliente-servidor.
Afinação do desempenho.
dados distribuídas e paralelas.

Componente Teórico-prática

Raghu Ramakrishan e Gehrke J., Database Management Systems, McGraw-Hill, 3ª edição, ISBN 0072465638

[Gray] Jim Gray e Andreas Reuter, Transaction Processing: Concepts and Techniques, Morgan Kaufmann, 1993, ISBN 1558601902;
[Steven] Steven Feuerstein, Oracle PL/SQL Programming, O'Reilly, 3ª edição, 2002, ISBN 0596003811;
[Gurry] Mark Gurry e Peter Corrigan, Oracle Performance Tuning, O'Reilly, 2ª edição, 1996, ISBN 1565922379;
[Navathe] Shamkant B. Navathe e Ramez E. Elmasri, Fundamentals of Database Systems, Addison Wesley, 3ª edição, 1999, ISBN 0201542633;
[Melton] Jim Melton e Alan R. Simon, Understanding the New SQL: a Complete Guide, Morgan Kaufmann, 1992, ISBN 1558602453;

Um servidor de base de dados genérico é dissecado ao longo do semestre nas aulas teóricas.

Nas aulas práticas, constrói-se e afina-se o desempenho de uma aplicação desenvolvida pelos alunos para uma carga prédefinida.

Projecto (35%) + 2 testes (27,5% + 27,5%) + participação (10%)

ou


Projecto (35%) + exame (55%) + participação (10%)

Português ou Inglês

Dep. de Informática

Nenhuma

425153

TM

OSC

O Middleware é a designação genérica utilizada para referir os sistemas de software que se executam entre as aplicações e os sistemas operativos. O objectivo do Middleware é facilitar o desenvolvimento de aplicações, tipicamente aplicações distribuídas, assim como facilitar a integração de sistemas legados ou desenvolvidos de forma não integrada.

A cadeira apresenta diferentes algoritmos, protocolos e plataformas que têm vindo a ser utilizados ao nível do middleware. São cobertas tecnologias para diferentes tipos de aplicações (ponto-a-ponto, difusão ou difusão selectiva) e em ambientes de execução diversos (redes fixas, móveis e híbridas).

Componente Teórica

Estudo de diferentes tecnologias de middleware como redes entre pares, tabelas de dispersão distribuídas, difusão epidémica, plataformas de suporte à composição, publicador-subscritor, descoberta de serviços e web services. Sempre que possível, será discutida a problemática de cada uma destas tecnologias para redes fixas e móveis.

Componente Teórico-prática

Estudo de plataformas de middleware concretas. Desenvolvimento de aplicações utilizando tecnologias de middleware.

Artigos e capítulos de livros disponibilizados pelo docente na página web da cadeira.

Aulas teóricas: exposição de matéria da cadeira utilizando preferencialmente o método interrogativo. Apresentações de alunos de artigos seleccionados.
Aulas teórico-práticas: método interactivo, com recurso ao estudo de documentação e experimentação laboratorial.

Apresentação dos alunos, projecto de desenvolvimento de protótipo utilizando plataforma de desenvolvimento e exame final.

A cadeira é leccionada em Inglês caso estejam inscritos alunos que não dominem a língua portuguesa. Caso contrário é leccionado em português

Dep. de Informática

Nenhuma

425154

TS

OSC

Esta cadeira aborda um conjunto de tópicos avançados relacionados com o desenvolvimento de sistemas distribuídos seguros.

Hoje em dia, num mercado globalizado, as organizações e indivíduos necessitam de estar interligados pela Internet, de maneira a que seja possível fornecer informação e serviços aos utilizadores, criar relações entre parceiros e fazer negócios. Neste ambiente aberto, vários tipos de ameaças existem, executadas por diversos tipos de indíviudos.

A disciplina vai focar tecnologias e soluções actuais para a concretização de sistemas distribuídos capazes de conduzir operações seguras neste ambiente potencialmente adverso.

Componente Teórica

1. Algoritmos de criptografia simétrica e assimétrica & algoritmos de hashing (AES,DES,MD5,RSA)
   # Mecanismos e formas de autenticação (Kerberos, RADIUS)
   # Infra-estrutura de chave pública (PKI)
   # Comunicação segura em sistemas abertos (IPsec, SSL/TLS, S/http, IEEE 802.11 e Bluetooth);
   # Correio electrónico seguro (Secure MIME, PGP)
   # Transacções eletrónicas seguras (SET, E-Cash, Millicent)
   # Arquitecturas seguras e seus componentes: Sistemas de detecção de intrusões, Programas maliciosos e sistemas de detecção de vírus

Componente Teórico-prática

1. Algoritmos de criptografia simétrica e assimétrica & algoritmos de hashing (AES,DES,MD5,RSA)
   # Mecanismos e formas de autenticação (Kerberos, RADIUS)
   # Infra-estrutura de chave pública (PKI)
   # Comunicação segura em sistemas abertos (IPsec, SSL/TLS, S/http, IEEE 802.11 e Bluetooth);
   # Correio electrónico seguro (Secure MIME, PGP)
   # Transacções eletrónicas seguras (SET, E-Cash, Millicent)
   # Arquitecturas seguras e seus componentes: Sistemas de detecção de intrusões, Programas maliciosos e sistemas de detecção de vírus

1. W. Stallings, Cryptography and Network Security, Principles and Practice (Fourth Edition), Prentice Hall, November 2005
   # D. R. Stinson, Cryptography, Theory and Practice (Third Edition), Chapman & Hall/CRC, 2006
   # C. Kaufman, R. Perlman, M. Speciner, Network Security: Private Communication in a Public World (Second Edition), Prentice Hall, April, 2002.

1. B. Schneier, Applied Cryptography (Second Edition), John Wiley & Sons, 1996
   # C. Adams, S. Lloyd, Understanding Public-Key Infrastructure: Concepts, Standards, and Deployment Considerations (Second Edition), MacMillan Technical Publishing, November, 2002
   # D. O´Mahony, M. Peirce, H. Tewari, Electronic Payment Systems for E-Commerce (Second Edition), Artech House Computer Security Series, 2001
   # S. Northcutt, Network Intrusion Detection: An Analyst’s Handbook, New Riders Publishing, 1999
   # S. Northcutt et al, Inside Network Perimeter Security, News Riders Publishing, 2003

• (10%) Através de 5 exercícios (tipo TPC) a serem publicados quinzenalmente ao longo do semestre e entregues na aula teórica na semana seguinte. Existe um 6º TPC virtual cuja nota depende do número de TPCs entregues. Cada TPC entregue soma 4 valores à nota do TPC virtual. A nota final desta componente de avaliação corresponde à média dos 6 TPCs.
  
  * (40%) Pelas impressões do professor nas aulas teórico-práticas e a apreciação e discussão individual dos resultados e relatórios dos projectos;
  * Notas publicadas após a conclusão de todas as discussões, por questões de harmonização de critérios.
  
  * (50%) Exame final.
  

Português ou Inglês

Dep. de Informática

• Segurança Informática

425156

TISD

CTP

Apreensão dos conceitos básicos de Teoria da Informação. O aluno deverá ser capaz de aplicar os conceitos da Teoria da Informação ao processamento eficiente de mensagens e ficheiros. Deve familiarizar-se com a sua aplicação, nomeadamente em algoritmos de compressão de dados, correcção de erros, criptografia, capacidade de canal e indução de árvores de decisão.

Componente Teórica

Os conceitos de entropia e informação mútua. Codificação e suas aplicações à compressão de mensagens. Fontes com memória; Ritmo de entropia de processos de Markov; compressão de dicionário. Capacidade de um canal; redundância; transmissão de informação em sistemas com falhas; códigos correctores de erros. Teoria da Informação e criptografia. Códigos de compressão não restauradores. Aplicação do Teoria da Informação à aprendizagem automática. Probabilidade da equipartição assimptótica. Entropia diferencial.

Componente Teórico-prática

Aulas teóricas

Componente Prática

Problemas teóricos em aulas. Trabalhos em computador, extra aulas

T. Cover and J. Thomas, Elements of Information Theory, Wiley, 1991.

Khalid Sayood. Introduction to Data Compression, Second Edition. Morgan Kaufmann, 2000.
Robert H. Morelos-Zaragoza. The Art of Error Correcting Coding, John Wiley, 2002.

Português ou Inglês

Dep. de Informática

Nenhuma

425157

TFD

OSC

A utilização crescente dos sistemas distribuídos numa multitude de áreas de actividade (vide o exemplo das aplicações sobre a Internet) levanta duas questões: i)o maior número de componentes do sistema requer preocupação com a sua fiabilidade; ii) a distribuição geográfica oferece possibilidades atraentes de replicar componentes em diversas máquinas.
Esta cadeira introduz a área da tolerância a faltas distribuída, que tira partido da existência de um conjunto de máquinas interligadas em rede, para replicar componentes de software nessas máquinas de modo mais versátil e menos dispendioso do que utilizando sistemas da hardware dedicado. Assim, serão abordados conceitos, metodologias e mecanismos (técnicas de programação, protocolos) para a construção de sistemas confiáveis (i.e. cuja probabilidade de falha é muito menor que a de um sistema "normal") em rede.

Componente Teórica

Abstracções básicas de sistemas distribuídos. Conceito de processo, computação distribuída, canal de comunicação e abstracções temporais. Modelos de sistemas distribuídos. Algoritmos de difusão fiável. Algoritmos de memória partilhada. Acordo distribuído e aplicações.

Componente Teórico-prática

Desenvolvimento de aplicações tolerantes a faltas utilizando plataformas de suporte. Aplicações práticas e desenvolvimento de variantes dos algoritmos estudados nas aulas teóricas.

Introduction to Reliable Distributed Programming
Guerraoui, Rachid, Rodrigues, Luís
2006. ISBN: 978-3-540-28845-9

Manuais da moldura de suporte ao desenvolvimento de aplicações tolerantes a faltas Appia. Guiões das aulas teórico-práticas dispnibilizados na página web.

Aulas teóricas: método predominantemente expositivo e interrogativo, estimulando o envolvimento dos alunos na elaboração de algoritmos que resolvam os problemas apresentados nas aulas.
Aulas teórico-práticas: método predominantemente interactivo, onde os alunos propõem a resolução de exercícios apresentados pelo docente. Aplicação prática por trabalho de laboratório.

Exame final que avalia a componente teórica. A análise crítica é estimulada solicitando aos alunos que avaliem um relatório entregue pelos colegas. Desenvolvimento de uma aplicação tolerante a faltas.

A cadeira é leccionada em Inglês caso estejam inscritos alunos que não dominem a língua portuguesa. Caso contrário é leccionado em português

Dep. de Informática

Nenhuma

425048

TASI

SI

O aluno deverá desenvolver o seu conhecimento sobre um tópico específico da área de Sistemas de Informação. Esse tema será seleccionado pelo responsável da disciplina levando em consideração os diferentes interesses, quer do aluno, quer do corpo docente. Durante o semestre, um docente responsável pelo tema, acompanhará mais de perto a evolução do trabalho desenvolvido pelo aluno. Para além da capacidade de investigação e síntese, serão também desenvolvidas e avaliadas as competências de elaboração de relatórios escritos, bem como de apresentação oral do trabalho produzido.

Componente Teórica

Nesta disciplina não existem aulas teóricas.

Componente Teórico-prática

Nesta disciplina não existem aulas teórica-práticas.

Componente Prática

Nesta disciplina não existem aulas práticas.

Cada docente responsável por um tema fornecerá a bibliografia inicial para a condução do trabalho.
Each subject proposer professor will make available the required initial bibliography.

A disciplina funciona num regime tutorial, em que cada aluno é acompanhado por um docente responsável pelo tema do trabalho que está a ser desenvolvido.

O aluno é avaliado de acordo com a qualidade do documento final produzido, com a qualidade da apresentação oral realizada, e com a qualidade da sua participação nas apresentações dos seus colegas. O aluno será avaliado por três docentes, em que um deles será o que acompanhou o trabalho durante o semestre.

Português ou Inglês

Dep. de Informática

Nenhuma

425049

TASI2

SI

O aluno deverá desenvolver o seu conhecimento sobre um tópico específico da área de Sistemas de Informação. Esse tema será seleccionado pelo responsável da disciplina levando em consideração os diferentes interesses, quer do aluno, quer do corpo docente. Durante o semestre, um docente responsável pelo tema, acompanhará mais de perto a evolução do trabalho desenvolvido pelo aluno. Para além da capacidade de investigação e síntese, serão também desenvolvidas e avaliadas as competências de elaboração de relatórios escritos, bem como de apresentação oral do trabalho produzido.

Componente Teórica

Nesta disciplina não existem aulas teóricas.

Componente Teórico-prática

Nesta disciplina não existem aulas teóricas-práticas.

Componente Prática

Nesta disciplina não existem aulas práticas.

Cada docente responsável por um tema fornecerá a bibliografia inicial para a condução do trabalho.
Each subject proposer professor will make available the required initial bibliography.

A disciplina funciona num regime tutorial, em que cada aluno é acompanhado por um docente responsável pelo tema do trabalho que está a ser desenvolvido.

O aluno é avaliado de acordo com a qualidade do documento final produzido, com a qualidade da apresentação oral realizada, e com a qualidade da sua participação nas apresentações dos seus colegas. O aluno será avaliado por três docentes, em que um deles será o que acompanhou o trabalho durante o semestre.

Português ou Inglês

Dep. de Informática

Nenhuma

425158

TCO

SI

Esta disciplina pretende transmitir conhecimentos de carácter teórico e prático sobre a área científica e tecnológica designada por CSCW (Computer Supported Cooperative Work). O tipo de sistemas que é abordado incorpora e exercita noções fundamentais das áreas de sistemas distribuidos, sistemas multimédia e interacção humano-computador, pelo que se conseguem sinergias com outros temas da Licenciatura. A disciplina está organizada nos seguintes blocos temáticos: propriedades genéricas dos sistemas cooperativos, tecnologias de suporte, coordenação de tarefas, processos de trabalho e processos de decisão.

Componente Teórica

CSCW. Interacção em grupo. Partilha de informação. Arquitecturas cooperativas. Coordenação e Colaboração. Sistemas de fluxos de trabalho. Suporte a decisão. Suporte a Negociação. Reuniões electrónicas.

Componente Teórico-prática

Técnicas para Interfaces Multiutilizador. Sofware para Interacção em Grupo, Coordenação e Colaboração. Sistemas de Workflow, Tomada de decisão e Negociação em Grupo.

P. Antunes, Groupware: Conceitos Fundamentais e Caracterização dos Principais Blocos Construtivos, Faculdade de Ciências da Universidade de Lisboa, DI-FCUL-TR-02-16, 2002.
Michel Beaudoin-Lafon. Computer Supported Co-operative Work. Wiley, 1999.

S. Khoshafian, M. Buckiewicz. Introduction to Groupware, Workflow and Wourkgroup Computing, John Wiley & Sons, 1995.
U. Borghoff, J. Schlichter. Computer Supportted Cooperative Work. Springer, 2000.
I. Greif (ed.). Computer Supported Cooperative Work: A Book of Readings. Morgan Kaufmann Publishers Inc, 1988.
R. baecker (ed.), Readings in Groupware and CSCW, Morgan Kaufmann Publishers Inc, 1993.

Português ou Inglês

Dep. de Informática

• Interacção com Computadores

425159

VVS

CTP

Saber conceber, analisar, e executar planos de verificação e validação (V&V) de um projecto de software, incluindo o exame das condicionantes do projecto, o planeamento de uma estratégia de V&V que inclua uma selecção de diferentes técnicas, o acompanhamento do progresso da actividade de V&V, a avaliação da eficácia das técnicas utilizadas e do plano de V&V em geral.

Componente Teórica

1. Testing como uma actividade de engenharia
2. Panorâmica geral e fundamentos
3. Defeitos, hipóteses e testes
4. Análise da especificação e do software (caixa preta)
5. Análise do código e estruturais (caixa branca)
6. Níveis de teste
7. Objectivos, políticas, planos e documentação
8. Organização dos testes
9. Controle e monitorização do processo de teste
10. A inspecção como uma actividade de teste

Componente Teórico-prática

1. Testing como uma actividade de engenharia
2. Panorâmica geral e fundamentos
3. Defeitos, hipóteses e testes
4. Análise da especificação e do software (caixa preta)
5. Análise do código e estruturais (caixa branca)
6. Níveis de teste
7. Objectivos, políticas, planos e documentação
8. Organização dos testes
9. Controle e monitorização do processo de teste
10. A inspecção como uma actividade de teste

Practical Software Testing. Ilene Burnstein. Springer 2003. ISBN: 0-387-95131-8.

Software Testing, second edition. Ron Patton. Sams Publishing 2006. ISBN 0-672-32798-8

Três trabalhos práticos: 7,5 valores.
Exame: 12,5 valores

Português ou Inglês

Dep. de Informática

Nenhuma

425160

VA

MC

Aquisição de conhecimentos nas principais técnicas de processamento da informação baseadas em multi-componentes com propriedades emergentes, nomeadamente inspiradas em modelos de sistemas biológicos. Ganhar a capacidade de encarar modelos auto-organizados como uma solução para problemas complexos

Componente Teórica

Introdução à Vida Artificial e aos Sistemas Auto-Organizados. Sistemas Dinâmicos Complexos. Autómatos Celulares. Algoritmos Evolucionários. Redes Imunulógicas Artificiais. Algoritmos de Enxame. Simulação de Comportamento Adaptativo - Robôs Móveis, Multi-Agentes simples.
Outros tópicos – Vírus e minhocas, Sistemas de reescrita e Morfogénese, Química Algorítmica. Modelação Evolucionária de Sistemas Socio-Económicos

Componente Teórico-prática

não aplicável

Componente Prática

Problemas e discussão em aulas. Trabalho extra aula

Christopher Langton ed., Artificial Life: An Overview, MIT Press, 1995.
Mitchell, M., An Introduction to Genetic Algorithms, MIT Press, 1996.
R.C. Arkin, Behavior-Based Robotics, MIT Press, 1998
Leandro N. de Castro and Jonathan Timmis. Artificial Immune Systems: A New Computational Intelligence Approach, Springer, 2002
Correia, L., Vida Artificial, monografia, 2005

indicados elementos específicos para cada capítulo da cadeira

Exposição nas aulas teóricas.
Apresentação de demonstrações e discussão, nas aulas práticas.
Pequenos trabalhos de investigação sobre tópicos específicos, extra-aulas.

80% Trabalho final + 20% Teste relâmpago (20 perguntas em 20 minutos, escolha múltipla)

Português ou Inglês, conforme necessidades

Dep. de Informática

Nenhuma

425161

VIS

MC

Estudo dos fundamentos da visualização gráfica de informação, nas duas vertentes que tradicionalmente são consideradas: visualização de dados com referência espacial própria e visualização de informação abstracta. Através da componente prática, onde são utilizados vários programas, os alunos tomam contacto com diferentes abordagens ao desenvolvimento de ferramentas de visualização

Componente Teórica

Estruturas de dados para visualização. Grelhas e sua tipificação. Algoritmos para a visualização de dados escalares, vectoriais e tensoriais. Visualização de estruturas lineares e hierárquicas. Interfaces gráficas para selecção de informação. Selecção, zoom e simplificação de representações. Detalhe e visão de conjunto. Funções de grau de interesse

Componente Teórico-prática

Utilização dos programas Autocad Map 3D e Vtk em aulas de laboratório e em projectos de avaliação.

Will Schroeder, Ken Martin and Bill Lorensen, The Visualization Toolkit, 3rd edition, Kitware, 2004
S. Card, J. Mackinlay, B. Shneiderman, Readings in Information Visualization - Using Vision to think, Morgan Kaufmann, 1999
Robert Spence “Information Visualization: design for interaction”, 2007

guiões das aulas

Aulas presenciais em sala convencional e em laboratório.

Dois projectos e exame final ou 2 testes em alternativa ao exame

Português ou Inglês

Dep. de Informática

Nenhuma