BADA – Big Automotive Data Analytics
Ahmad Al-Shishtawy, RISE Research Institutes of Sweden – Abstract: The BADA project fuses big data analytics with the automotive industry in Sweden. It is a collaboration between RISE SICS, Volvo cars, Volvo trucks, Scania, and the Swedish Transport Agency. The goal of the project is…
InfraComposer: Policy-driven Adaptive and Reflective Middleware for the cloudification of Simulation and Optimization Workflows
Bert Lagaisse, Imec-DistriNet Research Group, KU Leuven – Abstract: We present motivating scenarios as well as an architecture for adaptive and reflective middleware that supports smart cloud-based deployment and execution of en- gineering workflows. This middleware supports deep inspection of the work- flow task structure…
Sketching as an engine of research and development thinking
Anna Lobovikov-Katz, Technion – Abstract: Sketching is a natural way to communicate ideas quickly: with only a few pencil strokes, complex shapes can be evoked in viewers. Freehand sketching is well-known for its contribution to the development of spatial-visual ability, which is a must for…
Learning with Sociable Robots and Artifacts
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 elicit a social response from…
Atomic Transaction Commit for Modern Data Stores
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. A key component of such…
Tezos, a blockchain by scientists: principles and applications
Diego Pons, – Abstract: Tezos is a blockchain done by computer scientists most of them related to the INRIA. As a result, Tezos is written in OCaml, advocates solid algorithms, domain specific languages for smart contracts and formal verification. We will expose some of the…
TerraHidro: Modelação Hidrológica Distribuída
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 sistema TerraHidro, voltado para modelagem…
SCHOOLS ARE STUCK, CAN GAMES FIX THEM?
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 virtual) self-improvement goals – games….
Scalability and Efficiency in Graph Mining
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 we discuss some of these…
Firewall Configuration: Rule Sets and Usability
Leonardo A. Martucci, – Abstract: In this presentation we report on our work in measuring the usability of rule sets in terms of how easy it is for system administrators to understand and manage them. We begin with a description of the problem and a…
Francisco António Chaves Saraiva de Melo: “Agregação” (Habilitation) in Computer Science and Engineering
Francisco António Chaves Saraiva de Melo, INESC-ID researcher within the Artificial Intelligence for People and Society Research Area and Associate Professor at the Department of Computer Science and Engineering of Instituto Superior Técnico, will present a course unit report and a seminar in order to be awarded his Agregação (Habilitation) in Computer Science and Engineering on 30th and 31st May 2022.
Francisco Melo will present the course unit report titled Planning, Learning, and Intelligent Decision Making at 9am on 30th May 2022 (available on Zoom), followed by the seminar Reinforcement learning: A dynamical systems viewpoint at 9am on 31st May 2022 (available on Zoom).
2nd RiverCure Workshop
Location: Meeting room of Department of Civil Engineering, Civil Engineering Building, Instituto Superior Técnico, Alameda Campus.
9:00 – 9:10 Welcoming attendants
9:10 – 9:30 Overview of the project and main outputs (Rui Ferreira)
9:30 – 9:45 Mathematical modelling – HiSTAV shallow water solver (Daniel Conde)
9:45 – 10:00 Laboratory observatory – tools (Luís Mendes/Rui Ferreira)
10:00 – 10:15 Laboratory observatory – lab models (Rui Aleixo/Rui Ferreira)
10:15 – 10:30 Break
10:30 – 10:45 Field observatory – tools (Bruno Martins)
10:45 – 11:00 Field observatory – February 2016 and December 2019 floods, Rio Águeda (Rodrigo Oliveira)
11:00 – 11:20 The RiverCure portal – Conception and implementation (Alberto Silva)
11:20 – 11:40 The RiverCure portal – Applications (Ana Margarida Ricardo/Alberto Silva)
11:40 – 12:30 Discussion and Ending
RiverCure is a partnership of Agência Portuguesa do Ambiente, INESC-ID and IST-ID.
Support: APRH – Comissão Especializada em Hidráulica Fluvial
Funding: Fundação para a Ciência e a Tecnologia (FCT) RiverCure: Curating and assimilating crowdsourced and authoritative data to reduce uncertainty in river flow modelling. PTDC/CTA-OHR/29360/2017
Further details on the RiverCure project are available here.