STUDENT READING SKILL TRAINING THROUGH THE DEVELOPMENT OF MULTIMEDIA AS A LEARNING DEVICE

This study aims to develop multimedia as a learning tool in training the reading skills of islamic elementary school (MI) students. This research uses a research and development (R&D) approach, through a Gall & Borg development study. This research is set in MIN 42 Pidie. The learning model is integrated with various learning tools (multimedia) including student and teacher books, as well as lesson plans (RPP). Based on the data obtained, it is known that multimedia integrated with the inquiry instructional model is effective in improving student learning outcomes rather than without using multimedia. It is proven through t-test statistical testing where tcount (9.98) is higher than ttable (2.00), means that multimedia integrated with the inquiry instructional model has a practical level with a score of 3.39 in the practical category without improvement

Technopreneurship Based Learning Model with Project Based Learning Approach in Higher Education

Abstract: The goal of this development research is to create a valid, practical, and effective technopreneurship-based entrepreneurship learning model with a Project Based Learning approach for use in Higher Education. Students from Makassar State University's Electronics Engineering Education Faculty of Engineering served as test subjects in this study. The data is analyzed using a combination of descriptive and qualitative data. The final products are learning model books and learning support tools that include semester learning plans, learning modules, and evaluation tools. The study's findings are as follows: (1) preliminary testing to determine the validity of the learning model in terms of all components; (2) theoretically and empirically, the learning model is feasible for use in the classroom; and (3) this learning model is stated to meet practical and effective criteria for use in Higher Education. Keywords: learning model, technopreneurship, Project Based Learning

The use of an e-learning constructivist solution in workplace learning

We wished to investigate whether an e-learning approach which uses constructivist principles can be successfully applied to train employees in a highly specialised skill thought to require expert individuals and extensive prolonged training. The approach involved the development of an e-learning package which included simulations and interactivity, then experimental testing in a case study workplace environment with the collection of both quantitative and qualitative data to assess the effectiveness of the package. Our study shows that this e-learning strategy improved the skills of the inexperienced operator significantly. We therefore propose that such programmes could be used as a work based training aid and used as a model system for the training of employees in complex skilled tasks in the workplace. This research demonstrates that the e-learning can be applied outside the traditional learning environment to train unskilled employees to undertake complex practical tasks which traditionally would involve prohibitively expensive instruction. This work also illustrates that simulations and interactivity are powerful tools in the design of successful e-learning packages in preparing learners for real world practical situations. Finally this study shows that workplace learners can be better served by elearning environments rather than conventional training as they allow asynchronous learning and private study which are valued by employees who have other demands on their time and are more comfortable receiving tuition privately Relevance to industry: E-learning using constructivist principles, and incorporating simulations and interactivity can be used successfully in the training of highly specialised and skilled tasks required in the modern workplace

Technopreneurship Based Learning Model with Project Based Learning Approach in Higher Education

Abstract: The goal of this development research is to create a valid, practical, and effective technopreneurship-based entrepreneurship learning model with a Project Based Learning approach for use in Higher Education. Students from Makassar State University's Electronics Engineering Education Faculty of Engineering served as test subjects in this study. The data is analyzed using a combination of descriptive and qualitative data. The final products are learning model books and learning support tools that include semester learning plans, learning modules, and evaluation tools. The study's findings are as follows: (1) preliminary testing to determine the validity of the learning model in terms of all components; (2) theoretically and empirically, the learning model is feasible for use in the classroom; and (3) this learning model is stated to meet practical and effective criteria for use in Higher Education. Keywords: learning model, technopreneurship, Project Based Learning

Symbolic Computation via Program Transformation

Symbolic computation is an important approach in automated program analysis. Most state-of-the-art tools perform symbolic computation as interpreters and directly maintain symbolic data. In this paper, we show that it is feasible, and in fact practical, to use a compiler-based strategy instead. Using compiler tooling, we propose and implement a transformation which takes a standard program and outputs a program that performs semantically equivalent, but partially symbolic, computation. The transformed program maintains symbolic values internally and operates directly on them hence the program can be processed by a tool without support for symbolic manipulation. The main motivation for the transformation is in symbolic verification, but there are many other possible use-cases, including test generation and concolic testing. Moreover using the transformation simplifies tools, since the symbolic computation is handled by the program directly. We have implemented the transformation at the level of LLVM bitcode. The paper includes an experimental evaluation, based on an explicit-state software model checker as a verification backend

Eco-innovation: Tools to facilitate early-stage workshops

This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.This thesis presents research carried out into the use of creative tools at the early stages of eco-innovation. Eco-innovation is a practical approach aiming to develop new products and processes which significantly decrease our impact on the environment. Designers are trained to develop profitable products that increase production and consumption. Eco-innovation is a new discipline in which designers can radically reduce the environmental burdens of production and consumption through the innovation of new types of products and services. The main aim of this research was to develop an approach that would promote significant environmental improvements whilst remaining a practical, design-focused discipline. Problems and under-investigated aspects of eco-innovation were identified: • Creative approaches at early stages of eco-innovation were under-investigated and few tools had been developed for use at the early stages. • Empirical design research techniques had rarely been used to assess new eco-innovation tools or to inform their subsequent development. The focus of the research work was the development and testing of tools to facilitate workshops at the early stages of eco-innovation. Not only was the goal to facilitate the generation of radical ideas but also to ensure that these were developed into appropriate solutions having the potential to be taken up in industry. The development of the tools was based on literature research, worked examples and interviews. The tools were tested in controlled workshop experiments and the results were analysed using various empirical techniques. First, an idea-recording technique to improve the efficiency of generating and harvesting ideas in a team design process was developed. This novel tool was called the Product Ideas Tree (PIT) diagram. The tool was tested for its ability to facilitate design workshops. Secondly, a structured approach to innovation - the theory of inventive problem solving (TRIZ) - was investigated. Worked examples using some of the tools from TRIZ were presented and a limited number of tools were selected and simplified for testing in team design workshops. The PIT diagram and TRIZ tools experiments established which attributes of the tools and approaches were most beneficial. The development and testing of these specific tools provided the following general contributions to eco-innovation: • A model for eco-innovation that describes the factors influencing the discipline and the attributes of good practice. • A recommended process to transform radical ideas into appropriate solutions to improve their potential to be taken up in industry. • General insights into the use of tools in early-stage workshops such as: tool selection, integration into existing processes, system-level problem solving and providing thematic information. • Suggested improvements for testing tools in controlled workshop experiments.EPSR

Teaching computational reproducibility for neuroimaging

We describe a project-based introduction to reproducible and collaborative neuroimaging analysis. Traditional teaching on neuroimaging usually consists of a series of lectures that emphasize the big picture rather than the foundations on which the techniques are based. The lectures are often paired with practical workshops in which students run imaging analyses using the graphical interface of specific neuroimaging software packages. Our experience suggests that this combination leaves the student with a superficial understanding of the underlying ideas, and an informal, inefficient, and inaccurate approach to analysis. To address these problems, we based our course around a substantial open-ended group project. This allowed us to teach: (a) computational tools to ensure computationally reproducible work, such as the Unix command line, structured code, version control, automated testing, and code review and (b) a clear understanding of the statistical techniques used for a basic analysis of a single run in an MRI scanner. The emphasis we put on the group project showed the importance of standard computational tools for accuracy, efficiency, and collaboration. The projects were broadly successful in engaging students in working reproducibly on real scientific questions. We propose that a course on this model should be the foundation for future programs in neuroimaging. We believe it will also serve as a model for teaching efficient and reproducible research in other fields of computational science

An executable formal semantics of PHP with applications to program analysis

Nowadays, many important activities in our lives involve the web. However, the software and protocols on which web applications are based were not designed with the appropriate level of security in mind. Many web applications have reached a level of complexity for which testing, code reviews and human inspection are no longer sufficient quality-assurance guarantees. Tools that employ static analysis techniques are needed in order to explore all possible execution paths through an application and guarantee the absence of undesirable behaviours. To make sure that an analysis captures the properties of interest, and to navigate the trade-offs between efficiency and precision, it is necessary to base the design and the development of static analysis tools on a firm understanding of the language to be analysed. When this underlying knowledge is missing or erroneous, tools can’t be trusted no matter what advanced techniques they use to perform their task. In this Thesis, we introduce KPHP, the first executable formal semantics of PHP, one of the most popular languages for server-side web programming. Then, we demonstrate its practical relevance by developing two verification tools, of increasing complexity, on top of it - a simple verifier based on symbolic execution and LTL model checking and a general purpose, fully configurable and extensible static analyser based on Abstract Interpretation. Our LTL-based tool leverages the existing symbolic execution and model checking support offered by K, our semantics framework of choice, and constitutes a first proof-of-concept of the usefulness of our semantics. Our abstract interpreter, on the other hand, represents a more significant and novel contribution to the field of static analysis of dynamic scripting languages (PHP in particular). Although our tool is still a prototype and therefore not well suited for handling large real-world codebases, we demonstrate how our semantics-based, principled approach to the development of verification tools has lead to the design of static analyses that outperform existing tools and approaches, both in terms of supported language features, precision, and breadth of possible applications.Open Acces