Positive definite operator-valued kernels generalize the well-known notion of reproducing kernels, and are naturally adapted to multi-output learning situations. This paper addresses the problem of learning a finite linear combination of infinite-dimensional operator-valued kernels which are suitable for extending functional data analysis methods to nonlinear contexts. We study this problem in ...

Kripke-style models with two accessibility relations, one intuitionistio and the other modal, are given for analogues of the modal system K based on Heyting's propositional logic. I t is shown that these two relations can combine with each other in various ways. Soundness and completeness are proved for systems with only the necessity operator, or only the possibility operator, or both. Embeddi...

In this paper we consider transport equations with accretive collision operators. We characterize when the equation has a unique solution and show that in this case the solution is stable under small perturbations of the collision operator and the initial value. In one case in which there is more than one solution we show how to make a special selection of a solution, which is then stable again...

This paper introduces a new operator to characterize a point in an image in a distinctive and invariant way. The robust recognition of points is a key technique in computer vision: algorithms for stereo correspondence, motion tracking and object recognition rely heavily on this type of operator. The goal in this paper is to describe the salient point to be characterized by a constellation of su...

The complexity class NP is quintessential and ubiquitous in theoretical computer science. Two different approaches have been made to define “Quantum NP,” the quantum analogue of NP: NQP by Adleman, DeMarrais, and Huang, and QMA by Knill, Kitaev, and Watrous. From an operator point of view, NP can be viewed as the result of the ∃-operator applied to P. Recently, Green, Homer, Moore, and Pollett ...

Massively parallel systolic arrays and resource-efficient depthwise separable convolutions are two promising hardware software techniques to accelerate DNN inference on the edge. Interestingly, their combination is inefficient: Computational patterns of do not exhibit a rhythmic flow lack sufficient data reuse saturate arrays. In this article, we formally analyse inefficiency propose an efficie...

In this paper, we introduce and study a generalized Yosida approximation operator associated to H(·, ·)-co-accretive operator and discuss some of its properties. Using the concept of graph convergence and resolvent operator, we establish the convergence for generalized Yosida approximation operator. Also, we show an equivalence between graph convergence for H(·, ·)-co-accretive operator and gen...

of “Load Management Techniques for Distributed Stream Processing” by Ying Xing, Ph.D., Brown University, May 2006. Distributed and parallel computing environments are becoming inexpensive and commonplace. The availability of large numbers of CPU’s makes it possible to process more data at higher speeds. Stream-processing systems are becoming more important, as broad classes of applications requ...

The commercially available systems for EC inspection usually use only the phase and amplitude information. After the detection (with amplitude and phase thresholds), the defects are sized using calibration curves and the phase information. Such a system is not foolproof, usually because ofincorrect or spurious defect detection. Therefore, in practice the classification made by the system is usu...

The Operator Choice Model (OCM) was developed to model the behaviour of operators attending to complex tasks involving interdependent concurrent activities, such as in Air Traffic Control (ATC). The purpose of the OCM is to provide a flexible framework for modelling and simulation that can be used for quantitative analyses in human reliability assessment, comparison between human computer inter...