ppxscal/embedding_network huggingface dataset:
Investigation into the feasibility of using tactons to provide navigation cues in pedestrian situations
Authors: Ming-Wei Lin, Yun-Maw Cheng, Wai Yu, Frode Eika Sandnes
Venue: Proceedings of the 20th Australasian Conference on Computer-Human Interaction: Designing for Habitus and Habitat (2008)

Current navigation services do not meet the needs of pedestrians. The displays are often inappropriate. In this paper, we report two experiments to investigate whether using tactile display to present navigation information is sufficient and appropriate in pedestrian situation. The result of those experiments showed that Tactons could be a successful means of communicating navigation information in user interfaces in pedestrian situations.
Design of installation with interactive UAVs
Authors: Hideki Yoshimoto, Kazuhiro Jo, Koichi Hori
Venue: Proceedings of the 2008 International Conference on Advances in Computer Entertainment Technology (2008)

In this paper, we propose an installation where people interact with Unmanned Aerial Vehicles (UAVs). In this installation, people could illuminate a dark room with LED attached blimps (i.e. small airships). People control the movement and the light of the indoor blimps with voice via mobile phones. People who are not in the room also could control the light of blimps via internet. We design a framework to control UAVs via mobile phones and internet as a base of this installation. We aim to share our vision with people who are enthusiastic for media expression with UAVs by publishing our technical resources in open architectural approach.
The n-ordered graphs: A new graph class
Authors: Anthony Bonato, Jeannette Janssen, Changping Wang
Venue: Journal of Graph Theory (2009)

For a positive integer n, we introduce the new graph class of n-ordered graphs, which generalize partial n-trees. Several characterizations are given for the finite n-ordered graphs, including one via a combinatorial game. We introduce new countably infinite graphs R(n), which we name the infinite random n-ordered graphs. The graphs R(n) play a crucial role in the theory of n-ordered graphs, and are inspired by recent research on the web graph and the infinite random graph. We characterize R(n) as a limit of a random process, and via an adjacency property and a certain folding operation. We prove that the induced subgraphs of R(n) are exactly the countable n-ordered graphs. We show that all countable groups embed in the automorphism group of R(n). &copy; 2008 Wiley Periodicals, Inc. J Graph Theory 60: 204&ndash;218, 2009
Nanostructured mesoporous silicas for bone tissue regeneration
Authors: Isabel Izquierdo-Barba, Montserrat Colilla, María Vallet-Regí
Venue: Journal of Nanomaterials (2008)

The research on the development of new biomaterials that promote bone tissue regeneration is receiving great interest by the biomedical scientific community. Recent advances in nanotechnology have allowed the design of materials with nanostructure similar to that of natural bone. These materials can promote new bone formation by inducing the formation of nanocrystalline apatites analogous to the mineral phase of natural bone onto their surfaces, i.e. they are bioactive. They also stimulate osteoblast proliferation and differentiation and, therefore, accelerate the healing processes. Silica-based ordered mesoporous materials are excellent candidates to be used as third generation bioceramics that enable the adsorption and local control release of biological active agents that promote bone regeneration. This local delivery capability together with the bioactive behavior of mesoporous silicas opens up promising expectations in the bioclinical field. In this review, the last advances in nanochemistry aimed at designing and tailoring the chemical and textural properties of mesoporous silicas for biomedical applications are described. The recent developed strategies to synthesize bioactive glasses with ordered mesopore arrangements are also summarized. Finally, a deep discussion about the influence of the textural parameters and organic modification of mesoporous silicas on molecules adsorption and controlled release is performed.
Argumentation Based Resolution of Conflicts between Desires and Normative Goals
Authors: Sanjay Modgil, Michael Luck
Venue: Argumentation in Multi-Agent Systems: Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers (2009)

Norms represent what ought to be done, and their fulfillment can be seen as benefiting the overall system, society or organisation. However, individual agent goals (desire) may conflict with system norms. If a decision to comply with a norm is determined exclusively by an agent or, conversely, if norms are rigidly enforced, then system performance may be degraded, and individual agent goals may be inappropriately obstructed. To prevent such deleterious effects we propose a general framework for argumentation-based resolution of conflicts amongst desires and norms. In this framework, arguments for and against compliance are arguments justifying rewards, respectively punishments, exacted by `enforcing' agents. The arguments are evaluated in a recent extension to Dung's abstract argumentation framework, in order that the agents can engage in metalevel argumentation as to whether the rewards and punishments have the required motivational force. We provide an example instantiation of the framework based on a logic programming formalism.
Grammar based asynchronous testing
Authors: Puneet Bhateja
Venue: Proceedings of the 2nd India software engineering conference (2009)

This paper is about model based testing. Most reactive systems are safety-critical, so it is vital to test them before their deployment. During testing, the extensional observed behavior of these systems may be different from their intensional behavior. Usually, such systems are modeled by labeled transition systems (LTSs) which are very versatile models. In this paper, we propose an alternative grammar-based modeling of such systems. Our grammar-based model has multiple advantages over the conventional labeled transition system model. One, it makes the test evaluation easier. Two, it supports updates to the extensional behavior. Three, it helps to prove properties about test equivalence, using results from the theory of formal languages.
One Method to Evaluate the Safety of Train Control Center
Authors: Peng Zhou, Hongze Xu, Jianjun Hou
Venue: Proceedings of the 2009 International Asia Conference on Informatics in Control, Automation and Robotics (2009)

The train control center which plays a central role of message communication is a pivotal sub-system of the china train control system. On the basis of developing and debugging the engineering prototype of the train control center, an index system for evaluating the safety of the train control center was set up. Based on the analytic hierarchy process, a safety evaluation method for the train control center was proposed. Using the technology of verification, validation and accreditation, comprehensive analysis to the safety evaluation index of the train control center was carried on. At last, the safety evaluation index of the whole train control center was obtained, which is useful to the nationalized train control center.
Determining factors that affect long-term evolution in scientific application software
Authors: Diane Kelly
Venue: Journal of Systems and Software (2009)

One of the characteristics of scientific application software is its long lifetime of active maintenance. There has been little software engineering research into the development characteristics of scientific software and into the factors that support its successful long evolution. The research described in this paper introduces a novel model to examine the nature of change that influenced an example of industrial scientific software over its lifetime. The research uses the model to provide an objective analysis of factors that contributed to long-term evolution of the software system. Conclusions suggest that the architectural design of the software and the characteristics of the software development group played a major role in the successful evolution of the software. The novel model of change and the research method developed for this study are independent of the type of software under study.
Finding Major Patterns of Aging Process by Data Synchronization
Authors: Takaya Miyano, Takako Tsutsui
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

We developed a method for extracting feature patterns from multivariate data using a network of coupled phase oscillators subject to an analogue of the Kuramoto model for collective synchronization. Our method may be called data synchronization. We applied data synchronization to the care-needs-certification data, provided by Otsu City as a historical old city near Kyoto City, in the Japanese public long-term care insurance program to find the trend of the major patterns of the aging process for elderly people needing nursing care.
Vesp'R - Transforming Handheld Augmented Reality
Authors: Ernst Kruijff, Eduardo Veas
Venue: Proceedings of the 2007 6th IEEE and ACM International Symposium on Mixed and Augmented Reality (2007)

This paper presents first results of an interaction design study performed for a novel handheld interaction system. Human factors of mid-size, self-containing wearable computer systems are explored.
Attack Analysis for He & Wu's Joint Watermarking/Fingerprinting Scheme
Authors: Hans Georg Schaathun
Venue: Proceedings of the 6th International Workshop on Digital Watermarking (2008)

We introduce two novel collusion attacks against digital fingerprinting using additive spread-spectrum watermarks. These attacks demonstrate that the He-Wu fingerprinting system is considerably less secure against collusive attacks than suggested by the original paper. In addition to causing error rates above 85% at the decoder with as few as 8 colluders, one of our two attacks give copies with less distortion (measured by Euclidean distance) than the fingerprinted copies originally distributed.
Optimal dynamic advertising with an adverse exogenous effect on brand goodwill
Authors: Luca Grosset, Bruno Viscolani
Venue: Automatica (Journal of IFAC) (2009)

We propose the model of a firm that advertises a product in a homogeneous market, where a constant exogenous interference is present. Using the framework of Nerlove and Arrow's advertising model, we assume that the interference acts additively on goodwill production as a negative term. Hence, we allow that the goodwill may become negative and we associate a zero demand with negative goodwill values. We consider a piecewise linear demand function and formulate a nonsmooth optimal-control problem with an infinite horizon. We obtain that an optimal advertising policy exists and takes one of two forms: either a positive and constant advertising effort, or a decreasing effort starting from a positive level and eventually reaching the zero value at a finite exit time. In the former scenario, the demand is always positive and the firm stays in the market in the long run; in the latter, the demand becomes zero in the short run, and afterward, the firm goes out of business. In both cases we have an explicit representation of the optimal control, which is obtained through the study of an auxiliary smooth optimal-control problem. It is interesting that the fundamental choice between staying in the market and going out of business at some time depends both on the interference level and on the initial goodwill level.
Knowing, Communication and Experiencing through Body and Emotion
Authors: Kristina Höök
Venue: IEEE Transactions on Learning Technologies (2008)

With new technologies such as body sensors, tangible interaction, haptics, interactive cloth, or small computing devices such as mobiles, we can move interaction from the desktop out into the world and onto our bodies. Likewise, with the boom of computer games, domestic digital technology use, and social communication tools, we have to consider designing for non-instrumental goals, beyond task completion. This has been picked up by human-computer interaction researchers in the so-called third wave of HCI. We suggest that learning technologies could use some of the results from the third wave of HCI, placing body and emotion more centrally into the communication and construction of knowledge. Designing for bodily interaction, emotional communication or aesthetics is not trivial. In design work, a designer can only set the stage for certain experience to happen, but in the end, it is the user who co-constructs the experience with or through the interaction. Based on our experiences of designing for bodily and emotional communication, we will posit three postulates that might be helpful in designing for involving interaction: leaving &#x2018;surfaces&#x2019; open for users to appropriate, building for users to recognise themselves socially, emotional or bodily through the interface, and avoiding reductionism.
Downlink Transmission Scheme for Wireless MIMO Broadcast Channels with Multiuser Diversity
Authors: Hao Li, Changqing Xu, Pingzhi Fan
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

Sum power iterative water-filling (SPIWF) algorithm provides sum-rate-optimal transmission scheme for wireless multiple-input multiple-output (MIMO) broadcast channels (BC), whereas it suffers from its high complexity. In this paper, we propose a new transmission scheme based on a novel block zero-forcing dirty paper coding (Block ZF-DPC) strategy and multiuser-diversity-achieving user selection procedure. The Block ZF-DPC can be considered as an extension of existing ZF-DPC into MIMO BCs. Two user selection algorithms having linear increasing complexity with the number of users have been proposed. One aims at maximizing the achievable sum rate directly and the other is based on Gram-Schmidt Orthogonalization (GSO) and Frobenius norm. The proposed scheme is shown to achieve a sum rate close to the sum capacity of MIMO BC and obtain optimal multiplexing and multiuser diversity gain. In addition, we also show that both selection algorithms achieve a significant part of the sum rate of the optimal greedy selection algorithm at low computation expenditure.
A Voice Device with an Application-Adapted Protocol for Microsoft Windows
Authors: C. de Mauro, M. Gori, M. Maggini, E. Martinelli
Venue: Proceedings of the 1999 IEEE International Conference on Multimedia Computing and Systems - Volume 02 (1999)

The interaction between the user and a graphical interface relies on a protocol that defines the semantics of the actions performed by the user on the input devices. This protocol binds each action to an effect on the graphical interface. We propose a system that adapts this protocol to the particular context on the graphical interface in order to speed-up many operations. This approach is particularly useful for helping people having physical handicaps to have a comfortable interaction with the most common software tools, like web browsers. In particular we show how the proposed scheme can improve the usability of an input voice device that can be used to control the pointer on the screen instead of a mechanical mouse.
Essential Software Testing: A Use-Case Approach, 1st edition
Authors: Greg Fournier
Venue:  (2008)

Much has been written about the difficulty of software testing. Often these laments are accompanied by cautionary words about how careful one has to be to ensure testing is done properly. However, there is a dearth of resources that give practical guidance on the nuts and bolts of testing. Essential Software Testing: A Use-Case Approach describes testing methods and techniques in a common sense manner that is easy to understand, helping readers to quickly and effectively implement project-specific testing solutions.Detailed Steps to Improve Testing Divided into three parts, the book first discusses ways to make testing agile, providing insight into how testing can be done efficiently in different process environments. Next, the book supplies an overview of testing concepts. Lastly, it demonstrates how to perform the actual test, detailing specific testing activities that can be used on almost any project, with specific attention given to use-case driven testing. It describes how to test using Use Cases regardless of the specific requirements of the project.The author weaves helpful war stories throughout the text, placing the concepts in a concrete framework. This guide gives software testers a firm grasp of all testing fundamentals: how to determine what to test and how to test it, how to select proper tests to match the plan, techniques to build and trace tests, and finally, how to conduct and record tests.
Genetically Evolved Fuzzy Rule-Based Classifiers and Application to Automotive Classification
Authors: Teck Wee Chua, Woei Wan Tan
Venue: Proceedings of the 7th International Conference on Simulated Evolution and Learning (2008)

Type-2 fuzzy logic systems (FLSs) have been treated as a magic black box which can better handle uncertainties due to the footprint of uncertainty (FOU). Although the results in control applications are promising, the advantages of type-2 framework in fuzzy pattern classification is still unclear due to different forms of outputs produced by both systems. This paper aims at investigating if type-2 fuzzy classifier can deliver a better performance when there exists imprecise decision boundary caused by improper feature extraction method. Genetic Algorithm (GA) is used to tune the fuzzy classifiers under Pittsburgh scheme. The proposed fuzzy classifiers have been successfully applied to an automotive application whereby the classifier needs to detect the presence of human in a vehicle. Results reveal that type-2 classifier has the edge over type-1 classifier when the decision boundaries are imprecise and the fuzzy classifier itself has not enough degrees of freedom to construct a suitable boundary. Conversely, when decision boundaries are clear, the advantage of type-2 framework may not be significant anymore. In any case, the performance of a type-2 fuzzy classifier is at least comparable with a type-1 fuzzy classifier. When dealing with real world classification problem where the uncertainty is usually difficult to be estimated, type-2 fuzzy classifier can be a more rational choice.
Exploiting noun phrases and semantic relationships for text document clustering
Authors: Hai-Tao Zheng, Bo-Yeong Kang, Hong-Gee Kim
Venue: Information Sciences: an International Journal (2009)

Text document clustering plays an important role in providing better document retrieval, document browsing, and text mining. Traditionally, clustering techniques do not consider the semantic relationships between words, such as synonymy and hypernymy. To exploit semantic relationships, ontologies such as WordNet have been used to improve clustering results. However, WordNet-based clustering methods mostly rely on single-term analysis of text; they do not perform any phrase-based analysis. In addition, these methods utilize synonymy to identify concepts and only explore hypernymy to calculate concept frequencies, without considering other semantic relationships such as hyponymy. To address these issues, we combine detection of noun phrases with the use of WordNet as background knowledge to explore better ways of representing documents semantically for clustering. First, based on noun phrases as well as single-term analysis, we exploit different document representation methods to analyze the effectiveness of hypernymy, hyponymy, holonymy, and meronymy. Second, we choose the most effective method and compare it with the WordNet-based clustering method proposed by others. The experimental results show the effectiveness of semantic relationships for clustering are (from highest to lowest): hypernymy, hyponymy, meronymy, and holonymy. Moreover, we found that noun phrase analysis improves the WordNet-based clustering method.
Measurement of human sensation for developing sensible textiles
Authors: Myungeun Lee, Gilsoo Cho
Venue: Human Factors in Ergonomics Manufacturing (2009)

Human perceptive faculties consist of 5 senses: visual, auditory, olfactory, taste, and tactile sense. Visual is the most powerful sense for human perception followed by the auditory sense. This article attempts to find the connection between the visual and the auditory senses. In particular, the aim is to convert sound to color based on human perception. Natural sounds were selected as stimuli and analyzed by sound color and psychoacoustic factors. In addition, subjective perception was evaluated, and electroencephalogram (EEG) was measured using psychophysiological methods in 20 participants. From the factor analysis results of subjective responses, 4 factors were determined: Emotion, Action, Atmosphere, and Strength. To convert sounds to colors, a multidimensional scale analysis was performed using the results of the EEG responses. Bird sound was converted to green, wave sound to red, and rain sound to red-purple. The results were presented by textile designs. From these results, the ability of natural sounds to convert to colors was proven, so that the transformed colors can be used to help design textiles. &copy; 2009 Wiley Periodicals, Inc.
Step-Wise Development of Resilient Ambient Campus Scenarios
Authors: Alexei Iliasov, Budi Arief, Alexander Romanovsky
Venue: Methods, Models and Tools for Fault Tolerance (2009)

This paper puts forward a new approach to developing resilient ambient applications. In its core is a novel rigorous development method supported by a formal theory that enables us to produce a well-structured step-wise design and to ensure disciplined integration of error recovery measures into the resulting implementation. The development method, called AgentB, uses the idea of modelling database to support a coherent development of and reasoning about several model views, including the variable, event, role, agent and protocol views. This helps system developers in separating various modelling concerns and makes it easier for future tool developers to design a toolset supporting this development. Fault tolerance is systematically introduced during the development of various model views. The approach is demonstrated through the development of several application scenarios within an ambient campus case study conducted at Newcastle University (UK) as part of the FP6 RODIN project.
A Cascade Model for Externalities in Sponsored Search
Authors: David Kempe, Mohammad Mahdian
Venue: Proceedings of the 4th International Workshop on Internet and Network Economics (2008)

One of the most important yet insufficiently studied issues in online advertising is the externality effect among ads: the value of an ad impression on a page is affected not just by the location that the ad is placed in, but also by the set of other ads displayed on the page. For instance, a high quality competing ad can detract users from another ad, while a low quality ad could cause the viewer to abandon the page altogether.In this paper, we propose and analyze a model for externalities in sponsored search ads. Our model is based on the assumption that users will visually scan the list of ads from the top to the bottom. After each ad, they make independent random decisions with ad-specific probabilities on whether to continue scanning. We then generalize the model in two ways: allowing for multiple separate blocks of ads, and allowing click probabilities to explicitly depend on ad positions as well. For the most basic model, we present a polynomial-time incentive-compatible auction mechanism for allocating and pricing ad slots. For the generalizations, we give approximation algorithms for the allocation of ads.