ppxscal/embedding_network huggingface dataset:
Scaling properties of delay tolerant networks with correlated motion patterns
Authors: Uichin Lee, Soon Y. Oh, Kang-Won Lee, Mario Gerla
Venue: Proceedings of the 4th ACM workshop on Challenged networks (2009)

Mobile wireless networks with intermittent connectivity, often called Delay/Disruption Tolerant Networks (DTNs), have recently received a lot of attention because of their efficiency in various application scenarios where delay is noncritical. DTN routing and transport protocols effectively overcome partial connectivity by letting the nodes carry-and-forward data. The scalability of DTN protocols is very important for protocol design and evaluation. In particular, we need models that allow us to predict the performance of DTN as a function of node mobility behavior (e.g., inter-contact times). Yet so far little work has been done to develop a unified framework that formalizes DTN performance as a function of motion behavior. In this paper, we represent DTNs as a class of wireless mobile networks with intermittent connectivity, where the inter-contact behavior of an arbitrary pair of nodes can be described by a generalized two-phase distribution (i.e., a power-law head with an exponential tail). Recent experiments have confirmed that the two-phase distribution is the most realistic model for vehicular and pedestrian scenarios, where the specific shape of the distribution depends on the degree of correlation among mobile traces. Using this DTN model, we make the following contributions. First, we extend the throughput and delay scaling results of Grossglauser and Tse (derived for exponential inter-contact time distributions) to the two-phase distribution with motion correlation. Second, we analyze the impact of finite buffer on the capacity scaling properties of DTNs, again for different correlation behaviors. Finally, we validate our analytical results with a simulation study.
Robustness of Stein-type estimators under a non-scalar error covariance structure
Authors: Xinyu Zhang, Ti Chen, Alan T. K. Wan, Guohua Zou
Venue: Journal of Multivariate Analysis (2009)

The Stein-rule (SR) and positive-part Stein-rule (PSR) estimators are two popular shrinkage techniques used in linear regression, yet very little is known about the robustness of these estimators to the disturbances' deviation from the white noise assumption. Recent studies have shown that the OLS estimator is quite robust, but whether this is so for the SR and PSR estimators is less clear as these estimators also depend on the F statistic which is highly susceptible to covariance misspecification. This study attempts to evaluate the effects of misspecifying the disturbances as white noise on the SR and PSR estimators by a sensitivity analysis. Sensitivity statistics of the SR and PSR estimators are derived and their properties are analyzed. We find that the sensitivity statistics of these estimators exhibit very similar properties and both estimators are extremely robust to MA(1) disturbances and reasonably robust to AR(1) disturbances except for the cases of severe autocorrelation. The results are useful in light of the rising interest of the SR and PSR techniques in the applied literature.
Building an Underwater Wireless Sensor Network Based on Optical: Communication: Research Challenges and Current Results
Authors: Davide Anguita, Davide Brizzolara, Giancarlo Parodi
Venue: Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications (2009)

In this paper current research for an Underwater Wireless Sensor Network based on optical communication between nodes is described. Radio Frequencies are strongly attenuated in water and optical communication can be considered as a feasible solution to explore as an alternative to acoustic communication in case of short-range distance. At the moment, our work focuses on an optical Physical Layer developed considering the characteristics of IEEE 802.11 Infrared Physical Layer and the compatibility with the current IEEE 802.15.4 protocol for terrestrial Wireless Sensor Networks. This approach, that allows the interface between the optical Physical Layer and the current terrestrial technology.for Wireless Sensor Networks, is a first step that will be followed by works on upper layers. In this paper, the main research challenges and current results are illustrated.
A Personal Assistant for Autonomous Life
Authors: Alessandro Andreadis, Giuliano Benelli, Pasquale Fedele
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

This paper presents a design of an innovative framework to support continuous monitoring and assistance for ageing people affected by disabilities or chronic diseases during their stay in a structured environment such as home or hospital.
Reuse of Architectural Knowledge in SPL Development
Authors: Pedro O. Rossel, Daniel Perovich, María Cecilia Bastarrica
Venue: Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering (2009)

Software Product Lines (SPL) promote reuse within an application domain in an organized fashion. Preimplemented software components are arranged according to a product line architecture (PLA). Balancing possibly conflicting quality attributes of all potential products makes PLA design a challenging task. Moreover, if quality attributes are part of the variabilities of the SPL, then a unique PLA may result highly inconvenient for particular configurations. We consider the PLA as a set of architectural decisions organized by the features in the Feature Model. A particular product architecture (PA) is defined as the subset of decisions associated to the chosen features for the product. Architectural knowledge is then reused among products and when new features are required in the SPL. Variability at the quality attribute level will impact the style of the resulting architecture, thus choosing different quality features will produce PAs following different styles, even within the same SPL. We use MDE techniques to operationalize this procedure and we illustrate the technique using the case of a Meshing Tool SPL.
Entanglement and Berry phase in a 9 × 9 Yang---Baxter system
Authors: Chunfang Sun, Kang Xue, Gangcheng Wang
Venue: Quantum Information Processing (2009)

A M-matrix which satisfies the Hecke algebraic relations is presented. Via the Yang---Baxterization approach, we obtain a unitary solution $${\breve{R}(\theta,\varphi_{1},\varphi_{2})}$$ of Yang---Baxter equation. It is shown that any pure two-qutrit entangled states can be generated via the universal $${\breve{R}}$$ -matrix assisted by local unitary transformations. A Hamiltonian is constructed from the $${\breve{R}}$$ -matrix, and Berry phase of the Yang---Baxter system is investigated. Specifically, for $${\varphi_{1}\,{=}\,\varphi_{2}}$$ , the Hamiltonian can be represented based on three sets of SU(2) operators, and three oscillator Hamiltonians can be obtained. Under this framework, the Berry phase can be interpreted.
Proceedings of the sixth ACM international workshop on VehiculAr InterNETworking
Venue: International Conference on Mobile Computing and Networking (2009)

Welcome to the Sixth ACM International Workshop on VehiculAr InterNETworking (VANET 2009) in Beijing! After the success of the previous five events, 2009 is a great year to continue this exciting and innovative workshop. The application of vehicle communication systems (vehicle-to-vehicle as well as vehicle-to- roadside) technologies have been presented in several impressive large-scale demonstrations during the past year and it appears that the technology is now closer than ever before to actual deployment. The VANET technology has the ability to be an outstanding milestone of improved safety and efficiency of transportation and logistics on the roads. VANET technology is now in a critical phase where academia, industry and governments worldwide are jointly investing significant time and resources in order to understand the technology and prepare for large scale deployment. However, several technical challenges remain that require resolution. The design of a VANET is a highly collaborative effort and one that involves multiple disciplines. Our experience has shown that this has a potential to lead to push-pulls of varying interests and requirements, both between engineering disciplines and non-engineering disciplines. One of the key objectives of VANET is to stimulate strong collaboration between different technical disciplines. It is only through a strong collaboration that it is possible to design and implement a VANET that provides the right balance of reliability, cost-efficiency, safety, security, control and privacy. This year we received 40 submissions for the regular program of the VANET workshop. Each paper was assigned to three TPC members and received at least three reviews. While for most papers the final decision was straight forward, some papers with heterogeneous reviews were discussed thoroughly by the TPC members. At the end, the TPC accepted 12 submissions as full papers while the authors of five submissions where invited to present their work as a poster paper. Due to space constraints and given the excellent quality of this year's submissions, we had to make very tough decisions during this selection process.
Games with Opacity Condition
Authors: Bastien Maubert, Sophie Pinchinat
Venue: Proceedings of the 3rd International Workshop on Reachability Problems (2009)

We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachability perfect information games and exploit this relation to discuss a search approach with heuristics, based on the directing-word problem in automata theory.
Query translation from XPath to SQL in the presence of recursive DTDs
Authors: Wenfei Fan, Jeffrey Xu Yu, Jianzhong Li, Bolin Ding, Lu Qin
Venue: The VLDB Journal &mdash; The International Journal on Very Large Data Bases (2009)

We study the problem of evaluating xpath queries over xml data that is stored in an rdbms via schema-based shredding. The interaction between recursion (descendants-axis) in xpath queries and recursion in dtds makes it challenging to answer xpath queries using rdbms. We present a new approach to translating xpath queries into sql queries based on a notion of extended XP ath expressions and a simple least fixpoint (lfp) operator. Extended xpath expressions are a mild extension of xpath, and the lfp operator takes a single input relation and is already supported by most commercial rdbms. We show that extended xpath expressions are capable of capturing both dtd recursion and xpath queries in a uniform framework. Furthermore, they can be translated into an equivalent sequence of sql queries with the lfp operator. We present algorithms for rewriting xpath queries over a (possibly recursive) dtd into extended xpath expressions and for translating extended xpath expressions to sql queries, as well as optimization techniques. The novelty of our approach consists in its capability to answer a large class of xpath queries by means of only low-end rdbms features already available in most rdbms, as well as its flexibility to accommodate existing relational query optimization techniques. In addition, these translation algorithms provide a solution to query answering for certain (possibly recursive) xml views of xml data. Our experimental results verify the effectiveness of our techniques.
Examining the effect of improved context sensitive morphology on Arabic information retrieval
Authors: Kareem Darwish, Hany Hassan, Ossama Emam
Venue: Proceedings of the ACL Workshop on Computational Approaches to Semitic Languages (2005)

This paper explores the effect of improved morphological analysis, particularly context sensitive morphology, on monolingual Arabic Information Retrieval (IR). It also compares the effect of context sensitive morphology to non-context sensitive morphology. The results show that better coverage and improved correctness have a dramatic effect on IR effectiveness and that context sensitive morphology further improves retrieval effectiveness, but the improvement is not statistically significant. Furthermore, the improvement obtained by the use of context sensitive morphology over the use of light stemming was not significantly significant.
Index Sets and Universal Numberings
Authors: Sanjay Jain, Frank Stephan, Jason Teutsch
Venue: Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice (2009)

This paper studies the Turing degrees of various properties defined for universal numberings, that is, for numberings which list all partial-recursive functions. In particular properties relating to the domain of the corresponding functions are investigated like the set DEQ of all pairs of indices of functions with the same domain, the set DMIN of all minimal indices of sets and DMIN* of all indices which are minimal with respect to equality of the domain modulo finitely many differences. A partial solution to a question of Schaefer is obtained by showing that for every universal numbering with the Kolmogorov property, the set DMIN* is Turing equivalent to the double jump of the halting problem. Furthermore, it is shown that the join of DEQ and the halting problem is Turing equivalent to the jump of the halting problem and that there are numberings for which DEQ itself has 1-generic Turing degree.
Multi-video synopsis for video representation
Authors: Teng Li, Tao Mei, In-So Kweon, Xian-Sheng Hua
Venue: Signal Processing (2009)

The world is covered with millions of cameras with each recording a huge amount of video. It is a time-consuming task to watch these videos, as most of them are of little interest due to the lack of activity. Video representation is thus an important technology to tackle with this issue. However, conventional video representation methods mainly focus on a single video, aiming at reducing the spatiotemporal redundancy as much as possible. In contrast, this paper describes a novel approach to present the dynamics of multiple videos simultaneously, aiming at a less intrusive viewing experience. Given a main video and multiple supplementary videos, the proposed approach automatically constructs a synthesized multi-video synopsis by integrating the supplementary videos into the most suitable spatiotemporal portions within this main video. The problem of finding suitable integration between the main video and supplementary videos is formulated as the maximum a posterior (MAP) problem, in which the desired properties related to a less intrusive viewing experience, i.e., informativeness, consistency, visual naturalness, and stability, are maximized. This problem is solved by using an efficient Viterbi beam search algorithm. Furthermore, an informative blending algorithm that naturalizes the connecting boundary between different videos is proposed. The proposed method has a wide variety of applications such as visual information representation, surveillance video browsing, video summarization, and video advertising. The effectiveness of multi-video synopsis is demonstrated in extensive experiments over different types of videos with different synopsis cases.
Transformations of Conditional Rewrite Systems Revisited
Authors: Karl Gmeiner, Bernhard Gramlich
Venue: Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (2009)

We revisit known transformations of conditional rewrite systems to unconditional ones in a systematic way. We present a unified framework for describing, analyzing and classifying such transformations, discuss the major problems arising, and finally present a new transformation which has some advantages as compared to the approach of [6]. The key feature of our new approach (for left-linear confluent normal 1-CTRSs) is that it is backtracking-free due to an appropriate encoding of the conditions.
A Global Trust Model of P2P Network Based on Distance-Weighted Recommendation
Authors: Xueming Li, Jianke Wang
Venue: Proceedings of the 2009 IEEE International Conference on Networking, Architecture, and Storage (2009)

We propose a global trust model, which is based on the distance-weighted recommendations under P2P circumstance, with the model’s mathematical expressions and realization methods under distributed circumstance, to quantify and evaluate the credibility of peers. The results of the simulation show that our model is more tolerant under comprehensive attacks, and also makes significant improvements on the rate of successful downloading.
Causal Links of Presence
Authors: Donghun Chung, Chae-Hwan Kim
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part IV: Interacting in Various Application Domains (2009)

The purpose of this paper is to examine antecedent variables and an outcome variable of presence. Presence has been used to explain the extent to which technology users are immersed and involved in a technology-created experience. In video gaming, gamers frequently don't distinguish between reality and the game world, and they identify characters with themselves. This comes from a high level of presence. So what makes technology users have greater presence? The present study proposes a causal model which includes attitude and empathy as antecedent variables that lead to a degree of presence and then para-social interaction as an outcome of presence level. The results showed that path analysis of the model was successfully supported.
COACH: cumulative online algorithm for classification of handwriting deficiencies
Authors: Ariella Richardson, Sarit Kraus, Patrice L. Weiss, Sara Rosenblum
Venue: Proceedings of the 20th national conference on Innovative applications of artificial intelligence - Volume 3 (2008)

In this paper we present COACH - a Cumulative Online Algorithm for Classification of Handwriting deficiencies. A description of our algorithm along with a performance evaluation of COACH on real data is provided. COACH is an innovative algorithm designed for building an online handwriting evaluation tool to be used for classifying and remediating handwriting deficiencies. COACH adapts learning and data mining techniques from AI to handwriting deficiency classification in an innovative fashion. Until now handwriting classification has been performed manually by trained therapists causing expensive and subjective evaluation. This application lowers the cost of evaluation, increases objectiveness, and enables repeated testing that can accompany therapy. COACH is evaluated on real data obtained from children with poor handwriting using a digitizer tablet. Results show that COACH manages to successfully differentiate between poor to proficient handwriting. Differentiation is obtained even after using data from only a few words. These results prove that COACH is a promising emerging application for online evaluation.
Fine-grained I/O access control of the mobile devices based on the Xen architecture
Authors: Sung-Min Lee, Sang-Bum Suh, Bokdeuk Jeong, Sangdok Mo, Brian Myungjune Jung, Jung-Hyun Yoo, Jae-Min Ryu, Dong-Hyuk Lee
Venue: Proceedings of the 15th annual international conference on Mobile computing and networking (2009)

System virtualization is now available for mobile devices allowing for many advantages. Two of the major benefits from virtualization are system fault isolation and security. The isolated driver domain (IDD) model, a widely adopted architecture, enables strong system fault isolation by limiting the impact of driver faults to the driver domain itself. However, excessive I/O requests from a malicious domain to an IDD can cause CPU overuse of the IDD and performance degradation of applications in the IDD and other domains that share the same I/O device with the malicious do-main. If the IDD model is applied to mobile devices, this failure of performance isolation could also lead to battery drain, and thus it introduces a new severe threat to mobile devices. In order to solve this problem, we propose a fine-grained I/O access control mechanism in an IDD. Requests from guest domains are managed by an accounting module in terms of CPU usage, with the calcula-tion of estimated CPU consumption using regression equations. The requests are scheduled by an I/O access control enforcer ac-cording to security policies. As a result, our mechanism provides precise control on the CPU usage of a guest domain due to I/O device access, and prevents malicious guest domains from CPU overuse, performance degradation, and battery drain. We have implemented a prototype of our approach considering both network and storage devices with a real smart phone (SGH-i780) that runs two para-virtualized Linux kernels on top of Secure Xen on ARM. The evaluation shows our approach effectively protects a smart phone against excessive I/O attacks and guarantees availability.
An intermedia synchronisation mechanism for multimedia distributed systems
Authors: S.E. Pomares Hernandez, J. Estudillo Ramirez, L.A. Morales Rosales, G. Rodriguez Gomez
Venue: International Journal of Internet Protocol Technology (2009)

Distributed Multimedia Systems (DMS) deal with simultaneous geographically distributed sources by transmitting heterogeneous data. The preservation of temporal relations among different data types and simultaneous distributed sources is an open research area. This paper proposes a temporal synchronisation mechanism to be used at runtime in a DMS. One original aspect is that the present work avoids the use of a common reference by executing all multimedia temporal relations according to their causal dependencies. The mechanism is emulated considering a WAN environment and using MPEG-4 encoders. The results show that our mechanism is effective in reducing the intermedia synchronisation error.
Symbol Timing Synchronization Using Interpolation-Based Matched-Filters
Authors: Zujun Liu, Kechu Yi
Venue: Wireless Personal Communications: An International Journal (2009)

This paper presents a symbol timing synchronization method by interpolating the discrete impulse response of matched-filter, in which the group delay of matched-filter is adjusted by different interpolation step to achieve symbol timing synchronization. The proposed method is of much less complexity than the conventional polyphase filterbank method that could be viewed as a special case of interpolated matched-filters. The interpolated matched-filters are used in a loop, and the loop is simulated at 2 samples/symbol, the simulation results show that the proposed method can provide precise symbol timing synchronization with less complexity.
Study on Physicochemical Characteristics of Municipal Solid Waste Incineration (MSWI) Fly Ash
Authors: Zhang Haiying, Zhao Youcai
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

This study aims to develop a methodology for analysis of physicochemical characteristics of municipal solid waste incineration (MSWI) fly ash. In this work, microstructure, particulate size distribution and components of fly ash were investigated using SEM, laser particulate description analyzer, ICP, XRF, IR and XRD. It is found that content of chemical components follows sequence of CaO > SiO2 > Al2O3 > Fe2O3 > MgO > K2O > Na2O, and fly ash registers a SiO2–Al2O3–metal oxides system as total content of these oxides exceeds 80%. Major mineralogical components of fly ash involve SiO2, CaCl2, Ca3Si2O7, Ca2SiO4•0.35H2O, Ca9Si6O21•H2O, K2Al2Si2O8•3.8H2O and AlCl3•4Al(OH)3•4H2O. Glass phases account for around 57%, which is conducive to reduction of energy consumption in recycling of the ash.