Results 61 to 70 of about 215,398 (278)
Theorem proving support in programming language semantics [PDF]
We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system.
Bertot, Yves
core +3 more sources
Developing serious games for cultural heritage: a state-of-the-art review [PDF]
Although the widespread use of gaming for leisure purposes has been well documented, the use of games to support cultural heritage purposes, such as historical teaching and learning, or for enhancing museum visits, has been less well considered.
A Lerner +60 more
core +1 more source
Providing Self-Aware Systems with Reflexivity
We propose a new type of self-aware systems inspired by ideas from higher-order theories of consciousness. First, we discussed the crucial distinction between introspection and reflexion.
A Church +21 more
core +1 more source
What factors make for an effective digital learning tool in Higher Education? This systematic review identifies elements of a digital tool that published examples reveal to be features of an engaging and impactful digital tool. A systematic literature search yielded 25 research papers for analysis.
Akmal Arzeman +4 more
wiley +1 more source
Distance learning for training business game tutors
This work is the result of research that proposes the incorporation of Distance Learning into a Business Game as a strategy to enhance tutor training, considering entrepreneurship difficulties faced by public school teachers. Part of the problem could be
Mariana de Toledo Marinho +3 more
doaj +1 more source
ABSTRACT Introduction Neuronal pentraxin 2 (NPTX2) is a synaptic protein involved in synaptic plasticity and regulation of neuronal excitability. Lower baseline cerebrospinal fluid (CSF) NPTX2 levels have been shown to be associated with an earlier onset of mild cognitive impairment (MCI), a pre‐dementia syndrome, even after CSF Alzheimer's Disease (AD)
Juan P. Vazquez +12 more
wiley +1 more source
ABSTRACT Chronic inflammatory demyelinating polyradiculoneuropathy (CIDP) is an immune‐mediated neuropathy featuring progressive weakness, sensory deficits, and areflexia. While corticosteroids, intravenous immunoglobulin, and plasmapheresis are effective first‐line immunotherapies, a subset of patients remains treatment‐refractory.
Xueyu Zhang +8 more
wiley +1 more source
Effects of integrating AI image recognition and robot game-based learning on computational thinking
This study developed an artificial intelligence (AI) image recognition application integrated with a robot-based game-based learning (GBL) approach to enhance undergraduates’ understanding of computational thinking (CT) and AI concepts.
Ting-Chia Hsu and Yi-Ting Lin
doaj +1 more source
Going Stupid with EcoLab [PDF]
In 2005, Railsback et al. proposed a very simple model ({\em Stupid Model}) that could be implemented within a couple of hours, and later extended to demonstrate the use of common ABM platform functionality.
Standish, Russell K.
core +1 more source
ABSTRACT Objective To delineate specific in vivo white matter pathology in neuronal intranuclear inclusion disease (NIID) using diffusion spectrum imaging (DSI) and define its clinical relevance. Methods DSI was performed on 42 NIID patients and 38 matched controls.
Kaiyan Jiang +10 more
wiley +1 more source

