Miracle-dz/UniFAR-FTUs huggingface dataset:
A metalanguage to express human guidance for program transformation

A metalanguage, TrapML, is proposed. It has the ability to describe the syntax of object languages, transformation rules, and strategies. An abstract transformational programming system NDTPS is constructed to implement the language. It provides various supports for transformation activities, but does not depend on the syntax of object languages, transformation rules, and strategies. Metaprograms are used to equip the system, forming a specific transformation system. Some experiments with metaprogramming have been carried out such as the construction of a transformation system for optimization of J. Backus's FP programs, the description of the synthesis process of divide-and-conquer algorithms from pre/postconditions, an interpreter of equational logic, and a synthesis system which derived linear recursive FP programs from input/output examples. <<ETX>>
Simple adaptive control for stability improvement

Treats the simple adaptive control for stability improvement of a synchronous generator connected to an infinite bus. Presented are: the influence of the operating point on the eigenvalues of the synchronous generator simplified linear model, the simple adaptive power system stabilizer derived from the model reference adaptive control based on command generator tracker theory, the effects of changing the design parameters and the bursting phenomenon. The control system design was carried out for the simplified linear model of a synchronous generator but for the evaluation of the control system performance the full order non-linear model of the synchronous generator was used. Simulation and experimental results show the applicability of the presented approach.
Improving Efficiency and Safety of Program Generation

This dissertation presents three techniques that allow faster generation of programs, and shows that Program Generation (PG) is about writing programs that write programs. A program generator composes various pieces of code to construct a new program. When employed at runtime, PG can produce an efficient version of a program by specializing it according to inputs that become available at runtime. PG has been used in a wide range of applications to improve program efficiency and modularity as well as programmer productivity. There are two major problems associated with PG: (1) Program generation has its own cost, which may cause a performance loss even though PG is intended for performance gain. This is especially important for runtime program generation. (2) Compilability guarantees about the generated program are poor; the generator may produce a type-incorrect program. In this dissertation we focus on these two problems. We provide three techniques that address the first problem. First, we show that just-in-time generation can successfully reduce the cost of generation by avoiding unnecessary program generation. We do this by means of an experiment in the context of marshalling in Java, where we generate specialized object marshallers based on object types. Just-in-time generation improved the speedup from 1.22 to 3.16. Second, we apply source-level transformations to optimize the execution of program generators. Up to 15% speedup has been achieved in runtime generation time for Jumbo, a PG system for Java. Third, we provide a technique to stage analysis of generated programs to perform a portion of the analysis at compile time rather than completing the entire analysis at runtime. We also give experimental evidence via several examples that this technique reduces runtime generation cost. To address the second problem of PG, we first show that operational semantics of record calculus and program generation are equivalent, and that a record type system can be used to type-check program generators. We also show that this is true in the presence of expressions with side-effects. We then make use of an already-existing record calculus feature, subtyping, to extend the program generation type system with subtyping constraints. As a result, we obtain a very expressive type system to statically guarantee that a generator will produce type-safe code. We state and prove the theorems based on an ML-like language with program generation constructs.
Task-specific adaptation of speech recognition models

Most published adaptation research focuses on speaker adaptation, and on adaptation for noisy channels and background environments. We study acoustic, grammar, and combined acoustic and grammar adaptation for creating task-specific recognition models. Comprehensive experimental results are presented using data from natural language quotes and a trading application. The results show that task adaptation gives substantial improvements in both utterance understanding accuracy, and recognition speed.
Tapping the Matrix: Revisited 1

The software infrastructure used on Volunteered Distributed Computing is evolving to meet the diverse needs of researchers. These emerging systems are being built using Open Source tools. We describe a number of such systems in the context of this emerging field. Throughout this paper we revisit concepts presented in the April 2004 paper entitled, “Tapping the Matrix”. 1. Machines are underutilized Modern machines are capable of executing billions of instructions in the time it takes us to blink. This fact may be less surprising when we consider that the typical machine’s sold today feature processors running at multiple gigahertz supported by hundreds of megabytes of main memory. Surprisingly, the vast majority of personal computers are underutilized. The truth is many machines are idle for as much as 90% of an entire day. Even when active, most applications utilize fewer than 10% percent of the machines CPU. Furthermore, this trend shows no signs of reversing, in fact, conservative estimates indicate that there are roughly 800 million personal computers in use. About 150 million are Internet connected machines which are expected to increase to one billion by 2015 [2]
A 10-b 20-MHz 30-mW pipelined interpolating CMOS ADC

This paper describes a circuit design and experimental results of a video-rate 10-b analog-to-digital converter (ADC) suitable for portable audio-visual equipment. Two new circuit techniques, termed pipelined capacitive interpolation and error averaging circuits with capacitor networks, are developed. As a result, very low power dissipation of 30 mW at a low power-supply voltage of 2.5 V is attained at the conversion frequency of 20 MHz. Also, a good DNL of less than +or-0.5 LSB and an acceptable signal-to-noise and distortion ratio of 55 dB are obtained for the input frequencies of 1 kHz and 1 MHz, respectively. The ADC is fabricated in 0.8- mu m CMOS technology and occupies an area of 2.6*2.5 mm/sup 2/. >
Camila revival: VDM meets haskell

We have experimented with modeling some of the key concepts of the VDM specification language inside the functional programming language Haskell. For instance, VDM’s sets and maps are directly available as data types defined in standard libraries; we merely needed to define some additional functions to make the match complete. A bigger challenge is posed by VDM’s data type invariants, and preand postconditions. For these we resorted to Haskell’s constructor class mechanism, and its support for monads. This allows us to switch between different modes of evaluation (e.g. with or without property checking) by simply coercing user defined functions and operations to different specific types.
An Algorithm for Spatial Outlier Detection Based on Delaunay Triangulation

Spatial outliers represent spatial objects whose non-spatial attributes are significantly different from their spatial neighborhoods. Spatial outlier detection can provide user with unexpected, interesting and useful spatial patterns for further analysis and has received a lot of attention. However, many existing methods for spatial outlier mining use the k-neighborhood method to determine spatial neighborhood which depends on a priori parameter k, and don¿t consider spatial autocorrelation. As a result, it usually violates the true situation. So we propose a similarity measurement between spatial objects that based on Delaunay triangulation (DT_SOF), which captures spatial correlation and spatial neighborhood from the dataset itself. Furthermore, the measure takes in account the local behavior of a spatial object in its neighborhood. Finally, experimentations on a synthetic and a real-world ecological geochemical dataset demonstrate that our approach can effectively detect spatial outliers with a lower disturbance by human intervention.
EFFECTS OF SCALE DISPLAY FORMATS, THE NUMBER OF VARIABLES PER DISPLAY AND USE OF MARKERS ON VISUALIZING LINE GRAPHS

บทคดยอกราฟเสนเปนหนงในเครองมอวเคราะหขอมลทไดรบการยอมรบมากมายเพอการตรวจสอบความสมพนธของตวแปรเชงปรมาณแตทวาการวจยในบรบทของประเทศไทยทไดสอบทานผลของรปแบบสเกล จำนวนตวแปรตอกราฟ และการใชจดขอมลตอความเขาใจกราฟเสนยงจำกด การศกษานจงตองการเตมเตมสวนทขาดหายการทดลองในหองปฏบตการอนประกอบดวย หนวยทดลองทเปนนสตปรญญาตรในหลกสตรบรหารธรกจของประเทศไทยถกสมใหพจารณากราฟแทงทนำเสนอเรองเดยวกนใน12 ลกษณะ (รปแบบสเกลสองรปแบบ x จำนวนตวแปรสามจำนวนตอการแสดงหนงรปกราฟ x การใชจดขอมลสองลกษณะ) ผลการวเคราะหขอมลพบวา ผลของรปแบบสเกลและจำนวนตวแปรตอกราฟตอความเขาใจกราฟเสนมนยสำคญทางสถตทระดบ0. 05แตผลของการใชจดขอมลหรออทธพลรวมของทงสามตวแปรตอความเขาใจขางตนไมมนยสำคญ นอกจากชวยตอยอดองคความรของจนตทศนทางธรกจในบรบทของผใชกราฟเสนชาวไทยแลว ผพฒนาซอฟตแวรทางจนตทศนสามารถใชขอคนพบหรอปรบปรงการนำเสนอกราฟทเพมความเขาใจกราฟเสนไดดวย คำสำคญ: รปแบบสเกลจำนวนตวแปรตอกราฟ การใชจดขอมล ความเขาใจกราฟเสน ผใชกราฟชาวไทยABSTRACTOne of the well-accepteddata analysis tools in various fields, a line graph is often adopted to portraya relationship between variables. However, research in the Thai contextexamining effects of scale display formats (i.e., conventional orunconventional), the number of lines per display (i.e., one, three or six) andthe use of marker (i.e., use or no use) on line graph visualization is rare. Thecurrent study intends to fill this gap.A lab experiment in which360 Thai undergraduates in one university’s business school in Thailand wererecruited to visualize 12 conditions of comparable line graphs (2 scale formatsx 3 numbers of lines per display x 2 conditions of marker use) confirms that(1) the effects of scale display formats and the numbers of lines per displayon visualization are statistically significant and (2) neither the effect ofmarker use nor the interaction effects of these three factors on thevisualization is significant. In addition to extendinginsight into issues of information visualization in the particular context ofThai line graph readers, graph developers could apply the study’s findings toenhance readers’ graph visualization. Keyword: scale display formats, the number of line graphs perdisplay, use of marker, line graph visualization, Thai graph readers.
Recursive Closed-Form Optimization of Spectral Audio Power Allocation for Near End Listening Enhancement

In mobile telephony, near end listening enhancement is desired by the near end listener who perceives not only the clean far end speech but also ambient background noise. A typical scenario is mobile telephony in acoustical background noise such as traffic or babble noise. In such a situation, it is often not acceptable/possible to increase the audio power. In this contribution we analyse the calculation rules of the Speech Intelligibility Index (SII) and develop a recursive closedform solution which maximizes the SII under the constraint of an unchanged average power of the audio signal. This solution has very low complexity compared to a previous approach of the authors and is thus suitable for real-time processing.
AC 2009-1478: LESSONS LEARNED FROM TEACHING DYNAMIC SYSTEMS AND CONTROL WITH A VIDEO GAME

Playing digital games on personal computers and game consoles is a massively popular form of mediated entertainment, which is particularly effective at commanding the fascination and attention of adolescents, young adults, and some not-so-young adults. There is a growing number of education scholars who argue that video games (or at least the aspects that make them so engaging) should migrate into the classroom as well. Since 2005, we have used a customized race car simulation game to teach a computational methods course to mechanical engineering undergraduates. The introduction of the game has been a demonstrable success. However, when we adapted the game-based instructional model to a different course, a dynamic systems and control course, the improvements, so far, have been less dramatic. In this paper, we re-think how a video game can be used to teach Dynamic Systems & Control.
Fabrication of p-type FinFETs with a 20 nm Gate Length using Boron Solid Phase Diffusion Process

A simple doping method to fabricate a very thin channel body of the p-type FinFETs with a 20 nm gate length by solid-phase-diffusion (SPD) process was developed. Using the poly-boron-films (PBF) as a novel diffusion source of boron and the rapid thermal annealing (RTA), the p-type source- drain extensions of the FinFET devices with a three- dimensional structure were doped. The junction properties of boron doped regions were investigated by using the p + -n junction diodes which showed excellent electrical characteristics. Single channel and multi-channel p-type FinFET devices with a gate length of 20-100 nm was fabricated by boron diffusion process using PBF and revealed superior device scalability.
HPT roots and branches: Analyzing over 45 years of the field's own citations. Part 1: Journal citations

This article is the first of a series of three that reviews the citation patterns of references cited in the entire collection of International Society for Performance Improvement (ISPI) journal articles (1962–2007) and all chapters published in the three editions of Handbook of Human Performance Technology (1992, 1999, and 2006). It includes an analysis of journal articles cited and lists which journals and particular articles are cited most frequently, both overall and by decade. Part 2 in this series will present an analysis of books cited in the entire ISPI literature collection, and part 3 will report on the most cited authors, both overall and by type of reference (e.g., journal articles, books, sections of books, reports, conference papers, dissertations).
Online random forests based on CorrFS and CorrBE

This paper aims to contribute to the merits of online ensemble learning for classification problems. To this end we induce random forests algorithm into online mode and estimate the importance of variables incrementally based on correlation ranking (CR). We test our method by an ldquoincremental hill climbingrdquo algorithm in which features are greedily added in a ldquoforwardrdquo step (FS), and removed in a ldquobackwardrdquo step (BE). We resort to an implementation that combine CR with FS and BE. We call this implementation CorrFS and CorrBE respectively. Evaluation based on public UCI databases demonstrates that our method can achieve comparable performance to classifiers constructed from batch training. In addition, the framework allows a fair comparison among other batch mode feature selection approaches such as Gini index, ReliefF and gain ratio.
Adaptive Torque and Position Control for a Legged Robot Based on a Series Elastic Actuator

Inspired by biological systems, we seek to achieve natural dynamics and versatile locomotion for hopping or running robots by installing a series elastic actuator (SEA) in the joints due to its compliant property, passive adaptability and energy storage. However, robots equipped with these actuators have drawbacks in terms of substantial delay and limited bandwidth in their position control, especially when a robot has to choose its foothold while it is running at a demanding speed. To solve these problems, compliance control and adaptive position/torque control are introduced to a hopping- legged robot in this paper. The compliant performance of the robot can be improved through the intrinsic property of an SEA with a torque control algorithm. Combining the kinetics model and stochastic model of a 2-DOF robot, an adaptive position control with Kalman Filtering (KF) is developed to provide rapid convergent state estimation of the load on the robotic end-effector by solving the inverse dynamics. Validating the robustness and effectiveness of the proposed algorithm on our hopping-legged robot Tigger, the experimental results show very good position-tracking and disturbance-rejection, as well as flexible interactions while operating in a complex environment.
250 MHz CMOS rail–to–rail IO OpAmp: Structural design approach

A structural methodology is shown on the example of design of the industry fastest CMOS OpAmp implemented on the 0.6 um single n-well process. This OpAmp has rail-to-rail input/output, 250 MHz unity gain bandwidth, 350 V/us slew rate, >100 dB open-loop gain with 150 Ohm load, 6 nV/√Hz noise and consumes 5 mA from 2.5-5.5 V supply. Considered are the constant-g m rail-to-rail input stage, DC gain boost, slew rate boost, folded cascode implementation, overload recovery improvement.
Analysis of time-varying synchronization of EEG during sentences identification

The study of the synchronization of EEG signals can help us to understand the underlying cognitive processes and detect the learning deficiencies since the oscillatory states in the EEG reveal the rhythmic synchronous activity in large networks of neurons. As the changes of the physiological states and the relative environment exist when cognitive and information processing take place in different brain regions at different times, the practical EEGs therefore turn out to be extremely non-stationary processes. To investigate how these distributed brain regions are linked together and the information is exchanged with time, this paper proposes a modern time-frequency coherent analysis method that employs an alternative way for quantifying synchronization with both temporal and spatial resolution. Wavelet coherent spectrum is defined such that the degree of synchronization and information flow between different brain regions can be described. Several real EEG data are analysed under the cognitive tasks of sentences identification in both English and Chinese. The time-varying synchronization between the brain regions involved in the processing of sentences exhibited that a common neural network is activated by both English and Chinese sentences. The results of the presented method are helpful for studying English and Chinese learning for Chinese students.
Policy Conflict Analysis in Distributed System Management

Distributed system management is concerned with the tasks needed to ensure that large distributed systems can function in accordance with the objectives of their users. These objectives are typically set out in the form of policies that are interpreted by the system managers. There are benefits to be gained by providing automated support for human managers, or actually automating routine management tasks. To do this, it is desirable to have a model of policies as objects that can be interpreted by the system itself. The model is summarized. It is clear that there is the potential for conflicts between policies. These conflicts may be resolved informally by human managers, but if an automated system is to recognize them and resolve them appropriately, first it is necessary to analyze the types of conflict that may occur. We analyze the types of overlap that may occur between policies, and show that this analysis corresponds to several familiar types of policy conflict. Some possible approaches to the preve.
A 25-kft, 768-kb/s CMOS analog front end for multiple-bit-rate DSL transceiver

A transceiver for multibit-rate digital subscriber loop is presented with up to 25-kft reach on using AWG 24 wire. An adjustable data rate from 160 to 768 kb/s is employed to achieve N/spl times/64 kb/s voice channel (N=2-12). The IC contains a 14-bit, 63 dual current sources multibit /spl Sigma//spl Delta/ digital-to-analog converter with "hopping" dynamic elements, a /spl Sigma//spl Delta/ analog-to-digital converter (ADC), and an on-chip high-swing nested Miller line driver; and for full duplex communication an integrated -30 dB rejection hybrid filter based on line and transformer parasitics matching. The concept has been tested using two sets of silicon test chips, one for symmetrical digital subscriber line (SDSL) and one for asymmetrical DSL (ADSL), on a line emulator with and without additive line noise for SDSL and ADSL rates (line driver external for ADSL with fourth-order multibit ADC for ADSL). In the analog front end, supply is 3 V for all the digital blocks, including the interface to the digital portion of the DSL, and 5 V for all the analog blocks. Power is 250 mW, with 12-mm/sup 2/ area. The transceiver can cover the full set of ANSI T1.601 basic rate ISDN (UkO-interface) loops while providing 2.5 times the throughput of existing U-interface transceivers. Nearly five times the throughput (768 kb/s) can be achieved even in the presence of worst case self-crosstalk. The additional performance is achieved by using a combination of coding, digital, and analog techniques.
A Common-Sense Based API for Concept-Level Sentiment Analysis

The bag-of-concepts model can represent semantics associated with natural language text much better than bags-of-words. In the bagof-words model, in fact, a concept such as cloud_computing would be split into two separate words, disrupting the semantics of the input sentence. Working at concept-level is important for tasks such as opinion mining, especially in the case of microblogging analysis. In this work, we present Sentic API, a common-sense based application programming interface for concept-level sentiment analysis, which provides semantics and sentics (that is, denotative and connotative information) associated with 15,000 natural language concepts.
The Analysis and Cognition of Basic Melodic Structures: The Implication-Realization Model

Eugene Narmour formulates a comprehensive theory of melodic syntax to explain cognitive relations between melodic tones at their most basic level. Expanding on the theories of Leonard B. Meyer, the author develops one parsimonious, scaled set of rules modeling implication and realization in all the primary parameters of music. Through an elaborate and original analytic symbology, he shows that a kind of "genetic code" governs the perception and cognition of melody. One is an automatic, "brute" system operating on stylistic primitives from the bottom up. The other constitutes a learned system of schemata impinging on style structures from the top down. The theoretical constants Narmour uses are context-free and, therefore, applicable to all styles of melody. He places considerable emphasis on the listener's cognitive performance (that is, fundamental melodic perception as opposed to acquired musical competence). He concentrates almost exclusively on low-level, note-to-note relations. The result is a highly generalized theory useful in researching all manner of psychological and music-theoretic problems concerned with the analysis and cognition of melody. "In this innovative, landmark book, a distinguished music theorist draws extensively from a variety of disciplines, in particular from cognitive psychology and music theory, to develop an elegant and persuasive framework for the understanding of melody. This book should be read by all scholars with a serious interest in music. "--Diana Deutsch, Editor, Music Perception