Miracle-dz/UniFAR-FTUs huggingface dataset:
Taking the “Task” Out of Task Analysis

Task analysis is a well-accepted component of user-centered design. It is often left out of the design process, however, due to a lack of practical methods, the difficulty in predicting the amount of resource required to perform it, and a short supply of people with the appropriate skills. A solution to these problems is a structured set of activities that compose a task analysis and relate to the overall design process. The general framework into which these activities fit has three phases: Data Collection, Data Analysis, and Design. During the Data Collection phase, user and task data are collected and validated. The Data Analysis phase requires analyzing the user and task data in a way that results in suggestions for information representation, navigation, terminology, and consistency. Finally, the Design phase requires translating the suggestions from the Data Analysis phase into a viable product. A prototype task analysis workbook was developed to assess the feasibility of the structured approach to task analysis. The workbook includes tools for data collection, data analysis, and design, as well as instructions for how to use the tools. Over a period of two years, the workbook was used in five different development projects. A representative from each group was interviewed to determine how the workbook was used and which parts were most useful. Results of the interviews indicate that the workbook approach has merit.
ReconstructMe SDK: a C API for Real-time 3D Scanning

Summary: ReconstructMe SDK is an ISO C library for performing real-time 3D reconstruction for hand-operated RGB-D camera devices. It provides interfaces for entire 3D scanning pipeline including pre and post processing steps, such as sensor data filtering and 3D surface post processing tasks. Developers can embed ReconstructMe SDK in their applications, saving themselves the work of implementing their own scanning pipeline. To target a wide range of applications ReconstructMe SDK designed to scale simple single sensor applications to distributed multi-sensor frameworks with cloud based 3D reconstruction back-ends. Availability: ReconstructMe SDK was first released in June 2013. Binaries, x86 and x64, are available for all common Windows platforms including mobile versions.
A 32 GHz microstrip array antenna for microspacecraft application

J. HuangSpacecraft Telecommunications Equipment SectionJPL/NASA is currently developing microspacecraft systems for fut ure deep spaceapplications. One of the frequency bands being investigated for microspacecraft isthe Ka-band (32 Gtlz), which can be used with smaller equipment and provides alarger bandwidth. This article describes the successful development of a circularlypolarized microstrip array with 28 dBic of gain at 32 Gllz. This antenna, which isthin, fiat, and small, can be surface-mounted onto the microspacecraft and, hence,takes very little volume and mass of the spacecraft. Tile challenges in developingthis antenna are minimizing the microstrip antenna 's insertion toss and maintaininga reasonable frequency bandwidth.
Additions

This book became available in 1972 and since then has come to be regarded by some workers in this field as something of a classic. One of the features which distinguishes it from many other books covering similar ground is that the authors have not concentrated only on "modern" (i.e. state space methods, optimisation in terms of quadratic performance measures and Kalman-Bucy filter theory) methods but have blended within the text some very useful parts of "classical" control theory. Thus for instance the first chapter contains a section on root loci; the second includes second order system responses, transfer functions for disturbances, tacho feedback and integral control; while other chapters include Butterworth pole configurations and non-zero set point systems. Parts of the book are written in what appears to be a current " i n " style, i.e. brief comments, mathematical definition, theorem and example. This very succinct style does not suit all engineers, though it appeals to those with a mathematical bias; however, in this book this style is not taken to an extreme and there are many sections which are very readable. The chapters are arranged as follows: Ch 1 Element of Linear Control Theory; which covers statespace methods and vector stochastic processes.
Two-level of production scheduling for flow-shop systems with intermediate storages

The paper presents relaxation heuristics for production planning for multistage flow-shop with intermediate storages. The top-level is a stage loading, i.e., allocation of operations to the stages. The base-level is a task scheduling – allocation of operations to the stations. The time criterion is used in the minimisation function – the minimal production schedule is fixed. Results of computational experiments with the proposed method are presented.
Comparative study of edge detectors for stereovision

We present an evaluation of edge detectors' robustness for different case of scene image. Our method, dedicated to stereovision, computes the wrong matched edges for every filter. It computes also the error on the evaluation of the well-known object distance. Early studies are based on mathematical tools for determining the performances of filters. Our approach is based on a realistic decision to choose of the most efficient edge filters.
Editors' Introduction to the Special Issue

Even while digital games have meant a major transformation for the landscape of games and play, it can also be argued that all games are always also physical – or hybrid – by their nature. With traditional board or card games, for example, it is obvious that the tactile quality, materials and design of game boards, cards and playing pieces contribute to the look and feel of the game. And yet it is also equally clear that the physical characteristics of chess pieces, for example, do not contribute to the dynamics of game play in chess in a similar way as the rules of chess do. However, if the chess pieces are designed in non-conventional ways, like by making them very heavy, huge in size, or slippery, for example, the role of physical dimensions is again brought to the forefront of our game experience.
The Volcano Optimizer Generator

Abstract : Novel database applications demand not only high functionality but also high performance. To combine these two requirements, the Volcano project provides efficient, extensible tools for query and request processing in novel application domains, particularly in object-oriented and scientific database systems. One of these tools is a new optimizer generator. Data model, logical algebra, physical algebra, and rules are translated by the optimizer generator into optimizer source code. Compared with our earlier EXODUS optimizer generator prototype, the search engine is more extensible and powerful as it provides direct and effective support for non-trivial cost models and for physical properties like sort order and partitioning, but at the same time it is much more efficient. Compared with other rule-based optimization systems, it provides more extensibility and data model independence. The Volcano optimizer generator and its search engine demonstrate the feasibility of a query optimization system that is highly extensible but also very effective and efficient.
A new fast message passing communication system for multiprocessor workstation clusters

In this paper, a fast message passing communication architecture (FMP) is proposed in order to reduce the software overhead of communication, which has been a great impediment to the good performance of workstation clusters. A FMP system is implemented over the SUN Ultra2-Myrinet platform. Measurements show that this implementation has achieved a one-way latency of 11.2us for one-byte packets in network communication, and only 4.9us in local communication. Its bandwidth can reach as high as 338Mb/s for 8KB packets in network communication, and more than 770Mb/s in local message passing. These results tell us that FMP can really exploit the performance of supercomputers and high-speed networks. Local communication is implemented through shared memory within a single host, while the methods to decrease overheads of network communication depend on user-level communication protocol, pipeline transmission, credit flow control and multithreading. Furthermore, the whole system provides the interface for both network and local communication.
Human activity recognition from wireless sensor network data: benchmark and software

Although activity recognition is an active area of research no common benchmark for evaluating the performance of activity recognition methods exists. In this chapter we present the state of the art probabilistic models used in activity recognition and show their performance on several real world datasets. Our results can be used as a baseline for comparing the performance of other pattern recognition methods (both probabilistic and non-probabilistic). The datasets used in this chapter are made public, together with the source code of the probabilistic models used.
Towards in vivo application of oxygen-releasing microspheres for enhancing bone regeneration

Door verschillende oorzaken kunnen er tekorten aan bot in het lichaam ontstaan, bijvoorbeeld na een botbreuk of een infectie. Om die bottekorten op te vullen kan lichaamseigen bot gebruikt worden. Daar is alleen niet veel van beschikbaar. Er worden ook kunstmaterialen gebruikt om bottekorten op te vullen. Die kunstmaterialen worden gecombineerd met cellen die nieuw bot kunnen vormen. Helaas zitten er geen bloedvaten in kunstmaterialen als ze geimplanteerd worden. Hierdoor krijgen de cellen op het materiaal niet genoeg bloed aangevoerd en ontstaat een tekort aan zuurstof. De cellen gaan door het tekort aan zuurstof dood en vormen dus geen nieuw bot. Om te zorgen dat botcellen die op een kunstmateriaal zitten toch voldoende zuurstof krijgen zijn er microbolletjes ontwikkeld die gedurende ongeveer drie weken zuurstof afgeven. Uit laboratoriumtesten en testen in muizen bleek dat de bolletjes niet afgestoten worden door het lichaam. Om het effect van de bolletjes te testen zijn ze bij muizen geimplanteerd onder een huidflap waarvan het grootste deel van de bloedvaten afgesneden was. De zuurstof afgevende bolletjes zorgden ervoor dat de huidflap minder snel afstierf dan wanneer niet-zuurstof afgevende bolletjes geimplanteerd waren. Het effect van de zuurstof afgevende bolletjes op botherstel is nog niet bekend.
Efficient Graph Cuts for Multi-region Segmentation

Many problems in computer vision can be formulated as optimization problems that can be solved using minimum cuts in flow networks. However, these applications can be demanding, with the memory bandwidth being the main bottleneck on the performance. This thesis introduces an efficient solver that reduces the memory requirements while improving the speed. The code is freely available on-line.
Feature extraction algorithm for beef marbling

Proposes a feature extraction algorithm for automatically grading beef marbling. Considering the practical usage of a beef marbling grading support system, the feature extraction algorithm for beef marbling that can precisely identify the distribution of fat particles and the fat contents must be designed to be simple and robust for actual use. From the results of our experiments, the usefulness and appropriateness of using run length histogram quantized data as the feature quantities for the grading of beef marbling has been confirmed.
Knoxdaviesia with K. serotectus (Van der Linde & Jol. Roux) Z.W. de Beer & M.J. Wingf. a new world record from the gut of red palm weevils

During surveys of the mycota inhabiting guts of insect species in Assiut area, Egypt, two interesting isolates were obtained from two different gut samples (out of 11 investigated) of the red palm weevil (Rhynchophorus ferrugineus Olivier). These isolates were identified phenotypically as Knoxdaviesia serotectus (≡ Gondwanamyces serotectus). The isolates were deposited in the Assiut University Mycological Centre Culture Collection and given AUMC numbers, AUMC 10299 and AUMC 10293. Brief descriptions and photos are presented. This species is recorded here for the first time worldwide from the gut of red palm weevils.
How to make do with one verb: A corpus-based contrastive study of DO and MAKE

Cet article compare do/make dans plusieurs langues europeennes apparentees, certaines ayant deux verbes differents a leur disposition (ex. do et make en anglais) et d’autres devant se contenter d’un seul verbe (ex. faire en francais). Grâce a l’exploitation de corpus de traduction, nous demontrons que, malgre la presence de certaines similarites parmi ces verbes (surtout lorsque les langues appartiennent au meme groupe, c’est-a-dire possedent soit un verbe, soit deux), il existe egalement des differences considerables en ce qui concerne les fonctions que ces verbes peuvent remplir ou les preferences dont ils font preuve, ce qui a pour effet un degre d’equivalence generalement peu eleve dans les traductions. Notre etude presente aussi quelques resultats d’une experience dont le but etait d’etablir les fonctions les plus saillantes de ces verbes d’un point de vue cognitif. Ces resultats confirment l’existence de differences parmi les verbes do/make, et ils montrent egalement que frequence dans la langue n’implique pas necessairement saillance dans l’esprit.
Reconstrucción acústica virtual del Teatro Romano de Palmira

En esta comunicacion se analiza el proceso de creacion, ajuste y validacion del modelo 3D del teatro romano de la ciudad monumental siria de Palmira para simular su campo sonoro. Dada la imposibilidad de realizar medidas in situ, la simulacion acustica esta basada en un modelo 3D realizado a partir de fotogrametria, planimetria y fotografias obtenidas de la web y en los trabajos anteriores del grupo sobre los teatros romanos de Italica (Sevilla, Espana) y Regina Turdulorum (Badajoz, Espana). Debido a la especial forma de la seccion de la cavea de este teatro, se ha realizado un estudio de la influencia de la dispersion del sonido reflejado en los parametros acusticos objetivos.
Óperas filmadas: estudio comparativo de don giovanni de joseph losey y juan de kasper holten

La adaptacion de una opera al medio cinematografico, tradicionalmente se ha considerado un proceso complejo y controvertido desde el punto de vista artistico. Don Giovanni, de W.A. Mozart es una de las operas que mas versiones audiovisuales ha generado durante los siglos XX y XXI, aunque son muy pocas las peliculas que finalmente se han llevado a la pantalla de cine. El interes de este trabajo se centra en comparar las versiones audiovisuales Don Giovanni, de Joseph Losey (1979), y Juan de Kasper Holten (2010). Mediante una metodologia cuantitativa y cualitativa basada en el analisis de contenido, esta investigacion reflexiona sobre el grado de intervencion que ejercen el lenguaje y el formato audiovisual empleados en el proceso de reinterpretacion del texto musical pre-existente.
Combinations of genetic algorithms and neural networks: a survey of the state of the art

Various schemes for combining genetic algorithms and neural networks have been proposed and tested in recent years, but the literature is scattered among a variety of journals, proceedings and technical reports. Activity in this area is clearly increasing. The authors provide an overview of this body of literature drawing out common themes and providing, where possible, the emerging wisdom about what seems to work and what does not. <<ETX>>
Introduction to Programmable Logic Controllers

From the Publisher: This book offers an introduction to programmable logic controllers. It is a comprehensive source where the beginner can learn what a programmable logic controller is, how it works, programming, editing, PLC interface, I/O module selection and PLC hardware configuration. The extensive review questions at the end of each chapter and over 40 hands-on lab manual exercises give users the tools to learn the topic at hand. Features: -state-of-the-art information on PLC's -thorough coverage of Allen-Bradley SLC 500 series controllers -extensive review questions insures the reader has a solid grasp of materials presented in each chapter -hands-on exercises allow the reader to learn by doing -current product photos and illustrations aid the visual learner ALSO AVAILABLE Lab Manual,ISBN: 0-8273-7867-X INSTRUCTOR SUPPLEMENTS Instructor's Manual, ISBN: 0-8273-7868-8
A VLSI architecture for rate-distortion optimized motion compensation using variable size blocks

The authors propose an application specific architecture for motion estimation using variable block matching scheme. It is based on recent advances in rate allocation theory, developed for computing rate-distortion optimized movement compensation. The optimum motion vector and the best quadtree decomposition are determined in a closed loop optimization procedure. Only the quadtree and the motion vector, which are considered to provide the absolute minimum update information, are coded and transmitted. The proposed tree architecture supports pipelined operations. The architecture is suitable for VLSI implementation, owing to modular properties. The Processing Elements (PEs) also support pipelining. An Application Specific circuit prototype has been designed for 4 /spl times/ 4 image blocks. The proposed architecture is scalable and can be easily be adopted for large image blocks. <<ETX>>
The User Illusion: Cutting Consciousness Down to Size

Part 1 Computation: Maxwell's demon throwing away information infinite algorithms the depth of complexity. Part 2 Communication: the tree of talking the bandwidth of consciousness the bomb of psychology the view from within. Part 3 Consciousness: the half-second delay Maxwell's Me the user illusion the origin of consiousness. Part 4 Composure: inside nothing on the edge of chaos the nonlinear line the sublime.
Recent advances in speech processing

An overview is given of recent advances in the domain of speech recognition. The author focuses on speech recognition, but also mentions some progress in other areas of speech processing (speaker recognition, speech synthesis, speech analysis and coding) using similar methodologies. The problems related to automatic speech processing are identified, and the initial approaches that have been followed in order to address those problems are described. The author then introduces the methodological novelties that allowed for progress along three axes: from isolated-word recognition to continuous speech, from speaker-dependent recognition to speaker-independent, and from small vocabularies to large vocabularies. Special emphasis centers on the improvements made possible by Markov models and, more recently, by connectionist models, resulting in improved performance for difficult vocabularies or in more robust systems. Some specialized hardware is described, as are efforts aimed at assessing speech-recognition systems. <<ETX>>
To sort, to match and to share: addressivity in online dating platforms

ABSTRACT This paper analyses addressivity in online dating platforms, with OkCupid as its focus. Drawing from Mikhail Bakhtin’s theory of addressivity, I argue the need for a generic account of online dating—one that focuses on the particular kinds of address that typify expressive scenarios on its platforms. Rather than focusing solely on how users address themselves to other users, I instead examine several layers of addressivity within the online dating scenario: (1) users addressing other users, (2) users addressing platforms, (3) platforms addressing publics, (4) companies addressing investors, and (5) investors addressing users. I argue that within surveillance capitalism generally, and within online dating platforms in particular, there is an imbalance of addressivity: though online users are broadly aware that their data may be collected and analysed, they are nonetheless unconscious of and/or uncomfortable with this form of sharing, because it does not easily fit into previously known narratives of dating. In other words, the automatic gathering and analysis of data by OkCupid is a background condition of all its users’ activity—but this is not sufficiently accounted for in users’ generic understandings of online dating. OkCupid cofounder Christian Rudder’s continual efforts to make online dating data analytics both understandable and palatable for users (via OkCupid’s promotional material, TED-Ed talks, a blog and a book on data) aims, in part, to address this imbalance. These stagings of the platform’s address to its users aim to garner interest in, and acceptance of, becoming part of aggregated, privatized data sets—and indeed, coming to be witnessed and assetized by the automated gaze of data analytics.
Using /spl pi/-calculus to formalize UML activity diagram for business process modeling

UML has become the de facto standard for object-oriented software development. It provides rich notations for representing and analyzing architecture and behaviors of systems. Among these notations, the UML activity diagram is well-known for describing a system's dynamic behaviors. One of its main purposes is to model software processes and business processes, and represent control flows among activities. As a semi-formal notation, the UML activity diagram has no publicly agreed formal semantics. In this paper, the alternative approach of using /spl pi/-calculus to formalize UML activity diagrams is presented. Therefore, activity models can have rich process semantics. Its main advantages are: (1) according to weak bisimulation in /spl pi/-calculus two process models can be checked for equivalence, thus facilitating the optimization of business processes or software processes. (2) The process model can be verified as to whether it satisfies certain properties, such as safety and liveness, by means of /spl pi/-calculus analytical tools. (3) Correct criteria for the process model are expressed with modal M/spl mu/-calculus, such as the correct termination of processes. Therefore, the process model can be automatically verified with the help of /spl pi/-calculus analytical tools.
Reducing the Computing Time of Multi-Objective Building Optimisation using Self-Adaptive Sequential Model Assessment

Advanced optimisation methods can inform the design of energy efficient buildings by exploring vast numbers of design solutions. Despite the potential, application of these methods is not yet established in building engineering or architectural practice. One of the barriers is the long computing times, especially when detailed models such as dynamic building simulation are used. This paper presents a sequential method where the evaluation model is changed from simple to complex in a self-adaptive manner during the course of the optimisation. This allows a more efficient search, as the optimisation narrows down more quickly to promising areas. A multi-objective evolutionary algorithm is applied to reduce both capital costs and energy consumption per square meter. It is shown that substantially lower computing times can be achieved with sequential optimisation without compromising on the quality of the solutions found.
Monolithic gallium arsenide receiver for NMR microscopy

The goal of this research is to improve the performance of NMR microscopy systems by fabricating the RF detection microcoil and preamplifier on a single monolithic GaAs substrate. The planar microcoil consists of 4-7 turns of gold conductor. A simple impedance matching network links the microcoil to a single stage, common source configuration, GaAs MESFET preamplifier. <<ETX>>