Learning with Sociable Robots and Artifacts

Seminar | IST Taguspark - Room 1.38 | 15:00

Sandra Y. Okita, Teachers College, Columbia University – Abstract: People often turn to others to improve their own learning. Technological artifacts (e.g. humanoid robots, pedagogical agents/avatars) often consist of human-like qualities ranging across appearance, behavior, and intelligence. These features often … Continued

Atomic Transaction Commit for Modern Data Stores

Seminar | 336 | 10:00

Alexey Gotsman, IMDEA Software Institute in Madrid – Abstract: Modern data stores often need to provide both high scalability and strong transactional semantics. They achieve scalability by partitioning data into shards and fault-tolerance by replicating each shard across several servers. … Continued

VMCAI Winter School 2019

Centro de Congressos (Pavilhão de Civil) | 09:00

VMCAI Winter School is a winter school on formal methods associated with VMCAI 2019 that will take place in Lisbon, Portugal on January 9-12, 2019. In the vein of VMCAI, the school is meant to facilitate interaction, cross-fertilization, and advancement … Continued

TerraHidro: Modelação Hidrológica Distribuída

Seminar | 020 | 11:00

Sérgio Rosim, Instituto Nacional de Pesquisas Espaciais, Brasil – Abstract: Apresentação das geotecnologias, pesquisas e desenvolvimentos de sistemas voltados para aplicações com dados espaciais na Divisão de Processamento de Imagens do Instituto Nacional de Pesquisas Espaciais – INPE, Brasil. O … Continued

SCHOOLS ARE STUCK, CAN GAMES FIX THEM?

Seminar | IST Taguspark - Room 2.10 | 11:00

Francisco Miranda, SpotGames – Abstract: Today’s children and young people are increasingly disinvesting from their school paths. However, one approach has been dramatically effective in motivating all young people to pursue, in a dedicated and persistent way, personal (though seemingly … Continued

Scalability and Efficiency in Graph Mining

Seminar | 336 | 10:00

Wagner Meira Jr, Universidade Federal de Minas Gerais – Abstract: Despite significant research, graph mining remains a challenging task, due to characteristics such as its computational complexity and the large spectrum of models that may be mined. In this talk … Continued

1 2 3 4 5 71