Miracle-dz/UniFAR-FTUs huggingface dataset:
Kernel Adaptive Filtering: A Comprehensive Introduction

Online learning from a signal processing perspective There is increased interest in kernel learning algorithms in neural networks and a growing need for nonlinear adaptive algorithms in advanced signal processing, communications, and controls. Kernel Adaptive Filtering is the first book to present a comprehensive, unifying introduction to online learning algorithms in reproducing kernel Hilbert spaces. Based on research being conducted in the Computational Neuro-Engineering Laboratory at the University of Florida and in the Cognitive Systems Laboratory at McMaster University, Ontario, Canada, this unique resource elevates the adaptive filtering theory to a new level, presenting a new design methodology of nonlinear adaptive filters. Covers the kernel least mean squares algorithm, kernel affine projection algorithms, the kernel recursive least squares algorithm, the theory of Gaussian process regression, and the extended kernel recursive least squares algorithm Presents a powerful model-selection method called maximum marginal likelihood Addresses the principal bottleneck of kernel adaptive filterstheir growing structure Features twelve computer-oriented experiments to reinforce the concepts, with MATLAB codes downloadable from the authors' Web site Concludes each chapter with a summary of the state of the art and potential future directions for original research Kernel Adaptive Filtering is ideal for engineers, computer scientists, and graduate students interested in nonlinear adaptive systems for online applications (applications where the data stream arrives one sample at a time and incremental optimal solutions are desirable). It is also a useful guide for those who look for nonlinear adaptive filtering methodologies to solve practical problems.
Processing Top N and Bottom N Queries.

In certain application areas, such as those related to decision support or multimedia data, users wish to ask so-called top N and bottom N queries; these are queries that request a certain number of answers (N) having the highest or lowest values for some attribute, expression, or function. For example, rather than nding all publications on a certain topic, a researcher may want to retrieve the ten most heavily referenced papers on the topic at hand. A politician planning his or her next campaign might be interested in discovering the average salary of the wealthiest ten percent of the voters in a given district. Parents of a young child might want to nd ve mystery books that least well match the terms \crime" and \murder. " These examples illustrate a variety of situations in which top N and bottom N queries are meaningful. In addition, they demonstrate the fact that such queries can involve standard relational data as well as text or other multimedia data. To date, the SQL standard does not include statements that allow users to pose such top N and bottom N queries. There have, however, been several proposals in the literature (e.g., [KS95, CG96, CK97]), and database system vendors are beginning to extend their SQL dialects and query interfaces in order to support such queries. Given the obvious need and this growing interest, this paper addresses the question of how top N and bottom N queries can be processed e ciently; moreover, we address the question of how such support can be provided as a natural extension of existing relational query processing architectures. In a nutshell, our goal is to evaluate such queries with as little wasted work as possible. That is, if a query asks for the 10 most popular publications, we want to avoid work to process, say, the 11th, 12th, or 13th most popular publications. We will begin by presenting a series of situations in which a traditional DBMS, i.e., one without integrated support for top N and bottom N queries, would end up wasting work. We then show how such a traditional DBMS could be extended { with relatively little e ort, in fact { in order to avoid such wasted work and thereby achieve orders-of-magnitude improvements in many cases. Our goal here is to drive home the point that database systems must be extended in order to process top N and bottom N queries e ciently and to brie y touch upon each of the required extensions; a detailed description of our approach, as well as a performance evaluation, can be found in [CK97]. We will focus here on SQL and relational databases, using relational queries as examples and citing some measurements from a relational DBMS platform to illustrate the important performance gains that can be achieved; we note, however, that most of the e ects and techniques discussed in this paper are applicable to any kind of database system.
Deployment of Neural Network on Multi-Core Architecture

Traditional computational methods are highly structured and linear, properties which they drive from the digital nature of computers. These methods are highly effective at solving certain classes of problems: physics simulations, mathematical models, or the analysis of proteins. Classical computational methods are not effective at solving other problems, such as pattern recognition, adaptive learning, and spam filtering. Some biological systems, however, excel at the latter class of problems. For example, the human mind can quickly identify a face, even if it has changed heavily from the last time it was seen, while traditional computational systems are unable to accomplish facial recognition efficiently and accurately even if minor facial or environmental alterations occur. Attempts to create facsimiles of these biological systems electronically have resulted in the creation of artificial neural networks. Similar to theirbiological counterparts, artificial neural networks are massively parallel systems capable of learning and making generalizations. The inherent parallelism in the network allows for a distributed software implementation of the artificial neural network, causing the network to learn and operate in parallel, theoretically resulting in a performance improvement. This project will address a parallel neural network implementation, the network’s relative strengths and weaknesses, and conclude by comparing the performance using different Intel tools.
Recognition of driving manoeuvres using smartphone-based inertial and GPS measurement

The ubiquitous presence of smartphones provides a new platform on which to implement sensor networks for ITS applications. In this paper we show how the embedded sensors and GPS of a smartphone can be used to recognize driving manoeuvres. Smartphone-based driving behaviour monitoring has applications in the insurance industry and for law enforcement. The proposed solution is suitable for real-time applications, such as driver assistance and safety systems. An endpoint detection algorithm is used on filtered accelerometer and gyroscope data to find the startand endpoints of driving events. The relevant sensor data is compared against different sets of manoeuvre signal templates using the dynamic time warping (DTW) algorithm. A heuristic method is then used to classify a manoeuvre as normal or aggressive based on its speed and closest matching acceleration and rotation rate templates.
Analysis of phonological development and reading acquistion in children with autism spectrum disorder : where does comprehension get lost?

Reading comprehension in children is often limited by weak decoding skill. Decoding is the transfer or translation of letters into units of meaning, i.e. the understanding of letter strings into words. Children with Autism Spectrum Disorder (ASD) have shown a different pattern in that they have poor reading comprehension but good decoding skill. The aim of this study was to examine some of the possible sources of reading comprehension problems in children with ASD. The target population was children with a diagnosis of ASD who were between the ages of 4 and 9 and who lived in the St. John's, NL area. Ten participants completed tests assessing spelling, vocabulary, non-verbal reasoning, phonological awareness, word decoding as well as word, passage, and listening comprehension. Word decoding was assessed to confirm previous research and as a comparison tool. The children's decoding ability was similar to population means, t(9) = . 44, p =. 67, but within the groups sentence comprehension and listening comprehension were found to be poorer than word comprehension, t(9) = 4.08, p < . 01; t(9) = 3.08, p = . 01, respectively. This pattern of findings suggested that problems in reading comprehension that have been observed in children with ASD were likely due to factors other than decoding and could be due to more general difficulties with language processing.
Analiza stărilor emoționale induse de citirea unei știri utilizând Analiza Semantică Latentă

Emoţiile pot fi identificate atât in comunicarea verbală cât si in cea scrisă. Dacă in primul caz pot fi identificate mai ușor datorită unor trăsături specifice comunicării verbale (limbajul corpului, tonul vocii sau inflexiuni), in al doilea caz regăsirea acestora poate fi o adevărată provocare. Asadar, propunem o metodă inedită de analiză automată a emoţiilor transmise prin intermediul comunicării scrise, mai exact, determinarea stării emoţionale a unei persoane in urma citirii unei stiri. Cu alte cuvinte, scopul nostru este de a determina cum citirea unei stiri afectează starea emoţională a cititorului si să ajustăm aceste valori pe baza stării emoţionale curente a acestuia. Dintr-o perspectivă mai tehnică, sistemul dezvoltat (Emo2 – Emotions Monitor) combină o abordare independentă de context (evaluarea efectivă a stirii utilizând tehnici de prelucrare a limbajului natural) cu influenţele determinate de starea emoţională curentă a utilizatorului. Astfel, scopul metodei propuse este de a obţine o estimare a stării emoţionale finale a utilizatorului cât mai apropiată de cea reală.
Ulnar Nerve Injury in the Throwing Athlete

Forces generated during the overhead throwing motion make the medial side of the elbow susceptible to tensile injury. Medial elbow pain and neurologic symptoms may represent isolated injury to the ulnar nerve, but more often represent a secondary condition caused by an underlying abnormality, especially valgus instability. A thorough understanding of ulnar nerve anatomy, throwing biomechanics, and clinical acumen are necessary to appropriately care for the overhead athlete with elbow pain. Nonoperative measures may allow the patient to return to throwing but persistent ulnar nerve symptoms often require surgical release. Surgical treatment options for ulnar neuritis include neurolysis, medial epicondylectomy, or anterior transposition (submuscular, intramuscular, or subcutaneous). Anterior subcutaneous transposition stabilized with a fascial sling provides nerve decompression and decreased ulnar nerve tensile forces in the throwing athlete with minimal surgical morbidity. However, the surgeon must adequately diagnose and treat any associated problems (valgus instability) to allow pain-free return to competition.
Small-molecule crystal structure publication using CIF

The rationale for submitting an article to a journal in CIF format is outlined. Most journals currently request a CIF as supplementary material, and minimum requirements must be established for the useful information content of the CIF. Acta Crystallographica Sections C and E are journals that accept full papers in CIF format, and are presented as a case study. To submit a paper to a journal that accepts full papers in CIF format, authors need to: generate the results of their structural studies in one or more CIFs; add content to match the journal's requirements for submission; merge multiple CIFs if several structures are described; validate the complete submission against the journal's published requirements (through a standalone program or via network services); format and preview the typeset representation of their paper; and submit their paper to the journal along with any graphics and the structure-factor files. Techniques for all these stages are discussed, with particular reference to Acta Crystallographica C and E, but emphasizing general principles that might be adopted by other journals. A brief description is given of the typesetting system used by Acta Crystallographica C and E (which generates format-rich but structurally poor files). There is some discussion of the relationship between CIF and the extensible markup language XML.
Fabrication de réseaux de Bragg particuliers par lithographie électronique : application à la réalisation de dispositifs photoniques et optoélectroniques sur matériaux de la filière InP

Ce travail fait etat de l'etude technologique et experimentale de nouveaux dispositifs photoniques integrant des reseaux de Bragg particuliers. Les reseaux de Bragg offrent une solution interessante pour construire aussi bien des filtres optiques integres que des emetteurs compacts dans le cadre de l'emergence de nouvelles fonctions pour les communications optiques. L'etude de la theorie des reseaux de Bragg nous a permis de voir les limites des reseaux de Bragg dits classiques. Les reseaux de Bragg dits particuliers, comme les reseaux echantillonnes ou les reseaux verticaux semblent alors tres interessants de part les possibilites de fonctions optiques qu'ils offrent. Ce sont donc ces deux types de reseaux que nous avons choisi d'etudier. Les processus de realisation technologique des deux reseaux ont alors ete developpes. La lithographie par faisceau d'electrons nous permet la realisation des differents motifs et a ete optimisee dans ce but, ainsi que les etapes de gravure. La derniere partie du travail consiste en l'etude, la realisation et la caracterisation de composants innovants, passifs et actifs, integrant des reseaux particuliers. Ainsi, nous avons realise un filtre passif qui presente une apodisation de son spectre en transmission par l'utilisation d'un reseau surfacique echantillonne. Les resultats de caracterisation montrent la validite du concept. Dans le cadre du projet europeen IST-MONOPLA, un laser multisections, comportant une portion de reseau a ete realise. Les caracterisations mettent en avant le bon fonctionnement du reseau.
Fungal bioreceptivity of Japanese tissue papers treated with plant dyes, watercolours, and acrylic paints in paper conservation

Despite substantial literature on the dyeing of textiles, there is a lack of research about colouring Japanese mending papers (tissue papers) used for paper conservation purposes. This study investigates the fungal bioreceptivity of Japanese tissue papers after they have been treated with various dyes and pigments. A variety of toning materials including plant dyes, watercolours, acrylic paints, inks, pastels, gouaches, and colour pencils are commonly used by conservators for paper toning purposes. In this study, two Japanese tissue papers (Yukyu-shi and Sekishu Mare) were treated with selected plant dyes, watercolours, and acrylic paints and then inoculated with fungal species. Quantitative real-time polymerase chain reaction (qPCR) was used to quantify the DNA from Aspergillus niger and Penicillium rubrum as a proxy for fungal species abundance before and after inoculation and artificial moist heat ageing. qPCR primers which were universal for fungi amplified DNA from papers inoculated with A. niger and P. rubrum and these species were found to grow less on treated Sekishu Mare and Yukyu-shi papers compared with untreated papers. Sekishu Mare papers treated with artists' acrylic paints were found to be more resistant to fungal growth than similarly treated Yukyu-shi papers. This study suggests that for the best long-term preservation outcomes for paper materials in archives, libraries, galleries, and museums, acrylic paints generally perform better in conservation terms than most plant dyes and watercolours, although most colourants displayed some bioinhibition.
Implementation of ANN on RISC processor array

The authors present a mesh systolic array, GCN (giga connection), for a fast simulator of artificial neural networks (ANNs). The processor element (PE) of the GCN is composed of the RISC processor i-860 designed by Intel Corp., a large scale local memory, and high bandwidth first-in first-out devices. The mapping algorithm of the ANN onto the GCN, called the net-data partition, is discussed, and the multilayer feedforward network and Kohenen feature map are mapped onto the GCN by using this algorithm. Another parallelism that can be used for a stochastic ANN like the Boltzmann machine is also discussed. The performance of the GCN is evaluated by software simulation and the authors achieve over 1 gigaconnection per second using 128 PEs. <<ETX>>
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

Minimalist Proof Assistants: Interactions of Technology and Methodology in Formal System Level Verification. - Reducing Manual Abstraction in Formal Verification of Out- of- Order Execution. - Bit-Level Abstraction in the Verification of Pipelined Microprocessors by Correspondence Checking. - Solving Bit-Vector Equations. - The Formal Design of 1M-Gate ASICs. - Design of Experiments for Evaluation of BDD Packages Using Controlled Circuit Mutations. - A Tutorial on Stalmarck's Proof Procedure for Propositional Logic. - Almana: A BDD Minimization Tool Integrating Heuristic and RewritingMethods. - Bisimulation Minimization in an Automata-Theoretic Verification Framework. - Automatic Verification of Mixed-Level Logic Circuits. - A Timed Automaton-Based Method for Accurate Computation of Circuit Delay in the Presence of Cross-Talk. - Maximum Time Separation of Events in Cyclic Systems with Linear and Latest Timing Constraints. - Using MTBDDs for Composition and Model Checking of Real-Time Systems. - Formal Methods in CAD from an Industrial Perspective. - A Methodology for Automated Verification of Synthesized RTL Designs and Its Integration with a High-Level Synthesis Tool. - Combined Formal Post- and Presynthesis Verification in High Level Synthesis. - Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. - A Performance Study of BDD-Based Model Checking. - Symbolic Model Checking Visualization. - Input Elimination and Abstraction in Model Checking. - Symbolic Simulation of the JEM1 Microprocessor. - Symbolic Simulation: An ACL2 Approach. - Verification of Data-Insensitive Circuits: An In-Order-Retirement Case Study. - Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification. - Formally Verifying Data and Control with Weak Reachability Invariants. - Generalized Reversible Rules. - An Assume-Guarantee Rule for Checking Simulation. - Three Approaches to Hardware Verification: HOL, MDG, and VIS Compared. - An Instruction Set Process Calculus. - Techniques for Implicit State Enumeration of EFSMs. - Model Checking on Product Structures. - BDDNOW: A Parallel BDD Package. - Model Checking VHDL with CV. - Alexandria: A Tool for Hierarchical Verification. - PV: An Explicit Enumeration Model-Checker.
Information visualisation to support informed decision-making under uncertainty and risk

Information Visualisation to Support Informed Decision-Making under Uncertainty and Risk by Mohammad Kamel Younis Daradkeh Informed decision-making (IDM) depends on the availability of adequate information and the ability of decision-makers to manipulate this information. More often than not, the information on which decisions are based is subject to variability and uncertainty arising from different sources. Consequently, risk accompanies decisions as there is a chance that the decision taken can lead to an undesirable rather than a desirable outcome. Ignoring uncertainty and its associated risk may simplify the decision-making process, but it does not lead to making informed decisions. Thus, they should be explicitly considered from the beginning of the decision-making process as an integral part of the information on which decisions are based. Information visualisation (InfoVis) can play an important part in assisting people to make informed decisions under uncertainty and risk. It provides an effective means for depicting information in ways that make it amenable to analysis and exploration. It also can facilitate the integration of uncertainty into the decision-making process and raise the awareness of decision-makers about its effects. This thesis presents the design and evaluation of a new InfoVis tool to support informed decision-making under uncertainty and risk. First, the information requirements and main considerations underpinning the design and evaluation of the InfoVis tool presented in this thesis have been identified. Second, an InfoVis tool for portraying information about the decision problem and raising the awareness of decision-makers about the uncertainty and risk associate with decision-making, called VisIDM, has been designed and implemented. VisIDM consists of two main parts: Decision Bars and Risk Explorer. Decision Bars provide overview information of the decision problem under uncertainty and risk through three panels: the Outcome, Risk, and Likelihood Bars. Risk Explorer provides decision-
MD3RI: a tool for computer-aided Drusens contour drawing

Computer aided tools that can help doctors in repetitive analyses are becoming more reliable and faster what contributes for its increasing acceptance in the medical sector. In this paper it is presented a software application designed to facilitate the quantitative evaluation of Drusen on retina images. The target users are ophthalmologists wanting to diagnose Age-related Macular Degeneration (ARMD) or to evaluate therapies effectiveness. Drusen are ARMD risk factors characterized by yellow spots located around the macula. The application includes image enhancement tools for improving or calibrating the visualization conditions, a manual or semi-automatic contour drawing procedures and several file I/O to allow analyses reproduction. The semi-automatic drawing uses an image segmentation algorithm based on the image gradient which reduces noise artifacts. This algorithm is described in detail in this paper.Results and conclusions taken during application tests performed by ophthalmologists are also presented.
AN ANALYSIS OF ROUTE CHOICE BEHAVIOR UNDER ADVANCED TRAVELER INFORMATION SYSTEMS : A NEURAL NETWORK APPROACH

A model of driver's route choice behavior under advanced traveler information system (ATIS) is developed based on data collected from learning experiments using interactive computer simulation. The experiment subjected drivers to 32 simulated days in which they were to choose between the freeway or a side road. A neural network model is used as a convenient modeling technique in this initial phase of the analysis. The results indicated that most subjects made route choices based mainly on their recent experiences. It was also demonstrated that route choice behaviors are related to the personal characteristics as well as the characteristics of the respective routes. Travel experiences had less effect on the choice of the side road compared to the freeway and the results indicate that the prediction accuracy of the model, the acceptance rate of advice, and the quality of advice are closely correlated. This correlation may result in a poor model fit if the accuracy of the advice is poor. The model developed here was for advice consistently provided at a level of 75 percent accuracy.