We present the Koopman State Estimator (KoopSE), a framework for model-free batch state estimation of control-affine systems that makes no linearization assumptions, requires problem-specific feature selections, and has an inference computational cost is independent number training points. lift original nonlinear system into higher-dimensional Reproducing Kernel Hilbert Space (RKHS), where beco...

With more sophisticated data-parallel processing systems, the new bottleneck in data-intensive companies shifts from the back-end data systems to the data integration stack, which is responsible for the pre-processing of data for back-end applications. The use of back-end data systems with different access latencies and data integration requirements poses new challenges that current data integr...

Dynamic mapping (matching and scheduling) heuristics for a class of independent tasks using heterogeneous distributed computing systems are studied. Two types of mapping heuristics are considered: immediate mode and batch mode heuristics. Three new heuristics, one for batch mode and two for immediate mode, are introduced as part of this research. Simulation studies are performed to compare thes...

Metal alloys have material properties that are very appealing for micro electro mechanical systems (MEMS), but present a challenge for process integration within a lithographic manufacturing sequence of the type used in the semiconductor industry. The batch-mode micro electrodischarge machining (μEDM) discussed here uses lithographically-fabricated electrode arrays with high density and high un...

In 2008, Groth and Sahai proposed a general methodology for constructing non-interactive zero-knowledge (and witness-indistinguishable) proofs in bilinear groups. While avoiding expensive NPreductions, these proof systems are still inefficient due to the number of pairing computations required for verification. We apply recent techniques of batch verification to the Groth-Sahai proof systems an...