Search
Search Results
-
Technology-Aware Enterprise Modeling: Challenging the Model-Driven Architecture Paradigm
We propose a holistic design approach that extends a traditional Model Driven Architecture paradigm with the bottom-up constraint analysis and... -
Evaluating Large Language Models in Process Mining: Capabilities, Benchmarks, and Evaluation Strategies
Using Large Language Models (LLMs) for Process Mining (PM) tasks is becoming increasingly essential, and initial approaches yield promising results.... -
Surrogate Constraints for Synchronized Energy Production/Consumption
We deal here with job scheduling under encapsulated renewable and non-renewable resource constraints, while relying on a case study related to energy... -
Neuron Pairs in Binarized Neural Networks Robustness Verification via Integer Linear Programming
In the context of classification, robustness verification of a neural network is the problem which consists in determining if small changes of inputs... -
Optimal Charging Station Location in a Linear Cycle Path with Deviations
Bicycle tourism is on the rise thanks to assisted-pedaling bikes, also known as e-bikes. While pedalling is still required on these bikes, they allow... -
On a Geometric Graph-Covering Problem Related to Optimal Safety-Landing-Site Location
We develop a set-cover based integer-programming approach to an optimal safety-landing-site location arising in the design of urban... -
Multi-agent Simulation of Intelligent Energy Regulation in Vehicle-to-Grid
The vehicle-to-grid feature of today’s electric vehicles suggests using them as batteries for stabilizing the power grid besides using them to... -
Introducing Agile Controllability in Temporal Business Processes
Dynamic controllability is currently regarded as the most adequate notion for checking the temporal correctness of business processes with temporal... -
Aspects of Modeling Human Behavior in Agent-Based Social Simulation – What Can We Learn from the COVID-19 Pandemic?
Proper modeling of human behavior is crucial when develo** agent-based models to investigate the effects of policies, such as the potential... -
Enhancing Research Clarity: Ontology-Based Modeling of Argumentation in RPML
Navigating the research process, from problem identification to argumentation construction, challenges novice researchers. This study introduces RPML... -
A Hierarchical Knowledge Framework for Digital Twins of Buildings and Their Energy Systems (Position Paper)
This position paper explores applying the Data, Information, Knowledge, Wisdom (DIKW) framework to Digital Twins of buildings and their energy... -
Enhancing Our Understanding of Business Process Model Comprehension Using Biometric Data
Much research has been done on the comprehension and development of conceptual models. In related areas such as linguistics and software engineering... -
Could a Large Language Model Contribute Significantly to Requirements Analysis?
This research-in-progress paper presents a quasi-experiment in which three different ChatGPT-4 prompts (for system structure, analysis, and... -
An Explanation User Interface for a Knowledge Graph-Based XAI Approach to Process Analysis
In consulting practice, effective use of AI technologies presupposes consultant’s and client’s ability to understand generated results. Our knowledge... -
Combining Constraint-Based and Imperative Programming in MABS for More Reliable Modelling
We argue for a combination of declarative/constraint and imperative programming approaches for MABS: a declarative layer that specified the ontology,... -
Enhancing Cognition Through Cooperative Learning and Augmented Mentorship
With increasing cybercrime, educational institutions are working to create increased opportunities for people to enter the cyber workforce. Some... -
Assessment of a Novel Virtual Environment for Examining Cognitive-Motor Processes During Execution of Action Sequences in a Human-Robot Teaming Context
With the development of advanced AI and robotic systems, there is a growing interest in examining human-robot teaming. While the vast majority of... -
Early Use of Augmented Cognition for Online Learning Games in Hawai‘i
This paper provides a historical and regional perspective on the adoption of technologies in online learning, focusing on gamification as an aspect... -
Distance-Based Lifestyle Medicine for Veterans with Chronic Multi-symptom Illness (CMI): Health Coaching as Behavioral Health Intervention for Clinical Adherence
Chronic multi-symptom illness (CMI) is characterized by persistent, difficult to treat symptoms that interfere with daily functioning, affecting... -
Can Neurofeedback Training Decrease Cognitive Bias? An Exploratory Analysis
Cognitive biases are ubiquitous and finding ways to mitigate them has been an ongoing challenge. Here, we explore the possibility that brain training...