Topos Theory and Consistent Histories: The Internal Logic of the Set of all Consistent Sets [PDF]
A major problem in the consistent-histories approach to quantum theory is contending with the potentially large number of consistent sets of history propositions. One possibility is to find a scheme in which a unique set is selected in some way. However,
C. J. Isham +32 more
core +2 more sources
Optimising Wave Energy Plant Location Through Neutrosophic Multi‐Criteria Group Decision‐Making
ABSTRACT The global shift towards sustainable energy has intensified research into renewable sources, particularly wave energy. Pakistan, with its long coastline, holds significant potential for wave energy development. However, identifying optimal locations for wave energy plants involves evaluating complex, multi‐faceted criteria.
Hafiz Muhammad Athar Farid +4 more
wiley +1 more source
Smart City Lighting for All Ages: Age‐Adaptive Fuzzy Systems for Real‐Time Energy Management
Taking advantage of cutting‐edge technologies to efficiently control energy consumption while prioritizing public well‐being is a wise choice for the sustainable development of cities and societies. From this perspective, the proposed approach in this study, which employs real‐time electricity pricing, user age, and user preferences as input parameters
Mohammad Javad Kalani +2 more
wiley +1 more source
Completeness of a Hypersequent Calculus for Some First-order Gödel Logics with Delta [PDF]
All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus ...
Baaz, Matthias +2 more
core
A Neutrosophic Set‐Based Active Contour Model for Medical Image Segmentation
We propose a neutrosophic set‐based active contour model for accurate and efficient segmentation of magnetic resonance (MR) and retinal images. By combining neutrosophic truth, falsity, and indeterminacy subsets with a Heaviside‐based level set formulation, the method robustly handles noise, intensity inhomogeneity, and weak edges.
Kazım Hanbay
wiley +1 more source
On sets of graded attribute implications with witnessed non-redundancy
We study properties of particular non-redundant sets of if-then rules describing dependencies between graded attributes. We introduce notions of saturation and witnessed non-redundancy of sets of graded attribute implications are show that bases of ...
Vychodil, Vilem
core +1 more source
A Linear Diophantine Fuzzy Graph‐Theoretic Approach for Planar Dynamic Traffic Optimization
Dynamic urban traffic signal control systems face uncertainties such as fluctuating vehicle densities, unpredictable incidents, and varying driver behaviors, making precise decision‐making highly challenging. To address these complexities, fuzzy planar graphs have been employed for uncertainty modeling.
Waheed Ahmad Khan +5 more
wiley +1 more source
Heterogeneous Fuzzy Group Decision‐Making Model With Mixed Criteria
Organizational decisions, often originating from diverse groups of managers with varying criteria, encounter challenges due to the inherent ambiguity in human judgments, particularly those involving preferences. This paper proposes a nuanced solution using a heterogeneous fuzzy group decision‐making method, accommodating diverse criteria based on real ...
Akbar Karimi +3 more
wiley +1 more source
A Decision‐Making Problem for Smartphone Selection Using Neutrosophic Distance Measures
A neutrosophic distance measure using average functions is defined, and the metric axioms are verified by discussing its properties on a neutrosophic structure. Further, the similarity measure’s axioms are also derived for the complement of the proposed distance measure.
M. Arockia Dasan +5 more
wiley +1 more source
Almost structural completeness; an algebraic approach [PDF]
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e. rules that can
M. Stronkowski, Michał, Wojciech Dzik
core

