ppxscal/embedding_network huggingface dataset:
Analysis and VLSI Realization of a Blind Beamforming Algorithm
Authors: Fan Xu, Guichang Zhong, Alan N. Willson,  Jr.
Venue: Journal of VLSI Signal Processing Systems (2005)

We present the fixed-point analysis and VLSI realization of a maximum-power blind beamforming algorithm. This algorithm consists of the computation of a correlation matrix and its dominant eigenvector, and we propose that the latter be accomplished by the power method. After analyzing the numerical stability of the power method, we derive a division-free form of the algorithm. Based on a block-Toeplitz assumption, we design an FIR filter based system to realize both the correlation computation and the power method. Our ring processor, which is optimized to implement digital filters, is used as the core of the architecture. A special technique for dynamically switching filter inputs is shown to double the system throughput. VLSI design is discussed in detail and chip fabrication results are presented.
Review of "Artificial Intelligence Programming by Eugene Charniak, Christopher Riesback, and Drew McDermott" Lawrence Erlbaum Associates, Hillsdale, N.J.
Authors: Keith Price
Venue: Issue 72 (July 1980) (1980)

Here is a volume that offers concrete examples and exercise to illustrate a wide variety of recently developed techniques used in implementing modern Artificial Intelligence programs, and describes sophisticated LISP concepts and applied them to real AI problems.
Motion estimation for sequential medical images using a deformable model
Authors: Yew Kurabayashi, Seiichiro Kagei, Toshiyuki Gotoh, Tae Iwasawa
Venue: Systems and Computers in Japan (2005)

The gradient method, which is a conventional method of motion analysis, has the problem that artifacts appear near contours or edges with a large brightness gradient. Another method, which applies a deformable model to the deforming object, has the opposite problem, namely, that the accuracy of estimation is degraded in areas with small brightness gradients. In order to handle such problems, this paper proposes a new deformable model in which the motion of each part of a pliantly deforming object is estimated. In this method, a term based on local optimization is added to the interframe energy following the conventional definition, so that the shape and the motion minimizing the energy are simultaneously determined. More accurate estimation of the motion is realized owing to the multiplicative effect of the term based on the brightness gradient composing the interframe external energy, and the term based on local optimization. The proposed method is applied to time-series chest MR images and its effectiveness is verified. &copy; 2005 Wiley Periodicals, Inc. Syst Comp Jpn, 36(4): 27&ndash;36, 2005; Published online in Wiley InterScience (). DOI 10.1002&sol;scj.20146
Control Abstractions for Local Search
Authors: Pascal Hentenryck, Laurent Michel
Venue: Constraints (2005)

Comet is an object-oriented language supporting a constraint-based architecture for local search through declarative and search components. This paper proposes three novel and lightweight control abstractions for the search component, significantly enhancing the compositionality, modularity, and reuse of Comet programs. These abstractions, which includes events and checkpoints, rely on first-class closures as the enabling technology. They are especially useful for expressing, in a modular way, heuristic and meta-heuristics, unions of heterogeneous neighborhoods, and sequential composition of neighborhoods.
Fast Scalable File Distribution Over Infiniband
Authors: Dennis Dalessandro, Pete Wyckoff
Venue: Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 18 - Volume 19 (2005)

One of the first steps in starting a program on a cluster is to get the executable, which generally resides on some network file server. This creates not only contention on the network, but causes unnecessary strain on the network file system as well, which is busy serving other requests at the same time. This approach is certainly not scalable as clusters grow larger. We present a new approach that uses a high speed interconnect, novel network features, and a scalable design. We provide a fast, efficient, and scalable solution to the distribution of executable files on production parallel machines.
Mathematical Modeling and Experimental Identification of an Unmanned Helicopter Robot with Flybar Dynamics
Authors: S. K. Kim, D. M. Tilbury
Venue: Journal of Robotic Systems (2004)

This paper presents a mathematical model for a model-scale unmanned helicopter robot, with emphasis on the dynamics of the flybar. The interaction between the flybar and the main rotor blade is explained in detail; it is shown how the flapping of the flybar increases the stability of the helicopter robot as well as assists in its actuation. The model helicopter has a fast time-domain response due to its small size, and is inherently unstable. Therefore, most commercially available model helicopters use the flybar to augment stability and make it easier for a pilot to fly. Working from first principles and basic aerodynamics, the equations of motion for full six degree-of-freedom with flybar-degree of freedom are derived. System identification experiments and results are presented to verify the mathematical model structure and to identify model parameters such as inertias and aerodynamic constants. &copy; 2004 Wiley Periodicals, Inc.
Solaris Zones: Operating System Support for Consolidating Commercial Workloads
Authors: Daniel Price, Andrew Tucker
Venue: Proceedings of the 18th USENIX conference on System administration (2004)

Server consolidation, which allows multiple workloads to run on the same system, has become increasingly important as a way to improve the utilization of computing resources and reduce costs. Consolidation is common in mainframe environments, where technology to support running multiple workloads and even multiple operating systems on the same hardware has been evolving since the late 1960's. This technology is now becoming an important differentiator in the UNIX and Linux server market as well, both at the low end (virtual web hosting) and high end (traditional data center server consolidation).This paper introduces Solaris Zones (zones), a fully realized solution for server consolidation projects in a commercial UNIX operating system. By creating virtualized application execution environments within a single instance of the operating system, the facility strikes a unique balance between competing requirements. On the one hand, a system with multiple workloads needs to run those workloads in isolation, to ensure that applications can neither observe data from other applications nor affect their operation. It must also prevent applications from over-consuming system resources. On the other hand, the system as a whole has to be flexible, manageable, and observable, in order to reduce administrative costs and increase efficiency. By focusing on the support of multiple application environments rather than multiple operating system instances, zones meets isolation requirements without sacrificing manageability.
A Hybrid Symbolic-Numerical Simulation Method for Some Typical Boundary Control Problems
Authors: Jinsong Liang, Yangquan Chen, Bao-Zhu Guo
Venue: Simulation (2004)

Although boundary control of linear partial differential equations has become an important research area, there is still no readily available simulation tool to help researchers analyze and design. In this article, a simulation method for some typical boundary control problems, combining symbolic math and a numerical method, is presented with application examples. In the intermediate steps of the simulation, an important by-product, transfer function of the controlled system, can be obtained, which makes the design of more advanced boundary controllers possible and much easier.
A Hardware-Accelerated System for Real-Time Worm Detection
Authors: Bharath Madhusudan, John W. Lockwood
Venue: IEEE Micro (2005)

Systems that secure networks against malicious code will be a part of critical Internet infrastructure in the future. This article presents the design and implementation of a system that automatically detects new worms in real time by monitoring all traffic on a network. The system uses field-programmable gate arrays (FPGAs) to scan packets for patterns of similar content and can automatically detect the outbreak of a new Internet worm. It instantly reports frequently occurring strings in packet payloads as likely signatures of the malicious software (malware).
Pocket PhotoMesa: a Zoomable image browser for PDAs
Authors: Amir Khella, Benjamin B. Bederson
Venue: Proceedings of the 3rd international conference on Mobile and ubiquitous multimedia (2004)

Small devices such as Palm and Pocket PC have gained wide popularity with the advance and affordability of mobile technologies. Image browsers are among popular software applications on small devices. The limitations introduced by these devices such as screen resolution, processing power and storage impose a challenge for multimedia applications designed for larger displays to adapt to small screens. For an image browser, layout of images and navigation between them are critical factors of the users' experience.Motivated by these challenges, we developed Pocket PhotoMesa: an image browser for the pocket pc that employs quantum strip Treemaps for laying out images and Zoomable User Interfaces for navigation. In this paper, we discuss the development of Pocket PhotoMesa and we describe a usability study comparing the performance and users' experience using Pocket PhotoMesa and ACDSee image browser (a current commercial offering) for the Pocket PC.
Introducing computer security concepts in introductory computer science courses
Authors: W. Dwayne Collins
Venue: Journal of Computing Sciences in Colleges (2005)

Computer security has become an extremely important and well-acknowledged topic in computing, and many of today's students enter college with an awareness and appreciation of computer and network security. However, many of these students do not know specific details of how different security measures are implemented, and hence do not understand the strengths and weaknesses of each type of tool available to them.
Large-signal two-terminal device model for nanoelectronic circuit analysis
Authors: Garrett S. Rose, Matthew M. Ziegler, Mircea R. Stan
Venue: IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2004)

As the nanoelectronics field reaches the maturity needed for circuit-level integration, modeling approaches are needed that can capture nonclassical behaviors in a compact manner. This paper proposes a universal device model (UDM) for two-terminal devices that addresses the challenge of correctly balancing accuracy, complexity, and flexibility. The UDM qualitatively captures fundamental classical and quantum phenomena and enables nanoelectronic circuit design and simulation. We discuss the motivation behind this modeling approach as well as the underlying details of the model. Furthermore, we present a circuit example of the model in action.
Storing and querying XML data using denormalized relational databases
Authors: Andrey Balmin, Yannis Papakonstantinou
Venue: The VLDB Journal &mdash; The International Journal on Very Large Data Bases (2005)

XML database systems emerge as a result of the acceptance of the XML data model. Recent works have followed the promising approach of building XML database management systems on underlying RDBMS&#x2019;s. Achieving query processing performance reduces to two questions: (i) How should the XML data be decomposed into data that are stored in the RDBMS? (ii) How should the XML query be translated into an efficient plan that sends one or more SQL queries to the underlying RDBMS and combines the data into the XML result? We provide a formal framework for XML Schema-driven decompositions, which encompasses the decompositions proposed in prior work and extends them with decompositions that employ denormalized tables and binary-coded XML fragments. We provide corresponding query processing algorithms that translate the XML query conditions into conditions on the relational tables and assemble the decomposed data into the XML query result. Our key performance focus is the response time for delivering the first results of a query. The most effective of the described decompositions have been implemented in XCacheDB, an XML DBMS built on top of a commercial RDBMS, which serves as our experimental basis. We present experiments and analysis that point to a class of decompositions, called inlined decompositions, that improve query performance for full results and first results, without significant increase in the size of the database.
Singularity analysis, Hadamard products, and tree recurrences
Authors: James Allen Fill, Philippe Flajolet, Nevin Kapur
Venue: Journal of Computational and Applied Mathematics (2005)

We present a toolbox for extracting asymptotic information on the coefficients of combinatorial generating functions. This toolbox notably includes a treatment of the effect of Hadamard products on singularities in the context of the complex Tauberian technique known as singularity analysis. As a consequence, it becomes possible to unify the analysis of a number of divide-and-conquer algorithms, or equivalently random tree models, including several classical methods for sorting, searching, and dynamically managing equivalence relations.
A Cycle-Accurate ISS for a Dynamically Reconfigurable Processor Architecture
Authors: C. Mucci, F. Campi, A. Deledda, A. Fazzi, M. Ferri, M. Bocchi
Venue: Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 3 - Volume 04 (2005)

Reconfigurable processor architectures (RAs) have been proving as an effective way to couple significant performance improvements with severe energy constraints, such as those imposed by modern portable real-time applications. XiRisc is a VLIW RISC processor architecture featuring a reconfigurable dataflow-oriented functional unit, the so-called PiCoGA, allowing run-time dynamic extension of the instruction set. In this paper, we propose a LISA-based Instruction Set Simulator (ISS) for the reconfigurable processor, retargetable through a dynamically linked library that emulates instruction set extension. The ISS comprises a SystemC system-level model with embedded bus architecture and memory hierarchy (on-chip and off-chip) to provide a reconfigurable system-on-chip performance evaluator.
SAT-MOD: moderate itemset fittest for text classification
Authors: Jianlin Feng, Huijun Liu, Jing Zou
Venue: Special interest tracks and posters of the 14th international conference on World Wide Web (2005)

In this paper, we present a novel association-based method called SAT-MOD for text classification. SAT-MOD views a sentence rather than a document as a transaction, and uses a novel heuristic called MODFIT to select the most significant itemsets for constructing a category classifier. The effectiveness of SAT-MOD has been demonstrated comparable to well-known alternatives such as LinearSVM and much better than current document-level words association based methods on the Reuters corpus.
A Generalized Method for One-Way Coupling of CTH and Lagrangian Finite Element Codes with Complex Structures using the Interdisciplinary Computing Environment
Authors: Jerry A. Clarke, Raju R. Namburu
Venue: Proceedings of the 2004 Users Group Conference (2004)

In the past, CTH (a finite volume, shock physics code) has been coupled with different Lagrangian finite element codes like Pronto3D and LS-Dyna, to solve blast-structure interaction problems. In many situations, a two-way coupling of these codes is unnecessary. Specifically, when the deformation of the structure has little impact on the developing blast, a one-way coupling is sufficient. Unfortunately, when the structure is complex, and particularly when the model contains shell elements, accurately generating the load curves for the finite element input can be difficult. A generalized method for generating the necessary load curves for the finite element inputfrom CTH has been developed at ARL by using the Interdisciplinary Computing Environment (ICE). While others have successfully coupled CTH with finite element codes in the past, this method accurately represents the finite elements model's geometry on the Eulerian mesh and can be applied to any code with a pressure vs. time element loading capacity. An accurate representation of the finite element model is inserted into the CTH mesh even if the model contains shell elements. Using this method, an example problem of a land mine interactingwith a complex vehicle structure is presented.
Hierarchical Part-Based Visual Object Categorization
Authors: Guillaume Bouchard, Bill Triggs
Venue: Proceedings of the 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05) - Volume 1 - Volume 01 (2005)

We propose a generative model that codes the geometry and appearance of generic visual object categories as a loose hierarchy of parts, with probabilistic spatial relations linking parts to subparts, soft assignment of subparts to parts, and scale invariant keypoint based local features at the lowest level of the hierarchy. The method is designed to efficiently handle categories containing hundreds of redundant local features, such as those returned by current key-point detectors. This robustness allows it to outperform constellation style models, despite their stronger spatial models. The model is initialized by robust bottom-up voting over location-scale pyramids, and optimized byExpectation-Maximization. Training is rapid, and objects do not need to be marked in the training images. Experiments on several popular datasets show the methodýs ability to capture complex natural object classes.
Tracking of Unusual Events in Wireless Sensor Networks Based on Artificial Neural-Networks Algorithms
Authors: Andrea Kulakov, Danco Davcev
Venue: Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II - Volume 02 (2005)

Some of the algorithms developed within the artificial neural-networks tradition can be easily adopted to wireless sensor network platforms and will meet the requirements for sensor networks like: simple parallel distributed computation, distributed storage and data robustness. As a result of the dimensionality reduction obtained simply from the outputs of the neural-networks clustering algorithms, lower communication costs and energy savings can also be obtained. In this paper we will present two possible implementations of the ART and FuzzyART neural-networks algorithms, which are unsupervised learning methods for categorization of the sensory inputs. They are tested on a data obtained from a set of several motes, equipped with several sensors each. Results from simulations of purposefully faulty sensors show the data robustness of these architectures. The proposed neural-networks classifiers have distributed short and long-term memory of the sensory inputs and can function as security alert when unusual sensor inputs are detected.
Maternally and paternally silenced imprinted genes differ in their intron content: Research Papers
Authors: Marie E. Fahey, Walter Mills, Desmond G. Higgins, Tom Moore
Venue: Comparative and Functional Genomics (2004)

Imprinted genes exhibit silencing of one of the parental alleles during embryonic development. In a previous study imprinted genes were found to have reduced intron content relative to a non-imprinted control set (Hurst et al., [Ref:12 (1996)]. However, due to the small sample size, it was not possible to analyse the source of this effect. Here, we re-investigate this observation using larger datasets of imprinted and control (non-imprinted) genes that allow us to consider mouse and human, and maternally and paternally silenced, imprinted genes separately. We find that, in the human and mouse, there is reduced intron content in the maternally silenced imprinted genes relative to a non-imprinted control set. Among imprinted genes, a strong bias is also observed in the distribution of intronless genes, which are found exclusively in the maternally silenced dataset. The paternally silenced dataset in the human is not different to the control set; however, the mouse paternally silenced dataset has more introns than the control group. A direct comparison of mouse maternally and paternally silenced imprinted gene datasets shows that they differ significantly with respect to a variety of intron-related parameters. We discuss a variety of possible explanations for our observations. Copyright &copy; 2005 John Wiley & Sons, Ltd.
Middleware support for implementing context-aware multimodal user interfaces
Authors: Pertti Repo, Jukka Riekki
Venue: Proceedings of the 3rd international conference on Mobile and ubiquitous multimedia (2004)

In context-aware pervasive networking (Capnet) environments the user interface of a service application has to be adapted to whatever type of a device the user is using, taking into account the situation at hand, i.e. the user's current context, as well as user's personal preferences. In addition, new and more natural interaction styles have to be provided for the user. When designing and implementing user interfaces, or generating them automatically at runtime, some a priori knowledge of the capabilities of user's device and her personal preferences are required. Furthermore, runtime adaptation calls for mechanisms for recognizing context and delivering it. This paper presents the support that could be provided in middleware level for implementing context-aware multimodal user interfaces and the Capnet middleware user interface architecture model for providing that support. Adaptation algorithms are not discussed. The Capnet middleware backbone provides support for context-awareness via context recognition and automatic delivery of context data through a notification mechanism. For multimodal input and output third party components are required. The proposed architecture model is partly implemented and tested with software prototypes.
Simulation of drop/impact reliability for electronic devices
Authors: Y. Y. Wang, C. Lu, J. Li, X. M. Tan, Y. C. Tse
Venue: Finite Elements in Analysis and Design (2005)

The drop test simulation had been adopted by industries for years, it is still a challenging problem to replace the physical test, which requires the drop test simulation to supply reliable results and sufficient information. Another challenging requirement is to detect the failure inside small components during the product level drop test simulation. In this paper, the finite element method (FEM) is used to simulate drop test numerically, while the attention is paid to the methodology for analyzing the reliability of electronic devices under drop impact. Modeling and simulation method for such kind of complex structure is discussed. Some important issues, such as control of the simulation and material model, are addressed. Numerical examples are presented to illustrate the application of FEM on virtual product development. Effective modeling and simulation method are concluded from the numerical example and authors' experience accumulated from serial industry projects on drop impact simulations.