Results 51 to 60 of about 216,524 (170)
Gradual Certified Programming in Coq
, 2015 Expressive static typing disciplines are a powerful way to achieve high-quality software. However, the adoption cost of such techniques should not be under-estimated.
Disney T. +7 more
core +3 more sources
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
Effects of integrating AI image recognition and robot game-based learning on computational thinking
Educational Technology & SocietyThis 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
Logical foundations and implementation of an extension of temporal logic
Journal of Computer Science and Technology, 2000 The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas.
María Laura Cobo, Juan Carlos Augusto
doaj
A Tool for Assisted Correction of Programming Exercises in Java Based in Computational Reflection
Journal on Computational Thinking (JCThink), 2018 INTRODUCTION: This work reports on the creation and use of a tool to verify compliance in java programming exercises. The solution is based on the hypothesis that computational reflection can provide a way to automatically assess the programing competences of students.
openaire +1 more source
Introductory Problem Solving in Computer Science [PDF]
, 1997 This paper describes our experiences in devising a lightweight, informal methodology for problem solving in introductory, university level, computer science.
Barnes, David J. +2 more
core +1 more source
REAL MORAL EDUCATION FOR A VIRTUAL YOUNG PEOPLE
Travessias, 2007 The present article reflects young the moral attitude of front to the virtual environment. The reflection on our object of study imposes to define them who is this young influenced for the virtual, present world in the pertaining to school banks, and ...
Raquel Rosan Christino Gitahy
doaj
Culturally Sensitive IS Teaching: Lessons Learned to Manage Motivation Issues [PDF]
, 2011 This paper seeks to raise awareness of culturally sensitive teaching that is largely overlooked in the IS teaching community. In a global, networked environment commonly faced by the contemporary business or academic world, it is imperative to prepare ...
Chen, Wenshin
core
C++ Templates as Partial Evaluation
, 1998 This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming, but unintentionally provided the ability to perform compile-time computations and code generation.
Veldhuizen, Todd L.
core +3 more sources
, 1970 These two programs perform the preliminary processing of intensity data collected on the Mines Branch automatic diffractometer and are a prerequisite to the XRAY-67 data reduction routine =DATRDN=. The purpose of the first program (IIIA) is to edit the data on magnetic tape, and the second (IIIB) to scale and correlate the multiple segments of data ...
openaire +1 more source