Results 71 to 80 of about 375,050 (296)
Neural Networks in the Diagnostics Process of Low-Power Solar Plant Devices
Energies, 2021 The article presents the problems of diagnostics of low-power solar power plants with the use of the three-valued (3VL) state assessment {2, 1, 0}. The 3VL diagnostics is developed on the basis of two-valued diagnostics (2VL), and it is elaborated on. In
Stanisław Duer +6 more
doaj +1 more source
Transducer Materials Mediated Deep Brain Stimulation in Neurological Disorders
Advanced Functional Materials, EarlyView.This review discusses advanced transducer materials for improving deep brain stimulation (DBS) in neurological disorders. These materials respond to light, ultrasound, or magnetic fields, enabling precise, less invasive neuromodulation. Their stimulus‐responsive properties enhance neural control and adaptive therapy, paving the way for next‐generation ...
Di Zhao +5 more
wiley +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
Does Xaje Nasir-oddin-e Tusi Believe in Three-valued Logic?
Metaphysics, 2009 In his book Asaso Al-eqtebas, Xaje Nasir-od-dine-e Tousi has given an analysis of connected conditional propositions which is similar to the analysis of the conditional propositions in three-valued logic.
Ali Reza Darabi, Asad _allahe falahiy
doaj +2 more sources
Proceedings, 2019 When it comes to the writing of a new logic program or theory, it is of great importance to obtain a concise and minimal representation, for simplicity and ease of interpretation reasons.
Rodrigo Martin, Pedro Cabalar
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
Transforming acyclic programs [PDF]
, 1993 An unfold/fold transformation system is a source-to-source rewriting methodology devised to improve the efficiency of a program. Any such transformation should preserve the main properties of the initial program: among them, termination.
Bossi, Annalisa, Etalle, Sandro
core +6 more sources
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
Legality concepts for three-valued logic programs
Theoretical Computer Science, 1993 The authors consider three-valued propositional logic and interpret the third truth degree (besides 0 and 1) as ``illegal'' or ``unacceptable''. With reference to a background in computer science they get (unusual) truth tables for an implication and -- noncommutative (!) -- conjunction and disjunction connectives.
NOTA, Giancarlo +4 more
openaire +5 more sources
Three-Valued Logics for Incomplete Information and Epistemic Logic [PDF]
, 2012 There are several three-valued logical systems. They give the impression of a scattered landscape. The majority of the works on this subject gives the truth tables, sometimes an Hilbert style axiomatization in a basic propositional language and a completeness theorem with respect to those truth tables.
CIUCCI, DAVIDE ELIO, Dubois, D.
openaire +2 more sources