Miracle-dz/UniFAR-FTUs huggingface dataset:
Thoughtful Interaction Design: A Design Perspective on Information Technology

JONAS LOWGREN AND ERIK STOLTERMAN THOUGHTFUL INTERACTION DESIGN A DESIGN PERSPECTIVE ON INFORMATION TECHNOLOGY MIT Press, 2004 ISBN 0-262-12271-5, 198 pages, hardbound, black and white illustrations, $35.00 When I picked up this book, I thought I'd give it a quick browse. The early pages confirmed this approach as it identified its goal as representing design to information technology (IT). However by the end of the first chapter I knew I needed to read it thoroughly. The authors are in the Scandinavian human-centered tradition that emphasizes development of the human side of technology use. As designers in search of digital solutions, they traverse design processes, understanding people and technology in use and development. This book is important because designers increasingly work with information technologists and epistemologically their worlds are quite different. What is important, what constitutes evidence for a solution, how a process unfolds and what is the goal are all somewhat different between these disciplines. Many designers lack basic understanding of science or logic and find interdisciplinary work difficult or even troubling. This book serves to provide a bridge from design to IT. Another book is needed for traffic going in the other direction, from IT to design. In an early chapter the authors develop terms for the design process in order to speak clearly about it; the terms are vision, a largely intuitive first organizing principle for what will unfold; operative image, the externalization of the vision that bridges the abstract and the concrete; and specification, the transition from an operative image into a specific something to be built. The way a designer works, holistically, fluidly and in a search for the character of an emergent whole, is significantly different from that of an engineer. The authors enumerate design ability with the following (p. 45): * Creating and shaping demands creative and analytical ability * Deciding demands critical judgment * Working with a client demands rationality and ability to communicate * Design of structural qualities demands knowledge of technology and material * Design of functional qualities demands knowledge of technology use * Design of ethical qualities demands knowledge of relevant values and ideals * Design of aesthetic qualities demands an ability to appreciate and compose After establishing design fundamentals, a chapter explores design methods and techniques. …
Feasibility of FPGA-based Computations of Transition Densities in Quantum Many-Body Systems

This thesis presents the results from a feasibility study of implementing calculations of transition densities for quantum many-body systems on FPGA hardware. Transition densities are of interest in the field of nuclear physics as a tool when calculating expectation values for different operators. Specifically, this report focuses on transition densities for bound states of neutrons. A computational approach is studied, in which FPGAs are used to identify valid connections for one-body operators. Other computational steps are performed on a CPU. Three different algorithms that find connections are presented. These are implemented on an FPGA and evaluated with respect to hardware cost and performance. The performance is also compared to that of an existing CPU-based code, Trdens. The FPGA used to implement the proposed designs was a Xilinx Virtex 6, built into Maxeler’s MAX3 card. It was concluded that the FPGA was able to find the connections of a one-body operator in a fraction of the time used by Trdens, ran on a single CPUcore. However, the CPU-based conversion of the connections to the form in which Trdens presents them, was much more time-consuming. For FPGAs to be feasible, it is hence necessary to accelerate the CPU-based computations or include them into the FPGA-implementations. Therefore, we recommend further investigations regarding calculations of the final representation of transition densities on FPGAs, without the use of an off-FPGA computation.
Planning to Plan-Integrating Control Flow

In many planning situations, computation itself becomes a resource to be planned and scheduled. We model such computational resources as conventional resources which are used by control-flow actions, e.g., to direct the planning process. Control-flow actions and conventional actions are planned/scheduled in an integrated way and can interact with each other. Control-flow actions are then executed by the planning engine itself. The approach is illustrated by examples, e.g., for hierarchical planning, in which tasks that are temporally still far away impose only rough constraints on the current schedule, and control-flow tasks ensure that these tasks are refined as they approach the current time. Using the same mechanism, anytime algorithms can change appropriate search methods or parameters over time, and problems like scheduling critical time-outs for garbage collection can be made part of the planning itself.
A Study on Anti-collision Algorithm in Gen2 Protocol Based RFID Systems

RFID technology, as one contact-less identification technology with using electronic tag, is the field where its multiple researches have been studied. Especially, in the field of supply chain management, when it is necessary to identify a lot of objects by real-time, performance of anti-collision algorithm for multiple tag identification has an effect on performance of entire system. GEN2 is global, open, interoperability protocol for UHF RFID system, the active researches and developments are processed about it. In this paper, we introduce an anti-collision algorithm based on Slotted-ALOHA for GEN2 protocol, focus on estimating number of tags and setting number of slots and review the previous works. We propose new scheme that can estimate number of tags efficiently, and define system efficiency newly when it's used in setting number of slots. We also present result of compare and analysis with previous scheme through simulation. The proposed scheme of estimating number of tags is easy to implement, number of tags which is less than 4 times of number of slots can estimate tags efficiently, we also proved that identification efficiency based on weighted-slot distinguished with definition of previous slot efficiency can improve system efficiency.
Proceedings of the 8th conference on Computational linguistics

Representing the Organizing Committee of the COLING 80, Iwouldlike to express our heartiest welcome to all of you. As Japan is an island country in the Orient, and is located far from western countries, we have many exotic cultural aspects for everyone of you to enjoy. Our language is one of them, and I would like to explain a little bit about our language.In ancient Japan people had their language (they called it Yamato-kotoba), but had no characters. When they learned Chinese characters around the sixth century, they began to write by utilizing Chinese characters in two ways:1) For ideograms they borrowed Chinese characters of equivalent meaning but read the characters in their own ways.2) For about fifty phonetic signs they invented two kinds of Kana-characters. (a)Kata-kana: each kana is derived from an element of a corresponding Chinese character, (the pronunciation of it is needed for Japanese language). (b)Hira-kana: each kana is a result of simplification of a corresponding Chinese character written in a very cursive hand.Today, Kata-kana is ordinarily used for names and words of Western origin , and Hira-kana for everything else that is written phonetically. Nowadays we use about two thousand ideographic characters and about one hundred Kana characters in our daily life. Consequently if we want to process our texts by digital computers, our first problem is the choice of input/output devices for manipulating such many characters. In this preprint you will find many papers from Japanese colleagues that relate to this problem. And you will have opportunities to see such devices during your stay in Japan.
CONVERSION OF THE CTA, INC., EN ROUTE OPERATIONS CONCEPTS DATABASE INTO A FORMAL SENTENCE OUTLINE JOB TASK TAXONOMY

Abstract : FAA Air Traffic Control Operations Concepts Volume VI: ARTCC-Host En Route Controllers (1990) developed by CTA, Inc., a technical description of the duties of an En Route air traffic control specialist (ATCS), formatted in User Interface Language, was restructured into a hierarchical formal sentence outline. To ensure that none of the meaning associated with a task or task element was lost during the conversion, the revised document was reviewed by subject matter experts (SMEs) consisting of five groups of six En Route controllers and a quality assurance subject matter expert. SMEs looked for words, phrases, or acronyms not commonly used by En Route controllers, and illogical sequencing of duties described in the document. Appropriate suggestions for change were implemented into the document before the next review. Five-hundred seventy-five changes were made to the document, with only two of these changes made during the final review, confirming that an improved document resulted from the research. The restructured document is intended to assist in the identification of tasks not performed or performed incorrectly during the commission of an operational error. However, an easily understood, detailed description of duties performed by an En Route ATCS has potential not only for use by researchers interested in En Route ATCS tasks, but also by quality assurance investigation teams and training personnel. Air traffic control, Job tasks, Human factors, Human performance, Training.
Localização de objetos utilizando leitura de intensidade de sinal wireless e enxame de robôs

xii 1 INTRODUÇÃO 1 1.1 Objetivos . 2 1.2 Contribuições . 3 1.3 Organização do trabalho . 3 2 FUNDAMENTAÇÃO 4 2.1 Robótica Aplicada . 4 2.2 Enxame de Robôs . 6 2.3 Robótica Colaborativa . 9 2.4 Rádios . 9 2.4. 1 Comunicação . 10 2.4. 2 RSSI . 12 3 TRABALHOS RELACIONADOS 14 3.1 A busca por sobreviventes: Cooperativa de Interação Humano-Robô na Busca e Salvamento em Ambientes usando robôs semiautônomos . 14 3.2 Multi-robôs para equipes de busca e resgate . 16 3.3 Estratégia de Busca de um Robô Móvel para fontes de radiação em um ambiente desconhecido . 18 3.4 Comparação entre os trabalhos relacionados . 19
RESERVOIR COMPUTING AND DATA VISUALISATION

We consider the problem of visualisation of high dimensional multivariate time series. A data analyst in creating a two dimensional projection of such a time series might hope to gain some intuition into the structure of the original high dimensional data set. We review a method for visualising time series data using an extension of Echo State Networks (ESNs). The method uses the multidimensional scaling criterion in order to create a visualisation of the time series after its representation in the reservoir of the ESN. We illustrate the method with two dimensional maps of a financial time series. The method is then compared with a mapping which uses a fixed latent space and a novel objective function.
Techniques and Tools for Trustworthy Composition of Pre-Designed Embedded Software Components

Abstract : This final report contains the findings from the trustworthy composition of pre-designed software components project. Since DoD software is often developed at multiple vendor sites, individual components may be verified and delivered to an integrator -- but the integration might fail because of behavioral incompatibility of the component interfaces. This work proposed behavioral types of interfaces by extracting the polychronous model from source code, and then using the theory of polychronous composition to check if the composition satisfied all of the requirements. The computation of composition properties (type inference) required novel development of a specialized Boolean theory for Prime Implicates, which provided a huge computational improvement through highly efficient generation of Prime Implicates.
Advanced Object Oriented Metrics for Process Measurement

Process improvement requires measurement of specific attributes of process. Measurement of a process gives us a clear insight into the system. It provides effective ways of estimation and evaluation. Then, it is essential to develop a set metrics covering the attributes. Computed measures are used as indicators for process improvement areas. These indications if incorporated into the software development, will lead to development of an effective and reliable system. Mood metrics has defined some indicators for inheritance like Attribute Inheritance Factor (AIF), Method Inheritance Factor (MIF), and for hiding are Attribute Hiding Factor (AHF), Method Hiding Factor (MHF). We are proposing extensions to these metrics. These extensions are more specific and give a better hint towards inheritance and hiding properties.
User's manual for the Heat Pipe Space Radiator design and analysis Code (HEPSPARC)

A heat pipe space radiatior code (HEPSPARC), was written for the NASA Lewis Research Center and is used for the design and analysis of a radiator that is constructed from a pumped fluid loop that transfers heat to the evaporative section of heat pipes. This manual is designed to familiarize the user with this new code and to serve as a reference for its use. This manual documents the completed work and is intended to be the first step towards verification of the HEPSPARC code. Details are furnished to provide a description of all the requirements and variables used in the design and analysis of a combined pumped loop/heat pipe radiator system. A description of the subroutines used in the program is furnished for those interested in understanding its detailed workings.
Languages and parsing

1. Elements of Language Theory. - 1.1 Mathematical Preliminaries. - 1.2 Languages. - 1.3 Random Access Machines. - 1.4 Decision Problems. - 1.5 Computational Complexity. - 1.6 Rewriting Systems. - Exercises. - Bibliographic Notes. - 2. Algorithms on Graphs. - 2.1 Basic Algorithms. - 2.2 Finding Strongly Connected Components. - 2.3 Computing Functions Defined on Graphs. - 2.4 Computing Relational Expressions. - Exercises. - Bibliographic Notes. - 3. Regular Languages. - 3.1 Regular Expressions. - 3.2 Finite Automata. - 3.3 Regular Grammars. - 3.4 Deterministic Finite Automata. - 3.5 Decision Problems on Regular Languages. - 3.6 Applications to Lexical Analysis. - Exercises. - Bibliographic Notes. - 4. Context-free Languages. - 4.1 Context-free Grammars. - 4.2 Leftmost and Rightmost Derivations. - 4.3 Ambiguity of Grammars. - 4.4 Useless and Nullable Symbols. - 4.5 Canonical Two-form Grammars. - 4.6 Derivational Complexity. - 4.7 Context-free Language Recognition. - Exercises. - Bibliographic Notes. - 5. Parsing. - 5.1 Pushdown Automata. - 5.2 Left Parsers and Right Parsers. - 5.3 Strong LL(k) Parsing. - 5.4 Strong LL(k) Grammars. - 5.5 Construction of Strong LL(1) Parsers. - 5.6 Implementation of Strong LL(1) Parsers. - 5.7 Simple Precedence Parsing. - Exercises. - Bibliographic Notes. - Bibliography to Volume I. - Index to Volume I.
Toward a general framework for hierarchical task-network planning

In AI planning research, planning practice (as embod-ied in implemented planning systems) tends to runfar ahead of the theories that explain the behavior ofthose planning systems. For example, the past fewyears have seen much analysis of the properties oftotally- and partially-ordered planning systems usingSTRIPS-style planning operators (Minton et al., 1991;McAllester and Rosenblitt, 1991; Chapman, 1987). However, most of the practical work on AI planningsystems for the last ﬁfteen years has been based onhierarchical task-network (HTN) decomposition(Sac-erdoti, 1990; Tate, 1977; Wilkins, 1984) as opposed toSTRIPS systems, yet there has been very little simi-lar analytical work on the properties of hierarachicaltask-network (HTN) planning systems.One of the primary obstacles impeding such workhas been the lack of a clear theoretical framework ex-plaining what a HTN planning system is. A primarygoal of our current work is to correctly deﬁne, analyze,and explicate features of the design of HTN planningsystems. In this report, we describe some ﬁrst stepstoward that goal: We set out a formal deﬁnition ofHTN planning, present a nondeterministic HTN plan-ning procedure P
NO AREAL DAS MULHERES: um benefício em família

Este artigo resulta de uma pesquisa etnografica realizada entre outubro de 2009 e novembro de 2010, junto a usuarias do Programa Bolsa Familia, residentes no quilombo urbano Areal da Baronesa, em Porto Alegre. O objetivo deste trabalho e analisar dinâmicas familiares e de vizinhanca ensejadas pelo recebimento deste beneficio, atentando especialmente para o que expressam as mulheres em torno do uso do dinheiro recebido. A partir da apresentacao de seis mulheres, abordamos suas intepretacoes quanto a titularidade do beneficio, para quem e para que deva ser destinado. Ao mesmo tempo em que se considera as mulheres mais capazes do que os homens para a gestao da casa, vimos que no cotidiano, o uso do dinheiro pode tornar-se um criterio de avaliacao moral das mulheres e entre elas. O recebimento do dinheiro e atribuido as criancas e para ser gasto com elas. Esta interpretacao amplia suas margens de negociacao nas praticas de consumo familiares. Palavras-chave: Programa Bolsa Familia, quilombo do Areal da Baronesa, mulheres, criancas. Abstract This article results from an ethnographic study conducted between October 2009 and November 2010, with the users of the Bolsa Familia Program residents in urban quilombo Areal da Baronesa, in Porto Alegre. The objective of this study is to analyze family and neighborhood dynamics provided by the opportunity to receive this benefit, with especial attention to what women express concerning the use of the money they received. From the presentation of six women, we approach their interpretations on the ownership of the benefit, to whom and at what it should be aimed. While women are considered more capable than men to manage the house, we saw that, in everyday life, the use of money can become a criterion for moral assessment of women and among them. Receiving the money allocated to children, aimed to be spent on them, widens their margin trading in family consumption practices. Keywords: Bolsa Familia Program, quilombo do Areal da Baronesa, women, children
The Handbook of Development Communication and Social Change

The M.A. degree offered through the Communication & Development Studies program focuses on using communication to promote social change. Emerging Issues in Communicating Development and Social Change. Karin Gwinn The Handbook of Development Communication and Social Change. is a Professor of Communication Arts & Sciences and Human Development & Family Communication and intimacy for older adults, and the Routledge Handbook of class in popular media, and resistance and movements for social change.
Enhancing retrieval and discovery of desktop documents

Personal computers provide users with abilities to create, organize, store and access large amounts of information. Most of this information is in the form of documents in files organized in the hierarchical folder structures provided by the operating system. Operating system-provided access to these data is mainly through structure-guided navigation, and more recently through keyword search. This thesis describes the author's research into the accessibility and utilization of personal documents stored and organized using the hierarchical file system provided by common operating systems. An investigation was carried out on how users currently store and access their documents in these structures. Access and utility problems triggered a need to reconsider the navigation methods currently provided. Further investigation into navigation of personal document hierarchies using semantic metadata derived from the documents was carried out. A more intuitive exploratory interface that exposes the metadata for browsing-style navigation was implemented. The underlying organization is based on a model for navigation whereby documents are represented using index terms and associations between them exposed to create a linked, similarity-based navigation structure. Exposure of metadata-derived index terms in an interface was hypothesized to reduce the user's cognitive load and enable efficient and effective retrieval while also providing cues for discovery and recognition of associations between documents. Evaluation results of the implementation supports this hypothesis for retrieval of deeply located documents, as well as better overall effectiveness in associating and discovery of documents. The importance of semantic document metadata is also highlighted in demonstrations involving transfer of documents from the desktop to other organized document stores such as a repository.
Scalable Bayesian Event Detection and Visualization

We present Fast Subset Sums (FSS), a new Bayesian method for fast and scalable event detection and visualization in multivariate space-time data. FSS extends the multivariate Bayesian scan statistic (MBSS) (Neill and Cooper (2010)), our recently proposed Bayesian framework for mul- tivariate event detection, to enable efficient detection andvisualization of irregularly shaped clusters. FSS integrates prior information and observations from multiple data streams, computing the posterior probability of each type of event in each space-time region. This approach has many advantages over previous event detection approaches, including improved timeliness and accuracy of detection, and the ability to model and differentiate between multiple event types. Detected events can be visualized by displaying a "posterior probability map" showing the probability that each location has been affected. FSS enables detection and visualization of irregular clusters by defining a hierarchical prior over all subsets of locations. While a naive search over the exponentially many subsets would be computation- ally infeasible, we demonstrate that the posterior probability map can be efficiently computed, enabling rapid detection and visualization of emerging events. We compare the run time and detection power of FSS to our original MBSS approach (assuming a uniform prior over circular regions) on semi-synthetic outbreaks injected into real-world Emergency Department data from Allegheny County, Pennsylvania. We demonstrate substantial improvements in spatial accuracy and timeliness of detection, while main- taining the scalability and fast run time of the original MBSS method. Please refer to the full paper (Neill (2010)) for additional details. This work was partially supported by NSF grants IIS-0916345, IIS-0911032, and IIS-0325581. Keywords. Event detection, disease surveillance, scan statistics.