English
Related papers

Related papers: Symbolic Parametric Analysis of Embedded Systems w…

200 papers

Reduced-order models are indispensable for multi-query or real-time problems. However, there are still many challenges to constructing efficient ROMs for time-dependent parametrized problems. Using a linear reduced space is inefficient for…

Numerical Analysis · Mathematics 2023-11-17 Junming Duan , Jan S. Hesthaven

This paper presents a novel holistic deep learning framework that simultaneously addresses the challenges of vulnerability to input perturbations, overparametrization, and performance instability from different train-validation splits. The…

In semi-supervised learning, methods that rely on confidence learning to generate pseudo-labels have been widely proposed. However, increasing research finds that when faced with noisy and biased data, the model's representation network is…

Computer Vision and Pattern Recognition · Computer Science 2024-04-29 Yanbiao Ma , Licheng Jiao , Fang Liu , Lingling Li , Shuyuan Yang , Xu Liu

Dynamical systems with high intrinsic dimensionality are often characterized by extreme events having the form of rare transitions several standard deviations away from the mean. For such systems, order-reduction methods through projection…

Chaotic Dynamics · Physics 2018-07-04 Zhong Yi Wan , Pantelis R. Vlachas , Petros Koumoutsakos , Themistoklis P. Sapsis

In this paper, we propose an equation-based parametric Reduced Order Model (ROM), whose accuracy is improved with data-driven terms added into the reduced equations. These additions have the aim of reintroducing contributions that in…

Numerical Analysis · Mathematics 2025-05-26 Anna Ivagnes , Giovanni Stabile , Gianluigi Rozza

There is much interest in the Hierarchical Dirichlet Process Hidden Markov Model (HDP-HMM) as a natural Bayesian nonparametric extension of the traditional HMM. However, in many settings the HDP-HMM's strict Markovian constraints are…

Machine Learning · Computer Science 2012-03-19 Matthew J. Johnson , Alan Willsky

Autonomous robots require high degrees of cognitive and motoric intelligence to come into our everyday life. In non-structured environments and in the presence of uncertainties, such degrees of intelligence are not easy to obtain.…

This review addresses the problem of learning abstract representations of the measurement data in the context of Deep Reinforcement Learning (DRL). While the data are often ambiguous, high-dimensional, and complex to interpret, many…

Machine Learning · Computer Science 2024-05-31 Nicolò Botteghi , Mannes Poel , Christoph Brune

The problem of high-dimensional and large-scale representation of visual data is addressed from an unsupervised learning perspective. The emphasis is put on discrete representations, where the description length can be measured in bits and…

Machine Learning · Computer Science 2019-01-25 Sohrab Ferdowsi

Compared to real-valued signals, complex-valued signals provide a unique and intuitive representation of the phase of real physical systems and processes, which holds fundamental significance and is widely applied across many fields of…

Signal Processing · Electrical Eng. & Systems 2025-11-04 Wang Hao , Kuang Zhang , Hou Chengyu , Tan Chenxing , Cui Weiming , Fu Weifeng , Yao Xinran

In solid mechanics, Data-driven approaches are widely considered as the new paradigm that can overcome the classic problems of constitutive models such as limiting hypothesis, complexity, and high dependence on training data. However,…

Soft Condensed Matter · Physics 2020-11-23 Aref Ghaderi , Vahid Morovati , Roozbeh Dargazany

This paper proposes DeepRule, an integrated framework for automated business rule generation in retail assortment and pricing optimization. Addressing the systematic misalignment between existing theoretical models and real-world economic…

Artificial Intelligence · Computer Science 2025-12-04 Yusen Wu , Xiaotie Deng

Ordered binary decision diagrams (OBDDs) are a fundamental data structure for the manipulation of Boolean functions, with strong applications to finite-state symbolic model checking. OBDDs allow for efficient algorithms using top-down…

Logic in Computer Science · Computer Science 2025-02-18 Michael Blondin , Michaël Cadilhac , Xin-Yi Cui , Philipp Czerner , Javier Esparza , Jakob Schulz

Neural network modules conditioned by known priors can be effectively trained and combined to represent systems with nonlinear dynamics. This work explores a novel formulation for data-efficient learning of deep control-oriented nonlinear…

Dynamical Systems · Mathematics 2021-01-07 Elliott Skomski , Soumya Vasisht , Colby Wight , Aaron Tuor , Jan Drgona , Draguna Vrabie

The grounding bottleneck poses one of the key challenges that hinders the widespread adoption of Answer Set Programming in industry. Hybrid Grounding is a step in alleviating the bottleneck by combining the strength of standard bottom-up…

Artificial Intelligence · Computer Science 2026-01-14 Alexander Beiser , Markus Hecher , Stefan Woltran

Representation learning for high-dimensional, complex physical systems aims to identify a low-dimensional intrinsic latent space, which is crucial for reduced-order modeling and modal analysis. To overcome the well-known Kolmogorov barrier,…

Machine Learning · Computer Science 2025-11-07 Nithin Somasekharan , Shaowu Pan

We address the problem of merging graph and feature-space information while learning a metric from structured data. Existing algorithms tackle the problem in an asymmetric way, by either extracting vectorized summaries of the graph…

Machine Learning · Computer Science 2020-02-17 Nicolo Colombo

Higher-dimensional automata (HDAs) are models of non-interleaving concurrency for analyzing concurrent systems. There is a rich literature that deals with bisimulations for concurrent systems, and some of them have been extended to HDAs.…

Logic in Computer Science · Computer Science 2026-03-03 Safa Zouari , Krzysztof Ziemiański , Uli Fahrenberg

Prognostic Health Management aims to predict the Remaining Useful Life (RUL) of degrading components/systems utilizing monitoring data. These RUL predictions form the basis for optimizing maintenance planning in a Predictive Maintenance…

Applications · Statistics 2023-10-17 Antonios Kamariotis , Konstantinos Tatsis , Eleni Chatzi , Kai Goebel , Daniel Straub

Simulation modeling of robots, objects, and environments is the backbone for all model-based control and learning. It is leveraged broadly across dynamic programming and model-predictive control, as well as data generation for imitation,…

Robotics · Computer Science 2022-01-19 Fei Liu , Mingen Li , Jingpei Lu , Entong Su , Michael C. Yip