ppxscal/embedding_network huggingface dataset:
A coherent scheme to support location-independent references in internetwork environment
Authors: Ray Cheng, J. W. S. Liu
Venue: Proceedings of the June 7-10, 1982, national computer conference (1982)

We describe in this paper a coherent scheme to support location-independent references of remote entities in an internetwork environment where entities may dynamically connect to computer systems in different networks. More specifically, we propose that name servers be provided within networks and in hosts to support user creation and use of symbolic internetwork names of entities. Message-forwarding mechanisms to support communication between entities that may migrate from network to network are designed.
Simulation Training Platform for Large Tactical Communication Equipment Based on VR
Authors: Gang Chen, YiLong Jia, Shang Xiang
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 02 (2009)

A simulation training platform aiming at the difficult problem of training is presented. Platform is built based on HLA and its framework is designed to hierarchical structure. Models of training equipment are created with software named GL Studio and Multigen Creator. Key technologies of modeling process are detailed. Equipment operations are layered and its rules are described with XML document. Driving framework programming with Vega Prime API can integrate 3D models, operation rules, special effect and whole scene to a platform system based on VR. Finally, plug-in soft framework is adopted to implement the system and simulation examples are introduced to prove the feasibility of the platform.
The volatility structure of the fixed income market under the HJM framework: A nonlinear filtering approach
Authors: Carl Chiarella, Hing Hung, Thuy-Duong Tô
Venue: Computational Statistics Data Analysis (2009)

The dynamics for interest rate processes within the well-known multi-factor Heath, Jarrow and Morton (HJM) specification are considered. Despite the flexibility of and the notable advances in theoretical research about the HJM model, the number of empirical studies of it is still very sparse. This paucity is principally due to the difficulties in estimating models in this class, which are not only high-dimensional, but also nonlinear and involve latent state variables. The estimation of a fairly broad class of HJM models as a nonlinear filtering problem is undertaken by adopting the local linearization filter, which is known to have some desirable statistical and numerical features, so enabling the estimation of the model via the maximum likelihood method. The estimator is then applied to the US, the UK and the Australian markets. Different two- and three-factor models are found to be the best for each market, with the factors being the level, the slope and the ''twist'' effect. The contribution of each factor towards overall variability of the interest rates and the financial reward each factor claims are found to differ considerably from one market to another.
Synthesis from multi-cycle atomic actions as a solution to the timing closure problem
Authors: Michal Karczmarek, Arvind
Venue: Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design (2008)

One solution to the timing closure problem is to perform infrequent operations in more than one cycle. Despite simplicity of the solution statement, it is not easily considered because it requires changes in RTL, which, in turn, exacerbates the verification problem. We offer a timing closure solution guaranteed to preserve functional correctness of designs expressed using atomic actions or rules. We exploit the fact that the semantics of atomic actions are untimed, that is, the time to execute an action is not specified. The current hardware synthesis technique from atomic actions assumes that each rule takes one clock cycle to complete its computation. Consequently, the rule with the longest combinational path determines the clock cycle of the entire design, often leading to needlessly slow circuits. We present a synthesis procedure for a system where the combinational circuits embodied in a rule can take multiple cycles without changing the semantics of the original design. We also present preliminary results based on an experimental compiler which uses the Bluespec (BSV) compiler front end and generates Verilog. The results show that the clock speed and the performance of circuits can be improved substantially by allowing slow paths to complete over multiple cycles. Our technique is orthogonal to solutions based on multiple clock domains.
A FOG Online Calibration Research Based on High-Precision Three-axis Turntable
Authors: Xu Bo, Sun Feng
Venue: Proceedings of the 2009 International Asia Conference on Informatics in Control, Automation and Robotics (2009)

With the development of fiber-optic gyroscopes, strapdown inertial navigation system has become a trend in the development of inertial navigation system (INS), and strapdown inertial system error calibration technique has become one of the key technologies. This paper combined engineering practice with study an on-line calibration method of INS, which based on the high-precision multi-functional three-axis turntable. First of all, aim at the actual system used in fiber-optic gyroscopes, accelerometers quartz flexible components, set up corresponding system error model respectively. Then, take the high-precision three-axis turntable as platform to design the calibrate path, through the on-line combination calibration .Use Kalman filter algorithm to process data on-line, completed the corresponding experiments, and verified by tests. Experimental results show that the calibration method is feasible in project and effective, and increased level of automation.
On the continuity of the concave integral
Authors: Roee Teper
Venue: Fuzzy Sets and Systems (2009)

Whenever a functional is concave it is natural to ask whether its sendograph is a closed convex set. If so, the Hahn-Banach theory implies that the functional can be represented as the infimum of all continuous linear functionals greater than or equal to it. We refer to such representation as a dual representation. Dominated convergence of the concave integral for capacities is characterized in terms of dual representation whenever sequences of functions converge pointwise outside a set of zero capacity.
DTR: Distributed Transaction Routing in a Large Scale Network
Authors: Idrissa Sarr, Hubert Naacke, Stéphane Gançarski
Venue: High Performance Computing for Computational Science - VECPAR 2008: 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers (2008)

Grid systems provide access to huge storage and computing resources at large scale. While they have been mainly dedicated to scientific computing for years, grids are now considered as a viable solution for hosting data-intensive applications. To this end, databases are replicated over the grid in order to achieve high availability and fast transaction processing thanks to parallelism. However, achieving both fast and consistent data access on such architectures is challenging at many points. In particular, centralized control is prohibited because of its vulnerability and lack of efficiency at large scale. In this article, we propose a novel solution for the distributed control of transaction routing in a large scale network. We leverage a cluster-oriented routing solution with a fully distributed approach that uses a large scale distributed directory to handle routing metadata. Moreover, we demonstrate the feasibility of our implementation through experimentation: results expose linear scale-up, and transaction routing time is fast enough to make our solution eligible for update intensive applications such as world wide online booking.
Enhanced mechanical properties in organofluorosilica thin films
Authors: Mario Pagliaro, Giovanni Palmisano, Eric Le Bourhis, Rosaria Ciriminna, Laura M. Ilharco, Alexandra Fidalgo
Venue: Journal of Nanomaterials (2008)

Fluorinated hybrid organic-inorganic silicates (ORMOSIL) thin films display exceptional mechanical properties in terms of both hardness and elastic modulus that can be finely tuned by varying the angular velocity of the spin coating process. Hence, as traditional alkyl-modified silica xerogels generally show poor mechanical behavior, these materials offer a solution to a major limitation to applicability of ORMOSIL-based films.
A Novel Mechanism to Select Better Multi-homed MIPv6 Networks
Authors: Zina Jerjees, H. Al-Raweshidy
Venue: Proceedings of the 2008 The Second International Conference on Next Generation Mobile Applications, Services, and Technologies (2008)

Multi-homing is increasingly being employed by large enterprises to extract good performance and reliability from their connections. The integration of existing and emerging heterogeneous wireless networks requires the design of intelligent failure detection and recovery schemes to enable mobile users to switch between networks and experience uninterrupted service continuity anywhere, anytime. Real deployment of such mobility strategies remains a significant challenge. This paper, introduces a novel scheme "Global Controller" that is a technique operating with mobile IP version 6 (MIPv6) Global addresses. Aims to reduce the number of dropped data packets, the mobile device will face during its communication with its destination while moving away from its home network, keeping in mind providing mobility over a wide range of access technologies. A careful selection of a better Wireless LAN is important to realize the performance improvements for voice over IP(VoIP) applications. Our analysis shows that multi-homing and switching between WLANs and cleverly scheduling traffic across the networks that can improve the mobile node throughput and utilization by up to 20%, and reduce the traffic queuing delay by up to 25% compared to a use of a single network.
Running up Blueberry Hill: prototyping whole body interaction in harmony space
Authors: Simon Holland, Paul Marshall, Jon Bird, Sheep Dalton, Richard Morris, Nadia Pantidi, Yvonne Rogers, Andy Clark
Venue: Proceedings of the 3rd International Conference on Tangible and Embedded Interaction (2009)

Musical harmony is considered to be one of the most abstract and technically difficult parts of music. It is generally taught formally via abstract, domain-specific concepts, principles, rules and heuristics. By contrast, when harmony is represented using an existing interactive desktop tool, Harmony Space, a new, parsimonious, but equivalently expressive, unified level of description emerges. This focuses not on abstract concepts, but on concrete locations, objects, areas and trajectories. This paper presents a design study of a prototype version of Harmony Space driven by whole body navigation, and characterizes the new opportunities presented for the principled manipulation of chord sequences and bass lines. These include: deeper engagement and directness; rich physical cues for memory and reflection, embodied engagement with rhythmic time constraints; hands which are free for other simultaneous activities (such as playing a traditional instrument); and qualitatively new possibilities for collaborative use.
COVE: a visual environment for multidisciplinary science collaboration
Authors: Keith Grochow
Venue: Proceedings of the ACM 2009 international conference on Supporting group work (2009)

New technologies and approaches are transforming how we carry out and communicate science. In oceanography, large multidisciplinary teams are developing deep-water ocean observatories of unprecedented scale. These observatories will allow hundreds of scientists from disparate fields to conduct experiments together, provide real-time sensor and data access through the Internet, and create a vast archive of data. My work explores some of the challenges of creating collaborative tools to support this new science. Working together with a team of scientists, I designed and deployed the Collaborative Ocean Visualization Environment (COVE) to bring together the data, processes and people on the team. I then carried out three field evaluations of COVE: a multi-month deployment with the scientists, engineers, and graphics staff of the observatory design team, and two different two-week deployments as the primary planning and collaboration platform for expeditionary cruises to map observatory node sites and geothermal sites. Based on these experiences and insight gained in these deployments, I explore the needs of interactive tools to support the work of large multidisciplinary ocean science teams.
A 3-D pyramid/prism approach to view knowledge requirements for the batch means method when taught in a language-focused, undergraduate simulation course
Authors: Chris Poyner, Mary Court, Huong Pham, Jennifer Pittman
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

We develop a 3-D knowledge pyramid/prism model to structure the relationships of (i) lower-level learning, (ii) 'optional' knowledge bases, (iii) concurrent knowledge, and (ii) new knowledge; so one may view the learning needs of a higher-level learning objective. Our paradigm stems from Bloom's taxonomy of learning, but has the advantage of supporting 'just-in-time' and 'learn-by-doing' delivery, teaching and learning styles. We illustrate the paradigm through the BMMKP (the 3-D knowledge pyramid/prism model of the highest-level, batch-means-method learning objective for our language-focused, undergraduate course). The BMMKP reveals how highly dependent and fully integrated this learning is to calculus, probability, statistics, and queuing theory---regardless of the simulation modeling language chosen to teach in the course. The BMMKP is then used to develop a set of lower-level learning objectives for the undergraduate course. The 3-D pyramid/prism approach should lend itself well as a communication tool for visualizing other simulation learning objectives.
The "El Niño" Image Database System
Authors: Simone Santini, Ramesh Jain
Venue: Proceedings of the IEEE International Conference on Multimedia Computing and Systems - Volume 2 (1999)

This paper presents the main features of the image database El Niño. The main characteristic of El Niño is its search model which, rejecting the idea of querying image databases, proposes an approach based on a mix of browsing and querying that we call exploration. This paper presents the interface and query models of El Niño, as well as some of the architectural issues deriving from our query model.
Metal-organic vapour-phase epitaxy of gallium nitride nanostructures for optoelectronic applications
Authors: S. Fündling, U. Jahn, A. Trampert, H. Riechert, H. -H. Wehmann, A. Waag
Venue: Microelectronics Journal (2009)

The two main topics with respect to better gallium nitride (GaN)-based optoelectronic device performance are the improvement of crystal quality and of light extraction. Concerning the first topic, the epitaxial growth of GaN-related materials has to be improved. Since native substrates with good quality are still expensive, foreign substrates like sapphire or silicon which are much cheaper are used, but they introduce a lattice as well as a thermal mismatch leading to detrimental crystal defects. Several approaches to reduce the defect density exist, but in most cases they are coupled with a much higher technological effort. We present an alternative solution to decrease the defect density by the growth of GaN nanostructures, where the small footprint and high aspect ratio leads to a much lower influence of the substrate. Metal-organic vapour-phase epitaxy of GaN nanostructures and InGaN/GaN multi-quantum wells was carried out in a vertical reactor with close-coupled showerhead. Studies on the morphologic properties have been carried out by scanning electron microscopy and energy-dispersive X-ray spectroscopy to reveal the influence of growth parameters and material composition. Cathodoluminescence measurements show the good optical properties of the GaN as well as of the InGaN/GaN structures.
Implementation of OpenWrt-based IP PnP gateway
Authors: Yun-Yu Lee, Ing-Yi Chen, Sy-Yen Kuo, Hsi-Hai Liu, Yuh-Rong Leu
Venue: Proceedings of the International Conference on Mobile Technology, Applications, and Systems (2008)

Wireless Networks have been widely used by people with mobile device or laptop nowadays. There are more and more coffee shops, universities, hotels, and other business that provide services of accessing the Internet via wireless LAN. In the small-scale hotspot, like coffee shops and store, using common access gateway to provide service will be a good choice because of low cost and ease to construct. In this paper we will describe how to implement a wireless hotspot access control gateway under the open source firmware platform -- OpenWrt. This gateway will have (1) RADIUS client to communicate with RADIUS server, (2) captive portal mechanism to strengthen access control, (3) dynamic DNS client to be easily connected and managed without the inconvenience of dynamic IP address. And it will also have SSH connectivity and web page GUI. In addition, IP PnP (IP plug and play) will be in the gateway for convenience of use.
Formal verification of human-robot teamwork
Authors: Rafael H. Bordini, Michael Fisher, Maarten Sierhuis
Venue: Proceedings of the 4th ACM/IEEE international conference on Human robot interaction (2009)

We here address the modelling and analysis of human-agent teamwork, specifically in the context of proposed astronaut-robot collaboration in future space missions. We are particularly interested in modelling such systems at a level that allows formal verification techniques to be applied, and hence carry out sophisticated analysis of the reliability and effectiveness of the teams before the system is deployed in real scenarios. In this paper we describe our ongoing research in this area.
Designing a new robust on-line secondary path modeling technique for feedforward active noise control systems
Authors: Pooya Davari, Hamid Hassanpour
Venue: Signal Processing (2009)

Several approaches have been introduced in the literature for active noise control (ANC) systems. Since the filtered-x least-mean-square (FxLMS) algorithm appears to be the best choice as a controller filter, researchers tend to improve performance of ANC systems by enhancing and modifying this algorithm. This paper proposes a new version of the FxLMS algorithm, as a first novelty. In many ANC applications, an on-line secondary path modeling method using white noise as a training signal is required to ensure convergence of the system. As a second novelty, this paper proposes a new approach for on-line secondary path modeling on the basis of a new variable-step-size (VSS) LMS algorithm in feedforward ANC systems. The proposed algorithm is designed so that the noise injection is stopped at the optimum point when the modeling accuracy is sufficient. In this approach, a sudden change in the secondary path during operation makes the algorithm reactivate injection of the white noise to re-adjust the secondary path estimate. Comparative simulation results shown in this paper indicate the effectiveness of the proposed approach in reducing both narrow-band and broad-band noise. In addition, the proposed ANC system is robust against sudden changes of the secondary path model.
Automated architecture synthesis for parallel programs on FPGA multiprocessor systems
Authors: Harold Ishebabi, Christophe Bobda
Venue: Microprocessors Microsystems (2009)

This paper presents a concept for automated architecture synthesis for adaptive multiprocessors on chip, in particular for Field-Programmable Gate-Array (FPGA) devices. Given a parallel program, the intent is to simultaneously allocate processor resources and the corresponding communication network, and at the same time, to map the parallel application to get an optimum application-specific architecture. This approach builds up on a previously proposed design platform that automates system integration and FPGA synthesis for such architectures. As a result, the overall concept offers an automated design approach from application mapping to system and FPGA configuration. The automated synthesis is based on combinatorial optimization. Automation is possible because a solvable Integer Linear Programming (ILP) model that captures all necessary design trade-off parameters of such systems has been found. Experimental results to study the feasibility of the automated synthesis indicate that problems with sizes that can be encountered in the embedded domain can be readily solved. Results obtained underscore the need for an automated synthesis for design space exploration.
Revisit of stochastic mesh method for pricing American options
Authors: Guangwu Liu, L. Jeff Hong
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

We revisit the stochastic mesh method for pricing American options, from a conditioning viewpoint, rather than the importance sampling viewpoint of Broadie and Glasserman (1997). Starting from this new viewpoint, we derive the weights proposed by Broadie and Glasserman (1997) and show that their weights at each exercise date use only the information of the next exercise date (therefore, we call them forward-looking weights). We also derive new weights that exploit not only the information of the next exercise date but also the information of the last exercise date (therefore, we call them binocular weights). We show how to apply the binocular weights to the Black-Scholes model, more general diffusion models, and the variance-gamma model. We demonstrate the performance of the binocular weights and compare to the performance of the forward-looking weights through numerical experiments.
Flexible Hardware Acceleration for Instruction-Grain Lifeguards
Authors: Shimin Chen, Michael Kozuch, Phillip B. Gibbons, Michael Ryan, Theodoros Strigkos, Todd C. Mowry, Olatunji Ruwase, Evangelos Vlachos, Babak Falsafi, Vijaya Ramachandran
Venue: IEEE Micro (2009)

Instruction-grain lifeguards monitor executing programs at the granularity of individual instructions to quickly detect bugs and security attacks, but their fine-grain nature incurs high monitoring overheads. This article identifies three common sources of these overheads and proposes three techniques that together constitute a general-purpose hardware acceleration framework for lifeguards.
On highly palindromic words
Authors: Štpán Holub, Kalle Saari
Venue: Discrete Applied Mathematics (2009)

We study some properties of palindromic (scattered) subwords of binary words. In view of the classical problem on subwords, we show that the set of palindromic subwords of a word characterizes the word up to reversal. Since each word trivially contains a palindromic subword of length at least half of its length-a power of the prevalent letter-we call a word that does not contain any palindromic subword longer than half of its length minimal palindromic. We show that every minimal palindromic word is abelian unbordered, that is, no proper suffix of the word can be obtained by permuting the letters of a proper prefix. We also propose to measure the degree of palindromicity of a word w by the ratio |rws|/|w|, where the word rws is minimal palindromic and rs is as short as possible. We prove that the ratio is always bounded by four, and construct a sequence of words that achieves this bound asymptotically.