Miracle-dz/UniFAR-FTUs huggingface dataset:
Requirements for Music Notation regarding Music-to-Score Alignment and Score Following

A live roller conveyor includes a plurality of rollers arranged in a curved path with the axes of the rollers being located at an acute angle with respect to each other. A rotatable drive disc is located above the adjacent inner ends of the rollers, and an O-ring is mounted in a groove formed in the lower surface of the drive disc and engages the inner ends of the rollers. Rotation of the drive disc will be transmitted through the O-ring to the rollers to rotate the rollers about their axes. The vertical position of the drive disc relative to the rollers can be adjusted to provide precise control of the frictional engagement between the O-ring and the rollers.
Fostering Computer-Mediated L2 Interaction beyond the Classroom

In language learning contexts a primary concern is how to maximise target language interaction both inside and outside of the classroom. With the development of digital technologies, the proliferation of language learning applications, and an increased awareness of how technology can assist in language education, educators are being presented with new opportunities to engage learners in innovative ways. This article reports on how technology was used to deal with the issue of an identified lack of English language interactional opportunities outside of the classroom at the author’s university in Japan. An Action Research (AR) project was initiated with a Computer-Mediated Communication (CMC) programme being implemented during an eight-week summer vacation period, in order to provide a platform for students to interact in the target language outside of class. The article reports on the action research methodology undertaken and the results of the CMC programme interactions. It shows that a CMC programme can offer students a convenient and useful platform on which to continue to communicate in the target language while outside of their classes, but that the construction of the platform needs input from both teachers and students.
Hacia una nueva identificación electrónica del ciudadano: el DNI-e

1 Área de Informática, Dirección General de la Polićıa, Ctra. M-505 km. 5.5, E-28280-El Escorial,Madrid, España certificacion.identidad@dni.es 2 Safelayer Secure Communications S.A. , http://www.safelayer.com C/ Basauri 17, Edif. Valrealty, Edif. B, Pl. Baja Izq. , E-28023-Madrid, España {javier.espinosa, helena.rifa, manuel.torres}@safelayer.com 3 Dpto. Tratamiento de la Información y Codificación Instituto de F́ısica Aplicada, Consejo Superior de Investigaciones Cient́ıficas C/ Serrano 144, E-28006-Madrid, España luis@iec.csic. es
Novel N-type Π-conjugated Polymers for all-polymer solar cells

Organic solar cells (OSCs) appear as a promising technology for renewable energy owing to their light weight, great flexibility and low-cost fabrication process. So far most of the OPV shave been using fullerene derivatives, such as PCBM or PC71BM, as the electron acceptor in the active layer, which have been proven to a bottleneck for this technology. Therefore,developing non-fullerene acceptors has become the new driving force for this field. All-polymer solar cells (all-PSCs) that have the advantages of robustness, stability and tunability have already achieved PCE up to 9%. Thus, developing novel acceptor materials is imperative for improving the performance of all-PSCs.
User Linguistic Model Adaptivity for Prediction in AAC Message Composition

Efficient linguistic prediction for AAC aids is a fundamental issue to increase and improve the communication capabilities of verbal disable people. However, although a number of works describing requirements for prediction engines in AAC languages exists, their adaptability to the specific needs of the user is lacking in literature. In this paper, we describe preliminary techniques for the adaptation of the AAC language model to the peculiar characteristics of the user. More precisely, we describe an automatic procedure able to produce a semantic/statistic linguistic model of the user language behavior given the overall AAC language model, the user dictionary, and a corpus of sentences produced by the user.
On the implementation of E.R.I.K - Effective Retrieval of Information by Keyword: an information storage and retrieval research system

The accelerating production of information, often referred to as the information explosion, requires specialized methods for the storage and access of this wealth of knowledge. One solution to the problems of indexing, filing and retrieval of information has been Information Storage and Retrieval (ISAR) systems. The purpose of this thesis is to implement a functional experimental system (known as ERIK Effective Retrieval of Information by Keyword) for research into various aspects of information storage and retrieval. An ISAR system has been created, incorporating numerous features found in both commercially available and recent research retrieval systems, as well as a few novel features. The design and implementation (originally done on a personal computer, now ported to an UNIX* environment) of the system is discussed as well as some of the background of the problems faced in the information storage and retrieval systems domain. An exciting implementation of an information retrieval system utilizing a newly developed massively parallel computer is also discussed, and its' approach to the problem of information retrieval is contrasted with existing solutions.
Practical Machine Learning: A New Look at Anomaly Detection

Anomaly detection is the detective work of machine learning: finding the unusual, catching the fraud, discovering strange activity in large and complex datasets. But, unlike Sherlock Holmes, you may not know what the puzzle is, much less what "suspects" you're looking for. This O'Reilly report uses practical examples to explain how the underlying concepts of anomaly detection work. From banking security to natural sciences, medicine, and marketing, anomaly detection has many useful applications in this age of big data. And the search for anomalies will intensify once the Internet of Things spawns even more new types of data. The concepts described in this report will help you tackle anomaly detection in your own project. Use probabilistic models to predict what's normal and contrast that to what you observe Set an adaptive threshold to determine which data falls outside of the normal range, using the t-digest algorithm Establish normal fluctuations in complex systems and signals (such as an EKG) with a more adaptive probablistic model Use historical data to discover anomalies in sporadic event streams, such as web traffic Learn how to use deviations in expected behavior to trigger fraud alerts
Developing Conceptual and Procedural Knowledge of Mathematics

Mathematical competence rests on developing knowledge of concepts and of procedures (i.e. conceptual and procedural knowledge). Although there is some variability in how these constructs are defined and measured, there is general consensus that the relations between conceptual and procedural knowledge are often bi-directional and iterative. The chapter reviews recent studies on the relations between conceptual and procedural knowledge in mathematics and highlights examples of instructional methods for supporting both types of knowledge. It concludes with important issues to address in future research, including gathering evidence for the validity of measures of conceptual and procedural knowledge and specifying more comprehensive models for how conceptual and procedural knowledge develop over time.
Software radio architectures - part 2

Radio modulation simulation programs using Binary Phase Shift Keying (BPSK), Quadrature Phase Shift Keying (QPSK), Quadrature Amplitude Modulation (QAM), and Minimum Shift Keying (MSK) were developed in this Research Project. All programs were written using Matlab 6.5. The success of these programs is attributed to embedding them in a Linear Predictive Speech Coder (LPC10) which only requires 11 parameters (10 coefficients and pitch delay) to be modulated as opposed to a whole block of quantized voice samples. Coherent demodulation is effectively achieved for BPSK by employing a squaring loop which locks onto to a signal that is twice that of the carrier frequency and scales it down. The program works effectively to recover carrier frequencies within an appropriate range. The squaring loop program implements the vital components of filtering, squaring, phase detection, and numerically controlled oscillation in Matlab code. Also included in this dissertation is an introduction to the EZ-KIT Lite Digital Signal Processor (DSP) package developed by Analog Instruments. An investigation of this DSP environment takes steps towards realizing a software radio which executes in real time.
Emergence et développement des différences comportementales individuelles chez les souris glaneuse, Mus spicilegus.

Cette these comprend cinq manuscrits d'articles. Deux de ces manuscrits sont publies, l’un est actuellement en revision et deux sont en preparation pour soumission.Les animaux different de maniere stable au cours du temps et dans differents contextes dans leur comportement, un phenomene souvent nomme personnalite animale. Les animaux different ainsi dans leur niveau d’expression de differents traits de personnalites. Cependant l’etude de la stabilite des traits de personnalite chez les jeunes animaux apporte des resultats controverses. Les deux principaux objectifs de cette these ont donc ete d’evaluer comment l’environnement precoce des animaux faconnait leur personnalite et si l’expression de leur comportement etait stable au cours du developpement. Notre modele d’etude etait un petit rongeur d’origine sauvage, la souris glaneuse Mus spicilegus. Cette souris se trouve dans les zones agricoles d’Europe centrale et orientale. Il s'agit d'une espece monogame et la femelle et le mâle participent aux soins parentaux. Les principaux resultats de cette these soulignent la stabilite des reponses comportementales des souris glaneuses dans des contextes sociaux et non-sociaux tot lors de la periode post-natale jusqu’a la maturite. De nombreux traits de personnalite etaient associes a travers differents contextes ; formant ainsi ce qu'il est convenu d'appeler un syndrome comportemental. Cette stabilite dans le comportement etait averee que l'analyse porte sur la totalite de l'echantillon ou qu'elle prenait en compte les differences intra-portees. L’environnement precoce et en particulier la presence du pere apparaissent determinants dans l’emergence et la modulation de la personnalite. Les individus eleves sans pere montraient une plus grande reactivite dans deux tests differents par rapport a ceux eleves avec les deux parents. Differentes personnalites etaient associees a des mecanismes physiologiques. Confrontes a un stresseur chronique, les individus exprimant differentes personnalites montraient des differences physiologiques caracterisees par des profils immunologiques et hormonaux distincts. D'autre part les couples possedant des scores similaires d’anxiete, independamment du score des deux partenaires du couple, avaient une plus grande probabilite de reproduction durant la periode d’observation, que les couples aux scores differents suggerant de potentiels avantages evolutifs. Cette these aborde en parallele les aspects proximaux et ultimes du comportement chez un meme modele biologique ce qui est un but rarement atteint dans une etude ethologique.
Investigation for improving Global Positioning System (GPS) orbits using a discrete sequential estimator and stochastic models of selected physical processes

GEODYNII is a conventional batch least-squares differential corrector computer program with deterministic models of the physical environment. Conventional algorithms were used to process differenced phase and pseudorange data to determine eight-day Global Positioning system (GPS) orbits with several meter accuracy. However, random physical processes drive the errors whose magnitudes prevent improving the GPS orbit accuracy. To improve the orbit accuracy, these random processes should be modeled stochastically. The conventional batch least-squares algorithm cannot accommodate stochastic models, only a stochastic estimation algorithm is suitable, such as a sequential filter/smoother. Also, GEODYNII cannot currently model the correlation among data values. Differenced pseudorange, and especially differenced phase, are precise data types that can be used to improve the GPS orbit precision. To overcome these limitations and improve the accuracy of GPS orbits computed using GEODYNII, we proposed to develop a sequential stochastic filter/smoother processor by using GEODYNII as a type of trajectory preprocessor. Our proposed processor is now completed. It contains a correlated double difference range processing capability, first order Gauss Markov models for the solar radiation pressure scale coefficient and y-bias acceleration, and a random walk model for the tropospheric refraction correction. The development approach was to interface the standard GEODYNII output files (measurement partials and variationals) with software modules containing the stochastic estimator, the stochastic models, and a double differenced phase range processing routine. Thus, no modifications to the original GEODYNII software were required. A schematic of the development is shown. The observational data are edited in the preprocessor and the data are passed to GEODYNII as one of its standard data types. A reference orbit is determined using GEODYNII as a batch least-squares processor and the GEODYNII measurement partial (FTN90) and variational (FTN80, V-matrix) files are generated. These two files along with a control statement file and a satellite identification and mass file are passed to the filter/smoother to estimate time-varying parameter states at each epoch, improved satellite initial elements, and improved estimates of constant parameters.
Manajemen Distribusi : Old Distribution Channel and Postmo Distribution Channel Approach Berbasis Teori dan Praktik

Buku Manajemen Distribusi dalam bahasa Indonesia belum banyak yang membahas permasalahan distribusi di Indonesia secara lengkap dan terpadu yang ditinjau secara teori dan praktis. Secara garis besar buku ini berisikan tentang keunggulan kompetitif melalui saluran distribusi, fungsi saluran distribusi, old distribution channels, postmo distribution channels, distribution planning, distribution management policy, membangun sistem distribusi di Indonesia, measurement distribution channels, best practice sistem distribusi di Indonesia dan memenangkan persaingan melalui sistem distribusi. Materi disajikan dengan bahasa yang sederhana dan disertai dengan contoh aplikasinya sehingga buku ini sangat berharga untuk dinikmati oleh pembaca umum dan praktisi yang akan mendalami dunia distribusi baik di tingkat pemula atau sebagai bahan refreshing. Mempelajari buku ini akan menjadi menyenangkan karena disertai banyak studi kasus riil di Indonesia untuk memperdalam setiap materi yang ada sekaligus kita bisa menikmati bagaimana kompetisi yang terjadi dalam perusahaan ataupun antara intermediasi.
Foot and Ankle Motion Analysis Using Dynamic Radiographic Imaging

FOOT AND ANKLE MOTION ANALYSIS USING DYNAMIC RADIOGRAPHIC IMAGING Benjamin D. McHenry, B.S. Marquette University, 2013 Lower extremity motion analysis has become a powerful tool used to assess the dynamics of both normal and pathologic gait in a variety of clinical and research settings. Early rigid representations of the foot have recently been replaced with multi-segmental models capable of estimating intra-foot motion. Current models using externally placed markers on the surface of the skin are easily implemented, but suffer from errors associated with soft tissue artifact, marker placement repeatability, and rigid segment assumptions. Models using intra-cortical bone pins circumvent these errors, but their invasive nature has limited their application to research only. Radiographic models reporting gait kinematics currently analyze progressive static foot positions and do not include dynamics. The goal of this study was to determine the feasibility of using fluoroscopy to measure in vivo intra-foot dynamics of the hindfoot during the stance phase of gait. The developed fluoroscopic system was synchronized to a standard motion analysis system which included a multi-axis force platform. Custom algorithms were created to translate points of interest from 2D fluoroscopic image space to global tri-axial space. From these translated points of interest, a hindfoot specific model was developed to quantify sagittal plane talocrural and subtalar dynamics. The new hindfoot model was evaluated and applied to a pilot population of thirteen healthy adults during barefoot and toe-only rocker walking conditions. The barefoot kinematic and kinetic results compared favorably with barefoot dynamics reported by other authors. As a result of the barefoot study, it was concluded that intersubject variability in sagittal plane kinematics was higher for the talocrural joint than the subtalar joint. The toe-only rocker analysis was the first report of hindfoot kinematics within a rocker sole shoe modification. Hindfoot kinematic inter-subject variability was significantly lower in the toe-only rocker condition when compared to barefoot results. This study represents the first use of fluoroscopy to quantify in vivo intra-foot dynamics during the stance phase of gait. Talocrural and subtalar dynamics of healthy adult subjects are reported. The technology developed for this study is capable of examining soft tissue and bony abnormalities associated with the pathologic foot. Based on the overall results of this study, it is recommended that development continue for further analysis within the clinical environment, and examination of complex in vivo foot and ankle dynamics.
A Framework for Investigating Workload Interactions on Multicore Systems

Multicore processor systems are everywhere today, targeting markets from the high-end server space to the embedded systems domain. Despite their prevalence, predicting the performance of workloads on these systems is difficult due to a lack of visibility into the various runtime interactions for shared resources. At the same time, existing support in processors for performance monitoring is primarily limited to capturing single events and thus cannot provide the depth of information required to predict dynamic workload interactions. This thesis presents a configurable and scalable multicore system framework for enabling new avenues for systems and architectural research. We have outlined and implemented a multicore platform on a Field Programmable Gate Array (FPGA), which supports the Linux Operating System (OS) and contains an integrated profiling unit, ABACUS (a hArdware Based Accelerator for Characterization of User Software), through which runtime profiling of the system can be performed. Support for systems of up to four cores has been demonstrated and the stability of the system verified through various stress tests. A system uptime of over two weeks was obtained while the system was under heavy load, and with the integration of our hardware profiler, we were able to gain insight into the operation of the system through the collection of metrics not readily possible through existing systems and simulators.
Visuo-spatial attention and reading abilities: an action game prototype for dyslexic children

Abstract The ability to play action videogames – not directly related to phonological or orthographic training – seems to be a teaching tool able to intervene specifically on spatial attention and drastically improve the reading skills of dyslexic children. The MADRIGALE project aims at the design and development of an action game, simultaneously involving both phonological and attention training in order to adapt educational game strategies for special needs. Within the MADRIGALE project, the design of the prototype was presented at the International Conference on Intelligent Networking and Collaborative Systems, while an experimentation about educational effectiveness of the prototype, conducted using ‘Prove MT2’ as a benchmarking tool for measuring accuracy and speed of reading, was published in the International Journal of Emerging Technologies in Learning (iJET). This paper is an extension of the work presented in SIREM – SIEL 2014 Conference, and presents the results of a Game Evaluation Sheet administered to 50 primary school teachers with experience of dyslexic students
Low Complexity LDPC for DVB Applications

Both constant and variable Forward Error Correcting (FEC) coding is provided by the DVB-S2 system. Variable FEC can be used to provide different levels of error protection according to applications & the channel condition to achieve Adaptive Coding. In this paper, we introduce an algebraic method for construction of well-structured variablerate Low Density Parity Check (LPDC) codes, enabling the system to switch between LDPC codes of different rates (9/10, 8/9, 5/6, 4/5, .) using a single encoder and decoder structure. Well designed QC-LDPC codes can perform just as well as randomly constructed LDPC codes in terms of bit-error probability, block-error probability, and error floor, collectively. This paper describes BIBD based construction of QC-LDPC code using certain special classes of balanced incomplete block designs. A memory efficient implementation of Quasi-Cyclic LDPC decoder in a FPGA is discussed. For implementation of a LDPC decoder, a parity-check matrix should be stored in nonvolatile memory units which intensify the implementation issues. The idea discussed here is to reduce the memory requirements by real-time generation of the QC parity-check matrix instead of storing it. This is possible due to the circulant structure of QCLDPC codes. Synthesis results show that significant reduction in memory requirements is achievable.
Efficient Isosurface Visualization of Implicit Functions.

Isosurface visualization is an important problem in computer graphics, with applications in eldssuch as medical imaging, uid dynamics and chemistry. A very natural application for isosurfacevisualization is found in scienti c visualization software, where ecient visualization of implicitfunctions is of great importance. This paper proposes an ecient algorithm for visualizing threedimensionalisosurfaces of implicit functions in real time, with topology guarantees, subjectto constraints, and optimally with regard to some error measure. An implementation of thealgorithm in the open source interactive geometry software GeoGebra is discussed and analyzed.
A Guide to Game Theory

PREFACE 1. Game theory toolbox 2. Moving together 3. Prisoners' dilemma 4. Taking turns 5. Hidden moves and risky choices 6. Mixing and evolving 7. Mystery players 8. Playing again and again. 9. Bargaining and negotiation BIBLIOGRAPHY INDEX
The LIMSI Nov93 WSJ System

In this paper we report on the LIMSI Wall Street Journal system which was evaluated in the November 1993 test. The recognizer makes use of continuous density HMM with Gaussian mixture for acoustic modeling and n-gram statistics estimated on the newspaper texts for language modeling. The decoding is carried out in two forward acoustic passes. The first pass is a time-synchronous graphsearch, which is shown to still be viable with vocabularies of up to 20k words when used with bigram back-off language models. The second pass, which makes use of a word graph generated with the bigram, incorporates a trigram language model. Acoustic modeling uses cepstrum-based features, context-dependent phone models (intra and interword), phone duration models, and sex-dependent models. The official Nov93 evaluation results are given for vocabularies of up to 64,000 words, as well as results on the Nov92 5k and 20k test material.