English
Related papers

Related papers: Symbolic Parametric Analysis of Embedded Systems w…

200 papers

Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods cannot adequately address these problems. We present the…

Artificial Intelligence · Computer Science 2012-07-19 Carlos E. Guestrin , Milos Hauskrecht , Branislav Kveton

Deep Neural Networks (DNNs) are ubiquitous in today's computer vision land-scape, despite involving considerable computational costs. The mainstream approaches for runtime acceleration consist in pruning connections (unstructured pruning)…

Computer Vision and Pattern Recognition · Computer Science 2021-06-01 Edouard Yvinec , Arnaud Dapogny , Matthieu Cord , Kevin Bailly

Reduced-order models are central to motion planning and control of quadruped robots, yet existing templates are often hand-crafted for a specific locomotion modality. This motivates the need for automatic methods that extract task-specific,…

Robotics · Computer Science 2026-01-14 Gioele Buriani , Jingyue Liu , Maximilian Stölzle , Cosimo Della Santina , Jiatao Ding

An adaptive approach to using reduced-order models as surrogates in PDE-constrained optimization is introduced that breaks the traditional offline-online framework of model order reduction. A sequence of optimization problems constrained by…

Optimization and Control · Mathematics 2014-07-30 Matthew J. Zahr , Charbel Farhat

Here we present Symplectically Integrated Symbolic Regression (SISR), a novel technique for learning physical governing equations from data. SISR employs a deep symbolic regression approach, using a multi-layer LSTM-RNN with mutation to…

Machine Learning · Computer Science 2022-09-07 Daniel M. DiPietro , Bo Zhu

Dynamic Mode Decomposition (DMD) is a data based modeling tool that identifies a matrix to map a quantity at some time instant to the same quantity in future. We design a new version which we call Adaptive Dynamic Mode Decomposition (ADMD)…

Signal Processing · Electrical Eng. & Systems 2020-12-16 Mohammad N. Murshed , M. Monir Uddin

This paper revisits the ordered statistics decoding (OSD). It provides a comprehensive analysis of the OSD algorithm by characterizing the statistical properties, evolution and the distribution of the Hamming distance and weighted Hamming…

Information Theory · Computer Science 2021-05-10 Chentao Yue , Mahyar Shirvanimoghaddam , Branka Vucetic , Yonghui Li

Discovering reliable and informative relationships among brain regions from functional magnetic resonance imaging (fMRI) signals is essential in phenotypic predictions. Most of the current methods fail to accurately characterize those…

Neurons and Cognition · Quantitative Biology 2024-06-11 Weikang Qiu , Huangrui Chu , Selena Wang , Haolan Zuo , Xiaoxiao Li , Yize Zhao , Rex Ying

Autonomous mobile robots operating in complex, dynamic environments face the dual challenge of navigating large-scale, structurally diverse spaces with static obstacles while safely interacting with various moving agents. Traditional…

Robotics · Computer Science 2026-01-01 Yury Kolomeytsev , Dmitry Golembiovsky

At low energies, the microscopic characteristics and changes of physical systems as viewed at different distance scales are described by universal scale invariant properties investigated by the Renormalization Group (RG) apparatus, an…

General Physics · Physics 2018-04-03 Eric Howard

Hidden Markov models (HMMs) and partially observable Markov decision processes (POMDPs) form a useful tool for modeling dynamical systems. They are particularly useful for representing environments such as road networks and office…

Artificial Intelligence · Computer Science 2013-01-30 Hagit Shatkay

Hierarchical Temporal Memory (HTM) is a biologically inspired machine intelligence technology that mimics the architecture and processes of the neocortex. In this white paper we describe how to encode data as Sparse Distributed…

Neural and Evolutionary Computing · Computer Science 2016-02-19 Scott Purdy

The modelling of discrete regulatory networks combines a graph specifying the pairwise influences between the variables of the system, and a parametrisation from which can be derived a discrete transition system. Given the influence graph…

Discrete Mathematics · Computer Science 2018-03-19 Juraj Kolčák , David Šafránek , Stefan Haar , Loïc Paulevé

State-space models (SSMs) are a powerful statistical tool for modelling time-varying systems via a latent state. In these models, the latent state is never directly observed. Instead, a sequence of observations related to the state is…

Computation · Statistics 2025-03-25 Benjamin Cox , Emilie Chouzenoux , Victor Elvira

Dimensionality reduction (DR) algorithms compress high-dimensional data into a lower dimensional representation while preserving important features of the data. DR is a critical step in many analysis pipelines as it enables visualisation,…

Machine Learning · Statistics 2023-05-26 Aditya Ravuri , Francisco Vargas , Vidhi Lalchand , Neil D. Lawrence

We propose a new class of deep reinforcement learning (RL) algorithms that model latent representations in hyperbolic space. Sequential decision-making requires reasoning about the possible future consequences of current behavior.…

Machine Learning · Computer Science 2022-10-05 Edoardo Cetin , Benjamin Chamberlain , Michael Bronstein , Jonathan J Hunt

Reduced-order models have long been used to understand the behavior of nonlinear partial differential equations (PDEs). Naturally, reduced-order modeling techniques come at the price of computational accuracy for a decrease in computation…

Numerical Analysis · Mathematics 2023-07-26 Jovan Žigić

We consider the problem of sufficient dimensionality reduction (SDR), where the high-dimensional observation is transformed to a low-dimensional sub-space in which the information of the observations regarding the label variable is…

Machine Learning · Computer Science 2018-12-20 Ershad Banijamali , Amir-Hossein Karimi , Ali Ghodsi

Deep neural networks (DNNs) have found applications in diverse signal processing (SP) problems. Most efforts either directly adopt the DNN as a black-box approach to perform certain SP tasks without taking into account of any known…

Signal Processing · Electrical Eng. & Systems 2022-04-27 Zhe Zhang , Xiang Chen , Zhi Tian

We study the mixed-integer quadratic programming formulation of an $n$-period hybrid control problem with a convex quadratic cost function and linear dynamics. We first give the convex hull description of the single-period, two-mode problem…

Optimization and Control · Mathematics 2024-12-17 Jisun Lee , Hyungki Im , Alper Atamtürk
‹ Prev 1 4 5 6 7 8 10 Next ›