On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency by Horn, A, Kroening, D

“…Among these, symbolic techniques have been shown to be particularly effective at finding concurrency-related bugs because they can leverage highly optimized decision procedures such as SAT/SMT solvers. This paper gives new fundamental results on partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency. …”

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency by Horn, A, Kroening, D

“…Among these, symbolic techniques have been shown to be particularly effective at finding concurrency-related bugs because they can leverage highly optimized decision procedures such as SAT/SMT solvers. This paper gives new fundamental results on partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency. …”

Surface mount technology (SMT) microcontroller based radio frequency (RF) signal remote locator / by Koay,Jian Cong, Kamal Khalil, Fakulti Kejuruteraan Elektrik

Isolation, Characterization, and Genomic Analysis of sp. Strain SMT-1, an Efficient Fluorene-Degrading Bacterium by Mulugeta Desta, Weiwei Wang, Lige Zhang, Ping Xu, Hongzhi Tang

“…Sequences greater than 1 kb in length were obtained by Illumina sequencing; strain SMT-1 was found to contain 5542 predicted genes. …”
Get full text

The effect of listening to SMT music made using musical expectancy violations on brain concentration and activation by HaeJu Yeo, Hyun Woo Nam, JeongBeom Lee

“…This study investigated the effect of listening to self-music therapy training (SMT) music, which was specially developed using musical expectancy violations, on improving brain concentration and activation. …”
Get full text

Leveling Out the Effect of Sample Runouts on Wear when Testing on the SMT-1 Friction Machine by Pogonyshev V.A., Torikov V.E., Mokshin I.A., Pogonysheva D.A., Boiko A.A.

“…The research is aimed at improving the quality of testing the tribotechnical characteristics of materials on the SMT-1 friction machine. Testing the bearing materials according to the disc-pad model may be incorrect due to sample runouts. …”
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

SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks by Kimia Zamiri Azar, Hadi Mardani Kamali, Houman Homayoun, Avesta Sasan

Subjects: Get full text

Synthesis of SMT022357 enantiomers and in vivo evaluation in a Duchenne muscular dystrophy mouse model by Babbs, A, Berg, A, Chatzopoulou, M, Davies, K, Davies, S, Edwards, B, Elsey, D, Emer, E, Figuccia, A, Fletcher, A, Guiraud, S, Harriman, S, Moir, L, Robinson, N, Rowley, J, Russell, A, Squire, S, Thomson, J, Tinsley, J, Wilson, F, Wynne, G

“…Herein we report the synthesis of SMT022357, a second generation utrophin modulator preclinical candidate, and an asymmetric synthesis of its constituent enantiomers. …”

Characterisation of utrophin modulator SMT C1100 as a non-competitive inhibitor of firefly luciferase by Wilkinson, I, Reynolds, J, Galan, S, Vuorinen, A, Sills, A, Pires, E, Wynne, G, Wilson, F, Russell, A

“…Employing a photoaffinity strategy to identify SMT C1100's binding site, a photolabelled SMT C1100 probe instead underwent FLuc-dependent photooxidation. …”

Sistem penjadualan mesin pengeluaran VTR-SMT di Hitachi Electronic Product (M) Sdn Bhd / by 349479 Anum Mahat

Sistem penjadualan mesin pengeluaran VTR-SMT di Hitachi Electronic Products (M) Sdn Bhd / by 349486 Noorasmira Abd Hamid

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

ISOLASI GEN smtAB BAKTERI RESISTEN LOGAM BERAT Pb DARI LIMBAH CAIR AGAR by Senja Ike Rismawati

“…Kemampuan bakteri dalam mereduksi logam berat Pb disebabkan karena adanya gen resisten, yaitu gen smtAB. Gen smtAB merupakan gen yang bekerja untuk menghasilkan protein pengikat logam berat yang disebut metallothionein. …”
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

Encoding floating-points using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks by Gadelha, M, Cordeiro, L, Nicole, D

“…This paper describes the support for encoding C/C++ programs using the SMT theory of floating-point numbers in ESBMC: an SMT-based context-bounded model checker that provides bit-precise verification of C and C++ programs. …”

Surface mount technology (SMT) microcontroller based radio frequency (RF) signal remote locator [electronic resource] / by 538081 Koay,Jian Cong, Kamal Khalil

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