Miracle-dz/UniFAR-FTUs huggingface dataset:
Towards a distributed programming environment based on incremental compilation (debugging, prettyprinting, interactive)

A Programming Environment is a system that provides computer assistance during software development and maintenance. The primary objective of this work concerns practically usable methods and tools in the construction of incremental and integrated programming environments that provide good support for debugging and testing of programs in a distributed context, in our case a host-target configuration. Such a system, called DICE-Distributed Incremental Compiling Environment, has been constructed and currently supports development of PASCAL programs. Three of the papers in this volume are concerned with this topic. It is demonstrated how powerful symbolic debuggers may be implemented with the aid of an incremental compiler. Methods for statement-level incremental compilation are described. Strategies suitable for implementing programming environments are discussed and exemplified by the DICE system. Some preliminary experience from the use of the prototype version of the DICE system is given. The concept of Consistent Incremental Compilation is defined, both informally and by algebraic methods. A semi-formal description of the architecture of the DICE system is presented. Many aspects of this system description are relevant for a large class of programming environments of this kind. Problems that arise from allowing mixed execution and program editing are also considered. One of the tools in a programming environment is the prettyprinter. The topic of the fourth paper is the automatic generation of prettyprinters. A language-independent algorithm for adaptive prettyprinting is described together with its application to ADA and PASCAL. Problems associated with the representation and prettyprinting of comments in abstract syntax trees are discussed together with some solutions.
Continuer relevance spaces

In analogy with Sacks et al’s [1] transition relevance places–places where it is relevant for another speaker to take the turn, or turn-transition relevance space which is the common CA term [e.g. 2], we postulate continuer relevance spaces–intervals where it is relevant for another speaker to produce a continuer [3]. Continuers indicate an understanding that the other speaker intends to continue talking and passes the opportunity to take the turn [3]. This function can be performed by short vocalizations such as 'uh huh', but descriptions of this and closely related functions have included the head nod as a prototypical example already from the beginning [4-7]. Subsequent research has demonstrated that this function can also be conveyed via facial displays such as smiles [8], brow raises [9], head and hand gestures [e.g. 10], and so on. In the proposed study, we would like to explore our intuition that interlocutors do not produce vocal continuers in every continuer relevance space. Some vocal continuers may be replaced by visual continuers (e.g. head nods). It is also possible that the interlocutor passes the opportunity to produce a continuer because it would occur to close in time to the previous one. Thus, we hypothesize that the continuer relevance spaces are more frequent than the actual vocal and visual continuers, or put differently, that observed vocal and visual continuers might underestimate the number of continuer relevance spaces. We will investigate this by annotating and comparing actual and potential (vocal and visual) continuers in genuine two-party conversations. Potential continuers will be identified by having a group of subjects (N > 2) individually marking continuer relevance spaces in one side of a genuine conversation by acting as ‘active listeners’ producing vocal continuers at places they judge appropriate. We feel that these annotations will provide interesting insights into (i) how often continuers are realized and how often they are omitted in genuine conversations; and (ii) the division of labor between vocal and visual continuers. In addition, they will enable more accurate acoustic, prosodic, lexical (et cetera) descriptions of continuer relevance spaces than the descriptions based on the context of actual vocal continuers only, which has hitherto been praxis.
Developing interactive learning environments to promote scaffolding and reflection: A look at the Digital Process Book for design studio education and comparisons to K12 science education applications

The purpose of this paper is to describe the development and rationale for the design of the Digital Process Book (DPB) learning tool for design education at the University level and discuss the similarities with applications to learning tools in K12 science education. The DPB is an interactive learning environment that is intended to promote reflection throughout a student’s design process, as well as integrate important scaffolding elements in the system that supplements the traditional inperson contact between a student and an instructor. It is based on tenets of Cognitive Load Theory, which argues that learners are not able to work to their potential if there are too many elements that they need to process in their working memory. The goal of instructional technologists and instructors is to help students decrease their extraneous cognitive load so students have more cognitive resources to focus on the tasks at hand. Design projects are complex design problems that require a way for students to organize, categorize, and sort the many artifacts and ideations that are produced in their design process. These same goals and needs for university design students are similar to learners in K12 science education.
Implementasi Transformasi Wavelet Diskret Haar pada FPGA Xilinx Spartan-3E

Abstract— This paper discusses the efficient and accurate implementation of the discrete Haar Wavelet Transform (HWT) by selection of the best fit filter bank structure and data format. There are three filter bank structures including one polyphase and two lattice filter bank structure and also three data formats including two fixed point and one single precision floating point data format which are used in implementation of discrete Haar wavelet transform are discussed in relation with the using of FPGA resources. Beside that this paper also discuss about the effect of decomposition level on utilization of FPGA resources. The decomposition level is varied from 1st to 6th level and then its effect on the FPGA resources will be observed. The implementation of the Haar wavelet transform is performed on Field Programmable Gate Array (FPGA) Xilinx Spartan-3E and it is intended for processing of voice signals. By using the lattice filter bank structure and fixed-point data format, the implementation of Haar Wavelet Transform with six decomposition levels only require 5% of FPGA’s slice and give accuracy 98.9%. Intisari— Penelitian ini membahas implementasi transformasi wavelet diskret Haar yang efisien dan akurat dengan melakukan pemilihan struktur filter bank dan format data yang tepat. Ada tiga struktur filter bank, yang meliputi satu struktur filter bank polifase dan dua struktur filter bank lattice serta tiga format data, yang meliputi dua format data fixed point dan satu format data single precision floating point, yang digunakan dalam implementasi transformasi wavelet diskret Haar yang diteliti pengaruhnya terhadap penggunaan resources. Selain itu pada penelitian ini juga dibahas mengenai pengaruh tingkat dekomposisi terhadap penggunaan resources FPGA. Tingkat dekomposisi divariasikan dari satu tingkat dekomposisi sampai dengan enam tingkat dekomposisi untuk kemudian diteliti pengaruhnya terhadap resources FPGA. Implementasi transformasi wavelet diskret Haar dilakukan pada Field Programmable Gate Array (FPGA) Xilinx Spartan-3E dan ditujukan untuk pemrosesan isyarat suara. Dengan menggunakan struktur filter bank lattice dan format data fixed point, implementasi transformasi wavelet diskret Haar dengan enam tingkat dekomposisi hanya memerlukan slice sebanyak 5% dan memiliki akurasi hasil sebesar 98,9%
Domain specific memory management in a modern web browser

Since their inception, the usage pattern of web browsers has changed substantially. Rather than sequentially navigating static web sites, modern web browsers often manage a large number of simultaneous tabs displaying dynamic web content, each of which might be running a substantial amount of client-side JavaScript code. This environment introduced a new degree of parallelism that was not fully embraced by the underlying JavaScript virtual machine architecture. We propose a novel abstraction for multiple disjoint JavaScript heaps, which we call compartments. We use the notion of document origin to cluster objects into separate compartments. Objects within a compartment can reference each other directly. Objects across compartments can only reference each other through wrappers. Our approach reduces garbage collection pause times by permitting collection of sub-heaps (compartments), and we can use cross-compartment wrappers to enforce cross origin object access policy.
Modelagem da partida de máquinas síncronas de pólos salientes maciços

of Dissertation presented to UFSC as a partial fulfillment of the requirements for the degree of Master in Electrical Engineering. MODELAGE OF SOLID SALIENT POLE SYNCHRONOUS MACHINES START Leonardo Otto Grander August/2007 Advisor: Nelson Sadowski, Dr. CoAdvisor: Renato Carlson, Dr. Area of Concentration: Electromagnetism and Electromagnetic Devices
Automated runnable to task mapping

We propose in this paper, a method to automatically map runnables (blocks of code with dedicated functionality) with real-time constraints to tasks (or threads). We aim at reducing the number of tasks runnables are mapped to, while preserving the schedulability of the initial system. We consider independent tasks running on a single processor. Our approach has been applied with fixed-task or fixed-job priorities assigned in a Deadline Monotonic (DM) or a Earliest Deadline First (EDF) manner.
Poster Abstract: Network Coding with Limited Overhearing

The two key benefits of network coding are increased reliability and throughput. Most network coding approaches for wireless networks rely on overhearing neighboring transmissions. Overhearing in sensor networks, however, is not energy-efficient. In this paper, we extend GinMAC, a state-ofthe-art MAC protocol, applying network coding with limited overhearing. Our approach reduces the delay allocating less retransmission slots. Our results show that network coding with limited overhearing reduces the power consumption of GinMAC while maintaining the desired level of reliability.
Measuring Student Attention with Face Detection: : Viola-Jones versus Multi-Block Local Binary Pattern using OpenCV

The purpose of this study is to discuss and attempt to approach an answer to the question of how face detection could be used to measure attention in a lecture hall.The conclusion might help further studies in using face detection to provide teachers with tools which can be used to improve learning during lectures.Face detection in real time applications became possible in 2001 when Viola and Jones presented a new method several times faster than any previous attempt. In 2007 Liao et al. presented a method using multi-block local binary patterns (MB-LBP) for the purpose of overcoming the simplicity and limitations of the Viola-Jones method. Computer vision libraries such as OpenCV make it easy to implement such algorithms. It currently supports both the Viola-Jones algorithm and the MB-LBP algorithm.This study compared these two face detection methods to see how they perform in terms of sensitivity and precision and attempted to identified limitations of both methods when used to detect attention in a simulated lecture environment. The study was conducted using boosted algorithms and functionality provided by OpenCV. The input data consisted of a recorded simulated lecture with 6 subjects performing different poses, labeled either attention or no attention, during certain periods of time, each pose recognized from a previously recorded actual lecture as a commonly occurring pose.The most significant difference of performance identified in the study was that the MB-LBP method performed face detection in an image three times faster than for Viola-Jones which confirmed previous reported results. Both methods generated high sensitivity values for all poses, but low precision values for two of the poses.The ability of both methods to detect downward tilted faces contributed to a high number of false positives returned when subjects performed the two poses of subjects taking notes or subjects performing activities labeled as no attention. Due to the low precision values caused by this, both methods were not considered to measure attention effectively. It is therefore suggested to instead train a MB-LBP-based method for the specific task of measuring attention in a lecture hall by training it to reject downward-tilted faces and to accept only instances conforming to the chosen definition of attention.
Data management, archiving, visualization and analysis of space physics data

A series of programs for the visualization and analysis of space physics data has been developed at UCLA. In the course of those developments, a number of lessons have been learned regarding data management and data archiving, as well as data analysis. The issues now facing those wishing to develop such software, as well as the lessons learned, are reviewed. Modern media have eased many of the earlier problems of the physical volume required to store data, the speed of access, and the permanence of the records. However, the ultimate longevity of these media is still a question of debate. Finally, while software development has become easier, cost is still a limiting factor in developing visualization and analysis software.
Algoritmo distribuido para la asignación dinámica de recursos en redes EPON

Marilet De Andrade, Paola Garfias Sebastià Sallent, Lluis Gutiérrez Anny Martínez, Pedro Vizarreta Dayana Sánchez, Mónica Huerta Departamento de Ingeniería Telemática Universidad Politécnica de Cataluña Av. Canal Olímpic 15, Castelldefels, España Departamento de Electrónica y Circuitos Universidad Simón Bolívar Valle de Sartenejas, Caracas, Venezuela marilet@entel.upc. edu, paola.garfias@entel.upc. edu sallent@entel.upc. edu, lluis.gutierrez@entel.upc. edu angama168@gmail.com, pedrovi86@gmail.com sanchez.dayana@gmail.com, mhuerta@usb.ve
The effectiveness of multimedia for library-user education: Final report of the LUMENS project

The purpose of the LUMENS (The Effectiveness of Multimedia for Library-User Education) Project was to train library educators to build interactive multimedia Web sites using Macromedia Flash and to enlist library users in a test of these sites to determine whether interactive multimedia web sites are effective vehicles for conveying library-user education content. The research effort included a large-scale, distance-education training effort because few library educators are trained in interactive multimedia production.
Using GPU to improve performance of calculating recurrence plot

: Simulation and analysis of sophisticated systems require much computations. Moore’s law, although still allows for increasing number of transistors on the die, does not lead to increase of performance of single chip — instead it leads to increased parallelism of entire system. This allows for improving performance of those algorithms that can be parallelised; recurrence plot is one of such algorithms. Graphical Processing Units (GPU) show the largest increase of parallel computations capabilities. At the same time they do not behave as traditional CPUs and require different style of programming to fully utilise their capabilities. Article shows techniques that can be used to increase performance of computing of recurrence plot on GPGPU.
Métodos de evaluación de competencias en serious games: estudio y análisis sobre su estado actual - [Skill assessment methods in serious games: a state of the art study and analysis]

Serious games or educational games are video games with learning purposes. Players must obtain skills and learning outcomes playing a videogame. They are usually assessed according to their behaviors during the gameplay. Unfortunately, assessment in serious games is a more complex process than other e-Learning assessment processes due to specific features, like game context or genre. This paper compiles assessment methods for serious games detected in the current scientific literature. A definition for each found method and an overall analysis about considered features and possible similarities are provided. Finally, conclusions of the study and future research lines are presented.
Antenna Engineering Using Physical Optics: Practical CAD Techniques and Software

From the Publisher: Spend less time setting up complex antenna design problems and improve the accuracy of your results with this practical new book and software package. It shows you how to combine physical optics modeling techniques with the free space dyadic Green's function to quickly and easily calculate antenna patterns and diffraction from nearby objects, letting your PC do the specialized math for you. Accompanying software created in MATLAB® and traditional FORTRAN code shows you how to apply basic routines so you can focus more time on the actual solution of antenna radiation problems. The book includes detailed examples showing you how to string the subroutines together for fast, accurate analysis of multiple reflector antennas, radomes, lenses, RCS of simple surfaces, microstrip arrays, and more. Packed with 100 illustrations and more than 120 equations, this hands-on guide is essential reading for all antenna design engineers who need powerful, versatile techniques to solve antenna radiation problems and who want to avoid complicated and potentially inaccurate math.
POTRET FEMININITAS PRESENTER LAKI-LAKI DALAM PROGRAM MUSIK DAHSYAT DI RCTI

Femininitas pada presenter laki-laki merupakan hal yang tengah marak dalam industri media saat ini. Keberadaan mereka seakan mampu memberikan suasana ‗baru‘ di antara laki-laki maskulin dan perempuan feminin. Perilaku feminin yang sering diidentikkan dengan perempuan ternyata juga ikut dilakukan oleh laki-laki dalam hal ini oleh presenter musik di televisi. Penelitian ini bertujuan menggambarkan potret femininitas presenter laki-laki di program musik Dahsyat RCTI yakni Olga Syahputra dan Raffi Ahmad. Obyek penelitian yang akan dianalisis adalah scene-scene di beberapa edisi program musik Dahsyat yang menampilkan sisi feminin presenter Olga dan Raffi. Dalam menganalisis obyek penelitian tersebut, metode yang digunakan adalah metode semiotik Fiske, dengan tipe penelitian kualitatif deskriptif. Unit analisis dari penelitian ini adalah paradigma dan sintagma yang terdapat pada level realitas, representasi dan ideologi. Hasil penelitian ini juga menunjukkan bahwa sosok laki-laki maskulin juga memiliki sisi feminine yang mana ditunjukkan dengan berbagai cara seperti bahasa tubuh, dialog, dan kostum. Femininitas yang direpresentasikan oleh kedua presenter laki-laki muncul sebagai sesuatu yang dapat dipelajari dan ditiru. Faktor-faktor eksternal seperti setting dan orang lain ikut mempengaruhi representasi femininitas kedua presenter laki-laki. Penampilan femininitas presenter laki-laki maskulin yang diwakili oleh Raffi ternyata berbeda dengan yang ditampilkan oleh Olga sebagai laki-laki feminin. Pembentukan femininitas pada diri kedua presenter laki-laki ini ikut didukung oleh praktek-praktek media. Dalam hal ini, ideologi kapitalis ternyata menjadikan femininitas laki-laki sebagai komoditas di industri televisi. kata kunci : femininitas, presenter laki-laki, semiotik Fiske
Graph Design for the Eye and Mind

1. Looking with the Eye and Mind 2. Choosing a Graph Format 3. Creating the Framework, Labels, and Title 4. Creating the Pie Graphs, Divided-Bar Charts, and Visual Tables 5. Creating Bar-Graph Variants 6. Creating Line-Graph Variants and Scatterplots 7. Creating color, filling, and optional components 8. How People Lie with Graphs 9. Beyond the Graph Appendix 1: Elementary Statistics for Graphs Appendix 2: Analyzing Graphics Programs Appendix 3: Summary of Psychological Principles References Sources of Data and Figures
Diferensiasi Temulawak, Kunyit, dan Bangle Berdasarkan Interpretasi Kromatografi Lapis Tipis Menggunakan ImageJ

SUCI AULIANA FITRIANTI. Differentiation of Temulawak, Kunyit, and Bangle Based on Interpretation of Thin Layer Chromatography Using ImageJ. Supervised by RUDI HERYANTO and EDY DJAUHARI Medicinal plants, such as temulawak, kunyit, and bangle, are widely used for alternative medicine and cosmetic raw materials. It has a lot of chemical components. Chromatographic fingerprint patterns demonstrate the overall component appearance that can present the diversity of existing components in medicinal plants as a whole. Chromatographic technique used were Thin Layer Chromatography (TLC). However, observations made on the results of separation by TLC is still subjective, so necessary to the development of TLC results processing methods that can produce more quantitative data. Development of these methods, among others done with a combination of digital devices. The method used is the DETLC method. In this method used imageJ software that can change the image of a band on a TLC plate to be quantified properly combined with pattern recognition techniques so as to differentiate the three types of medicinal plants based on the value of area under curve (AUC) resulting from the interpretation of the image band TLC. Smoothing process is performed on the raw image with documentation TLC using visible light, UV light (λ 254 nm), and UV light (λ 366 nm), respectively, 8, 9, and 8 times. The best grouping with the PCA method for separating plant of temulawak, kunyit, and bangle is owned by the AUC value data from the tape densitogram TLC without spraying a solution of ribbon detection and components data of the AUC value densitogram ribbon TLC by spraying a solution of the visualization vanilina UV (λ 254 nm ). Both treatments are able to explain the total variation respectively for 98% of the total variation (PC1 80%, PC2 = 18%) and 98% (PC1 = 83%, PC2 = 15%). PLSDA analysis produces a model of best of 9 models produced, the model number 3, the model of the AUC value of TLC band image with the spraying solution components vanilina ribbon detection and documentation with UV light (λ 366 nm) (R 2 calibration = 0.9869, R 2 prediction = 0.9921, RMSEC = 0.0540, RMSEP = 0.0419). DIFERENSIASI TEMULAWAK, KUNYIT, DAN BANGLE BERDASARKAN INTERPRETASI KROMATOGRAFI LAPIS TIPIS MENGGUNAKAN IMAGEJ SUCI AULIANA FITRIANTI Skripsi sebagai salah satu syarat untuk memperoleh gelar Sarjana Sains pada Departemen Kimia DEPARTEMEN KIMIA FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM INSTITUT PERTANIAN BOGOR BOGOR 2011 Judul : Diferensiasi Temulawak, Kunyit, dan Bangle Berdasarkan Interpretasi Kromatografi Lapis Tipis Menggunakan ImageJ Nama : Suci Auliana Fitrianti NIM : G44070091