Existence of Solutions for Boundary Value Problem of a Caputo Fractional Difference Equation by Zhiping Liu, Shugui Kang, Huiqin Chen, Jianmin Guo, Yaqiong Cui, Caixia Guo

Get full text

Cell Area-Based Method for Analyzing the Coverage Capacity of Satellite Constellations by Zhiming Song, Haidong Liu, Guangming Dai, Maocai Wang, Xiaoyu Chen

“…The classical net point method is one of the most commonly used algorithms in resolving this problem, indicating that the computation efficiency significantly depends on the high-precision requirement. …”
Get full text

Blended Features Classification of Leaf-Based Cucumber Disease Using Image Processing Techniques by Jaweria Kainat, Syed Sajid Ullah, Fahd S. Alharithi, Roobaea Alroobaea, Saddam Hussain, Shah Nazir

Get full text

Pattern Formation in a Reaction-Diffusion Predator-Prey Model with Weak Allee Effect and Delay by Hua Liu, Yong Ye, Yumei Wei, Weiyuan Ma, Ming Ma, Kai Zhang

Get full text

The Use of Different Image Recognition Techniques in Food Safety: A Study by Rijwan Khan, Santosh Kumar, Niharika Dhingra, Neha Bhati

“…This article outlines the essential parts of a computer vision system. In order to avoid foodborne disease and ensure food security, fast and effective detection of pathogenic microorganisms is crucial for public safety biomonitoring. …”
Get full text

Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives by Rui Wang, Wanwei Liu, Tun Li, Xiaoguang Mao, Ji Wang

Get full text

Calculating norms in the spaces l∞(Γ)/c0(Γ) and l∞(Γ)/c(Γ) by Roman Sznajder

“…We explicitly compute norms in the quotient spaces l∞(Γ)/c0(Γ) and l∞(Γ)/c(Γ).…”
Get full text

Experience of automated design of rigging in the Chief Metallurgist department of Minsk Tractor plant by E. G. Shvarts, A. E. Bazylchik

“…The authors of the article describe changes in preparation process of cast parts manufacture caused by application of three-dimension computer design.…”
Get full text

EXPERIMENTAL INVESTIGATIONS OF THE PROCESS OF ROLLING STRIPS OF VARIABLE THICKNESS WITH A LOCAL BEND by V. A. Korol', L. A. Isaevich, D. M. Ivanickij, A. I. Gordienko

“…The results of computer simulation and experimental investigations of the rolling process of strip blanks on the profiled mandrel using two processing schemes…”
Get full text

Double-coset enumeration algorithm for symmetrically generated groups by Mohamed Sayed

“…A double-coset enumeration algorithm for groups generated by symmetric sets of involutions together with its computer implementation is described.…”
Get full text

Fast forward modeling and response analysis of extra-deep azimuthal resistivity measurements in complex model by Pan Zhang, Shaogui Deng, Xiyong Yuan, Fen Liu, Weibiao Xie

“…By leveraging the symmetry of simulated signals in the spectral domain, the algorithm reduces computation time by 50%, significantly enhancing computational efficiency while preserving accuracy. …”
Get full text

A Water Management Model for Toshka Depression by K. M. Fassieh, M. A. Zaki

“…In order to provide the required assessment quantitatively, we developed a numerical model which computes TD mass balance and interbasin water movements. …”
Get full text

Protect or prevent? A practicable framework for the dilemmas of COVID-19 vaccine prioritization. by Raghu Arghal, Harvey Rubin, Shirin Saeedi Bidokhti, Saswati Sarkar

“…Answering such questions often becomes computationally intractable given that network size can exceed millions. …”
Get full text

A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System by Marcin Wojnakowski, Maxim Maliński, Remigiusz Wiśniewski, Andrzej Obuchowicz, Zhiwu Li, Dawid Konarczak

“…The proposed method is based on the computation of transition invariant coverage to detect possible errors in the modelled system. …”
Get full text

TAS Scheduling With Grouping Flows by Hironao Abe, Yuhei Kawakami, Hideo Kawata, Takashi Nakanishi, Tomoaki Yoshida

“…This paper proposes a method to reduce the computational complexity of TAS schedules for the problem that the computation time increases exponentially as the amount of scheduled traffic (ST) flows increases. …”
Get full text

Three-Dimensional Microwave Imaging for Concealed Weapon Detection Using Range Stacking Technique by Weixian Tan, Pingping Huang, Zengshu Huang, Yaolong Qi, Wenqin Wang

“…Finally, the proposed method is validated through extensive computer simulations and real-field experiments. The results show that accurate 3D image can be generated at a very high speed by utilizing the proposed algorithm.…”
Get full text

Simulating the Emergence and Survival of Mutations Using a Self Regulating Multitype Branching Processes by Charles J. Mode, Towfique Raj, Candace K. Sleeman

“…During the lifespan of Fisher, computer technology had not advanced to a point at which it became an effective tool for simulating the phenomenon of the emergence and survival of mutations, but given the wide availability of personal desktop and laptop computers, it is now possible and financially feasible for investigators to perform Monte Carlo Simulation experiments. …”
Get full text

Development of Integrated Choice and Latent Variable (ICLV) Models Using Matrix-Based Analytic Approximation and Automatic Differentiation Methods on TensorFlow Platform by Jie Ma, Xin Ye, Kun Huang

“…It is found that the parameter estimates and standard error estimates are acceptable for both models and the computational time is expected to decrease using tensor data structures on the TensorFlow platform. …”
Get full text

An Analytical Method for Determining the Bottom-Hole Pressure of Vertical Well With Multiple Fractures by Longxin Li, Tao Qi, Changcheng Yang, Xian Peng, Tao Li, Die Hu

“…Sequentially, the validations of computational method and computational codes contain are presented. …”
Get full text

A Combination of Classification Robust Adaptive Kalman Filter with PPP-RTK to Improve Fault Detection for Integrity Monitoring of Autonomous Vehicles by Hassan Elsayed, Ahmed El-Mowafy, Amir Allahvirdi-Zadeh, Kan Wang, Xiaolong Mi

“…The method reduced FDE computational load by 50–99.999% compared to other approaches.…”
Get full text