Miracle-dz/UniFAR-FTUs huggingface dataset:
The VTrace tool: building a system tracer for Windows NT and Windows 2000

A load responsive proportioning valve for use on a vehicle having a source of hydraulic fluid and front and rear wheel hydraulically actuated brake systems, the assembly including proportioning valve means in one of the brake systems actuatable to modulate the brake pressure in that one system to provide for a reduced brake effect at the rear brake wheels relative to that of the front wheels to compensate for weight transfer during braking, the proportioning valve means including a piston member movable between positions opening and closing a flow path from the fluid source to the one brake system, bias means including a fluid spring providing a force to move the piston member toward one of the positions, and deceleration sensing means for controlling the magnitude of the fluid spring as a function of variations in the magnitude of deceleration of the vehicle, whereby the modulating effect of the proportioning valve means compensates for variations in loading of the vehicle.
Comparison of three methods for adapting LDA classifiers with BCI applications

Due to the non-stationarity of electroencephalogram (EEG) signals, online training and adaptation is essential to EEG based brain-computer interface (BCI) systems. Three methods were used to adapt linear discriminant analysis (LDA) classifiers during simulated online training for a comparative study. One method generates a new classifier based on updated means and variances of the BCI data of different classes, and the other two are Kalman filter and extended Kalman filter based methods that adapt LDA's parameters directly. Cue-based motor imagery BCI experiments were carried out with 9 naive subjects. Results show that all methods returned comparable improvement during online training, but the mean-variance updating based method is much simpler than the other two methods.
Design of integer motion estimator of HEVC for asymmetric motion-partitioning mode and 4K-UHD

A design for an integer motion estimator of high-efficiency video coding (HEVC) is presented. HEVC supports the 64 × 64 coding tree unit, the recursive quad-tree coding unit structure and the asymmetric motion-partitioning mode in a high compression ratio. These features require a structure of integer motion estimation that is more complex than that of H.264/AVC. The new structures of a memory read controller and a sum of absolute difference (SAD) summation block are proposed. The new memory read controller reduces the internal memory read time, and the new SAD summation block structure supports the recursive quad-tree coding unit structure and the asymmetric motion-partitioning mode. The proposed design is implemented in Verilog HDL and synthesised using the 65 nm CMOS technology. The gate count is 3.56 M, and the internal static random access memory is about 20 kbyte. The operation frequency is 250 MHz when a 4 K-Ultra high definition (UHD) (3840 × 2160P at 30 Hz) sized video is encoded.
Machine translation-assisted language learning: writing for beginners

The few studies that deal with machine translation (MT) as a language learning tool focus on its use by advanced learners, never by beginners. Yet, freely available MT engines (i.e. Google Translate) and MT-related web initiatives (i.e. Gabble-on.com) position themselves to cater precisely to the needs of learners with a limited command of a second language (L2). Anecdotal classroom evidence points to beginners availing themselves of MT help, even against the advice of teachers. In order to find out whether MT could help develop learners' writing skills in L2, we ran some tests asking participants to write directly into L2 in one instance and into L1 in another, while pre-editing the L1 and post-editing the L2 within the MT's Tradukka.com interface. Analysis of the output produced has found that MT helps beginners to communicate more, particularly when they had a lesser mastery of the language. The less their mastery of the L2, the greater the difference between the number of words composed with the help of MT and the number of those written directly into L2. It also helped them to communicate better, with blind marking indicating higher quality when writing with MT mediation. Looking at the screen recordings, on the other hand, we found that writing directly into L2 requires more effort, as measured by number of pauses, and involves more engagement with the task, as measured by the number of editing interventions.
Qualitative methods in information retrieval research.

This review of the literature shows that the number of research projects in information retrieval (IR) that employ qualitative methods is on the rise. Although no agreed-upon definition exists for the concept qualitative research, a number of typical characteristics describe its nature. Qualitative research is noncontrolling, holistic and case oriented, about processes, open and flexible, diverse in methods, humanistic, inductive, and scientific. Although these characteristics make qualitative methods the best for exploring human behavior in depth, and thus of great relevance to IR research, only a few studies present all of them. Doctoral students, librarians, and others who are intersted in qualitative methods have many sources for gaining support and guidance: methodological writings, textbooks and handbooks, and several deprtments at academic institutions
Capacity improvement with a multihop access scheme in broadband CDMA cellular systems

The use of multihop connection, in which a station in between the mobile station and the base station performs hopping relay of the transmission, in CDMA cellular systems should expand the area coverage and reduce the transmitted power per hop. There is a possibility that interference power may be reduced and that system capacity may be enlarged by this approach. Depending on the method of application, however, the system capacity may be decreased due to the interference during hopping. In this study, a basic investigation of interference reduction by multihop connection is first presented. Then, a procedure for selection of the hop stations with a strong capability for reducing the interference power is proposed. Considering a multicellular environment with a CDMA (code division multiple access) cellular scheme, the characteristics of multihop connections are evaluated by computer simulation, assuming packet access. It is shown that multihop connection has the effect of improving system capacity. © 2003 Wiley Periodicals, Inc. Electron Comm Jpn Pt 2, 86(10): 17–24, 2003; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/ecjb.10185
Efficient, locally-enforceable querier privacy for distributed database systems

Traditionally, the declarative nature of SQL is viewed as a major strength. It allows database users to simply describe what they want to retrieve without worrying about how the answer to their question is actually computed. However, in a decentralized setting, two different approaches to evaluating the same query may reveal vastly different information about the query being asked (and, hence, about the user) to participating servers. In the case that a user's query contains sensitive or private information, this is clearly problematic. In this dissertation, we address the problem of protecting query issuer privacy. We hypothesize that by extending SQL to allow for declarative specification of constraints on the attributes of query evaluation plans and accounting for such constraints during query optimization, users can produce efficient query evaluation plans that protect the private intensional regions of their queries without explicit server-side support. Towards supporting this hypothesis, we formalize a notion of intensional query privacy that we call (I, A)-privacy, and present PASQL, a set of extensions to SQL that allows users to specify (I, A)-privacy constraints to a query optimizer. We explore tradeoffs between the expressiveness of several PASQL variants, optimization time requirements, and the optimality of plans produced. We present two algorithms for optimizing queries with attached (I, A)-privacy constraints and formally establish their time and space complexities. We prove that one is capable of producing optimal results, though at the cost of greatly increased time and space requirements. We use the other as the basis of PAQO, our implementation of an (I, A)-privacy-aware query optimizer. We present an extensive experimental evaluation of PAQO to show that is is capable of efficiently generating plans to evaluate PASQL queries, and to confirm the results of our formal complexity analysis.
A fully desynchronized round-robin matching scheduler for a VOQ packet switch architecture

Virtual output queuing (VOQ) is a practical and high-performance packet switch architecture. There are many simple iterative arbitration algorithms proposed for the VOQ architecture. We investigate in this paper the performance of various such algorithms and based on the analysis of pointer desynchronization effect, we propose a group of new arbitration algorithms, called SRR (static round robin matching) which perform pretty well under various traffic models and are easy to implement in hardware.
Actor-Network Theory: sensitive terms and enduring tensions

ANT is not a "theory", or, if it is, then a "theory" does not necessarily offer a coherent framework, but may as well be an adaptable, open repository. A list of terms. A set of sensitivities. If ANT is a theory, then a theory helps to tell cases, draw contrasts, articulate silent layers, turn questions upside down, focus on the unexpected, add to one’s sensitivities, propose new terms, and shift stories from one context to another. In this presentation of "Actor Network Theory" the terms "actor", "network", "theory", as well as the terms "order" and "coordination", will be explored. But mind you. ANT does not define these terms, but rather plays with them. It does not seek coherence. It does not build a stronghold. Instead of crafting an overall scheme that becomes more and more solid as it gets more and more refined, ANT texts are out to move - to generate, to transform, to translate. To enrich. And to betray.
A corpus-based survey of four electronic swahili–english bilingual dictionaries

Abstract: In this article we survey four different electronic bilingual dictionaries for the language pair Swahili–English. Aided by a data-driven morphological analyzer and part-of-speech tagger, we quantify the coverage of the dictionaries on large monolingual corpora of Swahili. In a second series of experiments, we investigate how applicable the dictionaries are as a tool in the development of a machine translation system, by evaluating bilingual coverage on the parallel SAWA corpus. At the same time we attempt to consolidate the dictionaries into a unified lexicographic database and compare the coverage to that of its composite parts. Keywords: LEXICOGRAPHY, EVALUATION, MORPHOLOGY, LEMMATIZATION, PARALLEL CORPORA, MACHINE LEARNING, MACHINE TRANSLATION, SWAHILI (KISWAHILI), ENGLISH Samenvatting: Een corpusgebaseerde evaluatie van vier bilinguale elek-tronische woordenboeken Swahili–Engels. In dit artikel evalueren we vier verschil-lende elektronische woordenboeken voor het talenpaar Swahili–Engels. Met behulp van automa-tische morfosyntactische analyse, kwantificeren we de dekking van de woordenboeken op basis van grote monolinguale corpora voor het Swahili. In een tweede reeks experimenten onderzoeken we de toepasbaarheid van de woordenboeken als hulpmiddel bij de ontwikkeling van automa-tische vertaalsystemen, door hun bilinguale dekking te meten op basis van het parallelle SAWA corpus. Tegelijkertijd proberen we de woordenboeken te integreren in een overkoepelende lexico-grafische databank en vergelijken we de dekking ervan met die van de samenstellende delen. Sleutelwoorden: LEXICOGRAFIE, EVALUATIE, MORFOLOGIE, LEMMATISERING, PARALLELLE CORPORA, AUTOMATISCHE LEERTECHNIEKEN, AUTOMATISCH VERTA-LEN, SWAHILI (KISWAHILI), ENGELS
Time series identifying and modeling with neural networks

In this paper, a time series identifying and modeling method using neural networks is developed as an approximation tool for time series. Such a method can capture homeostatic dynamics of the system under the influence of exogenous event. The results show that financial time series include both predictable deterministic and unpredictable random components. Neural networks can identify the properties of homeostatic dynamics and model the dynamic relation between endogenous and exogenous variables in financial time series input-output system. In addition, we investigate the impact of the number of model inputs and the number of hidden layer neurons on time series analysis and financial forecasting.
Radial Basis (Exact Fit) Artificial Neural Network Technique for Estimating Shelf Life of Burfi

Radial basis (exact fit) artificial neural network model for estimating the shelf life of burfi stored at 30o C has been developed. Input variables for developing the models were moisture, titratable acidity, free fatty acids, tyrosine, and peroxide value; and the overall acceptability score was output variable. Mean square error, root mean square error, coefficient of determination and nash - sutcliffo coefficient were applied in order to compare the prediction ability of the developed models. High correlation was found between training and validation data, indicating that the developed Radial basis (exact fit) ANN models are good for estimating the shelf life of burfi .
Singular perturbation methods in control : analysis and design

From the Publisher: Singular perturbations and time-scale techniques were introduced to control engineering in the late 1960s and have since become common tools for the modeling, analysis, and design of control systems. In this SIAM Classics edition of the 1986 book, the original text is reprinted in its entirety (along with a new preface), providing once again the theoretical foundation for representative control applications. This book continues to be essential in many ways. It lays down the foundation of singular perturbation theory for linear and nonlinear systems, it presents the methodology in a pedagogical way that is not available anywhere else, and it illustrates the theory with many solved examples, including various physical examples and applications. So while new developments may go beyond the topics covered in this book, they are still based on the methodology described here, which continues to be their common starting point. Audience Control engineers and graduate students who seek an introduction to singular perturbation methods in control will find this text useful. The book also provides research workers with sketches of problems in the areas of robust, adaptive, stochastic, and nonlinear control. No previous knowledge of singular perturbation techniques is assumed. About the Authors Petar Kokotovic is Director of the Center for Control Engineering and Computation at the University of California, Santa Barbara. Hassan K. Khalil is Professor of Electrical and Computer Engineering at Michigan State University. John O'Reilly is Professor of Electronics and Electrical Engineering at the University of Glasgow, Scotland.
Events and Plurality: The Jerusalem Lectures

Introduction. Lecture One: Arguments for the Davidsonian Theory. Lecture Two: The Neo-Davidsonian Theory, the Unique Role Requirement and the Language of Events. Lecture Three: The Neo-Davidsonian Theory and Its Rivals. Lecture Four: Scha's Theory of Plurality. Lecture Five: Distributivity, Collectivity and Cumulativity. Lecture Six: Plural Roles, Scope and Event Types. Lecture Seven: Maximalization on Event Types. Lecture Eight: Maximalization on Argument State Types. Lecture Nine: Against Binary Quantifiers. Lecture Ten: Dependent Event Types. References.
Vibration Simulation Using MATLAB and ANSYS

From the Publisher: Transfer function form, zpk, state space, modal, and state spacemodal forms. For someone learning dynamics for the first time or for engineers who use the tools infrequently, the options available for constructing and representing dynamic mechanical models can be daunting. It is important to find a way to put them all in perspective and have them available for quick reference. It is also important to have a strong understanding of modal analysis, from which the total response of a system can be constructed. Finally, it helps to know how to take the results of large dynamic finite element models and build small MATLAB(r) state space models. Vibration Simulation Using MATLAB and ANSYS answers all those needs. Using a three degree-of-freedom (DOF) system as a unifying theme, it presents all the methods in one book. Each chapter provides the background theory to support its example, and each chapter contains both a closed form solution to the problem-shown in its entirety-and detailed MATLAB code for solving the problem. Bridging the gap between introductory vibration courses and the techniques used in actual practice, Vibration Simulation Using MATLAB and ANSYS builds the foundation that allows you to simulate your own real-life problems. Features o Demonstrates how to solve real problems, covering the vibration of systems from single DOF to finite element models with thousands of DOF o Illustrates the differences and similarities between different models by tracking a single example throughout the book o Includes the complete, closed-form solution and the MATLAB code used to solve each problem o Shows explicitly how to take the results of a realistic ANSYS finite element model and develop a small MATLAB state-space model o Provides a solid grounding in how individual modes of vibration combine for overall system response
Possibilities and Limitations of a Computer Supported Cooperative Learning Environment within a Spatially Distributed Practical Training

The multi-medial integration of text, image, audio and video data in computer networks has many fields of application (Grimes and Potel 1991). Whereas "Computer Supported Cooperative Work" (Kremar 1991) concerns the methods used in collective data processing, "Computer Supported Cooperative Learning" refers to the integration of these methods into teaching and learning environments. A so-called "reformed" degree course in "Computer Science and Communications Engineering" is due to begin at the Gerhard Mercator University of Duisburg, initially as a pilot project, in the winter semester of 1997. This degree course is being financed by the "Federal Ministry for Education, Science, Research and Technology" and is aimed at students of all nationalities. The course will include a number of innovations within the German university system. Owing to its reformatory character, the degree course will in itself become an object of study during its five-year pilot phase. A further aim is to develop and gain experience in applying new teaching concepts. This paper will present an initial concept for the realisation of an innovative multi-medial teaching and learning environment for the subject of "Software Engineering". The teaching programme will comprise a weekly two-hour theory lecture as well as completing six hours of practical training per week. This paper will present the teaching and learning framework for the practical module.
International distance education: Cultural and ethical issues

This paper describes an international online program run by the University of British Columbia (UBC) in Canada in association with Monterrey Institute of Technology in Mexico. It highlights the problems of online collaboration and assessment criteria for students from different cultures and pedagogical heritages. It also raises a range of issues faced by the initiating university (UBC) in developing and presenting a global online course.
Zone Separation: A Probit Analysis of Hong Kong Planning Application Statistics

In this paper we demonstrate the use of a probit model to evaluate whether two classes of apparently similar/dissimilar zones with identical uses, that may be carried out with planning permissions, are in fact similar (and hence ‘inseparable’) or otherwise. Four empirical hypotheses about comprehensive development area, commercial/residential, and community-use zones in Hong Kong are tested by using nonaggregate planning application statistics of 793 observations. Acknowledgements. We wish to thank Professor Wing Suen of the School of Economics and Finance, The University of Hong Kong for his useful comments. We are also indebted to three anonymous referees who deserve our special thanks for their careful review and thoughtful suggestions. All faults are ours. This paper is partially sponsored by a CRCG grant (Number 10203311) of the University of Hong Kong.
Design of the 40-MHz Double Differential-Pair Cmos OTA with -60db IM3

A configuration of a linearized operational transconductance amplifier (OTA) for low-voltage and high-frequency applications is proposed. By using double pseudo differential pairs and the source-degeneration structure under nano-scale CMOS technology, the nonlinearity caused by short channel effect from a small feature size can be minimized. A robust common-mode control system is designed for input and output common-mode stability and thus reduces distortion caused b y common-mode voltage variation. Tuning ability can be achieved by using MOS transistors in the linear region. The linearity of the OTA is about 60-dB third-order inter-modulation (IM3) distortion for up to 0.9 pp at 40 MHz. This OTA was fabricated by the TSMC 180-nm deep n-well CMOS process. It occupies a small area of 15.1 10 3 mm and the power consumption is 9.5 mW under a 1.5-V supply voltage.
INCREASING STUDENTS’ VOCABULARY ACHIEVEMENT THROUGH CLUSTERING TECHNIQUE AT THE FIRST YEAR OF SMA GAJAH MADA BANDAR LAMPUNG

Clustering is a form of bubbles diagram that is used to show the relationships or the connection between words. It begins with a core word, a word that acts as a mental stimulus to make the writer come up with related terms that branch out from the center term. Vocabulary is one of the most complex components in language that the students find difficulties in applaying this language element corretly because vocabulary has many types that mainly relate to parts of speech, such as: noun, verbs, pronoun, adjectives, and adverbs. On the other hand, vocabulary is necessary for the students if they want to be able to communicate in the target language and clustering technique is believed able to improve students’ achievement of vocabulary. Particularly, vocabulary has many forms which basically refer to parts of speech. Parts of speech comprise some components; they are among other, noun, verbs, pronoun, adjectives, and adverbs. Therefore the students must learn and master a number of vocabularies, so they are able to master the language well. The objective of this research is to find out whether there is a significant increase of students’ vocabulary achievement after being taught through clustering technique especially in terms of single word. This research is quantitative research based on experimental method. In conducting the research, the researcher used one group pretest posttest design. The population of the research was the first year of SMA Gajah Mada Bandar Lampung in the academic year of 2010/2011. Through lottery drawing, class X.2 was chosen as experimental class. In collecting the data, the researcher administrated the pretest, three time treatments, and posttest. The pretest was given to know whether there is a significant increase of students’ vocabulary achievement after being taught through clustering technique especially in terms of single word. The data was analyzed by using repeated measures T-test, in which the significance is determined by p 2. 021). The hypothesis test shows the value of two tail significant is (2-tailed) 0.000 (p<0.05, p=0.000). The result shows that there is a significant difference of the students’ vocabulary achievement after being taught through clustering technique.