Extension of Maxwell's equations for non-stationary magnetic fluids using gauss's divergence theorem by Mohammed Bouzidi, Abdelfatah NASRI, Mohamed Ben Rahmoune, Oussama Hafsi, Dessalegn Bitew Aeggegn, Sherif S. M. Ghoneim, Enas Ali, Ramy N. R. Ghaly

Get full text

Automated System for Teaching Computational Complexity of Algorithms Course by Vadim S. Roublev, Murad T. Yusufov

“…This article describes problems of designing automated teaching system for “Computational complexity of algorithms” course. …”
Get full text

Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography by M. . Anikeev, F. . Madlener, A. . Schlosser, S. A. Huss, C. . Walther

“…This work investigates the possibilities of automated proofs on the correctness of different algorithmic variants. …”
Get full text

Trust Domain Extensions Guest Fuzzing Framework for Security Vulnerability Detection by Eran Dahan, Itzhak Aviv, Michael Kiperberg

Get full text

Improved method of non-intrusive load monitoring based on compressed sensing by Bo Yuan, Hong Liu, Shaoyun Ge, Guoping Liu

Get full text

An Improved Pose Estimation Method Based on Projection Vector With Noise Error Uncertainty by Jiashan Cui, Changwan Min, Xiangyun Bai, Jiarui Cui

Get full text

Advanced Control Strategy for Induction Motors Using Dual SVM-PWM Inverters and MVT-Based Observer by Omar Allag, Abdellah Kouzou, Meriem Allag, Ahmed Hafaifa, Jose Rodriguez, Mohamed Abdelrahem

Get full text

IMPLEMENTATION OF TRAUMA-PROTECTING TECHNOLOGICAL LINES FOR TRANSPORTATION OF GRAIN CROPS by R. Mirskykh

“…Methods of theoretical mechanics, continuum mechanics, and the Federman–Buckingham theorem are used. Structural features of transport systems that affect the level of grain injury are analyzed, and improved approaches to their design are proposed. …”
Get full text

Multi-clause deduction algorithm based on dynamic combination optimization of strategies and its application(策略动态组合优化多元演绎算法及应用) by 郭海林(GUO Hailin), 曹锋(CAO Feng), 易见兵(YI Jianbing), 李俊(LI Jun), 吴贯锋(WU Guanfeng)

“…First-order logic automated theorem proving is an important research branch in the field of artificial intelligence, and the clause selection strategy plays an important role in improving the capability of theorem proving. …”
Get full text

MATHEMATICAL MODELS FOR DETERMINING THE PARETO FRONT FOR BUILDING TECHNOLOGICAL PROCESSES OPTIONS UNDER THE CONDITIONS OF INTERVAL PRESENTATION OF LOCAL CRITERIA by Vladimir Beskorovainyi, Lyudmyla Kolesnyk, Dr. Chinwi Mgbere

“…The goal of the work is to improve the efficiency of technologies of automated design of TP due to the development of mathematical models of the tasks of selecting subsets of effective design solutions with intervally specified characteristics of options. …”
Get full text

PneuX-Net: An Enhanced Feature Extraction and Transformation Approach for Pneumonia Detection in X-Ray Images by Kashif Munir, Muhammad Usama Tanveer, Hasan J. Alyamani, Amine Bermak, Atiq Ur Rehman

“…Gaussian Naïve Bayes (GNB) utilizes a probabilistic framework based on Bayes’ theorem to manage uncertainty in feature distributions. …”
Get full text

Existence and Controllability Results for Fractional Impulsive Integrodifferential Systems in Banach Spaces by Haiyong Qin, Xin Zuo, Jianwei Liu

Get full text

Design of a Novel Integral Sliding Mode-Based Composite Nonlinear Feedback Controller for Electrostatic MEMS Micromirror by Jun Wu, Wenbo Zhu, Bingjie Guan, Hui Chen

Get full text

Optical Frequency Comb-Based Continuous-Variable Quantum Secret Sharing Scheme by Runsheng Peng, Yijun Wang, Hang Zhang, Yun Mao, Ying Guo

Get full text

Legendre Cooperative PSO Strategies for Trajectory Optimization by Lei Liu, Yongji Wang, Fuqiang Xie, Jiashi Gao

Get full text

Entropy-Inspired Aperture Optimization in Fourier Optics by Marcos Miotti, Daniel Varela Magalhães

“…Our technique employs the mathematical formalism of the <i>H</i>-theorem, enabling us to directly access the information of an imaged object. …”
Get full text

Machine learning: enhanced dynamic clustering for privacy preservation and malicious node detection in industrial internet of things by Nabeela Hasan, Saima Saleem, Mudassir Khan, Abdulatif Alabdultif, Mohammad Mazhar Nezami, Mansaf Alam

“…Abstract The Industrial Internet of Things (IIoT)continues to redefine industrial automation through connected smart devices, yet it remains highly vulnerable to privacy breaches and malicious intrusions. …”
Get full text

Lightweight convolutional neural networks using nonlinear Lévy chaotic moth flame optimisation for brain tumour classification via efficient hyperparameter tuning by Amin Abdollahi Dehkordi, Mehdi Neshat, Alireza Khosravian, Menasha Thilakaratne, Ali Safaa Sadiq, Seyedali Mirjalili

“…NLCMFO integrates the Lévy flight, chaotic parameters, and nonlinear control mechanisms to enhance the exploration capabilities of the Moth Flame Optimiser during the search phase while also leveraging the Lévy flight theorem to improve the exploitation phase. To assess the efficiency of the proposed model, empirical analyses were performed using a dataset of 2314 brain tumour detection images (1245 images of brain tumours and 1069 normal brain images). …”
Get full text

Application of multi-beam line model based on computational geometry by Yuting Zhang, Zaibin Chang, Yaqin Qiao, Wenjuan Liu

“…Python programming is used to automate and simulate data processing, significantly improving both its efficiency and accuracy. …”
Get full text