Formal Verification of Multi-Thread Minimax Behavior Using mCRL2 in the Connect 4 by Diego Escobar, Jesus Insuasti

“…The research aims to ensure that the algorithm behaves correctly in concurrent execution environments by providing a formal model and conducting rigorous verification. The parallel version of minimax distributes computations across multiple threads, with each thread evaluating different successor states concurrently. …”
Get full text

Dynamic Aggregation and Augmentation for Low-Resource Machine Translation Using Federated Fine-Tuning of Pretrained Transformer Models by Emmanuel Agyei, Xiaoling Zhang, Ama Bonuah Quaye, Victor Adeyi Odeh, Joseph Roger Arhin

“…In order to maximize model input, the study makes use of a carefully selected parallel English-Twi corpus that has been aligned and tokenized. …”
Get full text

Integrated Train Dispatching Capacity Calculation Method for Metro Vehicle Depot during Morning Peak Hours by HUANG Zongzhi, LI Zongran, CHEN Yao, BAI Yun

“…[Objective] The capacity bottlenecks and parallel operations throughout the full-process of integrated train dispatching from metro vehicle bases are not fully touched in existing section-based dispatching capacity studies. …”
Get full text

Secure and Scalable File Encryption for Cloud Systems via Distributed Integration of Quantum and Classical Cryptography by Changjong Kim, Seunghwan Kim, Kiwook Sohn, Yongseok Son, Manish Kumar, Sunggon Kim

“…The master node performs centralized decryption by collecting encrypted subsets, recovering the AES key, and executing decryption in parallel. Our evaluation using a real-world medical dataset shows that the proposed scheme achieves up to 2.37× speedup in end-to-end runtime and up to 8.11× speedup in encryption time over AES (Original). …”
Get full text

WormNet: A Multi-View Network for Silkworm Re-Identification by Hongkang Shi, Minghui Zhu, Linbo Li, Yong Ma, Jianmei Wu, Jianfei Zhang, Junfeng Gao

“…Specifically, we introduce a multi-order feature extraction module that captures a wide range of fine-grained features by utilizing convolutional kernels of varying sizes and parallel cardinality, effectively mitigating issues of high individual similarity and diverse poses. …”
Get full text

Study design of herbal medicine clinical trials: a descriptive analysis of published studies investigating the effects of herbal medicinal products on human participants by Nut Koonrungsesomboon, Chotiwit Sakuludomkan, Mingkwan Na Takuathung, Preeyaporn Klinjan, Suphunwadee Sawong, Pathirage Kamal Perera

“…However, concerns about scientific evaluation have prompted a study aiming to assess the study design of herbal medicine clinical trials. …”
Get full text

Determination of the Enantiomerization Barrier of Midazolam in Aqueous Conditions by Electronic Circular Dichroism and Dynamic Enantioselective HPLC/UHPLC by Francesca Romana Mammone, Daniele Sadutto, Eleonora Antoniella, Marco Pierini, Roberto Cirilli

Get full text

Online Educational Platforms: Classification and Criteria for Assessing by A. Kh. Shelepaeva

“…The second stage: we brainstormed a redundant set of evaluation parameters. In parallel, a search was made for various approaches to evaluating platform solutions. …”
Get full text

Comparing randomized trial designs to estimate treatment effect in rare diseases with longitudinal models: a simulation study showcased by Autosomal Recessive Cerebellar Ataxias us... by Niels Hendrickx, France Mentré, Alzahra Hamdan, Mats O. Karlsson, Andrew C. Hooker, Andreas Traschütz, Cynthia Gagnon, Rebecca Schüle, Matthis Synofzik, Emmanuelle Comets, ARCA Study Group, EVIDENCE-RND consortium

“…Abstract Parallel designs with an end-of-treatment analysis are commonly used for randomised trials, but they remain challenging to conduct in rare diseases due to small sample size and heterogeneity. …”
Get full text

Effect of dietary supplementation of selenium-L-methionine on growth, antioxidant capacity and resistance to nitrite stress of spotted seabass (Lateolabrax maculatus) under two rea... by Xiao Li, Jing Li, Kangle Lu, Xueshan Li, Kai Song, Ling Wang, Chunxiao Zhang

“…Each diet was fed to fish (2.60 ± 0.2 g) in two parallel treatments at 27 or 33 °C. The results showed that elevated temperature (33 °C) induced thermal stress in fish, and fish under thermal stress exhibited lower weight gain and hepatosomatic index but a higher condition factor compared to those reared at 27 °C. …”
Get full text

Hybrid Prosthesis versus Overdenture: Effect of BioHPP Prosthetic Design Rehabilitating Edentulous Mandible by Hanan Mohsen Al-Asad, Mahmoud Hassan El Afandy, Hebatallah Tarek Mohamed, Magda Hassan Mohamed

“…To compare the BioHPP (biocompatible high-performance polymer) as a substructure for the hybrid prosthesis versus the BioHPP bar supporting and retaining implant overdenture by radiographic evaluation to identify bone height alteration around the implants and to evaluate satisfaction based on visual analoge scale questionnaire. …”
Get full text

A total quality management action plan assessment model in supply chain management using the lean and agile scores by Madjid Tavana, Debora Di Caprio, Ramin Rostamkhani

“…Supply chain management (SCM) and total quality management (TQM) represent two parallel approaches to improving organizational performance. …”
Get full text

Morphological and structural complexity analysis of low-resource English-Turkish language pair using neural machine translation models by Mehmet Acı, Nisa Vuran Sarı, Çiğdem İnan Acı

“…As a highly agglutinative and morphologically complex language with limited high-quality parallel data, Turkish serves as a representative case for evaluating NMT systems on low-resource and linguistically challenging settings. …”
Get full text

Development of adaptive and emotionally intelligent educational assistants based on conversational AI by Rommel Gutierrez, William Villegas-Ch, Jaime Govea

“…To address this gap, this study proposes and evaluates an educational assistant based on conversational artificial intelligence, which integrates natural language processing, real-time emotional analysis, and dynamic cognitive adaptation. …”
Get full text

Washed up: the end of an era for adrenal incidentaloma CT by James H. Seow, Damien L. Stella, Christopher J. Welman, Arjuna J. Somasundaram, Jan F. Gerstenmaier

“…Abstract For over 20 years, the two key tenets of adrenal incidentaloma (AI) evaluation have been the upper threshold of 10 Hounsfield units (HU) on noncontrast CT (ncCT) to delineate benignity, and the utilisation of adrenal washout CT (AWCT) to evaluate those above this cutoff. …”
Get full text

Modeling and Predicting Time Series with Non-stationarity and Volatility by FENG Qiang, ZHAO Jianguang, YANG Rong, NIU Baoning

“…The LSTM-MH-SA model stacks attention heads in parallel to capture the volatility characteristics of different time periods in the sequence and connect them, improving the ability to capture global volatility information. …”
Get full text

Voice disorder in cystic fibrosis patients. by Bruna Mendes Lourenço, Kauê Machado Costa, Manoel da Silva Filho

“…Our results show that CF patients exhibit significant dysphonia and suggest they may potentially benefit from voice therapy as a parallel treatment strategy.…”
Get full text

Seamless Weather Data Integration in Trajectory-Based Operations Utilizing Geospatial Information by Sang-Il Kim, Donghyun Jin, Jiyeon Kim, Do-Seob Ahn, Kyung-Soo Han

“…The approach presented in this study marks a significant step toward effective TBO implementation and the advancement of future air traffic management. The evaluation of the 4DT-Wx system analyzed the accuracy of weather data processing and the performance of distributed processing, finding that the temperature (T) estimation had the highest accuracy, and that the parallel processing using Apache Spark was most effectively modeled by Ahmed et al.’s model. …”
Get full text

Blended Care Intervention for Cancer Aftercare in General Practice Centers: Protocol for a Randomized Controlled Trial by Michelle J M Smits, Catherine A W Bolman, Ilse Mesters, Lilian Lechner

“…MethodsA parallel-group design will compare an intervention group with a waiting list control group. …”
Get full text

Trajectories of mental health across the primary to secondary school transition by Caitlyn Donaldson, Jemma Hawkins, Frances Rice, Graham Moore

Get full text