ppxscal/embedding_network huggingface dataset:
VLBI_UDP: An application for transporting VLBI data using the UDP protocol
Authors: Simon Casey, Richard Hughes-Jones, Ralph Spencer, Matthew Strong, Paul Burgess, Arpad Szomoru, Colin Greenwood
Venue: Future Generation Computer Systems (2010)

This paper describes the VLBI_UDP application, which has been designed to transport astronomical data recorded via a technique known as Very Long Baseline Interferometry (VLBI), using the UDP protocol. The design of the VLBI_UDP application is discussed together with modifications that provide additional features such as file access and packet dropping. Network tests of the application show that the application is stable and correctly deals with packets lost on the network. Correlation tests using data with deliberately dropped packets show that the correlation process is resilient under data losses approaching 20% and that the resulting correlation amplitude decreases as 1.2 times the packet-loss rate. The results also indicate that while the correlator is able to cope with at least 2 consecutive missing headers, it needs to see at least 2 correct headers, otherwise synchronisation is lost.
Two-echelon trade credit financing for perishable items in a supply chain when demand depends on both selling price and credit period
Authors: A. Thangam, R. Uthayakumar
Venue: Computers and Industrial Engineering (2009)

A profitable decision policy between a supplier and the retailers can be characterized by an agreement on the trade credit scenario such as permissible delay in payments. In real life business, we observe that the demand is a function of both the selling price and credit period rather than the constant demand. Incorporating this demand function to the retailer of a supply chain, we develop an EPQ - based model for perishable items under two-echelon trade financing. The purpose of this paper is to maximize the profit by determining the optimal selling price, credit period and replenishment time. It is shown that the model developed by Jaggi et al. [Jaggi, J. K., Goyal, S. K., & Goel, S. K., 2008. Retailer's optimal replenishment decisions with creditlinked demand under permissible delay in payments. European Journal of Operational Research, 190, 130-135] can be treated as a special case of this paper. Finally, through numerical examples, sensitivity analysis shows the influence of key model parameters.
NMR-Based Encoding and Processing of Alphanumeric Information
Authors: Tamar Ratner, Ofer Reany, Ehud Keinan
Venue: Proceedings of the 8th International Conference on Unconventional Computation (2009)

We present here a novel experimental computing device that is based on 1H Nuclear Magnetic Resonance (NMR) readout of chemical information. This chemical encoding system utilizes two measurable parameters of homogeneous mixtures, chemical shift and peak integration, for different applications: 1) text encoding device that is based on spectral representation of a sequence of symbols, 2) encoding of 21-digit binary numbers, each represented by an NMR spectrum, and their algebraic manipulations, such as addition and subtraction, and 3) encoding of 21-digit decimal numbers.We have selected 22 compounds, each characterized by a simple 1H NMR spectrum with a single absorption within the chemical shift range of ¿ 2-4 ppm. The use of NMR allows us to detect the presence / absence of each substances, as well as its relative concentration, thus creating a two dimensional matrix of two parameters.The first application enables molecular information storage and encryption. The relative concentration of each component, as measured by the relevant peak integration, can represent a symbol. Integration of any of the 22 compounds in our library can be accurately measured for at least 10 different levels of concentrations. In order to represent 26 letters with high precision and also increase the encryption complexity we assigned each symbol to a pair of consecutive peaks in the spectrum. Based on 10 concentration levels of each component, a pair of peaks can produce 102 = 100 combinations, each representing a different symbol.A second application of this system, in addition to its obvious memory abilities, enables mathematical operations. The NMR spectrum of a 22-component mixture represents a 21-digit binary number (on of the peaks served as an integration reference) where each of the peaks encodes for a specific digit. In any of the input mixtures (numbers) each compound was either present or absent, representing either 1 or 0, respectively. This encoding can produce as many as 221 = 2,097,152 different numbers. We used the various binary numbers to carry out addition operations by combining two or more solutions (numbers). Electronically, subtraction operations were also preformed.A third application is the representation of decimal numbers. As before, each of the peaks encodes for a specific digit. In any of the input mixtures each compound was present in one of 10 different relative concentrations, representing the 10 digits of the decimal number.
In Vivo Evolution of Policies that Govern a Distributed System
Authors: Constantin Serban, Naftaly Minsky
Venue: Proceedings of the 2009 IEEE International Symposium on Policies for Distributed Systems and Networks (2009)

This paper addresses an important open problem confronting any decentralized and stateful access control (AC) mechanism for networked systems, particularly when the system at hand is large, heterogeneous and open.The problem, in a nutshell, is how to enable safe evolution of the policy that governs a given system, while that system continues to operate. This problem, and its solution, are addressed here in terms of the Law-Governed Interaction (LGI) mechanism, but the ideas underlying this paper should be broadly relevant to other decentralized and stateful control mechanisms, such as the use of distributed firewalls for the protection of distributed enterprise systems.
Magic Lantern Guides: Canon EOS 40D 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
Design of coplanar waveguide elliptic low pass filters
Authors: Amjad A. Omar, Nihad I. Dib, Khelifa Hettak, Maximilian C. Scardelletti, Raed M. Shubair
Venue: International Journal of RF and Microwave Computer-Aided Engineering (2009)

This article proposes three design topologies of coplanar waveguide elliptic low pass filters. The design procedure is simple and explained in detail for the first topology. Numerical results are provided using the commercially available simulation softwares IE3D and HFSS to show the validity of the design with very good agreement. The proposed filters yield less than 0.1 dB attenuation in the passband (0&ndash;2 GHz), with a controllable slope of the transition between passband and stopband. The width of the rejection band is increased by simple filter cascading resulting in a passband to stopband ratio of up to 1:6. &copy; 2009 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2009.
MMORPG Player actions: Network performance, session patterns and latency requirements analysis
Authors: Mirko Suznjevic, Ognjen Dobrijevic, Maja Matijasevic
Venue: Multimedia Tools and Applications (2009)

Providing Massively Multiplayer Online Role-Playing Games (MMORPGs) is a big challenge for future mobile, IP-based networks. Understanding how the players' actions affect the network parameters, the game platform, and the overall perceived quality is highly relevant for the purposes of game design, as well as for the networking infrastructure and network support for games. We break player actions down into discrete categories, and show that each category is distinct in terms of several key metrics. We discuss which categories of actions could be supported on current mobile devices, and present evidence in form of a user survey demonstrating the demand for such services. The starting points into the discussion include the networking, session and latency requirements for particular player actions on one side, and the players' interest on the other. The Blizzard Entertainment's World of Warcraft (WoW) is used as a case study.
Getting by with a little help from your (virtual) friends
Authors: Justine Cassell
Venue: Journal of Computing Sciences in Colleges (2009)

In this talk I report on a series of studies that attempt to characterize the role of language and nonverbal behavior in relationship-building and rapport in humans, and then to use the results to implement virtual humans capable of rapport with their users. In particular, we are implementing virtual survey interviewers that can use rapport to elicit truthful responses, and virtual direction-giving agents that behave differently as they give directions over the lifetime of use. We are implementing virtual peers that can engage in collaborative learning with children within different dialect communities, virtual peers that can scaffold the learning of rapport behaviors in children with autism spectrum disorder, and virtual peers that can be used to assess the social skills deficits of children with autism spectrum disorder so as to better plan their treatment. The goal of the research program is to better understand linguistic and nonverbal coordination devices from the utterance level to the relationship level --- how they work in humans, how they can be modeled in virtual humans, and how virtual humans can be implemented to help humans have productive and satisfying relationships, with machines and with one another, over long periods of time.
Multimodal biometric image watermarking using two-stage integrity verification
Authors: Won-gyum Kim, HeungKyu Lee
Venue: Signal Processing (2009)

In this paper, we propose multimodal biometric image watermarking scheme through a two-stage integrity verification method using the hidden thumbnail feature vectors for safe authentication of multimodal biometrics data, face and fingerprint, respectively. It is basically blind and spread spectrum-based robust watermarking method. The proposed method enables us to detect a tampered region by controlling watermark embedding strength to meet the requirement of predefined watermark extraction threshold. The key idea is that the thumbnail feature vectors of a face image as a watermark pattern are utilized by embedding into a fingerprint image in order to verify the integrity of respective biometric data. The first stage of integrity verification for a fingerprint image is done by deciding the validity of extracted thumbnail patterns. The second stage of integrity verification for a face image is done by one-to-one matching between the thumbnail feature vectors extracted from a face image and the thumbnail one of the received face image. Experimental results showed that the proposed method has a high detection rate of the forged biometric data and guarantees the security assurance.
FO Model Checking on Nested Pushdown Trees
Authors: Alexander Kartzow
Venue: Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009 (2009)

Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable μ-calculus model checking while monadic second-order logic is undecidable on this class. We show that nested pushdown trees are tree-automatic structures, whence first-order model checking is decidable. Furthermore, we prove that it is in 2-EXPSPACE using pumping arguments on runs of pushdown systems. For these arguments we also develop a Gaifman style argument for graphs of small diameter. 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
On stability and dissipativity of some classes of complex systems
Authors: A. Yu. Aleksandrov, A. V. Platonov
Venue: Automation and Remote Control (2009)

A new form of aggregation of complex systems was proposed and used to determine the conditions for asymptotic stability and uniform dissipativity in nonlinear approximation with the view of establishing criteria for absolute stability and absolute dissipativity. The results obtained were used to analyze dynamics of some the mechanical and biological systems.
A Fault-Tolerant Middleware Switch for Space Applications
Authors: Sergio Montenegro, Ebrahim Haririan
Venue: Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology (2009)

Typical data systems for space applications are computer-centric. The central component is a computer to which several devices are attached. The computer handles devices, communication, computation and storage of data. Furthermore, fault-tolerance is an important issue in space systems. This paper presents a novel multicast embedded middleware switch which at the first implementation is fully implemented on an FPGA. SRAM-based FPGAs are very susceptible to SEUs stemmed from radiation effects in space, therefore considering fault-tolerance is inevitable. High capability of this switch to handle different interfaces in form of an integrated single system together with its fault-tolerance feature makes it very suitable for space data handling applications.
The Realization of Remote On-line Testing for EPON
Authors: Chen Wei, Ren Bin, Lai Shuming
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

It is urgently necessary to accomplish the maintenance and testing for EPON system. Based on the analysis of related parts in IEEE802.3-2005, the paper introduces the realization of remote on-line testing. It can greatly reduce operational expenditures while increasing network availability and reliability.
Plastic deformation magnetic assembly of out-of-plane structures using vapour phase hydrofluoric (HF) acid release
Authors: P. Argyrakis, R. Cheung
Venue: Microelectronic Engineering (2009)

We report on the fabrication of out-of-plane microstructures using plastic deformation magnetic assembly (PDMA) and vapour phase HF release process. A 0.5@mm thin silicon oxide (SiO"2) layer deposited on blank silicon has been implemented as a sacrificial layer. A nickel film, 0.5@mm thick, deposited on top of the SiO"2 layer acts as the seed layer for the electrodeposition of a 4@mm nickel-iron permalloy film. The surface morphology and chemical composition of the permalloy film has been characterised using scanning electron microscopy and X-ray photoelectron spectroscopy (XPS), respectively. A dry vapour phase hydrofluoric (HF) acid release step has been employed to etch the sacrificial SiO"2, producing out-of-plane microstructures with high yield in the absence of a post-release drying step.
Towards Automated TEM for Virus Diagnostics: Segmentation of Grid Squares and Detection of Regions of Interest
Authors: Gustaf Kylberg, Ida-Maria Sintorn, Gunilla Borgefors
Venue: Proceedings of the 16th Scandinavian Conference on Image Analysis (2009)

When searching for viruses in an electron microscope the sample grid constitutes an enormous search area. Here, we present methods for automating the image acquisition process for an automatic virus diagnostic application. The methods constitute a multi resolution approach where we first identify the grid squares and rate individual grid squares based on content in a grid overview image and then detect regions of interest in higher resolution images of good grid squares. Our methods are designed to mimic the actions of a virus TEM expert manually navigating the microscope and they are also compared to the expert's performance. Integrating the proposed methods with the microscope would reduce the search area by more than 99.99 % and it would also remove the need for an expert to perform the virus search by the microscope.
A scalable FETI-DP algorithm with non-penetration mortar conditions on contact interface
Authors: Zdenk Dostál, David Horák, Dan Stefanica
Venue: Journal of Computational and Applied Mathematics (2009)

By combining FETI algorithms of dual-primal type with recent results for bound constrained quadratic programming problems, we develop an optimal algorithm for the numerical solution of coercive variational inequalities. The model problem is discretized using non-penetration conditions of mortar type across the potential contact interface, and a FETI-DP algorithm is formulated. The resulting quadratic programming problem with bound constraints is solved by a scalable algorithm with a known rate of convergence given in terms of the spectral condition number of the quadratic problem. Numerical experiments for non-matching meshes across the contact interface confirm the theoretical scalability of the algorithm.
Translation as weighted deduction
Authors: Adam Lopez
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics (2009)

We present a unified view of many translation algorithms that synthesizes work on deductive parsing, semiring parsing, and efficient approximate search algorithms. This gives rise to clean analyses and compact descriptions that can serve as the basis for modular implementations. We illustrate this with several examples, showing how to build search spaces for several disparate phrase-based search strategies, integrate non-local features, and devise novel models. Although the framework is drawn from parsing and applied to translation, it is applicable to many dynamic programming problems arising in natural language processing and other areas.
Designing Systems for Health Promotion and Autonomy in Older Adults
Authors: Helena Lindgren, Ingeborg Nilsson
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

The inclusion and autonomy of older people in the society where large parts of the life is organized with computer and Internet use as means is addressed in an ongoing project in the rehabilitation and health domains. Part from investigating the potentials of using ICT for rehabilitation of older people with limited or no computer skills, the aim for the project is to develop methods and tools for the purpose, and also for the interaction design domain where systems are developed for older people. The resulting methods are used for informing the design of the system in an iterative process.
A Metric and Multiscale Color Segmentation Using the Color Monogenic Signal
Authors: Guillaume Demarcq, Laurent Mascarilla, Pierre Courtellemont
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

In this paper, we use the formalism of Clifford algebras to extend the so-called Monogenic Signal to color images. This extension consists in a function with values in the Clifford algebra ¿5,0 that encodes color as well as geometric structure information. Using geometric calculus, such a mathematical object can be used to extend classical concepts of signal processing (filtering, Fourier Transform...) to color images in a consistent manner. Regarding this paper, a local color phase is introduced, which generalizes the one for grayscale image. As an example of application, we provide a new method for color segmentation. Based on our phase definition and the multiscale aspect of the Color Monogenic Signal, we provide a metric approach using differential geometry which reveals relevant on the Berkeley Image Dataset.
Practical Algorithms for the Longest Common Extension Problem
Authors: Lucian Ilie, Liviu Tinta
Venue: Proceedings of the 16th International Symposium on String Processing and Information Retrieval (2009)

The Longest Common Extension problem considers a string s and computes, for each of a number of pairs (i,j), the longest substring of s that starts at both i and j. It appears as a subproblem in many fundamental string problems and can be solved by linear-time preprocessing of the string that allows (worst-case) constant-time computation for each pair. The two known approaches use powerful algorithms: either constant-time computation of the Lowest Common Ancestor in trees or constant-time computation of Range Minimum Queries (RMQ) in arrays. We show here that, from practical point of view, such complicated approaches are not needed. We give two very simple algorithms for this problem that require no preprocessing. The first needs only the string and is significantly faster than all previous algorithms on the average. The second combines the first with a direct RMQ computation on the Longest Common Prefix array. It takes advantage of the superior speed of the cache memory and is the fastest on virtually all inputs.
Estimating Productivity: Composite Operators for Keystroke Level Modeling
Authors: Jeff Sauro
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends (2009)

Task time is a measure of productivity in an interface. Keystroke Level Modeling (KLM) can predict experienced user task time to within 10 to 30% of actual times. One of the biggest constraints to implementing KLM is the tedious aspect of estimating the low-level motor and cognitive actions of the users. The method proposed here combines common actions in applications into high-level operators (composite operators) that represent the average error-free time (e.g. to click on a button, select from a drop-down, type into a text-box). The combined operators dramatically reduce the amount of time and error in building an estimate of productivity. An empirical test of 26 users across two enterprise web-applications found this method to estimate the mean observed time to within 10%. The composite operators lend themselves to use by designers and product developers early in development without the need for different prototyping environments or tedious calculations.