ppxscal/embedding_network huggingface dataset:
Differential automatic diagnosis between Alzheimer's disease and frontotemporal dementia based on perfusion SPECT images
Authors: Jean-François Horn, Marie-Odile Habert, Aurélie Kas, Zoulikha Malek, Philippe Maksud, Lucette Lacomblez, Alain Giron, Bernard Fertil
Venue: Artificial Intelligence in Medicine (2009)

Objective: Alzheimer's disease (AD) and frontotemporal dementia (FTD) are among the most frequent neurodegenerative cognitive disorders, but their differential diagnosis is difficult. The aim of this study was to evaluate an automatic method returning the probability that a patient suffers from AD or FTD from the analysis of brain perfusion single photon emission computed tomography images. Methods and materials: A set of 116 descriptors corresponding to the average activity in regions of interest was calculated from the images of 82 AD and 91 FTD patients. A set of linear (logistic regression and linear discriminant analysis) and non-linear (support vector machines, k-nearest neighbours, multilayer perceptron and kernel logistic PLS) classification methods was subsequently used to ascertain diagnoses. Validation was carried out by means of the leave-one-out protocol. Diagnoses by the classifier and by four physicians (visual assessment) were compared. Since images were acquired in different hospitals, the impact of the medical centre on the diagnosis of both the classifier and the physicians was investigated. Results: Best results were obtained with support vector machine and partial least squares regression coupled with k-nearest neighbours methods (PLS+K-NN), with an overall accuracy of 88%. PLS+K-NN was however considered as the best method since performances obtained with leave-one-out cross-validation were closer to whole-database learning. The performances of the classifier were higher than those of experts (accuracy ranged from 65 to 72%). Physicians found it more difficult to diagnose the images from centres other than their own, and it affected their performances. Conclusions: The performances obtained by the classifier for the differential diagnosis of AD and FTD were found convincing. It could help physicians in daily practice, particularly when visual assessment is inconclusive, or when dealing with multicentre data.
Automatic Parallelization and Optimization of Programs by Proof Rewriting
Authors: Clément Hurlin
Venue: Proceedings of the 16th International Symposium on Static Analysis (2009)

We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized and optimized program. To achieve this goal, we present new proof rules for generating proof trees and a rewrite system on proof trees.
Designing for uncertain, asymmetric control: Interaction design for brain-computer interfaces
Authors: J. Williamson, R. Murray-Smith, B. Blankertz, M. Krauledat, K. -R. Müller
Venue: International Journal of Human-Computer Studies (2009)

Designing user interfaces which can cope with unconventional control properties is challenging, and conventional interface design techniques are of little help. This paper examines how interactions can be designed to explicitly take into account the uncertainty and dynamics of control inputs. In particular, the asymmetry of feedback and control channels is highlighted as a key design constraint, which is especially obvious in current non-invasive brain-computer interfaces (BCIs). Brain-computer interfaces are systems capable of decoding neural activity in real time, thereby allowing a computer application to be directly controlled by thought. BCIs, however, have totally different signal properties than most conventional interaction devices. Bandwidth is very limited and there are comparatively long and unpredictable delays. Such interfaces cannot simply be treated as unwieldy mice. In this respect they are an example of a growing field of sensor-based interfaces which have unorthodox control properties. As a concrete example, we present the text entry application ''Hex-O-Spell'', controlled via motor-imagery based electroencephalography (EEG). The system utilizes the high visual display bandwidth to help compensate for the limited control signals, where the timing of the state changes encodes most of the information. We present results showing the comparatively high performance of this interface, with entry rates exceeding seven characters per minute.
Out-of-core multigrid solver for streaming meshes
Authors: Xiaohan Shi, Hujun Bao, Kun Zhou
Venue: ACM SIGGRAPH Asia 2009 papers (2009)

We present an out-of-core multigrid for solving the Poisson equation defined over gigantic meshes. This enables gradient-domain operations on out-of-core meshes with irregular connectivity. Taking a streaming mesh and boundary constraints as input, our solver builds a multigrid hierarchy and refines the multigrid solution progressively by performing all operations as streaming computations. A set of rules are carefully designed to make neighboring multigrid nodes perform tasks cooperatively and efficiently. With a sublinear memory growth with respect to the number of mesh vertices, our approach handles meshes with 14M vertices using merely 84MB of memory, while an equivalent in-core multigrid implementation fails to fit into 2GB memory space.
Research on High-Availability Based on Architecture of ForCES
Authors: Qun Li, Ligang Dong, Ming Gao
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

High-availability is the hotspot of research for the prototype of ForCES Routers. This paper introduces the high-availability requirement of ForCES Element, designs the ForCES Control Element model and analyzes the factor of impacting on high-availability, then presents an analysis of the number of CE impact on system’s availability based on Markov birth-death process. It consists of one primary CE and several stand-by CEs. The stand-by CE will take over all the jobs when primary CE is down. Confirm the appropriate number of CE, make sure the system reaches high-availability and the primary CE’s failure does not affect the normal operation of the network.
Vehicular Networks: Techniques, Standards, and Applications, 1st edition
Authors: Hassnaa Moustafa, Yan Zhang
Venue:  (2009)

Critical, Cutting-Edge Insight to Speed Deployment of Vehicular NetworksAs Vehicular Networks technology enters a critical phase in its evolution, academic institutions, industry, and governments worldwide are investing significant resources into large-scale deployment of such networks in order to leverage its benefits to communication, road safety, and improved traffic flow. Despite the current proliferation of conferences to address the technical, policy, and economic challenges associated with this exciting new technology, notably absent is a self-contained book that integrates and covers these topics in sufficient detail.Vehicular Networks: Techniques, Standards and Applications examines the latest advances in the evolution of vehicular networks, presenting invaluable state-of-the-art ideas and solutions for professionals and academics at work on numerous international development and deployment projects. A versatile text, it cross-references all key aspects, including medium access, scheduling, mobility, services, market introduction, and standard specifications. This informative guide:Describes the roles of networks operators, car manufacturers, service providers, and governmental authorities in development of vehicular technologyIllustrates the benefits and real-life applications of vehicular networksAnalyzes possible business models for network deploymentExamines potential services and possible deployment architecturesExplores the technical challenges of deployment, including use of MAC protocols, routing, data dissemination, dynamic IP autoconfiguration, mobility management, security, and driver/passenger privacy Illustrative Figures to Clarify Both Basic and Advanced ConceptsUsing simplified language, this book elucidates the distinct behavior and characteristics that distinguish vehicular networks from other types of mobile networks. It is an invaluable resource for those working with or studying vehicular networks and other wireless or mobile communications systems.
Designing of LED Illuminating System and Testing Notice
Authors: Tao Liu, Feng-bao Yang, Jun Yu, Yang Wang
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

With the development of LED, LED lighting has been gradually developed to commercial stage for its advantage of non-pollution, long life, easy to transport, and other advantages. Because of uneven development of LED industry in China and some engineering staff is short of professional knowledge, which result in the LED lighting was used inappropriately and unreasonable and unqualified phenomenon of the LED lighting system. This paper was based on the principles and characteristics of LED lighting, discussed the LED lighting system design process and points for attention, combined with experience in engineering practice, and provided suggestions to resolve some related problems. We hope to help the engineering staff of LED lighting system design.
Developing and Validating Personas in e-Commerce: A Heuristic Approach
Authors: Volker Thoma, Bryn Williams
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

A multi-method persona development process in a large e-commerce business is described. Personas are fictional representations of customers that describe typical user attributes to facilitate a user-centered approach in interaction design. In the current project persona attributes were derived from various data sources, such as stakeholder interviews, user tests and interviews, data mining, customer surveys, and ethnographic (direct observation, diary studies) research. The heuristic approach of using these data sources conjointly allowed for an early validation of relevant persona dimensions.
Optimal Allocation of Construction Land Based on GIS
Authors: Xiaoyong Gao, Lilan Su, Yaolin Liu
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

The paper think that construction land expansion result from the development of social economic and the growth of population in the overall land use planning, and contain quantity increased and spatial configuration optimal. Based on the analysis, this paper construct an optimal allocation statistical model with two sub-models, one is to forecast the quantity of construction land required; another is to configure the land spatial distribution optimally based on transform potential, where weights acquired by adaptive Monte Carlo approach to reduce subjectivity. At last, we do experience in Changjiang Hainan province, which shows that it’s feasible and valuable to optimal allocation of construction land by this model.
Mining web interactions to automatically create mash-ups
Authors: Jeffrey P. Bigham, Ryan S. Kaminsky, Jeffrey Nichols
Venue: Proceedings of the 22nd annual ACM symposium on User interface software and technology (2009)

The deep web contains an order of magnitude more information than the surface web, but that information is hidden behind the web forms of a large number of web sites. Metasearch engines can help users explore this information by aggregating results from multiple resources, but previously these could only be created and maintained by programmers. In this paper, we explore the automatic creation of metasearch mash-ups by mining the web interactions of multiple web users to find relations between query forms on different web sites. We also present an implemented system called TX2 that uses those connections to search multiple deep web resources simultaneously and integrate the results in context in a single results page. TX2 illustrates the promise of constructing mash-ups automatically and the potential of mining web interactions to explore deep web resources.
Streaming Mobile Multimedia Optimization for Video-Conferencing Scenarios
Authors: David Esteban Ines, Kazutoshi Fujikawa, Eiji Kawai, Hideki Sunahara
Venue: Proceedings of the 2009 First International Conference on Advances in Multimedia (2009)

Video conferencing in mobile environments involves real time streaming information among mobile nodes connected within a wireless environment. This kind of framework is difficult to deal with, because of its concrete requirements. In this paper, we propose an architecture based on adaptive applications that will change their behavior depending on the network information gathered by the operating system. We will demonstrate that we can provide a better QoS for video conferencing scenarios with minimum costs while maintaining a high portability.
New HMI Concept for Motorcycles---The Saferider Approach
Authors: J. P. Diederichs, Marco Fontana, Giacomo Bencini, Stella Nikolaou, Roberto Montanari, Andrea Spadoni, Harald Widlroither, Niccolò Baldanzini
Venue: Proceedings of the 8th International Conference on Engineering Psychology and Cognitive Ergonomics: Held as Part of HCI International 2009 (2009)

For more than one decade the European Commission has been focusing on the enhancement of road safety by funding research on Advanced Driver Assistance Systems (ADAS) and Intelligent Vehicle Information Systems (IVIS) in the field of automotive. However, the application of such technologies in Powered-Two-Wheelers (PTW) is currently lacking behind. While in the automotive sector extended knowledge has been generated also on the Human-Machine Interface (HMI) for ADAS and IVIS this does by far not apply for the PTW sector. This paper presents the SAFERIDER (Advanced telematics for enhancing the safety and comfort of motorcycle riders) project outline and focuses on the new HMI concept and haptic interface devices that are developed within the project.
A Data-Intensive Multimedia Service Invoking Method Based on SOAP Extending
Authors: Li Songbin, Chen Jun, Deng Haojiang, Wang Jinglin
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

Nowadays, most of multimedia information processing application systems are still realized in the monolithic and stove-pipe manner. This design pattern makes building and maintaining such multimedia systems intractable, costly and time-consumed. As a new style software design model, Service Oriented Architecture promises a more agile solution for developing large-scale Internet-based applications and has been widely accepted by the academic community and industries. However, the current service invoking method: SOAP does not apply to the multimedia area directly. This paper intends to solve this problem. Aiming at it, this paper proposes a new remote object access protocol based on SOAP which defines the correlative message format and the interaction model between the service and its client. According to the proposed approach, a service-composition-based prototype multimedia information processing system is constructed. Through the experiment, we prove that the performance of our method is excellent compared with other methods.
Description Logics
Authors: Franz Baader
Venue: Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures (2009)

Description Logics (DLs) are a well-investigated family of logic-based knowledge representation formalisms, which can be used to represent the conceptual knowledge of an application domain in a structured and formally well-understood way. They are employed in various application domains, such as natural language processing, configuration, and databases, but their most notable success so far is the adoption of the DL-based language OWL as standard ontology language for the semantic web.This article concentrates on the problem of designing reasoning procedures for DLs. After a short introduction and a brief overview of the research in this area of the last 20 years, it will on the one hand present approaches for reasoning in expressive DLs, which are the foundation for reasoning in the Web ontology language OWL DL. On the other hand, it will consider tractable reasoning in the more light-weight DL $\mathcal{EL}$, which is employed in bio-medical ontologies, and which is the foundation for the OWL 2 profile OWL 2 EL.
Polyhedral approximation and practical convex hull algorithm for certain classes of voxel sets
Authors: Henrik Schulz
Venue: Discrete Applied Mathematics (2009)

In this paper we introduce an algorithm for the creation of polyhedral approximations for certain kinds of digital objects in a three-dimensional space. The objects are sets of voxels represented as strongly connected subsets of an abstract cell complex. The proposed algorithm generates the convex hull of a given object and modifies the hull afterwards by recursive repetitions of generating convex hulls of subsets of the given voxel set or subsets of the background voxels. The result of this method is a polyhedron which separates object voxels from background voxels. The objects processed by this algorithm and also the background voxel components inside the convex hull of the objects are restricted to have genus 0. The second aim of this paper is to present some practical improvements to the discussed convex hull algorithm to reduce computation time.
An exploration of climate data using complex networks
Authors: Karsten Steinhaeuser, Nitesh V. Chawla, Auroop R. Ganguly
Venue: Proceedings of the Third International Workshop on Knowledge Discovery from Sensor Data (2009)

To discover patterns in historical data, climate scientists have applied various clustering methods with the goal of identifying regions that share some common climatological behavior. However, past approaches are limited by the fact that they either consider only a single time period (snapshot) of multivariate data, or they consider only a single variable by using the time series data as multi-dimensional feature vector. In both cases, potentially useful information may be lost. Moreover, clusters in high-dimensional data space can be difficult to interpret, prompting the need for a more effective data representation. We address both of these issues by employing a complex network (graph) to represent climate data, a more intuitive model that can be used for analysis while also having a direct mapping to the physical world for interpretation. A cross correlation function is used to weight network edges, thus respecting the temporal nature of the data, and a community detection algorithm identifies multivariate clusters. Examining networks for consecutive periods allows us to study structural changes over time. We show that communities have a climatological interpretation and that disturbances in structure can be an indicator of climate events (or lack thereof). Finally, we discuss how this model can be applied for the discovery of more complex concepts such as unknown teleconnections or the development of multivariate climate indices and predictive insights.
Measuring testing as a distributed component of the software life cycle
Authors: M. Burgin, N. Debnath, H. K. Lee
Venue: Journal of Computational Methods in Sciences and Engineering (2009)

We study software testing as a distributed component of the software life cycle, developing a technique for estimating testing validity. The goal of this paper is to build measures for testing result estimation, to find how tested properties influence software quality, and to develop means (methodology and algorithms) to achieve better results in testing. To achieve these goals, we suggest using system approach to testing developed in this paper and introduce a system of test efficiency measures, as well as discuss a methodology of how to use these measures. Properties of test efficiency measures oriented at the software engineering domain are studied. We also show (Proposition 1, Theorem 1 and their Corollaries) how logic can increase testing efficiency.
The Design and Implementation of Multifunction Probe Based on SNMP
Authors: Du Jiangyi, Niu Yan
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

Nowadays internet become more and more important in our life maintenance, the security of network was put into an important place. The valid data of the network traffic monitor not only enables network administrators to obtain the most direct information of the network movement in time; at the same time, completes the supervision of the traffic, and is also a necessary method of network management. Typically, most of existing network management applications are based on protocol SNMP (Simple network management protocol). a system model for measurement was suggested. This system is simple, performance indicators are better and can meet the needs of real time monitoring of network traffic.
Proposal and Evaluation of a Caching Scheme for Ad Hoc Networks
Authors: F. J. González-Cañete, E. Casilari, A. Triviño-Cabrera
Venue: Proceedings of the 8th International Conference on Ad-Hoc, Mobile and Wireless Networks (2009)

In this paper, we describe and evaluate the performance of a caching scheme for ad hoc networks. In this proposal the wireless nodes store the documents they request in a local cache and they can also work as a server for the other wireless nodes if they intercept the forwarding requests and serve the documents requested directly using their local cache. On the other hand, the wireless nodes inspect the requests and responses that they forward in order to learn where and how far the documents are located and they use this information to redirect the requests to other nodes that are closer than the original destination of the request. By means of simulations we evaluate the performance of the proposal and demonstrate that they reduce the latency perceived by the nodes.
PRIME: peer-to-peer receiver-driven mesh-based streaming
Authors: Nazanin Magharei, Reza Rejaie
Venue: IEEE/ACM Transactions on Networking (TON) (2009)

The success of file swarming mechanisms such as BitTorrent has motivated a new approach for scalable streaming of live content that we call mesh-based Peer-to-Peer (P2P) streaming. In this approach, participating end-systems (or peers) form a randomly connected mesh and incorporate swarming content delivery to stream live content. Despite the growing popularity of this approach, neither the fundamental design tradeoffs nor the basic performance bottlenecks in mesh-based P2P streaming are well understood. In this paper, we follow a performance-driven approach to design PRIME, a scalable mesh-based P2P streaming mechanism for live content. The main design goal of PRIME is to minimize two performance bottlenecks, namely bandwidth bottleneck and content bottleneck. We show that the global pattern of delivery for each segment of live content should consist of a diffusion phase which is followed by a swarming phase. This leads to effective utilization of available resources to accommodate scalability and also minimizes content bottleneck. Using packet level simulations, we carefully examine the impact of overlay connectivity, packet scheduling scheme at individual peers and source behavior on the overall performance of the system. Our results reveal fundamental design tradeoffs of mesh-based P2P streaming for live content.