Defect Detection: Combining Bounded Model Checking and Code Contracts by Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

Subjects: Get full text

Suggested cutoff tumor size for management of small EUS-suspected gastric gastrointestinal stromal tumors by Yu-Jen Fang, Tsu-Yao Cheng, Meng-Shun Sun, Chang-Shyue Yang, Jiann-Hwa Chen, Wei-Chih Liao, Hsiu-Po Wang

Subjects: Get full text

Precutting endoscopic band ligation-assisted resection versus endoscopic submucosal dissection in patients with small gastric submucosal tumors originating from the muscularis prop... by Mingfeng Liu, Rui Yuan, Ke Zhan, Yichun Yang, Shan Li, Liang Deng

Subjects: Get full text

Truncated Differential Attacks on Contracting Feistel Ciphers by Tim Beyne, Yunwen Liu

Subjects: Get full text

Adults with sensorimotor disorders: Enhanced physiological and psychological development following specific sensorimotor training by Mats eNiklasson, Peder eRasmussen, Irene eNiklasson, Torsten eNorlander

Subjects: Get full text

Impact of <i>Saccharomyces cerevisiae</i> on the Field of Single-Molecule Biophysics by David A. Ball, Binta Jalloh, Tatiana S. Karpova

Subjects: “…SMT…”
Get full text

Defect Detection: Combining Bounded Model Checking and Code Contracts by Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

Subjects: Get full text

Effect of Selenium Form and Salicylic Acid on the Accumulation of Selenium Speciation Forms in Hydroponically Grown Lettuce by Iwona Kowalska, Sylwester Smoleń, Małgorzata Czernicka, Maryia Halka, Kinga Kęska, Joanna Pitala

Subjects: Get full text

Second malignant tumors and non-tumor causes of death for patients with localized and regional kidney cancer after diagnosis by Luchen Yang, Xiaotian Wu, Jing Zhou, Pan Song, Zhenghuan Liu, Junhao Chen, Qiang Dong

Subjects: Get full text

Research on Industrial Internet Platform Architecture and Application based on Edge Intelligence 2.0 by Wei LIU, Wei ZHANG

Subjects: Get full text

Pertukaran status Sekolah Menengah Vokasional (SMV) ke Sekolah Menengah Teknik (SMT) : satu tinjauan terhadap pelajar-pelajar aliran teknikal dan vokasional di Selatan Semenanjung Malaysia / by 529046 Rahanem Muhamad Raside, Azlan Abdul Latib, Fakulti Pendidikan

Kajian terhadap kefahaman konsep bagi pembinaan geometri serta teknik pembelajaran yang diamalkan dalam lukisan geometri di kalangan pelajar aliran vokasional di SMT daerah Johor Bahru / by 407879 Nurhaslinda Hadli

1194 Mechanism of action of ivonescimab (AK112/SMT112): a first-in-class tetravalent Fc-silent bispecific antibody with dual blockade of PD-1 and VEGF that promotes cooperative biological effects by Baiyong Li, Tingting Zhong, Zhaoliang Huang, Xinghua Pang, Chunshan Jin, Xinrong He, Jose Montoya, Betty Chang, Michelle Xia, Jing Min

Pembelajaran berasaskan masalah (PBM) dalam memberikan langkah penyelesaian masalah, motivasi dan minat pelajar terhadap bab litar arus terus: satu kajian di SMT Bukit Katil, Melaka by Sari, Suhaizila

Get full text
Get full text
Get full text

Random Model Sampling: Making Craig Interpolation Work When It Should Not by Marat Akhin, Sam Kolton, Vladimir Itsykson

Subjects: Get full text

Switchable Piezoresistive SmS Thin Films on Large Area by Andreas Sousanis, Dirk Poelman, Christophe Detavernier, Philippe F. Smet

Subjects: “…semiconductor to metal transition (smt)…”
Get full text

Effective Calibration of Low-Cost Soil Water Content Sensors by Heye Reemt Bogena, Johan Alexander Huisman, Bernd Schilling, Ansgar Weuthen, Harry Vereecken

Subjects: Get full text

Methods for Large-Scale Time-Triggered Network Scheduling by Francisco Pozo, Guillermo Rodriguez-Navas, Hans Hansson

Subjects: Get full text

MLSA: a static bugs analysis tool based on LLVM IR by Hongliang Liang, Lei Wang, Dongyang Wu, Jiuyun Xu

Subjects: “…symbolic execution; bug detection; static program analysis; LLVM IR; SMT solver…”
Get full text

A case of EBV-associated adrenal leiomyoma by Takumasa Takemoto, Ikuko Kiriyama, Yoshifumi Sugawara, Chie Abe, Norihiro Teramoto, Katsuyoshi Hashine, Isao Yoshida, Akinori Asagi

Subjects: Get full text