English
Related papers

Related papers: FoldA: Computing Partial-Order Alignments Using Di…

200 papers

Partial orders are used extensively for modeling and analyzing concurrent computations. In this paper, we define two properties of partially ordered sets: width-extensibility and interleaving-consistency, and show that a partial order can…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-10-07 Himanshu Chauhan , Vijay K. Garg

Real-world processes operate on objects that are inter-dependent. To accurately reflect the nature of such processes, object-centric process mining techniques are needed, notably conformance checking. However, while the object-centric…

Logic in Computer Science · Computer Science 2024-04-08 Alessandro Gianola , Marco Montali , Sarah Winkler

Despite growing interest in process analysis and mining for data-aware specifications, alignment-based conformance checking for declarative process models has focused on pure control-flow specifications, or mild data-aware extensions…

Unfolding, in the context of high-energy particle physics, refers to the process of removing detector distortions in experimental data. The resulting unfolded measurements are straightforward to use for direct comparisons between…

Domain adaptation is an essential task in transfer learning to leverage data in one domain to bolster learning in another domain. In this paper, we present a new semi-supervised manifold alignment technique based on a two-step approach of…

Machine Learning · Computer Science 2020-11-12 Stefan Dernbach , Don Towsley

Matrix inversion problems are often encountered in experimental physics, and in particular in high-energy particle physics, under the name of unfolding. The true spectrum of a physical quantity is deformed by the presence of a detector,…

Machine Learning · Statistics 2020-09-08 Pietro Vischia

The integration of constrained optimization models as components in deep networks has led to promising advances on many specialized learning tasks. A central challenge in this setting is backpropagation through the solution of an…

Machine Learning · Computer Science 2024-01-01 James Kotary , Jacob Christopher , My H Dinh , Ferdinando Fioretto

Conformance checking is a key process mining task for comparing the expected behavior captured in a process model and the actual behavior recorded in a log. While this problem has been extensively studied for pure control-flow processes,…

Artificial Intelligence · Computer Science 2021-04-20 Paolo Felli , Alessandro Gianola , Marco Montali , Andrey Rivkin , Sarah Winkler

The subject of this paper is to study conformance checking for timed models, that is, process models that consider both the sequence of events in a process as well as the timestamps at which each event is recorded. Time-aware process mining…

Formal Languages and Automata Theory · Computer Science 2022-10-28 Neha Rino , Thomas Chatain

Parameter-efficient fine-tuning (PEFT) methods have emerged as a practical solution for adapting large foundation models to downstream tasks, reducing computational and memory costs by updating only a small subset of parameters. Among them,…

Machine Learning · Computer Science 2025-12-30 Guoan Wan , Tianyu Chen , Fangzheng Feng , Haoyi Zhou , Runhua Xu

Process mining leverages event data extracted from IT systems to generate insights into the business processes of organizations. Such insights benefit from explicitly considering the frequency of behavior in business processes, which is…

Formal Languages and Automata Theory · Computer Science 2025-07-10 Tian Li , Artem Polyvyanyy , Sander J. J. Leemans

In this paper, I proposed to utilize partial-order alignment technique as a heuristic method to cope with the state-space explosion problem in progressive near-optimal alignment. The key idea of my approach is a formal treatment of…

Data Structures and Algorithms · Computer Science 2010-04-13 Dai Tri Man Le

The choice of unfolding method for a cross-section measurement is tightly coupled to the model dependence of the efficiency correction and the overall impact of cross-section modeling uncertainties in the analysis. A key issue is the…

Data Analysis, Statistics and Probability · Physics 2025-07-14 Roger G. Huang , Andrew Cudd , Masaki Kawaue , Tatsuya Kikawa , Benjamin Nachman , Vinicius Mikuni , Callum Wilkinson

The unsupervised task of aligning two or more distributions in a shared latent space has many applications including fair representations, batch effect mitigation, and unsupervised domain adaptation. Existing flow-based approaches estimate…

Machine Learning · Computer Science 2022-03-17 Zeyu Zhou , Ziyu Gong , Pradeep Ravikumar , David I. Inouye

Network alignment, in general, seeks to discover the hidden underlying correspondence between nodes across two (or more) networks when given their network structure. However, most existing network alignment methods have added assumptions of…

Social and Information Networks · Computer Science 2019-02-28 Tyler Derr , Hamid Karimi , Xiaorui Liu , Jiejun Xu , Jiliang Tang

Sparse principal component analysis (PCA) is a well-established dimensionality reduction technique that is often used for unsupervised feature selection (UFS). However, determining the regularization parameters is rather challenging, and…

Machine Learning · Computer Science 2025-04-07 Long Chen , Xianchao Xiu

In many engineering applications, processes must be followed precisely, making conformance checking between event logs and declarative process models crucial for ensuring adherence to desired behaviors. This is a critical area where…

Artificial Intelligence · Computer Science 2025-08-08 Jacobo Casas-Ramos , Manuel Lama , Manuel Mucientes

Collider data must be corrected for detector effects ("unfolded") to be compared with many theoretical calculations and measurements from other experiments. Unfolding is traditionally done for individual, binned observables without…

High Energy Physics - Phenomenology · Physics 2020-05-13 Anders Andreassen , Patrick T. Komiske , Eric M. Metodiev , Benjamin Nachman , Jesse Thaler

With the growing number of devices, sensors and digital systems, data logs may become uncertain due to, e.g., sensor reading inaccuracies or incorrect interpretation of readings by processing programs. At times, such uncertainties can be…

Artificial Intelligence · Computer Science 2023-11-22 Eli Bogdanov , Izack Cohen , Avigdor Gal

Machine learning has enabled differential cross section measurements that are not discretized. Going beyond the traditional histogram-based paradigm, these unbinned unfolding methods are rapidly being integrated into experimental workflows.…

High Energy Physics - Phenomenology · Physics 2025-05-28 Ryan Milton , Vinicius Mikuni , Trevin Lee , Miguel Arratia , Tanvi Wamorkar , Benjamin Nachman