In this paper we introduce generalized projections (GPs), an extension of duplicateeliminating projections, that capture aggregations, groupbys, duplicate-eliminating projections ...
This paper investigates the stability of neutral delay-differential systems with mixed multiple time-varying delay arguments. Based on the Lyapunov functional method, and the rela...
—This paper presents an approach to implement a high-performance 8-tap digital FIR (Finite Impulse Response) filter using the Logarithmic Number System. In the past, FIR filter...
Recent advances in high-throughput microscopy are used to acquire large-scale anatomical information at the microscopic level. One of these methods, known as Knife-Edge Scanning M...
Jaerock Kwon, David Mayerich, Yoonsuck Choe, Bruce...
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
Alberto Artosi, Paola Cattabriga, Guido Governator...