Vibration analysis on SMT machine (base plate and body frame) [electronic resource] / by Mohd. Syaiful Amin Abdul Rahim, 1988-, Raja Ishak Raja Hamzah, Fakulti Kejuruteraan Mekanikal

Creating an SMT engine for pharmaceutical and medical texts in the Romanian-Spanish language pair by Adrià Martín, Víctor Peña-Irles

Get full text

CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories by Fadil Kallat, Tristan Schäfer, Anna Vasileva

“…We introduce an approach that aims to combine the usage of satisfiability modulo theories (SMT) solvers with the Combinatory Logic Synthesizer (CL)S framework. …”
Get full text

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

Get full text

DEVELOPMENT OF PREDICTIVE CONTROL STRATEGY USING SELF-IDENTIFICATION MATRIX TECHNIQUE (SMT) by ABDULRAHMAN A. A.EMHEMED, ROSBI BIN MAMAT, AHMAD’ATHIF MOHD FAUDZI

“…This article describes an easy to use predictive control strategy using selfidentification matrix technique (SMT). A description for the condition number effect for suitable tracking behaviour has been analyzed. …”
Get full text

Discussion on Application of Intelligent Manufacturing Technology in SMT product assembly manufacturing system by Zhou De Jian, Chen Xiao Yong

“…Intelligent manufacturing techniques has attracted much attention in SMT manufacturing system in recent years. A brief introduction to the basic idea of introducing intelligent manufacturing techniques to form SMT products intelligent manufacturing systems is described. …”
Get full text

Investigating the Relationship between Classification Quality and SMT Performance in Discriminative Reordering Models by Arefeh Kazemi, Antonio Toral, Andy Way, Amirhassan Monadjemi, Mohammadali Nematbakhsh

“…It might be assumed that there is a monotonic relationship between classification quality and SMT performance, i.e., any improvement in classification performance will be monotonically reflected in overall SMT quality. …”
Get full text

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

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving by Antonino, P, Gibson-Robinaon, T, Roscoe, A

“…We implement PairStatic in our DeadlOx tool using SAT/SMT and demonstrate the improvements they create in checking (local) deadlock freedom.…”

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

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. …”

Development Of Predictive Control Strategy Using Self-Identification Matrix Technique (SMT) by Emhemed, Abdulrahman A. A., Mamat, Rosbi, Faudzi, Ahmad'Athif Mohd.

“…This article describes an easy to use predictive control strategy using selfi-dentification matrix technique (SMT). A description for the condition number effect for suitable tracking behaviour has been analyzed. …”

Persepsi guru-guru mata pelajaran vokasional terhadap kesediaan mengajar mata pelajaran kejuruteraan di SMT akibat dari penaikan taraf SMV ke SMT di Negeri Selangor / by 222857 Jailani Saring

Vibration analysis on surface mount technology (SMT) machine's integrated parts [electronic resource] / by Wan Mohd. Hafizudin W. Hussin, 1989-

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

Get full text

Estimating the Volume of the Solution Space of SMT(LIA) Constraints by a Flat Histogram Method by Wei Gao, Hengyi Lv, Qiang Zhang, Dunbo Cai

“…This work studies the counting version of SMT with respect to linear integer arithmetic (LIA), termed SMT(LIA). …”
Get full text

AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo by Sylvain Conchon, Mohamed Iguernlala, Alain Mebsout

“…Due to undecidability and complexity of first-order logic, SMT solvers may not terminate on some problems or require a very long time. …”
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

Radionuclide treatment of neuroendocrine tumours with the novel radiolabelled analogue Y-90-SMT 487 by Carroll, P, Maher, K, Foley, R, Stewart, P, Bevan, J, Franklyn, J, Besser, G, Monson, J, Britton, K, Grossman, AB