Linkedin
7th WideHealth Seminar: Mitja Lustrek

7th WideHealth Seminar: Mitja Lustrek

The EU-funded WideHealth project aims to conduct research on pervasive eHealth and establish a sustainable network of research and dissemination across Europe. Title: Activity recognition with a few twists: Experiences from SHL Challenges 2019 and 2020 Speaker: Mitja...
CPS and RDNS meetup: Rohit Kumar & Daniel Ângelo

CPS and RDNS meetup: Rohit Kumar & Daniel Ângelo

Speakers: Rohit Kumar and Daniel Ângelo, LASIGE – DI/FCUL When: January 13, 14h00 Where: https://videoconf-colibri.zoom.us/j/84425943613?pwd=Tk5VU3BXY25NVGNCN3ZDbE5jcEtqQT09 Abstracts: Talk 1: “Architectural support and mechanisms for resilient and safe...

Tsallis Entropy calculator

The Tsallis Entropy calculator is a tool developed to compute and compare several versions of conditional Tsallis entropies existing in the literature. Team: Andreia Teixeira; André Souto; Luís Filipe Antunes

QUEST

QUEST is a suite of tools integrated in a Eclipse plug-in that aim to ensure compliance of Java implementations of data abstractions with their property-driven specifications. The general aim of QUEST suite of tools is to ensure the compliance of Java implementations...

DOL

DOL is a Dependent Object-oriented Language featuring dependent types, mutable objects and class-based inheritance with subtyping. The DOL compiler is responsible for typechecking DOL programs, relying on the Z3 SMT solver for checking the constraints issued by types,...

CONFIDENT

CONFIDENT is a toolchain for effective construction and evolution of REST APIs. CONFIDENT aims at supporting all phases of RESTful software development with: Documentation generation; Code generation (stubs) for server- and client-side; API testing; Runtime...