Abstract: A recent approach uses linear programming (LP) to compute continuous and piecewise affine (CPA) Lyapunov functions for arbitrary switched linear systems. Such a Lyapunov function is a common ...

This repository contains the C++ source code for the LinearPartition project, the first linear-time partition function and base pair probabilities calculation algorithm/software for RNA secondary ...

Abstract: In the index coding problem, the goal is to transmit an n character word over a field F to n receivers (one character per receiver), where the receivers have side information represented by ...

Inferring road graphs from satellite imagery is a challenging computer vision task. Prior solutions fall into two categories: (1) pixel-wise segmentation-based approaches, which predict whether each ...