Results 51 to 60 of about 1,294 (213)

Homomorphic images of 𝜎-complete Boolean algebras [PDF]

Proceedings of the American Mathematical Society, 1975
It is a well-known theorem of R. S. Pierce that, for every infinite cardinal α , α ℵ 0 = α \alpha ,{\alpha ^{{\aleph _0}}} = \alpha if and only if there ...
openaire   +1 more source

Attribute Implication Bases From Galois Connection Structures

Mathematical Methods in the Applied Sciences, EarlyView.
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, Jesús Medina, Francisco José Ocaña   +2 more
wiley   +1 more source

Generalising KAT to Verify Weighted Computations

Scientific Annals of Computer Science, 2019
Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests.
Leandro Gomes, Alexandre Madeira, Luis S. Barbosa   +2 more
doaj   +1 more source

Facility-level conditions leading to higher reach: a configurational analysis of national VA weight management programming

BMC Health Services Research, 2021
Background While the Veterans Health Administration (VHA) MOVE! weight management program is effective in helping patients lose weight and is available at every VHA medical center across the United States, reaching patients to engage them in treatment ...
Edward J. Miech, Michelle B. Freitag, Richard R. Evans, Jennifer A. Burns, Wyndy L. Wiitala, Ann Annis, Susan D. Raffa, Stephanie A. Spohr, Laura J. Damschroder   +8 more
doaj   +1 more source

Digital Twin Simulations Toolbox of the Nitrogen‐Vacancy Center in Diamond

Advanced Quantum Technologies, EarlyView.
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, Anmol Singh, Sergei Trofimov, Boris Naydenov   +3 more
wiley   +1 more source

On Fuzzy Ideals of BL-Algebras

The Scientific World Journal, 2014
In this paper we investigate further properties of fuzzy ideals of a BL-algebra. The notions of fuzzy prime ideals, fuzzy irreducible ideals, and fuzzy Gödel ideals of a BL-algebra are introduced and their several properties are investigated.
Biao Long Meng, Xiao Long Xin
doaj   +1 more source

Go Green or Go Digital? A Set‐Theoretic Perspective of Incumbents' Paths to Success

Creativity and Innovation Management, EarlyView.
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

Method of restoring multivariable Boolean function from its derivative

Advanced Engineering Research, 2017
Introduction. Boolean functions of several variables are of paramount importance in the coding theory and cryptography. The compositions of these functions are used in a set of the symmetric cryptosystems; therewith, some error-control codes, such as ...
Alexander V. Mazurenko, Nadezhda S. Mogilevskaya   +1 more
doaj   +1 more source

Survey‐Based Research for Creativity and Innovation Management: Review and Recommendations

Creativity and Innovation Management, EarlyView.
ABSTRACT Survey methodology remains a widely used data collection method in creativity and innovation management studies. However, evolving technological advancements and methodological challenges necessitate a reassessment of best practices to benefit the most from it.
Marco Mismetti, Cristina Bettinelli, Paola Rovelli   +2 more
wiley   +1 more source

Understanding Nurses' Intention to Use Artificial Intelligence Technologies in Their Clinical Practice: A Survey‐Based Configurational Analysis

Journal of Advanced Nursing, EarlyView.
ABSTRACT Aims The study focused on nurses' familiarity with, beliefs about, and attitudes towards artificial intelligence, aiming to identify configurations of necessary and sufficient conditions associated with strong intentions to use artificial intelligence‐based health technologies in their clinical practice. Design Cross‐sectional survey conducted
Louis Raymond, Guy Paré, Odette Doyon, Gerit Wagner   +3 more
wiley   +1 more source