Go to:
Logótipo
You are here: Start > Cursos/CE > Doctoral Degree > PRODEI > Information for Applicants
Concurso de Leitura do Ensino Superior

Programmes

Doctoral Program in Informatics Engineering

General information

Official Code: 5141
Acronym: PRODEI
Description: Informatics Engineering is seen as a broad Body of Knowledge encompassing several aspects of Computing Engineering, Information Systems and Computer Science contributing to the Conceptualization, Specification, Implementation, Validation, Maintenance and Integration of Computer-based Systems. The main objective of this Doctoral Program in Informatics Engineering (ProDEI) is to promote excellence in the Applied Research in Informatics, including theoretical aspects behind modeling, design and implementation phases of Computer-based Systems life-cycle.

Certificates

  • Doctorate in Informatics Engineering (180 ECTS credits)
  • Advanced Studies (3rd cycle) in Informatics Engineering (60 ECTS credits)

Courses Units

Service Oriented Architecture and Web Services Interoperability

PRODEI038 - ECTS

It is intended to provide students with basic notions of modern web architectures, including the importance of interoperability, integration of distributed services, types of coupling.

The UC will focus on the analysis of scientific articles that are relevant to the research areas of PhD students and also are framed within the topics covered in the UC.

Interaction and Visual Simulation Environments

PRODEI006 - ECTS

Provide the students with advanced knowledge in interaction techniques, namely in environments of virtual and augmented reality.

Methodologies for Scientific Research

PRODEI032 - ECTS
  • Learn the Methods, Processes and best Practices for Scientific Research in several different scientific domains, namely Informatics (Computer Science and Computer Engineering).
  • Develop a critical scientific attitude.
  • Develop the ability to produce adequate scientific documents, both in terms of form as well as concerning the quality of the content.
  • Learn the processes related with the organization, participation and monitoring of scientific meetings. 

Advanced Methods of Modeling and Simulation

PRODEI026 - ECTS The aims of this course unit may be considered in two perspectives. First of all, this course unit aims to present the area of modelling and simulation as an important resource and indispensible tool in the scientific method in order to test and validate concepts and theories, which are useful in almost all PhD projects. Subsequently, the presentation and discussion of recent techniques and methods of modelling and simulation should motivate the identification of problems and challenges, which make this area an excellent study subject in the domain of computer engineering.

In more detail, the aims of this course unit are:
- to present the basic concepts of (computational) modelling and simulation and their diverse areas of application;
- to present the different phases of the life cycle of a simulation project, from the modelling phase to the analysis and application of results;
- to present the main types of models and their adequacy to the treatment of different problems, as well as the main simulation techniques.
- to extensively present and discuss the state of the art of recent technology in the area of modelling and simulation, by identifying the challenges, main areas of investigation and trends.

Language Processing and Information Extraction

PRODEI034 - ECTS

The main objective of this course is to equip students with knowledge about natural language processing and information extraction techniques, combining the presentation of theoretical foudations with pratical applications.

Constraint Programming for Combinatory Optimization

PRODEI009 - ECTS

The investment made by companies / institutions in the development of information systems to support their operations allows them to collect more and better data on these operations. This information enables a better understanding of how the organization works and creates opportunities to optimize its processes. This Course focuses on an approach for solving optimization problems, constraint programming.

Thus, the main objectives of this Course (UC) are:

  • Motivate for the use of constraint programming techniques for solving complex optimization problems
  • Develop the ability to properly utilize these techniques and the tools that implement them to solve real problems.

Percentage distribution:

  • Scientific component: 70%
  • Technological component: 30%

 

Intelligent Robotics

PRODEI010 - ECTS
  • To understand the basic concepts of Robotics and the context of Artificial Intelligence in Robotics.
  • To study methods of perception and sensorial interpretation (emphasizing computer vision), which allow creating precise world estates and mobile robots’ localization methods.
  • To study the methods which allow mobile robots to navigate in familiar or unfamiliar environments using Planning and Navigation algorithms.
  • To study the fundamentals of human-robot interaction, robot learning, cooperative robotics and robot teams construction.
  • To analyze the main national and international robotics competitions, the more realistic robot simulators and the more advanced robotic platforms available in the market.
  • Improve the ability to communicate regarding scientific and technical issues.
  • Promote a healthy scientific approach.

Multi-agent Systems

PRODEI012 - ECTS

This course has an engineering bias and proposes a global perspective on the techniques associated with agent-based computing, exploring, on one hand, agent-based complex systems modeling and simulation, and the development of intelligent agents and multi-agent system applications.

Agent-Oriented Programming and Software Engineering are presented as a new metaphor to describe and program distributed computational systems.

The acquired knowledge is consolidated through the use of appropriate software tools, with which students are incentivized to work on the development of small projects. The main goal is that students are able to specify and implement complex, adaptive, distributed, and decentralized systems using the multi-agent systems paradigm.

Test and Quality of Software

PRODEI013 - ECTS

The main objective of this course is to introduce students to the issues related to software quality, the terminology used in the Verification and Validation (VV) area, and to investigate Verification and Validation techniques that have been used/proposed in each student's area of research.

Advanced Topics on Knowledge Extration and Machine Learning

PRODEI043 - ECTS

Motivation

It is current practice of Corporations and Research Institutions to collect and store huge amounts of data.

The analysis of such  data can become a competitive advantage (for business) or as a source for new discoveries (in research).
Analysing large amounts of data or complex data manual processes, or even OLAP, are prohibitive.
Computational tools, using data analysis algorithms (from Statistics, Machine Learning, Data Mining, etc.), are necessary for the [semi]-automatic construction of models that help decision makers and researchers to solve data-based complex problems.

Objectives

  • Motivate the students for the use of Data Mining techniques as decision support tools.
  • Develop student's skills to correctly use DM techniques in the analysis of very large data sets.
  • Make the students aware of advanced DM topics.

Advanced Topics in Informatics Engineering

PRODEI042 - ECTS This course is intended for students who, in view of the topic they intend to investigate in their doctorate, need to study subjects that are not covered in the set of courses offered by this or other UP programmes.

The main aim of the curricular unit is to provide the student with an in-depth set of concepts, resulting from a study work to be carried out by the student, duly accompanied by a specific supervisor to be appointed by the programme's Scientific Committee.

Software Engineering Research Topics

PRODEI014 - ECTS To present research topics and recent improvements in the field of Software Engineering, in order to prepare students to conduct a doctorate research work in the field of Software Engineering.

High-Performance Embedded Computing

PRODEI039 - ECTS

O1. To learn about the processes, methodologies, and best practices associated to the development of applications in the context of high-performance embedded computing systems;

O2. To develop a scientific criticism spirit and skills for analysis of scientific work in the high-performance embedded computing research area;

O3. To acquire the capability to conclude and present a project related with the development of an application in the context of high-performance embedded computing systems;

Planning and Scheduling Methodologies

PRODEI017 - ECTS

To address planning and scheduling problems in an integrated perspective.

To study traditional approaches to planning and scheduling problems.

To explore recent planning and scheduling methodologies, based on heuristic algorithms from the domain of Artificial Intelligence.

To apply heuristic techniques for planning and scheduling in problems of medium complexity.

Programming Paradigms

PRODEI018 - ECTS

BACKGROUND

In previous years of the course the students learn several programming languages. Nevertheless,they missi a global view of Programming Languages.

SPECIFIC AIMS

Provide teh students with a global view of the different programming paradigms enphasising the concepts, implementation and adequacy to the class of problems so they can understand the trade-offs in the design of programming languages.

Research Planning

PRODEI036 - ECTS

Enable doctoral students to clarify and select the topic of their doctoral thesis

Support students in writing their Thesis Projects in their various components.

Assisted Reconstruction of 3D Objects

PRODEI020 - ECTS

Give the students a deep knowledge about 3D Solid Modelling, namely in its use in the development of 3D Reconstruction systems.

Information Retrieval

PRODEI025 - ECTS

Background:

Information retrieval (IR) deals with automatic methods for computing answers to queries on large document collections. Answers may take different forms, from document lists to document summaries, from XML elements to entities in documents. For some information retrieval tasks there are currently well-known tools used for accessing online information; Web search engines are a standard example.

Specific objectives:

  • Motivate students to the variety os tasks in information retrieval and to their multiple uses;
  • Make the students familiar with the main concepts in IR and with the proposed models and techniques, with an emphasis on the evaluation;
  • Explore existing tools for building information retrieval systems and apply them to datasets from a selected domain.

High Performance Resources in Internet Environment

PRODEI021 - ECTS

Objectives:
The main objectives are to provide the students with a solid knowledge of parallel computing (in clusters) and distributed computing in the Internet infrastructure, mainly Grid Computing and Cloud Computing. Also we can enlist as objectives the obtention of a solid knowledge on parallel architectures and on developing parallel programs for distributed memory and shared memory architectures. Through assignments and lab projects the students will also obtain experience in the core technologies in the field, including performance analysis and tuning.

Social Simulation and Complex Analysis Systems

PRODEI041 - ECTS

This course is intended to present and study Complex Systems from a behavioural perspective, where macro-level consequences result from micro-level interactions of entities networking in social phenomena such as co-operation, collaboration, competition, diffusion, foraging and complex societies. The proposed programme aims at presenting all concepts and tools for the practical implementation of social simulations with a diverse range of applications in mind. More specifically, the goals are:

  • To introduce and discuss on concepts and basic characteristics of social systems as a metaphor to analyse complex domains;
  • To present and practice with modelling techniques and simulation tools to analyse complex social systems;
  • To present and define all steps in the life-cycle of simulation project applied to the analysis of complex social systems;
  • To present techniques to test, verify and validate social simulation models;
  • To present appropriate tools to simulate social systems;
  • To carry out a complete social simulation project. 

Advanced Topics in Informatics Engineering

PRODEI042 - ECTS This course is intended for students who, in view of the topic they intend to investigate in their doctorate, need to study subjects that are not covered in the set of courses offered by this or other UP programmes.

The main aim of the curricular unit is to provide the student with an in-depth set of concepts, resulting from a study work to be carried out by the student, duly accompanied by a specific supervisor to be appointed by the programme's Scientific Committee.
Recommend this page Top
Copyright 1996-2024 © Faculdade de Engenharia da Universidade do Porto  I Terms and Conditions  I Accessibility  I Index A-Z  I Guest Book
Page generated on: 2024-05-20 at 09:45:36 | Acceptable Use Policy | Data Protection Policy | Complaint Portal