Results 31 to 40 of about 38,385 (299)
Demonstration of p-type stack-channel ternary logic device using scalable DNTT patterning process
Nano Convergence, 2023 A p-type ternary logic device with a stack-channel structure is demonstrated using an organic p-type semiconductor, dinaphtho[2,3-b:2',3'-f]thieno[3,2-b]thiophene (DNTT).
Yongsu Lee +8 more
doaj +1 more source
Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability [PDF]
Logical Methods in Computer Science, 2012 G\"odel logic with the projection operator Delta (G_Delta) is an important many-valued as well as intermediate logic. In contrast to classical logic, the validity and the satisfiability problems of G_Delta are not directly dual to each other.
Matthias Baaz +2 more
doaj +1 more source
International Journal of Metrology and Quality Engineering, 2023 The teaching workload of university teachers is an objective reflection of their instructional input and directly affects the quality of education and teaching.
Sun Lizhi, Chen Danhui, Xu Jingjing
doaj +1 more source
Frontiers in Psychology, 2021 Aim: This aim of this study is to describe the development of a program logic model to guide arts-based psychosocial practice delivered in rural South African farming communities affected by transgenerational traumas.Background: The rationale for ...
Dominik Havsteen-Franklin +4 more
doaj +1 more source
On intermediate justification logics
Logic Journal of the IGPL, 2022 AbstractWe study arbitrary intermediate propositional logics extended with a collection of axioms from (classical) justification logics. For these, we introduce various semantics by combining either Heyting algebras or Kripke frames with the usual semantic machinery used by Mkrtychev’s, Fitting’s or Lehmann and Studer’s models for classical ...
openaire +2 more sources
On Ladder Diagrams Compilation and Synthesis to FPGA Implemented Reconfigurable Logic Controller
Advances in Electrical and Electronic Engineering, 2014 The paper presents synthesis process of a hardware implemented reconfigurable logic controller from a ladder diagram according to IEC61131-3 requirements. It is focused on the originally developed a high-performance LD processing method.
Adam Milik
doaj +1 more source
Fuzzy inference‐based control and decision system for precise aeration of sewage treatment process
Electronics Letters, 2021 The sewage treatment systems manage to reduce pollutants of wastewater to make it reach some requirement. The core of it is to effectively control and determine intermediate aeration amount, which is always challenging.
Wenru Zeng +6 more
doaj +1 more source
Multistate resistive switching behaviors for neuromorphic computing in memristor
Materials Today Advances, 2021 Conventional Von Neumann computing systems encounter increasing challenges in the big-data era due to the constraints by the separated data storage and processing. Resistive random-access memory provides dual functionalities of data storage and computing
B. Sun +7 more
doaj +1 more source
Verification of Programs via Intermediate Interpretation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We explore an approach to verification of programs via program transformation applied to an interpreter of a programming language. A specialization technique known as Turchin's supercompilation is used to specialize some interpreters with respect to the ...
Alexei P. Lisitsa, Andrei P. Nemytykh
doaj +1 more source
ZnO composite nanolayer with mobility edge quantization for multi-value logic transistors
Nature Communications, 2019 Designing multi-value logic transistors with stable and reliable intermediate states remains a challenge. Here, the authors report the mobility edge quantization phenomenon via resonant hybridization of ZnO QDs embedded in amorphous ZnO domains to enable
Lynn Lee +17 more
doaj +1 more source