ppxscal/embedding_network huggingface dataset:
Continuous state POMDPs for object manipulation tasks
Authors: Emma Brunskill
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

My research focus is on using continuous state partially observable Markov decision processes (POMDPs) to perform object manipulation tasks using a robotic arm. During object manipulation, object dynamics can be extremely complex, non-linear and challenging to specify. To avoid modeling the full complexity of possible dynamics. I instead use a model which switches between a discrete number of simple dynamics models. By learning these models and extending Porta's continuous state POMDP framework (Porta et at. 2006) to incorporate this switching dynamics model, we hope to handle tasks that involve absolute and relative dynamics within a single framework. This dynamics model may be applicable not only to object manipulation tasks, but also to a number of other problems, such as robot navigation. By using an explicit model of uncertainty, I hope to create solutions to object manipulation tasks that more robustly handle the noisy sensory information received by physical robots.
Biplot methodology in exploratory analysis of microarray data
Authors: S. Gardner-Lubbe, N. J. le Roux, H. Maunders, V. Shah, S. Patwardhan
Venue: Statistical Analysis and Data Mining (2009)

Although principal component analysis is widely used in the exploration of microarray data, the advantages of constructing a biplot as multivariate analog to a scatterplot is seldom exploited. This paper illustrates the benefits of using biplots with microarray data to (1) visually display both the treatments and genes of such extreme high-dimensional data in a single plot, (2) relate the treatments to the underlying biological process through the use of biplot axes, and (3) to optimally separate classes and explore the differentially associated expression in genes. In this analysis, we have used gene expression measurements from human bronchial epithelial cells following exposure to whole cigarette smoke. Specifically, when exploring differences between treatments and differentially expressed genes, it is shown why the principal component biplot is not optimal and the analysis of distance biplot is introduced as an alternative to principal components. Copyright &copy; 2009 Wiley Periodicals, Inc., Statistical Analysis and Data Mining 2: 135-145, 2009
On a Software Architecture of JUIT-Image Based Authentication System
Authors: Nitin, Durg Singh Chauhan, Vivek Kumar Sehgal
Venue: Proceedings of the Advances in Electrical and Electronics Engineering - IAENG Special Edition of the World Congress on Engineering and Computer Science 2008 (2008)

A distributed system provides user with the ease of being accessible globally through the internet. Our Image based Authentication (IBA) system provides exactly that. The system is developed for academic use at Jaypee University of Information Technology (JUIT), provides a host of features that makes it user friendly and one of the most advanced IBA system till date. Secure environments protect their resources against unauthorized access by enforcing access control mechanisms. Therefore, when increasing security is an issue text based passwords are not enough to counter such problems. This is where IBA comes into play. IBA encapsulated in Kerberos Protocol, Version 5, and provides secured authentication tool to work on. Moreover, this tool provides a secure channel of communication between the communicating entities. This paper is a comprehensive study, describing how our system works along with the evaluation of its performances in different computing environments.
Contact Elements Prediction Based Haptic Rendering Method for Collaborative Virtual Assembly System
Authors: Hu Xiao-peng, Chen Cheng-jun, Zhou Yi-qi
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

Based on the collaborative virtual assembly system with haptic and force feedback, a contact elements prediction based haptic rendering method is proposed. This method is conducted at both server and client side. The server predicts the basic contact elements using haptic rendering model. At client side, according to the local proxy position and basic contact elements received from server side, the finial feedback force to be sent to PHANToM device is estimated under the invariability assumption of contact elements. This method can not only reduce the effects of both proxy position prediction error and network jitter, but also reduce the network transfer load greatly.
Using construct-centered design to align curriculum, instruction, and assessment development in emerging science
Authors: Shawn Y. Stevens, Joseph S. Krajcik, Namsoo Shin, James W. Pellegrino, Susan Geier, Su Swarat, Greg Light, Eun Jung Park, César Delgado, Denise Drane, Minyoung Song, Chris Quintana, Emily Shipley, Brenda Lopez Silva, Shanna Daly, Emily Wischow, Tom Moher, James W. Pellegrino, Clara Cahill, Alan K. Szeto, Nathan A. Unterman, Lincoln J. Lauhon, Gregory Light, Denise L. Drane, Eun Jung Park, Eric A. Hagedorn
Venue: Proceedings of the 8th international conference on International conference for the learning sciences - Volume 3 (2008)

The National Center for Learning and Teaching in Nanoscale Science and Engineering was established to conduct research on how to effectively introduce emergent sciences into K-16 classrooms, using nanoscale science and engineering (NSE) as an example. One of the NCLT's main goals is to develop an approach to map out the knowledge domains (constructs) associated with NSE and use these domains to guide learning research and the development of instructional materials, assessment, and teacher education. These efforts have been aligned through the development and institution of Construct-Centered Design (CCD), a principled process that is based largely on evidence-centered assessment design (Mislevy, Steinberg, Almond, Haertel, & Penuel, 2003) and learning goal-driven design (Krajcik, McNeill & Reiser, 2007). This poster session provides an overview of the CCD process and illustrates how the use of this process has afforded alignment of learning research with the development of instructional materials and assessments.
Development of Poyang Lake Water Environmental Geographic Information System
Authors: Sulin Xiang, Wenbin Zhou
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

Geographic information system is an effective tool for managing and displaying spatial data. With the lake water environment as an example, the Poyang lake water environmental geographic information system (PLWEGIS) was developed with object-oriented development tool-visual basic language, MapInfo and Matlab software in this paper, and main functions were introduced in detail. PLWEGIS had many functions such as displaying, editing, querying and searching, spatial statistics and analysis, thematic map compiling, and water quality evaluation. The abundant water environmental data could be managed conveniently by development of this system, and water resource management and water quality visualization evaluation could be realized. The development of this system has important realistic meaning for protection of Poyang lake water environment, which will provide assistant decision supports for reasonable exploiting lake water resources.
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
Authors: Sean Mclaughlin, Frank Pfenning
Venue: Proceedings of the 22nd International Conference on Automated Deduction (2009)

The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a general architecture and several high-level optimizations that enable its efficient implementation. Some of these rely on logic-specific properties, such as polarization and focusing, which have been shown to hold in a wide range of non-classical logics. Others, such as rule subsumption and recursive backward subsumption apply in general. We empirically evaluate our techniques on first-order intuitionistic logic with our implementation Imogen and demonstrate a substantial improvement over all other existing intuitionistic theorem provers on problems from the ILTP problem library.
Study on Indicators Choosing for Navigation Safety Assessment of Three Gorges Reservoir Areas Based on Delphi Method
Authors: Chaozhong Wu, Lili Ma, Baogang Zhang, Hongzhi Hu
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

Scientific and rational evaluation results depend on the indicators. Therefore, selecting the indicators which accorded with the characteristics of the target becomes the key for establishing the evaluation model. In this study, Delphi method was used to select the indicators. The results showed that the selected indicators are suitable for evaluating the safety of the navigation environment in Three Gorges Reservoir Areas.
A combinatorial approach to involution and &#x03b4;-regularity II: structure analysis of polynomial modules with pommaret bases
Authors: Werner M. Seiler
Venue: Applicable Algebra in Engineering, Communication and Computing (2009)

Much of the existing literature on involutive bases concentrates on their efficient algorithmic construction. By contrast, we are here more concerned with their structural properties. Pommaret bases are particularly useful in this respect. We show how they may be applied for determining the Krull and the projective dimension, respectively, and the depth of a polynomial module. We use these results for simple proofs of Hironaka&#x2019;s criterion for Cohen&#x2013;Macaulay modules and of the graded form of the Auslander&#x2013;Buchsbaum formula, respectively. Special emphasis is put on the syzygy theory of Pommaret bases and its use for the construction of a free resolution which is generically minimal for componentwise linear modules. In the monomial case, the arising complex always possesses the structure of a differential algebra and it is possible to derive an explicit formula for the differential. Here a minimal resolution is obtained, if and only if a stable module is treated. These observations generalise results by Eliahou and Kervaire. Using our resolution, we show that the degree of the Pommaret basis with respect to the degree reverse lexicographic term order is always the Castelnuovo&#x2013;Mumford regularity. This approach leads to new proofs for a number of characterisations of this invariant proposed in the literature. This includes in particular the criteria of Bayer/Stillman and Eisenbud/Goto, respectively. We also relate Pommaret bases to the recent work of Bermejo/Gimenez and Trung on computing the Castelnuovo&#x2013;Mumford regularity via saturations. It is well-known that Pommaret bases do not always exist but only in so-called &#x03b4;-regular coordinates. We show that several classical results in commutative algebra, holding only generically, are true for these special coordinates. In particular, they are related to regular sequences, independent sets of variables, saturations and Noether normalisations. Many properties of the generic initial ideal hold also for the leading ideal of the Pommaret basis with respect to the degree reverse lexicographic term order, although the latter one is in general not Borel-fixed. We present a deterministic approach for the effective construction of &#x03b4;-regular coordinates that is more efficient than all methods proposed in the literature so far. 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
An Optimization Control Algorithm of Traffic Signals for Urban Arterials
Authors: Lilin Zang, Lei Jia, Xiangxu Meng
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

An optimization model to the application of signal coordination for traffic arterials based on multi-group partition is proposed. The approach divides a large signalized arterial into subgroups with three to five signals in each subgroup according to actual traffic conditions. In each subgroup, signal coordination between neighboring intersections is built by a common cycle and offsets. A case study was presented to illustrate how the proposed approach could be applied, and the signal timing solutions were compared with the solutions from traditional signal coordination method using well-known TRANSYT-7F. Evaluation of the timing solutions using CORSIM simulator indicated that the proposed approach improved efficiencies for traffic arterials and reduced the vehicles’ delay time.
Towards efficient dominant relationship exploration of the product items on the web
Authors: Zhenglu Yang, Lin Li, Botao Wang, Masaru Kitsuregawa
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

In recent years, there has been a prevalence of search engines being employed to find useful information in the Web as they efficiently explore hyperlinks between web pages which define a natural graph structure that yields a good ranking. Unfortunately, current search engines cannot effectively rank those relational data, which exists on dynamic websites supported by online databases. In this study, to rank such structured data (i.e., find the "best" items), we propose an integrated online system consisting of compressed data structure to encode the dominant relationship of the relational data. Efficient querying strategies and updating scheme are devised to facilitate the ranking process. Extensive experiments illustrate the effectiveness and efficiency of our methods. As such, we believe the work in this paper can be complementary to traditional search engines.
ICT Services for Every Citizen: The Challenge of Gaps in User Knowledge
Authors: Kristin Skeide Fuglerud
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)

Many services in our society are digitalized. Being able to access and use information and communication products and services (ICTs) has become a prerequisite for independent living and to fully be able to take part in society. Therefore, ICTs should be designed in such a way that they are usable and accessible to all citizens. Experiences and results from four case studies involving diverse user groups are discussed in this paper. The focuses of the studies were usability and accessibility of ICTs intended to be used by "anyone." When looking across user interaction observations of these mainstream ICTs, the challenge of gaps in user knowledge were striking. The challenge of defining a basic level of usable and accessible ICT features is also discussed.
Theory of Computation
Authors: S. N. Sivanandam, M. Janaki Meena
Venue:  (2009)

The book is meant for a wide range of students doing their undergraduation and postgraduation courses related to Computer Science. All the concepts are elaborated with illustrations. Algorithmic procedures are provided at the necessary locations. Numerous examples are given for similar but different kinds of problems. Problems similar to the examples are given as Exercises. Objective questions with solutions are given at the end of each chapter. The basic concepts of automata theory, various types of automata and their limitations are given with examples. Turing machines are also dealt with in this book and the execution of Turing machines is traced for better understanding. Classification of decidable and undecidable problems is dealt with in detail. The book will also be useful for students who are preparing for competitive examinations. SALIENT FEATURES OF THE BOOK Detailed explanation of the concepts in formal languages and automata theory Several pictorial representations for better understanding. Simple stepwise procedure for designing finite and pushdown automata, designing Turing machines for recognizing languages and computing functions. Tracing the execution of the automata and Turing machines designed. Decidability and intractability are dealt with simple illustrations. About 350 solved problems, 200 exercise problems and 225 objective questions with answers. Syllabus covered for Theory of Computation of B.E., B.Tech, BCA, MCA, M.Sc and M.E. of various universities.
Incorporating Cognitive Aspects in Digital Human Modeling
Authors: Peter Thorvald, Dan Högberg, Keith Case
Venue: Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009 (2009)

To build software which, at the press of a button, can tell you what cognition related hazards there are within an environment or a task, is probably well into the future if it is possible at all. However, incorporating existing tools such as task analysis tools, interface design guidelines and information about general cognitive limitations in humans, could allow for greater evaluative options for cognitive ergonomics. The paper will discuss previous approaches on the subject and suggest adding design and evaluative guiding in DHM that will help a user with little to no knowledge of cognitive science, design and evaluate a human- product interaction scenario.
Local Community Identification in Social Networks
Authors: Jiyang Chen, Osmar Zaïane, Randy Goebel
Venue: Proceedings of the 2009 International Conference on Advances in Social Network Analysis and Mining (2009)

There has been much recent research on identifying global community structure in networks. However, most existing approaches require complete information of the graph in question, which is impractical for some networks, e.g. the World Wide Web (WWW). Algorithms for local community detection have been proposed but their results usually contain many outliers. In this paper, we propose a new measure of local community structure, coupled with a two-phase algorithm that extracts all possible candidates first, and then optimizes the community hierarchy. We compare our results with previous methods on real world networks such as the co-purchase network from Amazon. Experimental results verify the feasibility and effectiveness of our approach.
Situated conversational agents
Authors: Will Thompson
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

A Situated Conversational Agent (SCA) is an agent that engages in dialog about the context within which it is embedded. Situated dialog is characterized by its deep connection to the embedding context, and the precise cross-timing of linguistic and non-linguistic actions. This paper describes initial research into the construction of an SCA that engages in dialog about collaborative physical tasks, in which agents engage in dialog with the joint goal of manipulating the physical context in some manner. Constructing an SCA that can interact naturally in such tasks requires an agent with the ability to interleave planning, action, and observation while operating in a partially observable environment. Consequently, I propose to model an SCA as a Partially Observable Markov Decision Process (POMDP).
H1-Galerkin Mixed Finite Element Method for the Viscoelasticity Type Equation
Authors: Haitao Che, Meixia Li
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

In this paper, an H1-Galerkin mixed finite element method is proposed to simulate the viscoelasticity type equation. The problem is considered in n-dimentional (n-dimentional (n
Study on Retardation of Water Evaporation by Single and Mixed Monolayers at Air/Water Surface
Authors: Wu Yan, Wang Bingwen, Jia Qingzhu, Zheng Wei
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

In order to investigate the retardation of water evaporation by single and mixed monolayers at air/water surface, surface pressure (π)-time (t) isotherms, specific evaporation resistance (r)-temperature (T) curves had been used to describe the properties of monolayers made from single monolayers of 1-hexadecanol (C16OH) and mixed monolayers of C16OH and nonionic surfactants. The results showed that mixed monolayers exhibited considerably larger effective resitance to water evaporation and better anti-interference ability, in comparison with single monolayers. Also, microstructures of monolayers were investigated by an atomic force microscopy (AFM). From AFM images, it could been found that mixed monolayers gave a film with a less-defective and relatively flat surface.
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development
Authors: Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

Multi-view modeling and separation of concerns are widely used to decrease the design complexity of the large-scale software system. To ensure the correctness and consistency of multi-view requirement models, the formal verification technology should be applied to the model-driven development process. However, there still lacks unified theory foundation and tool supports for the rigorous modeling approach. To solve these problems, we implemented an integrated modeling and verification environment tMDA (Trustable MDA) based on the theory of UTP. In tMDA, developers model system requirements with UML static and dynamic models and verify the correctness and consistency of different models. A multidimensional model is proposed, which supports the consistency verification, liveness and safety property verification, OCL constraints and LTL formula verification. A Bank ATM System (BAS) is introduced to demonstrate how to utilize tMDA for design and verification.
An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics
Authors: Huikeng Lau, Iain Bate, Jon Timmis
Venue: Proceedings of the 8th International Conference on Artificial Immune Systems (2009)

In this paper, we present the first stage of our research strategy to develop an immune-inspired solution for detecting anomalies in a foraging swarm robotic system with an immuno-engineering approach. Within immuno-engineering, the initial stage of our research involves the understanding of problem domain, namely anomaly detection, in a foraging swarm robotic system deployed in dynamic environments. We present a systematically derived set of activities for this stage derived with Goal Structuring Notation and results of experiments carried out to establish the time-varying behaviour and how anomalies manifest themselves. Our future work will then be used to select and tailor an appropriate AIS algorithm to provide an effective and efficient means of anomaly detection.
Implications of User Anxiety in the Evaluation of Deception in Web Sites
Authors: Brent Auernheimer, Marie Iding, Martha E. Crosby
Venue: Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009 (2009)

In a pilot study, we investigated the effect of anxiety on users' susceptibility to deceptive information on Web pages. Specifically, we manipulated the perceived control and associated anxiety of participants with and without visual disabilities as they used an assistive technology, a screen reader. Preliminary findings indicated that anxious participants (i.e., without visual disabilities) using the unfamiliar assistive technology were more susceptible to deception and expressed more suspicion regarding the Web pages. We interpret these preliminary findings as consistent with the work of Whitson and Galinsky [1] and discuss implications for further research in Web site credibility determinations and users' susceptibility to deception.