Quantifier elimination (QE) is a very powerful procedure for problems involving first­order formulas over real fields. The cylindrical algebraic decomposition (CAD) is a technique for the “efficient” im­ plementation of QE, that effectively reduces an seemingly infinite problem into a finite (but potentially large) instance. For much more information about QE and CAD (including a reprint of Tar...

A unified medical image retrieval framework integrating visual and text keywords using a novel multi-modal query expansion (QE) is presented. For the content-based image search, visual keywords are modeled using support vector machine (SVM)-based classification of local color and texture patches from image regions. For the text-based search, keywords from the associated annotations are extracte...

Ultraviolet (UV) studies in astronomy, cosmology, planetary studies, biological and medical applications often require precision detection of faint objects and in many cases require photon-counting detection. We present an overview of two approaches for achieving photon counting in the UV. The first approach involves UV enhancement of photon-counting silicon detectors, including electron multip...

In this paper, we present an adaptive version of our previously proposed quality equalizing (QE) load balancing strategy that attempts to maximize the performance of parallel branch-and-bound (B&B) by adapting to application and target computing system characteristics. Adaptive QE (AQE) incorporates the following salient adaptive features: (1) Anticipatory quantitative and qualitative load bala...

With the ever increasing size of web, relevant information extraction on the Internet with a query formed by a few keywords has become a big challenge. To overcome this, query expansion (QE) plays a crucial role in improving the Internet searches, where the user’s initial query is reformulated to a new query by adding new meaningful terms with similar significance. QE – as part of information r...

A quality estimation (QE) approach informed with machine translation (MT) and speech recognition (ASR) features has recently shown to improve the performance of a spoken language translation (SLT) system in an in-domain scenario. When domain mismatch is progressively introduced in the MT and ASR systems, the SLT system’s performance naturally degrades. The use of QE to improve SLT performance h...

The quantum theory for mesoscopic electric circuit is briefly described. The uncertainty relation for electric charge and current modifies the tranditional Heisenberg uncertainty relation. The mesoscopic ring is regarded as a pure L-design, and the persistent current is obtained explicitly. The Coulomb blockade phenomenon appears when applying to the pure C-design. talk at the Fifth Internation...

Aiming at facilitating the research on quality estimation (QE) and automatic post-editing (APE) of machine translation (MT) outputs, especially for those among Asian languages, we have created new datasets for Japanese to English, Chinese, and Korean translations. As the source text, actual utterances in Japanese were extracted from the log data of our speech translation service. MT outputs wer...

Abstract Metal photocathodes are commonly used in high-field RF guns because they are robust, straightforward to implement and tolerate relatively poor vacuum compared to semi-conductor cathodes. However these cathodes have low quantum efficiency (QE) even at UV wavelengths, and still require some form of cleaning after installation in the gun. A commonly used process for improving the QE is la...