ppxscal/embedding_network huggingface dataset:
Distributed Adaptation in Multi-robot Search Using Particle Swarm Optimization
Authors: Jim Pugh, Alcherio Martinoli
Venue: Proceedings of the 10th international conference on Simulation of Adaptive Behavior: From Animals to Animats (2008)

We present an adaptive strategy for a group of robots engaged in the localization of multiple targets. The robotic search algorithm is inspired by chemotaxis behavior in bacteria, and the algorithmic parameters are updated using a distributed implementation of the Particle Swarm Optimization technique. We explore the efficacy of the adaptation, the impact of using local fitness measurements to improve global fitness, and the effect of different particle neighborhood sizes on performance. The robustness of the approach in non-static environments is tested in a time-varying scenario.
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Authors: Jan Smans, Bart Jacobs, Frank Piessens
Venue: Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems (2008)

Reasoning about object-oriented programs is hard, due to aliasing, dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is even harder, since in general interference by other threads has to be taken into account at each program point.In this paper, we propose an approach to the automatic verification of concurrent Java-like programs. The cornerstone of the approach is a programming model, a set of rules, which limits thread inference to synchronization points such that one can reason sequentially about most code. In particular, programs conforming to the programming model are guaranteed to be data race free. Compared to previous incarnations of the programming model, our approach is more flexible in describing the set of memory locations protected by an object's lock. In addition, we combine the model with an approach for data abstraction and framing based on dynamic frames. To the best of our knowledge, this is the first paper combining dynamic frames and concurrency.We implemented the approach in a tool, called VeriCool, and used it to verify several small concurrent programs.
Bio2RDF: A Semantic Web Atlas of Post Genomic Knowledge about Human and Mouse
Authors: François Belleau, Nicole Tourigny, Benjamin Good, Jean Morissette
Venue: Proceedings of the 5th international workshop on Data Integration in the Life Sciences (2008)

The Bio2RDF project uses a data integration approach based on semantic web rules to answer a broad question: What is known about the mouse and human genomes? Using its rdfizing services, a semantic mashup of 65 million triples was built from 30 public bioinformatics data providers: GO, NCBI, UniProt, KEGG, PDB and many others. The average link-rank (ALR) of a node is 4.7 which means that a usual topic is connected to 4.7 other topics by direct or reverse links within the warehouse. A knowledge map of the graph and descriptive statistics about its content are presented. A downloadable version of the Bio2RDF Atlas graph in N3 format is available at http://bio2rdf.org/download.
High-radix crossbar switches enabled by proximity communication
Authors: Hans Eberle, Pedro J. Garcia, José Flich, José Duato, Robert Drost, Nils Gura, David Hopkins, Wladek Olesinski
Venue: Proceedings of the 2008 ACM/IEEE conference on Supercomputing (2008)

We describe a novel way to implement high-radix crossbar switches. Our work is enabled by a new chip interconnect technology called Proximity Communication (PxC) that offers unparalleled chip IO density. First, we show how a crossbar architecture is topologically mapped onto a PxC-enabled multi-chip module (MCM). Then, we describe a first prototype implementation of a small-scale switch based on a PxC MCM. Finally, we present a performance analysis of two large-scale switch configurations with 288 ports and 1,728 ports, respectively, contrasting a 1-stage PxC-enabled switch and a multi-stage switch using conventional technology. Our simulation results show that (a) arbitration delays in a large 1-stage switch can be considerable, (b) multi-stage switches are extremely susceptible to saturation under non-uniform traffic, a problem that becomes worse for higher radices (1-stage switches, in contrast, are not affected by this problem).
Book Reviews
Authors: Martin R. Stytz
Venue: IEEE Security and Privacy (2004)

Book Review editor Martin R. Stytz reviews two books: one on wireless LAN security and the other by noted security expert Bruce Schneier.
Using Support Vector Machines to Predict the Performance of MLP Neural Networks
Authors: Ricardo B. C. Prudêncio, Silvio B. Guerra, Teresa B. Ludermir
Venue: Proceedings of the 2008 10th Brazilian Symposium on Neural Networks (2008)

In this work, we investigated the use of Support Vector Machines (SVM) to predict the performance of learning algorithms based on features of the learning problems, in a kind of Meta-Learning. Experiments were performed in a case study in which SVM regressors with different kernel functions were used to predict the performance of Multi-Layer Perceptron (MLP) networks. The results obtained on a set of 50 learning problems revealed that the SVMs obtained better results in predicting the MLP performance,when compared to benchmark algorithms applied in previous work.
Implementation of MANET routing protocols on OMNeT++
Authors: A. Ariza-Quintana, E. Casilari, A. Triviño Cabrera
Venue: Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops (2008)

This work describes how some of the most popular ad hoc routing protocols (DYMO, DSR, AODV) have been implemented for the INET library of OMNeT++ simulator tool. The developed modules have been programmed so they can be easily extensible to include future routing MANET protocols.
Extraction of the Mismatch Negativity on Two Paradigms Using Independent Component Analysis
Authors: Igor Kalyakin, Narciso González, Heikki Lyytinen
Venue: Proceedings of the 2008 21st IEEE International Symposium on Computer-Based Medical Systems (2008)

We compare the efficiency of the independent component analysis (ICA) decomposition procedure against the difference wave (DW) procedure in the analysis of the mismatch negativity (MMN). The comparison was made using two different experimental paradigms under a passive oddball protocol. The event related potential (ERP) recordings were decomposed into the MMN-like and non-MMN-like independent components (ICs) through the FastICA algorithm. Algorithmic reliability of estimated ICs was assessed by the clustering and visualizing tool from the ICASSO software package. The ICA decomposition procedure allowed to extract a cleaner MMN compared to the DW procedure. Mean improvement of the single trial signal-to-noise ratio (SNR) of the MMN was 9.71 and 6.28 dB in the two examined paradigms. Due to this improvement, the ICA decomposition procedure might allow to shorten the recording session of the MMN.
Manifoldness of Variability Modeling -- Considering the Potential for Further Integration
Authors: Mark-Oliver Reiser, Ramin Tavakoli Kolagari, Matthias Weber
Venue: Balancing Agility and Formalism in Software Engineering: Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers (2008)

Variability management has become an important concern in software and systems engineering. Especially in industrial settings a rigid management of variability has been identified as an important prerequisite for further optimization of the development process, e.g. for reuse of software sub-systems across vehicle models such as the Mercedes Benz A-Class and C-Class. In response to this growing practical interest, the scientific community has come up with numerous concepts and techniques for modeling variability. However, despite initial attempts to integrate or unify some of these manifold approaches, a clear understanding of how they precisely relate to each other is still not yet achieved.In the paper, various techniques for variability modeling are elaborated and a basic classification scheme is proposed. From this we derive their common capabilities, which arguably embody the essence of variability modeling in general. On this basis, a discussion is presented that concerns the potential and feasibility of integrating all these diverse techniques into a single, common technique for variability modeling.
Modeling and Synthesis of Computational Efficient Adaptive Neuro-Fuzzy Systems Based on Matlab
Authors: Guillermo Bosque, Javier Echanobe, Inés Campo, José M. Tarela
Venue: Proceedings of the 18th international conference on Artificial Neural Networks, Part II (2008)

New potential applications for neural networks and fuzzy systems are emerging in the context of ubiquitous computing and ambient intelligence. This new paradigm demands sensitive and adaptive embedded systems able to deal with a large number of stimulus in an efficient way. This paper presents a design methodology, based on a new Matlab tool, to develop computational-efficient neuro-fuzzy systems. To fulfil this objective, we have introduced a particular class of adaptive neuro-fuzzy inference systems (ANFIS) with piecewise multilinear (PWM) behaviour. Results obtained show that the PWM-ANFIS model generates computational-efficient implementations without loss of approximation capabilities or learning performance. The tool has been used to develop both software and hardware approaches as well as special architectures for hybrid hardware/software embedded systems.
Generalizing homotopy analysis method to solve Lotka-Volterra equation
Authors: L. Zou, Z. Zong, G. H. Dong
Venue: Computers Mathematics with Applications (2008)

In the paper, we generalized the homotopy analysis method to solve Lotka-Volterra equation. As a simple but typical example, it illustrates the validity and the great potential of the homotopy analysis method to solve differential difference equations. Comparisons are made between the results of the proposed method and exact solutions. The results reveal that the proposed method is valid for the Lotka-Volterra equation.
Reconfigurable mobile robot controller
Authors: Shashank S. Shriramwar
Venue: Proceedings of the 7th WSEAS International Conference on Electronics, Hardware, Wireless and Optical Communications (2008)

This paper explains a project based learning method where autonomous mini-robots are developed for research, education and entertainment purposes. In case of remote systems wireless sensors are developed in critical areas, which would collect data at specific time intervals, send the data to the central wireless node based on certain preferred information would make decisions to turn on or off a switch or control unit. Such information transfers hardly sums up to a few bytes and hence low data rates would suffice for such implementations. As a robot is a multidisciplinary platform, the interfacing issues involved are discussed in this paper. The paper is mainly focused on power supply, grounding and decoupling issues.
Polychromatic Colorings of n-Dimensional Guillotine-Partitions
Authors: Balázs Keszegh
Venue: Proceedings of the 14th annual international conference on Computing and Combinatorics (2008)

A strong hyperbox-respecting coloring of an n-dimensional hyperbox partition is a coloring of the corners of its hyperboxes with 2 n colors such that any hyperbox has all the colors appearing on its corners. A guillotine-partition is obtained by starting with a single axis-parallel hyperbox and recursively cutting a hyperbox of the partition into two hyperboxes by a hyperplane orthogonal to one of the n axes. We prove that there is a strong hyperbox-respecting coloring of any n-dimensional guillotine-partition. This theorem generalizes the result of Horev et al. [8] who proved the 2-dimensional case. This problem is a special case of the n-dimensional variant of polychromatic colorings. The proof gives an efficient coloring algorithm as well.
Multi-party, Multi-issue, Multi-strategy Negotiation for Multi-modal Virtual Agents
Authors: David Traum, Stacy C. Marsella, Jonathan Gratch, Jina Lee, Arno Hartholt
Venue: Proceedings of the 8th international conference on Intelligent Virtual Agents (2008)

We present a model of negotiation for virtual agents that extends previous work to be more human-like and applicable to a broader range of situations, including more than two negotiators with different goals, and negotiating over multiple options. The agents can dynamically change their negotiating strategies based on the current values of several parameters and factors that can be updated in the course of the negotiation. We have implemented this model and done preliminary evaluation within a prototype training system and a three-party negotiation with two virtual humans and one human.
Analysis of Vestibular-Ocular Reflex by Evolutionary Framework
Authors: Daniel Novák, Aleš Pilný, Pavel Kordík, Štefan Holiga, Petr Pošík, R. Černý, Richard Brzezny
Venue: Proceedings of the 18th international conference on Artificial Neural Networks, Part I (2008)

In this paper the problem of analysis of eye movements using sinusoidal head rotation test is presented. The goal of the method is to discard automatically the effect of the fast phase-saccades and consequently calculate the response of vestibular system in the form of phase shift and amplitude. The comparison of threshold detection and inductive models trained on saccades is carried out. After saccades detection we are left with discontinuous signal segments. This paper presents an approach to align them to form a smooth signal with the same frequencies that were originally present in the source signal. The approach is based on a direct estimation of the signal component parameters using the evolutionary strategy with covariance matrix adaptation. The performance of evolutionary approach is compared to least-square multimodal sinus fit. The experimental evaluation on real-world signals revealed that threshold saccades detection with combination of the evolutionary strategy is robust, scalable and reliable method.
Narrowband Jammer Excision in CDMA Using Particle Swarm Optimization
Authors: Imran Zaka, Habib Ur Rehman, Muhammad Naeem, Syed Ismail Shah, Jamil Ahmad
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues (2008)

We formulate the narrowband jammer excision as an optimization problem and present a new algorithm that is based on Particle Swarm Optimization (PSO). In this paper particle positions represent the filter weights and particle velocity represents the updating increment of the weighting matrix. Simulation and numerical results show that PSO based algorithm is a feasible approach for jammer excision. It approaches the optimum performance in fewer iterations with lower complexity. The performance improvement is shown by plotting the Bit Error Rate (BER) as a function of Signal to Interference and Noise Ratio (SINR).
Nonlinear Optimization of IEEE 802.11 Mesh Networks
Authors: Enrique Costa-Montenegro, Francisco J. González-Castaño, Pedro S. Rodríguez-Hernández, Juan C. Burguillo-Rial
Venue: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007 (2007)

In this paper, we propose a novel optimization model to plan IEEE 802.11 broadband access networks. From a formal point of view, it is a mixed integer non-linear optimization model that considers both co-channel and inter-channel interference in the same compact formulation. It may serve as a planning tool by itself or to provide a performance bound to validate simpler planning models such as those in [3].
Distributed CAD/CAM: Myth and Reality
Authors: Lewis Brentano
Venue: IEEE Computer Graphics and Applications (1984)

The technologies needed to implement distributed design and computer-integrated manufacturing already exist. Vendors must now develop the products required by this new level of automation. 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
Information Center on Accessible Information
Authors: Kerstin Matausch, Birgit Peböck
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

Different legal bases such as the Federal Discrimination Act on People with Disabilities and the eGovernment law show the importance of web accessibility and it is well known that technical accessibility is not compre-hensive without an adequate usability. Nevertheless, from the point of view regarding a comprehensive accessibility of information this will be too little especially with regard to people with learning disabilities. Little organizations currently are used to the realization of easy-to-read. This affects the production of print materials but also the offer of easy-to-read on the internet. Following this, it is meaningful to build up an information center giving support on these specific aspects.
Practical secrecy-preserving, verifiably correct and trustworthy auctions
Authors: David C. Parkes, Michael O. Rabin, Stuart M. Shieber, Christopher Thorpe
Venue: Electronic Commerce Research and Applications (2008)

We present a practical protocol based on homomorphic cryptography for conducting provably fair sealed-bid auctions. The system preserves the secrecy of the bids, even after the announcement of auction results, while also providing for public verifiability of the correctness and trustworthiness of the outcome. No party, including the auctioneer, receives any information about bids before the auction closes, and no bidder is able to change or repudiate any bid. The system is illustrated through application to first-price, uniform-price and second-price auctions, including multi-item auctions. Empirical results based on an analysis of a prototype demonstrate the practicality of our protocol for real-world applications.
ACME: An Automated Tool for Generating and Evaluating the Quality of VoIP Calls
Authors: Leandro C. Lustosa, André A. Souza, Paulo H. A. Rodrigues, Douglas G. Quinellato
Venue: Proceedings of the 11th IFIP/IEEE international conference on Management of Multimedia and Mobile Networks and Services: Management of Converged Multimedia Networks and Services (2008)

ACME, an automated tool for generating and evaluating the quality of VoIP calls, is presented. ACME examines the availability of bandwidth and processing capacity to determine the largest number of simultaneous calls that a node can operate in a given topology, besides supporting pre-programmed schedule of VoIP experiments. Demos of ACME usage as a capacity estimation tool and as an instrument for monitoring of an IP telephony production service show its effectiveness and versatility.
Symbol-level network coding for wireless mesh networks
Authors: Sachin Katti, Dina Katabi, Hari Balakrishnan, Muriel Medard
Venue: ACM SIGCOMM Computer Communication Review (2008)

This paper describes MIXIT, a system that improves the throughput of wireless mesh networks. MIXIT exploits a basic property of mesh networks: even when no node receives a packet correctly, any given bit is likely to be received by some node correctly. Instead of insisting on forwarding only correct packets, MIXIT routers use physical layer hints to make their best guess about which bits in a corrupted packet are likely to be correct and forward them to the destination. Even though this approach inevitably lets erroneous bits through, we find that it can achieve high throughput without compromising end-to-end reliability. The core component of MIXIT is a novel network code that operates on small groups of bits, called symbols. It allows the nodes to opportunistically route groups of bits to their destination with low overhead. MIXIT's network code also incorporates an end-to-end error correction component that the destination uses to correct any errors that might seep through. We have implemented MIXIT on a software radio platform running the Zigbee radio protocol. Our experiments on a 25-node indoor testbed show that MIXIT has a throughput gain of 2.8x over MORE, a state-of-the-art opportunistic routing scheme, and about 3.9x over traditional routing using the ETX metric.
A Nonlinear Hierarchical Multiple Models Neural Network Decoupling Controller
Authors: Xin Wang, Hui Yang, Shaoyuan Li, Wenxin Liu, Li Liu, David A. Cartes
Venue: Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks, Part II (2008)

For a nonlinear discrete-time Multi-Input Multi-Output (MIMO) system, a Hierarchical Multiple Models Neural Network Decoupling Controller (HMMNNDC) is designed in this paper. Firstly, the nonlinear system's working area is partitioned into several sub-regions by use of a Self-Organizing Map (SOM) Neural Network (NN). In each sub-region, around every equilibrium point, the nonlinear system can be expanded into a linear term and a nonlinear term. The linear term is identified by a BP NN trained offline while the nonlinear term by a BP NN trained online. So these two BP NNs compose one system model. At each instant, the best sub-region is selected out by the use of the SOM NN and the corresponding multiple models set is derived. According to the switching index, the best model in the above model set is chosen as the system model. Then the nonlinear term of the system are viewed as measurable disturbance and eliminated by the choice of the weighting polynomial matrices. The simulation example shows that the better system response can be got comparing with the conventional NN decoupling control method.
Half-car 2D model simulation of the self-adjustable VZN shock absorber suspension behavior
Authors: Adrian-Ioan Niculescu, Dan Dumitriu, Tudor Sireteanu
Venue: Proceedings of the 9th WSEAS International Conference on Acoustics & Music: Theory & Applications (2008)

The new self-adjustable VZN shock absorber confers improved flexibility to adjust each stroke part according to the specific needs, providing a larger range of damping coefficients, function of the relative piston position in the cylinder. Both on rebound and compression, the VZN damping coefficients have low values at the beginning of the strokes, becoming medium at the middle of the strokes and high and very high to its end. Using a 2D half-car model for vehicle suspension, a Matlab/Simulink simulation was performed in order to compare the VZN with a standard shock absorber. The simulation tests proved better body stability-skyhook comportment, better protection at the stroke ends and lower RMS body accelerations when using the new self-adjustable VZN suspension, all this improvements for almost the same price and the same technological simplicity as a standard suspension.
A basis-deficiency-allowing primal phase-I algorithm using the most-obtuse-angle column rule
Authors: Wei Li, P. Guerrero-García, A. Santos-Palomo
Venue: Computers Mathematics with Applications (2006)

The dual Phase-1 algorithm using the most-obtuse-angle row pivot rule is very efficient for providing a dual feasible basis, in either the classical or the basis-deficiency-allowing context. In this paper, we establish a basis-deficiency-allowing Phase-I algorithm using the so-called most-obtuse-angle column pivot rule to produce a primal (deficient or full) basis. Our computational experiments with the smallest test problems from the standard NETLIB set show that a dense projected-gradient implementation largely outperforms that of the variation of the primal simplex method from the commercial code MATLAB LINPROG v1.17, and that a sparse projected-gradient implementation of a normalized revised version of the proposed algorithm runs 34% faster than the sparse implementation of the primal simplex method included in the commercial code TOMLAB LPSOLVE v3.0.