A Multi-Classifier-Based Recommender System for Early Autism Spectrum Disorder Detection using Machine Learning by Anita Vikram Shinde, Dipti Durgesh Patil

Get full text

SyGuS-Comp 2017: Results and Analysis by Alur, Rajeev, Fisman, Dana, Singh, Rishabh, Solar-Lezama, Armando

“…Such a synthesis problem can be formally defined in SyGuS-IF, a language that is built on top of SMT-LIB. The Syntax-Guided Synthesis Competition (SyGuS-Comp) is an effort to facilitate, bring together and accelerate research and development of efficient solvers for SyGuS by providing a platform for evaluating different synthesis techniques on a comprehensive set of benchmarks. …”
Get full text

Syntax-guided optimal synthesis for chemical reaction networks by Cardelli, L, Ceska, M, Fraenzle, M, Kwiatkowska, M, Laurenti, L, Paoletti, N, Whitby, M

“…We design and implement a novel algorithm for the optimal synthesis of CRNs that employs almost complete refutation procedure for SMT over reals and ODEs, and exploits a meta-sketching abstraction controlling the search strategy. …”

ERODE: A tool for the evaluation and reduction of ordinary differential equations by Cardelli, L, Tribastone, M, Tschaikowski, M, Vandin, A

“…As back-end ERODE uses the well-known Z3 SMT solver to compute the largest equivalence that refines a given initial partition of ODE variables. …”

Mathematical modelling of a rumour spreading with the attitude of adjusting mechanisms by Norhayati Rosli, Muhammad Fahmi Ahmad Zuber, Turab, Ali

Get full text

Keberkesanan penggunaan model dan OHP bagi pengajaran mata pelajaran lukisan teknik dan berkaitan dalam pendidikan teknik dan vokasional / by 337984 Naaim Khamis

“…Tinjauan ini dilakukan ke atas 164 orang murid dari tiga buah SMV dan tiga buah SMT yang terpilih. Kajian ke atas murid-murid sampel adalah menggunakan soalselidik dan temubual hasil daripada keberkesanan penggunaan ABM dalam pengajaran penulis di bilik darjah. …”

Tuning the immune response: sulfated archaeal glycolipid archaeosomes as an effective vaccine adjuvant for induction of humoral and cell-mediated immunity towards the SARS-CoV-2 Om... by Tyler M. Renner, Bassel Akache, Matthew Stuible, Nazanin Rohani, Yuneivy Cepero-Donates, Lise Deschatelets, Renu Dudani, Blair A. Harrison, Jason Baardsnes, Izel Koyuturk, Jennifer J. Hill, Usha D. Hemraz, Sophie Régnier, Anne E. G. Lenferink, Yves Durocher, Michael J. McCluskie

“…An updated version of our resistin-trimerized SmT1 corresponding to the B.1.1.529 variant was successfully generated in our Chinese Hamster Ovary (CHO) cell-based antigen production platform and characterized, revealing some differences in protein profile and ACE2 binding affinity as compared to reference strain-based SmT1. …”
Get full text

Aloe Vera-Mediated Te Nanostructures: Highly Potent Antibacterial Agents and Moderated Anticancer Effects by David Medina-Cruz, Ada Vernet-Crua, Ebrahim Mostafavi, María Ujué González, Lidia Martínez, A-Andrew D. Jones III, Matthew Kusper, Eduardo Sotelo, Ming Gao, Luke D. Geoffrion, Veer Shah, Grégory Guisbiers, Jorge L. Cholula-Díaz, Christelle Guillermier, Fouzia Khanom, Yves Huttel, José Miguel García-Martín, Thomas J. Webster

Get full text

De novo transcriptome assembly and the putative biosynthetic pathway of steroidal sapogenins of Dioscorea composita. by Xia Wang, Dijia Chen, Yuqi Wang, Jun Xie

“…The nucleotide and protein sequences and conserved domains of four related genes (HMGR, CAS, SQS, and SMT1) were highly conserved between D. composita and D. zingiberensis; but expression of these four genes is greater in D. composita. …”
Get full text

Application of translation technology based on AI in translation teaching by Yu Yuxiu

“…The statistical machine translation (SMT) algorithm was used to build the translation model, which was based on the statistical model. …”
Get full text

GENERAL SURGICAL EMERGENCIES DURING PREGNANCY by Dr. Harsh B. Vaidya

Get full text

Conflict Management and Resolution Strategies Between the School Management Team and Teachers in Public Schools by Thembani Gxhaweni, Bernadictus Plaatjies*

“…The findings revealed that conflict between the School Management Team (SMT) and teachers needs to be addressed to enhance an optimal school climate. …”
Get full text

Detection and Classification of Banana Leaf Disease Using Novel Segmentation and Ensemble Machine Learning Approach by Chaudhari Vandana, Patil Manoj P.

Get full text

Redetermination of the structure of anthracen-9-yl-methanol, C15H12O by Islor Arun M., Somashekara B., Garudachari B., Gerber Thomas, Hosten Eric, Betz Richard

Get full text

THE SYNTHESIS OF MODEL-BASED SYSTEMS ENGINEERING APPROACHES AND TOOLS INTO A METHODOLOGICAL TOOLKIT FOR THE DEVELOPMENT OF TECHNICAL SYSTEMS: THEORY, ITS VERIFICATION AND VALIDATIO... by Denis A. Shpotya, Alexey A. Romanov

“…The paper raises the question, "Is it possible to make available MBSE SW and methodological tools (SMT) to a wide audience of users?" To address this question the following MBSE tools were considered: SysML, Quality Function Deployment (QFD) and House of Quality (HoQ). …”
Get full text

Sexual Violence Management Through Polygraph and Psychological Intervention by Vikas S Minchekar

Get full text

Marginal socio-economic effects of an employer’s efforts to improve the work environment by Mahmoud Rezagholi

“…Methods Data were collected from Swedish company Sandvik Materials Technology (SMT) through a work environment survey in April 2014. …”
Get full text

Study of prevalence and operative results of fracture shaft femur in adults by Poojan V Shah, Parag M Tank, Nimish B Patel, Keval S Italiya

“…Materials and Methods: This study is a retrospective study of 35 patients with proximal, mid-shaft, and extra-articular distal shaft femur fractures admitted to Smt. SCL Municipal Hospital for 3 years from May 2019 to May 2022. …”
Get full text

Nonpolynomial Spline for Numerical Solution of Singularly Perturbed Convection-Diffusion Equations with Discontinuous Source Term by Shilpkala T. Mane, Ram Kishun Lodhi

Get full text

On the Development of a Surrogate Modelling Toolbox for Virtual Assembly by Manuel Kaufmann, Ira Effenberger, Marco F. Huber

“…A Surrogate Modelling Toolbox (SMT) is developed that is intended to cover the variety of joining processes by the implementation of suitable SMs. …”
Get full text