23,847 research outputs found
Recommended from our members
Introducing TU100 ‘My Digital Life’: Ubiquitous computing in a distance learning environment
In this paper we describe the Open University’s progress towards delivering an introduction to ubiquitous computing within a distance-learning environment. Our work is strongly influenced by the philosophy of learning-through-play and we have taken technologies originally designed for children’s education and adapted them for adult learners, many of whom will have no formal experience of computer science or information technology.
We will introduce two novel technologies; Sense, a drag-and-drop programming language based on Scratch; and the SenseBoard, an inexpensive hardware device that can be connected to the student’s computer, through which they can sense their environment and display outputs.
This paper is not intended as a detailed discussion of individual technologies (they will follow in time), rather it should serve as an introduction to the Open University’s method of teaching and how we hope to continue to recruit new computer scientists and engineers using novel technologies
Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code
In college courses dealing with material that requires mathematical rigor, the adoption of a machine-readable representation for formal arguments can be advantageous. Students can focus on a specific collection of constructs that are represented consistently. Examples and counterexamples can be evaluated. Assignments can be assembled and checked with the help of an automated formal reasoning system. However, usability and accessibility do not have a high priority and are not addressed sufficiently well in the design of many existing machine-readable representations and corresponding formal reasoning systems. In earlier work [Lap09], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. We report on our attempt to evaluate our proposed design criteria by deploying within the classroom a lightweight formal verification system designed according to these criteria. The lightweight formal verification system was used within the instruction of a common application of formal reasoning: proving by induction formal propositions about functional code. We present all of the formal reasoning examples and assignments considered during this deployment, most of which are drawn directly from an introductory text on functional programming. We demonstrate how the design of the system improves the effectiveness and understandability of the examples, and how it aids in the instruction of basic formal reasoning techniques. We make brief remarks about the practical and administrative implications of the system’s design from the perspectives of the student, the instructor, and the grader
Recommended from our members
Ethics and Design in the Brazilian Context
Often driven by practical and immediate requirements, more and more people are incorporating technology into a variety of aspects of their lives, often without reflecting on the consequences of using them. On the other hand, studies on interactive system development that lead to behavioral change have been gaining ground on the agenda of large HCI conferences. This movement brings to the forefront the fundamental issues of ethics in design and technology use. A designer’s intentions, when directing certain actions or behaviors, are not always explicit or desired by the stakeholders affected by the use of the technology. Systems that induce an undesired purchase, or even those that use conditioning strategies to cause a behavioral change are examples of such intentions. The challenge proposed is therefore about the relationship between design and personal freedom in a way that these technology users do not become victims, either passively or submissively, of the effects of its use. This advance allows for the redefinition of the relationship between man and technology, and the application of new forms of designing and developing interactive systems that take into account the ethical aspects of this relationship
2017-18 VCU Faculty Handbook
The VCU Faculty Handbook contains information about the university, its campus and the surrounding community. The Handbook is not a complete guide to academics, research and other services, but is intended as a reference guide to orient new and continuing faculty to the university and provides additional sources for information. For detailed school or department information, please reach out to the specific departmental office. The VCU Office of Faculty Affairs is committed to updating the Handbook on a yearly basis
Developing e-assessment using the quiz activity within Moodle: empowering student learning
Using formative assessment within Moodle has been shown to encourage self-directed learning (Bromham & Oprandi, 2006). Our experience of using formative assessment quizzes as stand alone entities, as well as within Moodle lessons, has been used to introduce Moodle assessment quizzes over the past year in Level 1 and Level 2 Life Sciences courses. This
experience has been distilled to inform the content of this workshop.
Some advantages of incorporating assessments in the form of Moodle quizzes are that they allow for quick, reproducible and flexible assessment with a relatively small initial set-up cost, and substantial long-term staff and administration savings. One significant advantage is that staff and room pressures can be reduced as students can attempt the assessment at a time and location of their choice within a specified time period.
This flexibility can help to reduce student stress associated with completion of a continuous assessment for their course. It is also a relatively simple process
to account for students entitled to extra time during assessments. Providing clear instructions beforehand and at the start of the quiz ensures that students understand their responsibilities for completion of this assessment and
ultimately the course.
There are some disadvantages and limitations to the system as it currently exists, for example there is the perceived ability for students to “cheat” by completing the assessment as a group, accessing books and the internet.
Strategies to account for these can be put in place and will be discussed in detail during the workshop.
This workshop aims to take the participants through the initial set up of a quiz, highlighting the various question types and how these can be used to create a challenging assessment that can be quickly graded and prove informative
for staff and course development.
Reference
Bromham L. & Oprandi P. (2006) Evolution online: developing active and blended learning by using a virtual learning environment in an introductory biology course. Journal of Biological Education 41 (1): 21-25
The impact of openness on bridging educational digital divides
Openness has been a feature of higher education for many decades, particularly through the establishment of Open Universities, although there remain debates about what openness means in practice. Digital technologies, some based on open principles, and digital content, aided by open licences, have both recently contributed to an extension of what is deemed possible under the heading of openness. Nevertheless, while in principle there may be greater degrees of openness available in higher education it does not mean in practice that many people can still readily avail themselves of these new opportunities to learn, not just because they do not have access to digital technologies but personal circumstances mean they also lack the necessary skills and the confidence to use such technologies in general or for education in particular. In fact it can be argued that this new openness, characterised mainly through the open educational resources movement, may actually widen rather than bridge the digital and educational divides between groups both within and across national boundaries through the increasing sophistication in both technologies and the competencies expected of learners. This paper reviews some of the evidence supporting these different areas of interest and attempts to provide a synthesis of them. It then argues that actions may be required by many inter-mediaries to help reduce the diverse social and cultural digital divides within education, including through the mediated use of open educational resources between teachers and learners
- …