On the Model Checking Problem for Some Extension of CTL* by Anton Romanovich Gnatenko, Vladimir Anatolyevich Zakharov

“…Sequential reactive systems include programs and devices that work with two streams of data and convert input streams of data into output streams. …”
Get full text

Analysis of the electric vehicle charging station coverage in an Italian alpine region by D. Bacilieri, M. Ciolli, P. Zatelli

“…From the point of view of data availability, the research highlighted that the quality of Open Data sources like Open Charge Map should be improved to obtain more reliable results.…”
Get full text

Large language models in oncology: a review by Fei-Fei Liu, David Chen, Srinivas Raman, Rod Parsa, Karl Swanson, John-Jose Nunez, Andrew Critch, Danielle S Bitterman

“…Large language models (LLMs) have demonstrated emergent human-like capabilities in natural language processing, leading to enthusiasm about their integration in healthcare environments. …”
Get full text

A comprehensive tool for embodied carbon quantification and supporting mitigation strategies in the Building sector by Miguel Martinho, Joana Fernandes, Ricardo Gomes, Paulo Lourador, Paulo Ferrão

“…Embodied carbon refers to the GHG emissions associated with the life-cycle of materials and construction processes of a building, including raw material extraction, manufacturing, construction, and eventual demolition or waste processing. …”
Get full text

AI Innovations in rPPG Systems for Driver Monitoring: Comprehensive Systematic Review and Future Prospects by Soha G. Ahmed, Katrien Verbert, Nazar Zaki, Ashraf Khalil, Hamad Aljassmi, Fady Alnajjar

“…Advanced technologies, notably camera-based systems using remote photoplethysmography (rPPG), are increasingly used in automotive safety to non-invasively monitor driver well-being and fatigue by measuring physiological metrics like heart and respiration rates. This review examines recent advancements in machine learning algorithms and signal processing for rPPG in driver monitoring. …”
Get full text

Barrio-Level Assessment of Solar Rooftop Energy and Initial Insights into Energy Inequalities in Puerto Rico by Carlos A. Peña-Becerra, Willian A. Pacheco-Cano, Daniel F. Aragones-Vargas, Agustín Irizarry-Rivera, Marcel Castro-Sitiriche

“…This study evaluates the potential of rooftop PV systems across Puerto Rico using the National Renewable Energy Laboratory’s (NREL) PV Rooftop Database, processing detailed roof surface data to estimate installed capacity, energy generation, Levelized Cost of Electricity (LCOE), and solar resource potential at municipal and barrio levels. …”
Get full text

A secure medical image encryption technique based on DNA cryptography with elliptic curves by V. N. Senthil Kumaran, T. Manikandan, Rajesh Kumar Dhanaraj, Taher Al-Shehari, Nasser A. Alsadhan, Shitharth Selvarajan

“…In these systems, medical imaging protection are important not only for clinical diagnosis, but also to protect the very sensitive and confidential patient data. With progress in imaging technologies and biomedical processing algorithms, the amount of image data increases rapidly. …”
Get full text

Advanced object detection for smart accessibility: a Yolov10 with marine predator algorithm to aid visually challenged people by Mahir Mohammed Sharif Adam, Hussah Nasser AlEisa, Samah Al Zanin, Radwa Marzouk

“…Moreover, the feature extraction process employs the VGG19 method to transform raw data into meaningful and informative features. …”
Get full text

Gestures in Language Instruction: Bridging The Gap for Effective Correction and Learning by Nirwanto Maruf, Dahlia Husain, Sri Mujayanah, Ella Aprilia Tiana, Kusumo Hadi Santoso

“…Through observational data and semi-structured interviews with language lecturers, the study provides comprehensive insights into the efficacy of gesture-based teaching methods. …”
Get full text

Neuroimaging informatics framework for analyzing rare brain metastasis patterns in pleural mesothelioma using hybrid PET CT by Sumit Kumar Agrawal, Indra Prakash Dubey, Anoop Kumar Nair, Anurag Jain, Abhishek Mahato, Rajeev Kumar

“…To assist thorough case analysis, a clinical informatics layer links imaging results with patient demographics, histopathology data, and treatment history. Validated using retrospective PET-CT data from mesothelioma patients with verified brain involvement, the approach shows increased sensitivity and specificity in finding mysterious metastatic foci. …”
Get full text

Investigation into the monitoring and control of mechanical dynamics in inclined mining equipment utilizing digital twin technology by Panshi XIE, Hang YANG, Yongping WU, Baofa HUANG, Weidian LIN, Leilei YI

“…This system facilitates data visualization, robust human-machine interaction, and process self-optimization during mining operations. …”
Get full text

Augmenting brain-computer interfaces with ART: An artifact removal transformer for reconstructing multichannel EEG signals by Chun-Hsiang Chuang, Kong-Yi Chang, Chih-Sheng Huang, Anne-Mei Bessas

“…Our approach offers a holistic, end-to-end denoising solution that simultaneously addresses multiple artifact types in multichannel EEG data. We enhanced the generation of noisy-clean EEG data pairs using an independent component analysis, thus fortifying the training scenarios critical for effective supervised learning. …”
Get full text

A cyber physical sustainable smart city framework toward society 5.0: Explainable AI for enhanced SDGs monitoring by Ali H. Hassan, Elsadig Musa Ahmed, Jamal M. Hussien, Riza bin Sulaiman, Mansoor Abdulhak, Hasan Kahtan

“…These components use four leading technologies: blockchain for secure data handling, B5G network function virtualizations, edge-cloud computing for scalable and flexible data processing and AI to deliver insights into the model’s data. …”
Get full text

An Integrated Implementation Framework for Warehouse 4.0 Based on Inbound and Outbound Operations by Jizhuang Hui, Shaowei Zhi, Weichen Liu, Changhao Chu, Fuqiang Zhang

“…Warehouse 4.0 adopts automation, IoT, and big data technologies to establish an intelligent warehousing system for efficient, real-time management of storage, handling, and picking. …”
Get full text

Large Language Model and Traditional Machine Learning Scoring of Evolutionary Explanations: Benefits and Drawbacks by Yunlong Pan, Ross H. Nehm

“…We measured scoring reliability (percentage agreement, kappa, precision, recall, F1), processing time, and explored contextual factors like ethics and cost. …”
Get full text

All-optical Fourier neural network using partially coherent light by Jianwei Qin, Yanbing Liu, Yan Liu, Xun Liu, Wei Li, Fangwei Ye

“…Optical neural networks present distinct advantages over traditional electrical counterparts, such as accelerated data processing and reduced energy consumption. While coherent light is conventionally used in optical neural networks, our study proposed harnessing spatially incoherent light in all-optical Fourier neural networks. …”
Get full text

TMBIM6 promotes glioma progression according to integrated bioinformatics and experimental evidence by Mst Sahida Khatun, Mohammad Mamun Ur Rashid, Ahsan Ullah, Hyung-Ryong Kim

“…Survival analysis confirmed the prognostic significance of TMBIM6 in glioma, while co-expression analysis identified positively and negatively correlated genes with TMBIM6, and Enrichment analysis suggested TMBIM6’s association with protein processing in the ER and NOD-like receptor signaling pathways. …”
Get full text

Empowering Indigenous Communities through Integrated Watershed Management and Micro-Hydropower: A Pathway to Nature-Based Solution and Carbon Sequestration in Ulu Papar by Long Alwin, Lasimbang Adrian, Ahmed Minhaz Farid, Bin Mokhtar Mazlin

“…Additionally, sustainable agriculture was promoted by providing training to communities for growing environmentally compatible crops and exploring value-added processing like fruit drying to enhance incomes. The study built community ownership by involving locals in system maintenance and operation. …”
Get full text

IDENTIFICATION OF DYNAMIC CHARACTERISTICS OF AIRCRAFT GAS TEMPERATURE SENSORS by A. F. Sabitov, I. A. Safina

“…The value of time constant of certain mathematical model of GTS can be realized with the help of regression analysis or the use of embedded resources of different data processing systems. Thus, the method gives an opportunity to increase the accuracy of identification of dynamic behavior of GTS.…”
Get full text

Exploring the Impact of Scenario-based Assessment and Dialogue Journal Writing Models on Developing Iranian EFL learners’ Writing Self-regulation Skills by Masumeh Rahimivand, Saeideh Ahangari, Nasrin Hadidi Tamjid

“…Objective: Classroom-based assessment techniques like scenario-based assessment and dialogue journal writing aim to evaluate learners' linguistic abilities through hypothetical authentic language use within the assessment's context, fostering confidential and learner-centered interactions. …”
Get full text