ppxscal/embedding_network huggingface dataset:
The Analysis of System Feedback Structure of Military Civil Industry Fusion Development Model
Authors: Fengjun Xie, Yunzhu Wang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Based on the system analysis of the fusion development model of the technology diffusion of the military enterprises and civil enterprise and producing the opponent products each other, using the Rate-Variable Fundamental In-tree Modeling of System Dynamics (SD) to build the System Feedback Structure Model of the Military Civil Industry Fusion Development Model. And based on X-0-1 determinant of system feedback archetype calculation method, we calculate system main feedback archetype, and through the analysis on the dominant system feedback archetype, we put forward the corresponding management policy. This achieves the purpose of analyzing the Military Civil Industry Fusion Development through the method of System Science.
The Clifford-Hodge Flow: An Extension of the Beltrami Flow
Authors: Thomas Batard, Michel Berthier
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

In this paper, we make use of the theory of Clifford algebras for anisotropic smoothing of vector-valued data. It provides a common framework to smooth functions, tangent vector fields and mappings taking values in $\mathfrak{so}(m)$, the Lie algebra of SO(m), defined on surfaces and more generally on Riemannian manifolds. Smoothing process arises from a convolution with a kernel associated to a second order differential operator: the Hodge Laplacian. It generalizes the Beltrami flow in the sense that the Laplace-Beltrami operator is the restriction to functions of minus the Hodge operator. We obtain a common framework for anisotropic smoothing of images, vector fields and oriented orthonormal frame fields defined on the charts.
Material Classification for Printed Circuit Boards by Spectral Imaging System
Authors: Abdelhameed Ibrahim, Shoji Tominaga, Takahiko Horiuchi
Venue: Computational Color Imaging: Second International Workshop, CCIW 2009, Saint-Etienne, France, March 26-27, 2009. Revised Selected Papers (2009)

This paper presents an approach to a reliable material classification for printed circuit boards (PCBs) by constructing a spectral imaging system. The system works in the whole spectral range [400-700nm] and the high spectral resolution. An algorithm is presented for effectively classifying the surface material on each pixel point into several elements such as substrate, metal, resist, footprint, and paint, based on the surface-spectral reflectance estimated from the spectral imaging data. The proposed approach is an incorporation of spectral reflectance estimation, spectral feature extraction, and image segmentation processes for material classification of raw PCBs. The performance of the proposed method is compared with other methods using the RGB-reflectance based algorithm, the k-means algorithm and the normalized cut algorithm. The experimental results show the superiority of our method in accuracy and computational cost.
Innovation for an Inclusive Future
Authors: Mark Springett, Mark Rice, Alex Carmichael, Richard Griffiths
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

This workshop will focus on setting the agenda for research, practice and policy in support of inclusive design for third generation computer-based products. The next generation of technology represents an unprecedented opportunity to improve the quality of life for groups of users who have previously faced exclusion, such as those with impairments and older citizens. At the same time it risks creating a greater digital divide and further exclusion. How we approach design for this new generation will determine whether or not the third wave will provide positive advances towards an inclusive digital world. We therefore need to put forward both a rationale for inclusive design and provide pointers towards technical development and design practice in support of inclusion. It is our belief that there is not only a strong moral case for design for inclusion but also significant commercial incentive, which may be key to persuading influential players to focus on inclusion. Therefore one of our key objectives is to describe and promote the advantages of designing `in from the edges' of the user population rather than designing for a notional `average' user.
Ethanethiol Removal Using a Novel Plasma Reactor Combined with Mn/?-Al2O3
Authors: Bin Lu, Min Ji, Mengmeng Wang, Jianbo Lv
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

This study is to develop a hybrid technology of plasma and catalysis for odor control. Reactive species were generated from the three types of plasma discharge, such as pulsed corona discharge, dielectric barrier discharge (DBD) and hybrid discharge (pulsed corona discharge and DBD plasma occurring together), driven by a self-made pulsed high voltage power supply. Ethanethiol was selected as treated target malodorant. The effects of three various types of discharges on ethanethiol removal rate and energy efficiency were investigated. Then, plasma catalytic oxidation of ethanethiol using γ-Al2O3, Mn/γ-Al2O3 as catalysts was also estimated by the corresponding enhanced ethanethiol removal rate and energy efficiency. The results showed that the ethanethiol removal rate increased with increasing applied voltage but energy efficiency had a maximum with increasing applied voltage under three various types of discharges. When using corona discharge with catalysts, the maximum energy efficiency and the corresponding ethanethiol removal rate were 20 % and 30 g/kWh at 5 J/L, respectively. The mechanism of catalytic oxidation of ethanethiol was also discussed.
Hierarchical text segmentation from multi-scale lexical cohesion
Authors: Jacob Eisenstein
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics (2009)

This paper presents a novel unsupervised method for hierarchical topic segmentation. Lexical cohesion -- the workhorse of unsupervised linear segmentation -- is treated as a multi-scale phenomenon, and formalized in a Bayesian setting. Each word token is modeled as a draw from a pyramid of latent topic models, where the structure of the pyramid is constrained to induce a hierarchical segmentation. Inference takes the form of a coordinate-ascent algorithm, iterating between two steps: a novel dynamic program for obtaining the globally-optimal hierarchical segmentation, and collapsed variational Bayesian inference over the hidden variables. The resulting system is fast and accurate, and compares well against heuristic alternatives.
Linux bugs: Life cycle, resolution and architectural analysis
Authors: Mohamed F. Ahmed, Swapna S. Gokhale
Venue: Information and Software Technology (2009)

Efforts to improve application reliability can be irrelevant if the reliability of the underlying operating system on which the application resides is not seriously considered. An important first step in improving the reliability of an operating system is to gain insights into why and how the bugs originate, contributions of the different modules to the bugs, their distribution across severities, the different ways in which the bugs may be resolved and the impact of bug severities on their resolution times. To acquire this insight, we conducted an extensive analysis of the publicly available bug data on the Linux kernel over a period of seven years. We also justify and explain the statistical bug occurrence trends observed from the data, using the architecture of the Linux kernel as an anchor. The statistical analysis of the Linux bug data suggests that the Linux kernel may draw significant benefits from the continual reliability improvement efforts of its developers. These efforts, however, are disproportionately targeted towards popular configurations and hardware platforms, due to which the reliability of these configurations may be better than those that are not commonly used. Thus, a key finding of our study is that it may be prudent to restrict to using common configurations and platforms when using open source systems such as Linux in applications with stringent reliability expectations. Finally, our study of the architectural properties of the bugs suggests that the dependence among the modules rather than the unreliabilities of the individual modules is the primary cause of the bugs and their impact on system reliability.
Control Method of the Spring Back in Bending Micro and Precise Stamping Parts
Authors: Zhen-yuan Huang, Han Zhang, Feng Ruan
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

The nature reason and the decisive factors of the spring back in bending process are studied in this paper. The analysis shows that opposite stress directions in the inner and outer fibers of the sheet material in the bending deformation region essentially contribute to the spring back, and controlling the bending moment created by this different stress directions is the essential method to control the spring back in bending process. The stress state in inner and outer fibers of the sheet material when the coining process is applied in the bending process is analyzed and compared with that when the coining process is not applied. Both the inner and outer fibers of the sheet material in bending process are subjected to the tensile stress after applying the coining process and the bending moment of the sheet is decreased greatly. By selecting reasonable coining depth and width, the coining process is applied to control the spring back in bending some micro and precision stamping part. The production result shows that the coining controlling method of the spring back has mighty high precision, simple mechanism structure, and is suitable very much for controlling the spring back in bending micro and precision stamping parts.
Technical communique: Indefinite linear quadratic optimal control problem for singular discrete-time system with multiple input delays
Authors: Peng Cui, Chenghui Zhang, Huanshui Zhang, Hongguo Zhao
Venue: Automatica (Journal of IFAC) (2009)

An indefinite linear quadratic (ILQ) optimal control problem is discussed for singular discrete-time-varying linear systems with multiple input delays. The problem is transformed to the one for standard systems by normalizability decomposition. An explicit controller is obtained by computing the gain of the smoothing estimation of dual systems. Necessary and sufficient conditions guaranteeing the existence of unique solution are given simultaneously. A numerical example illustrates the presented method.
Searching for grammar right
Authors: Vanessa Micelli
Venue: Proceedings of the Third Workshop on Scalable Natural Language Understanding (2006)

This paper describes our ongoing work in and thoughts on developing a grammar learning system based on a construction grammar formalism. Necessary modules are presented and first results and challenges in formalizing the grammar are shown up. Furthermore, we point out the major reasons why we chose construction grammar as the most fitting formalism for our purposes. Then our approach and ideas of learning new linguistic phenomena, ranging from holophrastic constructions to compositional ones, is presented.
An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols
Authors: Ralf Kuesters, Tomasz Truderung
Venue: Proceedings of the 2009 30th IEEE Symposium on Security and Privacy (2009)

Coercion resistance is an important and one of themost intricate security requirements of electronicvoting protocols. Several definitions of coercionresistance have been proposed in the literature,including definitions based on symbolic models.However, existing definitions in such models arerather restricted in their scope and quite complex.In this paper, we therefore propose a new definitionof coercion resistance in a symbolic setting, basedon an epistemic approach. Our definition isrelatively simple and intuitive. It allows for afine-grained formulation of coercion resistance andcan be stated independently of a specific, symbolicprotocol and adversary model. As a proof of concept,we apply our definition to three votingprotocols. In particular, we carry out the firstrigorous analysis of the recently proposed Civitassystem.We precisely identify those conditions underwhich this system guarantees coercion resistance orfails to be coercion resistant. We also analyzeprotocols proposed by Lee et al. and Okamoto.
Proactive intrusion detection
Authors: Benjamin Liebald, Dan Roth, Neelay Shah, Vivek Srikumar
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

Machine learning systems are deployed in many adversarial conditions like intrusion detection, where a classifier has to decide whether a sequence of actions come from a legitimate user or not. However, the attacker, being an adversarial agent, could reverse engineer the classifier and successfully masquerade as a legitimate user. In this paper, we propose the notion of a Proactive Intrusion Detection System (IDS) that can counter such attacks by incorporating feedback into the process. A proactive IDS influences the user's actions and observes them in different situations to decide whether the user is an intruder. We present a formal analysis of proactive intrusion detection and extend the adversarial relationship between the IDS and the attacker to present a game theoretic analysis. Finally, we present experimental results on real and synthetic data that confirm the predictions of the analysis.
Tool use for autonomous agents
Authors: Robert St. Amant, Alexander B. Wood
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 1 (2005)

The intelligent use of tools is a general and important human competence that AI research has not yet examined in depth. Other fields have studied the topic, however, with results we can compile into a broad characterization of habile (tool-using) agents. In this paper we give an overview of research on the use of physical tools, using this information to motivate the development of artificial habile agents. Specifically, we describe how research goals and methods in animal cognition overlap with those in artificial intelligence. We argue that analysis of activities of tool-using agents offers an informative way to evaluate intelligence.
Increase of Power System Survivability with the Decision Support Tool CRIPS Based on Network Planning and Simulation Program PSS®SINCAL
Authors: Christine Schwaegerl, Olaf Seifert, Robert Buschmann, Hermann Dellwing, Stefan Geretshuber, Claus Leick
Venue: Critical Information Infrastructure Security: Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers (2009)

The increased interconnection and automation of critical infrastructures enlarges the complexity of the dependency structures and --- as consequence --- the danger of cascading effects, e.g. causing area-wide blackouts in power supply networks that are currently after deregulation operated closer to their limits. New tools or an intelligent combination of existing approaches are required to increase the survivability of critical infrastructures. Within the IRRIIS project the expert system CRIPS was developed based on network simulations realised with PSS®SINCAL, an established tool to support the analysis and planning of electrical power, gas, water or heat networks. CRIPS assesses the current situation in power supply networks analysing the simulation results of the physical network behaviour and recommends corresponding decisions.This paper describes the interaction of the simulation tool PSS®SINCAL with the assessment and decision support tool CRIPS; a possible common use-case is outlined and benefits of this application are shown.
Database Intrusion Detection Using Role Profiling with Role Hierarchy
Authors: Garfield Zhiping Wu, Sylvia L. Osborn, Xin Jin
Venue: Proceedings of the 6th VLDB Workshop on Secure Data Management (2009)

Insider threats cause the majority of computer system security problems. An anomaly-based intrusion detection system (IDS), which can profile normal behaviors for all users and detect anomalies when a user's behaviors deviate from his/her profiles, can be effective to protect computer systems against insider threats. Although many IDSes have been developed at the network or host level, there are still very few IDSes specifically tailored to database systems. We build our anomaly-based database IDS using two different profiling methods: one is to build profiles for each individual user (user profiling) and the other is to mine profiles for roles (role profiling) when role-based access control (RBAC) is supported by the database management system (DBMS). Detailed comparative evaluations between role profiling and user profiling are conducted, and we also analyze the reasons why role profiling is more effective and efficient than user profiling. Another contribution of our work is that we introduce role hierarchies into database IDS and remarkably reduce the false positive rate without increasing the false negative rate.
Estimation of Object Position Based on Color and Shape Contextual Information
Authors: Takashi Ishihara, Kazuhiro Hotta, Haruhisa Takahashi
Venue: Proceedings of the 15th International Conference on Image Analysis and Processing (2009)

This paper presents a method to estimate the position of object using contextual information. Although convention methods used only shape contextual information, color contextual information is also effective to describe scenes. Thus we use both shape and color contextual information. To estimate the object position from only contextual information, the Support Vector Regression is used. We choose the Pyramid Match Kernel which measures the similarity between histograms because our contextual information is described as histogram. When one kernel is applied to a feature vector which consists of color and shape, the similarity of each feature is not used effectively. Thus, kernels are applied to color and shape independently, and the weighted sum of the outputs of both kernels is used. We confirm that the proposed method outperforms conventional methods.
Selection and ranking of propositional formulas for large-scale service directories
Authors: Ion Constantinescu, Walter Binder, Boi Faltings
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 3 (2005)

In this paper we consider scenarios, such as web service composition, where a planner needs to discover its operators by querying a potentially very large and dynamically changing directory. Our contribution is a directory system that represents service advertisements and requests as propositional formulas and provides a flexible query language allowing complex selection and ranking expressions. The internal structure of the directory enables efficient selection and ranking in the presence of a large number of services thanks to its organization as a balanced tree with an extra "intersection predicate". In order to optimally exploit the index structure of the directory, a transformation scheme is applied to the original query. Experimental results on randomly generated service composition problems illustrate the benefits of our approach.
Magic Lantern Guides: Canon EOS Rebel XSi EOS 450D EOS Rebel XS EOS 1000D Multimedia Workshop
Authors: Lark Books
Venue:  (2009)

Magic Lantern Guides Multimedia WorkshopsThe worlds best photographic package! Magic Lantern Guides and DVDs have always provided the very best, most in-depth coverage of a cameras ins-and-outs. Now, theres even more magic on the market for photographers: the MAGIC LANTERN MULTIMEDIA WORKSHOP. Its a complete class in digital photography with a D-SLR cameraone that enables you to learn the essentials at your own pace, in the comfort in your own home. The attractive package includes:- Specific 80-minute DVD: An authoritative DVD guide made just for your model. Created by photographers for photographers, it covers specific camera features and functions. The format allows you to navigate easily between different topics and review chapters any time.- Taking Great Digital Photos: This full-color, 64-page book gets newcomers to the digital world started right. Packed with picture-taking tips and information on digital file formats, it explains how f/stops and shutter speeds work together to create an exposure, which focal lengths are best for various subjects, and how to get accurate color with white balance.- Great Photos with Your Digital SLR 60-minute DVD: This live-action tutorial demystifies digital shooting, and shows how to compose photos; choose the best picture-quality settings; improve results with the built-in flash; and interpret your histogram. Plus, see when to trust your cameras automatic settingsor change them yourself. - Quick Reference Wallet Card: This laminated take-along is an ideal in-the-field key to camera and menu operations.Theres nothing else like this on the market! The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
A Demonic Approach to Information in Probabilistic Systems
Authors: Josée Desharnais, François Laviolette, Amélie Turgeon
Venue: Proceedings of the 20th International Conference on Concurrency Theory (2009)

This paper establishes a Stone-type duality between specifications and infLMPs. An infLMP is a probabilistic process whose transitions satisfy super-additivity instead of additivity. Interestingly, its simple structure can encode a mix of probabilistic and non-deterministic behaviors. Our duality shows that an infLMP can be considered as a demonic representative of a system's information. Moreover, it carries forward a view where states are less important, and events, or properties, become the main characters, as it should be in probability theory. Along the way, we show that bisimulation and simulation are naturally interpreted in this setting, and we exhibit the interesting relationship between infLMPs and the usual probabilistic modal logics.
Virus Propagation and Immunization Strategies in Email Networks
Authors: Jiming Liu, Chao Gao, Ning Zhong
Venue: Proceedings of the 5th International Conference on Advanced Data Mining and Applications (2009)

This paper proposes a simulation model to characterize virus propagation in an email network and analyzes various defense strategies. We demonstrate the key factor which affects the efficiency of different strategies, and illustrate two phases of virus propagation. The results show that D-steps immunization is a feasible strategy in the case of finite resources and the efficiency of node-betweenness immunization is better than targeted immunization if we have the global information about a network.