In the past decade, statistical machine translation (SMT) has been advanced from word-based SMT to phraseand syntax-based SMT. Although this advancement produces significant improvements in BLEU scores, crucial meaning errors and lack of cross-sentence connections at discourse level still hurt the quality of SMT-generated translations. More recently, we have witnessed two active movements in SM...

Owing to their diverse functional groups, antibiotics can easily form complexes with heavy metals; the complexation alters migration and transformation behavior of both metals. In this study, we investigated co-adsorption mechanism sulfamethazine (SMT) cadmium (Cd2+) metal ions created an ideal water model containing two major contaminants: ions. Combined experimental analysis interaction mecha...

STUDY DESIGN Comparative study using robotic replication of spinal manipulative therapy (SMT) vertebral kinematics together with serial dissection. OBJECTIVE The aim of this study was to quantify loads created in cadaveric spinal tissues arising from three different forms of SMT application. SUMMARY OF BACKGROUND DATA There exist many distinct methods by which to apply SMT. It is not known ...

The photodegradation rate of sulphadimethoxine (SMT) in water was studied under polychromatic UV light, in a bench scale apparatus. SMT photolysis was carried out at pH levels of 2.5, 6.5 and 10 to study the impact of acid base properties on the degradation of SMT. The highest SMT photolysis fluence based rate was found at pH=2.5 (k=7.22x10(-4) cm2/mJ) and the lowest rate at pH=10 (k=4.72x10(-4...

The Satisfiability Modulo Theories Competition (SMT-COMP) arose from the SMT-LIB initiative to spur adoption of common, community-designed formats, and to spark further advances in satisfiability modulo theories (SMT). The first SMT-COMP was held in 2005 as a satellite event of CAV 2005. SMT-COMP 2006 was held August 17 19, 2006, as a satellite event of CAV 2006. This paper describes the rules ...

While much effort has been put in designing and evaluating Word Sense Disambiguation (WSD) models for translation in the WSD community, standard Statistical Machine Translation (SMT) systems have achieved remarkable improvements in translation quality without modeling WSD explicitly. However, inspecting SMT output suggests that SMT needs better semantic modeling to accurately translate meaning....

Abstract SMT solvers are highly complex pieces of software with performance, robustness, and correctness as key requirements. Complementing traditional testing techniques for these randomized stress has been shown to be quite effective. Recent work showcased the value input fuzzing finding issues, but this approach typically does not comprehensively test a solver’s API. Previous on model-based ...