ppxscal/embedding_network huggingface dataset:
Thresholded rewards: acting optimally in timed, zero-sum games
Authors: Colin McMillen, Manuela Veloso
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

In timed, zero-sum games, the goal is to maximize the probability of winning, which is not necessarily the same as maximizing our expected reward. We consider cumulative intermediate reward to be the difference between our score and our opponent's score; the "true" reward of a win, loss, or tie is determined at the end of a game by applying a threshold function to the cumulative intermediate reward. We introduce thresholded-rewards problems to capture this dependency of the final reward outcome on the cumulative intermediate reward. Thresholded-rewards problems reflect different real-world stochastic planning domains, especially zero-sum games, in which time and score need to be considered. We investigate the application of thresholded rewards to finite-horizon Markov Decision Processes (MDPs). In general, the optimal policy for a thresholded-rewards MDP will be non-stationary, depending on the number of time steps remaining and the cumulative intermediate reward. We introduce an efficient value iteration algorithm that solves thresholded-rewards MDPs exactly, but with running time quadratic on the number of states in the MDP and the length of the time horizon. We investigate a number of heuristic-based techniques that efficiently find approximate solutions for MDPs with large state spaces or long time horizons.
Research on the Quality Evaluation of Digital Collections Based on Radial Basis Funcion Neural Network
Authors: Zhang Xiuhua
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

According to the self-organizing, self-learning and self-adapting characteristics of RBF neural network, this paper proposes the method for evaluating the quality of digital collections that is based on RBF Neural Network and builds up an evaluation model. The digital collection quality of five universities in Yantai and Weihai districts, Shandong Province, has been evaluated under such model. Analysis of the result of MATLAB simulation test has proved that the model is feasible and effective.
Recognition of Antimatroidal Point Sets
Authors: Yulia Kempner, Vadim E. Levit
Venue: Graph Theory, Computational Intelligence and Thought: Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday (2009)

The notion of "antimatroid with repetition" was conceived by Bjorner, Lovasz and Shor in 1991 as a multiset extension of the notion of antimatroid [2]. When the underlying set consists of only two elements, such two-dimensional antimatroids correspond to point sets in the plane. In this research we concentrate on efficient representation of antimatroidal point sets. We define a set of corner points that concisely represents a given antimatroidal point set and show how to reconstruct the antimatroidal point set from a proper set of corner points. We also present an algorithm allowing the given set of points to be recognized as a set of corner points of some antimatroidal point set.
CI Therapy: A Method for Harnessing Neuroplastic Changes to Improve Rehabilitation after Damage to the Brain
Authors: L. V. Gauthier, E. Taub
Venue: Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009 (2009)

Constraint-Induced Movement (CI) therapy has been successfully implemented for treating motor deficit resulting from a variety of previously intractable neurological conditions such as traumatic brain injury. CI therapy's efficacy can be attributed to two interrelated mechanisms: overcoming "learned nonuse" and neuroplasticity. Voxel-based morphometry (VBM) analyses have demonstrated that CI therapy produces lasting structural changes to the human brain. Patients that received full CI therapy demonstrated profuse grey matter increases in sensory and motor areas and hippocampus, whereas those who received only intensive motor practice did not. The magnitude of the observed structural changes was correlated with the extent to which the patient regained use of the impaired arm for daily activities. These findings demonstrate that the two mechanisms believed to underlie improvement from CI therapy, overcoming "learned nonuse" and neuroplasticity, act synergistically. Therefore, a bidirectional approach to treating brain injury, one that targets both brain and behavior, is suggested.
An Approach to and Evaluations of Assisted Living Systems Using Ambient Intelligence for Emergency Monitoring and Prevention
Authors: Thomas Kleinberger, Andreas Jedlitschka, Holger Storf, Silke Steinbach-Nordmann, Stephan Prueckner
Venue: Proceedings of the 5th International on ConferenceUniversal Access in Human-Computer Interaction. Part II: Intelligent and Ubiquitous Interaction Environments (2009)

Ambient Assisted Living (AAL) is currently one of the important research and development areas, where software engineering aspects play a significant role. The goal of AAL solutions is to apply ambient intelligence technologies to enable people with specific needs to continue to live in their preferred environments. This paper presents an approach and several evaluations for emergency monitoring applications. Experiments in a laboratory setting were performed to evaluate the accuracy of recognizing Activities of Daily Living (ADL). The results show that it is possible to detect ADLs with an accuracy of 92% on average. Hence, we conclude that it is possible to support elderly people in staying longer in their homes by autonomously detecting emergencies on the basis of ADL recognition.
Computing Weighted Solutions in Answer Set Programming
Authors: Duygu Çakmak, Esra Erdem, Halit Erdoğan
Venue: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (2009)

For some problems with many solutions, like planning and phylogeny reconstruction, one way to compute more desirable solutions is to assign weights to solutions, and then pick the ones whose weights are over (resp. below) a threshold. This paper studies computing weighted solutions to such problems in Answer Set Programming. We investigate two sorts of methods for computing weighted solutions: one suggests modifying the representation of the problem and the other suggests modifying the search procedure of the answer set solver. We show the applicability and the effectiveness of these methods in phylogeny reconstruction.
Construction of a Computer Game Oriented to Disaster Education and Reflections on Its Problems
Authors: Sujing Zhang, Hanjie Gu
Venue: Proceedings of the 4th International Conference on E-Learning and Games: Learning by Playing. Game-based Education System Design and Development (2009)

Despite the fact that greater importance has been attached to educational games, the design, development and application of computer games oriented to disaster education is rarely researched. This paper, therefore, attempts to make use of first aid knowledge targeting teenagers to develop a role-playing computer game oriented to disaster education under the guidance of fuzzy strategy. The paper also reflects on some existing problems after a preliminary experiment with the game.
Conformity Assessment in the Public Procurement of Accessible ICT
Authors: Stephan Corvers, Loïc Martínez-Normand, Clas Thorén, Enrique Varela, Eric Velleman, Klaus-Peter Wegge
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Addressing Diversity. Part I: Held as Part of HCI International 2009 (2009)

Public procurement is an important instrument for improving the accessibility of the information society. In Europe, in December 2005, the European Commission issued mandate M/376 to CEN, CENELEC and ETSI, to harmonize and facilitate the public procurement of accessible ICT products and services by identifying a set of functional European accessibility requirements for public procurement of products and services in the ICT domain. The mandate is to be carried out in two phases: Phase I --- inventory of accessibility requirements and assessment of suitable testing and conformity schemes, and Phase II --- standardization activities. This paper presents an overview of the technical report produced by the authors as members of a CEN and CENELEC project team assigned to carry out "an analysis of testing and conformity schemes of products and services meeting accessibility requirements". The work was developed from October 2007 until October 2008.
Multi-Population Agent Search: Stigmergy and Heterogeneity
Authors: Camelia Chira, Camelia-M. Pintea, D. Dumitrescu
Venue: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2008)

Ant systems normally rely on identical agents that cooperate indirectly using pheromone trails to find a problem solution. This uniformity may be inadequate in solving difficult problems where complex behavior patterns are needed. A new ant-based model is developed with the aim of promoting non-uniformity in the agent population by enhancing each agent with properties that induce heterogeneity. Agents are endowed with different pheromone sensitivity levels. Highly-sensitive agents are essentially influenced in the decision making process by stigmergic information and thus likely to select strong pheromone-marked moves. Agents with low sensitivity are biased towards random search inducing diversity for exploration. Sensitive agents allow many types of reactions to a changing environment facilitating an efficient balance between exploration and exploitation. This balance is pursued by organizing the agents in several subpopulations based on a sensitivity level interval. Therefore, each subpopulation has a specific behavior given by the sensitivity level spanning from the diversification to the intensification of the search. The proposed model is engaged in a set of numerical experiments and comparisons for solving various combinatorial optimization problems with very promising results.
Performance Results of a Prototype Board Designed for Copper Data Transmission in KM3NeT
Authors: Fabrizio Ameli, Stefano Russo, Gabriele Giovanetti, Fabrice Gensolen
Venue: Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications (2009)

The experience gained in designing submarine neutrino telescopes suggests to explore new ways of realizing the data transmission backbone at the detection unit level for the KM3NeT project. In order to decrease the difficulties in integration and handling of the backbones, some effort has been spent in developing a backbone based on copper links with simple tracts of cable connecting contiguous storeys. This work is aimed at the presentation of the general architecture of the system, at the description of an electronic board prototype designed to test the project feasibility and the discussion of the first results obtained. The main goal of the experimental setup was measuring the recovered clock jitter under various conditions, with and without cables. The jitter measured on the cleaned clock amounts to hundreds of picoseconds, well below the sub-nanosecond time resolution required by this kind of experiments.
Managing the Impact of On-chip Temperature on the Lifetime Reliability of Reliably Overclocked Systems
Authors: Viswanathan Subramanian, Prem Kumar Ramesh, Arun K. Somani
Venue: Proceedings of the 2009 Second International Conference on Dependability (2009)

Physical and environmental variations require the addition of safety margins to the clock frequency of digital systems, making it overly conservative. Aggressive, but reliable, dynamic clock frequency tuning mechanisms that achieve higher system performance, by adapting the clock rates beyond worst-case limits, have been proposed earlier. Even though reliable overclocking guarantees functional correctness, it leads to higher power consumption and overheating. As a consequence, reliable overclocking without considering on-chip temperatures will bring down the lifetime reliability of the chip. In this paper, we analyze how reliable overclocking impacts the on-chip temperature of microprocessors, and evaluate the effects of overheating, due to reliable dynamic overclocking mechanisms, on the lifetime reliability of such systems. We, then, evaluate the effects of performing thermal throttling, a technique that clamps the on-chip temperature below a predefined value, on system performance and reliability. Our study shows that a reliably overclocked system, along with dynamic thermal throttling, achieves around 25% performance improvement, while operating within 355K.
Exploiting Wikipedia and EuroWordNet to solve Cross-Lingual Question Answering
Authors: Sergio Ferrández, Antonio Toral, íscar Ferrández, Antonio Ferrández, Rafael Muñoz
Venue: Information Sciences: an International Journal (2009)

This paper describes a new advance in solving Cross-Lingual Question Answering (CL-QA) tasks. It is built on three main pillars: (i) the use of several multilingual knowledge resources to reference words between languages (the Inter Lingual Index (ILI) module of EuroWordNet and the multilingual knowledge encoded in Wikipedia); (ii) the consideration of more than only one translation per word in order to search candidate answers; and (iii) the analysis of the question in the original language without any translation process. This novel approach overcomes the errors caused by the common use of Machine Translation (MT) services by CL-QA systems. We also expose some studies and experiments that justify the importance of analyzing whether a Named Entity should be translated or not. Experimental results in bilingual scenarios show that our approach performs better than an MT based CL-QA approach achieving an average improvement of 36.7%.
Memetic networks: analyzing the effects of network properties in multi-agent performance
Authors: Ricardo M. Araujo, Luis C. Lamb
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

We explore the relationship between properties of the network defined by connected agents and the global system performance. This is achieved by means of a novel class of optimization algorithms. This new class makes explicit use of an underlying network that structures the information flow between multiple agents performing local searches. We show that this new class of algorithms is competitive with respect to other population-based optimization techniques. Finally, we demonstrate by numerical simulations that changes in the way the network is built leads to variations in the system's performance. In particular, we show how constrained hubs - highly connected agents - can be beneficial in particular optimization problems.
Modular Development of Certified System Software
Authors: Zhong Shao
Venue: Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (2009)

Certified software consists of a machine executable program plus a rigorous formal proof (checkable by computer) that the software is free of bugs with respect to a particular specification. The conventional wisdom is that certified software will never be practical because any real software must also rely on the underlying operating system which is too low-level and complex to be verifiable. In recent years, however, there have been many advances in the theory and engineering of mechanized proof systems applied to verification of low-level code, including proof-carrying code, certified assembly programming, logic-based type system, and certified or certifying compilation. In this talk, I will give an overview of this exciting new area, focusing on both foundational ideas and key insights that make the work on certified software differ from traditional style program verification. I will also describe several recent work on building certified thread implementation, interrupt handlers,stack-based control libraries, garbage collectors, and OS bootloaders.
Primal Congestion Control Algorithms for Multimedia Streams
Authors: Adrian Sterca
Venue: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2008)

We investigate in this paper congestion control algorithms that are TCP-friendlyand media-friendly at the same time, so they are more suitable for multimedia streaming than TCP's AIMD.We use in this investigation the optimization framework developed by Kelly et al.Kelly et al. derived two gradient-like algorithms, a primal algorithm and a dual one,to control the congestion in a computer network in an end-to-end way and to obtain optimal bandwidthallocation among competing sources. Starting with Kelly et. al's paper, several otherpapers proposed different variants of the original primal and dual algorithms,but none of these considers the specific characteristics of multimedia streams.The aim of this paper is to build window-based, primal congestion control algorithms for optimizing theperceived quality of multimedia streams in best-effort networks. We build thesemedia-friendly primal congestion control algorithms using the following recipe:1) first we construct a window-based congestion control algorithm that is TCP-friendly,but has a much more stable throughput and then 2) we shape this stable throughputaccording to media characteristics (e.g. bitrate). We present two such primal congestion control algorithmsand prove their stability around the equilibrium. 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
Study of Pentoxifylline Chemical Stability from Modified Release Tablets with Hydrophilic Mould
Authors: Eleonora Mircia, Silvia Imre, Emese Sipos, Veronica Avrigeanu, Adriana Popovici, Gabriel Hancu
Venue: Proceedings of the 2008 First International Conference on Complexity and Intelligence of the Artificial and Natural Complex Systems. Medical Applications of the Complex Systems. Biomedical Computing (2008)

Thermal and chemical stability of pentoxifylline from modified release tablets were studied. This experimental study observed the influence of temperature and humidity on the stability of pentoxifylline from the proposed formulations. The paper describes the HPLC determination of pentoxifylline from new controlled release tablets with hydrophilic matrix (HPMC, HPC, HEC). A C18 column with a mobile phase containing water : acetonitrile 70 : 30 (V/V) and UV detection at 280 nm was used. The „in vitro” dissolution test was carried out regarding the officinal stipulations of USP; the machine nr.2 was used (with paddles); as dissolution environment 1000 ml water, a constant temperature of 37±0,50C was kept. In all experiences, the rotation speed was 50 rpm. The studied tablets were kept in the stability chamber at a temperature of 40±20C and a relative humidity of 75±5 %. At different time intervals (a month, three months, six months), samples were prelevated to accomplish the dissolution test and the quantitative determination of pentoxifylline. From the evaluation of the experimental results, we observed the stability of pentoxifylline from all the prepared tablets.
Error estimates for an operator-splitting method for Navier-Stokes equations: Second-order schemes
Authors: Xiaoxia Dai, Jie Sun, Xiaoliang Cheng
Venue: Journal of Computational and Applied Mathematics (2009)

We present in this paper an error analysis of a fractional-step method for the approximation of the unsteady incompressible Navier-Stokes equations. Under mild regularity assumptions on the continuous solution, we obtain second-order error estimates in the time step size, both for velocity and pressure. Numerical results in agreement with the error analysis are also presented.
Integrated Optics: Theory and Technology, 6th edition
Authors: Robert G. Hunsperger
Venue:  (2009)

Integrated Optics explains the subject of optoelectronic devices and their use in integrated optics and fiber optic systems. The approach taken is to emphasize the physics of how devices work and how they can be (and have been) used in various applications as the field of optoelectronics has progressed from microphotonics to nanophotonics. Illustrations and references from technical journals have been used to demonstrate the relevance of the theory to currently important topics in industry. By reading this book, scientists, engineers, students and engineering managers can obtain an overall view of the theory and the most recent technology in Integrated Optics. 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
A logical framework for detecting anomalies in drug resistance algorithms
Authors: L. Caroprese, P. M. A. Sloot, B. Ó. Nualláin, E. Zumpano
Venue: Proceedings of the 2009 International Database Engineering & Applications Symposium (2009)

Virology research is nowadays a discipline involving a broad number of researchers gathered in different institutes and cooperating on defined issues. An example of such an endeavor is the research tackling anti-HIV treatment problems [7] conducted within the Virolab project. The main objective of the ViroLab project is to develop a Virtual Laboratory for Infectious Diseases that facilitates medical knowledge discovery and decision support for HIV drug resistance. Large, high quality in-vitro and clinical patient databases which can be used to relate genotype to drug-susceptibility phenotype have become available. The core of the ViroLab Virtual Laboratory is a rule-based ranking system. More specifically, using a Grid-based service oriented architecture, Virolab vertically integrates the biomedical information from viruses (proteins and mutations), patients and literature (drug resistance experiments), resulting in a rule-based decision support system for drug ranking. This paper is a contribution to virologists, epidemiologists and clinicians in medical knowledge discovery and decision support. The final aim is reasoning on the properties of algorithm modeling the interaction among drugs and HIV virus and detecting its anomalies such as rules that can never be satisfied and subset of rules that are in contradiction.