ppxscal/embedding_network huggingface dataset:
Map-reduce programming model and hadoop distributed file system for use in undergraduate curriculum
Authors: K. Madurai, B. Ramamurthy
Venue: Journal of Computing Sciences in Colleges (2009)

In this tutorial we will discuss the details of the map-reduce programming model that has been brought to prominence by the Google File System (GFS) [1]. We will also demonstrate the application of MapReduce using Hadoop Distributed File System (HDFS) [2]. We will discuss two case studies (i) word count on a web log and (ii) financial analytics using Markovitz model [4]. Implementation of HDFS on a single node, two-node and multiple-node cluster will be demonstrated. The challenges in assembling a HDFS and using MapReduce will be discussed. Expected audiences are undergraduate teachers who want to learn about MapReduce and HDFS and those who are interested in introducing these in the curriculum. These two topics were featured very prominently in SIGCSE 2008.
Dynamic voice communication support for multiplayer online games
Authors: Tomas Hildebrandt, Sonja Bergsträßer, Christoph Rensing, Ralf Steinmetz
Venue: Proceedings of the 7th ACM SIGCOMM Workshop on Network and System Support for Games (2008)

Voice communication has become an important part of interaction between players in many Multiplayer Online Games (MOGs). Successful team play depends on fast perception of and adaptation to the opponent's actions. Current voice communication tools utilize a single chat room for all team members. However several tactical situations require communication within sub groups which would interfere with other important group communication. There is a need to provide parallel dynamic communication to support current MOG scenarios demanding hierarchical grouping, increasing group sizes and handling of tactical as well as rapidly changing situations. We have developed a concept to support dynamic voice communication and implemented a tool to support communication in different game situations. Our solution supports template based pre-planning, adaptation to different game situations in real time and is easily pluggable on existing voice communication tools.
Securing network access in wireless sensor networks
Authors: Kun Sun, An Liu, Roger Xu, Peng Ning, Douglas Maughan
Venue: Proceedings of the second ACM conference on Wireless network security (2009)

In wireless sensor networks, it is critical to restrict the network access only to eligible sensor nodes, while messages from outsiders will not be forwarded in the networks. In this paper, we present the design, implementation, and evaluation of a secure network access system for wireless sensor networks. This paper makes three contributions: First, it develops a network admission control subsystem using Elliptic Curve public key cryptosystem to add new sensor nodes into a sensor network. The admission control subsystem employs a polynomial-based weak authentication scheme to mitigate Denial of Service (DoS) attacks against the public key cryptographic operations. Second, it implements an interface in TinyOS to provide symmetric key cryptography using the hardware security support in IEEE 802.15.4 radio components (e.g., CC2420). The hardware security can satisfy both message authentication and timely delivery requirements in real-time applications. The third contribution is an implementation of a stateless group key update scheme to update a network-wide secret key in a sensor network. We implement all the proposed techniques on Imote2 sensor platform running TinyOS and conduct an evaluation through field experiments.
P/PA-SPTF: Parallelism-aware request scheduling algorithms for MEMS-based storage devices
Authors: Hyokyung Bahn, Soyoon Lee, Sam H. Noh
Venue: ACM Transactions on Storage (TOS) (2009)

MEMS-based storage is foreseen as a promising storage media that provides high-bandwidth, low-power consumption, high-density, and low cost. Due to these versatile features, MEMS storage is anticipated to be used for a wide range of applications from storage for small handheld devices to high capacity mass storage servers. However, MEMS storage has vastly different physical characteristics compared to a traditional disk. First, MEMS storage has thousands of heads that can be activated simultaneously. Second, the media of MEMS storage is a square structure which is different from the platter structure of disks. This article presents a new request scheduling algorithm for MEMS storage called P-SPTF that makes use of the aforementioned characteristics. P-SPTF considers the parallelism of MEMS storage as well as the seek time of requests on the two dimensional square structure. We then present another algorithm called PA-SPTF that considers the aging factor so that starvation resistance is improved. Simulation studies show that PA-SPTF improves the performance of MEMS storage by up to 39.2&percnt; in terms of the average response time and 62.4&percnt; in terms of starvation resistance compared to the widely acknowledged SPTF algorithm. We also show that there exists a spectrum of scheduling algorithms that subsumes both the P-SPTF and PA-SPTF algorithms.
Improving the Power-Delay Performance in Subthreshold Source-Coupled Logic Circuits
Authors: Armin Tajalli, Massimo Alioto, Elizabeth J. Brauer, Yusuf Leblebici
Venue: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers (2009)

Subthreshold source-coupled logic (STSCL) circuits can be used in design of low-voltage and ultra-low power digital systems. This article introduces and analyzes new techniques for implementing complex digital systems using STSCL gates with an improved power-delay product (PDP) based on source-follower output stages. A test chip has been manufactured in a conventional digital 0.18μm CMOS technology to evaluate the performance of the proposed STSCL circuit, and speed and PDP improvements by a factor of up to 2.4 were demonstrated.
Mise en œuvre d'un système d'aide aux choix des méthodes et modèles du GL et de I'IHM dans le cadre de projets visant I'informatisation de processus complexes en milieu hospitalier
Authors: Stéphanie Bernonville, Marie-Catherine Beuscart-Zéphir
Venue: Proceedings of the 20th International Conference of the Association Francophone d'Interaction Homme-Machine (2008)

In complex organisation (safety issues, risk of important organisational changes), interactive system design or re-engineering projects involve the participation of project partners from different domains, using different methods, models and vocabularies. This diversity engenders communication problems, particularly for the information transmitted between the project partners. When information is not complete and/or not relevant, they can be the cause of interactive applications not corresponding to the future users' needs. It is why we propose the creation of common work supports between the different project partners to improve the transmission of information. These supports can be created or proposed thanks to a support system based on the use of software engineering and human-computer interaction methods and models. The principles of the first version of this support system are described. Case studies in healthcare domain are explained.
The C-ND tree: a multidimensional index for hybrid continuous and non-ordered discrete data spaces
Authors: Changqing Chen, Sakti Pramanik, Qiang Zhu, Watve Alok, Gang Qian
Venue: Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology (2009)

Contemporary database applications often perform queries in hybrid data spaces (HDS) where vectors can have a mix of continuous valued and non-ordered discrete valued dimensions. To support efficient query processing for an HDS, a robust indexing method is required. Existing indexing techniques to process queries efficiently either apply to continuous data spaces (e.g., the R-tree) or non-ordered discrete data spaces (e.g., the ND-tree). No techniques directly indexing vectors in HDSs have been reported in the literature. In this paper, we propose a new multidimensional indexing technique, called the C-ND tree, to directly index vectors in an HDS. To build such an index, we first introduce some essential geometric concepts (e.g., hybrid bounding rectangle) in HDSs. The C-ND tree structure and the relevant tree building and query processing algorithms based on these geometric concepts in HDSs are then presented. Strategies have been suggested to make the values in continuous dimensions and non-ordered discrete dimensions comparable and controllable. Novel node splitting heuristics which exploit characteristics of both continuous and discrete dimensions are proposed. Performance of the C-ND tree is compared with that of linear scan, R*-tree and ND-tree using range queries on hybrid data. Experimental results demonstrate that the C-ND tree is quite promising in supporting range queries in HDSs.
Faster Parameterized Algorithms for Minimum Fill-In
Authors: Hans L. Bodlaender, Pinar Heggernes, Yngve Villanger
Venue: Proceedings of the 19th International Symposium on Algorithms and Computation (2008)

We present two parameterized algorithms for the Minimum Fill-In problem, also known as Chordal Completion: given an arbitrary graph G and integer k, can we add at most k edges to G to obtain a chordal graph? Our first algorithm has running time , and requires polynomial space. This improves the base of the exponential part of the best known parameterized algorithm time for this problem so far. We are able to improve this running time even further, at the cost of more space. Our second algorithm has running time and requires space.
Geographical perspectives on location for location based services
Authors: Alistair J. Edwardes
Venue: Proceedings of the 2nd International Workshop on Location and the Web (2009)

In this position paper the question of how location is employed in location based services (LBS) is considered. The importance of the notion of location is highlighted as a means of blurring the boundary between forms of experiences that are direct, and sensed in the environment, and those that are indirect, and learned from information. It is suggested that current methods for modeling location are limited by their lack of strong theoretical underpinning. To help bridge this gap the notions of Space, Place, and Region, from geographical theory, are proposed and implications of these for considering location in LBS outlined.
Colored Petri Nets Based Modeling of Information Flow Security
Authors: Weiguo Li, Ruoyu Wu, He Huang
Venue: Proceedings of the 2009 Second International Workshop on Knowledge Discovery and Data Mining (2009)

Currently, with the popularization of the computer and Internet technologies, electronic documents have become the most important resource in enterprises or organizations. The security of documents and protecting the information resident in these documents is of paramount importance to the organization’s progress and in some cases, their survival too. Hence, electronic documents are the target of the insider abuse and attacker. Traditionally, methods of document access control protect the information of documents by setting accessing privileges. However, the weaknesses of this are the coarse granularity of control and lack of capability to adjust dramatically to adapt well to different operating context. In this paper, an information flaw security model based on colored Petri nets (CPN) is introduced, which analyze information flow dynamically and then find out the potential approaches that lead to the leak of information by examining the reachability graph of the CPN model. Consequently, we can take some measures to prevent information leaks and achieve the goal of protecting confidential information.
On Algebraic Properties of Delay-Nonconflicting Languages in Supervisory Control under Communication Delays
Authors: Jung-Min Yang, Seong-Jin Park
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

In networked control systems, uncontrollable events may unexpectedly occur in a plant before a proper control action is applied to the plant due to communication delays. In the area of supervisory control of discrete event systems, Park and Cho [5] proposed the notion of delay-nonconflictingness for the existence of a supervisor achieving a given language specification under communication delays. In this paper, we present the algebraic properties of delay-nonconflicting languages which are necessary for solving supervisor synthesis problems under communication delays. Specifically, we show that the class of prefix-closed and delay-nonconflicting languages is closed under intersection, which leads to the existence of a unique infimal prefix-closed and delay-nonconflicting superlanguage of a given language specification.
Closed-loop balancing for a class of non-linear singularly perturbed systems
Authors: Said Djennoune, Maamar Bettayeb
Venue: International Journal of Systems Science (2009)

The aim of this article is to investigate the closed-loop balancing reduction method for a class of non-linear singularly perturbed systems. We show that the well-known two-stage strategy involved commonly within the singular perturbation theory can be used to derive an approximate closed-loop balancing. The proposed two-stage method avoids the difficult task of solving high dimensional and ill conditioned non-linear Hamilton-Jacobi equation due to the presence of the small perturbation parameter.
Setting the stage - Embodied and spatial dimensions in emerging programming practices
Authors: Martin Jonsson, Jakob Tholander, Ylva Fernaeus
Venue: Interacting with Computers (2009)

In the design of interactive systems, developers sometimes need to engage in various ways of physical performance in order to communicate ideas and to test out properties of the system to be realised. External resources such as sketches, as well as bodily action, often play important parts in such processes, and several methods and tools that explicitly address such aspects of interaction design have recently been developed. This combined with the growing range of pervasive, ubiquitous, and tangible technologies add up to a complex web of physicality within the practice of designing interactive systems. We illustrate this dimension of systems development through three cases which in different ways address the design of systems where embodied performance is important. The first case shows how building a physical sport simulator emphasises a shift in activity between programming and debugging. The second case shows a build-once run-once scenario, where the fine-tuning and control of the run-time activity gets turned into an act of in situ performance by the programmers. The third example illustrates the explorative and experiential nature of programming and debugging systems for specialised and autonomous interaction devices. This multitude in approaches in existing programming settings reveals an expanded perspective of what practices of interaction design consist of, emphasising the interlinking between design, programming, and performance with the system that is being developed.
A Novel Interface for Device Diagnostics Using Speech Recognition, Augmented Reality Visualization, and 3D Audio Auralization
Authors: Reinhold Behringer, Steven Chen, Venkataraman Sundareswaran, Kenneth Wang, Marius Vassiliou
Venue: Proceedings of the IEEE International Conference on Multimedia Computing and Systems - Volume 2 (1999)

Routine maintenance and error diagnostics of technical devices can be greatly enhanced by applying multimedia technology. The Rockwell Science Center is developing a system which can indicate maintenance instructions or diagnosis results for a device directly into the view of the user by utilizing Augmented Reality and multimedia techniques. The system can overlay 3D rendered objects, animations, and text annotations onto the live video image of a known object, captured by a movable camera. The status of device components can be queried by the user through a speech recognition system. The response is given as an animation of the relevant device module, overlaid onto the real object into the user's view, and/or as auditory cues using spatialized 3D audio. The position of the user/camera relative to the device is tracked by a computer vision based tracking system. The diagnostics system also allows the user to leave spoken annotations attached to device modules for other users to retrieve. The system is implemented on a distributed network of PCs, utilizing standard commercial off-the-shelf (COTS) components.
Attacks and improvements to an RIFD mutual authentication protocol and its extensions
Authors: Shaoying Cai, Yingjiu Li, Tieyan Li, Robert H. Deng
Venue: Proceedings of the second ACM conference on Wireless network security (2009)

In WiSec'08, Song and Mitchell proposed an RFID mutual authentication protocol. Song also extended this protocol for RFID tag ownership transfer. These two protocols are designed to have the most security properties in the literature. We discover that, however, the mutual authentication protocol is vulnerable to both tag impersonation attack and reader impersonation attack, which enable an adversary to impersonate any legitimate reader or tag. We also discover that the ownership transfer protocol is vulnerable to a de-synchronization attack, which prevents a legitimate reader from authenticating a legitimate tag, and vice versa. We analyze the vulnerabilities of these protocols and propose our revisions to eliminate the vulnerabilities with comparable storage and computational requirements.
From Isolation to Communication: A Case Study Evaluation of Robot Assisted Play for Children with Autism with a Minimally Expressive Humanoid Robot
Authors: Ben Robins, Kerstin Dautenhahn, Paul Dickerson
Venue: Proceedings of the 2009 Second International Conferences on Advances in Computer-Human Interactions (2009)

The general context of the work presented in this paper is assistive robotics with our long-term aim to support children with autism. This paper is part of the Aurora project that studies ways in which robotic systems can encourage basic communication and social interaction skills in children with autism. This paper investigates how a small minimally expressive humanoid robot KASPAR can assume the role of a social mediator - encouraging children with low functioning autism to interact with the robot, to break their isolation and importantly, to facilitate interaction with other people. The article provides a case study evaluation of segments of trials where three children with autism, who usually do not interact with other people in their day to day activity, interacted with the robot and with co-present adults. A preliminary observational analysis was undertaken which applied, in abbreviated form, certain principles from conversation analysis - notably attention to the context in which the target behaviour occurred. The analysis was conducted by a social psychologist with expertise in using conversation analysis to understand interactions involving persons with an ASD. The analysis emphasises aspects of embodiment and interaction kinesics and revealed unexpected competencies on the part of the children. It showed how the robot served as a salient object mediating and encouraging interaction between the children and co-present adults.
A View-Based Approach for Semantic Service Descriptions
Authors: Carsten Jacob, Heiko Pfeffer, Stephan Steglich, Li Yan, Ma Qifeng
Venue: Proceedings of the 2008 The Second International Conference on Next Generation Mobile Applications, Services, and Technologies (2008)

Within domain-based service environments, service discovery through appropriate matchmaking procedures remains a key challenge. In particular, the consideration of additional context information and the need for dynamic and fast service publishing cause high demands on the according automatic matching procedures and the service description structures they are operating on.Within this paper, we introduce a model to abstract the complexity of service descriptions for both the service provider and the consumer. Therefore, the internal representation of service descriptions is transparent providing only a suitable access model for services. Service Consumers are enabled to access services by specifying the effects while service providers are provided with a model to classify their service by categories. Within this approach special emphasis is put on the consideration of service compositions during the matching procedure.
Building your own DEC at home
Authors: Sharif Elcott, Peter Schröder
Venue: ACM SIGGRAPH ASIA 2008 courses (2008)

The methods of Discrete Exterior Calculus (DEC) have given birth to many new algorithms applicable to areas such as fluid simulation, deformable body simulation, and others. Despite the (possibly intimidating) mathematical theory that went into deriving these algorithms, in the end they lead to simple, elegant, and straight-forward implementations. However, readers interested in implementing them should note that the algorithms presume the existence of a suitable simplicial complex data structure. Such a data structure needs to support local traversal of elements, adjacency information for all dimensions of simplices, a notion of a dual mesh, and all simplices must be oriented. Unfortunately, most publicly available tetrahedral mesh libraries provide only unoriented representations with little more than vertex-tet adjacency information (while we need vertex-edge, edge-triangle, edge-tet, etc.). For those eager to implement and build on the algorithms presented in this course without having to worry about these details, we provide an implementation of a DEC-friendly tetrahedral mesh data structure in C++. This chapter documents the ideas behind the implementation.
Association in multi-agent simulations of dynamic random social networks
Authors: Rob Stocker, Henry Larkin
Venue: Proceedings of the 3rd International Conference on Bio-Inspired Models of Network, Information and Computing Sytems (2008)

Social groups form where individuals who are attracted to each other - usually by a common interest --- interact and form clusters. These groups exist within structural networks that rely on the patterns of links between members through which communication and resource transfer occurs. Individual influence impacts on emergent characteristics of a group, for example, global opinion and collective behaviour. However, individuals join and leave groups, thus changing the system's dynamics. What impact do these structural changes have on the emergence of sub-groups? Here our interest is in the association of members around a particular ideology and real social network systems provide our bio-inspired simulation models. We address the effects of dynamic structural changes to randomly connected networks on global behaviour and the emergence of subgroups that associate with specific states. Results from multi-agent simulations demonstrate that social cohesion and collection of nodes around particular states are dependent on group dynamics and can have an impact on social management that effects social order and stability.
Agent Enabled Adaptive Management of QoS Assured Provision of Composite Services
Authors: Ryszard Kowalczyk, Mohan Baruwal Chhetri
Venue: Cybernetics and Systems (2009)

The assurance of quality-of-service (QoS) is critical for the successful deployment of service-oriented applications, especially in open, dynamic, and distributed cross-organizational environments. Adaptive management of the QoS assured provision of composite services is required for more reliable, fault-tolerant, and flexible service delivery in such environments. It can be realized with software agents offering a unified framework and necessary capabilities for carrying out different adaptive management tasks across the whole lifecycle of composite service provision.