Augmented Neural Lyapunov Control by Davide Grande, Andrea Peruffo, Enrico Anderlini, Georgios Salavasidis

“…This approach combines Artificial Neural Networks (ANNs) with Satisfiability Modulo Theories (SMT) solvers to synthesise stabilising control laws and to prove their formal correctness. …”
Get full text

Effects of short duration stress management training on self-perceived depression, anxiety and stress in male automotive assembly workers: a quasi-experimental study by Naing L, Rusli BN, Edimansyah BA

“…A SMT program consisting of aerobic exercise, stress management manual, video session, lecture, question and answer session, and pamphlet and poster session were conducted in the experimental group. …”
Get full text

The Effects Induced by Spinal Manipulative Therapy on the Immune and Endocrine Systems by Andrea Colombi, Marco Testa

“…Four studies examined the effects of SMT on the immune system and all of them were conducted on healthy individuals. …”
Get full text

Common origin of sterol biosynthesis points to a feeding strategy shift in Neoproterozoic animals by T. Brunoir, C. Mulligan, A. Sistiaga, K. M. Vuu, P. M. Shih, S. S. O’Reilly, R. E. Summons, D. A. Gold

“…In this paper, we explore the evolutionary history of the 24-C sterol methyltransferase (smt) gene in animals, which is required to make C28+ sterols. …”
Get full text

Trigger Selection Strategies to Stabilize Program Verifiers by Leino, K. Rustan M., Pit-Claudel, Clement F.

“…SMT-based program verifiers often suffer from the so-called butterfly effect, in which minor modifications to the program source cause significant instabilities in verification times, which in turn may lead to spurious verification failures and a degraded user experience. …”
Get full text
Get full text

Trigger Selection Strategies to Stabilize Program Verifiers by Leino, K. Rustan M., Pit-Claudel, Clément

“…SMT-based program verifiers often suffer from the so-called butterfly effect, in which minor modifications to the program source cause significant instabilities in verification times, which in turn may lead to spurious verification failures and a degraded user experience. …”
Get full text
Get full text

An analytical method for assessing stage-specific drug activity in Plasmodium vivax malaria: implications for ex vivo drug susceptibility testing. by Kerlin, D, Boyce, K, Marfurt, J, Simpson, J, Kenangalem, E, Cheng, Q, Price, R, Gatton, M

“…The ex vivo Schizont Maturation Test (SMT), originally developed for the study of P. falciparum, has been modified for P. vivax. …”

Partial discharge behaviours within a void-dielectric system under square waveform applied voltage stress by Illias, Hazlee Azil, Tunio, M.A., Bakar, Ab Halim Abu, Mokhlis, Hazlie, Chen, G.

Enhanced Heterogeneous Fenton-like Process for Sulfamethazine Removal via Dual-Reaction-Center Fe-Mo/rGO Catalyst by Weihua Qin, Yueming Ma, Ting He, Jingbin Hu, Pan Gao, Shaoxia Yang

“…The designed Fe-Mo/rGO catalyst exhibited excellent sulfamethazine (SMT) degradation efficiency in a broad pH range (4.8–8.4). …”
Get full text

Endovascular treatment for distal basilar artery occlusion stroke by Jiaxing Song, Zhou Yu, Jian Wang, Xiaojun Luo, Jie Du, Zhengxuan Tian, Shunyu Yang, Weihua Xie, Yuqi Peng, Jinlin Mu, Wenjie Zi, Shuchun Huang, Mei Yang

“…BackgroundThis study aimed to investigate the clinical outcomes of endovascular treatment (EVT) for distal basilar artery occlusion (BAO) and compare them with the outcomes of standard medical treatment (SMT) in daily clinical practice.MethodsPatients with distal BAO enrolled in the BASILAR study from January 2014 to May 2019 were included. …”
Get full text

Understanding Attitude towards Gender, Sexuality, Sexual Health Needs and Information Seeking Behaviour amongst First Year Medical Students: An Observational Study by Deepali Khatri, Mrunal R Shenwai, Priya Mardikar

“…The study population comprised of 314, first year medical students aged between 17 to 20 years at Smt. Kashibai Navale Medical College and General Hospital, Pune, Maharashtra, India. …”
Get full text

Assessment of Student’s Learning and Perception towards Case-based Learning Supplemented with Laboratory Reports in Biochemistry: A Cross-sectional Study by Tejas J Shah, Dipika P Baria, DVSS Ramavataram

“…Materials and Methods: This cross-sectional study was conducted at Biochemistry Department, Smt. B. K. Shah Medical College and Research Centre, Sumandeep Vidyapeeth, Vadodara, Gujarat, India, from November 2019 to April 2020, after prior permission of Institutional Ethics Committee. …”
Get full text

Outcomes of Endovascular Treatment versus Standard Medical Treatment for Acute Ischemic Stroke with Basilar Artery Occlusion: A Systematic Review and Meta-Analysis by Jia-Hung Chen, Sheng-Chieh Lin, Chien-Tai Hong, Lung Chan

“…This systematic review and meta-analysis compared the outcomes of patients with BAO undergoing EVT and standard medical treatment (SMT). Methods: The PubMed, Embase, and Cochrane Library databases were searched for eligible randomized control trials (RCTs) and non-RCTs involving patients with acute ischemic stroke and BAO undergoing EVT or SMT. …”
Get full text

Laparoscopic intragastric surgery in treating of gastric submucosal tumor and early gastric cancer by GUO Liangqi, YAN Zhilong, ZHANG Moucheng

“…The detection rate of gastric submucosal tumor (SMT) and early gastric cancer has been increasing year by year. …”
Get full text

Closed form solutions of heat and mass transfer in the flow of a MHD visco-elastic fluid over a porous stretching sheet by K. Ashokkunar, P.H. Veena, V.K. Pravin

Get full text

Spinal Anaesthesia for Lower Limb Orthopaedic Surgery in a Child with Spastic Cerebral Palsy by Jyoti Deshpande, Sanjana Nitin Nashine

Get full text

Manipulation of stator current signature for rotor asymmetries fault diagnosis of wound rotor induction machine by Mohammad Hoseintabar Marzebali, Vahid Abolghasemi, Saideh Ferdowsi, Reza Bazghandi

Get full text

Comparing the Combination of Banana Consumption and Deep Breathing Exercises with Banana Consumption Alone and Deep Breathing Exercises Alone for Anxiety, and Depression among Post... by Sheetal Namdeorao Sakharka, Raju Kamlakar Shinde, Ruchira Shrikant Anka, AARTI Rajendra Raut, Dinesh Vilasrao Mude, Samruddhi Subhashrao Gujar

Get full text

Electrocatalytic Treatment of Pharmaceutical Wastewater by Transition Metals Encapsulated by B, N-Doped CNTs by Ou Sha, Xifeng Lu, Pei Su

“…Overall, SMT degradation on the Co@BN-C cathode demonstrated better catalytic performance in real wastewater. …”
Get full text

A comparative analysis of paddy crop biotic stress classification using pre-trained deep neural networks by Naveen N. Malvade, Rajesh Yakkundimath, Girish Saunshi, Mahantesh C. Elemmi, Parashuram Baraki

Get full text