CC5002 - ECTS This curricular unit, from the last year of the masters degree, has the goal to evaluate the capacity of student’s to perform autonomous, research-level work.

GES4001 - ECTS

The purpose of this course is to provide students with: 

• A global vision on organization’s management and an comprehensive knowledge on the major strategically issues that enterprises have to deal with; 
• An understanding of financial and economical analysis needed to evaluate financial and accounting reporting information; 
• The basic skills on entrepreneurship matters that may allow students to built their own business or financial project. 

DPI4001 - ECTS

Information technology plays a fundamental role in society today. It is, therefore, important to understand and reason about social and ethical issues that its use raises.

The main objectives of this course are:

• to induce among the students critical thinking about social and ethical questions raised by the use of computers and the Internet;
• to raise awarness for an ethical conduct, privacy and relevant legislation impacting their future profession;
• to contribute to improve their oral and written communication skills.

CC4010 - ECTS

Esta UC é dedicada ao desenho de algoritmos para problemas computacionais, e como raciocinar de forma clara sobre a sua correção e tempo de execução. O principal objectivo é dotar os alunos das ferramentas intelectuais necessárias para que sejam capazes de desenhar a analisar os seus próprios algoritmos para problemas que precisem de resolver no futuro.

CC4014 - ECTS

Dotar os estudantes do conhecimento teórico e prático dos modelos de computação orientados para arquiteturas paralelas e distribuídas. Será dada ênfase ao desenvolvimento de competências de programação para memória distribuída com o MPI, e de programação em memória partilhada com processos, threads e OpenMP.

CC4017 - ECTS

A criptografia evoluiu nas últimas décadas, de um mais ou menos obscuro ramo do conhecimento usado essencialmente por militares e espiões, para uma componente essencial das comunicações e escrita de software. Com a virtualização de um grande conjunto de actividades, foi necessário usar a criptografia para assegurar todo um conjunto de propriedades e garantias que as correspondentes transacções presenciais podiam assegurar de outra forma. Hoje, a criptografia desempenha por isso um papel essencial tanto nos protocolos da Internet como nos restantes sistemas de comunicações digitais.

Pretende-se assim:
1. Introduzir a problemática da segurança das redes e sistemas informáticos assim como o problema da segurança em geral.
2. Apresentar um conjunto suficientemente expressivo de protocolos criptográficos que permitam geralmente transcrever as actividades sociais do mundo físico para o suporte digital.
3. Estudo de alguns algoritmos criptográficos, suas aplicações e possíveis ataques.

CC4018 - ECTS

Esta disciplina tem como objetivos principais fazer uma introdução às principais metodologias de data science, e também fornecer conhecimentos sobre programação e sistemas utilizados para a análise de dados usando a linguagem R.

M4060 - ECTS

Pretende-se que os estudantes adquiram:
a) conhecimentos sobre a recolha organizada de informação
b) técnicas e modelos estatísticos comummente usados no tratamento de dados do âmbito da Ciência e da Engenharia, e saibam aplicá-los adequadamente em R/SPSS 
c) capacidade para saber escolher e aplicar as técnicas e modelos estatísticos aprendidos a problemas concretos
d) espírito crítico e capacidade de interpretação dos resultados obtidos por aplicação das técnicas e modelos estatísticos aprendidos.

 

CC4013 - ECTS

Estudo de modelos formais semânticos de linguagens de programação, de forma a compreender os mecanismos envolvidos na definição, desenho e implementação de linguagens de programação. 

CC4005 - ECTS

CC4001 - ECTS

Esta unidade curricular tem por objetivo geral introduzir os alunos aos documentos estruturados baseados no formalismo XML (eXtended Markup Language) e ao seu processamento.
Os objetivos específicos incluem o conhecimento dos conceitos e normas básicas deste formalismo, bem como as linguagens linguagens associadas às várias facetas do processamento de documentos, como: tipificação, formatação gráfica, transformação e semântica. Será também abordada a manipulação de dados em formato XML a partir de programas e a sua utilização na implementação de serviços Web destinados à comunicação entre sistemas informáticos heterogéneos.

CC4039 - ECTS

Compreenção dos princípios fundamentais do funcionamento das redes de comunicações móveis, focando: os aspectos tecnológicos mais relevantes; as redes de comunicações móveis de 2ª, 3ª e 4ª geração; e os principais serviços em redes de comunicações móveis.

CC4003 - ECTS

Possibilitar aos estudantes uma introdução aos problemas fundamentais no desenho e na implementação de sistemas distribuídos. Ao completarem esta unidade curricular, os estudantes deverão ser capazes de:

(a) explicar o que é um sistema distribuído e quais as vantagens e propriedades desejáveis de tais sistemas;
(b) descrever os princípios subjacentes ao funcionamento de sistemas distribuídos, os problemas e desafios associados, e avaliar a eficácia e limitações das suas soluções;
(c) construir sistemas funcionais utilizando mecanismos de comunicação como sockets, ICE e Serviços REST.

CC4019 - ECTS

O objectivo da disciplina de Teoria da Informação é expor conceitos fundamentais relacionados com teoria da informação e as suas aplicações em sistemas e redes de comunicações e ciência de computadores.

CC4037 - ECTS

O objetivo da disciplina é o de aprofundar alguns tópicos selecionados das redes de dados. Os assuntos vão de redes sem fios, mobilidade, tecnologias nos operadores a alguns propostas de investigação. A exposição teórica é complementada com trabalhos laboratoriais nos temas abordados, de modo ao estudante consolidar a teoria apreendida com a sua aplicação.

CC4016 - ECTS
Esta disciplina introduz os alunos aos conceitos gerais da visão computacional,  nomeadamente a tecnologia de captação de imagens, técnicas básicas de processamento de imagem e vídeo e reconhecimento de padrões. Será também feita uma introdução aos vários campos aplicacionais da visão computacional.

CC4021 - ECTS
Objetivo é o de formecer ao aluno a capacidade de usar e entender, e tambem de poder cntribuir na resolução de novos problemas para a importante área de Biologia Computacional.

CC4009 - ECTS

O programa proposto é leccionado nas aulas teóricas onde os principais conceitos são introduzidos e são apresentados exemplos aplicáveis relacionados com filme, jogos e aplicações na medicina. Nos laboratórios os alunos resolverão trabalhos práticos relacionados com os conceitos apresentados nas aulas práticas, implementando soluções em C++ ou Python utilizando o OpenGL. Os alunos devem demonstrar a capacidade de compreender os tópicos avançados ao apresentar um artigo relacionado com um dos temas apresentado nas aulas teóricas. Os objectivos da aprendizagem serão integrados num projecto desenvolvidos nos laboratórios.

CC4024 - ECTS

Identificação e aplicação de técnicas de data mining para a extração de conhecimento a partir de diversas fontes de dados (texto, web, etc.).

CC4023 - ECTS

Fornecer aos alunos fundamentos teóricos e técnicas práticas de implementação de linguagens de programação declarativas.

M4063 - ECTS

Introduzir os conceitos e métodos fundamentais de classificação supervisionada e não supervisionada.

CC4006 - ECTS
Introdução à problemática da Segurança das Redes de dados e Sistema de informação. Obtenção de conhecimento detalhado sobre as principais fragilidades intrínsecas aos sistemas operativos e redes de computadores. Apresentação de metodologias para a construção de sistemas capazes de resistir a ataques, erros de operação e ocorrências fortuitas provocadas por adversários inteligentes. Estudo de ferramentas, processos e métodos necessários para planear, implementar e testar sistemas seguros e adaptar os sistemas existentes a ambientes contextuais reais em constante evolução.

CC4040 - ECTS

Introduzir os conceitos fundamentais sobre sistemas embebidos e fornecer aos alunos as competências necessárias ao desenvolvimento de aplicações para estas plataformas.

Apresentar aos alunos as capacidades e limitações destes sistemas e a razão da sua disseminação e utilização em variados ambientes.

Introduzir os alunos ao desenvolvimento nestas plataformas, potenciando o trabalho de equipa e a organização da mesma.

CC4020 - ECTS
Reforçar conhecimentos de técnicas de concepção de algoritmos e análise da sua correção e complexidade.
Conhecer e aplicar métodos de resolução exata e aproximada para problemas difíceis.

CC4007 - ECTS

Aprender conceitos avançados de Bases de Dados, que passem pela inclusão da utilização de bases de dados relacionais em ambiente de linguagens de programação genéricas. Os alunos aprendem com especial ênfase as "Application Programming Interfaces" APIs em linguagem C de sistemas de gestão de bases de dados como o MySQL. Desenvolvem capacidade de aumentar tais sistemas através de módulos escritos em C.
Aprendem-se ainda conceitos de bases de dados espaciais, estudando-se o módulo PostGIS. Aprende-se SQL com extensões espaciais.
Aprendem-se conceitos de Data Warehousing e operadores avançados de agregação.

CC4022 - ECTS
Este curso centra-se nas sinergias da associação de métodos de aprendizagem computacional / "deep learning" a métodos de pesquisa e otimização. Esses métodos baseam-se nos últimos desenvovimentos em algoritmos de pesquisa, "deep learning", e aprendizagem por reforço; considera-se que esta associação dá aos computadores um desempenho ao nível do humano. Pretende-se potenciar informação disponível em conjuntos de dados massivos (machine learning), extraindo-a e utilizando-a em ações concretas (operações). Aplicações vão desde a visão computacional e reconhecimento de fala a sistemas de apoio à decisão de alto nível, incluindo sistemas de saúde, transportes e logística, comércio e serviços de informação, e redes energéticas.

O curso complementa e aprofunda os conhecimentos adquiridos nas disciplinas de "Desenho e Análise de Algoritmos" e de "Inteligência Artificial".

CC4026 - ECTS
Aplicação de tópicos avançados de lógica na resolução de problemas em várias áreas de ciência de computadores.

CC4028 - ECTS

Aprofundar os conhecimentos de programação funcional com ênfase em algumas técnicas avançadas para maior modularidade e correção na construção de programas.

CC4008 - ECTS
Estudo e utilização de técnicas formais baseadas em modelos e em demonstração aplicadas à verificação de sistemas e programas.

CC4010 - ECTS

Esta UC é dedicada ao desenho de algoritmos para problemas computacionais, e como raciocinar de forma clara sobre a sua correção e tempo de execução. O principal objectivo é dotar os alunos das ferramentas intelectuais necessárias para que sejam capazes de desenhar a analisar os seus próprios algoritmos para problemas que precisem de resolver no futuro.

CC4014 - ECTS

Dotar os estudantes do conhecimento teórico e prático dos modelos de computação orientados para arquiteturas paralelas e distribuídas. Será dada ênfase ao desenvolvimento de competências de programação para memória distribuída com o MPI, e de programação em memória partilhada com processos, threads e OpenMP.

CC4017 - ECTS

A criptografia evoluiu nas últimas décadas, de um mais ou menos obscuro ramo do conhecimento usado essencialmente por militares e espiões, para uma componente essencial das comunicações e escrita de software. Com a virtualização de um grande conjunto de actividades, foi necessário usar a criptografia para assegurar todo um conjunto de propriedades e garantias que as correspondentes transacções presenciais podiam assegurar de outra forma. Hoje, a criptografia desempenha por isso um papel essencial tanto nos protocolos da Internet como nos restantes sistemas de comunicações digitais.

Pretende-se assim:
1. Introduzir a problemática da segurança das redes e sistemas informáticos assim como o problema da segurança em geral.
2. Apresentar um conjunto suficientemente expressivo de protocolos criptográficos que permitam geralmente transcrever as actividades sociais do mundo físico para o suporte digital.
3. Estudo de alguns algoritmos criptográficos, suas aplicações e possíveis ataques.

CC4018 - ECTS

Esta disciplina tem como objetivos principais fazer uma introdução às principais metodologias de data science, e também fornecer conhecimentos sobre programação e sistemas utilizados para a análise de dados usando a linguagem R.

M4060 - ECTS

Pretende-se que os estudantes adquiram:
a) conhecimentos sobre a recolha organizada de informação
b) técnicas e modelos estatísticos comummente usados no tratamento de dados do âmbito da Ciência e da Engenharia, e saibam aplicá-los adequadamente em R/SPSS 
c) capacidade para saber escolher e aplicar as técnicas e modelos estatísticos aprendidos a problemas concretos
d) espírito crítico e capacidade de interpretação dos resultados obtidos por aplicação das técnicas e modelos estatísticos aprendidos.

 

CC4013 - ECTS

Estudo de modelos formais semânticos de linguagens de programação, de forma a compreender os mecanismos envolvidos na definição, desenho e implementação de linguagens de programação. 

CC4005 - ECTS

CC4001 - ECTS

Esta unidade curricular tem por objetivo geral introduzir os alunos aos documentos estruturados baseados no formalismo XML (eXtended Markup Language) e ao seu processamento.
Os objetivos específicos incluem o conhecimento dos conceitos e normas básicas deste formalismo, bem como as linguagens linguagens associadas às várias facetas do processamento de documentos, como: tipificação, formatação gráfica, transformação e semântica. Será também abordada a manipulação de dados em formato XML a partir de programas e a sua utilização na implementação de serviços Web destinados à comunicação entre sistemas informáticos heterogéneos.

CC4039 - ECTS

Compreenção dos princípios fundamentais do funcionamento das redes de comunicações móveis, focando: os aspectos tecnológicos mais relevantes; as redes de comunicações móveis de 2ª, 3ª e 4ª geração; e os principais serviços em redes de comunicações móveis.

CC4003 - ECTS

Possibilitar aos estudantes uma introdução aos problemas fundamentais no desenho e na implementação de sistemas distribuídos. Ao completarem esta unidade curricular, os estudantes deverão ser capazes de:

(a) explicar o que é um sistema distribuído e quais as vantagens e propriedades desejáveis de tais sistemas;
(b) descrever os princípios subjacentes ao funcionamento de sistemas distribuídos, os problemas e desafios associados, e avaliar a eficácia e limitações das suas soluções;
(c) construir sistemas funcionais utilizando mecanismos de comunicação como sockets, ICE e Serviços REST.

CC4019 - ECTS

O objectivo da disciplina de Teoria da Informação é expor conceitos fundamentais relacionados com teoria da informação e as suas aplicações em sistemas e redes de comunicações e ciência de computadores.

CC4037 - ECTS

O objetivo da disciplina é o de aprofundar alguns tópicos selecionados das redes de dados. Os assuntos vão de redes sem fios, mobilidade, tecnologias nos operadores a alguns propostas de investigação. A exposição teórica é complementada com trabalhos laboratoriais nos temas abordados, de modo ao estudante consolidar a teoria apreendida com a sua aplicação.

CC4016 - ECTS
Esta disciplina introduz os alunos aos conceitos gerais da visão computacional,  nomeadamente a tecnologia de captação de imagens, técnicas básicas de processamento de imagem e vídeo e reconhecimento de padrões. Será também feita uma introdução aos vários campos aplicacionais da visão computacional.

CC4021 - ECTS
Objetivo é o de formecer ao aluno a capacidade de usar e entender, e tambem de poder cntribuir na resolução de novos problemas para a importante área de Biologia Computacional.

CC4009 - ECTS

O programa proposto é leccionado nas aulas teóricas onde os principais conceitos são introduzidos e são apresentados exemplos aplicáveis relacionados com filme, jogos e aplicações na medicina. Nos laboratórios os alunos resolverão trabalhos práticos relacionados com os conceitos apresentados nas aulas práticas, implementando soluções em C++ ou Python utilizando o OpenGL. Os alunos devem demonstrar a capacidade de compreender os tópicos avançados ao apresentar um artigo relacionado com um dos temas apresentado nas aulas teóricas. Os objectivos da aprendizagem serão integrados num projecto desenvolvidos nos laboratórios.

CC4024 - ECTS

Identificação e aplicação de técnicas de data mining para a extração de conhecimento a partir de diversas fontes de dados (texto, web, etc.).

CC4023 - ECTS

Fornecer aos alunos fundamentos teóricos e técnicas práticas de implementação de linguagens de programação declarativas.

M4063 - ECTS

Introduzir os conceitos e métodos fundamentais de classificação supervisionada e não supervisionada.

CC4006 - ECTS
Introdução à problemática da Segurança das Redes de dados e Sistema de informação. Obtenção de conhecimento detalhado sobre as principais fragilidades intrínsecas aos sistemas operativos e redes de computadores. Apresentação de metodologias para a construção de sistemas capazes de resistir a ataques, erros de operação e ocorrências fortuitas provocadas por adversários inteligentes. Estudo de ferramentas, processos e métodos necessários para planear, implementar e testar sistemas seguros e adaptar os sistemas existentes a ambientes contextuais reais em constante evolução.

CC4040 - ECTS

Introduzir os conceitos fundamentais sobre sistemas embebidos e fornecer aos alunos as competências necessárias ao desenvolvimento de aplicações para estas plataformas.

Apresentar aos alunos as capacidades e limitações destes sistemas e a razão da sua disseminação e utilização em variados ambientes.

Introduzir os alunos ao desenvolvimento nestas plataformas, potenciando o trabalho de equipa e a organização da mesma.

CC4020 - ECTS
Reforçar conhecimentos de técnicas de concepção de algoritmos e análise da sua correção e complexidade.
Conhecer e aplicar métodos de resolução exata e aproximada para problemas difíceis.

CC4007 - ECTS

Aprender conceitos avançados de Bases de Dados, que passem pela inclusão da utilização de bases de dados relacionais em ambiente de linguagens de programação genéricas. Os alunos aprendem com especial ênfase as "Application Programming Interfaces" APIs em linguagem C de sistemas de gestão de bases de dados como o MySQL. Desenvolvem capacidade de aumentar tais sistemas através de módulos escritos em C.
Aprendem-se ainda conceitos de bases de dados espaciais, estudando-se o módulo PostGIS. Aprende-se SQL com extensões espaciais.
Aprendem-se conceitos de Data Warehousing e operadores avançados de agregação.

CC4022 - ECTS
Este curso centra-se nas sinergias da associação de métodos de aprendizagem computacional / "deep learning" a métodos de pesquisa e otimização. Esses métodos baseam-se nos últimos desenvovimentos em algoritmos de pesquisa, "deep learning", e aprendizagem por reforço; considera-se que esta associação dá aos computadores um desempenho ao nível do humano. Pretende-se potenciar informação disponível em conjuntos de dados massivos (machine learning), extraindo-a e utilizando-a em ações concretas (operações). Aplicações vão desde a visão computacional e reconhecimento de fala a sistemas de apoio à decisão de alto nível, incluindo sistemas de saúde, transportes e logística, comércio e serviços de informação, e redes energéticas.

O curso complementa e aprofunda os conhecimentos adquiridos nas disciplinas de "Desenho e Análise de Algoritmos" e de "Inteligência Artificial".

CC4026 - ECTS
Aplicação de tópicos avançados de lógica na resolução de problemas em várias áreas de ciência de computadores.

CC4028 - ECTS

Aprofundar os conhecimentos de programação funcional com ênfase em algumas técnicas avançadas para maior modularidade e correção na construção de programas.

CC4008 - ECTS
Estudo e utilização de técnicas formais baseadas em modelos e em demonstração aplicadas à verificação de sistemas e programas.

CC4010 - ECTS

Esta UC é dedicada ao desenho de algoritmos para problemas computacionais, e como raciocinar de forma clara sobre a sua correção e tempo de execução. O principal objectivo é dotar os alunos das ferramentas intelectuais necessárias para que sejam capazes de desenhar a analisar os seus próprios algoritmos para problemas que precisem de resolver no futuro.

CC4014 - ECTS

Dotar os estudantes do conhecimento teórico e prático dos modelos de computação orientados para arquiteturas paralelas e distribuídas. Será dada ênfase ao desenvolvimento de competências de programação para memória distribuída com o MPI, e de programação em memória partilhada com processos, threads e OpenMP.

CC4017 - ECTS

A criptografia evoluiu nas últimas décadas, de um mais ou menos obscuro ramo do conhecimento usado essencialmente por militares e espiões, para uma componente essencial das comunicações e escrita de software. Com a virtualização de um grande conjunto de actividades, foi necessário usar a criptografia para assegurar todo um conjunto de propriedades e garantias que as correspondentes transacções presenciais podiam assegurar de outra forma. Hoje, a criptografia desempenha por isso um papel essencial tanto nos protocolos da Internet como nos restantes sistemas de comunicações digitais.

Pretende-se assim:
1. Introduzir a problemática da segurança das redes e sistemas informáticos assim como o problema da segurança em geral.
2. Apresentar um conjunto suficientemente expressivo de protocolos criptográficos que permitam geralmente transcrever as actividades sociais do mundo físico para o suporte digital.
3. Estudo de alguns algoritmos criptográficos, suas aplicações e possíveis ataques.

CC4018 - ECTS

Esta disciplina tem como objetivos principais fazer uma introdução às principais metodologias de data science, e também fornecer conhecimentos sobre programação e sistemas utilizados para a análise de dados usando a linguagem R.

M4060 - ECTS

Pretende-se que os estudantes adquiram:
a) conhecimentos sobre a recolha organizada de informação
b) técnicas e modelos estatísticos comummente usados no tratamento de dados do âmbito da Ciência e da Engenharia, e saibam aplicá-los adequadamente em R/SPSS 
c) capacidade para saber escolher e aplicar as técnicas e modelos estatísticos aprendidos a problemas concretos
d) espírito crítico e capacidade de interpretação dos resultados obtidos por aplicação das técnicas e modelos estatísticos aprendidos.

 

CC4013 - ECTS

Estudo de modelos formais semânticos de linguagens de programação, de forma a compreender os mecanismos envolvidos na definição, desenho e implementação de linguagens de programação. 

CC4005 - ECTS

CC4001 - ECTS

Esta unidade curricular tem por objetivo geral introduzir os alunos aos documentos estruturados baseados no formalismo XML (eXtended Markup Language) e ao seu processamento.
Os objetivos específicos incluem o conhecimento dos conceitos e normas básicas deste formalismo, bem como as linguagens linguagens associadas às várias facetas do processamento de documentos, como: tipificação, formatação gráfica, transformação e semântica. Será também abordada a manipulação de dados em formato XML a partir de programas e a sua utilização na implementação de serviços Web destinados à comunicação entre sistemas informáticos heterogéneos.

CC4039 - ECTS

Compreenção dos princípios fundamentais do funcionamento das redes de comunicações móveis, focando: os aspectos tecnológicos mais relevantes; as redes de comunicações móveis de 2ª, 3ª e 4ª geração; e os principais serviços em redes de comunicações móveis.

CC4003 - ECTS

Possibilitar aos estudantes uma introdução aos problemas fundamentais no desenho e na implementação de sistemas distribuídos. Ao completarem esta unidade curricular, os estudantes deverão ser capazes de:

(a) explicar o que é um sistema distribuído e quais as vantagens e propriedades desejáveis de tais sistemas;
(b) descrever os princípios subjacentes ao funcionamento de sistemas distribuídos, os problemas e desafios associados, e avaliar a eficácia e limitações das suas soluções;
(c) construir sistemas funcionais utilizando mecanismos de comunicação como sockets, ICE e Serviços REST.

CC4019 - ECTS

O objectivo da disciplina de Teoria da Informação é expor conceitos fundamentais relacionados com teoria da informação e as suas aplicações em sistemas e redes de comunicações e ciência de computadores.

CC4037 - ECTS

O objetivo da disciplina é o de aprofundar alguns tópicos selecionados das redes de dados. Os assuntos vão de redes sem fios, mobilidade, tecnologias nos operadores a alguns propostas de investigação. A exposição teórica é complementada com trabalhos laboratoriais nos temas abordados, de modo ao estudante consolidar a teoria apreendida com a sua aplicação.

CC4016 - ECTS
Esta disciplina introduz os alunos aos conceitos gerais da visão computacional,  nomeadamente a tecnologia de captação de imagens, técnicas básicas de processamento de imagem e vídeo e reconhecimento de padrões. Será também feita uma introdução aos vários campos aplicacionais da visão computacional.

CC4021 - ECTS
Objetivo é o de formecer ao aluno a capacidade de usar e entender, e tambem de poder cntribuir na resolução de novos problemas para a importante área de Biologia Computacional.

CC4009 - ECTS

O programa proposto é leccionado nas aulas teóricas onde os principais conceitos são introduzidos e são apresentados exemplos aplicáveis relacionados com filme, jogos e aplicações na medicina. Nos laboratórios os alunos resolverão trabalhos práticos relacionados com os conceitos apresentados nas aulas práticas, implementando soluções em C++ ou Python utilizando o OpenGL. Os alunos devem demonstrar a capacidade de compreender os tópicos avançados ao apresentar um artigo relacionado com um dos temas apresentado nas aulas teóricas. Os objectivos da aprendizagem serão integrados num projecto desenvolvidos nos laboratórios.

CC4024 - ECTS

Identificação e aplicação de técnicas de data mining para a extração de conhecimento a partir de diversas fontes de dados (texto, web, etc.).

CC4023 - ECTS

Fornecer aos alunos fundamentos teóricos e técnicas práticas de implementação de linguagens de programação declarativas.

M4063 - ECTS

Introduzir os conceitos e métodos fundamentais de classificação supervisionada e não supervisionada.

M4064 - ECTS

Disciplina introdutória aos processos estocásticos. Pretende-se apresentar um conjunto de ferramentas para a descrição e análise de processos estocásticos em áreas diversificadas, como processamento de sinal, teoria da informação, ambiente, economia e finanças, biologia e medicina. A orientação da disciplina privilegia a compreensão dos conceitos e métodos e a sua aplicação em áreas interdisciplinares utilizando dados simulados ou reais.

CC4006 - ECTS
Introdução à problemática da Segurança das Redes de dados e Sistema de informação. Obtenção de conhecimento detalhado sobre as principais fragilidades intrínsecas aos sistemas operativos e redes de computadores. Apresentação de metodologias para a construção de sistemas capazes de resistir a ataques, erros de operação e ocorrências fortuitas provocadas por adversários inteligentes. Estudo de ferramentas, processos e métodos necessários para planear, implementar e testar sistemas seguros e adaptar os sistemas existentes a ambientes contextuais reais em constante evolução.

CC4040 - ECTS

Introduzir os conceitos fundamentais sobre sistemas embebidos e fornecer aos alunos as competências necessárias ao desenvolvimento de aplicações para estas plataformas.

Apresentar aos alunos as capacidades e limitações destes sistemas e a razão da sua disseminação e utilização em variados ambientes.

Introduzir os alunos ao desenvolvimento nestas plataformas, potenciando o trabalho de equipa e a organização da mesma.

CC4020 - ECTS
Reforçar conhecimentos de técnicas de concepção de algoritmos e análise da sua correção e complexidade.
Conhecer e aplicar métodos de resolução exata e aproximada para problemas difíceis.

CC4007 - ECTS

Aprender conceitos avançados de Bases de Dados, que passem pela inclusão da utilização de bases de dados relacionais em ambiente de linguagens de programação genéricas. Os alunos aprendem com especial ênfase as "Application Programming Interfaces" APIs em linguagem C de sistemas de gestão de bases de dados como o MySQL. Desenvolvem capacidade de aumentar tais sistemas através de módulos escritos em C.
Aprendem-se ainda conceitos de bases de dados espaciais, estudando-se o módulo PostGIS. Aprende-se SQL com extensões espaciais.
Aprendem-se conceitos de Data Warehousing e operadores avançados de agregação.

CC4022 - ECTS
Este curso centra-se nas sinergias da associação de métodos de aprendizagem computacional / "deep learning" a métodos de pesquisa e otimização. Esses métodos baseam-se nos últimos desenvovimentos em algoritmos de pesquisa, "deep learning", e aprendizagem por reforço; considera-se que esta associação dá aos computadores um desempenho ao nível do humano. Pretende-se potenciar informação disponível em conjuntos de dados massivos (machine learning), extraindo-a e utilizando-a em ações concretas (operações). Aplicações vão desde a visão computacional e reconhecimento de fala a sistemas de apoio à decisão de alto nível, incluindo sistemas de saúde, transportes e logística, comércio e serviços de informação, e redes energéticas.

O curso complementa e aprofunda os conhecimentos adquiridos nas disciplinas de "Desenho e Análise de Algoritmos" e de "Inteligência Artificial".

CC4026 - ECTS
Aplicação de tópicos avançados de lógica na resolução de problemas em várias áreas de ciência de computadores.

CC4028 - ECTS

Aprofundar os conhecimentos de programação funcional com ênfase em algumas técnicas avançadas para maior modularidade e correção na construção de programas.

CC4008 - ECTS
Estudo e utilização de técnicas formais baseadas em modelos e em demonstração aplicadas à verificação de sistemas e programas.

CC4010 - ECTS

Esta UC é dedicada ao desenho de algoritmos para problemas computacionais, e como raciocinar de forma clara sobre a sua correção e tempo de execução. O principal objectivo é dotar os alunos das ferramentas intelectuais necessárias para que sejam capazes de desenhar a analisar os seus próprios algoritmos para problemas que precisem de resolver no futuro.

CC4014 - ECTS

Dotar os estudantes do conhecimento teórico e prático dos modelos de computação orientados para arquiteturas paralelas e distribuídas. Será dada ênfase ao desenvolvimento de competências de programação para memória distribuída com o MPI, e de programação em memória partilhada com processos, threads e OpenMP.

CC4017 - ECTS

A criptografia evoluiu nas últimas décadas, de um mais ou menos obscuro ramo do conhecimento usado essencialmente por militares e espiões, para uma componente essencial das comunicações e escrita de software. Com a virtualização de um grande conjunto de actividades, foi necessário usar a criptografia para assegurar todo um conjunto de propriedades e garantias que as correspondentes transacções presenciais podiam assegurar de outra forma. Hoje, a criptografia desempenha por isso um papel essencial tanto nos protocolos da Internet como nos restantes sistemas de comunicações digitais.

Pretende-se assim:
1. Introduzir a problemática da segurança das redes e sistemas informáticos assim como o problema da segurança em geral.
2. Apresentar um conjunto suficientemente expressivo de protocolos criptográficos que permitam geralmente transcrever as actividades sociais do mundo físico para o suporte digital.
3. Estudo de alguns algoritmos criptográficos, suas aplicações e possíveis ataques.

CC4018 - ECTS

Esta disciplina tem como objetivos principais fazer uma introdução às principais metodologias de data science, e também fornecer conhecimentos sobre programação e sistemas utilizados para a análise de dados usando a linguagem R.

M4060 - ECTS

Pretende-se que os estudantes adquiram:
a) conhecimentos sobre a recolha organizada de informação
b) técnicas e modelos estatísticos comummente usados no tratamento de dados do âmbito da Ciência e da Engenharia, e saibam aplicá-los adequadamente em R/SPSS 
c) capacidade para saber escolher e aplicar as técnicas e modelos estatísticos aprendidos a problemas concretos
d) espírito crítico e capacidade de interpretação dos resultados obtidos por aplicação das técnicas e modelos estatísticos aprendidos.

 

CC4013 - ECTS

Estudo de modelos formais semânticos de linguagens de programação, de forma a compreender os mecanismos envolvidos na definição, desenho e implementação de linguagens de programação. 

CC4005 - ECTS

CC4001 - ECTS

Esta unidade curricular tem por objetivo geral introduzir os alunos aos documentos estruturados baseados no formalismo XML (eXtended Markup Language) e ao seu processamento.
Os objetivos específicos incluem o conhecimento dos conceitos e normas básicas deste formalismo, bem como as linguagens linguagens associadas às várias facetas do processamento de documentos, como: tipificação, formatação gráfica, transformação e semântica. Será também abordada a manipulação de dados em formato XML a partir de programas e a sua utilização na implementação de serviços Web destinados à comunicação entre sistemas informáticos heterogéneos.

CC4039 - ECTS

Compreenção dos princípios fundamentais do funcionamento das redes de comunicações móveis, focando: os aspectos tecnológicos mais relevantes; as redes de comunicações móveis de 2ª, 3ª e 4ª geração; e os principais serviços em redes de comunicações móveis.

CC4003 - ECTS

Possibilitar aos estudantes uma introdução aos problemas fundamentais no desenho e na implementação de sistemas distribuídos. Ao completarem esta unidade curricular, os estudantes deverão ser capazes de:

(a) explicar o que é um sistema distribuído e quais as vantagens e propriedades desejáveis de tais sistemas;
(b) descrever os princípios subjacentes ao funcionamento de sistemas distribuídos, os problemas e desafios associados, e avaliar a eficácia e limitações das suas soluções;
(c) construir sistemas funcionais utilizando mecanismos de comunicação como sockets, ICE e Serviços REST.

CC4019 - ECTS

O objectivo da disciplina de Teoria da Informação é expor conceitos fundamentais relacionados com teoria da informação e as suas aplicações em sistemas e redes de comunicações e ciência de computadores.

CC4037 - ECTS

O objetivo da disciplina é o de aprofundar alguns tópicos selecionados das redes de dados. Os assuntos vão de redes sem fios, mobilidade, tecnologias nos operadores a alguns propostas de investigação. A exposição teórica é complementada com trabalhos laboratoriais nos temas abordados, de modo ao estudante consolidar a teoria apreendida com a sua aplicação.

CC4016 - ECTS
Esta disciplina introduz os alunos aos conceitos gerais da visão computacional,  nomeadamente a tecnologia de captação de imagens, técnicas básicas de processamento de imagem e vídeo e reconhecimento de padrões. Será também feita uma introdução aos vários campos aplicacionais da visão computacional.

CC4021 - ECTS
Objetivo é o de formecer ao aluno a capacidade de usar e entender, e tambem de poder cntribuir na resolução de novos problemas para a importante área de Biologia Computacional.

CC4009 - ECTS

O programa proposto é leccionado nas aulas teóricas onde os principais conceitos são introduzidos e são apresentados exemplos aplicáveis relacionados com filme, jogos e aplicações na medicina. Nos laboratórios os alunos resolverão trabalhos práticos relacionados com os conceitos apresentados nas aulas práticas, implementando soluções em C++ ou Python utilizando o OpenGL. Os alunos devem demonstrar a capacidade de compreender os tópicos avançados ao apresentar um artigo relacionado com um dos temas apresentado nas aulas teóricas. Os objectivos da aprendizagem serão integrados num projecto desenvolvidos nos laboratórios.

CC4024 - ECTS

Identificação e aplicação de técnicas de data mining para a extração de conhecimento a partir de diversas fontes de dados (texto, web, etc.).

CC4023 - ECTS

Fornecer aos alunos fundamentos teóricos e técnicas práticas de implementação de linguagens de programação declarativas.

M4063 - ECTS

Introduzir os conceitos e métodos fundamentais de classificação supervisionada e não supervisionada.

CC4006 - ECTS
Introdução à problemática da Segurança das Redes de dados e Sistema de informação. Obtenção de conhecimento detalhado sobre as principais fragilidades intrínsecas aos sistemas operativos e redes de computadores. Apresentação de metodologias para a construção de sistemas capazes de resistir a ataques, erros de operação e ocorrências fortuitas provocadas por adversários inteligentes. Estudo de ferramentas, processos e métodos necessários para planear, implementar e testar sistemas seguros e adaptar os sistemas existentes a ambientes contextuais reais em constante evolução.

CC4040 - ECTS

Introduzir os conceitos fundamentais sobre sistemas embebidos e fornecer aos alunos as competências necessárias ao desenvolvimento de aplicações para estas plataformas.

Apresentar aos alunos as capacidades e limitações destes sistemas e a razão da sua disseminação e utilização em variados ambientes.

Introduzir os alunos ao desenvolvimento nestas plataformas, potenciando o trabalho de equipa e a organização da mesma.

CC4020 - ECTS
Reforçar conhecimentos de técnicas de concepção de algoritmos e análise da sua correção e complexidade.
Conhecer e aplicar métodos de resolução exata e aproximada para problemas difíceis.

CC4007 - ECTS

Aprender conceitos avançados de Bases de Dados, que passem pela inclusão da utilização de bases de dados relacionais em ambiente de linguagens de programação genéricas. Os alunos aprendem com especial ênfase as "Application Programming Interfaces" APIs em linguagem C de sistemas de gestão de bases de dados como o MySQL. Desenvolvem capacidade de aumentar tais sistemas através de módulos escritos em C.
Aprendem-se ainda conceitos de bases de dados espaciais, estudando-se o módulo PostGIS. Aprende-se SQL com extensões espaciais.
Aprendem-se conceitos de Data Warehousing e operadores avançados de agregação.

CC4022 - ECTS
Este curso centra-se nas sinergias da associação de métodos de aprendizagem computacional / "deep learning" a métodos de pesquisa e otimização. Esses métodos baseam-se nos últimos desenvovimentos em algoritmos de pesquisa, "deep learning", e aprendizagem por reforço; considera-se que esta associação dá aos computadores um desempenho ao nível do humano. Pretende-se potenciar informação disponível em conjuntos de dados massivos (machine learning), extraindo-a e utilizando-a em ações concretas (operações). Aplicações vão desde a visão computacional e reconhecimento de fala a sistemas de apoio à decisão de alto nível, incluindo sistemas de saúde, transportes e logística, comércio e serviços de informação, e redes energéticas.

O curso complementa e aprofunda os conhecimentos adquiridos nas disciplinas de "Desenho e Análise de Algoritmos" e de "Inteligência Artificial".

CC4026 - ECTS
Aplicação de tópicos avançados de lógica na resolução de problemas em várias áreas de ciência de computadores.

CC4028 - ECTS

Aprofundar os conhecimentos de programação funcional com ênfase em algumas técnicas avançadas para maior modularidade e correção na construção de programas.

CC4008 - ECTS
Estudo e utilização de técnicas formais baseadas em modelos e em demonstração aplicadas à verificação de sistemas e programas.