Characteristics of surveillance video generally include low resolution and poor quality due to environmental, storage and processing limitations. It is extremely difficult for computers and human operators to identify individuals from these videos. To overcome this problem, super-resolution can be used in conjunction with an automated face recognition system to enhance the spatial resolution of...

PURPOSE In tomosynthesis, super-resolution has been demonstrated using reconstruction planes parallel to the detector. Super-resolution allows for subpixel resolution relative to the detector. The purpose of this work is to develop an analytical model that generalizes super-resolution to oblique reconstruction planes. METHODS In a digital tomosynthesis system, a sinusoidal test object is mode...

For a generalized super KdV equation, three Darboux transformations and the corresponding Bäcklund transformations are constructed. The compatibility of these Darboux transformations leads to three discrete systems and their Lax representations. The reduction of one of the Bäcklund–Darboux transformations and the corresponding discrete system are considered for Kupershmidt’s super KdV equation....

We introduce a class of one dimensional deterministic models of energyvolume conserving interfaces. Numerical simulations show that these dynamics are genuinely super-diffusive. We then modify the dynamics by adding a conservative stochastic noise so that it becomes ergodic. System of conservation laws are derived as hydrodynamic limits of the modified dynamics. Numerical evidence shows these m...

In our previous work a multi-level slow intelligence system with multiple sensors, called the TDR system, was developed [1]. It consists of interacting supercomponents each with different computation cycles specified by an abstract machine model. The TDR system has three major super-components: Tian (Heaven), Di (Earth) and Ren (Human), which are the essential ingredients of a human-centric psy...

Semantics methods have been used to prove cut elimination theorems for a long time. It is only recently that they have been extended to prove strong normalization results. For instance using the notion of super-consistency that is a semantic criterion for theories expressed in deduction modulo implying strong normalization. However, the strong normalization of System T has always been reluctant...

Localized plasmonic structured illumination microscopy (LPSIM) is a recently developed super resolution technique that demonstrates immense potential via arrays of localized plasmonic antennas. Microlens microscopy represents another distinct approach for improving resolution by introducing a spherical lens with a large refractive index to boost the effective numerical aperture of the imaging s...

This paper studies robust control schemes for two spacecraft in formation subjected to external disturbances in the space environment. Two sliding mode control schemes are designed to generate control with a finite time convergence property. The super twisting and adaptive super twisting control algorithms are developed for the two-spacecraft formation flying system. The second method of Lyapun...

A system of PDOs(=Partial Differential Operators) has two non-commutativities, (i) one from [∂q, q] = 1 (Heisenberg relation), (ii) the other from [A, B] 6= 0 for A, B being matrices in general. Non-commutativity from Heisenberg relation is nicely controlled by using Fourier transformations (i.e. the theory of ΨDOs=pseudo-differential operators). Here, we give a new method of treating non-commu...