Formal mechanization of device interactions with a process algebra

The principle emphasis is to develop a methodology to formally verify correct synchronization communication of devices in a composed hardware system. Previous system integration efforts have focused on vertical integration of one layer on top of another. This task examines 'horizontal' integration of peer devices. To formally reason about communication, we mechanize a process algebra in the Higher Order Logic (HOL) theorem proving system. Using this formalization we show how four types of device interactions can be represented and verified to behave as specified. The report also describes the specification of a system consisting of an AVM-1 microprocessor and a memory management unit which were verified in previous work. A proof of correct communication is presented, and the extensions to the system specification to add a direct memory device are discussed

Developing Teaching Materials Two-Dimensional Figure-Based on Palembang Local Cultural Context

Developing teaching materials is important to help students in learning mathematics especially for two-dimensional figure by using Palembang local cultural context. The purpose of the research was to develop whether the teaching materials two-dimensional figure-based on Palembang local cultural context are valid, practical, and have potential effect. The research method used research and development (R&D). The research consists of two stages, namely the preliminary stage and the formative evaluation stage. In one-to-one evaluation involved three students. Then, small group evaluation involved 9 (nine) students in the research. Meanwhile, in field test stage involved 29 students. Data collection techniques employed interviews, tests and documentation. The research was conducted in seventh graders at one of junior high school in Indonesia. The results of this study were the developed teaching materials were categorized as valid, practical and have potential effect. The average score of validity content, construct and product design were 3.65 which was very highly valid level. The practicality of one-to-one was 3.47 and small group evaluation was 3.61 which was at very highly practical level. The teaching materials were categorized as effective. It showed that there were 24 students (82.75%) out of 29 students (17.24%)

Building Student Success From the Ground Up: A Case Study of an Achieving the Dream College

Achieving the Dream teaches community colleges to use student data to improve programming and student success. Since participating, Guilford Technical Community College in North Carolina has become a data-driven, success-oriented institution and has seen promising trends in student achievement. This study offers lessons for other colleges undertaking similar institutional reform

Kaleidoscope JEIRP on Learning Patterns for the Design and Deployment of Mathematical Games: Final Report

Project deliverable (D40.05.01-F)Over the last few years have witnessed a growing recognition of the educational potential of computer games. However, it is generally agreed that the process of designing and deploying TEL resources generally and games for mathematical learning specifically is a difficult task. The Kaleidoscope project, "Learning patterns for the design and deployment of mathematical games", aims to investigate this problem. We work from the premise that designing and deploying games for mathematical learning requires the assimilation and integration of deep knowledge from diverse domains of expertise including mathematics, games development, software engineering, learning and teaching. We promote the use of a design patterns approach to address this problem. This deliverable reports on the project by presenting both a connected account of the prior deliverables and also a detailed description of the methodology involved in producing those deliverables. In terms of conducting the future work which this report envisages, the setting out of our methodology is seen by us as very significant. The central deliverable includes reference to a large set of learning patterns for use by educators, researchers, practitioners, designers and software developers when designing and deploying TEL-based mathematical games. Our pattern language is suggested as an enabling tool for good practice, by facilitating pattern-specific communication and knowledge sharing between participants. We provide a set of trails as a "way-in" to using the learning pattern language. We report in this methodology how the project has enabled the synergistic collaboration of what started out as two distinct strands: design and deployment, even to the extent that it is now difficult to identify those strands within the processes and deliverables of the project. The tools and outcomes from the project can be found at: http://lp.noe-kaleidoscope.org