Results 71 to 80 of about 61,871 (198)
Attribute Implication Bases From Galois Connection Structures
Mathematical Methods in the Applied Sciences, Volume 49, Issue 4, Page 2729-2753, 15 March 2026.ABSTRACT Modeling knowledge systems by determining relationships among key variables have been and currently is a fundamental and nontrivial challenge in real‐world scenarios. Many approaches have been developed to reach this goal, but many of them are heuristic and require of alternative procedures to provide robust and tractable rules.
M. Eugenia Cornejo +2 more
wiley +1 more source
Completeness for the coalgebraic cover modality [PDF]
Logical Methods in Computer Science, 2012 We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional
Clemens Kupke +2 more
doaj +1 more source
Review of Memristors for In‐Memory Computing and Spiking Neural Networks
Advanced Intelligent Systems, Volume 8, Issue 3, March 2026.Memristors uniquely enable energy‐efficient, brain‐inspired computing by acting as both memory and synaptic elements. This review highlights their physical mechanisms, integration in crossbar arrays, and role in spiking neural networks. Key challenges, including variability, relaxation, and stochastic switching, are discussed, alongside emerging ...
Mostafa Shooshtari +2 more
wiley +1 more source
Information modeling of the normal forms of logical functions in Maple system [PDF]
ITM Web of ConferencesThe article discusses possible ways to use the Maple computer algebra system to obtain perfect conjunctive and disjunctive normal forms. Computer algebra systems make it possible to expand the possibilities for creating, applying and using mathematical ...
Olenev Aleksandr +3 more
doaj +1 more source
Digital Twin Simulations Toolbox of the Nitrogen‐Vacancy Center in Diamond
Advanced Quantum Technologies, Volume 9, Issue 3, March 2026.The Nitrogen‐vacancy (NV) center in diamond is a key platform within quantum technologies. This work introduces a Python based digital‐twin of the NV, where the spin dynamics of the system is simulated without relying on commonly used approximations, such as the adoption of rotating frame. The digital‐twin is validated through three different examples,
Lucas Tsunaki +3 more
wiley +1 more source
WIREs Data Mining and Knowledge Discovery, Volume 16, Issue 1, March 2026.This systematic review maps 50 years of regression methodology, tracing its evolution from ridge stabilization and penalized estimation to Bayesian, ensemble, and explainable‐AI frameworks. The analysis reveals a unified progression toward interpretable, cross‐domain modeling that integrates statistical rigor, computational scalability, and epistemic ...
Michael Bendersky, Shimon Fridkin
wiley +1 more source
Principia: An International Journal of Epistemology, 2009 In order to measure the degree of dissimilarity between elements of a Boolean algebra, the author’s (1984) proposed to use pseudometrics satisfying generalizations of the usual axioms for identity.
David Miller
doaj
Judgment aggregators and Boolean algebra homomorphisms [PDF]
The theory of Boolean algebras can be fruitfully applied to judgment aggregation: Assuming universality, systematicity and a sufficiently rich agenda, there is a correspondence between (i) non-trivial deductively closed judgment aggregators and (ii ...
Frederik Herzberg
core
Go Green or Go Digital? A Set‐Theoretic Perspective of Incumbents' Paths to Success
Creativity and Innovation Management, Volume 35, Issue 1, Page 125-142, March 2026.ABSTRACT In response to growing pressures for environmental sustainability and technological advancement, this study examines how firms can effectively integrate green and digital innovations within ambidextrous strategies to enhance performance. Using fuzzy‐set Qualitative Comparative Analysis (fsQCA) on a sample of 175 German manufacturing and ...
Bettina Mayr
wiley +1 more source
Интеллект. Инновации. Инвестиции, 2019 The description of complex structured systems involves the use of various logical-mathematical and formal-logical methods. Due to them, it becomes possible to identify common patterns that arise when combining, crossing, supplementing multi-person sets ...
A.B. Ilin
doaj +1 more source