Miracle-dz/UniFAR-FTUs huggingface dataset:
Learning to teach with a classroom simulator

A classroom simulator – simSchool offers a new paradigm for teacher education based in self-direction & personal validation in a complex but repeatable practice environment, supported by emergent interdisciplinary knowledge concerning the unique affordances of digital media assessment and social media. INTRODUCTION When the concept of creating a simulation to train teachers was first introduced in 2003, an early challenge was convincing people that the complexities of teaching and learning could be adequately represented. In this section, we briefly review that argument and indicate how simulator-based learning is unlike learning in other modalities. A simulation of a classroom with enough complexity to educate teachers stretches the imagination, but can be illustrated with the affordances and limitations of all simulation models. Imagine that an elementary teacher is teaching a lesson in earth science. As a constructivist and inquiry-oriented teacher, she gives the students a bare lamp bulb on a stand as a light source, a basketball and a softball, and challenges the students to turn down the lights and experiment with these objects until they find a way to show the phases of the moon. After several minutes of playing with these objects, the students discover several facts about the sun-earth-moon system in spite of the fact that the light source is too small to represent the true size of the sun and the room is too small to represent the distances involved among the three bodies. Even though the relative
Proceedings of the 17th International Symposium on High-Performance Distributed Computing (HPDC-17 2008), 23-27 June 2008, Boston, MA, USA

It is our great pleasure to welcome you to the 17th International Symposium on High Performance Distributed Computing -- HPDC'08. This year's symposium continues its tradition of being the premier forum for presentation of research and experience at the confluence of high performance and distributed computing. The call for papers attracted 103 submissions from Asia, Canada, Europe, and the United States. The program committee accepted 18 papers (17%) that cover a variety of topics, including virtual machines, data intensive computing, reservations and leasing, security and fault tolerance, and storage and I/O to name a few. In addition, the program includes a panel on Cloud Computing, a hot topics session, poster and demo session, and keynotes by Daniel Reed of Microsoft, Peter Voshal of Amazon, and Andrew Grimshaw of the University of Virginia. The technical program was created by a rigorous review process with 3 or more reviews per paper.
A low power chipset for portable multimedia applications

Future terminals will allow users untethered access to multimedia information servers that are interconnected through high-bandwidth network backbones. This paper describes a chipset for such a terminal, to transmit audio and pen input from the user to the network on a wireless uplink and to receive audio, text/graphics and compressed video from the backbone on the down link. The portability requirement results in the primary design focus on power reduction. Six chips provide the interface between a high-speed digital radio modem and a commercial speech codec, pen input circuitry, and LCD panels for text/graphics and full-motion video display. The chips provide protocol conversion, synchronization, error correction, packetization, buffering, video decompression, and D/A conversion at power consumption less than 5 mW. <<ETX>>
Proceedings of the 10th international conference on Ubiquitous computing

UbiComp 2008, the Tenth International Conference on Ubiquitous computing, is the premier forum for the presentation of research results in all areas relating to the design, implementation, deployment and evaluation of ubiquitous computing technologies. The conference brings together leading researchers, from a variety of disciplines, perspectives and geographical areas, who have been exploring the implications of computing as it moves beyond the desktop and becomes increasingly interwoven into the fabrics of our lives. A total of 226 submissions---160 full papers and 66 notes---were evaluated by our international Program Committee, composed of 31 of the leading researchers in the field of ubiquitous computing. Each submission was reviewed by two members of the program committee and two or more external reviewers, and after an online discussion phase 80 papers were chosen for consideration at a 2-day PC meeting. Each of these was evaluated by an additional PC member before the meeting. After this rigorous process, a total of 42 submissions---37 full papers and 5 notes---were accepted for publication in these proceedings, representing an overall acceptance rate of 19%. We are pleased to note that the set of accepted papers constitutes the largest number of papers accepted to a UbiComp conference to date.
Survey and Performance Analysis of Routing Protocols in MANET

A Mobile Ad-hoc Network (MANET) consists of several mobile wireless nodes. It is infrastructure-less, self organized and self configurable network in which the mobile nodes move arbitrarily. A routing protocol establishes correct and efficient route between mobile nodes and find the routes to facilitate communication within the network. Route should be discovered and maintained with minimum overhead and bandwidth consumption. Here topology based routing protocols, both proactive and reactive protocols have been considered for study. The performance of routing protocols (DSDV, AODV, OLSR, DSR, TORA, ZRP) is analyzed in terms of their packet delivery ratio, throughput, end-to-end delay, bandwidth, control overhead and energy consumption. We analyze the solution of routing in MANET and evaluate its performance using Network Simulator-2 (NS-2) under different network parameters. Keywords— MANET, NS-2, Routing protocols, DSDV, AODV, OLSR, DSR, TORA, ZRP.
Game Design as Narrative Architecture

The relationship between games and story remains a divisive question among game fans, designers, and scholars alike. At a recent academic Games Studies conference, for example, a blood feud threatened to erupt between the self-proclaimed ludologists, who wanted to see the focus shift onto the mechanics of game play, and the narratologists, who were interested in studying games alongside other storytelling media l Consider some recent statements made on this issue:
Fundamentals of Convolutional Coding

From the Publisher: Convolutional codes, among the main error control codes, are routinely used in applications for mobile telephony, satellite communications, and voice-band modems. Written by two leading authorities in coding and information theory, this book brings you a clear and comprehensive discussion of the basic principles underlying convolutional coding. This book can be used as a textbook for graduate-level electrical engineering students. It will be of key interest to researchers and engineers of wireless and mobile communication, satellite communication, and data communication.
Performance comparison of output power estimators used in AC/DC/AC converters

In the paper various methods of power estimation used in AC/DC/AC converters are compared. To maintain constant DC bus voltage using only small electrolytic capacitors which is one of the design targets in these systems, the input bridge reference currents must be generated on the basis of the system power flow. Since this method is not sufficient for tight regulation, an inner DC bus voltage control loop is usually added. The design procedure of the DC bus voltage regulator is also presented. The performance of three estimation methods is compared in terms of DC bus voltage fluctuation in dynamic conditions for a 15 kW AC/DC/AC converter. <<ETX>>
Modeling and analysis of flexible beams with surface-mounted PZT actuators

This paper examines a number of long-standing problems in high-fidelity modeling, precision positioning, vibration and disturbances attenuations, as well as tracking control problems for flexible beams. The mathematical models of beam are described by partial differential equations. The nonlinear PZT actuators dynamics is integrated to perform design and guarantee accurate performance analysis with outcomes prediction. Forces, developed by the PZT actuators, are applied to accurately position the beam, attenuate vibrations, and minimize disturbances. High-fidelity mathematical models of actuators must be studied and integrated because nonlinearities, hysteresis and other phenomena cannot be neglected. These nonlinear effects significantly degrade overall performance. Therefore, modeling, analysis, simulation and control problems must be solved. To guarantee the optimal performance, robust tracking control algorithms are designed using proportional-integral control laws with state feedback. In addition to the solution of tracking control problem, the parametric optimization problem needs to be examined. In particular, we research the closed-loop system performance by using different number of PZT actuators and optimizing their locations. The results reported are new and have not been reported in the literature. The proposed mathematical models, design procedures and optimization are verified through heterogeneous simulations and data-intensive analysis using the MATLAB environment.
Interaction Design for "Digital Djurpark"

In this paper the possible interactions in a concept as “Digital Djurpark” are defined and discussed. The “Digital Djurpark” is based on a wireless sensor network containing of 100 sensors inside a zoo. With these sensors it will become possible to collect all kinds of different data and to present it to the visitor in a new way to give her a whole new experience of her visit to the zoo. The definition of the visitor, the park and the animals are enlarged to contain more that just the physical “object” but also all kinds of information that could be connected to it. This means that the interaction between them will become something new and even greater than today.
A Content Based Image Retrieval System for diagnosing Agricultural Plant Diseases

Agriculture sector provides gainful employment and livelihood for majority of the population of India and contributes significantly to the National Income. Farmers are the backbone of the Agriculture sector. Farmers are unable to cope up with the problems that arise due to agricultural plant diseases and they depend on Agriculture Plant Biologists to address these problems. Diagnosing the plant diseases manually by the Agriculture Plant Biologists by looking and examining the diseased plant is a time consuming process. If the Agriculture Plant Biologists are unable to identify the plant disease within the stipulated time the crops get spoiled. Since a single picture is worth a thousand words, it would be a good idea if the Agriculture Plant Biologists are provided with a system which can automatically extract and analyze significant features of the diseased plant by processing the uploaded diseased plant image. This will aid the Agriculture Plant Biologists to diagnose the plant disease easily and tell the farmers on the treatment measures to be taken at the earliest. Recognizing the importance and predominance of Agriculture sector, in this paper a system based on Content Based Image Retrieval for diagnosing the agricultural plant diseases is proposed. MPEG-7 CLD (Color layout descriptor) has been used to create the image descriptors and MPEG-7 CLD distance measure is used to compare the images. Index Terms — Content-based image retrieval (CBIR) systems, Color Layout Descriptor (CLD)
Data structure for a fuzzy machine learning algorithm

The authors previously (1996) proposed a general learning method for automatically deriving fuzzy if-then rules and membership functions from a set of given training examples by merging the decision tables and membership functions. In this paper, we present an appropriate data structure upon which to base that learning method. A decision array and membership function arrays are used. Depending on the data structure used, procedures for implementing each step in the original learning algorithm efficiently are available.
Design of High-Performance Microprocessor Circuits

From the Publisher: This book covers the design of next generation microprocessors in deep submicron CMOS technologies. The chapters in Design of High Performance Microprocessor Circuits were written by some of the worlds leading technologists, designers, and researchers. All levels of system abstraction are covered, but the emphasis rests squarely on circuit design. Examples are drawn from processors designed at AMD, Digital/Compaq, IBM, Intel, MIPS, Mitsubishi, and Motorola. Each topic of this invaluable reference stands alone so the chapters can be read in any order. The following topics are covered in depth: Architectural constraints of CMOS VLSI design Technology scaling, low-power devices, SOI, and process variations Contemporary design styles including a survey of logic families, robust dynamic circuits, asynchronous logic, self-timed pipelines, and fast arithmetic units Latches, clocks and clock distribution, phase-locked and delay-locked loops Register file, cache memory, and embedded DRAM design High-speed signaling techniques and I/O design ESD, electromigration, and hot-carrier reliability CAD tools, including timing verification and the analysis of power distribution schemes Test and testability Design of High-Performance Microprocessor Circuits assumes a basic knowledge of digital circuit design and device operation, and covers a broad range of circuit styles and VLSI design techniques. Packed with practical know-how, it is an indispensable reference for practicing circuit designers, architects, system designers, CAD tool developers, process technologists, and researchers. It is also an essential text for VLSI design courses.
GPS L5 signal acquisition exploiting Neuman-Hoffman code transitions

This paper proposes a new strategy for the acquisition of the GPS L5 signal. Although the L5 signal is mainly thought for aircraft navigation, it also will serve as a robust third signal for a broad range of GPS civil users. The GPS L5 signal features an enhanced signal structure, with two components, one with and one without a navigation message. The new algorithm identifies Neumann-Hofmann code transitions on the pilot channel to rapidly synchronize the secondary code. The paper demonstrates that the search of the Neumann-Hoffman code phase corresponds to the search of a leaf node in a tree-data structure. The basic idea behind the algorithm is to take advantage of sign transitions and detect distortions of the Cross Ambiguity Function (CAF). The algorithm is based on the Fast Fourier Transform (FFT) in time domain, but it reduces the complexity of some acquisition algorithms proposed in the past, as it does not use zero padding techniques. The algorithm is able to estimate the code phase offset and the Doppler frequency with a reduced number of FFTs, therefore it is a suitable solution for software radio receivers.
It’s not Possible to be a Sage on the Cyberstage

Few university entry-to-practice professional health programmes utilize the broad range of computer technology to enhance student learning. One Canadian Occupational Therapy Programme is an exception and is unique in its breadth and depth of usage. In this paper we present as learning tools, WebCT Vista, YouTube™, Skype™, digital video recordings, iClicker®, Second Life®, ePortfolios, wikis, blogs and Facebook and discuss the way in which these computer technologies supports entry-to-practice preparedness for practice. We provide examples of creative use by students and academics. Computer technology is used in innovative approaches to learning, preventing teacher-centred ‘sage of the stage’ grandstanding but, rather, requiring students to focus on constructing their learning through the personal involvement that is required when computer technology is exploited for this purpose. The benefits of computer technology, in educational terms, are increased collaboration with peers and health care colleagues and increased active engagement in the learning process. ; ;
Prototipe Sistem Informasi Perpustakaan Pusat dan Daerah

Abstract. Library has one of important resources to obtain information for research needs. The quality of a library information system needs to improve promptly because the information is needed quickly and accurately. In order to present library catalogue data that can be integrated with all central and local libraries, the library information system of Research and Development of the Human Resources Agency of the Ministry of Communication and Information Technology (Balitbang SDM Kominfo) needs to be well developed. The aim of this research is to design a prototype of library information system in order to present library data from central and local libraries accurately. Simulation tests are performed in eight research centers in the Ministry of Communication and Information Technology. The test is performed to analyze the perception of the users about the effectiveness of the system. The results show that the central library and information systems have good quality. Keywords: central library, local library, prototype, information system Â Abstrak. Perpustakaan merupakan sarana untuk mendapatkan literasi informasi melalui hasil penelitian yang telah dilakukan. Peningkatan kualitas layanan sistem informasi perpustakaan yang tersaji dengan cepat, akurat dan aktual mutlak diperlukan. Untuk itu dipandang perlu suatu perbaikan sistem perpustakaan Balitbang SDM Kominfo agar dapat menyajikan data perpustakaan yang dapat terintegrasi antara perpustakaan pusat dan perpustakaan daerah. Penelitian ini bertujuan untuk merancang prototipe suatu sistem informasi perpustakaan pusat dan daerah agar data perpustakaan pusat dan daerah dapat tersaji dengan cepat dan akurat. Pengujian dilakukan dengan simulasi sistem di delapan balai Kominfo. Pengujian ini bertujuan untuk menganalisis persepsi administrator pusat dan administrator daerah mengenai efektivitas sistem. Hasil pengujian menunjukkan bahwa sistem informasi perpustakaan pusat dan daerah memiliki kualitas yang baik. Kata Kunci: perpustakaan daerah, perpustakaan pusat, prototipe, sistem informasi
Compile time analysis of c and c++ systems

We present a new approach using data flow techniques to solve compile time analysis problems for languages with general purpose pointer usage. We solve the def-use associations for C and type determination for C$\sp{++}$ as representative problems. A study of the close interaction of aliasing with these problems has led us to the development of a unified approach to solve them simultaneously with aliasing, as against a factored approach which may lead to significant loss of precision. These problems are fundamental for analysis because they provide important semantic information whose precision can greatly affect the quality and utility of almost all other compile time analyses. Our polynomial algorithms are approximate, which is expected since we have shown the NP-hardness of the problems we are solving. The robust empirical results on actual programs validate our analysis approach and demonstrate its utility. Def-use analysis links possible value setting statements for a variable (i.e., definitions) to potential value-fetches (i.e., uses) of that value. Def-use associations are thus, compile time calculable data dependences, necessary for software engineering applications such as data flow testing coverage, static slicing techniques and integrating non-interfering versions of programs. Ours is the first interprocedural def-use associations algorithm which accounts for pointer usage and yields reasonable accuracy. Type determination calculates at compile time, the possible types of objects to which a pointer may point during some execution of the program. In C$\sp{++}$, the type of object pointed to by the receiver at a virtual call site dynamically determines the function to be invoked. Type determination enables us to replace this late binding with a direct call to an appropriate function or with inlined code in suitable circumstances, thereby eliminating the late binding overhead and improving execution efficiency. We show how our work particularly benefits architectures which use deep pipelining and branch prediction. We also bring out its utility in building a more precise call graph and improving the efficacy of subsequent analyses for C$\sp{++}$. We present a combined algorithm for aliasing and type determination for C$\sp{++}$: the first data flow technique for the problem for an object-oriented language.
Understanding asynchronous code

JavaScript on the web is difficult to debug due to its asynchronous and dynamic nature. Traditional debuggers are often little help because the language’s idioms rely heavily on non-linear control flow via function pointers. The aim of this work is to create a debugging interface that helps users understand complicated control flow in languages like JavaScript. This thesis presents a programming editor extension called Theseus that uses program tracing to provide real-time in-editor feedback so that programmers can answer questions quickly as they write new code and interact with their application. Theseus augments the call graph with semantic edges that allow users to make intuitive leaps through program traces, such as from the start of an asynchronous network request to its response. Participants in lab and classroom studies found Theseus to be a usable replacement for traditional breakpoint and logging tools, though no significant difference was found in their ability to complete programming tasks. Thesis Supervisor: Robert C. Miller Title: Associate Professor
On Studying the Effect of Sample Size in Evaluation of Bug Classifiers

Sampling is an important and necessary step in mining large size databases and is also very useful in performing mining operations, where performance is a critical issue. This study focuses on identifying the effect of sample size in classification of software bugs. To analyze the effect of sample size, experiments are performed using a number of classification algorithms with varities of sample sizes using the software bug repositories of three large open source software's namely Android, Mozilla and MySql. The relationship between the sample size with two primary classification performance parameters accuracy and F-measure is explored in this study. From experiments, it is identified that the parameter F-measure is affected more by the sample size than accuracy.
Learning and Planning of Situated Resource Bounded Agents

This paper presents an investigation of rational agents that have limited computational resources and that can interact with their environments. We analyse how such agents can combine deductive reasoning using domain knowledge and inductive learning from past experiences, while remaining time-aware in a manner appropriate for beings situated in a dynamic universe. In particular, we consider how they can create and reason about partial plans, choose and execute the best ones of them — in such way as to acquire the most knowledge. We also discuss what are the different types of interactions with the world and how they can influence agent’s ability to consciously direct its own learning process.