ppxscal/embedding_network huggingface dataset:
Making the Unobservable, Unobservable
Authors: Julian Rathke, Paweł Sobociński
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

Behavioural equivalences of various calculi for modelling distributed systems differ significantly because the properties which can be observed through interaction depend heavily upon their mode of communication. A typical approach to describing the semantics of communicating processes is to provide a labelled transition system (lts) which captures the interaction potential of the individual processes within a larger system. In many cases, a natural rendering of this lts leads to too fine a semantics as unobservability of certain communications is not accounted for. We propose that a standard approach to augmenting ltss allows morally unobservable communications to actually be modelled as unobservables in the semantics. This approach derives from a rule initially given by Honda and Tokoro to account for unobservability of reception in the asynchronous @p-calculus. We examine the implications of adding such rules to lts with respect to the proving behavioural equivalences for various synchronisation mechanisms.
New results on robust exponential stability for discrete recurrent neural networks with time-varying delays
Authors: Zhengguang Wu, Hongye Su, Jian Chu, Wuneng Zhou
Venue: Neurocomputing (2009)

This paper is concerned with the problem of robust exponential stability analysis for uncertain discrete recurrent neural networks with time-varying delays. In terms of linear matrix inequality (LMI) approach, some novel stability conditions are proposed via a new Lyapunov function. Neither any model transformation nor free-weighting matrices are employed in our theoretical derivation. The established stability criteria significantly improve and simplify some existing stability conditions. Numerical examples are given to demonstrate the effectiveness of the proposed methods.
Multivariate trees for mixed outcomes
Authors: Abdessamad Dine, Denis Larocque, François Bellavance
Venue: Computational Statistics Data Analysis (2009)

In this paper, we propose a tree-based method for multivariate outcomes consisting in a mixture of categorical and continuous responses. The split function for tree-growing is derived from a likelihood-based approach for a general location model (GLOM). One situation where the new approach should be appealing is when mixed types of multiple outcomes are used as surrogates for an unobserved latent outcome. Two illustrations of the application of the new method are given with health care data.
On the Syntax and Semantics of Effect Axioms
Authors: Haythem O. Ismail
Venue: Proceeding of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008) (2008)

Effect axioms constitute the cornerstone of formal theories of action in AI. They drive standard reasoning tasks, especially prediction. These tasks need not be coupled with actual acting; the reasoning agent is, thus, typically given an ex post acto narrative of what actions took place. An acting agent, however, has no access to such knowledge; it needs to face what we call the event categorization problem, and figure out what actions it did. Until this is achieved, effect axioms will be useless. A careful review of the literature on effect axioms reveals that their syntax, semantics, and ontological commitments are so deeply entrenched in the armchair reasoning about action paradigm, that they cannot be used in resolving the event categorization problem. By enriching the ontology of action theories, we propose a different approach for representing effects of actions that unifies the two views. The enriched ontology is independently motivated by linguistic concerns.
Supporting nested OpenMP parallelism in the TAU performance system
Authors: Alan Morris, Allen D. Malony, Sameer S. Shende
Venue: International Journal of Parallel Programming (2007)

Nested OpenMP parallelism allows an application to spawn teams of nested threads. This hierarchical nature of thread creation and usage poses problems lbr performance measurement tools that must determine thread context to properly maintain per-thread performance data. In this paper we describe the problem and a novel solution for identifying threads uniquely. Our approach has been implemented in the TAU performance system and has been successfully used in profiling and tracing OpenMP applications with nested parallelism. We also describe how extensions to the OpenMP standard can help cool developers uniquely identify threads.
Challenges for context management systems imposed by context inference
Authors: Korbinian Frank, Nikos Kalatzis, Ioanna Roussaki, Nicolas Liampotis
Venue: Proceedings of the 6th international workshop on Managing ubiquitous communications and services (2009)

This work gives an overview over the challenges for context management systems in Ubiquitous Computing frameworks or Personal Smart Spaces. Focused on the integration of context inference in today's context management systems (CMSs) we address important design decisions for future frameworks. The inference system we have in mind is probabilistic and relies on the concept of Bayeslets, special inference rules extending Bayesian networks. We show that for inference rule creation, storage, inference scheduling and update frequency the best solutions are hybrid, allowing for high flexibility and performance while reducing resource costs. We also see that human expert knowledge cannot be substituted completely in an efficient context-aware system.
Virtualization, A Beginner's Guide, 1 edition
Authors: Nelson Ruest, Danielle Ruest
Venue: Beginner'S Guide (2009)

Migrate to a dynamic, on-demand data delivery platform"If you're looking to hit the ground running with any virtualization project, large or small, this book is going to give you the start you need, and along the way will offer you some cautionary tales that will even take some seasoned virtualization veterans by surprise." --From the foreword by Chris Wolf, Senior Analyst, Burton GroupTransform your IT infrastructure into a leaner, greener datacenter with expert guidance from a pair of industry professionals. Through clear explanations, examples, and a five-step deployment plan, Virtualization: A Beginner's Guide shows you how to maximize the latest technologies from Citrix, Microsoft, and VMware. Consolidate your servers, set up virtual machines and applications, and manage virtual desktop environments. You'll also learn how to implement reliable security, monitoring, and backup procedures.Select a virtualization platform and develop rollout plansPerform pre-deployment network and workstation tests Configure virtual machines, storage devices, and workloadsSet up and secure a fully virtualized and highly available server environmentManage a centralized, on-demand application delivery frameworkHandle volatile and persistent desktop virtualizationUse hypervisors to facilitate workload deliveryImplement failsafe system backup and recovery strategiesTable of contentsPart 1: Architect Virtualization Chapter 1: The Move to Virtualization Chapter 2: Begin the Five-Step Process Chapter 3: Complete the Five-Step Process Part 2: Build your Virtualization InfrastructureChapter 4: Perform a Comprehensive AnalysisChapter 5: Build the Resource Pool Chapter 6: Begin with the Testing EnvironmentChapter 7: Work with Server VirtualizationChapter 8: Work with Virtual WorkloadsChapter 9: Provision Virtual MachinesChapter 10: Work with Desktop VirtualizationChapter 11: Work with Application VirtualizationChapter 12: Work with AppVPart III. Consolidate the BenefitsChapter 13: Secure Your Virtual IntrastructureChapter 14: Protect Your Virtual InfrastructureChapter 15: Prepare for Business ContinuityChapter 16: Update Your Management StructureAfterwordIndex
Microsoft Office Communications Server 2007 Resource Kit
Authors: Jochen Kunert, Jeremy Buch, Rui Maximo
Venue:  (2008)

Get the definitive reference for deploying, configuring, and supporting Office Communications Server 2007 with expert insights direct from the Microsoft Office Communications Server Team. This official Microsoft RESOURCE KIT delivers in-depth technical guidance on architecture, deployment, security, administration, performance tuning, and troubleshooting Communications Server 2007. You ll also discover the essential information for working with VOIP and phone integration features. In addition, you get more than 150 timesaving scripts, tools, and other job aids for automating administration, plus an eBook for the entire RESOURCE KIT on CD.Provides the information that every administrator needs about troubleshooting, security enhancements, phone integration, VOIP, group policy and automating administrationCD includes additional job aids and a fully searchable version of the entire RESOURCE KIT book
Plenary lecture 1: an information flow based model of representation for developing informatics as an academic discipline
Authors: Junkang Feng, Yang Wang
Venue: Proceedings of the 8th Wseas international conference on Telecommunications and informatics (2009)

In informatics and information systems, a fundamental notion is representation. And yet, it would seem that in the literature of information systems this notion has been taken as self-evident and therefore treated largely intuitively, and in particular, how a possible representational relationship between two systems may be systematically identified and formalized has not been fully addressed. We believe that a mathematical model of representation helps develop informatics as a proper academic discipline. We observe that the notion of representation is formalizable. This is because it is information flow channels that underpin representational relationships between systems. We propose an information flow based model whereby to capture, formalize, analyze and reason about representation for distributed systems. We draw on semantic information theories, which not only lay solid philosophical foundations, but also contribute to forming a mathematical foundation for the model. Regularities is taken as a fundamental principle based upon which an information flow channel is constructed in which both tokens and types of a classification are taken into consideration. We introduce the notion of representation link, which connects classifications (contexts in FCA) through type level constraints and token level connections. Our model enables an analysis of information flow within a distributed system both qualitatively and quantitatively. The channel hierarchy and link hierarchy take into account background information, which enhances inference on representation links. The model allows agents to choose a channel that is the most appropriate for their purposes without violating the objectivity of information flow. This model is then applied to the problem of semantic interoperability. A semantic integration model is thus built. The process of semantic integration is examined by using the mathematical mechanism of the model. The validity of the model is verified by analyzing results of semantic integration from both content and quantity perspectives, and also by showing that the notion of channel and representation link hierarchy involved in our model helps reason over different but relevant integrations.
e-Privacy and Online Data Protection, 2nd edition
Authors: Susan Singleton, Eduardo Ustaran
Venue:  (2007)

The second title in our new special report series, this authoritative guide considers how data protection and privacy law affect electronic commerce and business practice and provides vital compliance advice for any company doing business electronically or handling information relating to individuals.
Reveling in constraints
Authors: Bruce Johnson
Venue: Communications of the ACM (2009)

The Google Web Toolkit is an end-run around Web development obstacles.
Systematic simulation-based predictive synthesis of integrated optical interconnect
Authors: Ian O'Connor, Faress Tissafi-Drissi, Frédéric Gaffiot, Joni Dambre, Michiel De Wilde, Joris Van Campenhout, Dries Van Thourhout, Jan Van Campenhout, Dirk Stroobandt
Venue: IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2007)

Integrated optical interconnect has been identified by the ITRS as a potential solution to overcome predicted interconnect limitations in future systems-on-chip. However, the multiphysics nature of the design problem and the lack of a mature integrated photonic technology have contributed to severe difficulties in assessing its suitability. This paper describes a systematic, fully automated synthesis method for integrated microsource-based optical interconnect capable of optimally sizing the interface circuits based on system specifications, CMOS technology data, and optical device characteristics. The simulation-based nature of the design method means that its results are relatively accurate, even though the generation of each data point requires only 5 min on a 1.3-GHz processor. This method has been used to extract typical performance metrics (delay, power, interconnect density) for optical interconnect of length 2.5-20 mm in three predictive technologies at 65-, 45-, and 32-nm gate length.
Computers and the Law: An Introduction to Basic Legal Principles and Their Application in Cyberspace
Authors: Robert Dunne
Venue:  (2009)

Computers and the Law provides readers with an introduction to the legal issues associated with computing - particularly in the massively networked context of the Internet. Assuming no previous knowledge of the law or any special knowledge of programming or computer science, this textbook offers undergraduates of all disciplines and professionals in the computing industry an understanding of basic legal principles and an awareness of the peculiarities associated with legal issues in cyberspace. This book introduces readers to the fundamental workings of the law in physical space and suggests the opportunity to create new types of laws with nontraditional goals.
Using secure coprocessors to enforce network access policies in enterprise and ad hoc networks
Authors: Haidong Xia
Venue:  (2008)

Nowadays, network security is critically important. Enterprises rely on networks to improve their business. However, network security breaches may cause them loss of millions of dollars. Ad hoc networks, which enable computers to communicate wirelessly without the need for infrastructure support, have been attracting more and more interests. However, they cannot be deployed effectively due to security concerns. Studies have shown that the major network security threat is insiders (malicious or compromised nodes). Enterprises have traditionally employed network security solutions (e.g., firewalls, intrusion detection systems, anti-virus software) and network access control technologies (e.g., 802.1x, IPsec/IKE) to protect their networks. However, these approaches do not prevent malicious or compromised nodes from accessing the network. Many attacks against ad hoc networks, including routing, forwarding, and leader-election attacks, require malicious nodes joining the attacked network too. This dissertation presents a novel solution to protect both enterprise and ad hoc networks by addressing the above problem. It is a hardware-based solution that protects a network through the attesting of a node&rsquo;s configuration before authorizing the node&rsquo;s access to the network. Attestation is the unforgeable disclosure of a node&rsquo;s configuration to another node, signed by a secure coprocessor known as a Trusted Platform Module (TPM). This dissertation makes following contributions. First, several techniques at operating system level (i.e., TCB prelogging, secure association root tripping, and sealing-free attestation confinement) are developed to support attestation and policy enforcement. Second, two secure attestation protocols at network level (i.e., Bound Keyed Attestation (BKA) and Batched Bound Keyed Attestation (BBKA)) are designed to overcome the risk of a man-in-the-middle (MITM) attack. Third, the above techniques are applied in enterprise networks to different network access control technologies to enhance enterprise network security. Fourth, AdHocSec, a novel network security solution for ad hoc networks, is proposed and evaluated. AdHocSec inserts a security layer between the network and data link layer of the network stack. Several algorithms are designed to facilitate node&rsquo;s attestation in ad hoc networks, including distributed attestation (DA), and attested merger (AM) algorithm.
Some remarks about stabilizers
Authors: Volker Diekert, Dalia Krieger
Venue: Theoretical Computer Science (2009)

We continue our study of stabilizers of infinite words over finite alphabets, begun in [D. Krieger, On stabilizers of infinite words, Theoret. Comput. Sci. 400 (2008), 169-181]. Let w be an aperiodic infinite word over a finite alphabet, and let Stab(w) be its stabilizer. We show that Stab(w) can be partitioned into the monoid of morphisms that stabilize w by finite fixed points and the ideal of morphisms that stabilize w by iteration. We also settle a conjecture given in the paper mentioned above, by showing that in some cases Stab(w) is infinitely generated. If the aforementioned ideal is nonempty, then it contains either polynomially growing morphisms or exponentially growing morphisms, but not both. Moreover, in the polynomial case, the degree of the polynomial is fixed. We also show how to compute the polynomial degree from the dependency graph of a polynomially growing morphism.
Designing effective nonverbal communication for pedagogical agents
Authors: Amy L. Baylor, Soyoung Kim, Chanhee Son, Miyoung Lee
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

This experimental study employed a 2×2×2 factorial design to investigate the effect of type of knowledge (procedural, attitudinal), deictic gesture (presence, absence), and facial expression (presence, absence) on learners attitudes, perception (agent persona, gesture, facial expression), and learning. A total of 237 participants learned from a instructional module that varied by the three factors. Results indicated that facial expressions were particularly valuable for attitudinal learning, and were actually detrimental for procedural learning outcome. Similarly, gestures were perceived as more valuable for students in the procedural module, even though they did not directly enhance recall.
Model-based traceability
Authors: Jane Cleland-Huang, Jane Huffman Hayes, J. M. Domel
Venue: Proceedings of the 2009 ICSE Workshop on Traceability in Emerging Forms of Software Engineering (2009)

Many organizations invest considerable cost and effort in building traceability matrices in order to comply with regulatory requirements or process improvement initiatives. Unfortunately, these matrices are frequently left un-used and project stakeholders continue to perform critical software engineering activities such as change impact analysis or requirements satisfaction assessment without benefit of the established traces. A major reason for this is the lack of a process framework and associated tools to support the use of these trace matrices in a strategic way. In this position paper, we present a model-based approach designed to help organizations gain full benefit from the traces they develop and to allow project stakeholders to plan, generate, and execute trace strategies in a graphical modeling environment. The approach includes a standard notation for capturing strategic traceability decisions in the form of a graph, and also notation for modeling reusable trace queries using augmented sequence diagrams. All of the model elements, including project specific data, are represented using XML. The approach is demonstrated through examples from a traffic simulator project composed of requirements, UML class diagrams, code, test cases, and test case results.
PDF Print Production Guide, 3rd edition
Authors: Joseph Marin, Julie Shaffer
Venue:  (2007)

Need a crash course on PDF for print production? The PDF Print Production Guide is back with its easy-to-follow, how-to format that takes the mystery out of creating print-perfect PDF files. The third edition explores the problems, solutions, tools, and techniques specific to using PDF in prepress with Acrobat 8 in eight thorough chapters covering: Basics of PDF, Creating Print-perfect PDFs, PDF and Operating Systems, PDF Production Tools, Automating PDF, PDF In the Trenches, PDF Forms, and References.
Growth temperature dependence of epitaxial Gd2O3 films on Si(111)
Authors: G. Niu, B. Vilquin, N. Baboux, C. Plossu, L. Becerra, G. Saint-Grions, G. Hollinger
Venue: Microelectronic Engineering (2009)

This article reports on the epitaxy of crystalline high @k oxide Gd"2O"3 layers on Si(111) for CMOS gate application. Epitaxial Gd"2O"3 thin films have been grown by Molecular Beam Epitaxy (MBE) on Si(111) substrates between 650 and 750^oC. The structural and electrical properties were investigated depending on the growth temperature. The C-V measurements reveal that equivalent oxide thickness (EOT) equals 0.7nm for the sample deposited at the optimal temperature of 700^oC with a relatively low leakage current of 3.6x10^-^2A/cm^2 at |V"g-V"F"B|=1V.
Analysing Supply Chain Strategies Using Knowledge-Based Techniques
Authors: Areti Manataki, Yun-Heh Chen-Burger
Venue: Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications (2009)

We are experiencing a digital revolution that is rapidly changing the way business is conducted. In this new economy, information is shared speedily and many participants are collaborating. Effective and seamless collaboration between distributed supply chain members is therefore crucial. To understand how this may be done, we describe a knowledge based framework for abstracting, enriching, analysing and improving supply chain models. We employ business process modelling as a useful methodology for capturing and analysing supply chain strategies. In addition, we use a meta-interpreter and workflow engine for simulating business processes to help understand business scenarios. Its declarative approach makes business rationale more transparent. Our work is demonstrated by looking at a case study of Dell's supply chain management that depicts its PC supply chain operation logics and strategies.
Multi-Pose Face Detection with Asymmetric Haar Features
Authors: Geovany A. Ramirez, Olac Fuentes
Venue: Proceedings of the 2008 IEEE Workshop on Applications of Computer Vision (2008)

In this paper we present a system for multi-pose face detection. Our system presents three main contributions. First, we introduce the use of asymmetric Haar features. Asymmetric Haar features provide a rich feature space, which allows to build classifiers that are accurate and much simpler than those obtained with other features. The second contribution is the use of a genetic algorithm to search efficiently in the extremely large parameter space of potential features. Using this genetic algorithm, we generate a feature set that allows to exploit the expressive advantage of asymmetric Haar features and is small enough to permit exhaustive evaluation. The third contribution is the application of a skin color-segmentation scheme to reduce the search space. Our system uses specialized detectors in different face poses that are built using AdaBoost and the C4.5 rule induction algorithm. Experimental results using the CMU profile test set and BioID frontal faces test set, in addition to our own multi-pose face test set, show that our system is competitive with other systems presented recently in the literature.