Results 71 to 80 of about 8,631,344 (363)
α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic [PDF]
International Journal of Computational Intelligence Systems, 2012 This paper focuses on effcient non-clausal resolution-based automated reasoning methods and algorithms for a lattice-ordered linguistic truth-valued logic, which corresponds to extensions of α-lock resolution.
Xingxing He +3 more
doaj +1 more source
Reconfigurable Three‐Dimensional Superconducting Nanoarchitectures
Advanced Functional Materials, EarlyView.3D superconducting nanostructures offer new possibilities for emergent physical phenomena. However, fabricating complex geometries remains challenging. Here 3D nanoprinting of complex 3D superconducting nanoarchitectures is established. As well as propagating superconducting vortices in 3D, anisotropic superconducting properties with geometric ...
Elina Zhakina +11 more
wiley +1 more source
Parametric Analysis of Flexible Logic Control Model
Discrete Dynamics in Nature and Society, 2013 Based on deep analysis about the essential relation between two input variables of normal two-dimensional fuzzy controller, we used universal combinatorial operation model to describe the logic relationship and gave a flexible logic control method to ...
Lihua Fu, Dan Wang, Jinyun Kuang
doaj +1 more source
Advanced Functional Materials, EarlyView.Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source
Boolean Computation Using Self-Sustaining Nonlinear Oscillators
, 2015 Self-sustaining nonlinear oscillators of practically any type can function as latches and registers if Boolean logic states are represented physically as the phase of oscillatory signals.
Roychowdhury, Jaijeet
core +1 more source
Advanced Functional Materials, EarlyView.CD105‐LNPs and PS‐LNPs can deliver α‐lipoic acid to bone marrow mesenchymal stem cells and bone marrow‐derived macrophages, reversing high glucose‐induced oxidative stress while enhancing osteogenesis and M2 polarization. Integrating both nanoparticles into glucose‐responsive hyaluronic acid hydrogel forms DLNPs@HA hydrogel, which accelerates diabetic ...
Yanzhi Zhao +11 more
wiley +1 more source
An Abstract Approach to Stratification in Linear Logic
, 2013 We study the notion of stratification, as used in subsystems of linear logic with low complexity bounds on the cut-elimination procedure (the so-called light logics), from an abstract point of view, introducing a logical system in which stratification is
Boudes, Pierre +2 more
core +1 more source
Aristotle on the relation between logic and ontology
RUDN Journal of Philosophy, 2017 Aristotle was the founder not only logics but also of ontology which he describes in Metaphysics and Categories as a theory of general properties of all entities and categorical aspects they should be analyzed.
V L Vasyukov
doaj +1 more source
Generalized Quantifiers in Dependence Logic [PDF]
Journal of Logic, Language and Information, 2012 22 ...
openaire +4 more sources
Advanced Functional Materials, EarlyView.Herein, the synthesis of Ta₂Pd₃S₈ nanowires is reported via scalable liquid cascade exfoliation and their integration into high‐mobility field‐effect transistors (FETs) and sensitive photodetectors, achieving carrier mobility of up to 27.3 cm2 V⁻¹ s⁻¹ and responsivities of 322.40 A W⁻¹ and 1.85 mA W⁻¹ for single nanowire and network devices ...
Kyung Hwan Choi +13 more
wiley +1 more source