Results 91 to 100 of about 50,581 (256)
Highly non-linear encoders for current mode multiple-valued logic [PDF]
This paper describes the use of highly non-linear encoders to provide low power Current Mode Multiple Valued Logic (CMMVL) circuits. A maximum function is shown, that consumes much less power than previously reported circuits.
Nudd, G. R., Clarke, C. T.
core
Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities
Advanced Materials, EarlyView.This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen +7 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
Advances in Magnesium‐Based Thermoelectrics: A Critical Review
Advanced Materials, EarlyView.Magnesium‐based thermoelectric materials have emerged as promising candidates for low‐to‐mid‐temperature energy conversion due to their abundance, low cost, and competitive performance. This review summarizes recent advances in Mg3X2, MgAgSb, and Mg2X systems, covering transport mechanisms, fabrication strategies, stability challenges, and device ...
Li‐Min Zhang +5 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
Weaving Intelligence: Thermally Drawn Multimaterial Fibers Toward AI‐Enabled Smart Textiles
Advanced Materials, EarlyView.Thermally drawn multimaterial fibers are rapidly advancing as intelligent structural units for next‐generation smart textiles. Integrating multimaterial architectures with neuromorphic and spiking‐neural‐network principles enables fabrics that can sense, compute, and adapt autonomously.
Vuong Dinh Trung +9 more
wiley +1 more source
Soft Hardware, Flowing Software: Reconfigurable Microfluidics for Adaptable Chemical Computation
Advanced Materials, EarlyView.A reconfigurable microfluidic platform based on soft, photo‐printable, and chemically erasable hydrogel structures printed and erased in situ is used to control flow routing, mixing, chemical patterning, and even chemical computing. Using hardware to control chemical computations decouples logic function from molecular composition, demonstrated via ...
Piet J. M. Swinkels +4 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