ppxscal/embedding_network huggingface dataset:
Remote sensing data analysis for mapping active faults in the northwestern part of Kangra Valley, NW Himalaya, India
Authors: G. Philip
Venue: International Journal of Remote Sensing (2007)

Aerospace data show morphological features indicative of two prominent active faults to the northwest of the Kangra valley, the meizoseismal zone of the 1905 Kangra earthquake (M 7.8). Topographical features indicative of long-term uplift/deformation during the Holocene and cumulative slip along these faults reflect the manifestation of normal faulting. The south-side-up behaviour of these two faults is in contrast to the general north-side-up movement along the Main Boundary Thrust (MBT). The newly identified faults suggest that the fault scarps have developed because of large-magnitude earthquakes in the past, preceding the known 1905 Kangra earthquake. The study also demonstrates that valuable geomorphological and structural inferences associated with active tectonics are possible using high-resolution satellite data for the tectonically complex terrain of the Himalaya.
Circuit-Switched Coherence
Authors: Natalie D. Enright Jerger, Li-Shiuan Peh, Mikko H. Lipasti
Venue: Proceedings of the Second ACM/IEEE International Symposium on Networks-on-Chip (2008)

Our characterization of a suite of commercial and scientific workloads on a 16-core cache-coherent chip multiprocessor (CMP) shows that overall system performance is sensitive to on-chip communication latency, and can degrade by 20% or more due to long interconnect latencies. On the other hand, communication bandwidth demand is low. These results prompt us to explore circuit-switched networks. Circuit-switched networks can significantly lower the communication latency between processor cores, when compared to packet-switched networks, since once circuits are set up, communication latency approaches pure interconnect delay. However, if circuits are not frequently reused, the long setup time can hurt overall performance, as is demonstrated by the poor performance of traditional circuit-switched networks -- all applications saw a slowdown rather than a speedup with a traditional circuit-switched network.To combat this problem, we propose hybrid circuit switching (HCS), a network design which removes the circuit setup time overhead by intermingling packet-switched flits with circuit-switched flits. Additionally, we co-design a prediction-based coherence protocol that leverages the existence of circuits to optimize pair-wise sharing between cores. The protocol allows pair-wise sharers to communicate directly with each other via circuits and drives up circuit reuse. Circuit-switched coherence provides up to 23% savings in network latency which leads to an overall system performance improvement of up to 15%.In short, we show HCS delivering the latency benefits of circuit switching,while sustaining the throughput benefits of packet switching, in a design realizable with low area and power overhead.
Design of a Context-Aware Mobile Guiding Application
Authors: Shou-Chih Lo, Jeng-Long Chiang, Shun-Ren Yang, Wen-Tsuen Chen
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications - Workshops (2008)

Mobile data services become increasingly important in the age of wireless broadband data access. We propose a service platform that can provide context-aware and localized/personalized data services. We involve the data broadcasting and publish/subscribe techniques into our system. A prototyping system for a mobile guiding application is implemented. This guiding system is different from most modern navigation systems with some distinctive features. We allow mobile users to know the current status of the surrounding area such as the temperature, traffic conditions, and the vacancy information in a hotel or a parking place. We provide video sharing and playing on the fly with the support of quality-of-service control and seamless handoff.
Comparison between automated and manual mapping of typhoon-triggered landslides from SPOT-5 imagery
Authors: A. M. Borghuis, K. Chang, H. Y. Lee
Venue: International Journal of Remote Sensing (2007)

Two large tropical cyclones struck Taiwan in the summer of 2004 and landslides triggered by these events caused not only casualties and housing damage but also produced large volumes of sediment that entered rivers and reservoirs. For reservoir and watershed management it is important to quickly identify the location and areal extent of new landslides for coordinating mitigation efforts. In this study, two automated methods, supervised and unsupervised classification of 10 m multi-spectral SPOT-5 imagery, were tested for their ability to identify and map landslide areas before and after the two storm events. A slope map was applied to mask roads, riverbeds and agricultural fields erroneously commissioned as landslides. The automated classification results were compared with manually delineated landslides using SPOT-5 supermode satellite imagery with a resolution of 2.5 m. Statistical testing and spatial analysis of the mapping results were performed. Finally, the results from all three methods were validated by using 0.35 m orthophotographs. This paper reports the results and discusses the salient differences between the automated and manual methods.
Ultimate strength analysis of composite sections under biaxial bending and axial load
Authors: A. E. Charalampakis, V. K. Koumousis
Venue: Advances in Engineering Software (2008)

A new generic fiber model algorithm is presented that allows for the efficient analysis of arbitrary composite sections under biaxial bending and axial load. The geometry of the cross section is described by multi-nested curvilinear polygons i.e. closed polygons with edges that are straight lines or circular arcs. The polygons may be convex or concave and may contain openings. The stress-strain diagrams of materials consist of any number and any combination of consecutive polynomials, which allows for consideration of various effects such as concrete confinement and tensile strength, strain hardening of the reinforcement etc. The integration of the stress field is performed analytically. The algorithm focuses on the construction of moment-curvature diagrams, interaction curves and failure surfaces. It can also be used for calculating the deformed state of a cross section under given external loads. Several examples are presented to demonstrate the versatility and the advantages of the proposed algorithm in comparison to existing methods.
Stepping into Virtual Reality, 1 edition
Authors: Mario Gutierrez, F Vexo, Daniel Thalmann
Venue:  (2008)

Virtual reality techniques are increasingly becoming indispensible in many areas including medicine, entertainment, architecture, education and manufacturing, with VR tools being used for testing and prototyping products at design stages, as well as for creating applications in finished products. This book looks at how to generate advanced virtual reality worlds. It covers principles, techniques, devices and mathematical foundations, beginning with basic definitions, and then moving on to the latest results from current research and exploring the social implications of these. Very practical in its approach, the book is fully illustrated in colour and contains numerous examples, exercises and case studies. Careful reading of this textbook will allow students and practitioners alike to gain a practical understanding of virtual reality concepts, devices and possible applications.
Graphic sequences that have a realization with large clique number
Authors: Dhruv Mubayi
Venue: Journal of Graph Theory (2000)

We prove that for k &ge; 5, every (2k + 2)-element graphic sequence of positive terms with sum at least 4k(k - 1) can be realized by a graph containing Kk+1. Also, this bound is sharp. Furthermore, for 2k + 3 &le; n &le; k(5k - 11)-(2k - 4), we construct a graphic n-element positive sequence with sum (2k - 4)(2k - 1) + 2(n - 1) that has no realization containing Kk+1. This construction partially answers a question of Erd&otilde;s et al. in the negative. &copy; John Wiley Sons, Inc. J Graph Theory 34: 2029, 2000 1991 Mathematics Subject Classification: 05C35, 05C99, 06A06.
NSIS-Based Firewall Detection in Mobile IPv6
Authors: Xin Li
Venue: Proceedings of the Seventh International Conference on Networking (2008)

Nowadays, most firewalls which are deployed in networks are not compatible with mobile IPv6. And to modify the configuration of firewall by using NSIS signaling is one of signaling solutions. In this paper, the purpose is to resolve the problems which are in mobile IPv6 network environment during the traversal process by using NSIS signaling. We introduce a new method that can reduce the complexity of signaling, decrease the time delay in network. In addition, the process of firewall detection and the process of firewall traversal are both based on NSIS, which can make NSIS more consummate.
Distributed search in railway scheduling problems
Authors: Montserrat Abril, Miguel A. Salido, Federico Barber
Venue: Engineering Applications of Artificial Intelligence (2008)

Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). Solving a general CSP is known to be NP-complete; however, distributed models may take advantage of dividing the problem into a set of simpler inter-connected sub-problems which can be more easily solved. The purpose of this paper is three-fold: first, we present a technique to distribute the constraint network by means of selection of tree structures. Thus, the CSP is represented as a meta-tree CSP structure that is used as a hierarchy of communication by our distributed algorithm. Then, a distributed and asynchronous search algorithm (DTS) is presented. DTS is committed to solving the meta-tree CSP structure in a depth-first search tree. Finally, an intra-agent search algorithm is presented. This algorithm takes into account the Nogood_message to prune the search space. We have focused our research on the railway scheduling problem which can be distributed by tree structures. We show that our distributed algorithm outperforms well-known centralized algorithms.
Basic Data Reduction Techniques and Their Influence on GAME Modeling Method
Authors: Miroslav Cepek, Miroslav norek
Venue: Proceedings of the Tenth International Conference on Computer Modeling and Simulation (2008)

The amount of data produced by medicine diagnosis and other means constantly increases -- in both number of measurements and in number of dimensions. For many modeling or data mining methods this increase causes problems. First main problem is well known curse of dimensionality. The second is the amount of training data items which lengthens the training process. Both these problems reduces usability of modeling methods.The aim of this article is to study several data reduction techniques and test their influence on one particular inductive modeling method -- GAME -- developed in our department. Application of each method affecting the performance (accuracy) and learning time of the GAME modeling method has been studied.To obtain representative results several datasets has been tested -- for example well known Iris dataset or real-world application for medical data (e.g. EEG classification).
Convection heat transfer in electrostatic actuated liquid droplets for electronics cooling
Authors: H. Oprins, J. Danneels, B. Van Ham, B. Vandevelde, M. Baelmans
Venue: Microelectronics Journal (2008)

In this paper, the internal flow and heat transfer inside the electrostatic actuated droplets are studied for different droplet velocities by means of detailed flow computations. It is shown that the internal droplet flow exhibits a parabolic characteristic at one hand and that the presence of two convection cells decreases the heat transfer to the lower part of the droplet, thereby limiting the overall heat transfer through the droplet. A typical enhancement of the heat transfer with a factor 2 is achieved with respect to the minimal value that would be obtained assuming heat conduction as the only means of heat transfer in the liquid. Further an analytic lumped model is presented to estimate the transient average droplet temperature with an accuracy of 5% compared to the full transient computational fluid dynamics modelling.
Microsoft Sharepoint Interview Questions: Share Point Certification Review
Authors: Tery,  Sanchez-Clark
Venue:  (2007)

The Ultimate Reference & Learning Guide for Microsoft Sharepoint! Contains Comprehensive Selection of Interview Questions, Answers, and Explanations It's clear that Microsoft Sharepoint is the future for enterprise information portals and easy document workflow. Finding up to date resources to assist in your job search can be challenging. This guide will help you through your learning process, whether you need to become familiar with Sharepoint for the first time, if you are preparing for a job interview, or if you just need a brush-up and review. Key topics include: Version control, document approval, search of external content sources, and a review of new features such as flexible hierarchy of content ideas, and added personalization services. Also covered will be Sharepoint's adaptability to Intranet, Extranet, and Intranet configurations. Areas of focus include: . Troubleshooting installations, setup, error messages, and system status. . Troubleshoot in a heterogeneous setting of intranet, internet, or web-based configurations . Preventative maintenance techniques. . Permissions and security
Performance measurement for voice services in heterogeneous wired networks
Authors: Basel Alawieh, Rana Ahmed, Hussein T. Mouftah
Venue: Proceedings of the 4th International Conference on Testbeds and research infrastructures for the development of networks & communities (2008)

Voice over IP (VoIP) service providers implementing different protocols in their core networks are required to coordinate in order to provision, support and deliver voice services to end clients. This paper presents a performance measurement experience for the transport of voice services across multiple heterogeneous wired networks. Our test results show that Multiple Protocol Label Switching (MPLS) protocol slightly outperforms IP in delivering voice services. Moreover, the type of call signaling protocol used, tunneling category adopted and the type of Virtual Private Network (VPN) implemented affect the overall quality and performance of voice services in terms of jitter and delay.
FBS-enhanced agent-based dynamic scheduling in FMS
Authors: Shi-jin Wang, Li-feng Xi, Bing-hai Zhou
Venue: Engineering Applications of Artificial Intelligence (2008)

Flexible manufacturing systems (FMSs) are highly automated and require effective scheduling approaches to improve the system performance and integrate various control decision-making activities. In this paper, a multi-agent approach integrated with a filtered-beam-search (FBS)-based heuristic algorithm is proposed to study the dynamic scheduling problem in a FMS shop floor consisting of multiple manufacturing cells. The approach is based on a hybrid architecture which is composed of a set of distributed agents each using local information to generate real-time schedules. The FBS-based algorithm is embedded into agents as the scheduling engine, which makes improvement in the generation procedure of branches to obtain optimal or sub-optimal schedules quickly. A FIPA CNIP-based negotiation mechanism is utilized to realize coordination of agents to achieve a globally good schedule. To demonstrate the feasibility and effectiveness of the proposed approach, a proof-of-concept prototype system has been implemented in the JADE(TM) platform. Computational experiments of the approach are also presented in comparison with those of other methods.
The LighTS tuple space framework and its customization for context-aware applications
Authors: Davide Balzarotti, Paolo Costa, Gian Pietro Picco
Venue: Web Intelligence and Agent Systems (2007)

Our experience with using the tuple space abstraction in context-aware applications, evidenced that the traditional Linda matching semantics based on value equality are not appropriate for this domain, where queries often require the ability to match on value ranges, deal with uncertainty, and perform data aggregation. Originally developed as the core tuple space layer for the Lime middleware, LighTS provides a flexible framework that makes it easy to extend the tuple space in many ways, including changing the back-end implementation, redefining the matching semantics, and providing new constructs. In this paper, we describe the design and programming interface of LighTS, and show how its flexible architecture can be easily extended to define novel constructs supporting the development of context-aware applications.
Localization system for mobile robot using wireless communication with IR landmark
Authors: Byungkon Sohn, Jaeyeong Lee, Heesung Chae, Wonpil Yu
Venue: Proceedings of the 1st international conference on Robot communication and coordination (2007)

The localization of robots is a main problem to solve to make the robots navigate autonomously. This paper introduces an embedded indoor localization system for mobile robot. The system consists of a localization sensor that computes location of itself and infrared landmarks that are wirelessly controlled by the localization sensor. The localization sensor which is combined with an image sensor detects pixel positions of infrared sources from the landmark and by the pixel position the sensor figures out its position(x, y) and heading angle. The coverage of a localization space is enlarged by dynamically combining robot odometer and IR landmark. The advantages of the developed system can be found on its position accuracy, robustness and easy expansion of localization space.
Reverse 2-median problem on trees
Authors: Rainer E. Burkard, Elisabeth Gassner, Johannes Hatzl
Venue: Discrete Applied Mathematics (2008)

This paper concerns the reverse 2-median problem on trees and the reverse 1-median problem on graphs that contain exactly one cycle. It is shown that both models under investigation can be transformed to an equivalent reverse 2-median problem on a path. For this new problem an O(nlogn) algorithm is proposed, where n is the number of vertices of the path. It is also shown that there exists an integral solution if the input data are integral.
An incremental algorithm for irreducible decompositions of monomial ideals (abstract only)
Authors: Shuhong Gao, Mingfu Zhu
Venue: ACM Communications in Computer Algebra (2008)

Irreducible decompositions of monomial ideals are of interest in several areas. We present an incremental algorithm, which computes decompositions of ideals by adding one generator at a time. The new algorithm improves the Alexander dual and Scarf complex methods. A novel feature of the algorithm is that the intermediate storage used never exceeds the output size.
Testing UMTS: Assuring Conformance and Quality of UMTS User Equipment
Authors: Daniel Fox
Venue:  (2008)

A modern mobile phone is a highly complex electronic system made up from a variety of diverse sub-systems, all of which must work seamlessly together. Todays users have very high expectations which set tough demands on manufacturers as they introduce third generation technology. While quality, in terms of the phones stability, performance and behaviour on the network, originate from good design, the only way to be sure of quality is by testing it. This makes testing a very important part of any mobile phones life cycle, from development through to manufacture and beyond, touching a number of different disciplines and departments. Testing UMTS is divided in three sections. Section One provides an overview of major types of testing and the organisations and tasks involved. In particular it looks at what is involved in conformance testing and device certification. Section Two is more technical and looks at the UMTS standard itself, working through the protocol layers. Future trends and their impact on testing mobile devices are examined in Section Three, including the emergence of new technologies both in the access network and the core network and the evolution of new testing methodologies. Examines UMTS and the testing of UMTS devices which are huge areas in the testing process Provides essential information on processes and techniques for mobile phone testing Operation of the UMTS standard is described from a test point of view Focuses on most important areas of the 3rd-Generation Partnership Project (3GPP) standard from a test perspective Offers advice on products, services and resources that aid the testing process. This book is an ideal text for engineers and managers who are either directly involved in the process of testing UMTS mobiles, or who are looking for an understanding of what is involved in testing. Professionals involved in the development of UMTS mobiles, integration and verification, conformance testing, operator acceptance testing, manufacturing and servicing will find this book indispensable.
Plato: a service oriented decision support system for preservation planning
Authors: Christoph Becker, Hannes Kulovits, Andreas Rauber, Hans Hofman
Venue: Proceedings of the 8th ACM/IEEE-CS joint conference on Digital libraries (2008)

The fast changes of technologies in today's information landscape have considerably shortened the lifespan of digital objects. Digital preservation has become a pressing challenge. Different strategies such as migration and emulation have been proposed; however, the decision for a specific tool e.g. for format migration or an emulator is very complex. The process of evaluating potential solutions against specific requirements and building a plan for preserving a given set of objects is called preservation planning. So far, it is a mainly manual, sometimes ad-hoc process with little or no tool support. This paper presents a service-oriented architecture and decision support tool that implements a solid preservation planning process and integrates services for content characterisation, preservation action and automatic object comparison to provide maximum support for preservation planning endeavours.
Examining the effects of cognitive style in individuals' technology use decision making
Authors: Indranil Chakraborty, Paul Jen-Hwa Hu, Dai Cui
Venue: Decision Support Systems (2008)

In this study, we examine individuals' acceptance of a new technology by proposing and testing a factor model that incorporates cognitive style and specifies its plausible effects on essential acceptance determinants. The data from 428 subjects fit the model satisfactorily and support all of its suggested hypotheses. Cognitive style shows significant direct effects on perceived usefulness, perceived ease of use, and subjective norms. Both perceived usefulness and subjective norms affect actual technology usage significantly. People with innovative cognitive styles are more likely to perceive a new technology as useful and easy to use than are those with adaptive cognitive styles.