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

A review of visual perception technology for intelligent fruit harvesting robots by Yikun Huang, Yikun Huang, Shuyan Xu, Hao Chen, Gang Li, Heng Dong, Jie Yu, Xi Zhang, Riqing Chen, Riqing Chen

“…This paper reviews the research progress in the visual perception technology for fruit picking robots, focusing on key technologies such as camera types used in picking robots, object detection techniques, picking point recognition and localization, active vision, and visual servoing. …”
Get full text

Classifying early apple scab infections in multispectral imagery using convolutional neural networks by Alexander J. Bleasdale, J. Duncan Whyatt

“…CNN models have previously been used to classify a range of apple diseases accurately but have primarily focused on identifying late-stage rather than early-stage detection. This study fine-tunes CNN models to classify apple scab symptoms as they progress from the early to late stages of infection using a novel multispectral (RGB-NIR) time series created especially for this purpose.This novel multispectral dataset was used in conjunction with a large Apple Disease Identification (ADID) dataset created from publicly available, pre-existing disease datasets. …”
Get full text

Effect of the COVID-19 Outbreak on Patients with Oral Premalignant Lesions and Patients Requiring Maxillofacial Prosthesis in a Tertiary Dental Care Centre, Kerala, India: A Cross-... by Kala Sukumaran, Ashish Rajasekaran, Smitha Ravindran, Sheela Virginia Rodrigues, Gigi Thomas

“…The implementation of preventive programs by the government has played a crucial role in improving patient prognosis through early detection. …”
Get full text

Parameter Design for Inter-Satellite Laser Link Acquisition Under Weak Light Conditions by Mengyang Zhao, Jia Shen, Juan Wang, Pan Li, Ruihong Gao, Ziren Luo

“…For the Taiji program or other LISA-like space-based gravitational wave (GW) detection missions, establishing laser links is a prerequisite for entering the normal science mode. …”
Get full text

Sampling and Comparison of Extraction Techniques Coupled with Gas Chromatography–Mass Spectrometry (GC-MS) for the Analysis of Substrates Exposed to Explosives by Himanshi Upadhyaya, Alexis J. Hecker, John V. Goodpaster

Get full text

Performance Analysis of Deep Learning Architectures in Classifying Fake and Real Images by Arya Faisal Akbar, Putu Desiana Wulaning Ayu, Dandy Pramana Hostiadi

“…Dynamic Dropout was applied with a progressively increasing rate from 20 percent to 50 percent to enhance training stability and generalization. …”
Get full text

Evaluation of response to a cholera outbreak in January 2024 using the 7–1–7 timeliness metrics: a case study of Elegu Point of Entry, Uganda by Innocent Ssemanda, Brian Kibwika, Ritah Namusoosa, Benon Kwesiga, Lilian Bulage, Richard Migisha, Alex Riolexus Ario

Get full text

Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms by Egor V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin

Get full text

FLIM-Phasor Analysis (FLIM-ϕ) of Aβ-Induced Membrane Order Alterations: Towards a Cell-Based Biosensor for Early Alzheimer’s Disease Diagnosis by Antonella Battisti, Maria Grazia Ortore, Silvia Vilasi, Antonella Sgarbossa

“…Alzheimer’s disease (AD) is a progressive neurodegenerative disorder, and its early detection can be critical for a prompt intervention that can potentially slow down the disease progression and improve the patient’s quality of life. …”
Get full text

High‐accuracy dynamic gesture recognition: A universal and self‐adaptive deep‐learning‐assisted system leveraging high‐performance ionogels‐based strain sensors by Yuqiong Sun, Jinrong Huang, Yan Cheng, Jing Zhang, Yi Shi, Lijia Pan

“…However, achieving rapid detection of subtle motions and timely processing of dynamic signals remain a challenge for sensors. …”
Get full text

Severity Estimation of Defects on Interpretation of Eddy-Current Defectograms by Egor V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin

Get full text

Editorial: Revolutionizing cancer care: the promise of liquid biopsy assays for healthcare equity by Chad Brenner, Chad Brenner, Carolyn Y. Fang

Get full text

VARIABILITY STRUCTURE AND GENETIC DETERMINATION OF PLANT PHENOLOGICAL TYPE (ACCORDING TO RESULTS OF TOBACCO RESEARCH) by A. E. Shpakov, Yu. A. Volchkov, V. V. Drobyshev

“…The objectives of the study were the detection of phenological traits essential for the evaluation of genetically determined differences in phenological type in tobacco and investigation of their genetics. …”
Get full text

Combining environmental DNA and remote sensing variables to model fish biodiversity in tropical river ecosystems by Robin Bauknecht, Loïc Pellissier, Sébastien Brosse, Vincent Prié, Manuel Lopes-Lima, Pedro Beja, Monika K. Goralczyk, Andrea Polanco Fernandez, Jorge A. Moreno-Tilano, Rafik Neme, Mailyn A. Gonzalez, Shuo Zong

Get full text

Case report: Carp edema virus infection in overwintering fish by Miroslava Palikova, Miroslava Palikova, Alena Balazova, Alena Balazova, Lubomir Pojezdal, Ivana Papezikova, Ivana Papezikova, Ivana Mikulikova, Ivana Mikulikova, Ivona Toulova, Ivona Toulova, Jitka Motlova, Jiri Pikula

“…Despite showing clinical signs suggestive of CEV infection, there was no gross pathology except for an increased amount of gill mucus, suggesting that CEV molecular detection may be dependent on infection progression. …”
Get full text

A Systematic Literature Review on SQL Injection Attacks by Maryam Mehmood, Asad Ijaz

“…The growth in quantity of internet clients and sites has made the web security circumstances progressively extreme. Structured Query Language Injection Attack (SQLIA) is a major threat to web applications. …”
Get full text

Rip Current Identification in Optical Images Using Wavelet Transform by Hsu-Min Wang, Dong-Jiing Doong, Jian-Wu Lai

“…To address this challenge, this study presents a novel approach for detecting rip currents in optical images using wavelet-based edge detection and image convolution techniques. …”
Get full text

An Advanced Recomposition-Based Displaying Technique: Maximizing Image Reconstruction for Virtual Museum Applications by Jingjie Zhao, Xin Shi, Olga Yezhova, Qinchuan Zhan, Xijing Zhang

“…GHAD progressively constructs Gaze Shift Paths (GSPs), aligning image processing with human gaze dynamics to maximize image reconstruction accuracy, while prioritizing key visual elements based on human attention patterns. …”
Get full text

Co-Community Network Analysis Reveals Alterations in Brain Networks in Alzheimer’s Disease by Xiaodong Wang, Zhaokai Zhang, Lingli Deng, Jiyang Dong

“…<b>Method:</b> With the research goal of addressing the limitations of BOLD signal-based brain networks constructed using Pearson correlation coefficients, individual brain networks and community detection are used to study the brain networks based on co-community probability matrices (CCPMs). …”
Get full text