Search
Search Results
-
Improving the Cook et al. Proximity Bound Given Integral Valued Constraints
Consider a linear program of the form $$\max \{\boldsymbol{c}^{\top... -
Discrete Versions of the KKM Lemma and Their PPAD-Completeness
\(\mathbf {PPAD}\) is the class of computational search... -
On the applicability of hybrid systems safety verification tools from the automotive perspective
Traditionally, extensive vehicle testing is applied to assure the robustness and safety of automotive systems. This approach is highly challenged by...
-
Decomposing Probability Marginals Beyond Affine Requirements
Consider the triplet \((E, \mathcal {P}, \pi )\) , where E... -
Pairwise-Independent Contention Resolution
We study online contention resolution schemes (OCRSs) and prophet inequalities for non-product distributions. Specifically, when the active set is... -
New Counts for the Number of Triangulations of Cyclic Polytopes
We report on enumerating the triangulations of cyclic polytopes with the new software MPTOPCOM. This is relevant for its connection with higher... -
A multi-criteria h-adaptive finite-element framework for industrial part-scale thermal analysis in additive manufacturing processes
This work presents an h -adaptive finite-element (FE) strategy to address the numerical simulation of additive manufacturing (AM) of large-scale...
-
Ural School of Pattern Recognition: Majoritarian Approach to Ensemble Learning
AbstractThis article provides an overview of the significant achievements of the Ural School of Pattern Recognition. The focus is on majoritarian...
-
Receding-Horizon Control of Constrained Switched Systems with Neural Networks as Parametric Function Approximators
This work studies receding-horizon control of discrete-time switched linear systems subject to polytopic constraints for the continuous states and...
-
Stable subdivision of 4D polytopes
The present paper is devoted to 4D polytope subdivisions. A new dissipation algorithm for triangulating 4D simply connected domains has been...
-
SyReNN: A Tool for Analyzing Deep Neural Networks
Deep Neural Networks (DNNs) are rapidly gaining popularity in a variety of important domains. Formally, DNNs are complicated vector-valued functions... -
Smooth quadrotor trajectory generation for tracking a moving target in cluttered environments
In this paper, we present a trajectory generation method of a quadrotor, based on the optimal smoothing B-spline, for tracking a moving target with...
-
Algebraic Model Checking for Discrete Linear Dynamical Systems
Model checking infinite-state systems is one of the central challenges in automated verification. In this survey we focus on an important and... -
Model-Based Fault Classification for Automotive Software
Intensive testing using model-based approaches is the standard way of demonstrating the correctness of automotive software. Unfortunately,... -
A Machine Learning Framework for Volume Prediction
Computing the exact volume of a polytope is a #P-hard problem, which makes the computation for high dimensional polytopes computationally expensive.... -
Template Matching and Decision Diagrams for Multi-agent Path Finding
We propose a polyhedral cutting plane procedure for computing a lower bound on the optimal solution to multi-agent path finding (MAPF) problems. We... -
Variances of Surface Area Estimators Based on Pixel Configuration Counts
The surface area of a set which is only observed as a binary pixel image is often estimated by a weighted sum of pixel configurations counts. In this...
-
Graph Algorithms
We have seen two major classes of algorithms that approach the top-k retrieval problem in their own unique ways. One recursively partitions a vector... -
Flip Distances Between Graph Orientations
Flip graphs are a ubiquitous class of graphs, which encode relations on a set of combinatorial objects by elementary, local changes. Skeletons of...
-
What’s Decidable About Discrete Linear Dynamical Systems?
We survey the state of the art on the algorithmic analysis of discrete linear dynamical systems, focussing in particular on reachability,...