MAP-i Seminar (2014-2015)
The course will have three different constituents:
- a short course on “Initiation of Scientific Research (2 sessions);
- 4 visits to the research units connected to the PhD programme;
- 10-12 talks on target subjects of the research units that are not directly covered by programme courses.
- a short course on “Initiation of Scientific Research (2 sessions);
- 4 visits to the research units connected to the PhD programme;
- 10-12 talks on target subjects of the research units that are not directly covered by programme courses.
Grading rules
Each student will need to write two two-page synthesis reports on the subject of two of the talks. The reports should be written in english, using \(\LaTeX\) and LNCS article style.
One of the subjects for these reports will be selected by the student and the other assigned by the coordination of this curricular unit (me). There will be a limited number of reports written on each subject. The assignment of subjects will obey to “first come, first served” principle.
Student grading will take in account the attendance to the sessions as well as the grading of the reports submitted.
Reports should be sent to me, by email, until 2015.02.15. (PDF only)
Plagiarism will constitute sufficient exclusion condition for this unit.
Each student will need to write two two-page synthesis reports on the subject of two of the talks. The reports should be written in english, using \(\LaTeX\) and LNCS article style.
One of the subjects for these reports will be selected by the student and the other assigned by the coordination of this curricular unit (me). There will be a limited number of reports written on each subject. The assignment of subjects will obey to “first come, first served” principle.
Student grading will take in account the attendance to the sessions as well as the grading of the reports submitted.
Reports should be sent to me, by email, until 2015.02.15. (PDF only)
Plagiarism will constitute sufficient exclusion condition for this unit.
2014.11.12
Talk no.3
9:30
Speakers: Prof. Cristina Ribeiro and Prof. Sérgio Nunes
Title: Research topics in information retrieval
Presentation slides
9:30
Speakers: Prof. Cristina Ribeiro and Prof. Sérgio Nunes
Title: Research topics in information retrieval
Presentation slides
Talk no.4
11:00
Speaker: Prof. Sabine Broda
Title: Formal Verification of Software
Presentation slides: (part I, part II)
11:00
Speaker: Prof. Sabine Broda
Title: Formal Verification of Software
Presentation slides: (part I, part II)
2014.11.19
2014.11.26
9:30
Visit Porto University research units (School of Engineering)
Schedule & Map
Slides from the presentations:
- Computer Graphics
- Collaborative Networks and BI
- From Knowledge Generation To Science-Based Innovation
- Computing Systems R&D Lab
- Software Engineering
Visit Porto University research units (School of Engineering)
Schedule & Map
Slides from the presentations:
- Computer Graphics
- Collaborative Networks and BI
- From Knowledge Generation To Science-Based Innovation
- Computing Systems R&D Lab
- Software Engineering
2014.11.26
Talk no.5
14:30
Speaker: Prof. Nelma Moreira
Title: How small machines can be, on average?
Links to some material related to the topic:
- Descriptional Compexity db (DESCO)
- State complexity review
- Decriptional Complexity though Analytic Combinatorics
- On the average size of Glushkov and partial derivative automata.
- On the average state complexity of partial derivative automata: an analytic combinatorics approach.
14:30
Speaker: Prof. Nelma Moreira
Title: How small machines can be, on average?
Links to some material related to the topic:
- Descriptional Compexity db (DESCO)
- State complexity review
- Decriptional Complexity though Analytic Combinatorics
- On the average size of Glushkov and partial derivative automata.
- On the average state complexity of partial derivative automata: an analytic combinatorics approach.
Talk no.6
16:00
Speaker: Prof. Ricardo Rocha
Title: Multithreaded Dynamic Programming with the Yap Prolog System
Links to some material related to the topic:
- Mode-Directed Tabling
- Multithreaded Tabling
- Applications of Multithreaded Tabling
16:00
Speaker: Prof. Ricardo Rocha
Title: Multithreaded Dynamic Programming with the Yap Prolog System
Links to some material related to the topic:
- Mode-Directed Tabling
- Multithreaded Tabling
- Applications of Multithreaded Tabling
2014.12.03
Talk n.7
9:30
Speaker: Prof. João Pascoal Faria and Prof. Ana Paiva
Title: Research Topics in Software Engineering
- Slides on the first part of the talk
- Slides on the second part of the talk (1) (2)
9:30
Speaker: Prof. João Pascoal Faria and Prof. Ana Paiva
Title: Research Topics in Software Engineering
- Slides on the first part of the talk
- Slides on the second part of the talk (1) (2)
2014.12.03
14:30
Visit Porto University research units (School of Sciences)
Slides from the presentations:
Visit Porto University research units (School of Sciences)
Slides from the presentations:
2014.12.10
Talk no.10
11:00
Speaker: Prof. Ana Paula Tomás
Title: Optimal Solutions for Art Gallery Problems: exact and approximation
algorithms
11:00
Speaker: Prof. Ana Paula Tomás
Title: Optimal Solutions for Art Gallery Problems: exact and approximation
algorithms
2014.12.17
Talk no.11
9:30
Speaker: Prof. Luís Lopes
Title: Seamless and Safe Programming of Wireless Sensor Networks
9:30
Speaker: Prof. Luís Lopes
Title: Seamless and Safe Programming of Wireless Sensor Networks
Talk no.12
11:00
Speaker: Prof. Susana Sargento
Title: A practical approach on Vehicular Networks
slides of the talk
11:00
Speaker: Prof. Susana Sargento
Title: A practical approach on Vehicular Networks
slides of the talk
2015.01.07
Talk no.13
9:30
Speaker: Prof. Eduardo Tovar
Title: Real-time and embedded computing systems
Materials of the talk: 1 2 3
9:30
Speaker: Prof. Eduardo Tovar
Title: Real-time and embedded computing systems
Materials of the talk: 1 2 3