Material Replenishment System For SMT Kitting by Ong, Xuan Zhi

“…Purpose – Surface Mounted Technology (SMT) requires hundreds of components in the electronics assembly process run in mass production. …”
Get full text

Material Replenishment System For SMT Kitting by Ong, Xuan Zhi

“…Purpose – Surface Mounted Technology (SMT) requires hundreds of components in the electronics assembly process run in mass production. …”
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

CELESTICA SUMBANG SMT LENGKAP KEPADA USM by MPRC, Pusat Media & Perhubungan Awam

“…PULAU PINANG, 18 Februari 2015 - Syarikat Surface Mount Technology (SMT) terkemuka iaitu Celestica Malaysia Sdn. Bhd. …”
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

Simulation of a surface mount technology (SMT) system by Tan, Lai Soon.

Get full text

Effect Of Pressure And Droplet Number On Smt Adhesive Dispensing by Yusoff, Nur Maisara Mohamed

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

Optimising chip placement sequence in SMT operation using C++ by Chua, Jyh Huey.

Get full text

SMT-based model checking of max-plus linear systems by Mufid, MSU, Micheli, A, Abate, A, Cimatti, A

“…The algorithms are cast in the setting of SMT-based verification of infinite-state transition systems over the reals, with variants depending on the (incremental vs upfront) computation of the bound, and on the (explicit vs implicit) unrolling of the transition relation. …”

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

Computation of the transient in max-plus linear systems via SMT-solving by Abate, A, Cimatti, A, Micheli, A, Mufid, MS

“…This paper proposes a new approach, grounded in Satisfiability Modulo Theories (SMT), to study the transient of a Max-Plus Linear (MPL) system, that is the number of steps leading to its periodic regime. …”

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

Get full text

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. by Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M

“…This paper describes a method for combining "off-the-shelf" SAT and constraint solvers for building an efficient Satisfiability Modulo Theories (SMT) solver for a wide range of theories. Our method follows the abstraction/refinement approach to simplify the implementation of custom SMT solvers. …”

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