ppxscal/embedding_network huggingface dataset:
Behaving responsible in multi-agent worlds
Authors: Tiago de Lima, Lambèr Royakkers, Frank Dignum
Venue: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2 (2009)

It has been proposed that a good way of allocating tasks to agents is by ascribing them obligations, i.e., if we want agent i achieves &phis;, we can stipulate that 'it is obligatory for i that &phis;'. Here, we argue that this method is not adequate to guide agent's decisions. Then, using a multi-agent extension of propositional dynamic logic, with operators expressing agents' knowledge and abilities, we show that when agents' decisions are guided by responsibilities, as we define here, a successful performance is more likely to be obtained.
Reduction methods for approximate solution of the singular integro-differential equations in Lebesgue spaces
Authors: Iurie Caraus, Nikos E. Mastorakis
Venue: Proceedings of the 15th american conference on Applied mathematics (2009)

We have elaborated the numerical schemes of reduction method by Faber-Laurent polynomials for the approximate solution of system of singular integro- differential equations. The equations are defined on the arbitrary smooth closed contour. The theoretical foundation has been obtained in Lebesgue spaces.
Estimate for the number of zeros of Abelian integrals for a kind of quartic hamiltonians
Authors: Yan Zhang, Cuiping Li
Venue: Neural, Parallel Scientific Computations (2008)

In this paper, we give a lower upper bound of the number of zeros of part of the Abelian integral I(h)= ∫δ(h)P(x, y)dx+ Q(x, y)dy, h∈ Σ, where δ(h) is an oval contained in the level set {H(x, y)= y2+ x4- x2= h}, P(x, y), Q(x, y)are real polynomials of xand ywith degree not greater than n, Σ is the maximal interval of the existence of the ovals {δ(h)}. The corresponding vector space of the Abelian integral I(h)defined on the open interval Σ obeys the Chebyshev property (the maximal number of isolated zeros of each function is less than the dimension of the space of functions).
A hybrid statistical genetic-based demand forecasting expert system
Authors: Hanaa E. Sayed, Hossam A. Gabbar, Shigeji Miyazaki
Venue: Expert Systems with Applications: An International Journal (2009)

Demand forecasting is considered a key factor for balancing risk of over-stocking and out-of-stock. It is the main input to supply chain processes affecting their performance. Even with much effort and funds spent to improve supply chain processes, they still lack reliability and efficiency if the demand forecast accuracy is poor. This paper presents a proposal of an integrated model of statistical methods and improved genetic algorithm to generate better demand forecast accuracy. An improved genetic algorithm is used to choose the best weights among the statistical methods and to optimize the forecasted activities combinations that maximize profit. A case study is presented using different product types. And, a comparison is conducted between results obtained from the proposed model and from traditional statistical methods, which demonstrates improved forecast accuracy using the proposed model for all time series types.
Denial-of-Service attacks and countermeasures in IEEE 802.11 wireless networks
Authors: Kemal Bicakci, Bulent Tavli
Venue: Computer Standards Interfaces (2009)

IEEE 802.11 access points deployed in shopping malls, university campuses, crowded streets, airports, and many other locations provide ubiquitous Internet access to millions of stations. However, these hot spots are vulnerable to Denial-of-Service (DoS) attacks due to the broadcast nature of wireless communication. It does not require specialized hardware or particularly high level of experience to render 802.11 networks inoperable through DoS attacks. Standard off-the-shelf equipment is sufficient for a malicious station to disrupt the service between access points and stations. In this paper we present a systematic survey of DoS attacks, which exploits MAC and physical layer vulnerabilities of 802.11 networks. Available countermeasures against DoS attacks are discussed and compared. Future research directions and open issues are also discussed.
Categorization and Social Norms Support
Authors: Daniel Villatoro, Jordi Sabater-Mir
Venue: Proceeding of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence (2008)

Social Norms proliferate in societies as a mechanism for self-organization. This kind of norms are not enforced by a central authority and the individuals of the society are those responsible for their generation and maintenance. The maintenance process is what is known as norm support and is supported by several mechanisms like for example laws, social proof, dominance, etc. We believe that agent based simulation is a suitable technique for investigating this topic. In this paper we present an overview of the work we have been developing in this area. The 'Find and Share (and Exchange)' game is introduced as the environment where to prove our hyphotheses on social norms. After that, we present an initial categorization on the possible social norms in our environment. Finally, some mechanisms are studied to observe its effectiveness solving the norm suport problem.
A multivariate regression approach to association analysis of a quantitative trait network
Authors: Seyoung Kim, Kyung-Ah Sohn, Eric P. Xing
Venue: Bioinformatics (2009)

Motivation: Many complex disease syndromes such as asthma consist of a large number of highly related, rather than independent, clinical phenotypes, raising a new technical challenge in identifying genetic variations associated simultaneously with correlated traits. Although a causal genetic variation may influence a group of highly correlated traits jointly, most of the previous association analyses considered each phenotype separately, or combined results from a set of single-phenotype analyses. Results: We propose a new statistical framework called graph-guided fused lasso to address this issue in a principled way. Our approach represents the dependency structure among the quantitative traits explicitly as a network, and leverages this trait network to encode structured regularizations in a multivariate regression model over the genotypes and traits, so that the genetic markers that jointly influence subgroups of highly correlated traits can be detected with high sensitivity and specificity. While most of the traditional methods examined each phenotype independently, our approach analyzes all of the traits jointly in a single statistical method to discover the genetic markers that perturb a subset of correlated triats jointly rather than a single trait. Using simulated datasets based on the HapMap consortium data and an asthma dataset, we compare the performance of our method with the single-marker analysis, and other sparse regression methods that do not use any structural information in the traits. Our results show that there is a significant advantage in detecting the true causal single nucleotide polymorphisms when we incorporate the correlation pattern in traits using our proposed methods. Availability: Software for GFlasso is available at http://www.sailing.cs.cmu.edu/gflasso.html Contact:sssykim@cs.cmu.edu; ksohn@cs.cmu.edu;
Acting Interactively in a Digital World
Authors: Roman Danylak, Ernest Edmonds
Venue: Proceeding of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05 (2005)

The virtual world that computation now presents to us and involves us in, otherwise known as digitisation --collapses the 'self'; personal identity to which we have become accustomed to in the last four hundred years, is challenged by the illusion of many selves, transforming our experience of the usual. Digital technology predicates this change; we are no longer happy with just being John Smith, our namesake, and the technology allows, even encourages this; it presents us with the possibility of playing in an infinite game where we can be many other beings, other types of people, rather than staying as 'who' we are. The combination of separate, unique, historically evolved representational technologies, best stated as counterfeit, production and simulation, distinctions established by Baudrillard [1] allows this diversity of self to evolve in a digitised environment. This paper will focus on Spielberg's film Catch Me if You Can, the narrative describing the actions of its game playing protagonist, Frank Abagnale --who exemplifies digital man-adopting many personas but in a pre-digital world. This study offers a clear understanding of the nature of interactivity and its relationship to representation and human action. Semiotic analysis of these distinctions will be included.
SystemC/C-based model-driven design for embedded systems
Authors: Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini
Venue: ACM Transactions on Embedded Computing Systems (TECS) (2009)

This article summarizes our effort, since 2004 up to the present time, for improving the current industrial Systems-on-Chip and Embedded Systems design by joining the capabilities of the unified modeling language (UML) and SystemC/C programming languages to operate at system-level. The proposed approach exploits the OMG model-driven architecture&mdash;a framework for Model-driven Engineering&mdash;capabilities of reducing abstract, coarse-grained and platform-independent system models to fine-grained and platform-specific models. We first defined a design methodology and a development flow for the hardware, based on a SystemC UML profile and encompassing different levels of abstraction. We then included a multithread C UML profile for modelling software applications. Both SystemC/C profiles are consistent sets of modelling constructs designed to lift the programming features (both structural and behavioral) of the two coding languages to the UML modeling level. The new codesign flow is supported by an environment, which allows system modeling at higher abstraction levels (from a functional executable level to a register transfer level) and supports automatic code-generation/back-annotation from/to UML models.
Consistency Management Strategies for Data Replication in Mobile Ad Hoc Networks
Authors: Takahiro Hara, Sanjay Kumar Madria
Venue: IEEE Transactions on Mobile Computing (2009)

In a mobile ad hoc network, data replication drastically improves data availability. However, since mobile hosts' mobility causes frequent network partitioning, consistency management of data operations on replicas becomes a crucial issue. In such an environment, the global consistency of data operations on replicas is not desirable by many applications. Thus, new consistency maintenance based on local conditions such as location and time need to be investigated. This paper attempts to classify different consistency levels according to requirements from applications and provides protocols to realize them. We report simulation results to investigate the characteristics of these consistency protocols in a mobile ad hoc network.
An integrated knowledge management framework for knowledge enablement of information systems development projects
Authors: Annette L. Steenkamp
Venue:  (2008)

Information Systems Development (ISD) projects are knowledge-intensive and socio-technical undertakings that need a comprehensive knowledge management (KM) approach to address the underlying KM issues. This research investigated ISD project execution problems in a global enterprise. An Enterprise Knowledge Domain Model (EKDM) and an Integrated Knowledge Management Framework (IKMF) were developed using a comprehensive KM approach, which required tight integration between business and knowledge domain components. The related models were instantiated for the ISD project domain to investigate ISD project execution problems. Historical data from an S P 100 multi-domain global business enterprise was studied to identify problematic knowledge domains. The research work concluded with the development of a Knowledge Enablement Model for ISD projects and Knowledge Enablement recommendations for the subject enterprise.
Channel-aware packet scheduling for MANETs
Authors: K. N. Sridhar, Mun Choon Chan
Venue: Proceedings of the 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks (2008)

In this work, we present, CaSMA, a packet scheduling mechanism for mobile ad hoc networks (MANETs) that takes into account both the congestion state and the end-to-end path duration. We show that CaSMA approximates an ideal scheduling mechanism in terms of maximizing the goodput and sharing the throughput (losses) fairly among the contending flows. Further, the simulation results show that both average delay for CBR flows and throughput for TCP can be improved substantially compared to FIFO.
Decision Making Patterns in Virtual Teams
Authors: Peter Reimann, Kate Thompson, Miriam Weinel
Venue: Proceeding of the 2007 conference on Supporting Learning Flow through Integrative Technologies (2007)

The basics of system dynamics modelling were taught to postgraduate students as part of a Masters course. The course was taught in an online e-learning environment incorporating both synchronous and asynchronous tools to facilitate the collaborative nature of the tasks. The focus of this article is to investigate the patterns present in decision-making in one group engaged in an online task involving the modification of a system dynamics model (SDM) as a tool for learning.
Photoshop CS3 for Screen Printers
Authors: Joli Ballew
Venue: Wordware Applications Library (2007)

Photoshop CS3 for Screen Printers details the features of Photoshop CS3 and explains how to utilize the software in print facilities. This book takes you through the process step-by-step with a number of projects relating specifically to the needs of screen printers that range from configuring settings and creating custom background colors to building images with layers and colorizing images.
Using Formal Concept Analysis towards Cooperative E-Learning
Authors: Ghassan Beydoun
Venue: Knowledge Acquisition: Approaches, Algorithms and Applications: Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers (2009)

Student interactions in an e-learning community are captured to construct a Semantic Web (SW) to create a collective meta-knowledge structure guiding students as they search the existing knowledge corpus. Formal Concept Analysis (FCA) is used as a knowledge acquisition tool to process the students virtual surfing trails to express and exploit the dependencies between webpages to yield subsequent and more effective focused search results. The system KAPUST2 (Keeper And Processor of User Surfing Trails) which constructs from captured students trails a conceptual lattice guiding student queries is presented. Using KAPUST as an e-learning software for an undergraduate class over two semesters shows how the lattice evolved over the two semesters, improving its performance by exploring the relationship between `kinds' of research assignments and the e-learning semantic web development. Course instructors monitored the evolution of the lattice with interesting positive pedagogical consequences.
Structure learning with independent non-identically distributed data
Authors: Robert E. Tillman
Venue: Proceedings of the 26th Annual International Conference on Machine Learning (2009)

There are well known algorithms for learning the structure of directed and undirected graphical models from data, but nearly all assume that the data consists of a single i.i.d. sample. In contexts such as fMRI analysis, data may consist of an ensemble of independent samples from a common data generating mechanism which may not have identical distributions. Pooling such data can result in a number of well known statistical problems so each sample must be analyzed individually, which offers no increase in power due to the presence of multiple samples. We show how existing constraint based methods can be modified to learn structure from the aggregate of such data in a statistically sound manner. The prescribed method is simple to implement and based on existing statistical methods employed in metaanalysis and other areas, but works surprisingly well in this context where there are increased concerns due to issues such as retesting. We report results for directed models, but the method given is just as applicable to undirected models.
The Rational Guide to SQL Server CLR Integration
Authors: Greg Low
Venue: Rational Guides (2007)

SQL Server 2005 revolutionized the way database applications are written. Microsoft's Common Language Runtime (CLR) allows you to create development and execution environments with integrated languages and libraries. In The Rational Guide to Microsoft SQL Server 2005 CLR, Microsoft Regional Director Greg Low clearly and concisely explains everything you need to know to use the CLR features of SQL Server 2005, including user-defined functions, stored procedures, triggers, user-defined aggregates, user-defined types, security, and performance. Advanced topics include deployment, advanced integration topics, tips for developers, and advice for DBAs. Technical Accuracy is assured by Bob Beauchemin, Microsoft SQL Server MVP and Director of Developer Skills, SQLskills. 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
Method for presenting virtual objects to multiple fingers on two-hands using multiple single-point haptic devices
Authors: Takuya Handa, Tadahiro Sakai, Toshiya Morita
Venue: Proceedings of the World Haptics 2009 - Third Joint EuroHaptics conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2009)

In this paper, we discuss a method for presenting virtual objects to multiple fingers on both hands using multiple single-point haptic devices operating over a network. We evaluated the effect of the number of fingers used on ability to recognize shapes using this system. The experimental results suggest that the number of contact points do not sufficiently improve the ability to recognize shapes, and the method used for recognizing object shape is rather different between using one finger and using multiple fingers.
Plenary lecture 11: GPS-based optimal FIR filtering of discrete-time clock models
Authors: Yuriy S. Shmaliy
Venue: Proceedings of the international conference on Computational and information science 2009 (2009)

Although Time is a perfect eraser of any information (we have only a few evidences of ancient civilizations), modern digital information technologies rely on an extremely high accuracy of local timescales. The function of time dissemination is ordered to the Global Navigation Satellite Systems (GNSS) such as the Global Positioning System (GPS) measuring up to world standards for signals and systems. Even so, precision of the disseminated time is limited with noise, which standard deviation using commercially available timing receivers is about 30 ns, can reach 10-20 ns and may be improved by removal of systematic errors to no less than 3-5 ns. Precise correction of the local clock errors is hence not always available and optimal estimators are used. The problem we meet here is coupled with the nonstationary random behavior of the clock TIE and the GPS time temporary uncertainties caused by different satellites in a view. It arises in connection with the non Gaussian sawtooth noise induced by the receiver owing to the principle of the one pulse per second (1PPS) signal formation and with the non-white (colored) Gaussian noise of the clock oscillator. Under such conditions, the standard Kalman algorithm cannot always be used properly and may become noisy and unstable. This lecture introduces readers to the finite impulse response (FIR) filtering approach in applications to GPS-based measurements of the local clock errors. Precision of such measurements is limited by the GPS time temporary uncertainty and non Gaussian sawtooth noise induces by the GPS timing receiver. Therefore, optimal solutions are needed to estimate the clock instabilities. We give the fundamentals of FIR filtering, prediction, and smoothing of the polynomial and state space clock models. Unbiased and optimal FIR solutions are observed in line with the basic and thinning algorithms. The trade-off with the Kalman-Bucy algorithm is also discussed. It is noticed that, for large averaging horizons featured to slowly changing with time clock models, simple unbiased FIR solutions become virtually optimal. They may be the best choice in terms of simplicity, precision, stability, and robustness in solving many of the clock problems in GPS-based timekeeping and clock synchronization. Although, we discuss mostly an applied computation problem associated with accurate estimation of clock models, the results are readily extended to general polynomial discrete-time state space models.
Urban building recognition during significant temporal variations
Authors: G. P. Nguyen, H. J. Andersen, M. F. Christensen
Venue: Proceedings of the 2008 IEEE Workshop on Applications of Computer Vision (2008)

In literature, existing researches on building recognition mainly concentrate on scales, rotations, and viewpoints variance. In urban environment, large temporal variations of weather and lighting conditions should also be considered as major challenges for robust recognition. For instances, there are differences between images captured during day-time and nighttime, especially significant changes in building appearances between seasons because of the differences in light setting. To date, these large temporal variation issues have not been fully investigated. In this paper, we therefore focus on constructing a system that deals with the temporal difference factors in recognizing urban buildings. In order to build such a system, two main criteria are raised, namely the efficiency of the recognition algorithm and the speed for interactive search purpose. For recognition purpose, we exploit the MOPS features (Multi-scale Oriented Patches) in [2], which extract features of patches around interest points. To speed up the searching process, we employ the vocabulary tree based search technique in [12]. Our final system shows high performance in recognizing buildings under significant temporal variations with a fast processing reaction.
Goal Transition Model and Its Application for Supporting Teachers based on Ontologies
Authors: Toshinobu Kasai, Haruhisa Yamaguchi, Kazuo Nagano, Riichiro Mizoguchi
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

In Japan, the “Period of Integrated Study” program to enhance practical skills began in elementary and secondary education in 2002. Most goals of this program involve meta-ability, which cannot be fully learned by traditional Japanese instructional methods. For this reason, it is necessary and important to provide instructors with a powerful help system that can locate and provide access to a variety of useful information resources. To this end, we built a system that reconstructs the resources according to various viewpoints based on Semantic Web technology. Further, we propose Goal Transition Model to show a skeleton of the transition of instructional goals based on ontologies. And we propose support functions that are used in the model.