Results 21 to 30 of about 39,738 (264)
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
Characterization of strongly equivalent logic programs in intermediate logics [PDF]
Theory and Practice of Logic Programming, 2003 The non-classical, nonmonotonic inference relation associated with the answer set semantics for logic programs gives rise to a relationship of strong equivalence between logical programs that can be verified in 3-valued Gödel logic, G3, the strongest non-classical intermediate propositional logic (Lifschitz et al., 2001).
de Jongh, Dick H. J., Hendriks, Lex
openaire +2 more sources
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic [PDF]
Scientific Annals of Computer Science, 2016 Software product lines are now an established framework for software design. They are specified by special diagrams called feature models. For formal analysis, the latter are usually encoded by Boolean propositional theories.
Z. Diskin +3 more
doaj +1 more source