A secondary purpose of this repository is to provide a generalized graph API that enables implementation of a very wide range of in-memory graph algorithms including basic methods for reading, writing ...

Quantum AI workloads will benefit from the integration of quantum computers in data centers and high-performance computing ...

Abstract: We present two novel algorithms for learning formulas in Linear Temporal Logic (LTL) from examples. The first learning algorithm reduces the learning task to a series of satisfiability ...

Abstract: This brief presents a novel adaptive iterative learning control (ILC) algorithm for a class of single parameter systems with binary-valued observations. Using the certainty equivalence ...

The NonLinLoc (Non-Linear Location) package is a set of programs for velocity model construction, travel-time calculation and probabilistic, non-linear, global-search earthquake location in 3D ...

Jeremiah Blocki, [email protected]: Monday @ 3:30 PM. GHC 7th floor lounge. Students can email me if they want to meet at a different time. Anvesh Komuravelli, [email protected]: Friday @ 4 ...