ppxscal/embedding_network huggingface dataset:
Xen Virtualization: A fast and practical guide to supporting multiple operating systems with the Xen hypervisor
Authors: Prabhakar Chaganti
Venue:  (2007)

Xen is an open-source paravirtualization technology that provides a platform for running multiple operating systems on one physical hardware resource, while providing close to native performance. Xen supports several operating systems--Linux, FreeBSD, Windows, and NetBSD. It enables you to easily test, deploy and run your software and services on multiple operating systems with resource isolation and great performance. In this book we explore and use the open-source version of Xen. Getting started with virtualization and XenInstalling Xen from pre-built packages using yumInstalling and compile Xen from sourceRunning guest domains under Xen:Create Ubuntu guest domain using debootstrapCreate NetBSD domain using install imageCreate a Centos image using QemuCreate Slackware domain using domU image from jailtimeManaging remote Xen instances using:Xen manager (xm)XenManVirt-managerConfiguring Xen for networkingConnecting domains using:Bridged networking--uses network bridge and hardware MAC addressesRouted networking--uses Dom0 for all trafficImplementing storage solutions for guest domains:Using Files--file based; perfect for testingUsing Network File Systems (NFS)--works with remote NFS serverUsing Logical Volume Management (LVM)--for enterprise-grade storageSecuring your domain by encrypting root file systemsPlain device mapper-based encryptionKey-based device mapper encryption using LUKSMigrating live domains from one server to anotherSaving and restoring a domainTrends and forthcoming advances in the Xen world:libvirt to simplify access to virtualization domains in a vendor/hypervisor-independent wayVMcasting for transferring virtual machine images from the server to the client using RSS 2.0 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
Motivations in Open Source Software Communities: The Mediating Role of Effort Intensity and Goal Commitment
Authors: Weiling Ke, Ping Zhang
Venue: International Journal of Electronic Commerce (2009)

As a community-based innovation, the open source software (OSS) development phenomenon has received great attention from researchers and practitioners. Understanding the factors that affect the involvement and contributions of participants in OSS projects is of significance to facilitate project success. This paper investigates the effects of motivation on participant performance in OSS projects, drawing upon self-determination theory to examine how task effort (i. e., effort intensity and goal commitment) mediates the relationships between a spectrum of motivations and individual performance. The research model is supported by survey data from 204 participants in OSS projects. The theoretical contributions and managerial implications are discussed.
Evolutionary Markov Games Based on Neural Network
Authors: Liu Weibing, Wang Xianjia, Huang Binbin
Venue: Proceedings of the 6th International Symposium on Neural Networks: Advances in Neural Networks - Part III (2009)

Based on the dynamic characteristics of evolutionary game and Markov process, this paper presents a dynamic decision model for evolutionary Markov games. In this model, players' strategy-choosing is mapped to a Markov decision process with payoffs, and transition probability is made by Boltzmann distribution. This paper uses neural network to simulate strategy-choosing in evolutionary Markov games, Experimental results show that the neural network can successfully simulate players' dynamic learning and actions in evolutionary Markov games.
IT Practitioner's Perspective on Australian Risk Management Practices and Tools for Software Development Projects: A Pilot Study
Authors: Bee Bee Chua, June M. Verner
Venue: Proceeding of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05 (2005)

The focus of this paper is a pilot study of IT practitioners regarding risk management practices and tools used in Australian software development projects. Our previous work [1] explained the method used for investigating whether there were differences in the practices and procedures relating to projects with 1) inter-nal customers, 2) external customers and 3) both internal and external customers. For a comprehensive view to enable understanding the method use for data analysis in this pilot study 1) we explain the approach to what we have undertaken; 2) we discuss data collection for the survey and 3) describe our data analysis from the survey. Our respondents were from software development organizations in Australia and all had previously been involved with at least one software development project. Overall, we found that 1) risk management practices were used more frequently for projects involving external customers, 2) risk manage-ment is taken more seriously when external customers are involved, 3) the people who were responsible for risk management practices had senior positions within the organization, 4) there was no difference in the type of customer for projects where simulation and predictive tools were used, 5) external customers were more satisfied with simulation and predictive tools than internal customers.
The Purkinje System and Cardiac Geometry: Assessing Their Influence on the Paced Heart
Authors: Daniel Romero, Rafael Sebastian, Bart H. Bijnens, Viviana Zimmerman, Patrick M. Boyle, Edward J. Vigmond, Alejandro F. Frangi
Venue: Proceedings of the 5th International Conference on Functional Imaging and Modeling of the Heart (2009)

Whole heart computer models are being widely used to assess treatment planning like Cardiac Resynchronization Therapy (CRT), a recognized treatment for heart failure. Certain aspects like cardiac geometry and the Purkinje system (PS) are still sometimes neglected on the studies. The present study includes a model of the human ventricles with incorporated anatomical structures such as myofibers orientation and Purkinje system. Two meshes representative of hypertrophic and dilated cardiomyopathies were generated from an original healthy subject mesh. In the context of (III) atrio-ventricular (AV) block, a sequential pacing protocol was tested for different device configurations. The pacing protocols were performed in models including the PS and in models lacking the PS. The results show that the Purkinje System leads to the synchronization of the septum and the left ventricle (LV) lateral wall, thus minimizing the interventricular delay. Also the modifications in the geometry resulted in changes in the activation patterns of the LV lateral wall, differing notably from physiological scenario.
Model checking C source code for embedded systems
Authors: Bastian Schlich, Stefan Kowalewski
Venue: International Journal on Software Tools for Technology Transfer (STTT) (2009)

In this paper, the applicability of model checking to C code for embedded systems is studied. The paper is divided into two parts. In the first part, 13 existing model checkers for C code are detailed and evaluated for their applicability in the verification of C code for embedded systems. A case study is presented that applied CBMC as one representative C code model checker to an exemplary microcontroller program. As a consequence of this case study, we decided to develop a new model checker for source code for microcontrollers, called [mc]square. It is described in the second part of this paper. We present the architecture and the peculiarities of [mc]square, and we successfully applied [mc]square to the same microcontroller program used in the case study.
Foundation for program understanding
Authors: Erkki Laitila
Venue: Proceeding of the 2008 conference on Tenth Scandinavian Conference on Artificial Intelligence: SCAI 2008 (2008)

This paper presents a symbolic framework for program understanding. The framework makes use of three approaches, each of which has the following conceptual spaces: syntax, semantics, simulation, and pragmatics. The paper starts by focusing on grammars and then progresses via semantics and the automaton theory to program proving, which goal is typical for maintainers. The captured argumentative information helps them to create new logic-based knowledge, in which abstract program concepts are used to connect lower-level representations. A tool, JavaMaster, is used for simulating Java and for proving the results.
Longitudinal study of a building-scale RFID ecosystem
Authors: Evan Welbourne, Karl Koscher, Emad Soroush, Magdalena Balazinska, Gaetano Borriello
Venue: Proceedings of the 7th international conference on Mobile systems, applications, and services (2009)

Radio Frequency IDentification (RFID) deployments are becoming increasingly popular in both industrial and consumer-oriented settings. To effectively exploit and operate such deployments, important challenges must be addressed, from managing RFID data streams to handling limitations in reader accuracy and coverage. Furthermore, deployments that support pervasive computing raise additional issues related to user acceptance and system utility. To better understand these challenges, we conducted a four-week study of a building-scale EPC Class-1 Generation-2 RFID deployment, the "RFID Ecosystem", with 47 readers (160 antennas) installed throughout an 8,000 square meter building. During the study, 67 participants having over 300 tags accessed the collected RFID data through applications including an object finder and a friend tracker and several tools for managing personal data. We found that our RFID deployment produces a very manageable amount of data overall, but with orders of magnitude difference among various participants and objects. We also find that the tag detection rates tend to be low with high variance across the type of tag, participant and object. Users need expert guidance to effectively mount their tags and are encouraged by compelling applications to wear tags more frequently. Finally, probabilistic modeling and inference techniques promise to enable more complex applications by smoothing over gaps and errors in the data, but must be applied with care as they add significant computational and storage overhead.
Feature extraction based on Laplacian bidirectional maximum margin criterion
Authors: Wankou Yang, Jianguo Wang, Mingwu Ren, Jingyu Yang, Lei Zhang, Guanghai Liu
Venue: Pattern Recognition (2009)

Maximum margin criterion (MMC) based feature extraction is more efficient than linear discriminant analysis (LDA) for calculating the discriminant vectors since it does not need to calculate the inverse within-class scatter matrix. However, MMC ignores the discriminative information within the local structures of samples and the structural information embedding in the images. In this paper, we develop a novel criterion, namely Laplacian bidirectional maximum margin criterion (LBMMC), to address the issue. We formulate the image total Laplacian matrix, image within-class Laplacian matrix and image between-class Laplacian matrix using the sample similar weight that is widely used in machine learning. The proposed LBMMC based feature extraction computes the discriminant vectors by maximizing the difference between image between-class Laplacian matrix and image within-class Laplacian matrix in both row and column directions. Experiments on the FERET and Yale face databases show the effectiveness of the proposed LBMMC based feature extraction method.
Deriving Semantic from Images Based on the Edge Information
Authors: Xing Chen, Tony Delvecchio, Vincenzo di Lecce
Venue: Proceeding of the 2006 conference on Information Modelling and Knowledge Bases XVII (2006)

As the increase of digital image resources, image retrieval has been received widespread research interest. A popular approach for realizing the retrieval of relevant images from an image database is to match the vision features like histogram, color layout, textures and shapes automatically derived from images. However, the visual similarity does not always match to the human required retrieval results. This problem is known as the gap between visual similarity and human semantic. In this paper, we represent a method to bridge the gap. In our method, first, image's edges and their relative position information are derived. After that, independent factors hidden in the derived edge and position information are extracted by using a mathematic method referred to as the Singular Value Decomposition (SVD). We present our analysis on the relationship between the extracted independent factors and the human semantic. The most important contribution of this paper is that most extracted independent factors based on our method are demonstrated to be related to human semantic according to our experiments which are performed on 7,000 images.
Using Emotions for Behaviour-Selection Learning
Authors: Maria Malfaz, Miguel A. Salichs
Venue: Proceeding of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy (2006)

Emotions play a very important role in human behaviour and social interaction. In this paper we present a control architecture which uses emotions in the behaviour selection process of autonomous and social agents. The state of the agent is determined by its internal state, defined by its dominant motivation, and its relation with the external objects including other agents. The behaviour selection is learned by the agent using standard and multiagent Q-learning algorithms. The considered emotions are fear, happiness and sadness. The role of these emotions in this architecture is different, while the learning algorithms use happiness/sadness of the agent as positive/negative reinforcement signals, the emotion fear is used to prevent the agent of choosing dangerous actions as well as a motivation.
An evaluation of independent learning of the japanese hiragana system using an interactive cd
Authors: Barbara Geraghty, Ann Marcus quinn
Venue: ReCALL (2009)

As Japanese uses three writing systems (hiragana, katakana, and the ideograms known as kanji), and as materials in the target language include all three, it is a major challenge to learn to read and write quickly. This paper focuses on interactive multi-media methods of teaching Japanese reading which foster learner autonomy. As little has been published on interactive multi-media methods of teaching Japanese reading, it seems likely that traditional resources are generally used for this activity. The courseware includes sound files showing the pronunciation of each kana as well as simultaneous animation showing how to write each character. This paper investigates whether interactive courseware, used independently of classroom interaction, results in measurably greater recognition of the hiragana syllabary than more traditional methods. After briefly situating the study in the context of research on the teaching of Japanese reading and learner autonomy, the paper will present the courseware as well as an empirical study comparing the results of the use of the courseware by learners at beginners’ level: one group using the courseware, and the other using paper-based materials. This is followed by an account of learner diaries written by zero-beginner level learners of Japanese using the courseware. The study indicates that acquisition of a recognition-level knowledge of hiragana is approximately twice as fast using the courseware as using paper-based materials. Learners also learned to write the hiragana without explicit instruction.
Encoding properties of Łukasiewics paths
Authors: Anna Varvak
Venue: Proceedings of the 13th WSEAS international conference on Applied mathematics (2008)

Łukasiewics paths--lattice paths on non-negative integers with up-steps by arbitrary number of units but down-steps of one unit--have recursive features, reflected in that their generating function is expressed as a generalized continued fraction. Moveover, Łukasiewics paths can be used to construct various familiar combinatorial objects: permutations, partitions, idempotent functions, and multipermutations. The construction procedures lead to representations of the generating functions of these familiar objects as generalized continued fractions.
Virtual WiFi network database construction for positioning services
Authors: Jinyoung Han, Jeongkeun Lee, Munyoung Lee, Kideok Cho, Taejoon Ha, Ted "Taekyoung" Kwon
Venue: Proceedings of the 4th International Conference on Future Internet Technologies (2009)

WiFi-based location based services (LBSs) are expected to be more and more pervasive in future Internet. In WiFi networks, a virtual network database (VNDB), which maintains the estimated locations of access points (APs), should be constructed for the localization. Since the quality of the LBS is mainly determined by the location accuracy, it is essential to maintain accurate VNDBs for the LBS. In this paper, we propose two novel filtering methods to construct accurate VNDBs for the WiFi-based localization: RSS filtering and grid-based filtering. Experimental results on a real testbed show that the proposed methods construct a VNDB accurately and localization results with the accurate VNDB are comparable to those with a real network database (RNDB).
An Improved Quantum Evolutionary Algorithm with 2-Crossovers
Authors: Zhihui Xing, Haibin Duan, Chunfang Xu
Venue: Proceedings of the 6th International Symposium on Neural Networks on Advances in Neural Networks (2009)

Quantum evolutionary algorithm (QEA) is proposed on the basis of the concept and principles of quantum computing, which is a classical meta-heuristic algorithm for the approximate solution of combinatorial optimization problems that has been inspired by the principles of evaluation of living organisms in nature. QEA has strong robustness and easy to combine with other methods in optimization, but it has the shortcomings of stagnation that limits the wide application to the various areas. In this paper, a hybrid QEA with 2-crossovers was proposed to overcome the above-mentioned limitations. Considering the importance of randomization, 2-crossovers were applied to improve the convergence quality in the basic QEA model. In this way, the new-born individual after each updating can to help the population jump out of premature convergence. The proposed algorithm is tested with the Benchmark optimization problem, and the experimental results demonstrate that the proposed QEA is a feasible and effective in solving complex optimization problems.
Hypermedia as media
Authors: Everardo Reyes-García
Venue: Proceedings of the 20th ACM conference on Hypertext and hypermedia (2009)

Hypermedia community has been concerned with systems development, navigational models, and most recently, social implications of networks. As a result, it is possible to distinguish conventions of human-computer interaction, visual styles to interact and represent information, and participatory schemes of social behavior. These transformations allow for observing media in different manners. In this paper, we introduce the idea that hypermedia is not a medium because of its possibilities of linking, combining, and fragmenting several media. Hypermedia is a medium because it introduces new ways for creating media and transforming the communicative process.
Fixed-Parameter Algorithms for Graph-Modeled Date Clustering
Authors: Jiong Guo
Venue: Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation (2009)

We survey some practical techniques for designing fixed-parameter algorithms for NP-hard graph-modeled data clustering problems. Such clustering problems ask to modify a given graph into a union of dense subgraphs. In particular, we discuss (polynomial-time) kernelizations and depth-bounded search trees and provide concrete applications of these techniques. After that, we shortly review the use of two further algorithmic techniques, iterative compression and average parameterization, applied to graph-modeled data clustering. Finally, we address some challenges for future research.
Knowledge Management in Digital Economy
Authors: Lilia Georgieva, Imran Zia
Venue: Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications (2009)

Knowledge management is the process of gathering, refining, organising, and disseminating knowledge through which organisations generate value from their intellectual and knowledge-based assets. In this paper we study standard formal models for knowledge management and discuss their transfer to digital economy. We propose a framework for knowledge management applicable to online trading agents. The framework relies on identification of processes which support knowledge management. We express knowledge exchange in epistemic logic. We then translate multi-agent dialogues in a protocol language which is verifiable by model checking.
Joint Source-Channel Coding of Discrete-Time Signals with Continuous Amplitudes
Authors: Norbert Goertz
Venue:  (2007)

This book provides the first comprehensive and easy-to-read discussion of joint source-channel encoding and decoding for source signals with continuous amplitudes. It is a state-of-the-art presentation of this exciting, thriving field of research, making pioneering contributions to the new concept of source-adaptive modulation. The book starts with the basic theory and the motivation for a joint realization of source and channel coding. Specialized chapters deal with practically relevant scenarios such as iterative source-channel decoding and its optimization for a given encoder, and also improved encoder designs by channel-adaptive quantization or source-adaptive modulation.Although Information Theory is not the main topic of the book - in fact, the concept of joint source-channel coding is contradictory to the classical system design motivated by a questionable practical interpretation of the separation theorem - this theory still provides the ultimate performance limits for any practical system, whether it uses joint source-channel coding or not. Therefore, the theoretical limits are presented in a self-contained appendix, which is a useful reference also for those not directly interested in the main topic of this book. 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
Black and white transparency: contradictions of a moral metaphor
Authors: Armando Menéndez-Viso
Venue: Ethics and Information Technology (2009)

Transparency has evolved from an individual, dangerous power in Plato to a desirable, collective property in the contemporary world. This paper intends to give a brief account of this long and somehow surprising path and extract some interesting consequences for economic and political activities, as well as for information technologies. Six literary masterpieces are used to highlight the contradictions and dangers entailed by the abuse of the fascinating metaphor of transparency. In the end, what is usually intended when demanding transparency from a corporation, a firm or a state is more (or more accessible) information about it, i.e., understandable and abundant black and white data. This means reporting, picturing, producing material, becoming apparent, which is precisely the contrary of being transparent. We don't want to look through, but to look directly at. The question, then, is not transparency, but opacity: what do we need and want to see, and how is this going to be produced?