The field of tumor phylogenetics focuses on studying the differences within cancer cell populations and many efforts are done within the scientific community to build cancer progression models trying to understand the heterogeneity of such diseases. …
A challenge in verifying a closed-loop system with a neural network controller is to be able to approximate the image of a net within a given error bound. We propose an abstract algorithm, to this end, using rational approximations for activation …
In this talk we explore the main techniques and approaches presented in the literature and aimed at enabling the use of parallelism in Answer Set Programming solvers. This survey explores the approaches along two dimensions: (1) one dimension is the …