3 citations · 4 across the 3 of their papers we have counts for
3 papers
Scope and Sense of Explainability for AI-Systems
A. -M. Leventi-Peetz, T. Östreich, W. Lennartz +1
Certain aspects of the explainability of AI systems will be critically discussed. This especially with focus on the feasibility of the task of making every AI system explainable. E…
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
A. -M. Leventi-Peetz, O. Zendel, W. Lennartz +1
Performing hundreds of test runs and a source-code analysis, we empirically identified improved parameter configurations for the CryptoMiniSat (CMS) 5 for solving cryptographic CNF…
Modular Workflow Engine for Distributed Services using Lightweight Java Clients
R. -M. Vetter, W. Lennartz, J. -V. Peetz
In this article we introduce the concept and the first implementation of a lightweight client-server-framework as middleware for distributed computing. On the client side an instal…