We introduce a broadly applicable technique to create nuclear spin singlet states in organic molecules and other many-atom systems. We employ a novel pulse sequence to produce a spin-lock induced crossing (SLIC) of the spin singlet and triplet energy levels, which enables triplet-singlet polarization transfer and singlet-state preparation. We demonstrate the utility of the SLIC method by produc...

after the classification of the flag-transitive linear spaces, the attention has been turned to line-transitive linear spaces. in this article, we present a partial classification of the finite linear spaces $mathcal s$ on which an almost simple group $g$ with the socle $g_2(q)$ acts line-transitively.

The optical transfer function (OTF) is used in describing imaging systems in the Fourier domain. So far the calculation of the OTF of a large-aperture imaging system has been difficult because the vectorial nature of light breaks the cylindrical symmetry of the pupil function. We derive a simple line integral solution for calculating the vectorial three-dimensional OTF. We further extend this a...

Unmanned surface vehicles (USVs) are receiving increasing attention in recent years from both academia and industry. To make a high-level autonomy for USVs, the environment situational awareness is key capability. However, due to richness of features marine environments, as well complexity influenced by sun glare sea fog, development reliable system remains challenging problem that requires fur...

We have developed an algorithm to generate a complete map of the traversable region for a personal assistant robot using monocular vision only. Using multiple taken by a simple webcam, obstacle detection and avoidance algorithms have been developed. Simple Linear Iterative Clustering (SLIC) has been used for segmentation to reduce the memory and computation cost. A simple mapping technique usin...

The correctness of embedded systems software is of critical importance as invalid states can cause a physical damage to hardware. One of approaches to verification of such systems is using source code analyzers. The Static Driver Verifier Research Platform (SDVRP), which is based on Simultaneous Localization and Mapping (SLAM) and represents a tool that systematically analyzes source code and a...

This paper describes our on-line handwriting mathematical expression input interface for our Intelligent Algebraic Calculation Tutoring System (ACTS). It consists of a Java-based client, which receives user’s handwriting input and displays output, and a C-based server, which recognizes hand-written symbols. Our interface provides simple and easy mathematical expression input environment. Its di...