Results 81 to 90 of about 8,214,233 (250)
Advanced Engineering Materials, EarlyView.The community‐driven Platform MaterialDigital Core Ontology (PMDco) 3.0 is introduced as a Basic Formal Ontology‐aligned semantic backbone for the processing–structure–properties paradigm in Materials Science and Engineering. Modular engineering, automated releases, and validation workflows are highlighted and key semantic patterns for materials ...
Markus Schilling +15 more
wiley +1 more source
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
Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent
Philosophia Scientiæ, 2014 The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj +1 more source
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
Advanced Engineering Materials, EarlyView.Sustainability assessment requires methodologies that appropriately distinguish between additive and non‐additive material properties. A toxicity‐weighted scoring system is developed and applied that accounts for the disproportionate influence of highly toxic constituents through nonlinear weighting functions, providing more realistic estimates than ...
Seth Mehalic +2 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
Many-valued logic: beyond algebraic semantics
, 2012 Editorial for the special issue on "Many-valued logic: beyond algebraic ...
marra v., GERLA, BRUNELLA, Aguzzoli s
core +1 more source
Advanced Engineering Materials, EarlyView.This perspective reframes additive manufacturing for electrical machines as a qualification‐limited materials and architecture design problem. It links process–structure–property–performance relationships to magnetic, conducting, dielectric, and thermal property windows, highlighting where AM can enable segmented magnetic circuits, permanent magnet ...
Dénes Fodor, Loránd Szabó
wiley +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
Historical Foundation and Practical Guideline for Ferroelectric Switching Kinetic Studies
Advanced Functional Materials, EarlyView.The P and U pulses in the conventional PUND measurements are not identical because of the interplay between switching current and the measurement circuit components. This circuit effect can lead to a shift in polarization transients and misinterpreted physics in the switching kinetics.
Yi Liang, Pat Kezer, John T. Heron
wiley +1 more source