Results 11 to 20 of about 2,726,344 (283)
Frontiers in Education, 2022 Positive student–teacher engagement that fosters independent and supported learning is the fulcrum for academic success. This paper investigates stakeholder opinions on the intrinsic importance of a democratic student–teacher relationship and autonomous ...
Logic Magwa, Kamleshie Mohangi
doaj +1 more source
Transition Semantics - The Dynamics of Dependence Logic [PDF]
, 2013 We examine the relationship between Dependence Logic and game logics. A variant of Dynamic Game Logic, called Transition Logic, is developed, and we show that its relationship with Dependence Logic is comparable to the one between First-Order Logic and ...
Galliani, Pietro
core +1 more source
, 2019 Flow networks have attracted a lot of research in computer science. Indeed, many questions in numerous application areas can be reduced to questions about flow networks.
Kupferman, Orna, Vardi, Gal
core +2 more sources
Static Seeding and Clustering of LSTM Embeddings to Learn From Loosely Time-Decoupled Events
IEEE Access, 2023 Humans learn from the occurrence of events at different places and times to predict similar trajectories of events. We define loosely decoupled time (LDT) phenomena as two or more events that could occur in different places and across different timelines
Christian G. Manasseh +3 more
doaj +1 more source
Embedding Defeasible Logic into Logic Programming
, 2005 Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible reasoning
Antoniou, Grigoris +3 more
core +2 more sources
Complementary Symmetry Nanowire Logic Circuits: Experimental Demonstrations and in Silico Optimizations [PDF]
, 2008 Complementary symmetry (CS) Boolean logic utilizes both p- and n-type field-effect transistors (FETs) so that an input logic voltage signal will turn one or more p- or n-type FETs on, while turning an equal number of n- or p-type FETs off.
Heath, James R. +3 more
core +1 more source
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
On the Solvability of Inductive Problems: A Study in Epistemic Topology [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We investigate the issues of inductive problem-solving and learning by doxastic agents. We provide topological characterizations of solvability and learnability, and we use them to prove that AGM-style belief revision is "universal", i.e., that every ...
Alexandru Baltag +2 more
doaj +1 more source
Spin and charge drift-diffusion in ultra-scaled MRAM cells
Scientific Reports, 2022 Designing advanced single-digit shape-anisotropy MRAM cells requires an accurate evaluation of spin currents and torques in magnetic tunnel junctions (MTJs) with elongated free and reference layers.
Simone Fiorentini +6 more
doaj +1 more source
Local logics, non-monotonicity and defeasible argumentation [PDF]
, 2004 In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligman’s logic of information flow.We show that, taking P.M.
Bodanza, Gustavo Adrian +1 more
core +1 more source