Results 1 to 10 of about 544,510 (192)
Heuristic Methods for Security Protocols [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 Model checking is an automatic verification technique to verify hardware and software systems. However it suffers from state-space explosion problem. In this paper we address this problem in the context of cryptographic protocols by proposing a security ...
Qurat ul Ain Nizamani, Emilio Tuosto
doaj +6 more sources
Many‑objective meta-heuristic methods for solving constrained truss optimisation problems: A comparative analysis [PDF]
MethodsX, 2023 Many-objective truss structure problems from small to large-scale problems with low to high design variables are investigated in this study. Mass, compliance, first natural frequency, and buckling factor are assigned as objective functions.
Natee Panagant +4 more
doaj +2 more sources
Normalization of Large-Scale Transcriptome Data Using Heuristic Methods [PDF]
Bioinformatics and Biology Insights, 2023 In this study, we introduce an artificial intelligent method for addressing the batch effect of a transcriptome data. The method has several clear advantages in comparison with the alternative methods presently in use.
Arthur Yosef +3 more
doaj +2 more sources
Reference Evapotranspiration Modeling Using New Heuristic Methods [PDF]
Entropy, 2020 The study investigates the potential of two new machine learning methods, least-square support vector regression with a gravitational search algorithm (LSSVR-GSA) and the dynamic evolving neural-fuzzy inference system (DENFIS), for modeling reference ...
Rana Muhammad Adnan +6 more
doaj +2 more sources
A Review on Path Planning Algorithms for Mobile Robots [PDF]
Engineering and Technology Journal, 2021 Mobile robots use is rising every day. Path planning algorithms are needed to make a traveler of robots with the least cost and without collisions.
Mustafa Abed, Omar Lutfy, Qusay Al-Doori
doaj +1 more source
An Imitation and Heuristic Method for Scheduling with Subcontracted Resources
Mathematics, 2021 A scheduling problem with subcontracted resources is widely spread and is associated with the distribution of limited renewable and non-renewable resources, both own and subcontracted ones based on the work’s due dates and the earliest start time ...
Anna Antonova +2 more
doaj +1 more source
HDNA : Heuristic DNA Computing Algorithm [PDF]
Engineering and Technology Journal, 2009 The proposed system is based on embedded the heuristic search in DNA search algorithm so to make it more efficient and flexible. The HDNA system is constructed to improve the work of the DNA computing algorithm and enhance the measurement criteria of it ...
Ahmed Tariq Sadiq +1 more
doaj +1 more source
Human resources management simulation in the IT-labor market
Вісник Харківського національного університету імені В.Н. Каразіна: Серія Економіка, 2021 The article developed a mathematical model of personnel management, taking into account the specifics of the activities of IT companies. The relevance of this study is due to the fact that the tasks of personnel management are subjective.
I. Ivchenko, L. Lingur, T. Filatova
doaj +1 more source
Waste Management with the Use of Heuristic Algorithms and Internet of Things Technology
Sensors, 2022 Studies have been performed to improve the process of waste management. They were fulfilled by changing the base of waste logistics management using a combination of intelligent algorithms and the IMPACT IoT platform instead of a human factor.
Anna Burduk +5 more
doaj +1 more source
Heuristic Optimization Approaches for Capacitor Sizing and Placement: A Case Study in Kazakhstan
Energies, 2022 Two methods for estimating the near-optimal positions and sizes of capacitors in radial distribution networks are presented. The first model assumes fixed-size capacitors, while the second model assumes controllable variable-size capacitors by changing ...
Olzhas Baimakhanov +3 more
doaj +1 more source