Ranking Templates for Linear Loops [PDF]
Logical Methods in Computer Science, 2015 We present a new method for the constraint-based synthesis of termination arguments for linear loop programs based on linear ranking templates. Linear ranking templates are parameterized, well-founded relations such that an assignment to the parameters ...
Jan Leike, Matthias Heizmann
doaj +5 more sources
Ranking Functions for Size-Change Termination II [PDF]
Logical Methods in Computer Science, 2009 Size-Change Termination is an increasingly-popular technique for verifying program termination. These termination proofs are deduced from an abstract representation of the program in the form of "size-change graphs".
Amir M. Ben-Amram, Chin Soon Lee
doaj +4 more sources
Ranking Function Detection via SVM: A More General Method
IEEE Access, 2019 The existence of a ranking function implies the termination of a loop. Different methods are designed for detection of different classes of ranking functions.
Yue Yuan, Yi Li
doaj +3 more sources
Solving Neutrosophic Linear Programming Problems Using Exterior Point Simplex Algorithm [PDF]
Neutrosophic Sets and Systems, 2021 In this manuscript, three contributions are proposed. First contribution is proposing a good evaluation between the fuzzy and neutrosophic approaches using a novel fuzzy-neutrosophic transfer.
M Elsayed Badr +3 more
doaj +1 more source
LR-Type Fully Single-Valued Neutrosophic Linear Programming Problems [PDF]
Neutrosophic Sets and Systems, 2021 A single-valued neutrosophic set, an generalization of intuitionistic fuzzy set, is a powerful model to deal with uncertainty. In this study we present a method to solve LR-type single-valued neutrosophic linear programming problems by using unrestricted
Jamil Ahmed
doaj +1 more source
Intuitive multiple centroid defuzzification of intuitionistic Z-numbers [PDF]
Journal of Fuzzy Extension and Applications, 2022 In fuzzy decision-making, incomplete information always leads to uncertain and partially reliable judgements. The emergence of fuzzy set theory helps decision-makers in handling uncertainty and vagueness when making judgements.
Nik Muhammad Farhan Hakim Nik Badrul Alam +4 more
doaj +1 more source
A Modified Novel Method for Solving the Uncertainty Linear Programming Problems Based on Triangular Neutrosophic Number [PDF]
Transactions on Fuzzy Sets and Systems, 2022 Generally, linear programming (LP) problem is the most extensively utilized technique for solving and optimizing real-world problems due to its simplicity and efficiency.
Kshitish Mohanta +3 more
doaj +1 more source
Optimal solution of pentagonal fuzzy transportation problem using a new ranking technique [PDF]
Yugoslav Journal of Operations Research, 2023 In this article, we propose a method based on a new ranking technique to find optimal solution for a pentagonal fuzzy transportation problem. Firstly, the proposed ranking method which is based on the centroid concept is applied.
Bisht Monika, Beg Ismat, Dangwal Rajesh
doaj +1 more source
An Inventive Approach to Optimize Fuzzy Transportation Problem [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2020 The present paper wraps an innovative approach to optimize transportation problems through generalized trapezoidal numbers in a fuzzy environment. The main contribution here is to develop an innovative method to optimize the generalized fuzzy trapezoidal
Nirbhay Mathur, Pankaj Kumar Srivastava
doaj +1 more source
A Fuzzy C-means Algorithm for Clustering Fuzzy Data and Its Application in Clustering Incomplete Data [PDF]
Journal of Artificial Intelligence and Data Mining, 2020 The fuzzy c-means clustering algorithm is a useful tool for clustering; but it is convenient only for crisp complete data. In this article, an enhancement of the algorithm is proposed which is suitable for clustering trapezoidal fuzzy data.
J. Tayyebi, E. Hosseinzadeh
doaj +1 more source