Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms by Ivan M. Chernenko, Igor S. Anureev

Get full text

Synthesis of a Generalized Algorithm for Processing and Generating Data on Reflected Signals from Complex Targets by Xung Ha Vo, Trung Kien Nguyen, Phung Bao Nguyen, Quang Hieu Dang

Get full text

Estimation and Optimization of the Hydrostatic Height of Waterway Embankment Using Taguchi-Based Honey Badger Algorithm by Swarnima Subhadarsini, Debabrata Giri, Sudhanshu Das

Get full text

Impact of surrogate model accuracy on performance and model management strategy in surrogate-assisted evolutionary algorithms by Yuki Hanawa, Tomohiro Harada, Yukiya Miura

Get full text

Intelligent recognition algorithm for hull segment closure surface components based on improved PointNet++ by Rui LI, Yirong ZHAO, Shilin HUO, Ji WANG, Weidong SHI

Get full text

Algorithm of appointment (examination; consultation) of patients under follow-up care by a general practitioner by R. N. Shepel, P. V. Ipatov, L. Yu. Drozdova, А. M. Kalinina, M. M. Lukyanov, S. Yu. Martsevich, O. M. Drapkina

Get full text

A new approach to error inequalities: From Euler-Maclaurin bounds to cubically convergent algorithm by Miguel Vivas-Cortez, Usama Asif, Muhammad Zakria Javed, Muhammad Uzair Awan, Yahya Almalki, Omar Mutab Alsalami

Get full text

Study the Relationship between the University Student and Teacher using the Principal Component Analysis and Genetic Algorithms by Sahar Mahmood

Get full text

A algorithm for low light image enhancement in coal mine underground based on illumination constraints by Yuchen BAI, Zuohua MIAO, Houyou XU, Mengting WANG

Get full text

Optimizing Sentiment Analysis of Digital Wayang Viewer Comments using SMOTE and the Naïve Bayes Algorithm by mawar hardiyanti, Maria Karmelia Fajarlestari

Get full text

The Active and Reactive Power Generation Reduction Based on Optimal location of UPFC Based on Genetic Algorithm by Sana Khalid Abd Al Hassan, Firas Mohammed Tuaimah, Yasser Nadhum Abd, Ali Adil Al-Lami

Get full text

Improved sine-cosine algorithm-based power system stability under different fault conditions by Sritosh Kumar Sahoo, Manoj Kumar Kar, Sanjay Kumar, Sanjay Kumar, Rabindra Nath Mahanty

Get full text

Heating Load Prediction with Meta-Heuristic ‎Algorithms and Adaptive Neuro-Fuzzy ‎Inference System Integration by Seyed Hadi Seyed Hatami, Reza Seifi Majdar

Get full text

An enhanced tabu search algorithm for resource-constrained project scheduling with a flexible project structure by Chunlai Yu, Xiaoming Wang, Qingxin Chen

Get full text

Early Identification of Skin Cancer Using Region Growing Technique and a Deep Learning Algorithm by Suhendro Y. Irianto, Ryan Yunandar, M. S. Hasibuan, Deshinta Arrova Dewi, Nualyai Pitsachart

Get full text

Prediction of energy consumption in four sectors using support vector regression optimized with genetic algorithm by Md. Sadikul Hasan, Md. Tarequzzaman, Md. Moznuzzaman, Md Abdul Ahad Juel

Get full text

An Apriori algorithm-based association rule analysis to identify acupoint combinations for treating uremic pruritus by Ping-Hsun Lu, Chien-Cheng Lai, Ling-Ya Chiu, I-Hsin Lin, Chih-Chin Iou, Po-Hsuan Lu

Get full text

A low-complexity AMP detection algorithm with deep neural network for massive mimo systems by Zufan Zhang, Yang Li, Xiaoqin Yan, Zonghua Ouyang

Get full text

Development of Robot Feature for Stunting Analysis Using Long-Short Term Memory (LSTM) Algorithm by Muhammad Rahadian Abdurrahman, Halim Al Aziz, Farras Adhani Zayn, Muhammad Agus Purnomo, Heru Agus Santoso

Get full text

Algorithm of software package of intellectual decision support when designing cyber security system at the enterprise by E. A. Vitenburg, A. V. Nikishova

Get full text