Results 41 to 50 of about 196,243 (311)
On Ranking Function Synthesis and Termination for Polynomial Programs [PDF]
, 2020 We consider the problem of synthesising polynomial ranking functions for single-path loops over the reals with continuous semi-algebraic update function and compact semi-algebraic guard set.
Worrell, J. +6 more
core +4 more sources
FUZZY LOGIC TEST IN DRAWING AND CALCULATING DEFECTIVE RATIO CONTROL CHARTS IN INDUSTRIES COMPANY
Mağallaẗ Al-kūfaẗ Al-handasiyyaẗFor businesses to remain competitive in the market today, the quality of their products must either be improved upon or maintained. Therefore, creating a fresh strategy that might make more use of data from the production process has turned into a ...
Salman Hussien OMRAN +4 more
doaj +1 more source
Ranking-Based Deep Hashing Network for Image Retrieval
IEEE Access, 2022 In large-scale image retrieval, the deep learning-based hashing methods have significantly progressed. However, most of the existing deep hashing methods still have the problems of low feature learning efficiency and weak ranking relationship ...
Zhisheng Zhang +5 more
doaj +1 more source
A Novel Approach for Solving Linear Programming Problems with Intuitionistic Fuzzy Numbers
Fuzzy Optimization and Modeling, 2023 The literature of linear programming problem with trapezoidal intuitionistic parameters is full of solution approaches which are mainly ranking function based.
Ali Mahmoodirad
doaj +1 more source
An approach to optimize transportation problemswith neutrosophic numbers based on a newranking function [PDF]
Archives of Control SciencesA transportation problem (TP) is built on the framework of supply-demand and cost parameters which are uncertain in nature. Neutrosophic numbers are capable of handling incomplete information. This paper introduces a new solution approach to optimize TPs
Aakanksha Singh +3 more
doaj +1 more source
Subgroup Preference Neural Network
Sensors, 2021 Subgroup label ranking aims to rank groups of labels using a single ranking model, is a new problem faced in preference learning. This paper introduces the Subgroup Preference Neural Network (SGPNN) that combines multiple networks have different ...
Ayman Elgharabawy +2 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Leukemia is the most common childhood cancer in Mexico, and acute lymphoblastic leukemia (ALL) is the most frequent subtype. Exposure to high concentrations of benzene has been associated with ALL incidence, particularly in urban areas. This study evaluated the relationship between distance to benzene emission sources and the number
Orlando Rivera Zurita +5 more
wiley +1 more source
Ranking function synthesis for bit-vector relations [PDF]
, 2013 Ranking function synthesis is a key component of modern termination provers for imperative programs. While it is well-known how to generate linear ranking functions for relations over (mathematical) integers or rationals, efficient synthesis of ranking ...
Kroening, D +5 more
core +4 more sources
Ranking of Neutrosophic number based on values and ambiguities and its application to linear programming problem [PDF]
Neutrosophic Sets and SystemsThe goal of this article is to establish a methodology for ordering of single-valued neutrosophic numbers (SVN-numbers) on the basis of values and ambiguities.
Manas Karak +8 more
doaj +1 more source