Results 41 to 50 of about 1,438,260 (332)
An evaluation of a professional learning network for computer science teachers [PDF]
, 2017 This paper describes and evaluates aspects of a professional development programme for existing CS teachers in secondary schools (PLAN C) which was designed to support teachers at a time of substantial curricular change.
Cutts, Quintin +3 more
core +4 more sources
Investigating Novices' In Situ Reflections on Their Programming Process
Technical Symposium on Computer Science Education, 2020 Prior work on novice programmers' self-regulation have shown it to be inconsistent and shallow, but trainable through direct instruction. However, prior work has primarily studied self-regulation retrospectively, which relies on students to remember how ...
Dastyni Loksa +3 more
semanticscholar +1 more source
Reflection and Transmission of Acoustic Waves at Semiconductor - Liquid Interface
AIP Advances, 2011 The study of reflection and transmission characteristics of acoustic waves at the interface of a semiconductor halfspace underlying an inviscid liquid has been carried out.
J. N. Sharma, A. Sharma
doaj +1 more source
, 2015 This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his leadership.
Clavel, Manuel +6 more
core +1 more source
Computational program to evaluate local defects type Chalmers Test on a reflective optical surface
Journal of Scientific and Technical Applications, 2021 A computational tool is developed to measure the local deformations in optical surfaces from the interference patterns obtained by the Chalmers test principle and from the analysis of a reflective optical surface using a commercial Fizeau interferometer of the ZYGO.
Luis Alberto Ruiz-Aguilar +3 more
openaire +1 more source
Modelling and analyzing adaptive self-assembling strategies with Maude [PDF]
, 2015 Building adaptive systems with predictable emergent behavior is a challenging task and it is becoming a critical need. The research community has accepted the challenge by introducing approaches of various nature: from software architectures, to ...
Bruni, Roberto +4 more
core +2 more sources
Distance learning for training business game tutors
Brazilian Journal of Operations & Production Management, 2017 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 +2 more
doaj +1 more source
A Two-Level Linear Dependent Type Theory [PDF]
arXiv, 2023 We present a type theory combining both linearity and dependency by stratifying typing rules into a level for logics and a level for programs. The distinction between logics and programs decouples their semantics, allowing the type system to assume tight resource bounds.
arxiv
The Web Conference, 2017 Project-based learning (PjBL) is a promising approach for supporting learning of computer programming by addressing the gap between the attainment of abstract knowledge and the application of this knowledge to authentic programming tasks.
Jun Peng +3 more
semanticscholar +1 more source
Jurnal Bina Praja, 2013 Abstrak Motivasi dan hasil belajar adalah dua faktor penting dalam menentukan efektivitas proses pembelajaran. Hasil belajar mata kuliah pemrograman berorientasi objek siswa rendah selama dua tahun terakhir.
Kori Cahyono
doaj +1 more source