ppxscal/embedding_network huggingface dataset:
Design of training data-based quadratic detectors with application to mechanical systems
Authors: B. Samimy
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 03 (1996)

Reliable detection of engine knock is an important issue in the design and maintenance of high performance internal combustion engines. Cost considerations dictate the use of vibration signals, measured at the engine block, for knock detection. Conventional techniques use the energy in a bandpass filtered version of the vibration signal as a measure. However, the low signal-to-noise ratio (SNR) in the vibration measurements significantly degrades the performance of such bandpass energy detectors. We explore the design and application of more general quadratic detection procedures, including time-frequency methods, to this challenging problem. We use statistics estimated from labeled training data to design the detectors. Application of our techniques to real data shows that such detectors, by virtue of their flexible structure, improve the effective SNR, thereby substantially improving the detection performance relative to conventional methods.
Metadata logging in an NFS server
Authors: Uresh Vahalia, Cary G. Gray, Dennis Ting
Venue: Proceedings of the USENIX 1995 Technical Conference Proceedings on USENIX 1995 Technical Conference Proceedings (1995)

Over the last few years, there have been several efforts to use logging to improve performance, reliability, and recovery times of file systems. The two major techniques are metadata logging, where the log records metadata changes and is a supplement to the on-disk file system, and log-structured file systems, whose log is their only on-disk representation. When the file system is mainly or wholly accessed through the Network File System (NFS) protocol, it adds new considerations to the suitability of the logging technique. NFS requires that all operations be updated to stable storage before returning. As a result, file system implementations that were effective for local access may perform poorly on an NFS server. This paper analyzes the issues regarding the use of logging on an NFS server, and describes an implementation of a BSD Fast File System (FFS) with metadata logging that performs effectively for a dedicated NFS server.
The Effects of Users' Motivation on their Perception to Trading Systems of Digital Content Accessories: Focusing on Trading Items in Online Games
Authors: Boreum Choi, Inseong Lee, Kiho Lee, Seungki Jung, Sunju Park, Jinwoo Kim
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

As the market for digital content accessories grows, motivation for trading digital content accessories has significant effects on their fun, transaction cost, and intention to trade and use digital contents. However, few empirical studies have investigated users' perception of trading digital content accessories. The main purpose of this study is to construct and verify a research model identifying the relationships among the attributes of transaction, users' perceived fun and transaction cost, and the intention to trade and use digital contents, all of which are modulated by users' motivation. The research model was constructed based on transaction cost theory and motivational theory. An experiment in a real massive multiplayer online role playing game (MMORPG) environment was conducted and the results indicate that users' different motivations have effects on their perception to digital content accessories trading systems, intention to use those systems, and intention to use digital contents.
Efficient Method for Magnitude Comparison in RNS Based on Two Pairs of Conjugate Moduli
Authors: Leonel Sousa
Venue: Proceedings of the 18th IEEE Symposium on Computer Arithmetic (2007)

The non-positional nature of Residue Number Systems (RNS) is very useful to achieve carry free arithmetic. However it makes the comparison of numbers more difficult than in the traditional weighted number systems: there is no any efficient general method for magnitude comparison in RNS. Moreover, magnitude comparison for RNS that rely on pairs of conjugate moduli, which are not relatively prime moduli sets recently proposed because of the large dynamic ranges and the simplicity of the arithmetic units, is a new unsolved problem. In this paper an efficientmethod and a VLSI architecture is proposed for magnitude comparison in RNS based on sets formed by two pairs of conjugate moduli. This proposed method is much more efficient than the other known ones and is the only one valid for moduli sets not formed by relatively prime integers. The method has been applied to design a very fast Sum-of-Absolute Differences (SAD) unit for motion estimation in video sequences that performs the function entirely within the RNS channels. Experimental results show that this new SAD unit, implemented in the internal memory blocks of the xc2vp50-7 FPGA, is capable of achieving the high throughput required to perform real-time motion estimation in high resolution images.
Investigation of Relationships among Excavate Taxa Using a New Quartet-Based Phylogenetic Analysis Method
Authors: Monther Tarawneh, Bing Bing Zhou, Pinghao Wang, Albert Zomaya
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 01 (2007)

An interesting group called excavates is considered as one of the keys to understand early eukaryotic evolution. Excavates include jakobids, malawimonas, trimastix, carpediemonas, diplomonads, retortamonas, and heterolobosea. Other relatives have been associated because of their relationship to one or more core-excavate taxa. These relatives include Oxymonads, Parabasalids, and Euglenozoa. Many relationships among excavate taxa and their relatives are uncertain. We present a phylogenetic analysis of the excavate taxa and their relatives using our newly developed quartet-based method (QBNJ). We also demonstrate how molecular phylogenetic methods and morphological evidences can be effectively incorporated into the tree reconstruction. We found that some clusters are robust and independent of the methods used. However, at some point during the merge process there are critical points where more than one possible merge could be possible for the same species/subtree. More reliable results could be obtained by combining morphological and molecular phylogenetic analyses.
Quantitative study of the 'M.E.M.S.N.A.S.' process for 3D microfabrication using binary lithography
Authors: F. Marty, S. Didelon, B. Mercier, C. Moyroud, T. Bourouina
Venue: Proceedings of the Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (2003)

In this paper, we present the results of investigations on the quantitative characterization of the previously reported MEMSNAS process, which was developed for 3D microfabrication applications using binary lithography and isotropic etching. Such characterization results are indeed of interest for the purpose of developing design rules, which are intended to help for fast prototyping of arbitrary 3D structures with good shape accuracy. Among the characteristics that have been investigated, one can mention process calibration. It is obtained using simple test structures. Silicon 3D micromachining was investigated mainly with SF/sub 6/-based dry etching using both RIE and DRIE reactors. Wet etching with an HNA mixture was also used in some experiments. The MEMSNAS 3D micromachining method was successfully applied to glass as well.
A finite element method for hydraulic conductivity identification in a seawater intrusion problem
Authors: Moulay Hicham Tber, Mohamed El Alaoui Talibi
Venue: Computers Geosciences (2007)

This work presents a numerical method to automatically identify hydraulic conductivity in the seawater intrusion problem when a sharp interface approach is used. The mathematical formulation is based on the optimal control theory. A Lagrangian operator, whose partial derivatives provide, respectively, the state equations, the adjoint equations and the optimality condition, is introduced. The ill-posedness of the problem and the multiple minima difficulties are addressed through a combination of Tikhonov or total variation regularization with a multiscaling procedure. By numerical examples we show the effectiveness of total variation regularization for discontinuous parameters and the ability of the multiscaling approach to get the global solution.
MATLAB based image processing lab experiments
Authors: C. S. Zuria
Venue: Proceedings of the 28th Annual Frontiers in Education - Volume 03 (1998)

This paper presents a set of experiments for a digital image processing course. This set of experiments is based on MATLAB. These experiments will allow any instructor to cover experiments in most of the topics treated in a regular image processing course to be completed successfully.
It is time to stand up and communicate [computer science courses]
Authors: J. A. Polack-Wahl
Venue: Proceedings of the 30th Annual Frontiers in Education - Volume 01 (2000)

In today's technological market, job candidates must possess technical and communication skills to acquire a desired position. Computer science programs, for the most part, provide the technological training, but are inconsistent in teaching students all the necessary communication skills. In many computer science curricula faculty members realizing the importance of improving writing ability have incorporated writing intensive courses. However, many computer science curricula neglect oral communication, largely because of the amount of class time needed to make presentations. Several gaps exist between computer science curricula and business world reality. Computer science curricula must teach students to listen and express themselves clearly, since getting the maximum utilization of an information resource requires contact with the user community. This is not to say that educators have ignored industry requests. The emerging trend in computer science curricula is to stress written and oral communication skills. This article discusses the importance of incorporating speaking intensive courses into computer science programs. In addition, this article reviews two courses that have included speeches and presentations. Finally it presents a new way to grade oral communication.
Lossless Transmission of Correlated Sources over a Multiple Access Channel with Side Information
Authors: Deniz GAundAuz, Elza Erkip
Venue: Proceedings of the 2007 Data Compression Conference (2007)

In this paper, we consider lossless transmission of arbitrarily correlated sources over a mul- tiple access channel. Characterization of the achievable rates in the most general setting is one of the longstanding open problems of information theory. We consider a special case of this problem where the receiver has access to correlated side information given which the sources are independent. We prove a source channel separation theorem for this system, that is, we show that there is no loss in performance in ¯rst applying distributed source coding where each encoder compresses its source conditioned on the side information at the receiver, and then applying an optimal multiple access channel code with independent codebooks. We also give necessary and su±cient conditions for source and channel separability in the above problem if there is perfect two-sided feedback from the receiver to the transmitters. These two communication scenarios constitute examples of few non-trivial multi-user scenarios for which separation holds.
Superscalar Processor Performance Enhancement through Reliable Dynamic Clock Frequency Tuning
Authors: Viswanathan Subramanian, Mikel Bezdek, Naga D. Avirneni, Arun Somani
Venue: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (2007)

Synchronous circuits are typically clocked considering worst case timing paths so that timing errors are avoided under all circumstances. In the case of a pipelined processor, this has special implications since the operating frequency of the entire pipeline is limited by the slowest stage. Our goal, in this paper, is to achieve higher performance in superscalar processors by dynamically varying the operating frequency during run time past worst case limits. The key objective is to see the effect of overclocking on superscalar processors for various benchmark applications, and analyze the associated overhead, in terms of extra hardware and error recovery penalty, when the clock frequency is adjusted dynamically. We tolerate timing errors occurring at speeds higher than what the circuit is designed to operate at by implementing an efficient error detection and recovery mechanism. We also study the limitations imposed by minimum path constraints on our technique. Experimental results show that an average performance gain up to 57% across all benchmark applications is achievable.
Quillen model structures, *-autonomous categories and adherence spaces
Authors: Jeffrey M. Egger
Venue:  (2006)

Linear logic has been intensively studied since its introduction almost twenty years ago. Originally introduced as a proof theory, two distinct semantic traditions have evolved around linear logic: the denotational semantics of linear logic, and the Geometry of Interaction. In this thesis we explore how abstract homotopy theory may be used to reconcile these semantic traditions. This approach is in some sense already suggested by the fact that, in denotational semantics, one is forced to take equivalence classes of proofs, and not proofs per se, as morphisms. Our approach amounts to taking a coarser equivalence relation than is needed to construct a denotational model, in order to create a category more closely resembling those which occur in Geometry of Interaction. A new class of denotational models, called adherence spaces and in some sense tailor-suited to the problem at hand, are introduced. Then it is shown how a Quillen model structure may be imposed on a category of adherence spaces in such a way that the resulting homotopy category is compact closed.
Career awareness, retention and curriculum programs
Authors: J. Wilson, M. S. Bronzini
Venue: Proceedings of the Frontiers in Education Conference on 1995. Proceedings., 1995 vol 1. - Volume 01 (1995)

Strategies have been developed for implementing various programs to provide students (K-12, junior colleges, and undergraduate schools) with an awareness of civil and transportation engineering careers, to retain students who have the interest, and to affect curriculums that relate the relevance of class materials to such careers. These programs were assembled under a conceptual framework referred to as the "ARC" (Awareness, Retention and Curriculum) model. Recommended action plans were subsequently devised to address specific issues at each defined developmental stage of the educational process. Although the principal focus of the research was to promote student awareness of civil engineering as a career option, the research results are applicable across the various engineering education disciplines. The study results include: a catalog describing existing techniques used to promote student awareness in engineering, mathematics, and science studies; insights into attitudes on civil engineering via focus groups; development of the conceptual ARC model and associated action plans; and the publication of a "user's guide" to implement the detailed strategies of the ARC model. A comprehensive Directory and Program of Services for existing programs was also prepared. The paper summarizes the overall research approach, describes the market research study, identifies the key findings, and explains the ARC model development and its application to the future engineering pool.
Scholarship for Service: New Mexico Tech's Undergraduate Program
Authors: Lorie M. Liebrock
Venue: IEEE Distributed Systems Online (2007)

The New Mexico Institute of Mining and Technology's Scholarship For Service program prepares students for leadership roles in information assurance with government agencies through key information assurance courses.
Large vs small aperture microphone arrays: performance over a large focal area
Authors: J. M. Sachar
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 05 (2001)

Microphone arrays offer the potential of obtaining a high-quality speech signal from a remote talker in a noisy, multi-source environment. In many important applications, sources of interest may be located anywhere within a large focal area and thus it is desirable that an array's performance be uniform over that area. In this paper, simulated and measured results are presented indicating the performances of representative small and large aperture arrays at various points in a large focal area. From these results, it is clear that uniformity over a large focal area is an advantage of large-aperture arrays.
HIV-1 Coreceptor Usage Prediction via Indexed Local Kernel Smoothing Methods and Grid-Based Multiple Statistical Validation
Authors: Iuri Fanti, Mattia CF Prosperi, Giovanni Ulivi, Alessandro Micarelli
Venue: Proceedings of the Twentieth IEEE International Symposium on Computer-Based Medical Systems (2007)

Human immunodefieciency virus type 1 (HIV-1) isolates differ in their use of coreceptors to enter target cells. This has important implications for both viral pathogenicity and susceptibility to entry inhibitors under development. Predicting HIV-1 coreceptor usage on the basis of sequence information is a challenging task due to the high variability of the HIV-1 genome. We present an efficient local smoothing kernel method, enhanced with a BLAST-based distance function, implemented by usage of multithreading grid procedures and indexing. Robust validation of the model is achieved through multiple cross-validation, along with statistical comparisons of results for performance assessment.
Embedding Linux: issues, questions, and a few answers
Authors: David Beal
Venue: Proceedings of the 5th annual Linux Showcase & Conference - Volume 5 (2001)

This talk will discuss many of the misunderstood, unseen or unrecognized issues which are associated with porting and optimizing Linux for embedded devices. Topics will include: Common myths and misunderstandings of the GPL; the distinct challenges associated with porting Linux to four types of processor: "Commodity", "Commodity-related", "Niche", and "New"; tasks, issues and questions that must be recognized for each of the selected Linux packages or elements, and system integration and program management tasks, issues, and questions that are independent from the Linux porting tasks but just as important.
A novel word pre-selection method based on phonetic set indexing
Authors: R. R. Sarukkai
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 02 (1996)

The possibility of pre-fetching words using the phoneme sequence output of automatic speech recognition systems has been explored. A novel non-sequential indexing mechanism (termed phonetic set indexing) has been evaluated for the purpose of fast word pre-selection. Our approach to handling the lexical access problem stems from the primacy observation that the set of phonemes which are present in a transcription of a word is sparsely distributed across the vocabulary, and is thus suitable as an indexing key for retrieving a short list of word possibilities. The fixed dimensionality of the phonetic set representation also makes it suitable for implementation with compact bit strings, thus enabling fast lexical access using low-level bit operations.
Word Sense Disambiguation Using Extended WordNet
Authors: Sudip Kumar Naskar, Sivaji Bandyopadhyay
Venue: Proceedings of the International Conference on Computing: Theory and Applications (2007)

In this paper we propose an Extended WordNet based word sense disambiguation algorithm for disambiguating nouns, verbs and adjectives. The algorithm is inspired by the Lesk algorithm and involves looking for overlaps between the context of a word in a sentence and the contexts constructed from the WordNet. The algorithm relies on the sense tagged synset glosses provided by the Extended WordNet. The system has been evaluated on the first 10 Semcor2.0 files and produces a precision of 85.9%, and 62.1% recall.
Optimization of nonuniform array geometry for DOA estimation with the constraint on gross error probability
Authors: Toygar Birinci, Yalcın Tanık
Venue: Signal Processing (2007)

In this work, a novel method is proposed to optimize the array geometry for DOA estimation. The method is based on minimization of fine error variances with the constraint that the gross error probability is below a certain threshold. For this purpose, a metric function that reflects the gross and fine error characteristics of the array is proposed. Theoretical analyses show that the minimization of this metric function leads to small DOA estimation error variance and small gross error probability. Analyses have been carried out under the assumptions of planar array geometry, isotropic array elements and AWGN. The genetic algorithm is used as an optimization tool and performance simulation is performed by comparing the DOA estimation errors of optimized array to uniform circular arrays (UCAs). Computer simulations support the theoretical analyses and show that the method proposed leads to a significant improvement in array geometry in terms of DOA estimation performance. Finally, the method is applied to an aircraft model and results are presented.
Undergraduate research as a retention tool
Authors: R. W. Freeman
Venue: Proceedings of the 30th Annual Frontiers in Education - Volume 01 (2000)

The Minority Engineering Apprenticeship Program (MEAP) was designed with the goal of retaining underrepresented minority engineering students, with the ultimate goal of inspiring these students to pursue a graduate degree in engineering. The program matches students and faculty based on major, and/or interest. As part of the College of Engineering's Minority Engineering Program, MEAP is viewed as a vital tool for helping students. The paper discusses the goals of the program.
Speech enhancement using voice source models
Authors: A. Yasmin
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 02 (1999)

Autoregressive (AR) models have been shown to be effective models of the human vocal tract during voicing. However the most common model of speech for enhancement purposes, AR process excited by white noise, fails to capture the periodic nature of voiced speech. Speech synthesis researchers have long recognized this problem and have developed a variety of sophisticated excitation models, however these models have yet to make an impact in speech enhancement. We have chosen one of the most common excitation models, the four-parameter LF model of Fant, Liljencrants and Lin (1985), and applied it to the enhancement of individual voiced phonemes. Comparing the performance of the conventional white-noise-driven AR, an impulsive-driven AR, and AR based on the LF model shows that the LF model yields a substantial improvement, on the order of 1.3 dB.