Showing 1–14 of 14 results for author: Leopold, H

xSemAD: Explainable Semantic Anomaly Detection in Event Logs Using Sequence-to-Sequence Models

Authors: Kiran Busch, Timotheus Kampik, Henrik Leopold

Abstract: The identification of undesirable behavior in event logs is an important aspect of process mining that is often addressed by anomaly detection methods. Traditional anomaly detection methods tend to focus on statistically rare behavior and neglect the subtle difference between rarity and undesirability. The introduction of semantic anomaly detection has opened a promising avenue by identifying sema… ▽ More The identification of undesirable behavior in event logs is an important aspect of process mining that is often addressed by anomaly detection methods. Traditional anomaly detection methods tend to focus on statistically rare behavior and neglect the subtle difference between rarity and undesirability. The introduction of semantic anomaly detection has opened a promising avenue by identifying semantically deviant behavior. This work addresses a gap in semantic anomaly detection, which typically indicates the occurrence of an anomaly without explaining the nature of the anomaly. We propose xSemAD, an approach that uses a sequence-to-sequence model to go beyond pure identification and provides extended explanations. In essence, our approach learns constraints from a given process model repository and then checks whether these constraints hold in the considered event log. This approach not only helps understand the specifics of the undesired behavior, but also facilitates targeted corrective actions. Our experiments demonstrate that our approach outperforms existing state-of-the-art semantic anomaly detection methods. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: Accepted at BPM 2024

Methodology of Algorithm Engineering

Authors: Jan Mendling, Henrik Leopold, Henning Meyerhenke, Benoît Depaire

Abstract: Research on algorithms has drastically increased in recent years. Various sub-disciplines of computer science investigate algorithms according to different objectives and standards. This plurality of the field has led to various methodological advances that have not yet been transferred to neighboring sub-disciplines. The central roadblock for a better knowledge exchange is the lack of a common me… ▽ More Research on algorithms has drastically increased in recent years. Various sub-disciplines of computer science investigate algorithms according to different objectives and standards. This plurality of the field has led to various methodological advances that have not yet been transferred to neighboring sub-disciplines. The central roadblock for a better knowledge exchange is the lack of a common methodological framework integrating the perspectives of these sub-disciplines. It is the objective of this paper to develop a research framework for algorithm engineering. Our framework builds on three areas discussed in the philosophy of science: ontology, epistemology and methodology. In essence, ontology describes algorithm engineering as being concerned with algorithmic problems, algorithmic tasks, algorithm designs and algorithm implementations. Epistemology describes the body of knowledge of algorithm engineering as a collection of prescriptive and descriptive knowledge, residing in World 3 of Popper's Three Worlds model. Methodology refers to the steps how we can systematically enhance our knowledge of specific algorithms. The framework helps us to identify and discuss various validity concerns relevant to any algorithm engineering contribution. In this way, our framework has important implications for researching algorithms in various areas of computer science. △ Less

Submitted 29 October, 2023; originally announced October 2023.

Just Tell Me: Prompt Engineering in Business Process Management

Authors: Kiran Busch, Alexander Rochlitzer, Diana Sola, Henrik Leopold

Abstract: GPT-3 and several other language models (LMs) can effectively address various natural language processing (NLP) tasks, including machine translation and text summarization. Recently, they have also been successfully employed in the business process management (BPM) domain, e.g., for predictive process monitoring and process extraction from text. This, however, typically requires fine-tuning the em… ▽ More GPT-3 and several other language models (LMs) can effectively address various natural language processing (NLP) tasks, including machine translation and text summarization. Recently, they have also been successfully employed in the business process management (BPM) domain, e.g., for predictive process monitoring and process extraction from text. This, however, typically requires fine-tuning the employed LM, which, among others, necessitates large amounts of suitable training data. A possible solution to this problem is the use of prompt engineering, which leverages pre-trained LMs without fine-tuning them. Recognizing this, we argue that prompt engineering can help bring the capabilities of LMs to BPM research. We use this position paper to develop a research agenda for the use of prompt engineering for BPM research by identifying the associated potentials and challenges. △ Less

Submitted 14 April, 2023; originally announced April 2023.

Comments: accepted for BPMDS 2023

Nuclear and compact embeddings in function spaces of generalised smoothness

Authors: Dorothee D. Haroske, Hans-Gerd Leopold, Susana D. Moura, Leszek Skrzypczak

Abstract: We study nuclear embeddings for function spaces of generalised smoothness defined on a bounded Lipschitz domain $Ω\subset\mathbb{R}^d$. This covers, in particular, the well-known situation for spaces of Besov and Triebel-Lizorkin spaces defined on bounded domains as well as some first results for function spaces of logarithmic smoothness. In addition, we provide some new, more general approach to… ▽ More We study nuclear embeddings for function spaces of generalised smoothness defined on a bounded Lipschitz domain $Ω\subset\mathbb{R}^d$. This covers, in particular, the well-known situation for spaces of Besov and Triebel-Lizorkin spaces defined on bounded domains as well as some first results for function spaces of logarithmic smoothness. In addition, we provide some new, more general approach to compact embeddings for such function spaces, which also unifies earlier results in different settings, including also the study of their entropy numbers. Again we rely on suitable wavelet decomposition techniques and the famous Tong result (1969) about nuclear diagonal operators acting in $\ell_r$ spaces, which we could recently extend to the vector-valued setting needed here. △ Less

Submitted 23 December, 2022; originally announced December 2022.

MSC Class: 46E35; 41A46; 47B10

Hybrid Imitative Planning with Geometric and Predictive Costs in Off-road Environments

Authors: Nitish Dashora, Daniel Shin, Dhruv Shah, Henry Leopold, David Fan, Ali Agha-Mohammadi, Nicholas Rhinehart, Sergey Levine

Abstract: Geometric methods for solving open-world off-road navigation tasks, by learning occupancy and metric maps, provide good generalization but can be brittle in outdoor environments that violate their assumptions (e.g., tall grass). Learning-based methods can directly learn collision-free behavior from raw observations, but are difficult to integrate with standard geometry-based pipelines. This create… ▽ More Geometric methods for solving open-world off-road navigation tasks, by learning occupancy and metric maps, provide good generalization but can be brittle in outdoor environments that violate their assumptions (e.g., tall grass). Learning-based methods can directly learn collision-free behavior from raw observations, but are difficult to integrate with standard geometry-based pipelines. This creates an unfortunate conflict -- either use learning and lose out on well-understood geometric navigational components, or do not use it, in favor of extensively hand-tuned geometry-based cost maps. In this work, we reject this dichotomy by designing the learning and non-learning-based components in a way such that they can be effectively combined in a self-supervised manner. Both components contribute to a planning criterion: the learned component contributes predicted traversability as rewards, while the geometric component contributes obstacle cost information. We instantiate and comparatively evaluate our system in both in-distribution and out-of-distribution environments, showing that this approach inherits complementary gains from the learned and geometric components and significantly outperforms either of them. Videos of our results are hosted at https://sites.google.com/view/hybrid-imitative-planning △ Less

Submitted 21 November, 2021; originally announced November 2021.

Theory and Practice of Algorithm Engineering

Authors: Jan Mendling, Benoît Depaire, Henrik Leopold

Abstract: There is an ongoing debate in computer science how algorithms should best be studied. Some scholars have argued that experimental evaluations should be conducted, others emphasize the benefits of formal analysis. We believe that this debate less of a question of either-or, because both views can be integrated into an overarching framework. It is the ambition of this paper to develop such a framewo… ▽ More There is an ongoing debate in computer science how algorithms should best be studied. Some scholars have argued that experimental evaluations should be conducted, others emphasize the benefits of formal analysis. We believe that this debate less of a question of either-or, because both views can be integrated into an overarching framework. It is the ambition of this paper to develop such a framework of algorithm engineering with a theoretical foundation in the philosophy of science. We take the empirical nature of algorithm engineering as a starting point. Our theoretical framework builds on three areas discussed in the philosophy of science: ontology, epistemology and methodology. In essence, ontology describes algorithm engineering as being concerned with algorithmic problems, algorithmic tasks, algorithm designs and algorithm implementations. Epistemology describes the body of knowledge of algorithm engineering as a collection of prescriptive and descriptive knowledge, residing in World 3 of Popper's Three Worlds model. Methodology refers to the steps how we can systematically enhance our knowledge of specific algorithms. In this context, we identified seven validity concerns and discuss how researchers can respond to falsification. Our framework has important implications for researching algorithms in various areas of computer science. △ Less

Submitted 21 July, 2021; originally announced July 2021.

NeBula: Quest for Robotic Autonomy in Challenging Environments; TEAM CoSTAR at the DARPA Subterranean Challenge

Authors: Ali Agha, Kyohei Otsu, Benjamin Morrell, David D. Fan, Rohan Thakker, Angel Santamaria-Navarro, Sung-Kyun Kim, Amanda Bouman, Xianmei Lei, Jeffrey Edlund, Muhammad Fadhil Ginting, Kamak Ebadi, Matthew Anderson, Torkom Pailevanian, Edward Terry, Michael Wolf, Andrea Tagliabue, Tiago Stegun Vaquero, Matteo Palieri, Scott Tepsuporn, Yun Chang, Arash Kalantari, Fernando Chavez, Brett Lopez, Nobuhiro Funabiki , et al. (47 additional authors not shown)

Abstract: This paper presents and discusses algorithms, hardware, and software architecture developed by the TEAM CoSTAR (Collaborative SubTerranean Autonomous Robots), competing in the DARPA Subterranean Challenge. Specifically, it presents the techniques utilized within the Tunnel (2019) and Urban (2020) competitions, where CoSTAR achieved 2nd and 1st place, respectively. We also discuss CoSTAR's demonstr… ▽ More This paper presents and discusses algorithms, hardware, and software architecture developed by the TEAM CoSTAR (Collaborative SubTerranean Autonomous Robots), competing in the DARPA Subterranean Challenge. Specifically, it presents the techniques utilized within the Tunnel (2019) and Urban (2020) competitions, where CoSTAR achieved 2nd and 1st place, respectively. We also discuss CoSTAR's demonstrations in Martian-analog surface and subsurface (lava tubes) exploration. The paper introduces our autonomy solution, referred to as NeBula (Networked Belief-aware Perceptual Autonomy). NeBula is an uncertainty-aware framework that aims at enabling resilient and modular autonomy solutions by performing reasoning and decision making in the belief space (space of probability distributions over the robot and world states). We discuss various components of the NeBula framework, including: (i) geometric and semantic environment map**; (ii) a multi-modal positioning system; (iii) traversability analysis and local planning; (iv) global motion planning and exploration behavior; (i) risk-aware mission planning; (vi) networking and decentralized reasoning; and (vii) learning-enabled adaptation. We discuss the performance of NeBula on several robot types (e.g. wheeled, legged, flying), in various environments. We discuss the specific results and lessons learned from fielding this solution in the challenging courses of the DARPA Subterranean Challenge competition. △ Less

Submitted 18 October, 2021; v1 submitted 21 March, 2021; originally announced March 2021.

Comments: For team website, see https://costar.jpl.nasa.gov/. Accepted for publication in the Journal of Field Robotics, 2021

Nuclear embeddings in general vector-valued sequence spaces with an application to Sobolev embeddings of function spaces on quasi-bounded domains

Authors: Dorothee D. Haroske, Hans-Gerd Leopold, Leszek Skrzypczak

Abstract: We study nuclear embeddings for spaces of Besov and Triebel-Lizorkin type defined on quasi-bounded domains $Ω\subset {\mathbb R}^d$. The counterpart for such function spaces defined on bounded domains has been considered for a long time and the complete answer was obtained only recently. Compact embeddings for function spaces defined on quasi-bounded domains have been studied in detail already, al… ▽ More We study nuclear embeddings for spaces of Besov and Triebel-Lizorkin type defined on quasi-bounded domains $Ω\subset {\mathbb R}^d$. The counterpart for such function spaces defined on bounded domains has been considered for a long time and the complete answer was obtained only recently. Compact embeddings for function spaces defined on quasi-bounded domains have been studied in detail already, also concerning their entropy and $s$-numbers. We now prove the first and complete nuclearity result in this context. The concept of nuclearity has been introduce by Grothendieck in 1955 already. Our second main contribution is the generalisation of the famous Tong result (1969) which characterises nuclear diagonal operators acting between sequence spaces of $\ell_r$ type, $1\leq r\leq\infty$. We can now extend this to the setting of general vector-valued sequence spaces of type $\ell_q(β_j \ell_p^{M_j})$ with $1\leq p,q\leq\infty$, $M_j\in {\mathbb N}_0$ and weight sequences with $β_j>0$. In particular, we prove a criterion for the embedding $id_β: \ell_{q_1}(β_j \ell_{p_1}^{M_j}) \hookrightarrow \ell_{q_2}(\ell_{p_2}^{M_j})$ to be nuclear. △ Less

Submitted 4 August, 2021; v1 submitted 31 August, 2020; originally announced September 2020.

Comments: arXiv admin note: text overlap with arXiv:2002.03136 (it is the revised = second version of arXiv:2009.00474)

MSC Class: 46E35; 47B10

Partial Order Resolution of Event Logs for Process Conformance Checking

Authors: Han van der Aa, Henrik Leopold, Matthias Weidlich

Abstract: While supporting the execution of business processes, information systems record event logs. Conformance checking relies on these logs to analyze whether the recorded behavior of a process conforms to the behavior of a normative specification. A key assumption of existing conformance checking techniques, however, is that all events are associated with timestamps that allow to infer a total order o… ▽ More While supporting the execution of business processes, information systems record event logs. Conformance checking relies on these logs to analyze whether the recorded behavior of a process conforms to the behavior of a normative specification. A key assumption of existing conformance checking techniques, however, is that all events are associated with timestamps that allow to infer a total order of events per process instance. Unfortunately, this assumption is often violated in practice. Due to synchronization issues, manual event recordings, or data corruption, events are only partially ordered. In this paper, we put forward the problem of partial order resolution of event logs to close this gap. It refers to the construction of a probability distribution over all possible total orders of events of an instance. To cope with the order uncertainty in real-world data, we present several estimators for this task, incorporating different notions of behavioral abstraction. Moreover, to reduce the runtime of conformance checking based on partial order resolution, we introduce an approximation method that comes with a bounded error in terms of accuracy. Our experiments with real-world and synthetic data reveal that our approach improves accuracy over the state-of-the-art considerably. △ Less

Submitted 5 July, 2020; originally announced July 2020.

Comments: Accepted for publication in Decision Support Systems

Application of Deep Learning in Fundus Image Processing for Ophthalmic Diagnosis -- A Review

Authors: Sourya Sengupta, Amitojdeep Singh, Henry A. Leopold, Tanmay Gulati, Vasudevan Lakshminarayanan

Abstract: An overview of the applications of deep learning in ophthalmic diagnosis using retinal fundus images is presented. We also review various retinal image datasets that can be used for deep learning purposes. Applications of deep learning for segmentation of optic disk, blood vessels and retinal layer as well as detection of lesions are reviewed. Recent deep learning models for classification of dise… ▽ More An overview of the applications of deep learning in ophthalmic diagnosis using retinal fundus images is presented. We also review various retinal image datasets that can be used for deep learning purposes. Applications of deep learning for segmentation of optic disk, blood vessels and retinal layer as well as detection of lesions are reviewed. Recent deep learning models for classification of diseases such as age-related macular degeneration, glaucoma,diabetic macular edema and diabetic retinopathy are also reported. △ Less

Submitted 5 July, 2019; v1 submitted 9 December, 2018; originally announced December 2018.

Journal ref: Artificial Intelligence in Medicine Volume 102, January 2020, 101758

PixelBNN: Augmenting the PixelCNN with batch normalization and the presentation of a fast architecture for retinal vessel segmentation

Authors: Henry A Leopold, Jeff Orchard, John S Zelek, Vasudevan Lakshminarayanan

Abstract: Analysis of retinal fundus images is essential for eye-care physicians in the diagnosis, care and treatment of patients. Accurate fundus and/or retinal vessel maps give rise to longitudinal studies able to utilize multimedia image registration and disease/condition status measurements, as well as applications in surgery preparation and biometrics. The segmentation of retinal morphology has numerou… ▽ More Analysis of retinal fundus images is essential for eye-care physicians in the diagnosis, care and treatment of patients. Accurate fundus and/or retinal vessel maps give rise to longitudinal studies able to utilize multimedia image registration and disease/condition status measurements, as well as applications in surgery preparation and biometrics. The segmentation of retinal morphology has numerous applications in assessing ophthalmologic and cardiovascular disease pathologies. The early detection of many such conditions is often the most effective method for reducing patient risk. Computer aided segmentation of the vasculature has proven to be a challenge, mainly due to inconsistencies such as noise and variations in hue and brightness that can greatly reduce the quality of fundus images. This paper presents PixelBNN, a highly efficient deep method for automating the segmentation of fundus morphologies. The model was trained, tested and cross tested on the DRIVE, STARE and CHASE\_DB1 retinal vessel segmentation datasets. Performance was evaluated using G-mean, Mathews Correlation Coefficient and F1-score. The network was 8.5 times faster than the current state-of-the-art at test time and performed comparatively well, considering a 5 to 19 times reduction in information from resizing images during preprocessing. △ Less

Submitted 18 December, 2017; originally announced December 2017.

Comments: Manuscript accepted into SPIE Journal of Medical Imaging special section on Radiomics and Deep Learning

Blockchains for Business Process Management - Challenges and Opportunities

Authors: Jan Mendling, Ingo Weber, Wil van der Aalst, Jan vom Brocke, Cristina Cabanillas, Florian Daniel, Soren Debois, Claudio Di Ciccio, Marlon Dumas, Schahram Dustdar, Avigdor Gal, Luciano Garcia-Banuelos, Guido Governatori, Richard Hull, Marcello La Rosa, Henrik Leopold, Frank Leymann, Jan Recker, Manfred Reichert, Hajo A. Reijers, Stefanie Rinderle-Ma, Andreas Rogge-Solti, Michael Rosemann, Stefan Schulte, Munindar P. Singh , et al. (7 additional authors not shown)

Abstract: Blockchain technology promises a sizable potential for executing inter-organizational business processes without requiring a central party serving as a single point of trust (and failure). This paper analyzes its impact on business process management (BPM). We structure the discussion using two BPM frameworks, namely the six BPM core capabilities and the BPM lifecycle. This paper provides research… ▽ More Blockchain technology promises a sizable potential for executing inter-organizational business processes without requiring a central party serving as a single point of trust (and failure). This paper analyzes its impact on business process management (BPM). We structure the discussion using two BPM frameworks, namely the six BPM core capabilities and the BPM lifecycle. This paper provides research directions for investigating the application of blockchain technology to BPM. △ Less

Submitted 31 January, 2018; v1 submitted 11 April, 2017; originally announced April 2017.

Comments: Preprint for ACM TMIS

Human-Centric Process-Aware Information Systems (HC-PAIS)

Authors: Sonja Kabicher-Fuchs, Stefanie Rinderle-Ma, Jan Recker, Marta Indulska, Francois Charoy, Rob Christiaanse, Reinhold Dunkl, Gregor Grambow, Jens Kolb, Henrik Leopold, Jan Mendling

Abstract: Process-Aware Information Systems (PAIS) support organizations in managing and automating their processes. A full automation of processes is in particular industries, such as service-oriented markets, not practicable. The integration of humans in PAIS is necessary to manage and perform processes that require human capabilities, judgments and decisions. A challenge of interdisciplinary PAIS researc… ▽ More Process-Aware Information Systems (PAIS) support organizations in managing and automating their processes. A full automation of processes is in particular industries, such as service-oriented markets, not practicable. The integration of humans in PAIS is necessary to manage and perform processes that require human capabilities, judgments and decisions. A challenge of interdisciplinary PAIS research is to provide concepts and solutions that support human integration in PAIS and human orientation of PAIS in a way that provably increase the PAIS users' satisfaction and motivation with working with the Human-Centric Process Aware Information System (HC-PAIS) and consequently influence users' performance of tasks. This work is an initial step of research that aims at providing a definition of Human-Centric Process Aware Information Systems (HC-PAIS) and future research challenges of HC-PAIS. Results of focus group research are presented. △ Less

Submitted 21 November, 2012; originally announced November 2012.

Comments: 8 pages

Report number: TR-201211213534

On generalized Besov and Triebel-Lizorkin spaces of regular distributions

Authors: António Caetano, Hans-Gerd Leopold

Abstract: We establish conditions on the parameters which are both necessary and sufficient in order that Besov and Triebel-Lizorkin spaces of generalized smoothness contain only regular distributions. We also connect this with the possibility of embedding such spaces in some particular Lebesgue spaces. We establish conditions on the parameters which are both necessary and sufficient in order that Besov and Triebel-Lizorkin spaces of generalized smoothness contain only regular distributions. We also connect this with the possibility of embedding such spaces in some particular Lebesgue spaces. △ Less

Submitted 2 October, 2012; originally announced October 2012.

Comments: 28 pages

MSC Class: 46E35; 42A55