Agda as a Proof Assistant
Speaker: Bernardo Almeida (LASIGE, DI/FCUL).
Informática
Recommender systems for scientific items: a Hybrid semantic recommender algorithm for chemical compounds
Speaker: Márcia Barros.
Compiladores para motores de jogos: uma tour da Unity
Oradora: Andreia Gaita.
Evolving Generalist and Interpretable Land Cover Models for Forest Monitoring
Speaker: João Batista.
Technology and Education for all: Enhancing learning experiences through Tangible User Interfaces for young children with mixed visual-abilities
Speaker: Ana Pires.
Prova de Doutoramento "Populações Baseadas em Multisets para Algoritmos Evolutivos"
António Manuel Rodrigues Manso defende a tese "Populações Baseadas em Multisets para Algoritmos Evolutivos".
Transmissão em direto disponível aqui.
Inovação na saúde
Tiago Guerreiro, professor do DI e investigador do LASIGE Ciências ULisboa, participa no IDEA-FAST, um projeto inovador na área da saúde digital, com um orçamento de 42 milhões de euros.
Behavioural APIs and choreographic development
Speaker: Emilio Tuosto.
Prova de Mestrado "Simulação Social Baseada em Agentes com Modelo de Gift Exchange - Caso Exploratório em Telecomunicações"
Ana Maria Guerreiro Aroeira Silva Ramos defende a dissertação "Simulação Social Baseada em Agentes com Modelo de Gift Exchange - Caso Exploratório em Telecomunicações".
Júri:
- Presidente: Maria Isabel Alves Batalha Reis da Gama Nunes, DI/FCUL;
- Arguente: Helder Manuel Ferreira Coelho, DI/FCUL;
- Orientador: Luís Alberto dos Santos Antunes, DI/FCUL.
Randomness Beacons for Enhanced Public Auditability
Speakers: Luís Brandão & René Peralta.
Páginas
- « primeira
- ‹ anterior
- …
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- …
- seguinte ›
- última »