ppxscal/embedding_network huggingface dataset:
Paramagnetic Ge dangling bond type defects at (100)Si1-xGex/SiO2 interfaces (Invited Paper)
Authors: A. Stesmans, P. Somers, V. V. Afanas'ev
Venue: Microelectronic Engineering (2009)

The work addresses the occurrence of Ge dangling bond type point defects at Ge"xSi"1"-"x/insulator interfaces as evidenced by conventional electron spin resonance (ESR) spectroscopy. Using multifrequency ESR, we report on the observation and characterization of a first nontrigonal Ge dangling bond (DB)-type interface defect in SiO"2/(100)Ge"xSi"1"-"x/SiO"2/(100)Si heterostructures (0.27=
Globally Exponentially Attractive Set and Synchronization of a Class of Chaotic Finance System
Authors: Jigui Jian, Xiaolian Deng, Jianfeng Wang
Venue: Proceedings of the 6th International Symposium on Neural Networks on Advances in Neural Networks (2009)

This paper treats the globally exponentially attractive set and synchronization problem of a chaotic finance system. Firstly, based on the definition of globally exponentially attractive set and Lyapunov stability theory, a sufficient condition for the globally exponentially attractive set was given. Secondly, two control approaches, namely nonlinear feedback control of partial states and transmitted signal method of a single variable, are investigated. In both cases, sufficient conditions for the globally exponential synchronization of two chaotic finance systems are obtained analytically. Finally, numerical simulation results indicates the effectiveness of the proposed methods.
Some Theoretical Aspects of the Neural Gas Vector Quantizer
Authors: Thomas Villmann, Barbara Hammer, Michael Biehl
Venue: Similarity-Based Clustering: Recent Developments and Biomedical Applications (2009)

We investigate the neural gas quantizer in the light of statistical physics concepts. We show that this algorithm can be extended to a vector quantizer with general differentiable similarity measure offering a greater flexibility. Further, we show that the neighborhood cooperativeness control parameter is not equivalent to an inverse temperature like in the deterministic annealing vector quantizer introduced by K. Rose et al. Instead, an annealed variant of neural gas can be obtained using the formalism proposed by T. Heskes for self-organizing maps.
Applying Semantic Techniques to Search and Analyze Bug Tracking Data
Authors: Ha Manh Tran, Christoph Lange, Georgi Chulkov, Jürgen Schönwälder, Michael Kohlhase
Venue: Journal of Network and Systems Management (2009)

The Web has become an important knowledge source for resolving system installation problems and for working around software bugs. In particular, web-based bug tracking systems offer large archives of useful troubleshooting advice. However, searching bug tracking systems can be time consuming since generic search engines do not take advantage of the semi-structured knowledge recorded in bug tracking systems. We present work towards a semantics-based bug search system which tries to take advantage of the semi-structured data found in many widely used bug tracking systems. We present a study of bug tracking systems and we describe how to crawl them in order to extract semi-structured data. We describe a unified data model to store bug tracking data. The model has been derived from the analysis of the most popular systems. Finally, we describe how the crawled data can be fed into a semantic search engine to facilitate semantic search.
Computing quantum hyperbolic invariants
Authors: Charles Frohman
Venue:  (2008)

Baseilhac and Benedetti introduce a family of quantum matrix dilogarithms, automorphisms of ( CN&otimes;C N , for N an odd positive integer, N > 1, associated to hyperbolic ideal tetrahedra with additional decorations (charges and flattening). For each decorated ideal tetrahedron is obtained a rank 4 tensor. The four indices of the tensor correspond to the four sides of the associated ideal tetrahedron. Pairwise gluing of the faces of these ideal tetrahedra together to form a hyperbolic 3-manifold corresponds to taking the contraction of the tensors along the corresponding indices. We compute such invariants for the complement of the 41 knot and the complement of the 52 knot.
Windows PowerShell v1.0: TFM, 2nd Edition, 2nd edition
Authors: Don Jones, Jeffery Hicks
Venue:  (2007)

Join the leading edge of Windows administrative scripting with Microsoft PowerShell, the new, comprehensive, consistent, and powerful scripting shell for Microsoft Windows and the Windows Server System. Microsoft's committed to building future graphical administration tools on top of PowerShell, meaning PowerShell will offer the fastest, easiest, and most complete way to automate any Windows administrative task. This new second edition of Windows PowerShell: TFM is more than 25% larger and contains more than 60% revised and re-written material, making it the most comprehensive and authoritative Windows PowerShell book currently available. You'll not only learn what PowerShell is and how it works, but you'll learn to take PowerShell further using custom type extensions, basic cmdlet development, custom formatting views, .NET Framework development, graphical dialog boxes, and much, much more. A completely revised first part helps you get started with PowerShell faster than ever, with explanations based on live class deliveries to more than 1,000 students; coverage of PowerShell's scripting capabilities has been vastly expanded and rewritten to make the subject both easier and more applicable to real-world scenarios. No other PowerShell book provides this much coverage, with such clear explanations from two recipients of Microsoft's Windows PowerShell MVP award! Authors Don Jones (Managing Windows with VBScript and WMI, Advanced VBScript for Windows Administrators) and Jeffery Hicks (WSH and VBScript Core: TFM, Advanced VBScript for Windows Administrators) teach you PowerShell scripting and administration from the ground up: You don't need any prior PowerShell, VBScript, or any other scripting or programming experience. You'll learn about cmdlets, snap-ins, scripts, PowerShell's security model, third party extensions and just enough of the .NET Framework to fully leverage PowerShell and become a more efficient administrator. Written in an easygoing, casual style with plenty of practical and "real-world" examples, you'll find yourself producing useful PowerShell scripts after the second chapter!
Cryptographic Methods During the Mexican Revolution
Authors: Jose de Jesus Angel Angel, Guillermo Morales-Luna
Venue: Cryptologia (2009)

This paper reviews an important period in the use of cryptographic methods in Mexican History, the Mexican Revolution from 1910-1916. As is the case in any civil war, there were many groups in conflict. Among several leaders in the Mexican Revolution, it is worth mentioning Porfirio Diaz, Francisco I. Madero and Venustiano Carranza. They represent three main groups which used characteristic cryptographic methods. In this paper, we describe some of the methods used by these groups during the Mexican Revolution.
NATO C3 Architectures and Difficulties of Application in National Environment
Authors: Ladislav Burita, Vojtech Ondryhal
Venue: Proceeding of the 2007 conference on Information Modelling and Knowledge Bases XVIII (2007)

To achieve the goal of effective coalition operations, NATO common-funded C3 (Consultation, Command and Control) systems must be interoperable and be capable of interoperating with those of member and partner nations. In the same way, national and multi-national systems of members and partners must be interoperable to achieve this goal. There are currently several directives which provides framework to support C3 Systems Interoperability to enhance the Alliance's operational effectiveness and improve efficiency of available resources by implementing interoperable and affordable C3 systems that will provide the right information to the right user at the right time. In the paper we would like to discuss basics of architecture approach for C3 systems development and difficulties which were already tackled during architecture approach application in CAF (Czech Army Forces) and MoD (Ministry of Defence).
Symbiotic relationships in internet routing overlays
Authors: Cristian Lumezanu, Randy Baden, Dave Levin, Neil Spring, Bobby Bhattacharjee
Venue: Proceedings of the 6th USENIX symposium on Networked systems design and implementation (2009)

We propose to construct routing overlay networks using the following principle: that overlay edges should be based on mutual advantage between pairs of hosts. Upon this principle, we design, implement, and evaluate Peer-Wise, a latency-reducing overlay network. To show the feasibility of PeerWise, we must show first that mutual advantage exists in the Internet: perhaps contrary to expectation, that there are not only "haves" and "have nots" of low-latency connectivity. Second, we must provide a scalable means of finding promising edges and overlay routes; we seek embedding error in network coordinates to expose both shorter-than-default "detour" routes and longer-than-expected default routes. We evaluate the cost of limiting PeerWise to mutually advantageous links, then build the intelligent components that put PeerWise into practice. We design and evaluate "virtual" network coordinates for destinations not participating in the overlay, neighbor selection algorithms to find promising relays, and relay selection algorithms to choose the neighbor to traverse for a good detour. Finally, we show that PeerWise is practical through a wide-area deployment and evaluation.
Sniff: designing characterful interaction in a tangible toy
Authors: Sara Johansson
Venue: Proceedings of the 8th International Conference on Interaction Design and Children (2009)

This paper presents a design case of an interactive, tangible toy dog called Sniff that through the use of wireless technology gives auditory and tactile feedback from tagged objects in the world. By focusing on non-visual interactive qualities the project aims to engage with the particular needs of children with sight impairment, but also for inclusion across a range of user abilities and age. Sniff has been developed through an interleaved concept, product and prototype design process that has resulted in a highly characterful soft toy that supports playful activities. The design findings relate the importance of physical prototyping in design of embodied interactions and reflections on the role of character and abstraction in interaction design.
Facilitating participatory decision-making in local communities through map-based online discussion
Authors: Bo Yu, Guoray Cai
Venue: Proceedings of the fourth international conference on Communities and technologies (2009)

GIS has been widely used for supporting decision-making in local communities. However, limited studies have been conducted to use maps directly as a communication tool to support community discussion. In this paper, we explore the potential of using geospatial annotations to facilitate map-based online discussion in local communities. We developed a prototype system, which explicitly links participants' discussion contributions with geographic references. The system is based on conceptual understanding of map-based discussion space, which guides the generation of system requirements. We demonstrate the utility of such systems by a hypothetical scenario of building a Smoke-Free campus in a university community.
A Bayesian Methodology for Estimating Uncertainty of Decisions in Safety-Critical Systems
Authors: Vitaly Schetinin, Jonathan E. Fieldsend, Derek Partridge, Wojtek J. Krzanowski, Richard M. Everson, Trevor C. Bailey, Adolfo Hernandez
Venue: Proceeding of the 2006 conference on Integrated Intelligent Systems for Engineering Design (2006)

Uncertainty of decisions in safety-critical engineering applications can be estimated on the basis of the Bayesian Markov Chain Monte Carlo (MCMC) technique of averaging over decision models. The use of decision tree (DT) models assists experts to interpret causal relations and find factors of the uncertainty. Bayesian averaging also allows experts to estimate the uncertainty accurately when a priori information on the favored structure of DTs is available. Then an expert can select a single DT model, typically the Maximum a Posteriori model, for interpretation purposes. Unfortunately, a priori information on favored structure of DTs is not always available. For this reason, we suggest a new prior on DTs for the Bayesian MCMC technique. We also suggest a new procedure of selecting a single DT and describe an application scenario. In our experiments on real data our technique outperforms the existing Bayesian techniques in predictive accuracy of the selected single DTs.
JigDFS in container communities for international cargo security
Authors: J. Bian, R. Seker, S. Ramaswamy
Venue: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies (2009)

The globalized economy has caused an unavoidable increase in the number of shipping containers. The gigantic number of shipping containers entering the USA on a regular basis poses a significant security risk and inspecting every container is impractical. We proposed a design of a comprehensive solution that would monitor containers' integrity from the originating port to the destination port and report any intrusion event if it has taken place; the intruded container can then be handled in an appropriate way. More important, the system itself is designed to be secure and intrusion resistant. In this paper we discuss an implementation of tamper resistance, which necessitates the design of smart containers and implementation of additional measures to ensure smart containers be tamper resistant. Moreover, this paper discusses an implementation of Jigsaw Distributed File System (JigDFS) to further protect the container communities.
Performance improvement of software-based system using an integrated approach &ndash; a case study
Authors: R. Amuthakkannan
Venue: International Journal of Information Systems and Change Management (2008)

The modern automation system consists of software and hardware components to achieve the high quality products and processes. In such type of software-based systems, optimal design is more important to improve the system performance. The perfect parameter design problems are complex because of non-linear relationships and interactions may occur among parameters. So, a proper approach is needed for a parameter optimal design. An integrated approach of neural network with genetic algorithms is proposed to address the optimal design of software-based automation system. This article outlines neural network methodology to predict the response of the software-based automation system for various process parameters values. Then, the genetic algorithm is used to predict the quantitative value of process parameter to improve the performance of the system. In this work, a cascading electro-pneumatic kit is taken as case analysis to analyse the performance of software-based system.
Versioning XML-based office documents
Authors: Sebastian Rönnau, Uwe M. Borghoff
Venue: Multimedia Tools and Applications (2009)

The ability to reliably merge independent updates of a document is a crucial prerequisite to efficient collaboration in office work. However, merge support for common office document standards like OpenDocument or OfficeOpenXML is still in its infancy. In this paper, we present a consistent versioning model for XML documents in general including merge support. This is achieved by using context-aware fingerprints that identify edit operations and allow for a conflict detection. We show how to extract tracked changes from office documents and map them on our delta model. Experimental results indicate that our fingerprinting technique is efficient and reliable.
Designers' natural descriptions of interactive behaviors
Authors: Sun Young Park, Brad Myers, Andrew J. Ko
Venue: Proceedings of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (2008)

While a designer’s focus used to be the design of non-interactive elements such as graphics or animations, today’s designers deal with various levels of interactivity such as mouse, keyboard and touch screen interaction. Unfortunately, it is challenging for designers to create these diverse interactions since most implementation tools such as Flash require the use of conventional programming languages and do not support the natural expressions used by designers. To better understand how designers think about interactive behaviors, we conducted a lab study where designers and programmers described various primitive and composite interactive behaviors using their own language. From this, we learned that there is significant commonality among designers in terms of the verbs, syntax, and structure when describing interactivity. These results can help guide the way to building more natural programming languages and environments for designers to facilitate the development of interactive behaviors.
Codes and circuits for secure hardware design
Authors: Mark G. Karpovsky
Venue:  (2009)

The services and security benefits provided by cryptographic algorithms are indispensable for modern electronic infrastructure. To provide benefit to a larger system, however, the algorithms themselves must be implemented securely. Devices implementing cryptographic algorithms can leak secret information to any observer through side channels limiting their security. Powerful attacks have been developed with can efficiently exploit the side information to completely compromise the security of an implementation within minutes. This thesis investigates the sources of vulnerabilities and proposed countermeasures against attacks which use power consumption and behavior in the presence of faults of a device as the target for an attack. The proposed countermeasures for the power and fault attacks are based on the nonlinear error-detecting codes known as robust codes and asynchronous gate-level circuit structures.Robust codes are nonlinear error-detecting codes which can provide for uniform error detection against all errors. These codes are shown to offer an advantage over traditional linear codes for protection against fault attacks. Due to the almost unrestricted fault model associated with an adversary, an attacker can choose to tailor the fault injection techniques to bypass protection methods which assume a particular attack method. By providing uniform error detection against all errors robust codes do not have such weaknesses. The theoretical properties of the codes and general optimal constructions are developed in the thesis. Several applications and case studies are used to demonstrate the practicality and performance of the codes for the protection of hardware devices.Gate level power balanced designs are an appealing countermeasure against power attacks since they can be used almost universally in many architectures and designs once individual cells are considered secure. We demonstrate new vulnerabilities of previous designs and propose secure asynchronous gates which meet all the known requirements. The new designs are the first known practical gates which do not require costly and suboptimal balanced routing techniques and are compatible with an automated design flow.
Hierarchical Modelling and Model Adaptivity for Gas Flow on Networks
Authors: Pia Bales, Oliver Kolb, Jens Lang
Venue: Proceedings of the 9th International Conference on Computational Science: Part I (2009)

We are interested in the simulation and optimization of gas transport in networks. Different regions of the network may be modelled by different equations. There are three models based on the Euler equations that describe the gas flow in pipelines qualitatively different: a nonlinear model, a semilinear model and a stationary also called algebraic model. For the whole network, adequate initial and boundary values as well as coupling conditions at the junctions are needed. Using adjoint techniques, one can specify model error estimators for the simplified models. A strategy to adaptively apply the different models in different regions of the network while maintaining the accuracy of the solution is presented.
Sound, precise and efficient static race detection for multi-threaded programs
Authors: Michael Hicks, Jeffrey Foster
Venue:  (2008)

Multi-threaded programming is increasingly relevant due to the growing prevalence of multi-core processors. Unfortunately, the non-determinism in parallel processing makes it easy to make mistakes but difficult to detect them, so that writing concurrent programs is considered very difficult. A data race, which happens when two threads access the same memory location without synchronization is a common concurrency error, with potentially disastrous consequences.This dissertation presents LOCKSMITH, a tool for automatically finding data races in multi-threaded C programs by analyzing their source code. LOCKSMITH uses a collection of static analysis techniques to reason about program properties, including a novel effect system to compute memory locations that are shared between threads, a system for inferring "guarded-by" correlations between locks and memory locations, and a novel analysis of data structures using existential types. We present the main analyses in detail and give formal proofs to support their soundness. We discuss the implementation of each analysis in LOCKSMITH, present the problems that arose when extending it to the full C programming language, and discuss some alternative solutions. We provide extensive measurements for the precision and performance of each analysis and compare alternative techniques to find the best combination.
Controlled teleportation against uncooperation of part of supervisors
Authors: Xin-Wen Wang, Yu-Huan Su, Guo-Jian Yang
Venue: Quantum Information Processing (2009)

We study the teleportation of an unknown quantum state from a sender (Alice) to a receiver (Bob) via the control of many supervisors (Charlie 1, Charlie 2, . . .) in a network. It has been shown that such a task can be achieved by distributing a GHZ-type entangled state among the participants in advance. In the protocols with GHZ-type entanglement channel, the achievement of teleportation between Alice and Bob is conditioned on the cooperation of all the supervisors. In other words, if anyone of the supervisors does not cooperate, the teleportation will fails. In this paper, we introduce another kind of controlled teleportaton protocol with other types of entangled states acting as the quantum channel, in which the teleportation between Alice and Bob can be realized with high degree of endurance against uncooperation of part of supervisors.