3 citations · 4 across the 4 of their papers we have counts for
4 papers
Modeling Biological Multifunctionality with Echo State Networks
Anastasia-Maria Leventi-Peetz, Jörg-Volker Peetz, Kai Weber +1
In this work, a three-dimensional multicomponent reaction-diffusion model has been developed, combining excitable-system dynamics with diffusion processes and sharing conceptual fe…
ML Supported Predictions for SAT Solvers Performance
A. -M. Leventi-Peetz, Jörg-Volker Peetz, Martina Rohde
In order to classify the indeterministic termination behavior of the open source SAT solver CryptoMiniSat in multi-threading mode while processing hard to solve boolean satisfiabil…
Generating and Exploring S-Box Multivariate Quadratic Equation Systems with SageMath
A. -M. Leventi-Peetz, J. -V. Peetz
A new method to derive Multivariate Quadratic equation systems (MQ) for the input and output bit variables of a cryptographic S-box from its algebraic expressions with the aid of t…
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…