ppxscal/embedding_network huggingface dataset:
Hierarchical Routing Overhead in Mobile Ad Hoc Networks
Authors: John Sucec, Ivan Marsic
Venue: IEEE Transactions on Mobile Computing (2004)

Hierarchical techniques have long been known to afford scalability in networks. By summarizing topology detail via a hierarchical map of the network topology, network nodes are able to conserve memory and link resources. Extensive analysis of the memory requirements of hierarchical routing was undertaken in the 1970s. However, there has been little published work that assesses analytically the communication overhead incurred in hierarchical routing. This paper assesses the scalability, with respect to increasing node count, of hierarchical routing in mobile ad hoc networks (MANETs). The performance metric of interest is the number of control packet transmissions per second per node (\phi). To derive an expression for \phi, the components of hierarchical routing that incur overhead as a result of hierarchical cluster formation and location management are identified. It is shown here that \phi is only polylogarithmic in the node count.
Computer-Aided Microcalcification Detection on Digital Breast Tomosynthesis Data: A Preliminary Evaluation
Authors: Sylvain Bernard, Serge Muller, Jon Onativia
Venue: Proceedings of the 9th international workshop on Digital Mammography (2008)

In this paper, we present a method for microcalcification detection on filtered back-projection reconstructed slices of breasts acquired on a Digital Breast Tomosynthesis system. Performance of the algorithm has been evaluated on a ground-truth database composed of 50 cases (13 lesions, 37 normals). Since the method is derived from an algorithm developed to detect microcalcifications on 2D digital mammograms, a comparison in terms of performances is provided leading to a discussion for future improvements.
Impact-ED - A New Model of Digital Library Impact Evaluation
Authors: Gemma Madle, Patty Kostkova, Abdul Roudsari
Venue: Proceedings of the 12th European conference on Research and Advanced Technology for Digital Libraries (2008)

This paper presents Impact-ED, a new model for digital library impact evaluation. The model draws on assumptions from the Theory of Planned Behaviour and the Sense-Making Model. The paper discusses the current shortfalls of digital library impact evaluation and presents an alternative. Knowledge and attitude are put forward as potential measures of impact and different methods are triangulated and data linked to provide a comprehensive picture of the impact of the library at the time of use. The model shows how the digital library is being used to benefit users in their work, how it is changing their knowledge and attitudes and how the information found is used in real-time in the real world. It is being tested in the healthcare domain on the National Resource for Infection Control (www.nric.org.uk) but is expected to be transferable to other domains as further work will prove.
Pairing Computation on Twisted Edwards Form Elliptic Curves
Authors: M. Prem Das, Palash Sarkar
Venue: Proceedings of the 2nd international conference on Pairing-Based Cryptography (2008)

A new form of elliptic curve was recently discovered by Edwards and their application to cryptography was developed by Bernstein and Lange. The form was later extended to the twisted Edwards form. For cryptographic applications, Bernstein and Lange pointed out several advantages of the Edwards form in comparison to the more well known Weierstraß form. We consider the problem of pairing computation over Edwards form curves. Using a birational equivalence between twisted Edwards and Weierstraß forms, we obtain a closed form expression for the Miller function computation.Simplification of this computation is considered for a class of supersingular curves. As part of this simplification, we obtain a distortion map similar to that obtained for Weierstraß form curves by Barreto et al and Galbraith et al. Finally, we present explicit formulae for combined doubling and Miller iteration and combined addition and Miller iteration using both inverted Edwards and projective Edwards coordinates. For the class of supersingular curves considered here, our pairing algorithm can be implemented without using any inversion.
Markerless Augmented Reality Using Image Mosaics
Authors: Pietro Azzari, Luigi Stefano, Federico Tombari, Stefano Mattoccia
Venue: Proceedings of the 3rd international conference on Image and Signal Processing (2008)

Augmented reality is a powerful tool for delivering spatially coherent information to a user moving in a known environment. Accurate and reliable pose estimation is the key to success. Many approaches track reference objects into the scene but as the environment grows larger more objects need to be tracked leading to computationally intensive methods. Instead, we propose a practical approach that is suitable for environment where big planar structures are present. All the objects laying on the structure are composed into a large reference object using image mosaicing techniques, so that the problem is reduced to that of finding the pose from a single plane. Experimental results show the effectiveness of this approach on two interesting case studies such as aeronautical servicing and cultural heritage.
A knowledge retrieval model using ontology mining and user profiling
Authors: Xiaohui Tao, Yuefeng Li, Richi Nayak
Venue: Integrated Computer-Aided Engineering (2008)

Over the last decade, the rapid growth and adoption of the World Wide Web has further exacerbated the user need for efficient mechanisms for information and knowledge location, selection and retrieval. Much research in the area of semantic web is already underway, adopting information retrieval tools and techniques. However, much work is required to address knowledge retrieval; for instance, users' information needs could be better interpreted, leading to accurate information retrieval. In this paper, a novel computational model is proposed for solving retrieval problems by constructing and mining a personalized ontology based on world knowledge and a user's Local Instance Repository. The proposed model is evaluated by applying to a Web information gathering system, and the result is promising.
From Mobility Devices to Connectivity Devices: Rethinking the Role of Space in a Networked World
Authors: Ezra Goldman
Venue: IEEE Pervasive Computing (2007)

Drawing on ethnographic studies of laptop use in Silicon Valley, at MIT, and in New York City, the author argues that no matter how good technology is, we'll still favor the particular physical places that meet our work needs. Rather than becoming more mobile, we'll depend increasingly on constant connectivity to a broader network.
Adjacent Swaps on Strings
Authors: Bhadrachalam Chitturi, Hal Sudborough, Walter Voit, Xuerong Feng
Venue: Proceedings of the 14th annual international conference on Computing and Combinatorics (2008)

Transforming strings by exchanging elements at bounded distance is applicable in fields like molecular biology, pattern recognition and music theory. A reversal of length two at position i is denoted by (i i+1). When it is applied to ¿, where ¿ = ¿ 1,¿ 2, ¿ 3,..., ¿ i ,¿ i + 1, ¿ n , it transforms ¿ to ¿¿, where ¿¿ = ¿ 1,¿ 2, ¿ 3,..., ¿ i ¿ 1,¿ i + 1, ¿ i , ¿ i + 1, ..., ¿ n . We call this operation an adjacent swap. We study the problem of computing the minimum number of adjacent swaps needed to transform one string of size n into another compatible string over an alphabet ¿ of size k, i.e. adjacent swap distance problem. O(nlog 2 n) time complexity algorithms are known for adjacent swap distance. We give an algorithm with O(nk) time for both signed and unsigned versions of this problem where k is the number of symbols. We also give an algorithm with O(nk) time for transforming signed strings with reversals of length up to 2, i.e. reversals of length 1 or 2.
An Operational Model for the FIPA-ACL Semantics
Authors: Vincent Louis, Thierry Martinez
Venue: Agent Communication II: International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers (2006)

Despite the effort made to standardize agent communication languages, almost no tool has been developed to implement agents' conformance to their semantics. In this paper, we review the formal principles supporting the FIPA-ACL semantics and propose an operational model facilitating their implementation. This model has been implemented upon the JADE platform, resulting in more flexible agents, avoiding intensive use of rigid protocols.
An Elliptic Curve Based Authenticated Key Agreement Protocol for Wireless Security
Authors: Seonghan Shin, Kazukuni Kobara, Hideki Imai
Venue: Computational Intelligence and Security: International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers (2007)

When we consider wireless security, it is strongly preferable to use password-based authentication and the elliptic curve based Diffie-Hellman protocol since the former provides a user-friendly authentication method and the latter is an efficient key agreement protocol. However, this combination does not necessarily guarantee security against off-line dictionary attacks (especially, "partition attacks"). In this paper, we propose an elliptic curve based authenticated key agreement (called EC-AKA) protocol that is secure against partition attacks as well as suitable for the following situation: (1) a client, who communicates with many different servers, remembers only one password and has insecure devices; (2) the counterpart servers are not perfectly secure against several attacks; (3) neither PKI (Public Key Infrastructures) nor TRM (Tamper-Resistance Modules) is available. The EC-AKA protocol is secure under the elliptic curve Diffie-Hellman problem in the random oracle model. We also show that the EC-AKA protocol achieves more strengthened security properties and efficiency compared with the existing protocols (employed in the IEEE 802.1x).
A Study of the Use of a Virtual Agent in an Ambient Intelligence Environment
Authors: Germán Montoro, Pablo A. Haya, Sandra Baldassarri, Eva Cerezo, Francisco José Serón
Venue: Proceedings of the 8th international conference on Intelligent Virtual Agents (2008)

In this paper we present the results in the evaluation of the use of a virtual agent together with a spoken dialogue system in an ambient intelligence environment. To develop the study, 35 different subjects had to perform eight different tasks and fill in a questionnaire with their impressions. From the answers we can conclude that the use of the virtual agent does not provide an improvement in their appreciation of the conversation performance but it offers them a more human-like interaction. Only a minority of users preferred to maintain the conversation without the visual support of the virtual agent.
Dyslexia: Study of Compensatory Software Which Aids the Mathematical Learning Process of Dyslexic Students at Secondary School and University
Authors: Corinna Freda, Silvio Marcello Pagliara, Fiorentino Ferraro, Francesco Zanfardino, Alessandro Pepino
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

The disadvantage dyslexic students suffer at school is not limited to reading and spelling, but it includes mathematical aspects too. The use of assistive technologies may be particularly beneficial to students with learning disabilities. However they do have application limits preventing them from being utilized to help the study of scientific subjects. This paper introduces a research idea in this field, which aims to realise a scientific editor which allows for reading and writing mathematics with the support of a speech synthesizer.
3D Face Visualization Using Grid Light
Authors: Lei Shi, Xin Yang, Hailang Pan
Venue: Computing in Science and Engineering (2008)

The authors present an algorithm that helps create a 3D face visualization from two 2D images. Unlike most current systems, their approach uses an incandescent light system instead of lasers.
Extending Markov Logic to Model Probability Distributions in Relational Domains
Authors: Dominik Jain, Bernhard Kirchlechner, Michael Beetz
Venue: Proceedings of the 30th annual German conference on Advances in Artificial Intelligence (2007)

Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-order logic, is one of the most intriguing representations in the field of probabilistic logical modelling. However, as we will show, models in Markov logic often fail to generalize because the parameters they contain are highly domain-specific. We take the perspective of generative stochastic processes in order to describe probability distributions in relational domains and illustrate the problem in this context by means of simple examples.We propose an extension of the language that involves the specification of a priori independent attributes and that furthermore introduces a dynamic parameter adjustment whenever a model in Markov logic is instantiated for a certain domain (set of objects). Our extension removes the corresponding restrictions on processes for which models can be learned using standard methods and thus enables Markov logic networks to be practically applied to a far greater class of generative stochastic processes.
Modelling of Hybrid Electric Vehicle All Wheel Drive Driveline System Incorporating Clutch Models
Authors: Dariusz Cieslar, Jens G. Linden, Keith J. Burnham, Matthew Hancock, Francis Assadian
Venue: Proceedings of the 2008 19th International Conference on Systems Engineering (2008)

Hybrid electric vehicles (HEV) have been recently attracting considerable attention from both car manufacturers and customers. This innovative concept is challenged by high expectations concerning the performance and comfortissues [6], whilst at the same time is required to fulfill strict restrictions with respect to the CO2 emissions. In order to achieve these goals, advanced control is applied at all levels of the vehicle, with the aim being to achieve a seamless torque transmission along the HEV powertrain. Whilst low level control is important from the perspective of achieving high performance of the various subsystems, it is essential to have an appropriate high level supervisory control over the entire system. To allow an extensive evaluation of different high level control approaches, a reliable and precise simulation model of a complete vehicle system is required. The main contribution of this paper is an evaluation of different frictional models for the application of a central coupling modelling approach for an all wheel drive HEV driveline system. A modification to an existing model is proposed and its effectiveness is demonstrated via simulation.
Goal-Oriented Information Flow Management in Development Processes
Authors: S. C. Brandt, O. Fritzen, M. Jarke, T. List
Venue: Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support: Results of the IMPROVE Project (2008)

The research of the IMPROVE subproject C1 "Goal-Oriented Information Flow Management in Development Processes" aims at the development and evaluation of database-driven methods and tools to support and optimize the distributed storage and routing of information flows in cooperative design processes. The overall concept of a Process Data Warehouse (PDW) has been followed which collects, and selectively transforms and enriches required information from the engineering process. The PDW has been conceptually based on interrelated partial domain and integration models which are represented and applied inside a metadata repository. This allows to query and apply experience information based on semantic relationships and dependencies. Special attention has been paid to aspects of cross-organizational cooperation.
SPINET: A Parallel Computing Approach to Spine Simulations
Authors: Peter G. Kropf, Edgar F. A. Lederer, Thomas Steffen, Karl Guggisberg, Jean-GUY Schneider, Peter Schwab
Venue: Scientific Programming (1996)

Research in scientitic programming enables us to realize more and more complex applications, and on the other hand, application-driven demands on computing methods and power are continuously growing. Therefore, interdisciplinary approaches become more widely used. The interdisciplinary SPINET project presented in this article applies modern scientific computing tools to biomechanical simulations: parallel computing and symbolic and modern functional programming. The target application is the human spine. Simulations of the spine help us to investigate and better understand the mechanisms of back pain and spinal injury. Two approaches have been used: the first uses the finite element method for high-performance simulations of static biomechanical models, and the second generates a simulation developmenttool for experimenting with different dynamic models. A finite element program for static analysis has been parallelized for the MUSIC machine. To solve the sparse system of linear equations, a conjugate gradient solver (iterative method) and a frontal solver (direct method) have been implemented. The preprocessor required for the frontal solver is written in the modern functional programming language SML, the solver itself in C, thus exploiting the characteristic advantages of both functional and imperative programming. The speedup analysis of both solvers show very satisfactory results for this irregular problem. A mixed symbolic-numeric environment for rigid body system simulations is presented. It automatically generates C code from a problem specification expressed by the Lagrange formalism using Maple.
Numerical simulations of a self-organizing economy
Authors: Pascal Mossay, Ricardo Martínez
Venue: Journal of Computational Methods in Sciences and Engineering (2004)

In this paper we consider a spatial economic model along the lines of the new economic geography literature. The evolution equations of the model are of the transport-diffusion type. We propose a finite difference method to study the behavior of the economy across space and time. The emergence of economic agglomerations is adressed as well as their evolution over time when they happen.
Ladder Metamodeling and PLC Program Validation through Time Petri Nets
Authors: Darlam Fabio Bender, Benoît Combemale, Xavier Crégut, Jean Marie Farines, Bernard Berthomieu, François Vernadat
Venue: Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications (2008)

Ladder Diagram (LD) is the most used programming language for Programmable Logical Controllers (PLCs). A PLC is a special purpose industrial computer used to automate industrial processes. Bugs in LD programs are very costly and sometimes are even a threat to human safety. We propose a model driven approach for formal verification of LD programs through model-checking. We provide a metamodel for a subset of the LD language. We define a time Petri net (TPN) semantics for LD programs through an ATL model transformation. Finally, we automatically generate behavioral properties over the LD models as LTL formulae which are then checked over the generated TPN using the model-checkers available in the Tina toolkit. We focus on race condition detection.
What Does the Face-Turning Action Imply in Consensus Building Communication?
Authors: Tetsuro Onishi, Takatsugu Hirayama, Takashi Matsuyama
Venue: Proceedings of the 5th international workshop on Machine Learning for Multimodal Interaction (2008)

When talking with someone, we convey intention to each other by verbal and non-verbal behaviors. In consensus building dialogue, the participants need to understand whether they agree or disagree. They reiterate confirmation of partner's internal state (agreement/disagreement) and reaction for it. In this study, we considered that the timing of listener's reaction for the confirmation by a speaker reflects listener's internal state, therefore analyzed the multimodal timing structures between the confirmation and the reaction by utterance and body motion. Especially, we focused on an action that the speaker turns his face toward the listener as the confirming action and analyzed how it influences the timing structures. As the results, we confirmed that the timing structures relate to the internal state and the relations are controlled by face-turning action.
Time-Delay Compensation Control of Networked Control Systems Using Timestamp Based State Prediction
Authors: Jiwei Hua, Tao Liang, Hexu Sun, Zhaoming Lei
Venue: Proceedings of the 2008 ISECS International Colloquium on Computing, Communication, Control, and Management - Volume 02 (2008)

In order to compensate time-delay in the networked control system (NCS), the paper presents a state prediction control method which adopted time-stamp. At first, we studied a time-stamp based time-delay measuring algorithm of NCS and implemented the state prediction based time-delay compensation control to the system. Then, we proposed a state prediction control approach of establishing an approximate model to object states in the controller and actuator time-driven. With that, we designed a state prediction controller to make the system achieve prediction control and deduced the necessary and sufficient conditions for stabilizing the system. At last, the simulation results of the numerical example prove the validity of the proposed approach.
Using fuzzy multiple criterion methods for fourth party logistics criteria selection
Authors: Jao-Hong Cheng, Shiuann-Shuoh Chen, Yu-Wei Chuang
Venue: Proceedings of the 7th WSEAS International Conference on Artificial intelligence, knowledge engineering and data bases (2008)

Fourth party logistics (4PL) company plays the role of integrator, which provides both information technology and supply chain integration capabilities. It not only creates different values of each segment in the supply chain, but also elevates the effects in supply chain management for business. Therefore, how to select an appropriate fourth party logistics company is an important decision for business. Nonetheless, the fourth party logistics is a significant and new issue. Actually, there are not any fourth party logistics companies in the world presently. The purpose of this study is to figure out the evaluation factors and their weights to aid the selection of 4PL for businesses. The primary criteria to evaluate 4PL are established by the literature survey with Fuzzy Delphi Method (FDM), and then Fuzzy Analytic Hierarchy Process (FAHP) is employed to calculate the weights of these criteria, so as to build the Fuzzy Multi-criteria model of 4PL. According to experts' estimations, the most important criteria of the evaluation model about selecting the fourth party logistics company contain sixteen items. In sum, we hope the criteria of the evaluation model to the fourth party logistics company will be able to offer references for industrial circles.