ppxscal/embedding_network huggingface dataset:
Performance Analysis of Angle Routing in MANETs
Authors: Othman A. Al-Amoudi, Mohamed S. El-Azhari, Mike Woodward, Irfan Awan
Venue: Proceedings of the 2nd international conference on Network-Based Information Systems (2008)

Links between nodes in mobile ad hoc networks (MANETs) are vulnerable to breakage because of the highly dynamic nature of MANETs, this results in frequent changes and unpredictability in network topologies. So, discovering and maintaining routes between nodes is one of the biggest challenges in MANETs. This makes the routing area perhaps the most active research area within the MANET domain. The ultimate goal of the MANET community is to provide a set of standardized protocols that can be both robust and scalable. This paper proposes a routing protocol based on the angles (directions) of the adjacent mobile nodes. Each pair of nodes that form a hop should ideally be moving in the same or similar direction, so the connection between the source and the destination will consist of a series of nodes that are moving in a similar direction. We measure the performance of the proposed approach by evaluating it against the ad-hoc on demand distance vector (AODV) routing protocol. The simulation results reveal thatthe proposed approach demonstrates better performance than AODV for most scenarios.
Computational Logical Frameworks and Generic Program Analysis Technologies
Authors: José Meseguer, Grigore Roşu
Venue: Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (2005)

The technologies developed to solve the verifying compiler grand challenge should be generic, that is, not tied to a particular language but widely applicable to many languages. Such technologies should also be semantics-based, that is, based on a rigorous formal semantics of the languages.For this, a computational logical framework with efficient executability and a spectrum of meta-tools can serve as a basis on which to: (1) define the formal semantics of any programming language; and (2) develop generic program analysis techniques and tools that can be instantiated to generate powerful analysis tools for each language of interest.Not all logical frameworks can serve such purposes well. We first list some specific requirements that we think are important to properly address the grand challenge. Then we present our experience with rewriting logic as supported by the Maude system and its formal tool environment. Finally, we discuss some future directions of research.
Quantified Constraint Satisfaction and the Polynomially Generated Powers Property
Authors: Hubie Chen
Venue: Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II (2008)

The quantified constraint satisfaction probem (QCSP) is the problem of deciding, given a relational structure and a sentence consisting of a quantifier prefix followed by a conjunction of atomic formulas, whether or not the sentence is true in the structure. The general intractability of the QCSP has led to the study of restricted versions of this problem. In this article, we study restricted versions of the QCSP that arise from prespecifying the relations that may occur via a set of relations called a constraint language. A basic tool used is a correspondence that associates an algebra to each constraint language; this algebra can be used to derive information on the behavior of the constraint language.We identify a new combinatorial property on algebras, the polynomially generated powers (PGP) property, which we show is tightly connected to QCSP complexity. We also introduce another new property on algebras, switchability, which both implies the PGP property and implies positive complexity results on the QCSP. Our main result is a classification theorem on a class of three-element algebras: each algebra is either switchable and hence has the PGP, or provably lacks the PGP. The description of non-PGP algebras is remarkably simple and robust.
Plenary lecture V: fundamental theory of controllability and observability of first-order matrix difference systems
Authors: Yan Wu
Venue: Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems (2008)

The theory of difference equations is much wealthier than its counterpart in differential equations. With the emergence of digital signal processing technology, the theory of difference equations assumes great importance in areas such as digital control, image processing, and digital filter design. In this talk, a first-order matrix Sylvester difference system with a control structure is discussed in view of the existence and uniqueness of its general solution. Results are used in the study of controllability and observability of the matrix difference system coupled with an output structure. More general criteria, such as the one-sided controllability and observability matrices, are obtained for complete controllability and complete observability of time-invariant systems.
Information-based deliberation
Authors: Carles Sierra, John Debenham
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2 (2008)

Information-based agency is founded on two observations: everything in an agent's world model is uncertain, and everything that an agent communicates gives away valuable information. The agent's deliberative mechanism manages interaction using plans and strategies in the context of the relationships the agent has with other agents, and is the means by which those relationships develop.
Vitality Detection from Fingerprint Images: A Critical Survey
Authors: Pietro Coli, Gian Luca Marcialis, Fabio Roli
Venue: Proceedings of the international conference on Advances in Biometrics (2007)

Although fingerprint verification systems reached a high degree of accuracy, it has been recently shown that they can be circumvented by "fake fingers", namely, fingerprint images coming from stamps reproducing an user fingerprint, which is processed as an "alive" one. Several methods have been proposed for facing with this problem, but the issue is far from a final solution. Since the problem is relevant both for the academic and the industrial communities, in this paper, we present a critical review of current approaches to fingerprint vitality detection in order to analyze the state---of---the art and the related open issues.
Application of the method of extremal deviations to studying forced parametric bending vibrations of the pipeline
Authors: V. N. Zhermolenko
Venue: Automation and Remote Control (2008)

By means of a method of extremal deviations, dynamic stability of the pipeline and ensuring estimation of the amplitude of its bending vibrations and tensions caused by transported medium pressure pulsation are analyzed. The most dangerous pressure pulsations are synthesized. A criterion for dynamic stability and estimation of maximal possible amplitude of bending vibrations and tensions are obtained in analytic form.
Explicit Modelling of Invariances in Bernoulli Mixtures for Binary Images
Authors: Verónica Romero, Adrià Giménez, Alfons Juan
Venue: Proceedings of the 3rd Iberian conference on Pattern Recognition and Image Analysis, Part I (2007)

Bernoulli mixture models have been recently proposed as simple yet powerful probabilistic models for binary images in which each image pattern is modelled by a different Bernoulli prototype (component). A possible limitation of these models, however, is that usual geometric transformations of image patterns are not explicitly modelled and, therefore, each natural transformation of an image pattern has to be independently modelled using a different, rigid prototype. In this work, we propose a simple technique to make these rigid prototypes more flexible by explicit modelling of invariances to translation, scaling and rotation. Results are reported on a task of handwritten Indian digits recognition.
Using Quality Models in Software Package Selection
Authors: Xavier Franch, Juan Pablo Carvallo
Venue: IEEE Software (2003)

The absence of structured descriptions of quality features and user quality requirements makes selecting the right software package difficult. The authors propose a methodology for describing the quality features of domain-specific software packages uniformly and comprehensively using ISO/IEC 9126-1 quality standards as a framework.
Tactile Illusion Caused by Tangential Skin Strain and Analysis in Terms of Skin Deformation
Authors: Masashi Nakatani, Akihiro Sato, Susumu Tachi, Vincent Hayward
Venue: Proceedings of the 6th international conference on Haptics: Perception, Devices and Scenarios (2008)

We describe a new tactile illusion of surface geometry that can be easily produced with simple materials. When the fingertip skin is strained by loading it in traction along a narrow band surrounded by two fixed traction surfaces, the sensation of a raised surface is typically experienced. This and other analogous cases are discussed in terms of tissue deformation created at a short distance inside the skin where the target mechanoreceptors are presumably located. A finite element analysis allowed us to propose that the basis of this illusion is connected with the observation that normal loading and tangential loading can create similar strain distribution, thereby creating an instance of an ambiguous stimulus. In the discussion we relate this stimulus to several other ambiguous tactile stimuli.
Implementing Bayes' Rule with Neural Fields
Authors: Raymond H. Cuijpers, Wolfram Erlhagen
Venue: Proceedings of the 18th international conference on Artificial Neural Networks, Part II (2008)

Bayesian statistics is has been very successful in describing behavioural data on decision making and cue integration under noisy circumstances. However, it is still an open question how the human brain actually incorporates this functionality. Here we compare three ways in which Bayes rule can be implemented using neural fields. The result is a truly dynamic framework that can easily be extended by non-Bayesian mechanisms such as learning and memory.
Multiple Sequence Alignment with Evolutionary-Progressive Method
Authors: Paweł Kupis, Jacek Mańdziuk
Venue: Proceedings of the 8th international conference on Adaptive and Natural Computing Algorithms, Part I (2007)

A new evolutionary-progressive method for Multiple Sequence Alignment problem is proposed. The method efficiently combines flexibility of evolutionary approach with speed and accuracy of progressive technique. The results show that the hybrid method is an interesting alternative for purely genetic or purely progressive approaches.
Plenary lecture II: meta-adaptation: neurons that change their mode
Authors: Dominic Palmer-Brown
Venue: Proceedings of the 9th WSEAS International Conference on Neural Networks (2008)

This talk will explore the integration of learning modes into a single neural network structure in which layers of neurons and even individual neurons adopt different modes. There are several reasons to explore modal learning in neural networks. One motivation is to overcome the inherent limitations of any given mode (for example some modes memorise specific features, others average across features, and both approaches may be relevant according to the circumstances); another is inspiration from neuroscience, cognitive science and human learning, where it is impossible to build a serious model without consideration of multiple modes; and a third reason is non-stationary input data, or time-variant learning objectives, where the required mode is a funtion of time. Several modal learning ideas will be presented: The Snap-Drift Neural Network (SDNN) which toggles its learning between two modes, either unsupervised or guided by performance feedback (reinforcement); a general approach to swapping between several learning modes in real-time; and an adaptive function neural network (ADFUNN), in which adaptation applies simultaneously to both the weights and the individual neuron activation functions. Examples will be drawn from a range of applications such as natural language parsing, speech processing, geographical location systems, optical character recognition and virtual learning environments.
Cross Sentence Alignment for Structurally Dissimilar Corpus Based on Singular Value Decomposition
Authors: Anna Ho, Fai Wong, Francisco Oliveira, Yiping Li
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Artificial Intelligence (2008)

Extracting the alignment pairs is a critical step for constructing bilingual corpus knowledge base for Example Based Machine Translation Systems. Different methods have been proposed in aligning parallel corpus between two different languages. However, most of them focus on structurally similar languages like English-French. This paper presents a method of cross aligning Portuguese-Chinese bilingual comparable corpus. The proposed approach is based on Singular Value Decomposition techniques and similarity measurement, which covers the problem in aligning structurally dissimilar corpus and enhances the accuracy of the alignment result.
Textual Affect Sensing for Sociable and Expressive Online Communication
Authors: Alena Neviarouskaya, Helmut Prendinger, Mitsuru Ishizuka
Venue: Proceedings of the 2nd international conference on Affective Computing and Intelligent Interaction (2007)

In this paper, we address the tasks of recognition and interpretation of affect communicated through text messaging. The evolving nature of language in online conversations is a main issue in affect sensing from this media type, since sentence parsing might fail while syntactical structure analysis. The developed Affect Analysis Model was designed to handle not only correctly written text, but also informal messages written in abbreviated or expressive manner. The proposed rule-based approach processes each sentence in sequential stages, including symbolic cue processing, detection and transformation of abbreviations, sentence parsing, and word/phrase/sentence-level analyses. In a study based on 160 sentences, the system result agrees with at least two out of three human annotators in 70% of the cases. In order to reflect the detected affective information and social behaviour, an avatar was created.
Bayesian Classifiers for Predicting the Outcome of Breast Cancer Preoperative Chemotherapy
Authors: Antônio P. Braga, Euler G. Horta, René Natowicz, Roman Rouzier, Roberto Incitti, Thiago S. Rodrigues, Marcelo A. Costa, Carmen D. Pataro, Arben Çela
Venue: Proceedings of the 3rd IAPR workshop on Artificial Neural Networks in Pattern Recognition (2008)

Efficient predictors of the response to chemotherapy is an important issue because such predictors would make it possible to give the patients the most appropriate chemotherapy regimen. DNA microarrays appear to be of high interest for the design of such predictors. In this article we propose bayesian classifiers taking as input the expression levels of DNA probes, and a `filtering' method for DNA probes selection.
The RFID-Enabled Dairy Farm: Towards Total Farm Management
Authors: Adam Trevarthen, Katina Michael
Venue: Proceedings of the 2008 7th International Conference on Mobile Business (2008)

Radio-frequency identification (RFID) is currently being deployed in government mandated livestock identification schemes across the world. RFID in its basic function can help authorities identify animals, especially when traceability becomes paramount during disease outbreaks across regions. This paper provides a view of how an RFID-enabled dairy farm can leverage mobile network infrastructure towards achieving total farm management. The data for the study was collected from two case studies, both NLIS (national livestock identification system) compliant dairy farms on the South Coast of New South Wales in Australia. The Cochrane and Strong Farms were used as models to illustrate the core and auxiliary technology components of an RFID-enabled dairy farm. This paper provides the first end-to-end view of the infrastructure and processes required to achieve an advanced RFID-enabled state-of-the-art dairy farm.
Changes in teaching and learning through digital media for higher education institutions
Authors: T. Bhuvaneswari, S. L. Beh
Venue: International Journal of Mobile Learning and Organisation (2008)

This paper overviews the basic concepts of teaching like planning, doing, observing and reflecting in higher education. Specifically, a case study on changes in learning through digital media is carried out in Multimedia University, Malaysia (MMU). Various resources in the University related to the learning and the high-quality mobile technology services provided by MMU are also elaborated. A survey is done among the faculty members towards new technology in teaching. The faculty members agreed that changes in both teaching and learning are essential and realised that they need guidance for technology advancements to apply them in teaching.
Computing the Exterior Orientation Elements of Line-Array CCD Images by Improved Two-Step Solution Method
Authors: Hui Gong, Ting Jiang, Gangwu Jiang, Song Ji, Jingyu Yang
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 4 - Volume 04 (2008)

Since the exterior orientation elements of line-array CCD images are highly correlated, normal collinear equations to compute these elements are ill-posed and the error of least square estimation is very large. This paper puts forward an improved two-step solution method to compute the exterior orientation elements based on Tikhonov regularization theory and detection of outliers. The first step of the method is to construct a new regularization matrix based on Tikhonov regularization theory, and is essentially to choose a more appropriate regularization matrix, rather than a traditional unit matrix. While the second step is to use gross error detection to compute the matrix functions of observation value. Experimental results indicated that the method could effectively overcome the correlation problems of exterior orientation elements and achieve high positioning accuracy. For orientation points, the positioning precision is under one pixel; while for checking points, the positioning precision is around one and a half pixels.
Quantum information: opportunities and challenges or "What's this quantum stuff and what does it have to do with cyber security?"
Authors: Ryan Bennink
Venue: Proceedings of the 4th annual workshop on Cyber security and information intelligence research: developing strategies to meet the cyber security and information intelligence challenges ahead (2008)

Modern society is shaped by the ability to transmit, manipulate, and store large amounts of information. Although we tend to think of information as abstract, information is physical, and computing is a physical process. How then should we understand information in a quantum world, in which physical systems may exist in multiple states at once and are altered by the very act of observation? This question has evolved into an exciting new field of research called Quantum Information (QI). QI challenges many accepted rules and practices in computer science. For example, a quantum computer would turn certain "hard" problems into "soft" problems, and would render common computationally-secure encryption methods (such as RSA) insecure. At the same time, quantum communication would provide an unprecedented kind of intrinsic information security at the level of the smallest physical objects used to store or transmit the information. This talk provides a general introduction to the subject of quantum information and its relevance to cyber security. In the first part, two of the stranger aspects of quantum physics---namely, superposition and uncertainty---are explained, along with their relation to the concept of information. These ideas are illustrated with a few examples: quantum ID cards, quantum key distribution, and Grover's quantum search algorithm. The classic man-in-the-middle attack is illustrated in regards to secret sharing (e.g., key exchange) to illustrate how QI methods can be used to thwart such threats. The state-of-the-art in quantum computing and communication hardware is then discussed, along with the daunting technological challenges that must be overcome. Relevant experimental and theoretical efforts at ORNL are highlighted. The talk concludes with speculations on the short-and long-term impact of quantum information on cyber security.
Structured Interactional Exceptions in Session Types
Authors: Marco Carbone, Kohei Honda, Nobuko Yoshida
Venue: Proceedings of the 19th international conference on Concurrency Theory (2008)

We propose an interactional generalisation of structured exceptions based on the session type discipline. Interactional exceptions allow communicating peers to asynchronously and collaboratively escape from the middle of a dialogue and reach another in a coordinated fashion, under an arbitrary nesting of exceptions. New exception types guarantee communication safety and offer a precise type-abstraction of advanced conversation patterns found in practice. Protocols for coordinating normal and exceptional exit among asynchronously running sessions are introduced. The liveness property established under these protocols guarantees consistency of coordinated exception handling among communicating peers.
Semantic Web Services in Action - Enterprise Information Integration
Authors: Parachuri Deepti, Bijoy Majumdar
Venue: Proceedings of the 5th international conference on Service-Oriented Computing (2007)

With the development and maturity of Service Oriented Architectures (SOA) to support business-to-business transactions, enterprises are using Web services to expose the public functionalities associated with internal systems and business processes. Semantic Web service infrastructure achieves automatic data integration to enable enterprises to collaborate and compete effectively in a dynamic global environment. In this paper, we deal with two important aspects of enterprise information integration, namely process integration and data convergence. This paper talks about solution strategies for global enterprise system which provides unified information and agile solution with greater ease and simplicity. Today's Web data lacks machine understandable semantics making it impossible to achieve data integration with the Web service. Hence, the semantic Web services in action to overcome the limitations of information finding, information extracting, information representing, information interpreting and information maintaining. This paper takes you through a case study simulating semantic Web paradigm (and semantic Web services) over a leasing business system. It also portrays the various advantages and explains the hurdles in accepting the semantic Web technology.
Stochastic Fatigue Models for Efficient Planning Inspections in Service of Aircraft Structures
Authors: Nicholas Nechval, Konstantin Nechval, Gundars Berzinsh, Maris Purgailis, Uldis Rozevskis
Venue: Proceedings of the 15th international conference on Analytical and Stochastic Modeling Techniques and Applications (2008)

For important fatigue-sensitive structures of aircraft whose breakdowns cause serious accidents, it is required to keep their reliability extremely high. In this paper, we discuss inspection strategies for such important structures against fatigue failure. The focus is on the case when there are fatiguecracks unexpectedly detected in a fleet of aircraft within a warranty period (prior to the first inspection). The paper examines this case and proposes stochastic models for prediction of fatigue-crack growth to determine appropriate inspections intervals. We also do not assume known parameters of the underlying distributions, and the estimation of that is incorporated into the analysis and decision-making. Numerical example is provided to illustrate the procedure.