表面安装技术（SMT）应用简介 by 汤大伦

“…表面安装技术（ＳＭＴ）应用简介１什么是ＳＭＴ技术ＳＭＴ是英语ＳｕｒｆａｃｅＭｏｕｎｔ〕ｅｃｈｎｏｌｏｇｙ的缩写，即为表面安装技术，是当代世界上电子行业中最新的电子元器件装联技术。…”
Get full text

Reasoning with Finite Sets and Cardinality Constraints in SMT by Kshitij Bansal, Clark Barrett, Andrew Reynolds, Cesare Tinelli

“…The calculus has been designed to facilitate its implementation within SMT solvers based on the DPLL($T$) architecture. …”
Get full text

Language and Proofs for Higher-Order SMT (Work in Progress) by Haniel Barbosa, Jasmin Christian Blanchette, Simon Cruanes, Daniel El Ouraoui, Pascal Fontaine

“…In this preliminary report, we report on an extension of the SMT-LIB language, the standard input format of SMT solvers, to handle higher-order constructs. …”
Get full text

Using Synchronous TAG for Source-Side Reordering in SMT by Amin Mansouri, Hakimeh Fadaei, Heshaam Faili, Mohsen Arabsorkhi

“…Experimental results show that the presented reordering method combined with conventional or monotone phrase-based SMT, improves the translation quality respectively by 1.8 and 0.55 points regarding BLEU score.…”
Get full text

Chip Appearance Inspection Method for High-Precision SMT Equipment by Huiyan Zhang, Hao Sun, Peng Shi

Subjects: “…high-precision SMT equipment…”
Get full text

Statistical Machine Translation (SMT) for Highly-Inflectional Scarce-Resource Language by Saman Namdar, Hesham Faili, Shahram Khadivi

“…Statistical Machine Translation (SMT) is a machine translation paradigm, in which translations are generated on the base of statistical models. …”
Get full text

The demonstration of a D-SMT stressor on Ge planer n-MOSFETs by M.-H. Liao, P.-G. Chen

“…An approximately 31% Id,sat improvement and 42% mobility enhancement are achieved on the planer Ge n-Metal-Oxide-Semiconductor Field-Effect Transistors (MOSFETs) by implementing the dislocation-stress memorization technology (D-SMT) stressor for the first time, based on an investigation of crystal re-growth velocities along different directions and the optimization of the dislocation angle (θ) in Ge. …”
Get full text

SAT and SMT-Based Verification of Security Protocols Including Time Aspects by Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski

“…In this work, we propose and investigate the SAT-and SMT-based formal verification methods of SP used in communication between devices equipped with sensors. …”
Get full text

Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis by Silvio Ghilardi, Silvio Ranise

Get full text

SMT Assembly Inspection Using Dual-Stream Convolutional Networks and Two Solder Regions by Young-Gyu Kim, Tae-Hyoung Park

Get full text

Virtual Screening of Alkaloid and Terpenoid Inhibitors of SMT Expressed in <i>Naegleria</i> sp. by Jason Abraham, Neha Chauhan, Supriyo Ray

Subjects: “…Sterol-24C Methyltransferase (SMT)…”
Get full text

Translation of the Lampung Language Text Dialect of Nyo into the Indonesian Language with DMT and SMT Approach by Zaenal Abidin, Permata Permata, Farida Ariyani

“…The result of text translation accuracy with the DMT approach is 39.32%, and for the SMT approach is 59.85%. Both approaches use Bilingual Evaluation Understudy (BLEU) assessment.…”
Get full text

Investigation on SMT Product Defect Recognition Based on Multi-Source and Multi-Dimensional Data Reconstruction by Jiantao Chang, Zixuan Qiao, Qibin Wang, Xianguang Kong, Yunsong Yuan

Subjects: Get full text

Scheduling Optimization of Time-Triggered Cyber-Physical Systems Based on Fuzzy-Controlled QPSO and SMT Solver by Jie Jian, Lide Wang, Huang Chen, Xiaobo Nie

“…In the second level, we use an improved Satisfiability Modulo Theories (SMT) scheduling algorithm to solve the collision-free and temporal constraints. …”
Get full text

Single-molecule tracking (SMT) and localization of SRF and MRTF transcription factors during neuronal stimulation and differentiation by Oliver Kuchler, Jule Gerlach, Thomas Vomhof, Johannes Hettich, Julia Steinmetz, J. Christof M. Gebhardt, Jens Michaelis, Bernd Knöll

“…By contrast to cell stimulation, SMT has not been employed to follow dynamic TF changes along stages of cell differentiation. …”
Get full text

Thermal Induced Interface Mechanical Response Analysis of SMT Lead-Free Solder Joint and Its Adaptive Optimization by Shaoyi Liu, Yuefei Yan, Yijiang Zhou, Baoqing Han, Benben Wang, Daxing Zhang, Song Xue, Zhihai Wang, Kunpeng Yu, Yu Shi, Congsi Wang

Subjects: “…SMT…”
Get full text

Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver by Maxim Petrov, Kirill Gagarski, Mikhail Belyaev, Vladimir Itsykson

Subjects: Get full text

Characterizing Data Dependence Constraints for Dynamic Reliability Using n-Queens Attack Domains by Rozier, Eric W. D., Rozier, Kristin Y., Bayram, Ulya

Subjects: “…smt…”
Get full text

Investigating force-time characteristics of prone thoracic SMT and self-reported patient outcome measures: a feasibility study by Grand Choi, Dominic Giuliano, Anthony Tibbles, Samuel J. Howarth, Steve Tran, Joyce Lee, Martha Funabashi

“…Abstract Background Spinal manipulative therapy (SMT) is commonly used to treat musculoskeletal conditions, including thoracic spine pain. …”
Get full text

Verification Method of Safety Properties of Embedded Assembly Program by Combining SMT-Based Bounded Model Checking and Reduction of Interrupt Handler Executions by Satoshi Yamane, Junpei Kobashi, Kosuke Uemura

Subjects: Get full text