Results 61 to 70 of about 215,398 (278)

Theorem proving support in programming language semantics [PDF]

, 2007
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]

, 2010
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, A Nareyek, A Nareyek, A Watt, B Lintermann, C Cruz-Neira, C Jones, C Wyman, Christopher Peters, D Blythe, D Helbing, D Pletinckx, DA Forsyth, Eike Falk Anderson, EW Dijkstra, F Lamarche, F Liarokapis, Fotis Liarokapis, G Humphreys, G Lepouras, H Godbersen, H Tamura, H Tamura, J Blow, J Burton, J Jacobson, J Kim, JF Blinn, JF Blinn, K Engel, Leigh McLoughlin, M Lewis, M Macedonia, M Macedonia, M Nienhaus, M Overmars, M Zyda, MA Livingston, O Bimber, P Dutr, P Milgram, P Yin, Panagiotis Petridis, PSA Reitsma, R Azuma, R Azuma, R Burkersroda, R Dechter, R Sanwal, RJ Rost, S Cass, S Feiner, S Freitas de, S Smith, S Sylaiou, Sara de Freitas, T Sousa, T Zhou, TJ McGuire, TJ Purcell, V Vlahakis   +60 more
core   +1 more source

Providing Self-Aware Systems with Reflexivity

, 2017
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, A Damasio, A Valdemir, C Landauer, DP Friedman, F Peters, G Stein, G Trautteur, J Laird, J McCarthy, J McCarthy, J Torresen, JR Anderson, M Jammer, M Minsky, M Overgaard, MT Cox, PN Johnson-Laird, PR Lewis, R Sun, R Sun, R Weyhrauch   +21 more
core   +1 more source

Navigating new norms: a systematic review of factors for the development of effective digital tools in higher education

FEBS Open Bio, EarlyView.
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, Jessica Haines, Connie Pritchard, Stephen Rutherford, Nigel Francis   +4 more
wiley   +1 more source

Distance learning for training business game tutors

Production
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, José de Souza Rodrigues, Katia Livia Zambon, Antonio Fernando Crepaldi   +3 more
doaj   +1 more source

CSF Levels of NPTX2 Are Associated With Less Brain Atrophy Over Time in Cognitively Unimpaired Individuals

Annals of Clinical and Translational Neurology, EarlyView.
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, Corinne Pettigrew, Yuxin Zhu, Claire Anderson, Guray Erus, Christos Davatzikos, Michael Miller, Abhay Moghekar, Sungtaek Oh, Chan‐Hyun Na, Marilyn Albert, Paul Worley, Anja Soldan   +12 more
wiley   +1 more source

Daratumumab Treatment for Chronic Inflammatory Demyelinating Polyradiculoneuropathy (CIDP): A Case Report

Annals of Clinical and Translational Neurology, EarlyView.
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, Jianli Zhao, Xue Zhao, Xiaowei Hu, Zichun Xiao, Jie Wu, Xiaowen Li, Jing Xu, Yu‐Jing Li   +8 more
wiley   +1 more source

Effects of integrating AI image recognition and robot game-based learning on computational thinking

Educational Technology & Society
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]

, 2006
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

Diffusion Spectrum Imaging Maps Early Axonal Loss and a Unique Progressive Signal in Neuronal Intranuclear Inclusion Disease

Annals of Clinical and Translational Neurology, EarlyView.
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, Yixiu Pei, Xiaobao Hu, Ying Xiong, Fang Wang, Yanyan Yu, Min Zhu, Dandan Tan, Meihong Zhou, Daojun Hong, Fuqing Zhou   +10 more
wiley   +1 more source