Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA by Willem Conradie, Valentin Goranko, Dimiter Vakarelov

“…We present the core algorithm and illustrate it with some examples. We then prove its correctness and the canonicity of all formulae on which the algorithm succeeds. …”
Get full text

Experiments on Temperature Control using ON-OFF Algorithm combined with PID Algorithm by Mircea DULAU

“…The control strategy is a proportional-integrative one, preceded by an on-off algorithm. The most important data is presented on a graphical interface. …”
Get full text

A new evolutionary algorithm: Learner performance based behavior algorithm by Chnoor M. Rahman, Tarik A. Rashid

Subjects: “…Evolutionary algorithms…”
Get full text

SDWBF Algorithm: A Novel Pedestrian Detection Algorithm in the Aerial Scene by Xin Ma, Yuzhao Zhang, Weiwei Zhang, Hongbo Zhou, Haoran Yu

“…First, a weighted filtration algorithm for redundant frames was applied using the inter-frame pixel difference algorithm cascading vision and structural similarity, which solved the redundancy of the UAV video data, thereby reducing the delay. …”
Get full text

THE ALGORITHMIC APPROACH TO IMPROVEMENT OF WORK GENETIC ALGORITHM IN THE HOMOGENEOUS MINIMAX PROBLEM by Valery G. KOBAK, Dmitry V. TITOV, Valery V. KOBAK

“…The given work states an estimation to two updatings of genetic algorithm which give decisions very close to optimum, for polynom time. …”
Get full text

Comparative Study of RSA Asymmetric Algorithm and AES Algorithm for Data Security by Siti Alvi Sholikhatin, Adam Prayogo Kuncoro, Afifah Lutfia Munawaroh, Gilang Aji Setiawan

Subjects: Get full text

A constructive bandwidth reduction algorithm—A variant of GPS algorithm by L. Jones Tarcius Doss, P. Arathi

Subjects: Get full text

An Efficient Parameter Estimation Algorithm of the GTD Model Based on the MMP Algorithm by Xv Jia-Hua, Zhang Xiao-Kuan, Zheng Shu-Yu, Zong Bin-Feng, Ma Qian-Kuo, Wang Yang

Subjects: “…orthogonal matching pursuit (OMP) algorithm…”
Get full text

Algorithmic anxiety: Masks and camouflage in artistic imaginaries of facial recognition algorithms by Patricia de Vries, Willem Schinkel

“…This paper discusses prominent examples of what we call “algorithmic anxiety” in artworks engaging with algorithms. …”
Get full text

A Heuristic Integrated Scheduling Algorithm Based on Improved Dijkstra Algorithm by Pengwei Zhou, Zhiqiang Xie, Wei Zhou, Zhenjiang Tan

Subjects: “…Dijkstra algorithm…”
Get full text

Development of Navigation Control Algorithm for AGV Using D* search Algorithm by Jeong Geun Kim, Dae Hwan Kim, Sang Kwun Jeong, Hak Kyeong Kim, Sang Bong Kim

“…In this paper, we present a navigation control algorithm for Automatic Guided Vehicles (AGV) that move in industrial environments including static and moving obstacles using D* algorithm. …”
Get full text

Spike Neural Network Learning Algorithm Based on an Evolutionary Membrane Algorithm by Chuang Liu, Wanghui Shen, Le Zhang, Yingkui Du, Zhonghu Yuan

Subjects: “…Evolutionary membrane algorithm…”
Get full text

Improved MPPT Algorithm for Photovoltaic Systems Based on the Earthquake Optimization Algorithm by Efrain Mendez, Alexandro Ortiz, Pedro Ponce, Israel Macias, David Balderas, Arturo Molina

“…Therefore, different converters topologies, control algorithms, and techniques have been studied and developed in order to maximize the energy harvested by PV sources. …”
Get full text

A Hybrid Meta-Heuristic Algorithm based on Imperialist Competition Algorithm by R. Roustaei, F. Yousefi Fakhr

Subjects: “…Imperialist Competitive Algorithm…”
Get full text

Biclustering Performance Evaluation of Cheng and Church Algorithm and Iterative Signature Algorithm by I Made Sumertajaya Sumertajaya, Wiwik Andriyani Lestari Ningsih, Asep Saefuddin, Embay Rohaeti

Subjects: Get full text

Stuck With the Algorithm: Algorithmic Consciousness and Repertoire in Fridays for Future’s Data Contention by Giuliana Sorce

Subjects: “…algorithmic activism…”
Get full text

IDEFE algorithm: IDE algorithm optimizes the fuzzy entropy for the gland segmentation by Mingzhu Li, Ping Li, Yao Liu

Subjects: Get full text

An Algorithm to Compute the Character Access Count Distribution for Pattern Matching Algorithms by Sven Rahmann, Tobias Marschall

Subjects: Get full text

An Improved DV-Hop Algorithm Based on Artificial Fish Swarm Algorithm by X.Y. Yang, K. Rui

“…To solve this problem, a new AFSADV-Hop (Artificial Fish Swarm Algorithm DV-Hop) algorithm based on artificial fish swarm algorithm was proposed in this paper. …”
Get full text

Hippopotamus optimization algorithm: a novel nature-inspired optimization algorithm by Mohammad Hussein Amiri, Nastaran Mehrabi Hashjin, Mohsen Montazeri, Seyedali Mirjalili, Nima Khodadadi

“…According to the statistical post hoc analysis, the HO algorithm is determined to be significantly superior to the investigated algorithms. …”
Get full text