English
Related papers

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

200 papers

The present paper develops a reduced-order model capable of modeling unsteady aerodynamic loads in the transonic regime using system identification techniques. The computational fluid dynamics (CFD) calculations are based on the Euler…

Fluid Dynamics · Physics 2023-07-20 Ana Cristina Neves Carloni , João Luiz F. Azevedo

Changes, planned or unexpected, are common during the execution of real-life processes. Detecting these changes is a must for optimizing the performance of organizations running such processes. Most of the algorithms present in the…

Artificial Intelligence · Computer Science 2025-10-28 Victor Gallego-Fontenla , Juan C. Vidal , Manuel Lama

Federated learning is a collaborative model training method that iterates model updates by multiple clients and aggregation of the updates by a central server. Device and statistical heterogeneity of participating clients cause significant…

Machine Learning · Computer Science 2023-08-29 Ayano Nakai-Kasai , Tadashi Wadayama

Network alignment, the process of finding correspondences between nodes in different graphs, has many scientific and industrial applications. Existing unsupervised network alignment methods find suboptimal alignments that break up node…

Social and Information Networks · Computer Science 2020-08-19 Xiyuan Chen , Mark Heimann , Fatemeh Vahedian , Danai Koutra

This article addresses the challenge of adapting data-based models over time. We propose a novel two-fold modelling architecture designed to correct plant-model mismatch caused by two types of uncertainty. Out-of-domain uncertainty arises…

Systems and Control · Electrical Eng. & Systems 2025-07-17 Laura Boca de Giuli , Alessio La Bella , Riccardo Scattolini

Point cloud data are widely used in manufacturing applications for process inspection, modeling, monitoring and optimization. The state-of-art tensor regression techniques have effectively been used for analysis of structured point cloud…

Machine Learning · Computer Science 2023-04-03 Qian Wang , Kamran Paynabar

A crucial question in analyzing a concurrent system is to determine its long-run behaviour, and in particular, whether there are irreversible choices in its evolution, leading into parts of the reachability space from which there is no…

Formal Languages and Automata Theory · Computer Science 2022-09-22 Giann Karlo Aguirre-Samboní , Stefan Haar , Loïc Paulevé , Stefan Schwoon , Nick Würdemann

I present the Automated Line Fitting Algorithm, ALFA, a new code which can fit emission line spectra of arbitrary wavelength coverage and resolution, fully automatically. In contrast to traditional emission line fitting methods which…

Solar and Stellar Astrophysics · Physics 2016-01-20 Roger Wesson

Anomaly detection is crucial for ensuring the stability and reliability of web service systems. Logs and metrics contain multiple information that can reflect the system's operational state and potential anomalies. Thus, existing anomaly…

Software Engineering · Computer Science 2025-01-29 Xixuan Yang , Xin Huang , Chiming Duan , Tong Jia , Shandong Dong , Ying Li , Gang Huang

Many robotics applications require alignment and fusion of observations obtained at multiple views to form a global model of the environment. Multi-way data association methods provide a mechanism to improve alignment accuracy of pairwise…

Robotics · Computer Science 2020-03-06 Kaveh Fathian , Kasra Khosoussi , Yulun Tian , Parker Lusk , Jonathan P. How

Inverse protein folding, the process of designing sequences that fold into a specific 3D structure, is crucial in bio-engineering and drug discovery. Traditional methods rely on experimentally resolved structures, but these cover only a…

Biomolecules · Quantitative Biology 2023-11-27 Igor Melnyk , Aurelie Lozano , Payel Das , Vijil Chenthamarakshan

Formal verification provides assurances that a probabilistic system satisfies its specification--conditioned on the system model being aligned with reality. We propose alignment monitoring to watch that this assumption is justified. We…

Logic in Computer Science · Computer Science 2025-08-04 Thomas A. Henzinger , Konstantin Kueffner , Vasu Singh , I Sun

In this paper, we introduce the proper latent decomposition (PLD) as a generalization of the proper orthogonal decomposition (POD) on manifolds. PLD is a nonlinear reduced-order modeling technique for compressing high-dimensional data into…

Machine Learning · Computer Science 2024-12-03 Daniel Kelshaw , Luca Magri

Unsteady aerodynamic models are necessary to accurately simulate forces and develop feedback controllers for wings in agile motion; however, these models are often high dimensional or incompatible with modern control techniques. Recently,…

Fluid Dynamics · Physics 2015-06-18 Steven L. Brunton , Scott T. M. Dawson , Clarence W. Rowley

Numerous studies have focused on learning and understanding the dynamics of physical systems from video data, such as spatial intelligence. Artificial intelligence requires quantitative assessments of the uncertainty of the model to ensure…

Machine Learning · Computer Science 2024-12-18 Aoming Liang , Qi Liu , Lei Xu , Fahad Sohrab , Weicheng Cui , Changhui Song , Moncef Gabbouj

A typical system of k difference (or differential) equations can be compressed, or folded into a difference (or ordinary differential) equation of order k. Such foldings appear in control theory as the canonical forms of the controllability…

Dynamical Systems · Mathematics 2014-03-18 H. Sedaghat

We introduce the Circular Directional Flow Decomposition (CDFD), a new framework for analyzing circularity in weighted directed networks. CDFD separates flow into two components: a circular (divergence-free) component and an acyclic…

Physics and Society · Physics 2025-06-17 Marc Homs-Dones , Robert S. MacKay , Bazil Sansom , Yijie Zhou

The alignment of biological networks has the potential to teach us as much about biology and disease as has sequence alignment. Sequence alignment can be optimally solved in polynomial time. In contrast, network alignment is $NP$-hard,…

Molecular Networks · Quantitative Biology 2016-07-12 Nil Mamano , Wayne Hayes

Performance analysis in process mining aims to provide insights on the performance of a business process by using a process model as a formal representation of the process. Such insights are reliably interpreted by process analysts in the…

Artificial Intelligence · Computer Science 2022-11-01 Gyunam Park , Jan Niklas Adams , Wil. M. P. van der Aalst

Unfolding is an important procedure in particle physics experiments which corrects for detector effects and provides differential cross section measurements that can be used for a number of downstream tasks, such as extracting fundamental…

High Energy Physics - Phenomenology · Physics 2023-07-19 Jay Chan , Benjamin Nachman