Miracle-dz/UniFAR-FTUs huggingface dataset:
Neural Network Design on the SRC-6 Reconfigurable Computer

Abstract : This thesis presents an approach to image classification via a Multi-Layer Perceptron (MLP) Artificial Neural Network (ANN) on the SRC-6 reconfigurable computer for use in classifying Low Probability of Intercept (LPI) radar emitters. The rationale behind the previously unexplored use of new reconfigurable computers combined with neural networks for this application is the potential for near real-time classification. Current potential near-peer competitors have access to LPI technology, so development of quick classification methods is crucial for ships to determine intent and to enable the possibility for self-defense against these types of emitters. The neural network, based on work conducted by Professor Phillip E. Pace of the Naval Postgraduate School (NPS), generates integer-cast weights by first using a sequential processor to conduct floating-point backpropagation to train the network on potential timefrequency images that allows generation of weights with lower overall Root Mean Squared (RMS) errors. The weights are then used in a parallel-processing reconfigurable computer for close to real-time classification. A second method of direct pixel comparison using Exclusive-Or (XOR) logic is presented as an alternative image classification method. Comparisons to similar representations in C++ are provided, for use in judging comparative error levels and timing between parallel and sequential processing methods.
Keyword Search on Spatial Network Databases : Road network indexing for efficient query processing

Given a spatial location and a set of keywords, a spatial keyword query locates spatio-textual objects based on both the location of the objects, and the textual relevance of the query keywords to the description of the objects. Spatial keyword queries can be used to answer challenging questions such as finding the nearest spatio-textual object relevant for the query keywords "restaurant sushi". Our focus in this project is on a new type of spatial keyword query that takes a road network into account during query processing. These queries are based on the fact that the distance between two objects in the real-world are constrained by the pre-defined paths that comprise the road network. Different from traditional spatial keyword queries that employ the Euclidean distance, the spatial keyword query on road networks assumes the shortest path between the query location and the objects. Unfortunately, no approach currently exists that supports processing of spatial keyword queries on road networks. In this thesis we address the challenging problem of locating spatio-textual objects in a road network given a spatial location and a set of keywords. We first propose a baseline framework that combines existing state-of-the-art approaches to support processing of keyword-based spatial queries such as range and k-nearest neighbour on road networks. Then, we present a novel framework termed Road Network Indexing (RNI) that permits efficient processing of such queries by indexing the spatio-textual objects in each road segment using inverted files. Moreover, we present algorithms to evaluate keyword k-nearest neighbour and keyword range queries on both the baseline and the RNI framework. Finally, we show through an experimental evaluation using real-world datasets, that our RNI framework performs nearest neighbour queries on road networks in around one order of magnitude faster than the baseline approach in terms of response time and I/O.
An Automatic Classification System of Korean Documents Using Weight for Keywords of Document and Word Cluster

The automatic document classification is a method that assigns unlabeled documents to the existing classes. The automatic document classification can be applied to a classification of news group articles, a classification of web documents, showing more precise results of Information Retrieval using a learning of users. In this paper, we use the weighted Bayesian classifier that weights with keywords of a document to improve the classification accuracy. If the system cant classify a document properly because of the lack of the number of words as the feature of a document, it uses relevance word cluster to supplement the feature of a document. The clusters are made by the automatic word clustering from the corpus. As the result, the proposed system outperformed existing classification system in the classification accuracy on Korean documents.
In Situ Structural Analysis of Bacterial Nanomachines by Combining Cryo-FIB Milling, Cryo-ET and Sub-tomogram Analysis

Cryo-electron tomography (cryo-ET) is a three-dimensional imaging technique that is suitable for imaging in situ biological structures with the potential to achieve near-atomic resolution. It has been extensively used to characterize bacterial nanomachines in situ, such as secretion systems, flagellar motors, chemoreceptors and so on. However, there are still a number of remaining challenges for in situ structural analysis of bacterial nanomachines, such as the preparation of thin samples and the symmetry mismatch between different components. In the present work, we will show our workflows for the in situ structural analysis of bacterial flagellar motor and ribosomes.
THE THEORY AND PRACTICE OF A DUAL CRITERIA ASSIGNMENT MODEL WITH A CONTINUOUSLY DISTRIBUTED VALUE-OF-TIME

A dual criteria assignment model enables an analyst to represent disaggregate trade-offs between two cost criteria in the trip-makers' route choices, eg time and price in the cost vs time model in which a continuously distributed value-of-time (VOT) is assumed. This paper develops the theory and practice of dual criteria assignment. First, the economic background of the model is set out: it enables the analyst to represent various route choice behaviors, variable demand, several user classes, flow-dependent travel time and capacity constraints. Second, the mathematical framework is introduced; due to a special transformation, the model is cast into a variational inequality which under some assumptions reduces to a convex minimisation program. Third, solution algorithms are introduced and compared. Fourth, econometric tools are provided to estimate the distribution of the VOT and to evaluate the uncertainty about the predicted revenue of a toll road, arising from the uncertainty about the distribution of the VOT. It is shown that these tools ensure the practicality of a dual criteria assignment in a medium-sized application. (A) For the covering abstract see IRRD 886400.
Computer Simulation of Biomolecular Systems: Theoretical and Experimental Applications

The third volume in the series on Computer Simulation of Biomolecular Systems continues with the format introduced in the first volume [1] and elaborated in the second volume [2]. The primary emphasis is on the methodological aspects of simulations, although there are some chapters that present the results obtained for specific systems of biological interest. The focus of this volume has changed somewhat since there are several chapters devoted to structure-based ligand design, which had only a single chapter in the second volume. It seems useful to set the stage for this volume by quoting from my preface to Volume 2 [2]. "The long-range 'goal of molecular approaches to biology is to describe living systems in terms of chemistry and physics. Over the last fifty years great progress has been made in applying the equations representing the underlying physical laws to chemical problems involv- ing the structures and reactions of small molecules. Corresponding studies of mesoscopic systems have been undertaken much more recently. Molecular dynamics simulations, which are the primary focus of this volume, represent the most important theoretical approach to macromolecules of biological interest. " .
Nouveau logiciel RESULT pour l'évaluation de la résistance ultime des navires

Le memoire presente le fondement theorique du programme RESULT developpe pour le calcul de la resistance ultime de la poutre navire. Il contient successivement : un rappel des differents modes de ruine qui peuvent affecter la structure des navires, les principales methodes de calcul du moment ultime, un description de la methode a partir de laquelle a ete elabore l'algorithme du programme RESULT, un exemple de calcul de la resistance ultime d'un petrolier de 300 000 t de port en lourd, et les developpements envisages pour ameliorer le domaine de validite du programme.
Innovative Practices for Teaching Sign Language Interpreters

Researchers now understand interpreting as an active process between two languages and cultures, with social interaction, sociolinguistics, and discourse analysis as more appropriate theoretical frameworks. Roy's penetrating new book acts upon these new insights by presenting six dynamic teaching practices to help interpreters achieve the highest level of skill. Elizabeth Winston and Christine Monikowski begin by explaining discourse mapping to enable students to develop a mental picture of a message's meaning and the relationships of context, form, and content. Kyra Pollitt discusses critical discourse analysis, to reveal some of the cultural influences that shape a speaker's language use. Melanie Metzger describes preparing role-plays so that students learn to effectively switch back and forth between languages, manage features such as overlap, and make relevant contributions to interaction, such as indicating the source of an utterance. Jeffrey Davis illustrates the translation skills that form the basis for teaching consecutive and simultaneous interpreting to help students understand the intended meaning of the source message, and also the manner in which listeners understand it. Rico Peterson demonstrates the use of recall protocols, which can be used to teach metacognitive skills and to assess the student's sign language comprehension. Finally, Janice Humphrey details the use of graduation portfolios, a valuable assessment tool used by the faculty to determine a student's level of competency. These imaginative techniques in Innovative Practices promise gains in sign language interpreting that will benefit teachers, students, and clients alike.
Filtering for Fuzzy Systems with Immeasurable Premise Variables

This paper discusses a design of stable filters of Takagi-Sugeno fuzzy systems with immeasurable premise variables. When we consider the filter design of Takagi-Sugeno fuzzy systems, the selection of premise variables plays an important role. If the premise variable is the state of the system, then a fuzzy system describes a wide class of nonlinear systems. In this case, however, a filter design of fuzzy systems based on parallel distributed compensator idea is infeasible. To avoid such a difficulty, we write a fuzzy system as a system with uncertainty. Then we consider a filtering problem for such an uncertain system. Some numerical examples are given to illustrate our theory.
Operation of synchronous generator under the influence of time and space harmonics

Abstract In stability studies, it is necessary to compute the initial steady-state values of synchronous machine variables as a function of non-sinusoidal terminal quantities. In this paper, the impact of current time and inductance space harmonics on the steady state operation and load angle of synchronous generator is investigated. A nonlinear model of salient-pole synchronous generator based on the abc-frame of reference in harmonic domain is used to investigate the impact of harmonics on the stator flux. It is shown that the fundamental component of stator flux contains additional terms due to the interaction between time and space harmonics. Park transformation is applied to this modified fundamental stator flux to compute the load angle. Simulation results provide new information about the steady-state operating point of synchronous generator under harmonically polluted operating conditions. It is also shown that damper windings and current harmonics phase angles have considerable effects on the operation of synchronous generator.
Design and analysis of wireless networks

Preface Design of SIP Application Level Gateway for UMTS Location Management in Wireless Networks Location Management for Mobile Communication Networks Admission Control in Mobile Wireless Networks Radio Resource Management for Downlink OFDM Wireless Communication Systems Resource Management in DS-CDMA Cellular Networks Packet Fair Queuing Algorithms for Wireless Networks Broadcast Scheduling Algorithms for Wireless Data Dissemination Radio Link Scheduling for QoS Support in Wideband CDMA Cellular Networks The Application of Markov Arrival Processes and Phase Type Distributions in the Modelling of a General Wireless and Mobile System Perspective and Open Issues in the View of 4G Platforms Physics-Based Generalised Multipath Model and Optimum Receiver Structures for UWB Wireless Communications Power Allocation Mechanisms for Downlink Soft Handoff in the WCDMA System Transport Layer Design in Mobile Wireless Networks Index.
Routing and Addressing Problems in Large Metropolitan-Scale Internetworks. ISI Research Report.

Abstract : Digital packet networking technology is spreading rapidly into the commercial sector. Currently, most networks are isolated local area networks. This isolation is counterproductive. Within the next twenty years it should be possible to connect these networks to one another via a vast inter network. A metropolitan inter network must be capable of connecting many thousand networks and a national one several million. It is difficult to extend current inter networking technology to this scale. Problems include routing and host mobility. This report addressed these problems by developing an algorithm that retains robustness and has desirable commercial characteristics.
Book Reviews: Discourse Production - A Computer Model of Some Aspects of a Speaker

In summary, this book is an exciting record of work in progress. I t assumes too much background material to be used as an in t roductory textbook, but it could be used in a seminar course on knowledge representat ion, either with supplementary lectures on logic and philosophy or with p rog ramming exercises that show students how to implement such networks. By present ing four teen sys tems in one volume, it invites detai led compar i sons that can help knowledge engineers select the best features for their future designs.
Environmental Correlates of Cheetah (Acinonyx jubatus) Space-Use in a Savanna Landscape

Understanding the environmental drivers that influence the spatial distribution of wildlife is paramount to the conservation of endangered carnivore species. However, presence data on most carnivore species (e.g. cheetah, Acinonyx jubatus) are not readily available to assist conservation efforts. In this study, we used MaxEnt to tease out the key determinants of the spatial distribution of cheetahs using presence-only data of cheetah against five environmental variables, i.e. distance to water (a proxy for prey density), elevation, slope, terrain ruggedness, and soil adjusted vegetation index (SAVI; a proxy for vegetation quality and condition). Our MaxEnt model was successful (AUC = 0.98) in predicting the potential distribution of cheetahs in Gonarezhou National Park. We observed that amongst the five environmental variables, elevation and distance to water contributed most (88%) to the potential distribution of cheetahs. The contribution of SAVI, slope and terrain ruggedness (12%) was negligible. We also estimated that the potential predicted habitat of cheetahs was 2572.9 km2 (51.2% of Gonarezhou National Park). In addition to providing baseline information, these findings are both novel and specific to Gonarezhou National Park, and provide important insights into cheetah conservation and management.
Discrete analysis of continuous behaviour in real-time concurrent systems

This thesis concerns the relationship between continuous and discrete modelling paradigms for timed concurrent systems, and the exploitation of this relationship towards applications, in particular model checking. The framework we have chosen is Reed and Roscoe''''s process algebra Timed CSP, in which semantic issues can be examined from both a denotational and an operational perspective. The continuous-time model we use is the timed failures model; on the discrete-time side, we build a suitable model in a CSP-like setting by incorporating a distinguished tock event to model the passage of time. We study the connections between these two models and show that our framework can be used to verify certain specifications on continuous-time processes, by building upon and extending results of Henzinger, Manna, and Pnueli''''s. Moreover, this verification can in many cases be carried out directly on the model checker FDR (a commercial product of Formal Systems (Europe) Ltd.). Results are illustrated with a small railway level crossing case study. We also construct a second, more sophisticated discrete-time model which reflects continuous behaviour in a manner more consistent with one''''s intuition, and show that our results carry over this second model as well.
A Research Framework for Measuring Multiple Bottom Lines

This paper presents a proposed framework for measuring multiple bottom lines (MBLs). MBL is a term that describes a company’s desire to not only measure its financial bottom line, but additionally create measures for important, non-financial initiatives and outcomes. The MBL concept evolved as corporate citizenship advocates argued that simply measuring a entity’s bottom line to determine whether the company was successful was not sufficient. Corporate Social Responsibility advocates argued that to truly measure a company’s achievements, the full impact of their efforts on society and the environment also needed to be computed. It was argued that each area of measurement, financial, social and environmental, was equally as important and should have its own bottom line calculation to assess the firm’s progress in that area during the evaluation period. While extensive research and study has occurred on the concept of MBL, theories on how to report and measure MBLs is still evolutionary and inconclusive. In an effort to bridge the gap in the literature and research, this study has developed this research framework for measuring MBLs. This research: (a) defines a bottom line and MBL, (b) provides background on the MBL theory, (c) outlines existing research and literature, (d) identifies unanswered and underdeveloped research questions, (e) proposes measurement methods for MBLs, (f) addresses how to handle multiple dimensions across companies and over time, (g) develops a conceptual/theoretical framework and an empirical framework for how theories can be tested and (h) concludes with an application of how this research may impact 21st century businesses.
Characterization of TLB and page allocation behavior on modern processors

OF THE THESIS Characterization of TLB and Page Allocation Behavior on Modern Processors by Viswanathan Vaidyanathan Thesis Director: Dr.Abhishek Bhattacharjee Virtual memory support is prevalent in most modern processors and is facilitated through Translation Lookaside Buffers (TLBs) which play a major role in the overall system performance. TLB misses are costly since they require multiple high latency memory references to walk the page table and locate the desired Virtual Page Number (VPN) Physical Page Number (PPN) mapping. This study improves TLB hit rates by taking advantage of any contiguity present in the pages allocated by the Operating System (OS). By contiguity we refer to cases where consecutive VPNs are mapped to consecutive PPNs. Traditionally, OSs use large or superpages to collapse hundreds of such contiguous entries, thereby using one TLB entry to represent them rather than hundreds of entries they would normally require. Unfortunately due to implementation complexities superpaging has not been universally successful in reducing TLB pressure. We show, however, that even without explicit superpaging, various OS virtual memory allocation activities lead to intermediate levels of contiguity that may be exploited to coalesce
The SPDM Task Verification Facility: On the Dynamic Emulation in One-g Environment using Hardware-in-the-Loop Simulation

To verify all robotic tasks involving a space robot interacting with environment, such as the Special Purpose Dexterous Manipulator (SPDM), one should appeal to a simulation technique because the space robot cannot operate in an 1-g environment. However, to simulate dynamical behavior of a robot interacting with environment creates difficulties due to complexity of the physical phenomenon involved during the interaction. In this work we present an hardware-inloop simulation (HLS) technique, where a simulation of the space robot dynamics is combined with emulation of the contact dynamics by using a rigid robot performing contact task. The rigid robot is not dynamically or kinematically equivalent to the space robot, but it is controlled so that its endpoint dynamics replicates that of the space robot. Simulation and experimental results given from implementation on a six degrees of freedom manipulator are presented.
3D extension of Haralick texture features for medical image analysis

In this paper, we propose a new approach to segmentation of 3D CT images, which is aimed at texture-based segmentation of organs or disease diagnosing. The extension of Haralick 2D texture feature to the 3D domain was studied. Calculation of separate co-occurrence matrix for each voxel in the 3D image is proposed. The co-occurrence matrix is calculated from all voxels in a small rectangular window around the voxel. This makes it possible to segment given 3D image as opposed to calculating the feature for the pre-segmented regions of an image. Consequently, such features can be used to search for very small regions with different texture properties (like tumours). A set of abdomen CT images is used for evaluation of the proposed approach. The segmentation method we used is model-based, using Gaussian Mixture Model. EM algorithm is used for learning the parameters of mixture model from training data-set.