ppxscal/embedding_network huggingface dataset:
Decentralized Routing in Nonhomogeneous Poisson Networks
Authors: Chi Zhang, Pan Li, Yuguang Fang, Pramod P. Khargonekar
Venue: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems (2008)

In his seminal work, Jon Kleinberg considers a small-world network model consisting of a k-dimensional lattice augmented with shortcuts. Under the assumption that the probability of a shortcut being present between two nodes u and v decays as a power, d(u,v) -\alpha, of the distance d(u,v) between them, Kleinberg shows that decentralized routing scheme such as greedy geographic routing is efficient if alpha=k and that there is no efficient decentralized routing algorithm if alpha\neq k. The results are extended to a continuum model recently, wherein the nodes are distributed as a homogeneous Poisson point process by Franceschetti and Meester, Draief and Ganesh. In our work, we extend the result further to a more realistic model constructed from a nonhomogeneous Poisson point process, wherein each node is connected to all its neighbors within some fixed radius, as well as possessing random shortcuts to more distant nodes. More importantly, we show that in nonhomogeneous cases, the necessary and sufficient condition for greedy geographic routing to be efficient is that the probability of a shortcut being present from node u to v should be inversely proportional to the number of nodes which are closer to u than v is. We also demonstrate some applications of our results to wireless networks.
An 802.16 model for NS2 simulator with an integrated QoS architecture
Authors: Ikbal C. Msadaa, Fethi Filali, Farouk Kamoun
Venue: Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops (2008)

The IEEE 802.16 technology is emerging as a promising solution for BWA due to its ability to support multimedia services and to operate in multiple physical environments. Also, with data rates in excess of 120 Mbps, it provides a cost-effective alternative to wireline broadband access systems. Unfortunately no open-source simulation environment supporting this technology has been proposed so far. Therefore this work is meant to be a contribution to build an 802.16 simulation model for NS2, the most popular network simulator. In this paper, we present the details of design and implementation of the proposed simulation model. Our model includes a novel QoS architecture, and addresses 802.16 fixed BWA systems that use Orthogonal Frequency Division Multiplexing (OFDM) modulation and operate in TDD mode. The QoS architecture we propose consists of a call admission control (CAC) policy and a hierarchical scheduling algorithm that flexibly adjusts uplink and downlink bandwidth to serve unbalanced traffic. Both scheduling and CAC algorithms are based on an adaptive modulation and coding (AMC) scheme.
Enhancing Existing Stockmarket Trading Strategies Using Artificial Neural Networks: A Case Study
Authors: Bruce Vanstone, Gavin Finnie
Venue: Neural Information Processing: 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II (2008)

Developing financially viable stockmarket trading systems is a difficult, yet reasonably well understood process. Once an initial trading system has been built, the desire usually turns to finding ways to improve the system. Typically, this is done by adding and subtracting if-then style rules, which act as filters to the initial buy/sell signal. Each time a new set of rules are added, the system is retested, and, dependant on the effect of the added rules, they may be included into the system. Naturally, this style of data snooping leads to a curve-fitting approach, and the resultant system may not continue to perform well out-of-sample. The authors promote a different approach, using artificial neural networks, and following their previously published methodology, they demonstrate their approach using an existing medium-term trading strategy as an example.
Learning by Observing: Case-Based Decision Making in Complex Strategy Games
Authors: Darko Obradovič, Armin Stahl
Venue: Proceedings of the 31st annual German conference on Advances in Artificial Intelligence (2008)

There is a growing research interest in the design of competitive and adaptive Game AI for complex computer strategy games. In this paper, we present a novel approach for developing intelligent bots, which is based on the idea to observe successful human players and to learn from their individual decisions and strategies. These decisions are then reused by a bot in similar situations, resulting in a flexible and realistic strategic behaviour with low development and knowledge acquisition costs. Using Case-Based Reasoning (CBR) techniques, we implement this principle in the Cyborg system and achieve to outperform scripted opponents in a challenging multiplayer scenario.
Automating the Measurement of Functional Size of Conceptual Models in an MDA Environment
Authors: Beatriz Marín, Oscar Pastor, Giovanni Giachetti
Venue: Proceedings of the 9th international conference on Product-Focused Software Process Improvement (2008)

The manual measurement of functional size is generally very time-consuming and has many precision errors. For this reason, it is necessary to automate the measurement process to obtain a solution that can be applied in a MDA industrial development. The OO-Method COSMIC Function Points (OOmCFP) is a measurement procedure that has been designed to measure the functional size of object-oriented applications generated from their conceptual models by means of model transformations. This work presents the definition of the mechanisms that are necessary to automate the OOmCFP procedure. This work also presents the OOmCFP tool that implements the OOmCFP procedure. Since this tool measures the functional size of industrial applications generated in MDA environments from their conceptual models, it is not necessary to perform the measurement task on the final code. The OOmCFP tool incorporates the benefits that the COSMIC measurement method provides. These benefits are demonstrated through a comparative analysis.
RIAACT: a robust approach to adjustable autonomy for human-multiagent teams
Authors: Nathan Schurr, Janusz Marecki, Milind Tambe
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3 (2008)

When human-multiagent teams act in real-time uncertain domains, adjustable autonomy (dynamic transferring of decisions between human and agents) raises three key challenges. First, the human and agents may differ significantly in their worldviews, leading to inconsistencies in their decisions. Second, these human-multiagent teams must operate and plan in real-time with deadlines with uncertain duration of human actions. Thirdly, adjustable autonomy in teams is an inherently distributed and complex problem that cannot be solved optimally and completely online. To address these challenges, our paper presents a solution for Resolving Inconsistencies in Adjustable Autonomy in Continuous Time (RIAACT). RIAACT incorporates models of the resolution of inconsistencies, continuous time planning techniques, and hybrid method to address coordination complexity. These contributions have been realized in a disaster response simulation system.
Reasoning About Willingness in Networks of Agents
Authors: S. Dehousse, S. Faulkner, H. Mouratidis, M. Kolp, P. Giorgini
Venue: Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications (2007)

The i* Strategic Dependency model has been successfully employed to analyze trust relationships of networks of agents during the early stages of multiagent systems development. However, the model only supports limited trust reasoning due to its limitation to deal with the vulnerability of the depender regarding the failure of the dependency. In this paper, we introduce the concept of willingness, which provides a solution to the above problem and therefore allows a more complete analysis and reasoning of trust relationships in networks of agents.
Downsizing Multigenic Predictors of the Response to Preoperative Chemotherapy in Breast Cancer
Authors: René Natowicz, Roberto Incitti, Roman Rouzier, Arben Çela, Antõnio Braga, Euler Horta, Thiago Rodrigues, Marcelo Costa
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II (2008)

We present a method for designing efficient multigenic predictors with few probes and its application to the prediction of the response to preoperative chemotherapy in breast cancer.In this study, each DNA probe was regarded as an elementary predictor of the response to the chemotherapy and the probes which were selected performed a faithful sampling of the training dataset.In a first stage of the study, the prediction delivered by a multigenic predictor was that of the majority of the elementary predictions of its probes. For the data set at hand, the best majority decision predictor (MD predictor) had 30 probes. It significantly outperformed the best predictor designed on probes selected by p-value of a t-test (linear discriminant analysis on the 30 probes of least p-values).In a second stage, the majority decision was replaced by a support vector machine (SVM) acting as a linear classifier. With the same set of probes, the performances of the SVM predictor were slightly better for both training and testing. Moreover, the performances of the best MD predictor were achieved with 43% less probes by SVM predictors (17 probes). This downsizing of the predictors is an interesting property for their potential use in clinical routine and for modeling the biological mechanisms underlying the patient's response to the chemotherapy.
Simulatable Adaptive Oblivious Transfer
Authors: Jan Camenisch, Gregory Neven, Abhi Shelat
Venue: Proceedings of the 26th annual international conference on Advances in Cryptology (2007)

We study an adaptive variant of oblivious transfer in which a sender has N messages, of which a receiver can adaptively choose to receive k one-after-the-other, in such a way that (a) the sender learns nothing about the receiver's selections, and (b) the receiver only learns about the k requested messages. We propose two practical protocols for this primitive that achieve a stronger security notion than previous schemes with comparable efficiency. In particular, by requiring full simulatability for both sender and receiver security, our notion prohibits a subtle selective-failure attack not addressed by the security notions achieved by previous practical schemes.Our first protocol is a very efficient generic construction from unique blind signatures in the random oracle model. The second construction does not assume random oracles, but achieves remarkable efficiency with only a constant number of group elements sent during each transfer. This second construction uses novel techniques for building efficient simulatable protocols.
L2Code: An Author Environment for Hybrid and Personalized Programming Learning
Authors: Ramon Zatarain-Cabada, M. L. Barrón-Estrada, J. Moisés Osorio-Velásquez, L. Zepeda-Sánchez, Carlos A. Reyes-García
Venue: Proceedings of the 1st international conference on Hybrid Learning and Education (2008)

L2Code is an Intelligent Tutoring System used for teaching programming courses for different paradigms under a hybrid or blinded environment. It was designed and implemented to work with diverse types of modules oriented to certain ways of learning using principles of Multiple Intelligences. The author tool facilitates the creation of adaptive or personalized learning material to be used in multiple-paradigm programming language courses applying an artificial intelligence approach. The Tutoring System works with a predictive engine that uses a Naive Bayes classifier which operates in real time with the knowledge of the historical performance of the student. We show results of the tool.
One Useful Logic That Defines Its Own Truth
Authors: Andreas Blass, Yuri Gurevich
Venue: Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science (2008)

Existential fixed point logic (EFPL) is a natural fit for some applications, and the purpose of this talk is to attract attention to EFPL. The logic is also interesting in its own right as it has attractive properties. One of those properties is rather unusual: truth of formulas can be defined (given appropriate syntactic apparatus) in the logic. We mentioned that property elsewhere, and we use this opportunity to provide the proof.
Real-time color holographic interferometry devoted to 2D unsteady wake flows
Authors: J. M. Desse, F. Albe, J. L. Tribillon
Venue: Journal of Visualization (2004)

A new optical technique based on real time holographic interferometry in true colors has been implemented around the transonic wind tunnel of the ONERA-Lille center to analyze 2D unsteady wake flows. Tests realized in color interferometry, real time and double exposure, use simultaneously three wavelengths of a continuous waves laser (argon and krypton mixed) and holograms are recorded on silver-halide single-layer panchromatic Slavich PFG03c plates. The very principle of real-time true color holographic interferometry uses three primary wavelengths (red, green and blue) to record, under no-flow conditions, the interference among the three measurement beams and the three reference beams simultaneously on a single reference hologram. After the holographic plate is developed, it is placed on the test setup again in the position it occupied during exposure and the hologram is illuminated again by the three reference beams and three measurement beams. A flat, uniform color can then be observed behind the hologram. So a horizontal, vertical, or even circular fringe pattern can be formed and the achromatic central fringe can be made out very clearly. The single color is used to determine the path difference zero on the interferograms. The flow studied was the unsteady flow downstream of a cylinder placed crosswise in the test section. A sequence of hundred interferograms was recorded on the flow around the cylinder at Mach 0.37. The vortex formation and dissipation phases can be seen very clearly, along with the fringe beat to either side of the cylinder.
Computing Reputation Metric in Multi-Agent E-Commerce Reputation System
Authors: Anna Gutowska, Kevan Buckley
Venue: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems Workshops (2008)

Trust and reputation systems have recently come into the focus for the virtual environment research to offer online user a decision support mechanisms. Many ofthem are agent-based as they represent a promising paradigm for open, distributed marketplaces. This paper presents an improved distributed agent-based reputation mechanism which contributes in measuring reputation of online providers. The system offers a comprehensive approach as it considers a number of the parameters that have a bearing on trust and reputation (unlike current approaches which tend to be "one issue-centric"). Moreover, it also extends the existing frameworks based on information about past behaviour, with other aspects affecting online trust, taken from the Trust Taxonomy [1], such as existence of control mechanisms and supporting organisations, security and privacy strategies, technology and information based factors as well as interaction.
Dcell: a scalable and fault-tolerant network structure for data centers
Authors: Chuanxiong Guo, Haitao Wu, Kun Tan, Lei Shi, Yongguang Zhang, Songwu Lu
Venue: ACM SIGCOMM Computer Communication Review (2008)

A fundamental challenge in data center networking is how to efficiently interconnect an exponentially increasing number of servers. This paper presents DCell, a novel network structure that has many desirable features for data center networking. DCell is a recursively defined structure, in which a high-level DCell is constructed from many low-level DCells and DCells at the same level are fully connected with one another. DCell scales doubly exponentially as the node degree increases. DCell is fault tolerant since it does not have single point of failure and its distributed fault-tolerant routing protocol performs near shortest-path routing even in the presence of severe link or node failures. DCell also provides higher network capacity than the traditional tree-based structure for various types of services. Furthermore, DCell can be incrementally expanded and a partial DCell provides the same appealing features. Results from theoretical analysis, simulations, and experiments show that DCell is a viable interconnection structure for data centers.
Data-flow testing of declarative programs
Authors: Sebastian Fischer, Herbert Kuchen
Venue: ACM SIGPLAN Notices (2008)

We propose a novel notion of data-flow coverage for testing declarative programs. Moreover, we extend an automatic test-case generator such that it can achieve data-flow coverage. The coverage information is obtained by instrumenting a program such that it collects coverage information during its execution. Finally, we show the benefits of data-flow based testing for a couple of example applications.
Asimov's Laws of Robotics Applied to Software
Authors: Dror G. Feitelson
Venue: IEEE Software (2007)

Asimov's Laws of Robotics constrain robots to serve their human masters. Minor rewording shows that similar principles are very relevant to software too. These laws of software encompass a host of desiderata and trade-offs that software developers need to keep in mind. They also demonstrate that issues that are typically treated in a fragmented manner are actually strongly intertwined.
Imbalanced SVM Learning with Margin Compensation
Authors: Chan-Yun Yang, Jianjun Wang, Jr-Syu Yang, Guo-Ding Yu
Venue: Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks (2008)

The paper surveys the previous solutions and proposes further a new solution based on the cost-sensitive learning for solving the imbalanced dataset learning problem in the support vector machines. The general idea of cost-sensitive approach is to adopt an inverse proportional penalization scheme for dealing with the problem and forms a penalty regularized model. In the paper, additional margin compensation is further included to achieve a more accurate solution. As known, the margin plays an important role in drawing the decision boundary. It motivates the study to produce imbalanced margin between the classes which enables the decision boundary shift. The imbalanced margin is hence allowed to recompense the overwhelmed class as margin compensation. Incorporating with the penalty regularization, the margin compensation is capable to calibrate moderately the decision boundary and can be utilized to refine the bias boundary. The effect decreases the need of high penalty on the minority class and prevents the classification from the risk of overfitting. Experimental results show a promising potential in future applications.
A study of generalized thermoelastic interactions in an unbounded medium with a spherical cavity
Authors: Santwana Mukhopadhyay, Roushan Kumar
Venue: Computers Mathematics with Applications (2008)

The aim of the present paper is to study the thermoelastic interactions in an unbounded elastic medium with a spherical cavity in the context of four different theories of thermoelasticity, namely: the classical coupled dynamical thermoelasticity, the extended thermoelasticity, the temperature-rate-dependent thermoelasticity and the thermoelasticity without energy dissipation in a unified way. The cavity surface is assumed to be stress free and is subjected to a smooth and time-dependent-heating effect. The solutions for displacement, temperature and stresses are obtained with the help of the Laplace transform procedure. Firstly the short-time approximated solutions for four different theories have been obtained analytically. Then following the numerical method proposed by Bellman et al. [R. Bellmen, R.E. Kolaba, J.A. Lockette, Numerical Inversion of the Laplace Transform, American Elsevier Pub. Co., New York, 1966] for the inversion of Laplace transforms, the numerical values of the physical quantities are also computed for the copper material and results are displayed in graphical forms to compare the results obtained for the theory of thermoelasticity without energy dissipation with the results of other thermoelasticity theories.
Towards an Enterprise Business Process Architecture Standard
Authors: George Koliadis, Aditya K. Ghose, Srinivas Padmanabhuni
Venue: Proceedings of the 2008 IEEE Congress on Services - Part I (2008)

An effective process architecture helps provide a high-level blueprint of the complexity underlying an enterprise, which is used by executive committees during key decision and change processes. As existing service standards focus on co-ordination, they fall short in describing the motivational structure depicted in such models. In order to progress towards standardization in this area of complexity, we discuss the “practicality” of a process architecture, and present a set of 22 questions that can be used in the functional evaluation and construction of a process architecture. We use these questions to evaluate the current "state-of-the-art'' in business process architecture. We then apply the knowledge gathered during our evaluation and other work to develop the proposal for a general mapping framework that is capable of answering the set of queries we have proposed.
Studies of the Mechanical Impedance of the Index Finger in Multiple Dimensions
Authors: Thorsten A. Kern, Roland Werthschützky
Venue: Proceedings of the 6th international conference on Haptics: Perception, Devices and Scenarios (2008)

For both, the analysis of haptic interaction and the quantification of haptic perception a profound knowledge of the mechanical impedance of human touch are needed. Several models for a user's impedance have been suggested in literature and some guidelines and quantitative values from independent models for different contact situations are available. However for the analysis of haptic interaction and the quantification of perception it is necessary to allow comparison between different grasps. Therefore a reduced set of models which covers many types of touch in an acceptable quality would be ideal. Additionally the influence of the change of touch --- the pretension of fingers --- on the impedance is seldom referred to and even more seldom quantified.In 2005 the authors defined a method to quantify the impedance of a three finger precision grasp. In continuation of this approach and with the aim to collect a catalogue of impedance measures, this document presents results from set of 192 measurements regarding the impedance of the index finger from eight subjects. The resulting models and their dependencies are given as approximated plots of the impedance in dependency of frequency, direction of touch and size of the contact area. The resulting curves are discussed and put into context of the influence of impedance.