ppxscal/embedding_network huggingface dataset:
Structural alignment based kernels for protein structure classification
Authors: Sourangshu Bhattacharya, Chiranjib Bhattacharyya, Nagasuma Chandra
Venue: Proceedings of the 24th international conference on Machine learning (2007)

Structural alignments are the most widely used tools for comparing proteins with low sequence similarity. The main contribution of this paper is to derive various kernels on proteins from structural alignments, which do not use sequence information. Central to the kernels is a novel alignment algorithm which matches substructures of fixed size using spectral graph matching techniques. We derive positive semi-definite kernels which capture the notion of similarity between substructures. Using these as base more sophisticated kernels on protein structures are proposed. To empirically evaluate the kernels we used a 40% sequence non-redundant structures from 15 different SCOP superfamilies. The kernels when used with SVMs show competitive performance with CE, a state of the art structure comparison program.
Efficient Computation of Buffer Capacities for Cyclo-Static Real-Time Systems with Back-Pressure
Authors: Maarten H. Wiggers, Marco J. G. Bekooij, Pierre G. Jansen, Gerard J. M. Smit
Venue: Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium (2007)

This paper describes a conservative approximation algorithm that derives close to minimal buffer capacities for an application described as a cyclo-static dataflow graph. The resulting buffer capacities satisfy constraints on the maximum buffer capacities and end-to-end throughput and latency constraints. Furthermore we show that the effects of run-time arbitration can be included in the response times of dataflow actors. We show that modelling an MP3 playback application as a cyclo-static dataflow graph instead of a multi-rate dataflow graph results in buffer capacities that are reduced up to 39%. Furthermore, the algorithm is applied to a real-life car-radio application, in which two independent streams are processed.
Lightweight middleware for seamless HW-SW interoperability, with application to wireless sensor networks
Authors: F. J. Villanueva, D. Villa, F. Moya, J. Barba, F. Rincón, J. C. López
Venue: Proceedings of the conference on Design, automation and test in Europe (2007)

HW-SW interoperability by means of standard distributed object middlewares has been proved to be useful in the design of new and challenging applications for ubiquitous computing and ambient intelligence environments. Wireless sensor networks are considered to be essential for the proper deployment of these applications, but they impose, new constraints in the design of the corresponding communication infrastructure: low-cost middleware implementations that can fit into tiny wireless devices are needed. In this paper, a novel approach for the development of pervasive environments based on an ultra low-cost implementation of standard distributed object middlewares (such as CORBA or ICE) is presented. A fully functional prototype supporting full interoperability with ZeroC ICE is described in detail. Available implementations range from the smallest microcontrollers in the market, to the tiniest embedded Java virtual machines, and even a low-end FPGA.
Locomotion control of a hydraulically actuated hexapod robot by robust adaptive fuzzy control and dead-zone compensation
Authors: Ranjit Kumar Barai, Kenzo Nonami
Venue: Robotica (2007)

This investigation presents locomotion control of a hydraulically actuated six-legged humanitarian demining robot by robust adaptive fuzzy control in conjunction with the dead zone compensation technique within independent joint control framework. For proper locomotion of the demining robot, accurate tracking of the desired joint trajectory is very important. However, high degree of nonlinearity, the uncertainties due to changing hydraulic properties, and delay due to the flow of oil and dead zone of the proportional electromagnetic control valve results into an inaccurate plant model for the hydraulically actuated robotic joints. Consequently, model-based classical control techniques result into a large tracking error. Therefore, adaptive fuzzy control technique, being a model independent control paradigm for complex and uncertain systems, is a good choice for such systems. In this work, a hydraulic dead zone compensated robust adaptive fuzzy control law has been proposed for locomotion control of hydraulically actuated hexapod demining robot. The experimental results exhibit a fairly accurate trajectory tracking of the leg joints and, consequently, very stable locomotion of the walking robot.
Using multimedia and "active learning" techniques to "energize" an introductory engineering thermodynamics class
Authors: A. R. Byerley
Venue: Proceedings of the Frontiers in Education Conference, 2001. on 31st Annual - Volume 01 (2001)

This paper describes an effort to "energize" an introductory engineering thermodynamics class that is a part of the core curriculum that all cadets at the USAF Academy must take before they graduate. The fact that humanities majors as well as engineering majors must take this course presents several interesting challenges for the instructor. Making the material "come alive" and seem "relevant" is always important but particularly so for the humanities majors who often do not wish to be enrolled in the course. This need to "humanize" the subject material must be balanced against the needs of the engineering majors who must have sufficient rigor to be successful in follow-on thermal science courses. The efforts made to satisfy these competing needs and to improve the learning experience fell into two categories: (1) laptop-based multimedia; and (2) "active learning" techniques. The laptop-based multimedia elements included photos, videos and news that in some way helped to introduce or illustrate important lesson topics. This material was gathered from a variety of sources including the web, magazines, newspapers, former students and fellow instructors. The "active learning" techniques included 'think-pair-share', pseudo-TV game show sessions and group boardwork. The effectiveness of these efforts was assessed using both formal and informal student feedback mechanisms, test scores, and instructor observations. The assessment results from this semester were compared to the author's results from an earlier semester. Improvements in both student performance and in student satisfaction were achieved. Furthermore, from the author's perspective, the course was more satisfying to teach. The experience described in this paper may be helpful to other instructors who seek straightforward techniques for boosting student performance and satisfaction. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Improvements in recognition of conversational telephone speech
Authors: B. Peskin
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 01 (1999)

This paper describes recent changes in Dragon's speech recognition system which have markedly improved performance on conversational telephone speech. Key changes include: the conversion to modified perceptual linear prediction (PLP)-based cepstra from mel-cepstra; the replacement of our usual IMELDA transformation by a new transform using "semi-tied covariance"; a new multi-pass adaptation protocol; probabilities on alternate pronunciations in the lexicon; the addition of word-boundary tags in our acoustic models and the redistribution of model parameters to build fewer output distributions but with more mixture components per model.
Structure of Simulation Systems for Structural-Dynamic Systems
Authors: Felix Breitenecker, Nikolas Popper
Venue: Proceedings of the First Asia International Conference on Modelling & Simulation (2007)

This contribution presents developments and trend for the structure of new simulation systems, or for extensions of existing simulation systems, in order to handle structuraldynamics systems in an adequate manner. The paper first introduces the CSSL standard for continuous system simulation and its consequences. In the following, discrete elements in continuous modelling and simulation; in more detail event structures are discussed and state events are classified. Thereby, the class of structural-dynamic systems is introduced: State events, changing the dimension of the state space, generate structural-dynamic systems. The paper continues with recent modelling standards in continuous modelling and simulation. There, Modelica and VHDL-AMS are leaving the classic input/output -- related modelling methods and introduce non-causal modelling on a high level, including implicit models and state events associated with state events. Both new standards, extending and replacing the CSSL standard for the model frame, emphasise on continuous and hybrid modelling; but also especially Modelica allows defining pure discrete model constructs based on events, state charts, and Petri nets. The main chapter concentrates on new proposals for extending model frame and experimental frame of simulation systems, mainly in order to handle structural-dynamic systems properly. There, features of two competing "philosophies' are sketched, maximal state space versus hybrid decomposition. The paper concludes with a concept for generalisation of the experimental frame, leaving the limits of pure time domain analysis.
Optimal delivery of sponsored search advertisements subject to budget constraints
Authors: Zoe Abrams, Ofer Mendelevitch, John Tomlin
Venue: Proceedings of the 8th ACM conference on Electronic commerce (2007)

We discuss an auction framework in which sponsored search advertisements are delivered in response to queries. In practice, the presence of bidder budgets can have a significant impact on the ad delivery process. We propose an approach based on linear programming which takes bidder budgets into account, and uses them in conjunction with forecasting of query frequencies, and pricing and ranking schemes, to optimize ad delivery. Simulations show significant improvements in revenue and efficiency.
Fast and memory efficient JBIG2 encoder
Authors: Yan Ye
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 03 (2001)

We propose a fast and memory efficient encoding strategy for text image compression with the JBIG2 standard. The encoder splits up the input image into horizontal stripes and encodes one stripe at a time. Construction of the current dictionary is based on updating dictionaries from previous stripes. We describe separate updating processes for the singleton exclusion dictionary and for the modified-class dictionary. Experiments show that, for both dictionaries, splitting the page into two stripes can save 30% of encoding time and 40% of physical memory with a small loss of about 1.5% in compression. Further gains can be obtained by using more stripes but with diminishing returns. The same updating processes are also applied to compressing multi-page document images and shown to improve compression by 8-10% over coding a multi-page document as a collection of single-page documents.
Introduction to the Business-to-Business Electronic Commerce Minitrack
Authors: Fu-ren Lin, Judith Gebauer, Michael J. P. Shaw
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

In light of the continuing importance of B2B e-commerce with emerging technologies, such as RFID, Web services, peer-to-peer networks, and innovative business models, such as virtual value net, e-hub, e-procurement, e-marketplace, etc. the B2B e-commerce minitrack aims to bring researchers in investigating the interaction between emerging technologies and business models. In HICSS40, we have selected three papers through the blind reviewing process to present in the minitrack section.
Combination of Zero-Forcing Nulling and Fuzzy Parallel Multistage Detection for MIMO Systems
Authors: Tseng Shu-Ming, Yu Hung-Chieh, Huang Yao-Min
Venue: Proceedings of the Third International Conference on Networking and Services (2007)

We propose zero-forcing (ZF) nulling followed by fuzzy parallel multistage detection for multi-input multi-output system. The parallel detector consists of two or more stages, the first stage give estimate of the substreams and the second stage refines this estimate. The output can also be further iterated to improve the performance. We use ZF for the first stage and then the adaptive partial weighting for parallel detector is evaluated using the fuzzy logic. The simulation results show the uncoded error probability of our proposed method is better than that of ZF followed by improved PIC with hyperbolic tangent function.
Texture Classification Using VQ with Feature Extraction based on Transforms Motivated by the Human Visual System
Authors: Antonella Di Lillo, James A. Storer, Giovanni Motta
Venue: Proceedings of the 2007 Data Compression Conference (2007)

Texture identification can be a key component in CBIR (Content Based Image Recognition) systems. It can also be a tool for separation of video object planes in MPEG4 video compression systems. Although formal definitions of texture vary in the literature, it is commonly accepted that textures are naturally extracted and recognized as such by the human visual system, and that this analysis is performed in the frequency domain.
A price trajectory algorithm for solving iterative auction problems
Authors: Peter R. Wurman
Venue:  (2006)

Many types of auctions are discussed in the literature such as single item auctions, sequential auctions, and combinatorial auctions. Proxy bidding has proven useful in solving iterative auction problems in many real-world auction formats. In this dissertation, I propose a new type of iterative auction called the Simple Combinatorial Proxy Auction. A popular method for solving the iterative proxy auction problems is simulating the incremental bidding decisions of the agents. However, this approach has some disadvantages. In this dissertation, I present a new approach called the Price Trajectory Algorithm to solve iterative auction problems. This approach computes the agents' allocation of their attention across the bundles only at "inflection points"---the points at which agents change their behavior. The proposed algorithm tracks the behavior of agents and the competitive allocations of items in order to establish a connection between them. With the allocation of agents' attention, one can compute the slopes of price curves to get the bundle prices and speed up the computation by jumping from one inflection point to the next. The price trajectory algorithm can be applied to the Ascending Package Auction, the Ascending k-Bundle Auction, and the Simple Combinatorial Proxy Auction. The price trajectory algorithm has several advantages over other alternatives: (1) The price trajectory algorithm computes exact solutions. (2) The solutions are independent of the bid increment or tie-breaking rules. (3) The solutions are invariant to the magnitude of the bids. To ensure security, I present a cryptographic protocol for the price trajectory algorithm. The cryptographic protocol guarantees that only the auctioneer obtains the correct and necessary information from the agents.
Analysis of the Electrogastrogram Using Discrete Wavelet Transform and Statistical Methods to Detect Gastric Dysrhythmia
Authors: Mahmut Tokmakçi
Venue: Journal of Medical Systems (2007)

Electrogastrography (EGG) is a method of recording stomach electrical activity from cutaneous electrodes placed on the abdominal surface. Compared with other electrophysiological measurements, such as electrocardiography, the progress of the applicability of the EGG has been very slow. Unlike imaging or manometrical studies, stomach motility disorders are not diagnosed based only on abnormal EGG parameters. Limitations of EGG recording, processing, computation, acceptable normal parameters, technique and reading should be known to conduct subjective assessments when EGG is used to resolve stomach dysfunction. Therefore appropriate application of non-invasive EGG should go on providing more information and insight in understanding these limitations. And so the aim of this study were to contribute the evolution of the EGG to enter the clinical world as a routine check-up method and to develop new time-frequency analysis method for the detection of gastric dysrhythmia from the EGG.
GPU-Accelerated Shape Simplification for Mechanical-Based Applications
Authors: Jon Hjelmervik, Jean-Claude Leon
Venue: Proceedings of the IEEE International Conference on Shape Modeling and Applications 2007 (2007)

In this paper we present a GPU-based method for removing shape details of 3D models. 3D models used in Finite Element Analysis (FEA) are often either constructed for the purpose of manufacturing, or a result of 3D scanning. The models therefore contain shape details that are neither important for FEA nor compatible with the mechanical hypotheses. Vertex removal is a popular method for removing geometrical details where vertices are removed one by one, provided certain constraints are satisfied. The constraints can either be based purely on geometrical properties, or also on mechanical ones. The computations required in this process can be time consuming, especially if mechanical constraints are involved. The main idea behind our method is to perform the computations for all the vertices in parallel using graphics hardware, and then use the CPU to maintain the data structure representing the triangulation. As a result, simplification functions can stay interactive while incorporating complementary mechanically-based criteria in addition to the geometric ones involved in shape transformation.
Evaluating children's gaming experiences
Authors: Regina Bernhaupt, Daniel Schwaiger, Stefan Riegler, David Enthaler
Venue: Proceedings of the international conference on Advances in computer entertainment technology (2007)

We present a game for children, developed to inform children about global warming. The main focus is the evaluation of children's user experience with easy to use methods. We show how a field usability study including a questionnaire addressing user experience can be used, to enhance game design. The goal was to evaluate whether the game is fun or not, and what kind of improvements would increase the positive user experience of children.
Evaluation of Data Distribution Patterns in Distributed-Memory Machines
Authors: Edgar T. Kalns, Hong Xu, Lionel M. Ni
Venue: Proceedings of the 1993 International Conference on Parallel Processing - Volume 02 (1993)

Determining an appropriate data distribution among different memories is critical to the performance of data-parallel programs on distributedmemory machines. By analyzing the computational load of data arrays and the communication cornplexity of various data movement operations in a program, this paper suggests a first-order cost model for determining a small set of appropriate data distribution patterns among many possible choices. A new data distribution specification, name! y CYBLOCK, is proposed to enhance the expressiveness of data distribution specifications being proposed in High Performance Fortran. Cost analysis of two case studies: a linear system solver and a Purdue-set benchmark loop, are used to illustrate the proposed evaluation method. The model correctly predicts the relative performance of the case studies when implemented with various regular data distributions on an nCUBE- 2 multicomputer.
Recursive single frequency estimation
Authors: J. D. Klein
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 05 (2001)

A common problem in communications is the estimation of the frequency of a single complex sinusoid in additive noise. Since the wireless environment is often characterized by poor SNR, it is of interest to find methods of frequency estimation that work well in low SNR environments. A new divide-and-conquer method for estimating the frequency of a single complex sinusoid in additive uncorrelated noise is proposed. Its computational complexity is comparable to previous fast methods (roughly 2N complex multiplies and log2(N) arctangents for N a power of 2). However, it nearly achieves the Cramer-Rao bound for a wider range of input frequency and signal-to-noise-ratio (SNR) values. Simulations are presented to demonstrate its performance.
Detection of extra solar planets using parametric modeling
Authors: A. Ferrari
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 03 (1999)

We present an algorithm for the detection of extra-solar planets by occultation on the satellite COROT. Under a high flux assumption, the signal is modeled as an autoregressive process having equal mean and variance. A transit of a planet in front of a star will produce an abrupt jump in the mean/variance of the process. The Neyman-Pearson detector is derived when the abrupt change parameters are known. The theoretical distribution of the test statistic is obtained allowing the computation of the ROC curves. The generalized likelihood ratio detector is then studied for the practical case were the change parameters are unknown. This detector requires the maximum likelihood estimates of the parameters. ROC curves are then determined using computer simulations.
Representation of Sets of Lattice Points
Authors: Raymond Hemmecke, Robert Weismantel
Venue: SIAM Journal on Optimization (2007)

Original algorithmic approaches in integer programming rely on the availability of different representations for all the lattice points in the feasible region. We present three results that are applicable to fairly general sets of lattice points and characterize a nonnegative integer linear representation.
A parametric density model for blind source separation
Authors: Mingjun Zhong, Junfu Du
Venue: Neural Processing Letters (2007)

In this paper, a parametric mixture density model is employed to be the source prior in blind source separation (BSS). A strict lower bound on the source prior is derived by using a variational method, which naturally enables the intractable posterior to be represented as a gaussian form. An expectation-maximization (EM) algorithm in closed form is therefore derived for estimating the mixing matrix and inferring the sources. Simulation results show that the proposed variational expectation-maximization algorithm can perform blind separation of not only speech source of more sources than mixtures, but also binary source of more sources than mixtures.