Results 41 to 50 of about 216,524 (170)

An evaluation of scaffolding for virtual interactive tutorials [PDF]

, 2002
Scaffolding refers to a temporary support framework used during construction. Applied to teaching and learning it describes measures to support a learner to become confident and self-reliant in a subject. In a Web environment scaffolding features need to
Pahl, Claus
core  

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

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

On the Expressiveness of Intensional Communication [PDF]

, 2014
The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchronous), arity (monadic vs polyadic data), communication medium (shared ...
Given-Wilson, Thomas
core   +6 more sources

Integrated Assessment for Introduction to Engineering, Industrial Seminar and Profession and Introduction to Computer Programming Courses

Journal of Education Technology
This study highlights the challenges faced in integrating first-year chemical engineering courses, namely Introduction to Engineering, Industrial and Professional Seminar, and Introduction to Computer Programming.
Zaki Yamani Zakaria, Aziatul Niza Sadikin, Mimi Haryani Hasim, Nor Alafiza Yunos, Aishah Rosli, Siti Hajjar Che Man, Hasrinah Hasbullah, Khairiyah Mohd Yusof   +7 more
doaj   +1 more source

Lisp, Jazz, Aikido -- Three Expressions of a Single Essence

, 2018
The relation between Science (what we can explain) and Art (what we can't) has long been acknowledged and while every science contains an artistic part, every art form also needs a bit of science.
Verna, Didier
core   +2 more sources

Scientists in the MIST: Simplifying Interface Design for End Users [PDF]

, 2006
We are building a Malleable Interactive Software Toolkit (MIST), a tool set and infrastructure to simplify the design and construction of dynamically-reconfigurable (malleable) interactive software.
Bhatia, Saurabh, Kienzle, Paul, Lilley, Tripp, McCrickard, D. Scott, North, Chris   +4 more
core   +1 more source

Abstracting object interactions using composition filters [PDF]

, 1993
It is generally claimed that object-based models are very suitable for building distributed system architectures since object interactions follow the client-server model.
Aksit, Mehmet, Bergmans, Lodewijk, Bosch, Jan, Wakita, Ken, Yonezawa, Akinori   +4 more
core   +6 more sources

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

Turning engineers into reflective university teachers [PDF]

, 2006
Increasing attention to quality and innovation in Higher Education (HE) is enhancing the pedagogic knowledge of faculty members and thereby encouraging the academic success of their students.
Huet, I., Tavares, J., Weir, G.R.S.
core