research
∙
08/28/2023
ASCAPE: An open AI ecosystem to support the quality of life of cancer patients
The latest cancer statistics indicate a decrease in cancer-related morta...
share
research
∙
07/26/2022
AI Approaches in Processing and Using Data in Personalized Medicine
In modern dynamic constantly developing society, more and more people su...
research
∙
01/24/2017
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers
The UITP workshop series brings together researchers interested in desig...
research
∙
05/07/2015
Structure Formation in Large Theories
Structuring theories is one of the main approaches to reduce the combina...
research
∙
02/22/2012
