To overcome harmonic structure distortions of complex tones in the low frequency range due to the frequency to electrode mapping function used in Nucleus cochlear implants, two modified frequency maps based on a semitone frequency scale (Smt-MF and Smt-LF) were implemented and evaluated. The semitone maps were compared against standard mapping in three psychoacoustic experiments with the three ...

BACKGROUND Retinal neovascularization is a common cause of vision loss in proliferative diabetic retinopathy, retinopathy of prematurity and age-related macular degeneration. Samul-tang (SMT) is a widely used traditional herbal medicine in East Asia and is also known as Shimotsu-to in Japanese and Si-Wu decoction in Chinese. This study was designed to evaluate the inhibitory effect of SMT on re...

Abstract The SMT solver solves quantifier-free nonlinear real arithmetic problems by combining the cylindrical algebraic coverings method with incremental linearization in an abstraction-refinement loop. result is a complete decision procedure that leverages efficient heuristics for refining candidate models. Furthermore, it can be used quantifiers, integer variables, and combination other theo...

Since larger n-gram Language Model (LM) usually performs better in Statistical Machine Translation (SMT), how to construct efficient large LM is an important topic in SMT. However, most of the existing LM growing methods need an extra monolingual corpus, where additional LM adaption technology is necessary. In this paper, we propose a novel neural network based bilingual LM growing method, only...

This paper presents a practical approach to statistical machine translation (SMT) based on syntactic transfer. Conventionally, phrase-based SMT generates an output sentence by combining phrase (multiword sequence) translation and phrase reordering without syntax. On the other hand, SMT based on tree-to-tree mapping, which involves syntactic information, is theoretical, so its features remain un...

This paper describes in detail a novel approach to the reordering challenge in statistical machine translation (SMT). This Ngram-based reordering (NbR) approach uses the powerful techniques of SMT systems to generate a weighted reordering graph. Thus, statistical criteria reordering constraints are supplied to an SMT system, and this allows an extension to the SMT decoding search. The NbR appro...

SMT (Satisfiability Modulo Theories) solvers are automatic verification engines suitable to discharge important classes of proof obligations generated in applying formal construction of software and hardware designs. In this paper, we present a new approach to combine decision procedures and propositional solvers into an SMT-solver. This approach is based on the generation of model equalities b...

We improve translation memory (TM)inspired consistent phrase-based statistical machine translation (PB-SMT) using rich linguistic information including lexical, part-of-speech, dependency, and semantic role features to predict whether a TM-derived sub-segment should constrain PB-SMT translation. Besides better translation consistency, for English-to-Chinese Symantec TMs we report a 1.01 BLEU po...

BACKGROUND Although practice protocols exist for SMT and functional rehabilitation, no practice protocols exist for structural rehabilitation. Traditional chiropractic practice guidelines have been limited to acute and chronic pain treatment, with limited inclusion of functional and exclusion of structural rehabilitation procedures. OBJECTIVE (1) To derive an evidence-based practice protocol ...

OBJECTIVE To evaluate the potential utility of the Sniff Magnitude Test (SMT) as a clinical measure of olfactory function. DESIGN Between-subject designs were used to compare the SMT and University of Pennsylvania Smell Identification Test (UPSIT) in study participants from a broad range of ages. SUBJECTS A total of 361 individuals from retirement communities and an urban university and pat...