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

“…To provide temporal logics with the ability to define properties of transformations that characterize the behavior ofreactive systems, we introduced new extensions ofthese logics, which have two distinctive features: 1) temporal operators are parameterized, and languages in the input alphabet oftransducers are used as parameters; 2) languages in the output alphabet oftransducers are used as basic predicates. …”
Get full text

Statistical Comparison between Pores and Sunspots during the Time Interval 2010–2023 by Yang Peng, Yu Fei, Nan-bin Xiang, Lin-hua Deng, Ting-ting Xu, Sheng Zheng, Shu-guang Zeng, Hai-yang Zhang, Shi-hu Liu

Get full text

w2v-SELD: A Sound Event Localization and Detection Framework for Self-Supervised Spatial Audio Pre-Training by Orlem Lima Dos Santos, Karen Rosero, Bruno Masiero, Roberto de Alencar Lotufo

Get full text

Expediency Analysis of Clustering Algorithms for Electric Two-Wheeler Driving Cycle Development Under Indian Smart City Driving Conditions by Azhaganathan Gurusamy, Akshat Bokdia, Harsh Kumar, A. Radhika, Bragadeshwaran Ashok, Chellamuthu Gunavathi

“…Further, the denoised speed data is utilized to extract the micro-trips and compute their driving parameters. Furthermore, the dimensions of the data are decreased through the utilization of principal component analysis. …”
Get full text

Pharmacological potential of 6,11-dihydro[1,2,4]triazolo[4’,3’:1,6]-pyrido[3,4-b]-5-carboxylic acid and its esters by S. O. Fedotov, A. S. Hotsulia

“…The online resource SwissADME has been used to analyse the physicochemical properties and pharmacokinetic parameters of the studied compounds. The molecular docking method, based on computational algorithms, has been used to predict and study interactions, including the identification of potential binding sites, estimation of energy parameters and spatial configuration of molecules. …”
Get full text

A Corn Point Cloud Stem-Leaf Segmentation Method Based on Octree Voxelization and Region Growing by Qinzhe Zhu, Ming Yu

“…Plant phenotyping is crucial for advancing precision agriculture and modern breeding, with 3D point cloud segmentation of plant organs being essential for phenotypic parameter extraction. Nevertheless, although existing approaches maintain segmentation precision, they struggle to efficiently process complex geometric configurations and large-scale point cloud datasets, significantly increasing computational costs. …”
Get full text

First-principles calculations on Ti2AlB2, Ti3AlB4 and Ti4AlB6, three potential new members of the orthorhombic MAB phase by Chen Tang, Lei Dong, Shihui Feng, Bowen Han, Mengying Liu, Zhaowei Liu, Yufei Tang, Kang Zhao

“…In this study, three potential Ti-based MABs (Ti2AlB2, Ti3AlB4 and Ti4AlB6) are predicted via first-principles calculations and density functional theory (DFT). The computational analyses confirm the thermodynamic and mechanical stability of these phases, with their lattice parameters determined, providing valuable references for future experimental endeavors. …”
Get full text

A Novel Phase Error Estimation Method for TomoSAR Imaging Based on Adaptive Momentum Optimizer and Joint Criterion by Muhan Wang, Silin Gao, Xiaolan Qiu, Zhe Zhang

“…Compared to conventional phase error calibration methods in a two-step iterative framework, our proposed method considers image features and parameter coupling relationships, thus achieving higher precision estimation while saving computational costs. …”
Get full text

Improving Vulnerability Management for Security-by-Design of Medical Devices by Emanuele Raso, Francesca Nanni, Francesco Lestini, Lorenzo Bracciale, Giorgia Panico, Giuseppe Bianchi, Giancarlo Orengo, Gaetano Marrocco, Pierpaolo Loreti

Get full text

Shape factor analysis of water and aluminium oxide nanoparticles in a porous medium with slip effects by Prasun Choudhary, K. Loganathan, Kavita Jat, Kalpna Sharma, S. Eswaramoorthi

Get full text

Deep Learning-Based Super-Resolution of Remote Sensing Images for Enhanced Groundwater Quality Assessment and Environmental Monitoring in Urban Areas by Peng Shu, Rana Waqar Aslam, Iram Naz, Bushra Ghaffar, Dmitry E. Kucher, Abdul Quddoos, Danish Raza, M. Abdullah-Al-Wadud, Rana Muhammad Zulqarnain

Get full text

A Multi-Class ECG Signal Classifier Using a Binarized Depthwise Separable CNN with the Merged Convolution–Pooling Method by Rui Zhang, Ranran Zhou, Zuting Zhong, Haifeng Qi, Yong Wang

“…To further reduce hardware resources, this work employs blockwise incremental calculation to eliminate redundant storage with computations. In addition, the R peak interval data are integrated with P-QRS-T features to improve the classification accuracy. …”
Get full text

Fabrication and in vivo testing of a sub-mm duckbill valve for hydrocephalus treatment by Yuna Jung, Daniel Gulick, Jennifer Blain Christen

Get full text

Simultaneous Learning Knowledge Distillation for Image Restoration: Efficient Model Compression for Drones by Yongheng Zhang

“…This dual-teacher approach enables the student model to learn from both degraded and clean images simultaneously, achieving robust image restoration while significantly reducing computational complexity. Experimental evaluations across five benchmark datasets and three restoration tasks—deraining, deblurring, and dehazing—demonstrate that, compared to the teacher models, the SLKD student models achieve an average reduction of 85.4% in FLOPs and 85.8% in model parameters, with only a slight average decrease of 2.6% in PSNR and 0.9% in SSIM. …”
Get full text

Foot Pressure-Based Abnormal Gait Recognition With Multi-Scale Cross-Attention Fusion by Menghao Yuan, Yan Wang, Xiaohu Zhou, Meijiang Gui, Aihui Wang, Chen Wang, Guotao Li, Hongnian Yu, Lin Meng, Zengguang Hou

“…Notably, these results are obtained with a lightweight architecture characterized by reduced FLOPs and parameter count, demonstrating that MSCAF-Gait offers both high accuracy and computational efficiency, making it well-suited for real-time deployment on wearable platforms.…”
Get full text

Chaotic dynamics analysis and digital hardware design of the Izhikevich neuron model by Mehdi Nadiri Andabili, Soheila Nazari, Tohid Moosazadeh

“…Therefore, the suggested hardware, whose features include low error rates, acceptable power consumption, and frequency capabilities, exhibits efficiency and impact in a variety of applications, such as modeling learning processes in the nervous system that are based on nonlinear and chaotic behaviors.…”
Get full text

DGTM: Deriving Graph from transformer with Mamba for panoptic scene graph generation by Youxuan Sun, Yunliang Chen, Xiaohui Huang, Yuewei Wang, Shaoqian Chen, Kangfei Yao, Ao Yang

Get full text

LCAT: A Lightweight Color-Aware Transformer With Hierarchical Attention for Leaf Disease Classification in Precision Agriculture by Parkpoom Chaisiriprasert, Khachonkit Chuiad

“…A key contribution of LCAT lies in its use of smaller patch sizes to extract features in high-resolution regions while maintaining shallow depth, which significantly reduces model complexity. …”
Get full text

A Lightweight Two-Step Detection Method for Real-Time Small UAV Detection by Sungkyu Jung, Jaeyeon Jang, Chang Ouk Kim

“…Additionally, our compression approach preserves critical UAV features by selectively removing low-importance parameters, significantly reducing the degree of redundancy while minimizing the induced detection performance loss.…”
Get full text

URBAN PASSENGER TRANSPORT ROAD NETWORKS: PROSPECTS OF METHODS’ OPTIMIZATION by S. M. Mochalin, J. A. Koleber

“…The authors revealed the main features of the optimization of the route networks of urban passenger transport in the conditions of the modern development of science and software and computing facilities in the studied area. …”
Get full text