39 citations
- Johannes Kepler University of LinzAT3 papers
- Aristotle University of ThessalonikiGR1 paper
- Artificial Intelligence Research InstituteES1 paper
- Austrian Academy of SciencesAT1 paper
- Cardiovascular Center FrankfurtDE1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Czech Academy of SciencesCZ1 paper
- Czech Academy of Sciences, Institute of Computer ScienceCZ1 paper
- Durham UniversityGB1 paper
- Goethe University FrankfurtDE1 paper
- Imam Abdulrahman Bin Faisal UniversitySA1 paper
- Johann Radon Institute for Computational and Applied MathematicsAT1 paper
9 papers
Open Research Issues and Tools for Visualization and Big Data Analytics
Rania Mkhinini Gahar, Olfa Arfaoui, Minyar Sassi Hidri
The new age of digital growth has marked all fields. This technological evolution has impacted data flows which have witnessed a rapid expansion over the last decade that makes the…
Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy +2
A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in nondeterministic polynomial time. We also…
Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
Thao Dang, Stefan Ratschan
The proceedings of the 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2020) contains papers underlying talks presented at the workshop.…
A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms
Alexander Maletzky
We present a generic and executable formalization of signature-based algorithms (such as Faugère's ) for computing Gröbner bases, as well as their mathematical background, in…
MK-fuzzy Automata and MSO Logics
Manfred Droste, Temur Kutsia, George Rahonis +1
We introduce MK-fuzzy automata over a bimonoid K which is related to the fuzzification of the McCarthy-Kleene logic. Our automata are inspired by, and intend to contribute to, prac…
AUGURY: A time-series based application for the analysis and forecasting of system and network performance metrics
Nicolas Gutierrez, Manuela Wiesinger-Widi
This paper presents AUGURY, an application for the analysis of monitoring data from computers, servers or cloud infrastructures. The analysis is based on the extraction of patterns…