research
∙
09/29/2022
GPU-based Data-parallel Rendering of Large, Unstructured, and Non-convexly Partitioned Data
Computational fluid dynamic simulations often produce large clusters of ...
share
research
∙
07/30/2022
Typed SLD-Resolution: Dynamic Typing for Logic Programming
The semantic foundations for logic programming are usually separated int...
research
∙
04/27/2022
Towards Quantum Ray Tracing
Rendering on conventional computers is capable of generating realistic i...
research
∙
01/26/2022
Fifty Years of Prolog and Beyond
Both logic programming in general, and Prolog in particular, have a long...
research
∙
08/14/2021
Data Type Inference for Logic Programming
In this paper we present a new static data type inference algorithm for ...
research
∙
09/18/2019