research
∙
08/17/2023
Online Transition-Based Feature Generation for Anomaly Detection in Concurrent Data Streams
In this paper, we introduce the transition-based feature generator (TFGe...
share
research
∙
07/22/2023
Machine learning discovers invariants of braids and flat braids
We use machine learning to classify examples of braids (or flat braids) ...
research
∙
09/29/2022
Data Querying with Ciphertext Policy Attribute Based Encryption
Data encryption limits the power and efficiency of queries. Direct proce...
research
∙
06/21/2022
Can process mining help in anomaly-based intrusion detection?
In this paper, we consider the naive applications of process mining in n...
research
∙
06/10/2022
An application of neural networks to a problem in knot theory and group theory (untangling braids)
We report on our success on solving the problem of untangling braids up ...
research
∙
05/24/2022
Process Mining Algorithm for Online Intrusion Detection System
In this paper, we consider the applications of process mining in intrusi...
research
∙
11/01/2021
Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification
The shipping industry is an important component of the global trade and ...
research
∙
09/29/2021
Untangling Braids with Multi-agent Q-Learning
We use reinforcement learning to tackle the problem of untangling braids...
research
∙
09/05/2021
Proceedings of the 9th International Workshop on Verification and Program Transformation
The previous VPT 2020 workshop was organized in honour of Professor Albe...
research
∙
08/27/2021
Representation and Processing of Instantaneous and Durative Temporal Phenomena
Event definitions in Complex Event Processing systems are constrained by...
research
∙
08/05/2021
Circle graphs (chord interlacement graphs) of Gauss diagrams: Descriptions of realizable Gauss diagrams, algorithms, enumeration
Chord diagrams, under the name of Gauss diagrams, are used in low-dimens...
research
∙
08/28/2019
Modular Verification of Autonomous Space Robotics
Ensuring that autonomous space robot control software behaves as it shou...
research
∙
08/18/2019
Agent-based (BDI) modeling for automation of penetration testing
Penetration testing (or pentesting) is one of the widely used and import...
research
∙
08/16/2019
Proceedings Seventh International Workshop on Verification and Program Transformation
This volume contains a final and revised selection of papers presented a...
research
∙
08/23/2017
Proceedings Fifth International Workshop on Verification and Program Transformation
This volume contains the proceedings of the Fifth International Workshop...
research
∙
03/02/2010