Miracle-dz/UniFAR-FTUs huggingface dataset:
Human Computer Interaction Research in Web Design and Evaluation

"Human Computer Interaction Research in Web Design and Evaluation" presents research from academics and industry experts, covering various aspects of human computer interaction (HCI) Web design from theories to evaluation. This book highlights the use of methods from the HCI area in Web design, and how these methods can be used in a practical sense. "Human Computer Interaction Research in Web Design and Evaluation" is a comprehensive book on HCI and Web design that focuses on various areas of research including theories, analysis, design, and evaluation. This book not only features the human aspect of Web design, but also highlights the social and cultural issues in designing for a wider audience.
DUK - A Fast and Efficient Kmer Based Sequence Matching Tool

A new tool, DUK, is developed to perform matching task. Matching is to find whether a query sequence partially or totally matches given reference sequences or not. Matching is similar to alignment. Indeed many traditional analysis tasks like contaminant removal use alignment tools. But for matching, there is no need to know which bases of a query sequence matches which position of a reference sequence, it only need know whether there exists a match or not. This subtle difference can make matching task much faster than alignment. DUK is accurate, versatile, fast, and has efficient memory usage. It uses Kmer hashing method to index reference sequences and Poisson model to calculate p-value. DUK is carefully implemented in C++ in object oriented design. The resulted classes can also be used to develop other tools quickly. DUK have been widely used in JGI for a wide range of applications such as contaminant removal, organelle genome separation, and assembly refinement. Many real applications and simulated dataset demonstrate its power.
VLT Data Flow System: from concepts to operations

In order to realize the optimal scientific return from the VLT, ESO has undertaken to develop an end-to-end data flow system from proposal entry to science archive. The VLT Data Flow System (DFS) is being designed and implemented by the ESO Data Management and Operations Division in collaboration with VLT and Instrumentation Divisions. Tests of the DFS started in October 1996 on ESO's New Technology Telescope. Since then, prototypes of the Phase 2 Proposal Entry System, VLT Control System Interface, Data Pipelines, On-line Data Archive, Data Quality Control and Science Archive System have been tested. Several major DFS components have been run under operational conditions since February 1997. This paper describes the current status of the VLT DFS, the technological and operational challenges of such a system and the planing for VLT operations beginning in early 1999.
Recent Advances in Script Identification

There are a variety of different scripts in the world. Almost every country have there own languages and scripts which can distinguish from each other in different aspects. It is very essential to identify different scripts in multi-lingual, multi-script document. In recent years, different kinds of approaches have been developed for script identification and gotten promising results. In this paper, an overview of the script identification is proposed under different categories: script systems, extracted features and classification methods. Earlier researches and future property of this field is discussed. It is very obvious that, the research in this area is not so satisfied and still more research is to be done.
Adaptive MCMC-Based Particle Filter for Real-Time Multi-Face Tracking on Mobile Platforms

In this paper, we describe an adaptive Markov chain Monte Carlo-based particle filter that effectively addresses real-time multi-face tracking on mobile platforms. Because traditional approaches based on a particle filter require an enormous number of particles, the processing time is high. This is a serious issue, especially on low performance devices such as mobile phones. To resolve this problem, we developed a tracker that includes a more sophisticated likelihood model to reduce the number of particles and maintain the identity of the tracked faces. In our proposed tracker, the number of particles is adjusted during the sampling process using an adaptive sampling scheme. The adaptive sampling scheme is designed based on the average acceptance ratio of sampled particles of each face. Moreover, a likelihood model based on color information is combined with corner features to improve the accuracy of the sample measurement. The proposed tracker applied on various videos confirmed a significant decrease in processing time compared to traditional approaches.
Spoken Language Processing: A Guide to Theory, Algorithm and System Development

From the Publisher: New advances in spoken language processing: theory and practice In-depth coverage of speech processing, speech recognition, speech synthesis, spoken language understanding, and speech interface design Many case studies from state-of-the-art systems, including examples from Microsoft's advanced research labs Spoken Language Processing draws on the latest advances and techniques from multiple fields: computer science, electrical engineering, acoustics, linguistics, mathematics, psychology, and beyond. Starting with the fundamentals, it presents all this and more: Essential background on speech production and perception, probability and information theory, and pattern recognition Extracting information from the speech signal: useful representations and practical compression solutions Modern speech recognition techniques: hidden Markov models, acoustic and language modeling, improving resistance to environmental noises, search algorithms, and large vocabulary speech recognition Text-to-speech: analyzing documents, pitch and duration controls; trainable synthesis, and more Spoken language understanding: dialog management, spoken language applications, and multimodal interfaces To illustrate the book's methods, the authors present detailed case studies based on state-of-the-art systems, including Microsoft's Whisper speech recognizer, Whistler text-to-speech system, Dr. Who dialog system, and the MiPad handheld device. Whether you're planning, designing, building, or purchasing spoken language technology, this is the state of the artfromalgorithms through business productivity.
Noise analysis of switched capacitor networks

Noise generated in switched capacitor (SC) networks has its origin in the thermal fluctuations of charged particles in the channels of the MOS switch transistors on one hand, in the operational amplifiers on the other hand. Using a SC integrator as vehicle, it is shown that the output noise spectrum consists in general of a broad-band component due to a continuous-time noise signal and of a narrow-band contribution predominating in the baseband of the SC network resulting from a sampled-data noise signal. The ratio of undersampling is introduced and it is shown that the latter noise contribution can be evaluated by sampled-data techniques using the z -transform transfer function. These results are applied to the SC integrator and excellent concordance to the measurements made on a laboratory model is established.
Application of the Ontology Concept for the Needs of Theoretical Mechanics

The concepts of theoretical mechanics have been sufficiently well studied, they are used both for educational purposes and practical application. Nowadays, the use of ontologies is developing rapidly, thus allowing acquiring knowledge about the specific field of application. The author of this research analyses appropriateness of ontologies for the needs of theoretical mechanics. The study shows the use of graphs in the work with taxonomy concepts and describes the key notions of the ontologies. The author has tried to develop the concept of domain ontology for better understanding of the key notions of theoretical mechanics with a help of Protege, which would be useful for students in the process of studying theoretical mechanics.
Modelling and Control of a Spherical Inverted Pendulum on a Five-Bar Mechanism

This paper describes the kinematics and dynamics modelling of a mechanical system consisting of a spherical inverted pendulum whose base is mounted on a parallel planar mechanism, better known as a five-bar mechanism. The whole mechanism has four degrees of freedom, but it has only two actuators and so it is an under-actuated system. The nonlinear dynamics model of the complete system is first obtained using a non-minimal set of generalized coordinates, and then a reduced equivalent model is computed. To validate this approach, the reduced model is linearized and simulations are carried out, showing the stabilization of the system with a simple LQR controller. Experimental results on an academic prototype are also presented.
Trajectory generation for a UAV in urban terrain, using nonlinear MPC

This paper describes a receding-horizon optimal control scheme for autonomous trajectory generation and flight control of an unmanned air vehicle in urban terrain. In such environments, the mission objective or terrain may be dynamic, and the vehicle may change dynamics mid-flight due to sensor or actuator failure; thus off-line pre-planned flight trajectories axe limiting and insufficient. This technology is aimed at supporting guidance and control for future missions that will require vehicles with increased autonomy in dangerous situations and with tight maneuvering and operational capability e.g., missions in urban environments. A Model Predictive Control (MPC) scheme is described here that navigates a vehicle with nonlinear dynamics through a vector of known way-points to a goal, and manages constraints. In this MPC-based approach to trajectory planning with constraints, a feedforward nominal trajectory is used to convert the nonconvex, nonlinear optimal control problem into a time-varying linear, convex optimization or quadratic programming problem. The nonconvex, admissible path space is converted to a sequence of overlapping, convex spaces. The feedforward control that produces the nominal trajectory is found from the vehicle's differentially flat outputs. MPC is used to determine the optimal perturbations to the nominal control that will suitably navigate the vehicle through a constrained input/output space while minimizing actuation effort. Simulation results with a non-real-time, online MPC controller for a UAV in a planar urban terrain are included to support the proposed approach.
The PVM System: Supercomputer Level Concurrent Computation on a Heterogeneous Network of Workstations

The PVM (Parallel Virtual Machine) system enables supercomputer level concurrent computations to be performed on interconnected networks of heterogeneous computer systems. Specifically, a network of 13 IBM RS/6000 powerstations has been used to run superconductor modeling codes at more than 250 Mflops. This paper describes the PVM system and two example applications running on it. 3 refs., 1 fig., 2 tabs.
What's the point? : a (computational) theory of punctuation

Although punctuation is clearly an important part of the written language, many natural language processing systems developed to date simply ignore punctuation in input text, or do not place it in output text. The reason for this is the lack of any clear, implementable theory of punctuation function suitable for transfer to the computational domain. The work described in this thesis aims to build on previous linguistic work on the function of punctuation,particularly that by Nunberg (1990), with experimental and theoretical investigations into the potentialusefulness of includingpunctuationin natural language analyses, the variety of punctuation marks present in text, and the syntactic and semantic functions of those marks . Results from these investigationsare combined into a taxonomy of punctuation marks and synthesised into a theory describing principles and rule schemata whereby punctuation functionality can be added to natural language processing systems. The thesis begins with some introductorychapters, discussing the nature of punctuation, its history, and previous approaches to theoretical description. Subsequent chapters describe the experimental and theoretical investigations into the potential uses of punctuation in computational systems, the variety of punctuation marks used, and the syntactic and semantic functions that punctuationmarks fulfil. Further chapters then construct a taxonomy of punctuation marks and describe the theory synthesised from the results of the investigations. The concluding chapters sum up the research and discuss its possible extension to languages other than English.
Criteria for the segmentation of spoken input into individual utterances

This report describes how spoken language turns are segmented into utterances in the framework of the verbmobil project. The problem of segmenting turns is directly related to the task of annotating a discourse with dialogue act information: an utterance can be characterized as a stretch of dialogue that is attributed one dialogue act. Unfortunately, this rule in many cases is insufficient and many doubtful cases remain. We tried to at least reduce the number of unclear cases by providing a number of hands-on rules for segmenting dialogues. In that sense, we hope that this document is helpful for labeling dialogues with discourse information. This report has to be seen as an extension of the verbmobil Report No.65 that includes a detailed discussion of the various dialogue act types employed in verbmobil. All dialogue act types used throughout this report are taken from the set defined there.
Object-Oriented Metrics in Practice

It's coming again, the new collection that this site has. To complete your curiosity, we offer the favorite object oriented metrics in practice book as the choice today. This is a book that will show you even new to old thing. Forget it; it will be right for you. Well, when you are really dying of object oriented metrics in practice, just pick it. You know, this book is always making the fans to be dizzy if not to find.
Automated Generation of Loop Invariants using Predicate Abstraction

Program verification is a challenging task that requires several techniques for addressing the different issues that arise because of program syntax, semantics and in many cases, the kind of properties that are to be established. Static analysis is one of the techniques that has anchored its presence in the verification of industrial scale softwares. However, no one technique is enough to combat the complexity of today's software systems. A combination of techniques is the only way forward in order to achieve the confidence levels that are required in safety-critical softwares. Frama-C is one such platform that combines various program analyses and verification techniques. It consists of a bunch of tools that operate on user-annotated C programs and generates verification conditions that would establish the correctness of the input programs. These verification conditions are automatically discharged by a set of automated provers. The annotations provided by the user along with the program include function contracts, assertions and loop invariants. Of these annotations, loop invariants are of special interest as writing a correct and useful loop invariant is as challenging as verifying the program itself. In this article, we describe the techniques we have developed for generating these loop invariants automatically to reduce the burden on the user. Our techniques are based on Predicate Abstraction, a well known abstract interpretation technique for abstract model-checking. We demonstrate the potential of our technique in a multi-prover verification of C-programs as implemented in Frama-C platform.
Patterns in Java: A Catalog of Reusable Design Patterns Illustrated with UML

From the Publisher: In-depth coverage of forty-seven Java design patterns Since the publication of the first edition in 1998, programmers and developers have been waiting eagerly for an update to this expert guide on how to use Java in conjunction with the timesaving design patterns that have surfaced in the past few years. With the new edition of his bestselling Patterns in Java, Volume 1, Mark Grand brings you up to date with the latest release of Java and many of the important concerns facing Java programmers today. If you are a programmer or developer who wants to take advantage of new patterns, but doesnt have the time or experience to document them for your organization, this book is for you. As with the first edition, each pattern is documented in UML and, where appropriate, a code example or an example in the core Java API is provided. This comprehensive book gives you: Seven fundamental design patterns Six creational patterns Three partitioning patterns Nine structural patterns Eleven behavioral patterns Eleven concurrency patterns UML documentation of all 47 patterns Practical, hands-on examples of pattern implementation in Java The companion Web site containing all of the Java source code and UML models from the book. Author Biography: MARK GRAND is an Atlanta-based consultant with over twenty-three years of experience in distributed systems, object-oriented design, and Java. He is currently working on an open source framework for gluing components and programs into an application. He is also the author of Patterns in Java, Volume 2 and Java Enterprise Design Patterns (both from Wiley).
Cloud Computing and Big Data Analytics

A large volume of data is generated by many applications which cannot be managed by traditional relational database management system. As organizations use larger and larger data warehouses for ever increasing data processing need, the performance requirements continue to outpace the capabilities of the traditional approaches. The cloud based approach offers a means for meeting the performance and scalability points of the enterprise data management providing agility to the database management infrastructure. As with other cloud environments, data management in the cloud benefits end users by offering a pay-as-you-go (or utility based) model and adaptable resource requirements that free up enterprises from the need to purchase traditional hardware and to go through extensive procurement process frequently. The data management, integration and analytics can be offloaded to public and/or private clouds. By using public cloud, enterprises can get processing power and infrastructure as needed, whereas with public cloud enterprises can improve the utilization of the existing infrastructure. By using cloud computing, enterprises can effectively handle the wide ranging database requirements with minimum effort, thus allowing them to focus on the core work rather than getting bogged down with infrastructure. Despite all these benefits, decision to move from dedicated infrastructure to the cloud based Data processing depends on several logistics and operational factors such as security, privacy, availability etc
Data Stream Clustering Algorithm Based on Affinity Propagation and Density

Data stream clustering is an important issue in data steam mining. In the field of data stream analysis, conventional methods seem not quite efficient. Because neither they can adapt to the dynamic environment of data stream, nor the mining models and result s can meet users’ needs. An affinity propagation and grid based clustering method is proposed to effectively address the problem. The algorithm applies AP clustering on each partition of the data stream to generate reference point set, and subsequently density based clustering is applied to these reference points to get the clustering result of each periods. Theoretic analysis and experimental results show it is effective and efficient.
A Method of Computational Correction for Optical Distortioin in Head-Mounted Displays

Optical distortion is one of the optical aberrations of optical systems that do not affect image sharpness. Thus, it can be beneficial to correct optical distortion computationally rather than optically. Computational correction versus optical correction will generally yields lighter optical systems. This is of great importance for head-mounted displays where the weight of the viewer needs to be minimized for efficient performance, safety, and optimum duration of usage. We shall describe in this paper, one method of computational correction that consists in warping polygon vertices. It is the case, however, that the algorithms given can be easily rewritten to handle pixels rather than vertices warpings.
Procedure for effortless in-field calibration of three-axial rate gyro and accelerometers

The contemporaneous use of three-axis rate gyro and accelerometer is required in industrial applications such as strap-down platforms. The use of low-cost sesnors ofter requires a calibration immediately before the sensor use. This paper describes a procedure which does not require either angular velocity standards or standard accelerometers. The procedure makes use of the local gravity and of a set of rotations returning to the original position
Towards Optimal Hierarchical Resource Sharing in Open Environments

This paper presents a new perspective in the context of supporting logical resource sharing under hierarchical scheduling. Our work is motivated from a tradeoff between reducing resource holding times and reducing system load (i.e., the collective processor requirements to guarantee the schedulability of hierarchical scheduling frameworks). We formulate an optimization problem that determines the resource holding times of each individual tasks (and therefore those of subsystems) with the goal of minimizing the system load subject to the system's schedulability. We present efficient algorithms to find an optimal solution to the problem, and we prove their correctness.
The Age Demographics of Academic Librarians: A Profession Apart

Contents Preface * Introduction * Acknowledgments * List of Figures and Tables * Executive Summary * Introduction * Chapter 1: The Age Profile of Librarianship * Librarians in the Context of Aging Populations * Age Profile of Librarianship * Chapter 2: Shape and Movement of the Age Curve * New Entry, Mobility, and the Shape of the ARL Curve * Age at Entry and Mobility * Movement of the Curve * Chapter 3: Projections for the U.S. ARL Population * Projections and Potential Consequences * Chapter 4: Age Within the ARL Population * Age Distribution by Category * Conclusion: A Profession Apart * Appendices * Data Sources * Projections and Methodology * Salary Survey Form and Instructions * ARL Member Libraries * References Cited
A joint detection CDMA mobile radio system concept developed within COST 231

Third generation mobile radio systems will be an evolution of the second generation, in particular of the well-accepted TDMA-based pan-European GSM. However, since CDMA provides unprecedented frequency diversity, interferer diversity, and flexibility, it is reasonable that a third generation mobile radio system concept incorporates CDMA. Within the European COST project 231, such a mobile radio system concept which represents an enhancement to all TDMA-based mobile radio systems such as GSM was developed by the Research Group for RF Communications at the University of Kaiserslautern. This new mobile radio system concept applies joint detection (JD) techniques and is therefore termed JD-CDMA mobile radio system. Background information about the development of the JD-CDMA mobile radio system is presented, making reference to the benefits of various multiple access techniques and JD techniques for multipath radio channels.