Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Computing Milieux (K) > Computers And Education (K.3) > Computer Uses in Education (K.3.1) > Computer-Assisted Instruction (CAI) (K.3.1...)  
  1-10 of 180 Reviews about "Computer-Assisted Instruction (CAI) (K.3.1...)": Date Reviewed
  Shaping future schools with digital technology: an international handbook
Yu S., Niemi H., Mason J.,  Springer International Publishing, New York, NY, 2019. 239 pp. Type: Book

With this collection, the editors successfully combine theory and case studies to create an understanding of future learning environment directions in accordance with future technology and pedagogy development. Current learning environment limitat...

Dec 14 2020
  Technology for efficient learner support services in distance education: experiences from developing countries
Anjana .,  Springer International Publishing, New York, NY, 2018. 275 pp. Type: Book

While open and distance learning generates huge revenues for educational institutions in more developed nations, it is quite interesting to know that this phenomenon is also catching on in developing countries like India. Distance learning can cut...

Jun 5 2019
  SQL tester: an online SQL assessment tool and its impact
Kleerekoper A., Schofield A.  ITiCSE 2018 (Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, Larnaca, Cyprus,  Jul 2-4, 2018) 87-92, 2018. Type: Proceedings

SQL Tester is an online practice and assessment tool for structured query language (SQL). Its code is available on GitHub. Students can answer the questions in any order and make as many attempts as they want within the set time limit (typically 5...

Dec 4 2018
  Fundamental proof methods in computer science: a computer-based approach
Arkoudas K., Musser D.,  MIT Press, Cambridge, MA, 2017.Type: Book (9780262035538)

An introduction to proof methods in computer science (CS), this book is set apart from other by its reliance on an interactive theorem prover (called Athena) to achieve the task....

Sep 21 2017
Moya S., Tost D., Grau S., von Barnekow A., Felix E.  Journal of Visual Languages and Computing 34-351-10, 2016. Type: Article

SKETCH’NDO is a game design framework targeting educators with no programming experience who want to provide serious game-based training and educational material to their students. It focuses on task-based, single-user activities; from a hig...

Nov 29 2016
  Automated theorem proving in GeoGebra: current achievements
Botana F., Hohenwarter M., Janicic P., Kovács Z., Petrovi I., Recio T., Weitzhofer S.  Journal of Automated Reasoning 55(1): 39-59, 2015. Type: Article

Mathematics has been for a long time, and is still today, a difficult subject for many students. Teachers continuously look for ways to help students understand mathematical theorems, rules, and the relation between algebra and geometry. Besides m...

Oct 6 2015
  Towards automatic identification of core concepts in educational resources
Sultan M., Bethard S., Sumner T.  JCDL 2014 (Proceedings of the 14th ACM/IEEE-CS Joint Conference on Digital Libraries, London, UK,  Sep 8-12, 2014) 379-388, 2014. Type: Proceedings

This paper studies the problem of recognizing the degree of similarity between ideas expressed in sentences. In particular, the authors consider the case of science education, where a set of core ideas expressed in sentences exists and one wants t...

May 27 2015
  EduPaL: enabling blended learning in resource constrained environments
Chetlur M., Tamhane A., Reddy V., Sengupta B., Jain M., Sukjunnimit P., Wagh R.  ACM DEV-5 2014 (Proceedings of the 5th ACM Symposium on Computing for Development, San Jose, CA,  Dec 5-6, 2014) 73-82, 2014. Type: Proceedings

EduPaL, a portable learning platform, is useful when the Internet connection is intermittent and cost constraints are important. The platform is based on a low-cost universal serial bus (USB) flash drive used individually by each student. Students...

Jan 20 2015
  Semantic reasoning for enabling mobility and context-awareness: application to an OSGi based intelligent tutoring system
Khemaja M., Mastour T.  TEEM 2014 (Proceedings of the 2nd International Conference on Technological Ecosystems for Enhancing Multiculturality, Salamanca, Spain,  Oct 1-3, 2014) 365-372, 2014. Type: Proceedings

“OSGi is a Java-based framework for creating applications as a set of interconnected modules” [1]. OSGi lets users install, start, stop, update, and uninstall modules at execution time without taking down their entire system. With the ...

Jan 8 2015
  MOOCs: so many learners, so much potential ..
Kay J., Reimann P., Diebold E., Kummerfeld B.  IEEE Intelligent Systems 28(3): 70-77, 2013. Type: Article

Kay et al. present an essentially optimistic view of massive open online courses (MOOCs). However, as they suggest with the ellipsis (…) in the title, the situation is complex. The intention is to be analytical and put the new phenomenon in histor...

Feb 4 2014
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2022 ThinkLoud, Inc.
Terms of Use
| Privacy Policy