Miracle-dz/UniFAR-FTUs huggingface dataset:
Evaluation of IEC 61175 for semanticinterpretation in OPAL-RT referencedistribution network and Jess-OPC

In the past few decades the electric power system has seen tremendous growth in termstechnology such as integration of DG and advanced power electronics devices. Such developmentsmainly include renewable energy, increased use of HVDC transmission, state ofthe art communication systems and adaptation of information modeling standards appliedto power systems. In this thesis work a RBTS distribution grid network model has beenimplemented in OPAL-RT to integrate automation and ICT with more devices. These motivateuse of standardization like IEC 61850 and IEC 61175. This network model is usedfor verification of earlier developed monitoring and control methods at the ICS department.The verification setup involves interfacing of the network models in OPAL-RT with Jessrule engine via OPC. The focus of this master project work is evaluation of the use of IEC61175 for consistent signal naming in the network model. It is done through detailed signalmodeling in the Simulink model for use in the real time simulation and implementation ofa graphical user interface to show all the signals along with their measured value in a treeview. Second part of the work focuses on utilization of the signal modeling in high-levelapplications. The applications can utilize the consistent signal naming done by using IEC61175 to implement a semantic reasoning model for interpretation of the signals and therebyimprove the monitoring and control functions. An interface has been implemented to generatean XML file of the mapped signals along with the last measured value for the parserimplemented in Java. After parsing the XML file all the data is used for the Jess rule engineto fire the particular rule in a specific situation. Some rules are implemented for monitoringthe system voltage and for finding out the signals associated with distributed generationunit to calculate their actual generation in the network. In this project an ontology basedapproach is also performed in JADE to get a clear idea of integration of information sources.Results of the work show that proper signal designation in a network according the standardIEC 61175 can potentially help reduce the complexity and improve reliability of operations.
Automatic Task Design on Amazon Mechanical Turk

Workers’ behaviors are heavily influenced by factors such as provided reward and the amount and structure of the work. In this thesis, I study the problem of task design, which is important because efficient designs can induce workers to adopt behaviors that are desirable to employers. I present a framework for adopting a quantitative approach to design image labeling tasks on Amazon Mechanical Turk, an online marketplace for labor. With the idea of learning from observations and the use of machine learning techniques, I first train workers’ behavior models and use these models to find solutions to the design problems for different goals. The experimental results show support for the importance of design in this domain and the validity of the trained models for predicting the quality and quantity of submitted work.
The history of mathematical tables : from Sumer to spreadsheets

Introduction Table and tabular formatting in Sumer, Babylonia and Assyria, 2500 BCE - 50 CE The making of logarithm tables The computation factory: de Prony's project for making tables in the 1790's Difference engines: from Muller to Comrie The 'unerring certainty of mechanical agency': machines and table making in the nineteenth century Table making in astronomy The General Registry Office and the tabulation of data, 1837 - 1939 Table making by committee British table maker 1871 - 1965 Table making for the relief of labour The making of astronomical tables in H.M. Nautical Almanac Office The rise and rise of the spreadsheet Biographical Notes
Sequential Decisions based on Algorithmic Probability

Motivation The dream of creating artificial devices that reach or outperform human intelligence is an old one, however a computationally efficient theory of true intelligence has not been found yet, despite considerable efforts in the last 50 years. Nowadays most research is more modest, focussing on solving more narrow, specific problems, associated with only some aspects of intelligence, like playing chess or natural language translation, either as a goal in itself or as a bottom-up approach. The dual, top down approach, is to find a mathematical (not computational) definition of general intelligence. Note that the AI problem remains non-trivial even when ignoring computational aspects. Universal Artificial Intelligence 5 Marcus Hutter
Un système de détection de rupture de timbre pour la description de la structure des morceaux de musique

Cet article presente une chaine d'inference automatique d'elements de la structure musicale de morceaux de musique sous leur forme sonore. Le systeme, inspire de l'etat de l'art, est constitue de deux etapes : la segmentation du morceau et l'etiquetage des segments trouves. Deux contributions sont proposees : un critere de detection des ruptures du timbre des morceaux, initialement propose pour la separation entre parole et musique dans un flux audio, est introduit lors de la segmentation. On propose par ailleurs de realiser l'etiquetage en effectuant un regroupement hierarchique des segments selon leur timbre modelise par une gaussienne et en ayant recours a des metriques empruntees au traitement de la parole. Cette etude se termine sur les premiers resultats d'evaluation de cette chaine en utilisant un corpus de 20 morceaux de musique.
Computation in cellular and molecular biological systems

A selection of papers presented at the First International Workshop on Information Processing in Cells and Tissues (IPCAT 95). The book contains contributions from mathematicians, biochemists, cell biologists, physiologists, and computer scientists. It is multidisciplinary in nature and deals with integrative aspects of information processing, cellular systems and dynamical methods.
Automated content and quality assessment of full-motion-video for the generation of meta data

Virtually all of the video data (and full-motion-video (FMV)) that is currently collected and stored in support of missions has been corrupted to various extents by image acquisition and compression artifacts. Additionally, video collected by wide-area motion imagery (WAMI) surveillance systems and unmanned aerial vehicles (UAVs) and similar sources is often of low quality or in other ways corrupted so that it is not worth storing or analyzing. In order to make progress in the problem of automatic video analysis, the first problem that should be solved is deciding whether the content of the video is even worth analyzing to begin with. We present a work in progress to address three types of scenes which are typically found in real-world data stored in support of Department of Defense (DoD) missions: no or very little motion in the scene, large occlusions in the scene, and fast camera motion. Each of these produce video that is generally not usable to an analyst or automated algorithm for mission support and therefore should be removed or flagged to the user as such. We utilize recent computer vision advances in motion detection and optical flow to automatically assess FMV for the identification and generation of meta-data (or tagging) of video segments which exhibit unwanted scenarios as described above. Results are shown on representative real-world video data.
Matériau isolant thermique à base de déchets ménagers et oléicoles

Cet article s’inscrit dans la notion d’économie d’énergie dans le bâtiment à travers l’utilisation d’éléments isolants thermiques à base de la valorisation de déchets issus de l’industrie de transformation de l’olive, ainsi que de papier-carton (cellulose). En effet, l’Algérie se caractérise par une importante activité oléicole, malheureusement génératrice de déchets, sous forme de grignon et de margine, souvent non recyclés. Nous souhaitons montrer, à travers le présent article, que le secteur du bâtiment ‘dit secteur le plus polluant’ peut devenir aujourd’hui le poumon écologique en terme de valorisation de déchets et de performances thermiques. L’objectif est la création et la caractérisation d’un matériau isolant à base de grignon et de papier (cellulose) de différentes compositions volumiques cellulose/grignon : ¼, 2/4 et ¾. Les caractéristiques étudiées sont le coefficient de conductibilité thermiqueet la résistance thermique R.
Integrating Computers Into the Elementary School Curriculum

AbstractProject CHILD (Computers Helping Instruction and Learning Development) is a computer-integrated instructional program for the elementary school. It provides for curriculum realignment and a restructured organization for the elementary school to facilitate the integration of technology into the classroom. This paper reports on a longitudinal evaluation of the effects of the program on student achievement. The effect was positive and statistically significant, across grades and schools, for the three areas measured: reading, mathematics, and total battery scores on standardized tests. The effects were largest for students who had been in the program more than one year, as well as for students from schools with larger minority and free-lunch populations.
On augmenting the visual slam with direct orientation measurement using the 5-point algorithm

This paper presents the attempt to merge two paradigms of the visual robot navigation: Visual Simultaneous Localization and Mapping (VSLAM) and Visual Odometry (VO). The VSLAM was augmented with the direct, visual measurement of the robot orientation change using the 5-point algorithm. The extended movement model of the robot was proposed and additional measurements were introduced to the SLAM system. The efficiency of the 5-point and 8-point algorithms was compared. The augmented system was compared with the state of the art VSLAM solution and the proposed modification allowed to reduce the tracking error by over 30%.
Designing a Relational Database for Long-Term Visual Mapping

We present a map architecture based on a relational database that helps tackle the challenge of lifelong visuallocalization and mapping. The proposed design is rooted in a set of use-cases that describe the processes necessary for creating, using and analyzing visual maps. Our database and software architecture effectively expresses the requiredinteractions between map elements, such as visual frames generated by multi-camera systems. One of the major strengths of the proposed system is the ease of formulating pertinent and novel queries. We show how these queries can help us gaina better intuition about the map contents, taking into account complex data associations, even as session upon session is added to the map. Furthermore, we demonstrate how referential integrity checks, rollbacks and similar features of relational database management systems are beneficial for building long-term maps. Based on our experience with the proposed system during one year of intensive data collection and analysis, we discuss key lessons learned and indicate directions for evolving its design. These lessons show the importance of using higher relational normal forms to make the database schema even more useful for querying, as well as the need for a distributed, versioned system.
AN AUTOMATED APPROACH TO INPUT DATA MANAGEMENT IN DISCRETE EVENT SIMULATION PROJECTS: A PROOF-OF-CONCEPT DEMONSTRATOR

Despite the fact that Discrete Event Simulation (DES) is claimed to be one of the most potent tools for analysis and optimization of production systems, industries worldwide have not been able to fully utilize its potential. One reason is argued to be that DES projects are not time efficient enough due to extensive time consumption during the input data phases. In some companies, input data is totally missing, but even in projects where data is available it usually takes a considerable amount of time to analyze and prepare it for use in a simulation model. This paper presents one approach to the problem by implementing a software that automates several steps in the input data process such as extracting data from a database, sorting out the information needed and fitting the data to statistical distributions. The approach and the software have been developed based on a case study at Volvo Trucks in Gothenburg, Sweden. The work presented in this paper is part of a more comprehensive project called FACTS. The project scope is to develop methods and IT-tools for conceptual plant development.
Language and Style in The Inheritors

chapter 1 List of Tables and Graphs chapter 2 List of Abbreviations chapter 3 Preface chapter 4 Pint of View, Style, and Interpretation chapter 5 A Famous Analyses Revisited chapter 6 Transitivity, Agency, and Animism chapter 7 Readability, Vocabulary Richness, and Other Statistical Measures chapter 8 Words, Words, Words: Diction and Dialogue chapter 9 Language and Style chapter 10 Novel Corpus: Rank List chapter 11 Novel Corpus: Alphabetic List chapter 12 Notes chapter 13 References chapter 14 Index
Ampelographical characterization of white Vitis vinifera L. cultivars preserved in Rioja

Cette etude porte sur seize cultivars de raisins rouges correspondant au materiel vegetal recupere et conserve depuis 1989 dans differentes banques de germoplasme de la Rioja. Ce materiel comporte soixante cultivars de vigne qui, tous, sont totalement inconnus et menaces d'extinction car ils se trouvent dans des vignes isolees et dans les plus vieux vignobles. On examine la caracterisation ampelographique de ces cultivars (Caracteres descriptifs de l'O.I.V.) en meme temps que celle de Tempranillo, Garnacha Tinta et Graciano deja suffisamment connus et qui servent de points de reference. Deux methodes de taxonomie numerique ont ete utilisees : groupage et analyse des principales composantes. Les resultats montrent un bon groupage et une bonne classification des cultivars, ce qui permet d'examiner le nouveau materiel et de resoudre certains problemes d'homonymie et de synonymie. Enfin, on examine les caracteres les plus discriminants dans la classification des cultivars.
Multi-Site Intermittent Positive Control Algorithms for the Discrete Address Beacon System. Change 2,

Abstract : This document presents complete detailed computer algorithms for implementing Intermittent Positive Control (IPC) within a multi-site Discrete Address Beacon System (DABS) network. This document is to be used by the Federal Aviation Administration to specify the IPC system which is to be provided as an integral part of the DABS Phase 2 system by the DABS System Development Contractor. (Author)
Patterns In Game Design

PART I BACKGROUND 1 Introduction 2 An Activity-Based Framework for Describing Games 3 Game Design Patterns PART II THE PATTERN 4 Using Design Patterns 5 Game Design Patterns for Game Elements 6 Game Design Patterns for Resource and Resource Management 7 Game Design Patterns for Information, Communication, and Presentation 8 Actions and Events Patterns 9 Game Design Patterns for Narrative Structures, Predictability, and Immersion Patterns 10 Game Design Patterns for Social Interaction 11 Game Design Patterns for Goals 12 Game Design Patterns for Goal Structures 13 Game Design Patterns for Game Sessions 14 Game Design Patterns for Game Mastery and Balancing 15 Game Design Patterns for Meta Games, Replayability, and Learning Curves
The Magic Table: Computer-Vision Based Augmentation of a Whiteboard for Creative Meetings

This paper presents the “Magic Table”: an augmented whiteboard surface for supporting creative meetings. The Magic Table uses computer vision for scanning and spatially organizing texts and drawings on the surface. Digitization of the physical ink is done by a-posteriori capture of the strokes. The digital information is organized through the manipulation of tokens (small plastic disks). The interaction consist of fast and easy to learn gestures that support multiple simultaneous users and two-handed
A Real-time SAR Echo Simulator Based on FPGA and Parallel Computing

This paper designs and implements a SAR (Synthetic Aperture Radar) real-time echo simulator based on multi-FPGA parallel computing. The one-dimensional frequency-domain Fourier transform algorithm is used in the simulator, and the echo signal model and the rapid calculation algorithm of impulse response function are introduced. The pipeline compute structure, multichannel parallel computing and procedure flow design are the key technologies of the simulator, which are also presented in details. And finally, the validity and correctness of the SAR echo simulator are verified through the imaging results of the point-array target and the nature scene target.
Constructing computational associations between ornamental designs

This paper presents the application of a computational model of association to the domain of real-world ornamental designs. The driving principle of the model, interpretation-driven association, is discussed with respect to its suitability to design applications. An implementation of the model is presented, in which associations are constructed based on topological and typological relationships within each design’s structure, rather than based on literal similarities. Results are presented which demonstrate that the implementation and the model from which it was derived are capable of associating between realworld design objects.
Essentials of WIAT-III and KTEA-II Assessment

Series Preface x Acknowledgments xii One Overview 1 Two WIAT-III 15 Three KTEA-II 77 Four Clinical Applications 154 Five Strengths and Weaknesses of the WIAT-III and KTEA-II 239 Six Illustrative Case Reports 270 References 318 Annotated Bibliography 327 Index 329 About the Authors 351 About the CD-ROM 352
On the creation and the annotation of a large-scale Italian-LIS parallel corpus

This paper presents the current development of the first large parallel corpus between Italian and Italian Sign Language (Lingua Italiana dei Segni, LIS). This initiative has been taken within the ATLAS project (Automatic Translation into Sign Languages), that aims at realizing a virtual interpreter, which automatically translates an Italian text into LIS. The Italian-LIS virtual interpreter is implemented by means of two modules interfaced by the ATLAS Extended Written LIS (AEWLIS), which is a translation-oriented representation of LIS: the first module translates the source Italian text into AEWLIS; the second module transforms the AEWLIS content into a coherent LIS sequence, smoothly animated by a virtual character. As no significant amount of electronic data are available for Italian and LIS, we have started building a parallel corpus from scratch in order to train and tune the Italian-AEWLIS translation system, and to compare the resulting virtual animations with human-performed LIS interpretations. The corpus, which will be freely available, actually presents a tri-lingual structure, with the Italian text, the AEWLIS sequence, and the signed LIS video
Equating Translated Verbal Test Forms Using Multiple Channels.

For a growing number of test translations, there is a need for equating that provides scores that can be used interchangeably for both sourceand target-language forms, but basic equating requirements cannot usually be met in the cross-lingual case. The situation is more problematic in verbal tests, where translation has more impact on item content, and as a result, on the psychometric characteristics of the translated items. This paper describes three equating channels and summarizes the experience acquired and the studies conducted at the Israeli National Institute for Testing and Evaluation (NITE) regarding these three equating channels. The channels are: (1) using only the nondifferential functioning translated items in the anchor; (2) using nonverbal translated items as an external anchor; and (3) using an internal within-language equating channel. The reliability and validity of each approach are explored. Results of studies at the NITE suggest two possibilities for implementation that would be appropriate in practice. One is to continue to use the verbal anchor, as it has a stronger theoretical basis, and to use the other two channels for monitoring purposes. The other is to weight the outcomes of all three methods according to an estimation of the appropriateness of each. This alternative would require further studies to determine the weights. (Contains 1 table and 21 references.) (SLD) Reproductions supplied by EDRS are the best that can be made from the original document. Equating Translated Verbal Test Forms Using Multiple Channels Avi Allalouf and Joel Rapp National Institute for Testing and Evaluation U.S. DEPARTMENT OF EDUCATION Off ye of Educational Research and Improvement ED ATIONAL RESOURCES INFORMATION CENTER (ERIC) This document has been reproduced as received from the person or organization originating it. 0 Minor changes have been made to improve reproduction quality. Points of view or opinions stated in this document do not necessarily represent official OERI position or policy. Jerusalem, Israel PERMISSION TO REPRODUCE AND DISSEMINATE THIS MATERIAL HAS BEEN GRANTED BY
Fast Concurrent Simulation Using the Time Warp Mechanism. Part I. Local Control.

Abstract : More than 20 years after its development, computer simulation continues to be a time-consuming process. This Note addresses the problem of speeding up simulation through concurrency. The authors propose a new method for concurrent simulation. the Note first presents the fundamental issues in concurrent discrete event simulation. A critical analysis of the methods for concurrent simulation proposed in the literature follows. Then the authors give a detailed description of the local control part of the Time Warp mechanism, the part concerned with the actual mechanics of discrete event simulation. Finally, the discussion examines the concepts of messages, antimessages, annihilation, and rollback.
教学型词典的新设计——评MacMillan English Dictionary

2002年3月英国MacMillan公司推出了一本新的英语教学型词典,MacMillan English Dictionary for Advanced Learners(以下简称MacMillan),成为同类型中的第五本. 词典的编写基础是20世纪90年代后期才创建的语料库--World English Corpus. 该语料库规模2亿词以上,由几个语料库组成:主要是Bloomsbury World English Corpus,收录英语世界的各种材料,包括书面语和口语,比例为9:1;LearnerCorpus,收集来自世界各地高级英语程度的学生的文字材料,能反映出他们的问题和需要,以及ELT Corpus,广收英语教科书和读物,能帮助核实教学需要的核心词汇. 因此,WorldEnglish Corpus较全面反映现代英语的动态.
Macclade: Analysis of Phylogeny and Character Evolution/Version 3

Part I Introducing MacClade: introduction - a tutorial overview of MacClade. Part II Phylogenetic theory: a phylogenetic perspective an introduction to phylogeny reconstructing character evolution using parsimony stratigraphic parsimony Part III Using MacClade: using MacClade on your Macintosh managing data files importing and exporting text files the data editor assumptions about characters trees and tree manipulation tracing character evolution basic tree and character statistics charting tree and character statistics continuous characters patterns of correlated character evolution generating random data and random trees using MacClade with molecular data recording your work. Appendix: file format.