ppxscal/embedding_network huggingface dataset:
A Testbed for P2P Gaming Using Time Warp
Authors: Stefan Tolic, Helmut Hlavacs
Venue: Transactions on Edutainment II (2009)

Peer-to-peer based gaming is a new paradigm for distributed multiplayer online gaming that has attracted attention in the last years. It is known that P2P based topologies offer good scaling properties and mitigate unfairness otherwise observed for peers being far away and thus having large network lags. However, removing inconsistencies for high paced action games like FPS or tank battle games requires the implementation of a Time Warp-like mechanism, which itself may hinder gameplay for high lags. In this paper we present a tank battle game named Panzer Battalion. Created from scratch, this game follows the P2P approach and implements Time Warp for removing inconsistencies. Panzer Battalion is meant as a testbed for creating rollbacks and understanding, how Time Warp rollbacks depend on network lag, and how gameplay is altered by them.
Empirical Study on the Relationship between Salaries of Corporate Top Managers
Authors: Xiang Xiao, Jingli Sun
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

The paper made analysis of listed companies from2004 to 2006 which were divided into two sub-samplesrespectively as state-owned listed companies and private listed companies. Results are obtained as follows: differences existed between state-owned listed companies and private listed companies in terms of the mechanism of salaries; top managers’ salaries were in steady weak positive correlation to firm performance and firm scale but not steadily correlated to the proportion of state-owned shares; within private listed companies, top managers’ salaries were not steadily correlatedto firm performance, firm scale or the proportion of stateowned shares; salaries of top managers in both state-owned enterprises and private enterprises were under apparent influence of regional and industrial difference.
Application Research of Deconstructing Based on Model Checking
Authors: Jun-qiao Qi
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

The steganography solution to Internet QoS is defined not only by the improvement of web browsers, but also by the confirmed need for public-private key pairs. In order to confirm the construction of 802.11b, which the significant principles of operating systems was embodied. Our focus in our research was not on whether the foremost "fuzzy" algorithm for the exploration of IPv7 was turing complete, but rather on introducing an analysis of DHTs (Forcing). New distributed archetypes were constructed, through our experiences with forcing and symmetric encryption validate.
Footprint of Yangxin County: A Time Series for 1999-2006
Authors: Qi Feng, Shengjun Wu, Xiaodong Li, Xuelei Wang, Shuming Cai
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

This paper examines how Yangxin’s (Hubei Province, China) economic growth has affected environmental pressure by calculating a time series of Yangxin’s ecological footprint (EF) from 1999 to 2006 (without 2001). The results show that the EF increased during the time period. Comparison of the EF with the bio-capacity of Yangxin shows that in 2003 and 2006 a region of ecological overshoot is reached. It is concluded that the growing economy has intensified human’s pressure on the Yangxin environment by its enlarged demand for cropland and energy. Though the gross domestic product per capita (GDP) is increasing during the time period, the eco-efficiency of EF, exhibits reduced from 2004 to 2006.
Nitrogen and Phosphate Removal by Zeolite-Rare Earth Adsorbents
Authors: Bin Li, Xiwu Lu, Ping Ning, Yuehong Yang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

Zeolite modified by rare earth lanthanum compounds would be an excellent water purification agent that can simultaneously remove both nitrogen and phosphate in aqueous solution. In the context, a novel adsorbent was prepared by loading lanthanum chloride on the zeolite, and the the optimal sorbent was produced at 0.5% La3+ and pH value 10 in the solution. Remove ammonia nitrogen and phosphate synchronously tests result showed that the new sorbent is very effective for ammonia nitrogen and phosphate removal, and the best adsorption capacity is 25mg/g and 50mg/g respectively. Feeding into 10 mg/L NH4+-N and 5mg/L H2PO4- in wastewater, the removal ratio will be over 80% and 90% respectively, and dynamics for the process is accordance to Freundlich adsorption model. The result suggests that the novel rare earth adsorbent will provide a new way for the treatment of ammonia nitrogen and phosphate in wastewater.
Playing to Learn: A Review of Physical Games in Second Language Acquisition
Authors: Brian Tomlinson, Hitomi Masuhara
Venue: Simulation and Gaming (2009)

This article focuses on the potential of competitive games involving physical movement to facilitate the acquisition of a second or foreign language and argues that such activities can promote educational development too. It first provides a critical overview of the literature on physical games in language learning. Then, it outlines our theoretical position and puts forward a flexible framework for the development of principled learning materials that are designed to make use of physical games in language lessons at all levels and for all ages. This framework is text driven, in that it treats the game as a text that provides the learners with a rich, engaging, and purposeful exposure to language in use. It is also task driven, in that it provides the learners with a physical outcome that can only be achieved through language use. This framework operates in ways designed to stimulate the multidimensional mental representation and the deep processing required for effective and durable learning. The framework is exemplified by reference to physical games we have played with language learners of different levels and ages in different cultures, and then the principles and potential benefits of these games are discussed. In our conclusion, we summarize the benefits of physical games for language learners and point out the potential benefits of physical games in all educational contexts.
Stkm on Sca: A Unified Framework with Components, Workflows and Algorithmic Skeletons
Authors: Marco Aldinucci, Hinde Lilia Bouziane, Marco Danelutto, Christian Pérez
Venue: Proceedings of the 15th International Euro-Par Conference on Parallel Processing (2009)

This paper investigates an implementation of Stkm, a Spatio- Temporal sKeleton Model. Stkm expands the Grid Component Model (Gcm) with an innovative programmable approach that allows programmers to compose an application by combining component, workflow and skeleton concepts. The paper deals with a projection of the Stkm model on top of Sca and it evaluates its implementation using Tuscany Java Sca. Experimental results show the need and the benefits of the high level of abstraction offered by Stkm.
Capacitive Silicon Micro-accelerometer Detecting Technology Research
Authors: Yan Li, Ling Wang, Jun Liu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

In order to increase the capacitive accelerometer testing accuracy, to increase its usefulness, the comb-capacitive accelerometer is selected, the use of capacitive differential detection principle to detect acceleration changes; Based on the capacitance Charge-discharge characteristics, design the small differential capacitance detection circuit, including C-V converter, differential amplification, full-wave rectifier. Each module for the simulation. Finally, capacitive accelerometer do the static test and dynamic test on the two state linearity comparison shows that this design increase not only the capacitive accelerometer linearity, but also its usefulness.
Verbalising R2ML Rules into SBVR
Authors: Oana Nicolae, Gerd Wagner
Venue: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2008)

Nowadays, business rules receive a lot of attentionfrom both industry and academia, as they are considered the ideal vehicle for capturing business logic. The purpose of our paper is to raise the level of business logic abstraction with the help of existing, mature enough, R2ML language, in order to obtain higher semantic representations of rules and their basic constructs i.e. SBVR. Our paper focuses on the informal translation from R2ML derivation and integrity rules, into SBVR Structured English in order to provide means for business rules validation and authorization. SBVR Semantic Formulations of R2ML rulesand their basic atoms are also described and exemplified, as they are the unique construct of SBVR Standard, that captures and structures the meaning of rules to enable further translations into executable rule languages/engines, following MDA abstract levels of rule modeling.
Research on Estimation of Acoustic Travel-Time in Soybeans
Authors: Hua Yan, Guan Nan Chen, Ying Xu, Hui Xu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

One common and traditional method of detecting stored-grain deterioration is by measuring grain temperature. The key to stored-grain temperature measurement by acoustic method is acoustic travel-time measurement. In this paper, a phase transform generalized cross correlation with wavelet transform (WT-PHAT-GCC) method for acoustic travel-time measurement is proposed. An experimental system of acoustic travel-time estimation has been realized. Acoustic travel-times in soybeans and in air have been estimated by PHAT-GCC method and WT-PHAT-GCC method respectively. The experimental results show that the estimation of acoustic travel-time in soybeans is proportional to the distance between two microphones. WT-PHAT-GCC can give better estimation than PHAT-GCC. A stable ratio of the travel-time in soybeans to the travel-time in air at same distance and same temperature can be calculated, which means the grain temperature can be reliably derived from the acoustic travel-time in grain.
Two strong equilibria for game problems
Authors: E. R. Smol'Yakov
Venue: Automation and Remote Control (2009)

The paper presents two new definitions of equilibrium for arbitrary game problems. The new definitions allow finding a unique solution for a significantly wider class of problems.
Local Restoration for Trees and Arborescences
Authors: Paola Iovanna, Gaia Nicosia, Gianpaolo Oriolo, Laura Sanità, Ezio Sperduto
Venue: Traffic Management and Traffic Engineering for the Future Internet: First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 11-12, Revised Selected Papers (2009)

Protocols belonging to the Spanning Tree Protocol (STP) route traffic demands on tree topologies that are evaluated through shortest path procedures. In this paper we deal with the problem of assigning costs to the arcs of a network in order to guarantee that SPT protocols efficiently re-route traffic demands in failure situations: namely, without redirecting traffic demands that are not affected by the failure. We say that a communication network has the local tree-restoration property if there exists a set of costs for its arcs such that the above property holds.We show that an undirected network has the local tree-restoration property if and only if it is 2-connected. In particular, we provide a quite simple procedure for assigning costs to the arcs of a 2-connected network so that the property holds. For the directed case, we show that deciding whether a network has the local tree-restoration property is NP-hard, even in some "simple" cases. 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
Environmental Simulation of Real-Time Systems with Nested Interrupts
Authors: Guoqiang Li, Shoji Yuen, Masakazu Adachi
Venue: Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (2009)

Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allowed to preempt the current interrupt handling, the design and analysis of the system become difficult due to the lack of appropriate behavioral models. This paper proposes a compositional model for nested interrupts and an analysis named environmental simulation. We present a new kind of timed transition system, named controller automata, to treat interrupts. Together with an interrupt environment modeled as a timed automaton, and a scheduler as a timed automaton with semaphores, the system behaviors with nested interrupts are realized by a sequence of transitions with time. Although various verification problems for this model are undecidable in general, it is shown that the reachability of error states is practically solvable with our implementation of the environmental simulation by Maude.
Concurrent action execution with shared fluents
Authors: Michael Buro, Alexander Kovarsky
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

Concurrent action execution is important for plan-length minimization. However, action specifications are often limited to avoid conflicts arising from precondition/effect interactions. PDDL -- the planning domain definition language -- for example, implements the "no moving targets" rule, which means that no two actions can simultaneously make use of a value if one of the two is updating the value. This rule poses problems for resource allocation planning in which resource values are accessed in preconditions and effects. A simple example is construction actions that consume certain amounts of a resource. For speeding up plan execution, we would like to be able to dispatch several construction actions simultaneously. Because action preconditions depend on resource values and action effects change them, the "no moving targets" rule does not allow concurrent execution. However, if sufficient resources are available, executing actions simultaneously poses no problems. This paper addresses the problem of deciding whether a set of actions produced by a planning system can be executed concurrently in the presence of fluent variables that occur in both action preconditions and effects. We first motivate the concurrent action execution problem by introducing a fair action scheduling algorithm for real-time strategy (RTS) games. Then we prove that the general decision problem, when restricting effects and preconditions to polynomial time computations, is co-NP complete. Thereafter, we focus on problem restrictions based on commutative operators which allow us to specify sufficient conditions for concurrent executability that can be checked quickly if the number of shared fluents is small. Finally, we apply these findings to action execution with shared resources in RTS games.
Application of mnSOM on Linking External Exposure to Internal Load
Authors: Stefan W. Roeder, Matthias Richter, Olf Herbarth
Venue: Advances in Neuro-Information Processing: 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II (2009)

The internal load in humans caused by an external exposure is different in each person and mainly depends on metabolism. Using the recently proposed method of mnSOM we are able to describe the human metabolism using a functional module (linear or nonlinear) for each individual.mnSOM enables us to subdivide individuals into classes based on the functional description of each individuals metabolism. Furthermore the shown approach is able to show dependencies between external exposure and internal load in humans. In environmental epidemiology this will be used to establish links between external exposure and internal load patterns to gather clinical relevant information for practitioners.
Targeting the digital infrastructure
Authors: Laurie Rowell
Venue: netWorker (2009)

Most cybercrimes are crimes of opportunity perpetrated by armies of automated agents.
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability
Authors: David Navarre, Philippe Palanque, Jean-Francois Ladry, Eric Barboni
Venue: ACM Transactions on Computer-Human Interaction (TOCHI) (2009)

The design of real-life complex systems calls for advanced software engineering models, methods, and tools in order to meet critical requirements such as reliability, dependability, safety, or resilience that will avoid putting the company, the mission, or even human life at stake. When such systems encompass a substantial interactive component, the same level of confidence is required towards the human-computer interface. Conventional empirical or semiformal techniques, although very fruitful, do not provide sufficient insight on the reliability of the human-system cooperation, and offer no easy way to, for example, quantitatively and qualitatively compare two design options with respect to that reliability. The aim of this article is to present a user interface description language (called ICOs) for the engineering and development of usable and reliable user interfaces. The CASE tool supporting the ICOs notation (called Petshop) is a Petri nets-based-tool for the design, specification, prototyping, and validation of interactive software. In that environment models (built with the formal description technique ICOs) of the interactive application can be interactively modified and executed. This is used to support prototyping phases (when the models and the interactive application evolve significantly to meet late user requirements, for instance) as well as the operation phase (after the system is deployed). The use of ICOs and PetShop is presented on several large-scale systems such as a multimodal ground segment application for satellite control, an air traffic control interactive application, and an application for new generation of interactive cockpits in large civil aircraft such as Airbus A380 or Boeing 787. The article emphasizes the demonstration of the expressive power of the notation and how it can support the description of various aspects of user interfaces, namely interaction techniques (both WIMP and post-WIMP), interactive components (such as widgets), and the behavioral part of interactive applications such as the dialog and the functional core. It also demonstrates that PetShop provides dedicated support for prototyping activities of behavioral aspects at the various levels of the architecture of interactive systems. While the focus is on past work done on various large-scale applications, the article also highlights why and how ICOs and Petshop are able to address challenges raised by next-generation user interfaces.
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
Authors: Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

The specification language Csp-Casl allows one to model processes as well as data of distributed systems within one framework. In our paper, we describe how a combination of the existing tools Hets and Csp-Prover can solve the challenges that Csp-Casl raises on integrated theorem proving for processes and data. For building this new tool, the automated generation of theorems and their proofs in Isabelle/HOL plays a fundamental role. A case study of industrial strength demonstrates that our approach scales up to complex problems.
Doubt and Software Standards
Authors: Robert L. Glass
Venue: IEEE Software (2009)

The software engineering community needs to take a more critical view of software standards.
Visualization of math expressions through modality-nonspecific signals
Authors: Tatiana G. Evreinova
Venue: Universal Access in the Information Society (2009)

Acquiring reasonable math skills is essential for the visually disabled pupils and students. Research in electro-tactile pattern perception has shown that involving the resources of visual cortex into acquisition of tactile percepts augments comprehension of the encoded information for users with a sensory limitation. This paper describes matching software designed to facilitate the learning process of 13 electro-tactile patterns (eTPs) denoting eight math numbers and five arithmetic operators. Electro-tactile unit and software were used to shape stabilized monophasic current pulses provided through the pen coated with embedded double-strip ring type electrode. The performance of ten subjects was investigated in terms of the number of repetitions required to memorize and match the eTPs, and in terms of the recognition error committed in the matching phase of the test. The analysis of the data collected indicated that the novice-to-expert transition was significantly above chance when the results obtained in the first and the last test sessions were statistically compared. A permutation puzzle game which was also designed to induce the same ten blindfolded players to mobilize the perceptive skills and deploy individual playing tactics to manipulate the eTPs encoding math numbers and expressions for rebuilding simple arithmetic equations. The results of the use of the proposed gameplay technique are discussed. Upon learning and training, the eTPs could be employed to assign math numbers and arithmetic operators to communicate mathematics content.
SemEval-2007 task 06: word-sense disambiguation of prepositions
Authors: Ken Litkowski, Orin Hargraves
Venue: Proceedings of the 4th International Workshop on Semantic Evaluations (2007)

The SemEval-2007 task to disambiguate prepositions was designed as a lexical sample task. A set of over 25,000 instances was developed, covering 34 of the most frequent English prepositions, with two-thirds of the instances for training and one-third as the test set. Each instance identified a preposition to be tagged in a full sentence taken from the FrameNet corpus (mostly from the British National Corpus). Definitions from the Oxford Dictionary of English formed the sense inventories. Three teams participated, with all achieving supervised results significantly better than baselines, with a high fine-grained precision of 0.693. This level is somewhat similar to results on lexical sample tasks with open class words, indicating that significant progress has been made. The data generated in the task provides ample opportunitites for further investigations of preposition behavior.
Design of a lexical database for Sanskrit
Authors: Gérard Huet
Venue: Proceedings of the Workshop on Enhancing and Using Electronic Dictionaries (2004)

We present the architectural design rationale of a Sanskrit computational linguistics platform, where the lexical database has a central role. We explain the structuring requirements issued from the interlinking of grammatical tools through its hypertext rendition.
Multilingual deep lexical acquisition for HPSGs via supertagging
Authors: Phil Blunsom, Timothy Baldwin
Venue: Proceedings of the 2006 Conference on Empirical Methods in Natural Language Processing (2006)

We propose a conditional random field-based method for supertagging, and apply it to the task of learning new lexical items for HPSG-based precision grammars of English and Japanese. Using a pseudo-likelihood approximation we are able to scale our model to hundreds of supertags and tens-of-thousands of training sentences. We show that it is possible to achieve start-of-the-art results for both languages using maximally language-independent lexical features. Further, we explore the performance of the models at the type- and token-level, demonstrating their superior performance when compared to a unigram-based baseline and a transformation-based learning approach.