Results 41 to 50 of about 2,358,795 (346)
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
Neural Natural Logic Inference for Interpretable Question Answering
Conference on Empirical Methods in Natural Language Processing, 2021 Many open-domain question answering problems can be cast as a textual entailment task, where a question and candidate answers are concatenated to form hypotheses.
Jihao Shi +4 more
semanticscholar +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
De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory [PDF]
, 2019 We prove that the propositional logic of intuitionistic set theory IZF is intuitionistic propositional logic IPC. More generally, we show that IZF has the de Jongh property with respect to every intermediate logic that is complete with respect to a class
Passmann, Robert
core +3 more sources
p-Bits for Probabilistic Spin Logic [PDF]
Applied Physics Reviews, 2018 We introduce the concept of a probabilistic or p-bit, intermediate between the standard bits of digital electronics and the emerging q-bits of quantum computing.
Kerem Y Çamsarı +2 more
semanticscholar +1 more source
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
Exploring End-to-End Differentiable Natural Logic Modeling [PDF]
International Conference on Computational Linguistics, 2020 We explore end-to-end trained differentiable models that integrate natural logic with neural networks, aiming to keep the backbone of natural language reasoning based on the natural logic formalism while introducing subsymbolic vector representations and
Yufei Feng +4 more
semanticscholar +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
Perceived Mental Workload Classification Using Intermediate Fusion Multimodal Deep Learning
Frontiers in Human Neuroscience, 2021 A lot of research has been done on the detection of mental workload (MWL) using various bio-signals. Recently, deep learning has allowed for novel methods and results.
Tenzing C. Dolmans +3 more
semanticscholar +1 more source