The gamification of education can enhance levels of students' engagement similar to what games can do, to improve their particular skills and optimize their learning. On the other hand, scientific studies have sho...
详细信息
The gamification of education can enhance levels of students' engagement similar to what games can do, to improve their particular skills and optimize their learning. On the other hand, scientific studies have shown adverse outcomes based on the user's preferences. The link among the user's characteristics, executed actions, and the game elements is still an open question. Aiming to find some insights for this issue, we have investigated the effects of gamification on students' learning, behavior, and engagement based on their personality traits in a web-based programming learning environment. We have conducted an experiment for four months with 40 undergraduate students of first-year courses on programming. Students were randomly assigned to one of the two versions of the programming learning environment: a gamified version composed of ranking, points, and badges and the original non-gamified version. We have found evidence that gamification affected users in distinct ways based on their personality traits. Our results indicate that the effect of gamification depends on the specific characteristics of users. First part title: Studying the impact of gamification on learning and engagement based on the personality traits of students
One of the main characteristics of High-performance Computing (HPC) applications is that they become increasingly performance and power demanding, pushing HPC systems to their limits. Existing HPC systems have not yet...
详细信息
One of the main characteristics of High-performance Computing (HPC) applications is that they become increasingly performance and power demanding, pushing HPC systems to their limits. Existing HPC systems have not yet reached exascale performance mainly due to power limitations. Extrapolating from today's top HPC systems, about 100-200 MWatts would be required to sustain an exaflop-level of performance. A promising solution for tackling power limitations is the deployment of energy-efficient reconfigurable resources (in the form of Field-programmable Gate Arrays (FPGAs)) tightly integrated with conventional CPUs. However, current FPGA tools and programming environments are optimized for accelerating a single application or even task on a single FPGA device. In this work, we present UNILOGIC (Unified Logic), a novel HPC-tailored parallel architecture that efficiently incorporates FPGAs. UNILOGIC adopts the Partitioned Global Address Space (PGAS) model and extends it to include hardware accelerators, i.e., tasks implemented on the reconfigurable resources. The main advantages of UNILOGIC are that (i) the hardware accelerators can be accessed directly by any processor in the system, and (ii) the hardware accelerators can access any memory location in the system. In this way, the proposed architecture offers a unified environment where all the reconfigurable resources can be seamlessly used by any processor/operating system. The UNILOGIC architecture also provides hardware virtualization of the reconfigurable logic so that the hardware accelerators can be shared among multiple applications or tasks. The FPGA layer of the architecture is implemented by splitting its reconfigurable resources into (i) a static partition, which provides the PGAS-related communication infrastructure, and (ii) fixed-size and dynamically reconfigurable slots that can be programmed and accessed independently or combined together to support both fine and coarse grain reconfiguration.1 Finally, t
This paper presents a relay feedback technique for identification of dynamical systems for control purposes. The proposed technique uses a biased relay test with an added integration to determine three frequency respo...
详细信息
To alleviate development of FPGA-based accelerator function units for software engineers, the OpenPOWER Accelerator Work Group has recently introduced the CAPI Storage, Network, and Analytics programming (SNAP) framew...
详细信息
ISBN:
(纸本)9783030105495;9783030105488
To alleviate development of FPGA-based accelerator function units for software engineers, the OpenPOWER Accelerator Work Group has recently introduced the CAPI Storage, Network, and Analytics programming (SNAP) framework. However, we found that software engineers are still overwhelmed with many aspects of the novel hardware development framework. This paper provides background and instructions for mastering the first steps of hardware development using the CAPI SNAP framework. The insights reported in this paper are based on the experiences of software engineering students with little to no prior knowledge about hardware development.
The teaching of programming is an important issue related to Educational Robotics whereas in many cases students have different levels of knowledge in programming. Since several robots have a specific programming lang...
详细信息
ISBN:
(纸本)9781728142685
The teaching of programming is an important issue related to Educational Robotics whereas in many cases students have different levels of knowledge in programming. Since several robots have a specific programming language, some students are excluded from the class due to their poor knowledge in the area. This paper presents the possibility of abstraction in the programming complexity by making use of the web environment multi-platform W-Educ. The presented approach allows different groups of users to perform the same activity making use of different resources.
This paper compares programming environments that exploit heterogeneous systems to process a large amount of data efficiently. Our motivation is to investigate the feasibility of the adaptive, transparent migration of...
详细信息
This paper compares programming environments that exploit heterogeneous systems to process a large amount of data efficiently. Our motivation is to investigate the feasibility of the adaptive, transparent migration of intensive computation for a large amount of data across heterogeneous programming languages and processors for high performance and programmability. We compare a variety of programming environments composed of programming languages, such as Java and C, memory space models, such as distinct and shared memory, and parallel processors, such as general-purpose CPUs and graphics processing units (GPUs) to examine their performance-programmability tradeoffs. In addition, we introduce a software based shared virtual memory that creates a view of the host memory inside GPU kernels to enable seamless computation offloading from the host to the device. This paper reveals a programmability-performance hierarchy in which programs increase their performance at the cost of decreasing programmability. The experimental results suggest the desirability of a well-balanced system.
Code4Brownies is a software solution designed to foster active learning, coding, and problem solving in the classroom. Through this active learning style and platform, teachers can instantly provide guided instruction...
详细信息
ISBN:
(纸本)9781450357074
Code4Brownies is a software solution designed to foster active learning, coding, and problem solving in the classroom. Through this active learning style and platform, teachers can instantly provide guided instruction that gradually assists and leads students through various steps of solving a problem before reaching a correct solution. Teachers can even provide individualized instruction that addresses different needs of students with different levels of preparation. Two different delivery modes of guided instruction (teacher controlled and on-demand at student request) support various classroom scenarios and teaching pedagogies. Our experience of using Code4Brownies over a period of several semesters suggests that this tool helped students become more engaged, perform better, and ultimately be more successful.
The RoboCupRescue Simulation project is a test bed for multi-agent systems research for disaster relief. However, researchers have to implement many types of algorithm and require a complicated procedure for experimen...
详细信息
ISBN:
(纸本)9783030003081;9783030003074
The RoboCupRescue Simulation project is a test bed for multi-agent systems research for disaster relief. However, researchers have to implement many types of algorithm and require a complicated procedure for experiments, which places a heavy burden on them. Therefore, we propose an environment that integrates an agent-development framework and an experiment-management system to support researchers.
Formal software verification includes specifications, tools, and interactivity with the developer. By combining these key components into a programming language and a familiar programming environment with high automat...
详细信息
Formal software verification includes specifications, tools, and interactivity with the developer. By combining these key components into a programming language and a familiar programming environment with high automation, Dafny makes verification more easily accessible to programmers and students.
Robots are becoming increasingly prevalent and are already providing assistance in a variety of activities, ranging from space exploration to domestic housework. Recent advances in the design of sensors, motors, and m...
详细信息
Robots are becoming increasingly prevalent and are already providing assistance in a variety of activities, ranging from space exploration to domestic housework. Recent advances in the design of sensors, motors, and microelectromechanical systems have enabled the development of a new class of small aerial robots. These free-flying robots hold great promise in assisting humans by acting as mobile sensor platforms to collect data in areas that are difficult to access or infeasible to instrument. In this work, we explored the design of interfaces that support users in working with free-flying robots to accomplish tasks including inventory logistics and management, environmental data collection, and visual inspection. Extending prior work in control interfaces for ground robots, we conducted a formative study in order to identify key design requirements for free-flyer interfaces. We designed several realistic tasks for use in evaluating human-robot interaction within the context of indoor free-flyer operation. We implemented three prototype interfaces that each provide varying degrees of support in enabling remote users to work with a flying robot to plan, communicate goals, accomplish tasks, and respond to changes in a dynamic environment. An experimental evaluation of each interface found that the interface designed to support collaborative planning and replanning using an interactive timeline and three-dimensional spatial waypoints significantly improved users' efficiency in accomplishing tasks, their ability to intervene in response to spontaneous changes in task demands, and their ratings of the robot as a teammate compared to interfaces that support low-level teleoperation or waypoint-based supervisory control. Our results demonstrate the utility of a data-driven design process and show the need for free-flyer interfaces to consider planning phases in addition to task execution. In addition, we demonstrate the importance of providing interface support for interrup
暂无评论