Exploring the impact of gamified learning on positive psychology in CALL environments: A mixed-methods study with Thai university students by Budi Waluyo, Francis G. Balazon

“…Thus, this study intends to contribute by implementing a 10-week gamified learning program using the Quizizz application within CALL classrooms at a university in Thailand. …”
Get full text

Estimation of Radiation Equivalent Dose and Lifetime Attributable Risk from Pediatric CAP CT Examination by Khalid M. Aloufi

“…Then, the EqDs were computed using the NCICT (National Cancer Institute dosimetry system for computed tomography) program, and LARs were estimated from the equivalent dose (EqD) results using age- and gender-specific cancer risk models found in the Committee on the Biological Effects of Ionizing Radiation (BEIR) VII Phase 2 (2006). …”
Get full text

Open Case Studies: Statistics and Data Science Education through Real-World Applications by Carrie Wright, Qier Meng, Michael R. Breshock, Lyla Atta, Margaret A. Taub, Leah R. Jager, John Muschelli, Stephanie C. Hicks

Get full text

Comparison of instrumental methods for color change assessment of Giomer resins by Luiza de Almeida Queiroz Ferreira, Rogéli Tibúrcio Ribeiro da Cunha Peixoto, Cláudia Silami de Magalhães, Tassiana Melo Sá, Monica Yamauti, Francisca Daniele Moreira Jardilino

Get full text

Radiomic features and tumor immune microenvironment associated with anaplastic lymphoma kinase-rearranged lung adenocarcinoma and their prognostic value by Ying Han, Wenya Feng, Wenya Feng, Huaxin Li, Hua Wang, Hua Wang, Zhaoxiang Ye

“…The number of CD8+ T cells and Human leukocyte antigen class I (HLA-I)/programmed death ligand 1 (PD-L1) expression were determined using immunohistochemistry. …”
Get full text

A Mixed Integer Formulation and an NSGA-II for the Cumulative Capacitated Vehicle Routing Problem With Priority Indexes by Karina Corona-Gutierrez, Samuel Nucamendi-Guillen, Iris Martinez-Salazar, J. Marcos Moreno-Vega

Get full text

A Make-to-Order Capacitated Lot-Sizing Model with Parallel Machines, Eligibility Constraints, Extra Shifts, and Backorders by Felipe T. Muñoz, Juan Ulloa-Navarro

“…The results show that optimal solutions can be obtained within reasonable computational times. For more computationally demanding instances, a runtime limit of 300 s is shown to improve solution quality while maintaining efficiency. …”
Get full text

Enhanced MILP Approach for Long-Term Multi-Vessel Maritime Inventory Routing with Application to Antarctic Logistics by Dagoberto Cifuentes-Lobos, Lorena Pradenas, Victor Parada

“…While existing models predominantly address short-term planning with single vessels, this research advances the field by presenting a tightened mixed-integer linear programming (MILP) model designed for long-term planning with multiple vessels. …”
Get full text

Combined application of methods of maximum consistency and anti-robust parameter estimation in the construction of regression models by S. I. Noskov, Yu. A. Bychkov

“…The unknown parameters of the model are calculated by reducing the original problem to a linear programming problem. Its solution should not cause computational difficulties due to the significant number of developed effective software tools. …”
Get full text

Goodness-of-Fit Test for the Bivariate Negative Binomial Distribution by Francisco Novoa-Muñoz, Juan Pablo Aguirre-González

Get full text

SELECTED ASPECTS OF DIGITAL REPRESENTATION OF INFORMATION SYSTEMS by A. Shuparskyy, Yuriy Furgala

“…From the viewpoint of the evolution of computing devices and corresponding use cases, the article structures an information systems timeline progressing through early electromechanical devices, electronic vacuum tubes, solid-state and integrated circuit electronics, the advent of microprocessors, personal and remote computing, and distributed systems of numerous autonomous devices, while exploring different approaches to a digital representation of computational entities. …”
Get full text

F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers by N. V. Shilov

“…A verifying compiler is a system computer program that translates programs written by man from a high-level language into equivalent executable programs, and besides, proves (veri¯es) mathematical statements speci¯ed by man about the properties of the programs being translated. …”
Get full text

Dynamic Deployment of Mobile Roadside Units in Internet of Vehicles by Alaa E. Abdel-Hakim, Wael Deabes, Kheir Eddine Bouazza, Abdel-Rahman Hedar

Get full text

Challenges and opportunities in atomistic simulations of glasses: a review by Liu, Han, Zhao, Zhangji, Zhou, Qi, Chen, Ruoxia, Yang, Kai, Wang, Zhe, Tang, Longwen, Bauchy, Mathieu

Get full text

A Single Layer Neural Network Implemented by a <inline-formula><tex-math notation="LaTeX">$4\times 4$</tex-math></inline-formula> MZI-Based Optical Processor by Farhad Shokraneh, Simon Geoffroy-Gagnon, Mohammadreza Sanadgol Nezami, Odile Liboiron-Ladouceur

“…Optical neural networks have proven to be promising in terms of computational speed and power efficiency, allowing for the increasingly large neural networks that are being created today. …”
Get full text

Digital Twin Based on CFD Modelling for Analysis of Two-Phase Flows During Pipeline Filling–Emptying Procedures by Duban A. Paternina-Verona, Oscar E. Coronado-Hernández, Vicente S. Fuertes-Miquel, Manuel Saba, Helena M. Ramos

Get full text

Intelligent Classifier for Identifying and Managing Sheep and Goat Faces Using Deep Learning by Chandra Shekhar Yadav, Antonio Augusto Teixeira Peixoto, Luis Alberto Linhares Rufino, Aedo Braga Silveira, Auzuir Ripardo de Alexandria

Get full text

Application of Patent Law to Software in the IoT Context by Nabeel Mahdi Althabhawi, Jeong Chun Phuoc, Zinatul Ashiqin Zainol, Zaid Abdi Alkareem Alyasseri

“…The study also discussed court cases related to software and computer program patents. Furthermore, it relies on an analytical discussion of statutes and legislations in the US, EU, UK, and Malaysia, concluding that there is a conflation of computer programs and software. …”
Get full text

Detailed Transfer Line Beam Characteristics at an Operational Proton Therapy Center [version 2; peer review: 2 approved] by George H. Gillespie, Joshua Konzer

“…Beam profile monitor (BPM) data collected along the beamlines provided detailed beam measurements. A computer tool, utilizing nonlinear constrained optimization programs that are integrated with a beam envelope code, was used to find detailed beam phase space parameters (centroids, sigma matrices) that reproduced the measured data. …”
Get full text

Tri-Level Adaptive Robust Optimization for the Optimal Charging Coordination of EVs Considering Grid Impact by Jessica Alice A. Silva, Juan Camilo Lopez, Nataly Banol Arias, Lucas Zenichi Terada, Marcos J. Rider

Get full text