On Boomerang Attacks on Quadratic Feistel Ciphers by Xavier Bonnetain, Virginie Lallemand

“…To address this shortfall, we propose an SMT model taking into account the boomerang constraints. …”
Get full text

Immunogenicity of SARS-CoV-2 spike antigens derived from Beta & Delta variants of concern by Bassel Akache, Tyler M. Renner, Matthew Stuible, Nazanin Rohani, Yuneivy Cepero-Donates, Lise Deschatelets, Renu Dudani, Blair A. Harrison, Christian Gervais, Jennifer J. Hill, Usha D. Hemraz, Edmond Lam, Sophie Régnier, Anne E. G. Lenferink, Yves Durocher, Michael J. McCluskie

“…Abstract Using our strongly immunogenic SmT1 SARS-CoV-2 spike antigen platform, we developed antigens based on the Beta & Delta variants of concern (VOC). …”
Get full text

Research on Real-Time Communication Algorithm of Substation Based on Time-Sensitive Network by Beilei Wang, Yang Liu, Chenyang Guo, Yan Song, Jidong Wang, Jinchao Xiao, Xiaoguang Chen

“…Based on satisfiability modulo theories (SMT), this study proposes a TSN routing and scheduling method by adding related scheduling constraints. …”
Get full text

Current scenario of covid 19 & impact of preventive strategies in curtailing its spread in a district of Gujarat by Piyushkumar C. Parmar, Sanjay Kumar, Aniruddha Gohel

Get full text

Low-Cost Optical pH Sensor with a Polyaniline (PANI)-Sensitive Layer Based on Commercial Off-the-Shelf (COTS) Components by Serguei Stoukatch, Marc Debliquy, Francois Dupont, Jean-Michel Redouté

“…The pH sensor is assembled using standard surface mounting technology (SMT).…”
Get full text

An Approach for Detecting Feasible Paths Based on Minimal SSA Representation and Symbolic Execution by Abdalla Wasef Marashdih, Zarul Fitri Zaaba, Khaled Suwais

“…The satisfiability modulo theory (SMT) solver was used to check the satisfiability of each path condition. …”
Get full text

Loop Invariants Elimination for Definite Iterations over Unchangeable Data Structures in C Programs by I. V. Maryasov, V. A. Nepomniaschy

“…At the proof stage the SMT-solver Z3 [12] is used. An example which illustrates the application of this technique is considered.he article is published in the authors’ wording.…”
Get full text

A Novel Microfluidic Device for Blood Plasma Filtration by Zaidon T. Al-aqbi, Salim Albukhaty, Ameerah M. Zarzoor, Ghassan M. Sulaiman, Khalil A. A. Khalil, Tareg Belali, Mohamed T. A. Soliman

“…Previously, we developed a microfluidic device featuring an electrokinetic size and mobility trap (SMT) for on-chip extract, concentrate, and separate small molecules from a biological sample like whole blood. …”
Get full text

Internet of things driven multilinear regression technique for fertilizer recommendation for precision agriculture by Praveen Kumar Kollu, Manoj L. Bangare, P. Venkata Hari Prasad, Pushpa M. Bangare, Kantilal Pitambar Rane, José Luis Arias-Gonzáles, Sachin Lalar, Mohammad Shabaz

Get full text

Characterization and Benchmark of a Novel Capacitive and Fluidic Inclination Sensor by Adrian Schwenck, Thomas Guenther, André Zimmermann

“…In contrast, the fluidic sensor can be produced by small- and medium-sized enterprises (SMEs) as well, since only surface mount technologies (SMT) are required. Three different variants of the fluidic sensor were investigated. …”
Get full text

A language for automatically enforcing privacy policies

“…We have implemented Jeeves as a Scala library using an SMT solver as a model finder. In this paper we describe the dynamic and static semantics of Jeeves and the properties about policy enforcement that the semantics guarantees. …”
Get full text

Tectonic Geomorphology of Escarpment In Yogyakarta And Surrounding Area by , D. H. Barianto.

“…This analysis comprises geomorphic indices that have been used successfully in studies of active tectonics, as the mountain front sinuosity index (Smt), stream gradient index (SL) and valley floor width to valley height ratio (Vt). …”

A guideline for greenhouse gas emission reduction and carbon sequestration in forest sector based on Thailand voluntary emission reduction programme by Yannawut Uttaruk, Khoa, Phung Van, Teerawong Laosuwan

Get full text

Enhancing seedling performance direct seeded rice under anaerobic germination condition by seed invigoration by Wahyuni, Sri, Agustiani, Nurwulan, Rumanti, Indrastuti Apri, Margaret, Swisci, Salma, Selly, Ardhiyanti, Shinta Dewi

Get full text

Proteomics shows the role of paederia scandens in ameliorating non-alcoholic fatty liver disease in a rat model by Wang, Jing, Tong, Tiejin, Wu, Qiang

Get full text

Twenty years of air pollutant index trend analysis in Kuching, Sarawak, Malaysia (2000-2019) by Siti Hasyyati Drahman, Hisyammudin Maseri, Maqueline Cyndi Nap, Zetty Baiduri Hossen

Get full text

Bibliometric analysis on biobutanol production research trends from 2010-2022 using scopus database by Muhd Arshad Amin, Hafiza Shukor, Muaz Mohd Zaini Makhtar, Mohd Ikhwan Ismail, Nur Amira Suriaty Yaakop, Mohamad Danial Shafiq, Noor Fazliani Shoparwe

Get full text

Investigation of thermomechanical analysis of carbon/epoxy composite for spacecraft structure material by Ibadi, Mahfud, Purnomo, Herry, Vicarneltor, David Natanael, Wibowo, Heri Budi, Setianto, Muhamad Hananuputra, Whulanza, Yudan

Get full text

Design And Development Of Boost A Converter Using Planar Inductor For Dual Supply Automotive System by Krishnan, Shashikumar

“…The work consists of design study of CCM DC-DC Boost Converter with E-I Planar core spiral PCB inductor using a SMT UCC38C43D PWM chip controller. The experimental results are obtained using the Planar spiral inductor DC-DC boost converter, designed to operate in CCM for 120W with an efficient of 85% and output voltage ripple of 5%.…”
Get full text

Modified Neh Heuristic On Makespan Reduction In Permutation Flow Shop Problems by Chong, Zheng Ziao

“…In each case study, the company involved was provided with a surface mounting technology (SMT) service. It has the capability of planning schedules by adopting the backward scheduling technique. …”
Get full text