Miracle-dz/UniFAR-FTUs huggingface dataset:
Lyapunov-based robust and adaptive control of nonlinear systems using a novel feedback structure

of Dissertation Presented to the Graduate School of the University of Florida in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy LYAPUNOV-BASED ROBUST AND ADAPTIVE CONTROL OF NONLINEAR SYSTEMS USING A NOVEL FEEDBACK STRUCTURE By Parag Patre August 2009 Chair: Warren E. Dixon Major: Mechanical Engineering The focus of this research is an examination of the interplay between different intelligent feedforward mechanisms with a recently developed continuous robust feedback mechanism, coined Robust Integral of the Sign of the Error (RISE), to yield asymptotic tracking in the presence of generic disturbances. This result solves a decades long open problem of how to obtain asymptotic stability of nonlinear systems with general sufficiently smooth disturbances with a continuous control method. Further, it is shown that the developed technique can be fused with other feedforward methods such as function approximation and adaptive control methods. The addition of feedforward elements adds system knowledge in the control structure, which heuristically, yields better performance and reduces control effort. This heuristic notion is supported by experimental results in this research. One key element in the development of the novel feedforward mechanisms presented in this dissertation is the modularity between the controller and update law. This modularity provides flexibility in the selection of different update laws that could be easier to implement or help to achieve faster parameter convergence and better tracking performance. The efficacy of the feedforward mechanisms is further enhanced by including a prediction error in the learning process. The prediction error, which directly relates to
General method for accelerating simulated annealing algorithms for Bayesian image restoration

A new stochastic technique is described for the Bayesian restoration of gray-level images corrupted by white noise. The proposed technique is related to simulated annealing but generates candidates more efficiently for gray-level images than either the Gibbs sampler or the Metropolis procedure. For a logarithmic cooling schedule, asymptotic convergence of the algorithm is proved by analyzing the corresponding inhomogeneous Markov chain. For an exponential cooling schedule, the new technique is shown experimentally to restore floating point images in 1/50 of the time required for the usual simulated annealing. Experimental restorations of gray-level images corrupted by white noise are presented.
Phraseology in Two Slavic Valency Dictionaries: Limitations and Perspectives

Phraseological components of valency dictionaries for two West Slavic languages are presented, namely, of the PDT-Vallex dictionary for Czech and of the Walenty dictionary for Polish. Both dictionaries are corpus-based, albeit in different ways. Both are machinereadable and employable by syntactic parsers and generators. The paper compares the expressive power of the phraseological subformalisms of these dictionaries, discusses their limitations and makes recommendations for their possible extensions, which can be possibly applied also to other valency dictionaries with rich phraseological components.
Evaluation in a Complex Adaptive System

Evaluation is a central issue in all organizations. Many standard evaluation tools, techniques and methods rely on basic assumptions about linear organizational dynamics (predictability, low dimensionality, system closure, stability and equilibration). Some of these assumptions are not valid when a system enters the regime of a complex adaptive system (CAS). New strategies are required to evaluate human systems as CASs. New tools, techniques and methods must integrate assumptions about the dynamical nature of the CAS. This paper summarizes the characteristics of CASs from an organizational perspective. It identifies properties of an evaluation system that are consistent with the nature of a CAS. It describes evaluation tools and techniques that promise more effective evaluation of human CASs. Finally, it describes the role of the evaluator in a CAS.
FIRGEN: a CAD system for automatic layout generation of high-performance FIR filter

A novel functional compiler, FIRGEN, for automatic generation of finite-impulse response (FIR) filters using custom and gate-array technologies is described. It consists of CAD tools to automate the entire design from filter specifications to final chip layout. The architecture and floorplan description generation by FIRGEN can be used to drive custom macrocell or gate-array place and route tools to generate the final layout. A unique feature of the compiler is that it uses architecture and floorplanning techniques that are targeted at FIR filters with sample rates in the region 10-100 MHz for video and digital communication applications. Results of three chips designed with FIRGEN are presented. <<ETX>>
A robust and fast DP-CELP (double-pulse CELP) vocoder at the bit rate of 4 kb/s

It has been reported that in a CELP vocoder the perceptual quality of synthesized speech can be improved by replacing the traditional stochastic codebook with a mixed codebook containing periodic SP (single-pulse) and noise-like sequences. At the bit rate of 4 kb/s, the frame and subframe sizes are relatively long to reduce the bit rates for coding the gains and the synthesis filter parameters. In this case, the coding of noise-like sequences requires many more bits than the coding of periodic SP sequences to obtain high-quality speech, thus, a periodic DP (double-pulse) excitation can be introduced while the bit rate required to code the excitation is not significantly increased. In the 4 kb/s DP-CELP vocoder presented in the paper, a mixed codebook containing periodic SP and binary noise-like sequences is first searched, avoiding V/UV decision and exhaustive searching of all possible candidates. If the optimal sequence is of periodic SP, a second periodic SP sequence is combined with it to generate a periodic DP excitation. In the decoder, a proposed short-term postfilter is added to increase the clarity of synthesized speech. <<ETX>>
Desmond Performance on a Cluster of Multicore Processors

Desmond is a molecular dynamics (MD) code designed for high performance on large commodity Linux/Unix clusters. This report documents the performance that Desmond achieved on new hardware in April 2008. For the DHFR system (23,558 atoms) with production simulation parameters, Desmond’s top simulation rate is 471 ns/day on 1024 cores of an InfiniBand cluster. For the ApoA1 system (92,224 atoms), Desmond’s top simulation rate is 289 ns/day on 4096 cores of the same cluster.
Disparity Mapping with An Effective Detection Range Generated from CFTool In Stereo Vision Application

This paper presents a method to obtain an estimation of range for disparity mapping using curve fitting tool (cftool) in stereo vision application. This tool is provided by Matlab software. The depth maps are produced by block matching algorithm Sum of Absolute Differences (SAD). The detection of range determined by cftool will be used as a reference for stereo vision application such as autonomous vehicle which will be described in this paper. The process of camera calibration, image rectification, stereo correspondence and disparity mapping is also discussed in this paper
Algorithm for Detecting Overlapping Community in Complex Networks

Detecting communities from complex networks has been the focus of many recent efforts on complex networks. In complex networks it is common for each node to belong to several communities, implying a highly overlapping community structure. We introduce a new algorithm for overlapping community finding, the algorithm first finds some seeds and expands these seeds into a community. We perform the algorithm on different data to demonstrate that performance of our algorithm is robust across diverse parameters. The algorithm is compared with current representative algorithms in community mining. Experimental results show the feasibility and validity of our algorithm. We show that our algorithm is highly effective at discovering community structure in different types of complex networks.
Robustly stable fuzzy controller for uncertain nonlinear systems with unknown input gain sign

We propose and analyze a robust adaptive fuzzy controller for uncertain nonlinear systems without information on the input gain sign. The proposed scheme completely overcomes the singularity problem which occurs in the indirect adaptive feedback linearizing control. No projection in the estimated parameters and no switching in the control input are needed. The stability of the closed-loop system is guaranteed in the Lyapunov viewpoint.
Una base de datos de construcciones en catalán y español

In this communication a subpart is presented of the funded research project (A)simetrias sintacticas en catalan y espanol [Syntactic (A)symmetries in Catalan and Spanish] MCyT/FEDER BFF2003-08364-C02), involving the building of a database of syntactic contrastive contexts and constructions in Catalan and Spanish (HISPACAT). We begin exposing the main goals underlying this innovative project, which is conceived as a major empirical source for linguistic researchers from many different areas, like bilingualism studies, L2 learning, syntactic microvariation, language acquisition, and theoretical linguistics. In the second part of the communication, a * Los resultados y la investigacion presentados en esta comunicacion han sido posibles gracias a las ayudas concedidas al Grup de Gramatica Teorica a traves de los proyectos siguientes: BFF2003-08364-C02-01 (MCyT/FEDER) y 2005-SGR-00753 (DURSI, Generalitat de Catalunya). general presentation is offered of the main structure of the database, namely its conceptual ontology, and the internal structure of the files. In the third part of the communication, an outline of the ‘style sheet’ of the database is presented, paying special attention to the language register and the source of the examples, which are restricted to standard language, and the major reference grammars of both Catalan and Spanish: the Gramatica del Catala Contemporani and the Gramatica Descriptiva de la Lengua Espanola. Finally, the last part of the communication is devoted to analyze several completed files in order to show the kind of information they store, and the utilities that scholars from several major fields may find in it, with special attention to syntactic attrition, and code mixing.
Pulse and Spectrum Manipulation in the Minimum (Frequency) Shift Keying (MSK) Format

The minimum (frequency) shift keying (MSK) format is generalized to enable further improvements in the spectrum while retaining the well-known constant envelope property and the excellent communications efficiency of MSK. A specific alternative to MSK is presented, and the spectrum is compared with that of MSK. The theoretical limitations on possible further spectrum improvements are discussed.
Optimum frame synchronization of preamble-less packets surrounded by noise with coherent and differentially coherent demodulation

We present an optimal MAP frame synchronizer for coherent demodulation as well as DPSK for preamble-less packets that are transmitted in time slots. The MAP approach also yields an indication of whether or not a packet was actually present in a slot. The optimal synchronizer uses both the sync word and the energy of the packet to correctly establish the position of the packet. The correlation term alone performs much worse and is limited in the synchronization rate even at infinite SNR-we give an analytical expression for this upper bound on the synchronization rate. In addition, we present a high SNR approximation to the MAP rule which performs almost as well, but is easier to implement. Finally, we illustrate a method of implementing the optimum rules that requires relatively few components by using a recursive definition of the likelihood function. <<ETX>>
Mixture models for analysing high throughput sequencing data

The goal of my thesis is to develop methods and software for analysing highthroughput sequencing data, emphasizing sonicated ChIP-seq. For this goal, we developed a few variants of mixture models for genome-wide profiling of transcription factor binding sites and nucleosome positions. Our methods have been implemented into Bioconductor packages, which are freely available to other researchers. For profiling transcription factor binding sites, we developed a method, PICS, and implemented it into a Bioconductor package. We used a simulation study to confirm that PICS compares favourably to rival methods, such as MACS, QuEST, CisGenome, and USeq. Using published GABP and FOXA1 data from human cell lines, we then show that PICS predicted binding sites were more consistent with computationally predicted binding motifs than the alternative methods. For motif discovery using transcription binding sites, we combined PICS with two other existing packages to create the first complete set of Bioconductor tools for peak-calling and binding motif analysis of ChIP-Seq and ChIP-chip data. We demonstrate the effectiveness of our pipeline on published human ChIP-Seq datasets for FOXA1, ER, CTCF and STAT1, detecting co-occurring motifs that were consistent with the literature but not detected by other methods. For nucleosome positioning, we modified PICS into a method called PING. PING can handle MNase-Seq and MNaseor sonicated-ChIP-Seq data. It compares favourably to NPS and TemplateFilter in scalability, accuracy and robustness to low read density. To demonstrate that PING predictions from sonicated data can have sufficient spatial resolution to be biologically meaningful, we use H3K4me1 data to detect nucleosome shifts, discriminate functional and non-functional tran-
Aplikasi Tracer Study Teknik Informatika Universitas Muhammadiyah Purwokerto (Tracer Study Application for Informatics Engineering in Muhammadiyah University of Purwokerto)

Abstrak— Tracer Study untuk menjaring data dari para alumni yang telah bekerja atau berwirausaha, umumnya dilakukan cara mengisi kuisioner secara manual berupa pengiriman surat. Hasil dari tracer study ini nantinya digunakan dalam penyusunan kurikulum yang berbasis kebutuhan industri pada program studi Teknik Informatika UMP dan sebagai salah satu syarat dalam akreditasi. Masalah dalam penelitian ini adalah bagaimana membangun aplikasi untuk memudahkan pendataan tracer study di program studi Teknik Informatika UMP, menggantikan cara manual berupa pengisian kusioner pada selembar kertas dan menghindari semaksimal mungkin proses rekap data tradisional. Jenis data yang digunakan adalah data sekunder berupa data alumni Teknik Informatika UMP dan data kuisioner, dengan teknik pengumpulan data: (1) Data pertanyaan kuisioner, (2) Data alumni yang digunakan adalah data alumni Teknik Informatika yang lulus dari tahun 2011 s/d 2014. Langkah pembangunan aplikasi yang dilakukan menggunakan metode Pembangunan Perangkat Lunak dengan langkah pengembangan aplikasi model Spiral [2]. Berdasarkan hasil penelitian yang telah dilakukan maka dapat disimpulkan bahwa penelitian ini telah dapat membangun aplikasi Tracer Study dengan fasilitas: (1) Pengisian data kuisioner secara OnLine oleh Alumni, (2) Perubahan data oleh Admin dalam aplikasi terpisah, berikut pelaporannya dalam bentuk grafik. Kata-kata kunci — Tracer Study , Aplikasi Basis Data, Rekayasa Perangkat Lunak, penelurusan kinerja alumni, jejaring alumni Abstract— Tracer Study is an effort to collect data from the alumni who have been working or self-employed, that generally done manually by filling out a paper based questionnaire. Results of this tracer study will be used in the preparation of curriculum and accreditation for Information Engineering major in UMP.The problem is how to build applications to facilitate tracer studies data in Engineering Informatics major, replacing the manual form filling questionnaire on a piece of paper and avoid as much as possible the process of traditional data recap.Graduates data year 2011-2014 and questionnaire data has been used for this research. Spiral model of application development has been used for the method of Software Development. This study has been able to build applications Tracer Study with facilities: (1) Entering questionnaire data for graduates, (2) admin application in a separate application (3) reporting in graphs. Keywords— Tracer Study, Database Application , Software Development , investigating the employability, graduates network
Técnica de detecção de falhas de escalonamento de tarefas em sistemas embarcados baseados em sistemas operacionais de tempo real

A alta complexidade dos sistemas de tempo real aumentou significativamente a necessidade da utilizacao de Sistemas Operacionais de Tempo Real (RTOS - Real Time Operating System) com o objetivo de simplificar o projeto dos mesmos. Neste contexto, sistemas embarcados baseados em RTOS exploram uma serie de funcionalidades e facilidades inerentes ao mesmo, tais como o gerenciamento de tarefas, a concorrencia, o acesso a memoria e as interrupcoes. Assim, o RTOS funciona com uma interface entre o software e o hardware.Porem, sistemas de tempo real sao frequentemente afetados por falhas transientes oriundas de diferentes fontes, tal como a interferencia eletromagnetica (EMI - Eletromagnetic Interference), que pode gerar falhas capazes de degradar seu comportamento, afetando tanto a aplicacao em execucao quanto o sistema operacional embarcado.Neste contexto, a principal ideia por tras deste trabalho e a implementacao de uma Infrastructure Intellectual-Property (I-IP) denominado RTOS-Guardian (RTOS-G), baseada em hardware, capaz de monitorar o fluxo de execucao do RTOS com o intuito de detectar falhas que eventualmente alterem a ordem de execucao das tarefas que compoem a aplicacao. Ao final, experimentos praticos baseados em uma tecnica de injecao de falhas por hardware demonstram que, quando comparado com os mecanismos implementados pelo RTOS que visam proteger e monitorar a execucao das principais operacoes de controle funcional e de fluxo do RTOS, o RTOS-G garante uma deteccao de falhas mais elevada e uma latencia de deteccao de falhas bastante inferior.
Constraint satisfaction for test program generation

A central problem in automatic test generation is solving constraints for memory access generation. A framework, and an algorithm that has been implemented in the Model-Based Test-Generator are described. This generic algorithm allows flexibility in modeling new addressing modes with which memory accesses are generated. The algorithm currently handles address constraint satisfaction for complex addressing modes in the PowerPC, x86, and other architectures. <<ETX>>
OCR in Indian Scripts: A Survey

India is a multi-lingual country. A significantly large number of scripts are used to represent these languages. A desire of vision researchers is to develop an integrated Optical Character Recognition (OCR) system which will be able to process all such scripts. Such a development, if objectified, will not only enable faster flow of information across the country, but also have a profound impact on its scientific and economic development. Courageous endeavors have been successfully made towards the development of a system capable of recognizing machine-printed, or hand-written characters and/or numerals. However, most Indian scripts do not have an integrated OCR system. Further the development of a unified system which is capable of processing all Indian scripts is still a dream. This article presents a survey of the current literature on the development of OCR's in Indian scripts. Reviewing the basics of and the motivation towards the development of OCR system, the article analyzes the various methodologies employed in general purpose pattern recognition system. A critical analysis of the work towards OCR system in Indian languages, with pointers towards possible future work is also presented.
Multidimensional similarity search for 2D-3D medical data correlation and fusion

Multidimensional Similarity Search for 2D-3D Medical Data Correlation and Fusion Images of the inner anatomy are essential for clinical practice. To establish a correlation between them is an important procedure for diagnosis and treatment. In this thesis, we propose an approach to correlate within-modality 2D and 3D data from ordinary acquisition protocols based solely on the pixel/voxel information. The work was divided into two development phases. First, we explored the similarity problem between medical images using the perspective of image quality assessment. It led to the development of a 2-step technique that settles the compromise between processing speed and precision of two known approaches. We evaluated the quality and applicability of the 2-step and, in the second phase, we extended the method to use similarity analysis to, given an arbitrary slice image (2D), find the location of this slice within the volume data (3D). The solution minimizes the virtually infinite number of possible cross section orientations and uses optimizations to reduce the computational workload and output accurate results. The matching is displayed in a volumetric three-dimensional visualization fusing the 3D with the 2D. An experimental analysis demonstrated that despite the computational complexity of the algorithm, the use of severe data sampling allows achieving a great compromise between performance and accuracy even when performed with low gradient intensity datasets.
Cripto-análisis sobre métodos clásicos de cifrado Crypto-analysis over classical encryption methods

This article shows some classic encryption methods like Caesar and Vigenere ciphers. This article also shows some basic and modern crypto-analysis techniques based on information theory and statistics. These crypto-analysis techniques can also be used on other encryption methods if the same weaknesses are present. For this reason it is useful to know these crypto-analysis techniques when designing new cryptographic algorithms.
Sentiment Analysis Using Support VectorMachine

Sentiment analysis is a subfield of NLP concerned with the determination of opinion and subjectivity in a text, which has many applications. In this paper we will be studying about classifiers for sentiment analysis of user opinion towards political candidates through comments and tweets sing Support Vector Machine (SVM),in the manner of the Pang, Lee and Vaithyanathan, which was the first research paper on this topic. The goal is to develop a classifier that performs sentiment analysis, by labeling the users comment to positive or negative. From which we can classify text into classes of interest.
Dealing with distractions : analyzing and designing for task switching at work

Increasingly, distraction is just a click away: computers offer you the temptation to switch from your primary task. The current work describes four investigations into how well people manage switching between tasks and between multiple computer applications: a controlled experiment on task-switching, a survey on email behavior and efficient, a survey on how different computer applications are used for work and outside of work, and an analysis of computer users real-world switching behavior. Based on the findings, two outcomes are presented: 1. ) a new software tool that visualizes workflow to encourage users to reflect upon their work habits and their task switching and 2. ) implications for the design of monitoring software, tools for self-reflection, and push or disruptive technologies such as email systems.