Prostate cancer is one of the most prevalent cancers in the male population. Its diagnosis and classification rely on unspecific measures such as PSA levels and DRE, followed by a biopsy, where an aggressiveness level is assigned in the form of Gleason Score. Efforts...
Betting on its internationalization, our spinoff Vawlt Technologies, has now a new version of its website, that features, besides the English language, Spanish, French, and German translations, as well as a Brazilian Portuguese version. The spinoff has been founded in...
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 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 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 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...
