Results 81 to 90 of about 64,086 (306)
SYNTHESIS METHODS OF ALGEBRAIC NORMAL FORM OF MANY-VALUED LOGIC FUNCTIONS
Системный анализ и прикладная информатика, 2016 The rapid development of methods of error-correcting coding, cryptography, and signal synthesis theory based on the principles of many-valued logic determines the need for a more detailed study of the forms of representation of functions of many-valued ...
A. V. Sokolov +2 more
doaj
Recapitulating Endochondral Ossification for Bone Repair: From Development to Engineering Strategy
Advanced Healthcare Materials, EarlyView.This review summarizes the developmental basis of endochondral ossification (ECO) and its applications in bone tissue engineering (BTE). It first outlines the key biological processes and signaling pathways underlying ECO, then discusses biomaterial‐based engineering strategies derived from these principles, and finally highlights future directions for
Yiqi Su +8 more
wiley +1 more source
Minimally many-valued extensions of the monoidal t-norm based logic MTL
, 2017 In this paper we shall deal with those axiomatic extensions of the monoidal t-norm based logic MTL which are minimally many-valued, that is, those logics extending MTL such that any further extension collapses them to Boolean Logic.
Stefano Aguzzoli +3 more
core +1 more source
Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics
Advanced Materials, EarlyView.Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón +6 more
wiley +1 more source
Probabilistic and Truth-Functional Many-Valued Logic Programming
, 1998 We introduce probabilistic many-valued logic programs in which the implication connective is interpreted as material implication. We show that probabilistic many-valued logic programming is computationally more complex than classical logic programming ...
Thomas Lukasiewicz, Lukasiewicz, Thomas
core +1 more source
Polynomial Ring Calculus For Many-valued Logics
, 2015 This paper discusses a new algebraic proof method for general sentential logics which is particularly apt for finitely-many-valued logics and for PC, based on reducing polynomials over finite fields.
Carnielli W.
core
A notion of coherence for books on conditional events in many-valued logic
, 2011 We introduce a new approach to conditional probability over many-valued events, which is based on bets. Then we show that this approach fits with Kroupa's approach, and we give two characterizations of coherence for books on conditional many-valued ...
MONTAGNA, FRANCO
core +1 more source
Advanced Materials, EarlyView.A green, freeform manufacturing approach that utilizes robust aqueous two‐phase systems to create intricate and scalable photonic structures and non‐planar mechanochromic hydrogel actuators from plant‐based hydroxypropyl cellulose. This approach broadens the structural possibilities of sustainable photonic devices and mechanochromic systems, offering ...
Xiao Song +14 more
wiley +1 more source
Advanced Materials, EarlyView.We demonstrate a neuromorphic synapse in 2D Fe3GaTe2 flakes. The device operates via a current‐driven transformation from a skyrmion‐lattice to a stripe‐domain state, yielding a linear anomalous Hall resistance response with a tunable slope to enable multiply‐accumulate operations. Simulations confirm its viability in artificial neural networks.
Jixiang Huang +20 more
wiley +1 more source
, 2007 Default logic is an important method of knowledge representation and reasoning, because it supports reasoning with incomplete information, and because defaults can be found naturally in many application domains, such as diagnostic problems, information ...
Wang, Kewen +3 more
core +1 more source