The Comparison between Aristotle's and Frege's Analyses of the Categorical Proposition [PDF]
Journal of Philosophical Investigations, 2022 The main question of this article is that what are the important differences or similarities between Aristotle's and Frege's analysis of the categorical proposition?
Ahmad Hamdollahi
doaj +1 more source
Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques [PDF]
International Conference on Software Engineering, 2021 Statistical fault localization (SFL) techniques use execution profiles and success/failure information from software executions, in conjunction with statistical inference, to automatically score program elements based on how likely they are to be faulty.
Yigit Küçük +2 more
semanticscholar +1 more source
A Lattice Linear Predicate Parallel Algorithm for the Dynamic Programming Problems [PDF]
International Conference of Distributed Computing and Networking, 2021 It has been shown that the parallel Lattice Linear Predicate (LLP) algorithm solves many combinatorial optimization problems such as the shortest path problem, the stable marriage problem and the market clearing price problem.
V. Garg
semanticscholar +1 more source
On the Lattice of $ES_I$-closed Classes of Multifunctions on Two-elements Set
Известия Иркутского государственного университета: Серия "Математика", 2021 The paper considers multifunctions on a two-element set with superposition and the equality predicate branching operator. The superposition operator is based on the intersection of sets. The main purpose of the work is to describe all closed classes with
V.I. Panteleyev, E. S. Taglasov
doaj +1 more source
Integration of factor analysis and Tsukamoto’s fuzzy logic method for quality control of credit provisions in rural banks [PDF]
Decision Science Letters, 2023 Giving credit to debtors can pose a default risk. This risk arises because of an error in analyzing the credit risk rate of the debtor. Therefore, this study aims to design a framework for analyzing the credit risk rate of debtors so that the ...
Yuyun Hidayat +6 more
doaj +1 more source
Determinants of Environmental Quality in Indonesia
Journal of Indonesian Applied Economics, 2023 Purpose This research analyzes the determinants of environmental quality in 32 Indonesian provinces in the period between 2013-2019. Design/methodology/approach This research method used an ordinal logistic regression analysis approach where the ...
Peris Frengki Butarbutar
doaj +1 more source
The Effect of Demographic Variables on Teachers Decision to Quit or Stay on the Teaching Profession
Gagasan Pendidikan Indonesia, 2021 Demographic variables as predicate of public secondary school teachers' decision to quit or study in the teaching profession using Akwa Ibom, Nigeria as a case study was the central focus of this study.
Victor Mafone Alasa +1 more
doaj +1 more source
Research on National Pattern Reuse Design and Optimization Method Based on Improved Shape Grammar
International Journal of Computational Intelligence Systems, 2020 Considering the low degree of abstraction of traditional shape grammar in national pattern reuse design, this paper proposes a method based on the combination of improved shape grammar and an optimization algorithm to reuse national patterns design.
Ning Ding, Jian Lv, Lai Hu
doaj +1 more source
THE PROCEDURE DIRECTED SEARCH FOR SPECIFIC OPERATIONS ON ALGORITHMS
Vestnik KRAUNC: Fiziko-Matematičeskie Nauki, 2016 In this paper we propose a method for representing various-valued logic function in a logical neural network. This logical neural network will keep the totality of cause-andeffect relationships identified using various-valued logic functions with-in a ...
Dimitrichenko D. P.
doaj +1 more source
FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems [PDF]
Logical Methods in Computer Science, 2016 A data tree is an unranked ordered tree where each node carries a label from a finite alphabet and a datum from some infinite domain. We consider the two variable first order logic FO2(
Florent Jacquemard +2 more
doaj +1 more source