ppxscal/embedding_network huggingface dataset:
Weight Constraint Programs with Functions
Authors: Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang
Venue: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (2009)

In this paper we consider a new class of logic programs, called weight constraint programs with functions, which are lparse programs incorporating functions over non-Herbrand domains. We define answer sets for these programs and develop a computational mechanism based on loop completion. We present our results in two stages. First, we formulate loop formulas for lparse programs (without functions). Our result improves the previous formulations in that our loop formulas do not introduce new propositional variables, nor there is a need of translating lparse programs to nested expressions. Building upon this result we extend the work to weight constraint programs with functions. We show that the loop completion of such a program can be transformed to a Constraint Satisfaction Problem (CSP) whose solutions correspond to the answer sets of the program, hence off-the-shelf CSP solvers can be used for answer set computation. We show some preliminary experimental results.
Friendly clustering: the winning strategy of the maniac challenge 2009
Authors: Felix Juraschek, Heiko Will, Mesut Güneş, Jochen Schiller
Venue: Proceedings of the 4th ACM international workshop on Experimental evaluation and characterization (2009)

We intend to demonstrate our strategy Friendly Clustering which was designed and implemented for the MANIAC Challenge. The MANIAC Challenge is a competition to develop cooperation strategies for mobile ad-hoc networks (MANETs). MANETs usually comprise battery-powered nodes which may act selfishly by dropping packets destined to other network nodes in order to save energy. The detection of such behavior is important to exclude these nodes from the forwarding decision to minimize packet loss. For the demo, the strategy will compete against different variants of selfish and uncooperative behavior in a MANIAC competition round carried out on the DES-Testbed at the Freie Universitaet Berlin. Friendly Clustering won the Performance Award in the MANIAC Challenge 2009.
Relaxed survey propagation: a sum-product algorithm for Max-SAT
Authors: Hai Leong Chieu, Wee Sun Lee
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

The survey propagation (SP) algorithm has been shown to work well on large instances of the random 3-SAT problem near its phase transition. It was shown that SP estimates marginals over covers, using joker states to represent clusters of configurations. The SP-y algorithm generalizes SP to work on the Max-SAT problem, but the cover interpretation of SP does not generalize to SP-y. Recently, a relaxed survey propagation (RSP) algorithm has been proposed for inference in Markov random fields (MRF). RSP for MRFs assigns zero probability to joker states, and hence the cover interpretation is also inapplicable. We adapt RSP to solve Max-SAT problems, and show that it has an interpretation of estimating marginals over covers violating a minimum number of clauses. This naturally generalizes the cover interpretation of SP. Empirically, we show that RSP out-performs SP-y and other state-of-the-art solvers on random as well as benchmark instances of Max-SAT.
Influence of Vehicle Parameters on the Dynamics of Pavement Structure Due to Vehicle-Road Interaction
Authors: Haoyu Li, Shaopu Yang, Shaohua Li
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

A three-dimensional vehicle-road interference system was established in this work. A moving vehicle was simplified to a quarter-vehicle model. An infinite plate on Kelvin foundation was employed to model the pavement system. Through integral transform, the time-dependent displacement and stress of the pavement are obtained by linking together the characteristics of a road profile and a moving vehicle. The spatial and time change rules of the plate’s displacement and stress were presented to illustrate the analytic results derived from the established framework. A detailed model parametric study then followed to show the effect of vehicle velocity, suspension stiffness, suspension damping, tire stiffness, and tire damping on the road dynamic response. The conclusions obtained from this work may be useful for reasonable vehicle suspension design, which pays more attention to avoid the pavement premature failure and extend pavement life-span.
Applying Electromagnetic Field Theory Concepts to Clustering with Constraints
Authors: Huseyin Hakkoymaz, Georgios Chatzimilioudis, Dimitrios Gunopulos, Heikki Mannila
Venue: Proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: Part I (2009)

This work shows how concepts from the electromagnetic field theory can be efficiently used in clustering with constraints. The proposed framework transforms vector data into a fully connected graph, or just works straight on the given graph data. User constraints are represented by electromagnetic fields that affect the weight of the graph's edges. A clustering algorithm is then applied on the adjusted graph, using k-distinct shortest paths as the distance measure. Our framework provides better accuracy compared to MPCK-Means, SS-Kernel-KMeans and Kmeans+Diagonal Metric even when very few constraints are used, significantly improves clustering performance on some datasets that other methods fail to partition successfully, and can cluster both vector and graph datasets. All these advantages are demonstrated through thorough experimental evaluation.
An Organizational Knowledge Ontology for Automotive Supply Chains
Authors: Bernd Hellingrath, Markus Witthaut, Carsten Böhle, Stephan Brügger
Venue: Proceedings of the 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing (2009)

The currently completed ILIPT (Intelligent Logistics for Innovative Product Technologies) project was concerned with the concept of the "5 day car" (a customized car that is delivered within five days after its ordering) and encompassed extensive research on the required production and logistics network structures and processes. As car manufacturers in the automotive industry (commonly referred to as OEMs) rely heavily on their suppliers, the major challenge lies in the organization of inter-enterprise cooperation supported by information systems (IS) in an efficient manner. A common understanding of supply chain concepts is indispensable for this. Ontologies as formal representations of concepts can be used as a semantic basis for cooperation. Relevant results from ILIPT are presented followed by a concept as well as a prototype of how to transfer the theoretical findings to a practical implementation, in this case a multi-agent system.
Studies on the performance characteristics and improvements of the piezoelectrically-driven micro gas compressors
Authors: Jae Sung Yoon, Jong Won Choi, Min Soo Kim, Yeong-Eun Yoo, Doo-Sun Choi
Venue: Microelectronic Engineering (2009)

This study presents the main characteristics of a micro gas compressor produced by microfabrication techniques on silicon wafers. The compressor consists of a compression chamber, check valves and a silicon membrane where the piezoelectric bimorph actuator is installed. Compressor performance was investigated under various working conditions of input voltage and frequency to the actuator at several downstream back pressures. Volume stroke ratio is a critical parameter for gas compressors. However, micro actuators do not generally produce large displacement, so the volume stroke ratio of the micro compressor is expected to be significantly less than that of conventional mechanical compressors. Therefore, the possibility of using dual compression was also investigated in order to improve micro compressor performance. The performance of the micro compressor is evaluated in this study through experiments and simulation.
Interactive System to Assist Rehabilitation of Children
Authors: Shuto Murai, Kenta Sugai, Michiko Ohkura, Mizuma Masazumi, Amimoto Satuki
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Addressing Diversity. Part I: Held as Part of HCI International 2009 (2009)

We developed a new interactive system to support a child with physical disorders to continue appropriate rehabilitation pleasurably at home. We selected a ten-years-old boy suffering from "Spina Bifida Aperta" as the target patient and constructed an interactive system that employed the step motion, an effective rehabilitation method for him. Experiments were performed to evaluate the system.
High Precision Delay Measurement Based on PN Sequence
Authors: Yu Jijiang
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

Delay measurement is the key to TDOA technology. This article first introduced the PN sequence, and then summarized the m sequence which is commonly used and its application in delay measurement, finally made a simulation by Matlab and discussed the influence of noise and the period of m sequence in different situation.
Impact of Using Semantic Social Networks on Organizations
Authors: Ali Fatalian, Zahra Amin Nayeri, Mohammad Azadnia
Venue: Proceedings of the 2009 International Conference on Advances in Social Network Analysis and Mining (2009)

In a rapidly changing environment, a shift toward decentralized structurefor organizations seems inevitable. Semantic web Technologies combined with social network analysis make the transition of a centralized organization to a decentralized one much easier. By increasing controllability and manageability of a decentralized structure, these tools can improve functionality and performance. A framework for creation and maintenance of a semantic social network is introduced and two real world organizations have been analyzed. After selecting one organization suitable for decentralization, network datasets were generated from its structure. Generated datasets have been used as the input of the framework to create a semantic social network for the corresponding organization. Social network analysis was then performed on both semantic and non semantic social networks. Gain of performance was observed in many areas such as decision making, flexibility, reliability and throughput. Semantic social network also enables other functionalities along ease of decentralization such as gain of knowledge about dynamic structure of the organization. These functionalities are also discussed.
Blackouts in Power Transmission Networks Due to Spatially Localized Load Anomalies
Authors: Carla Dionisi, Francesca Mariani, Maria Cristina Recchioni, Francesco Zirilli
Venue: Critical Information Infrastructure Security: Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers (2009)

In this paper we study cascading blackouts in power transmission networks due to spatially localized load anomalies. The term "spatially localized load anomalies" means that the overloaded nodes in the graph representing the power transmission network are concentrated in a small zone of the graph. Typically these anomalies are caused by extreme weather conditions localized in some parts of the region served by the power transmission network. We generalize a mathematical formulation of the cascading blackout problem introduced in [1] and later developed in [2]. This mathematical formulation of the blackout problem when the load of the network is perturbed randomly allows the study of the probability density functions of the measure of the size of the blackout generated and of the occupation of the network lines. The analysis presented shows that spatially localized load anomalies of a given "magnitude" can generate blackouts of larger size than the blackouts generated by a load anomaly of the same magnitude distributed proportionally on the entire network. Load anomalies of this last type have been studied in [1], [2]. The previous results are obtained studying the behaviour of the Italian high voltage power transmission network through some numerical experiments.
An Improved Medical Image Registration Framework Based on Mutual Information
Authors: Anrong Yang, Caixing Lin, Cheng Wang, Hongqiang Li
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 01 (2009)

This paper presents an improved framework for medical images registration. Comparing with the previous registration framework, this framework uses the Mutual Information (MI) as main measure method and is more precise in image registration. Aside the input and output data, the framework can be separated into four parts: interpolator, measurer, optimizer and transformer. Interpolator is used for evaluating moving image intensities at non-grid positions. Measurer provides an appraisal method of how well the fixed image is matched by the transformed moving image. Optimizer can optimize the measure criterion and transformer exerts some transformations on the objective image. Measurer component is the most critical element of the framework and we adopt Mutual Information as our main measure method. These four parts act as different roles in medical images registration and construct a simple, accurate and stable medical images registration framework. We have already realized the framework and got a satisfying result.
Ultra-low power data storage for sensor networks
Authors: Gaurav Mathur, Peter Desnoyers, Paul Chukiu, Deepak Ganesan, Prashant Shenoy
Venue: ACM Transactions on Sensor Networks (TOSN) (2009)

Local storage is required in many sensor network applications, both for archival of detailed event information, as well as to overcome sensor platform memory constraints. Recent gains in energy efficiency of new-generation NAND flash storage have strengthened the case for in-network storage by data-centric sensor network applications. We argue that current storage solutions offering a simple file system abstraction are inadequate for sensor applications to exploit storage. Instead, we propose Capsule&mdash;a rich, flexible and portable object storage abstraction that offers stream, file, array, queue and index storage objects for data storage and retrieval. Further, Capsule supports checkpointing and rollback of object state for fault tolerance. Our experiments demonstrate that Capsule provides platform independence, greater functionality and greater energy efficiency than existing storage solutions.
Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams
Authors: Francisco Assis M. do Nascimento, Marcio F. da Silva Oliveira, Flávio R. Wagner
Venue: Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes (2009)

This work presents a formal verification methodology that adopts concepts from Model Driven Engineering (MDE) for the automatic generation of a network of timed automata from the functional specification of an embedded application described using UML class and sequence diagrams. By means of transformations on the UML model of the embedded system, a MOF-based representation for the network of timed automata is automatically obtained, which can be used as input to model checking tools, as Uppaal, in order to validate desired functional and temporal properties of the embedded system specification. Since the network of timed automata is automatically generated, the methodology can be very useful for the designer, making easier the debugging and formal validation of the system specification. The paper describes the defined transformations between models, which generate the network of timed automata as well as the textual input to the Uppaal model checker, and illustrates the use of the methodology with a case study to show the effectiveness of the approach.
Investigation of factors affecting the diffusion of mobile telephone services: An empirical analysis for Vietnam
Authors: Junseok Hwang, Youngsang Cho, Nguyen Viet Long
Venue: Telecommunications Policy (2009)

This paper analyzes the diffusion of mobile telecommunications services in Vietnam and examines how telecommunications regulation and potential substitute/complement services affect the growth of the number of mobile telephone subscribers. Using a logistic diffusion model, it is found that fixed telephone services are a complement while data services have a negative relation to mobile telephone services in Vietnam. As for regulation, the policy of introducing competition has been found to be the most effective in influencing the adoption of mobile services. Another important result is that the estimated potential market is roughly 76% of the total population. The findings suggest that suitable regulation that guarantees competition in the mobile telecommunications market in a developing country such as Vietnam is one of the most important factors for a positive diffusion process.
Erratum: Erratum to: "Notes on Triple I method of fuzzy reasoning" [Comput. Math. Appl. 44 (2002) 1567-1579]
Authors: Hua-Wen Liu
Venue: Computers Mathematics with Applications (2009)

The aim of this paper is to correct the results about triple I method for fuzzy reasoning obtained in paper [S. Song, C. Feng, E.S. Lee, Triple I method of fuzzy reasoning, Computers and Mathematics with Applications 44 (2002) 1567-1579].
S-Learning: A Model-Free, Case-Based Algorithm for Robot Learning and Control
Authors: Brandon Rohrer
Venue: Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development (2009)

A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learning of robotic and environmental structure sufficient to allow it to achieve its goal (reaching a light source). No modeling information about the task or calibration information about the robot's actuators and sensors were used in S-learning's planning. The ability of S-learning to make movement plans was completely dependent on experience it gained as it explored. Initially it had no experience and was forced to wander randomly. With increasing exposure to the task, S-learning achieved its goal with more nearly optimal paths. The fact that this approach is model-free and case-based implies that it may be applied to many other systems, perhaps even to systems of much greater complexity. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Optical tracking using commodity hardware
Authors: Simon Hay, Joseph Newman, Robert Harle
Venue: Proceedings of the 7th IEEE/ACM International Symposium on Mixed and Augmented Reality (2008)

We describe a method for using Nintendo Wii controllers as a stereo vision system to perform 3D tracking or motion capture in real time. Commodity consumer hardware allows a wireless, portable tracker to be created that obtains accurate results for a fraction of the cost of conventional setups. Consequently, tracking becomes viable in situations where cost or space were previously prohibitive. Initial results show an accuracy of ±2mm over a large tracking volume.
Generalization of Some Attacks on RSA with Small Prime Combination and Small Private Exponent
Authors: Lidong Han, Guangwu Xu
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

In 2002, de Weger proposed an attack on small RSA secret decryption exponent with small prime difference |p-q|, which improved the insecure private key bound of Wiener and Boneh-Durfee attacks. Recently, Maitra and Sarkar found new weak keys in another case when 2q-p is small. In this paper, several results on attacking RSA with small prime differences q-p, 2p-q and small private exponent are generalized. Our observation is that when |ip-jq| is small for some integers i,j, we can explore new insecure keys in RSA. One of our results also makes some statement in literature more accurate.
Similarity and Kernel Matrix Evaluation Based on Spatial Autocorrelation Analysis
Authors: Vincent Pisetta, Djamel A. Zighed
Venue: Proceedings of the 18th International Symposium on Foundations of Intelligent Systems (2009)

We extend the framework of spatial autocorrelation analysis on Reproducing Kernel Hilbert Space (RKHS). Our results are based on the fact that some geometrical neighborhood structures vary when samples are mapped into a RKHS, while other neighborhood structures do not. These results allow us to design a new measure for measuring the goodness of a kernel and more generally a similarity matrix. Experiments on UCI datasets show the relevance of our methodology.
Modelled temperature-dependent excitability behaviour of a generalised human peripheral sensory nerve fibre
Authors: Jacoba E. Smit, Tania Hanekom, Johan J. Hanekom
Venue: Biological Cybernetics (2009)

The objective of this study was to determine if a recently developed human Ranvier node model, which is based on a modified version of the Hodgkin&#x2013;Huxley model, could predict the excitability behaviour in human peripheral sensory nerve fibres with diameters ranging from 5.0 to 15.0 &#x03bc;m. The Ranvier node model was extended to include a persistent sodium current and was incorporated into a generalised single cable nerve fibre model. Parameter temperature dependence was included. All calculations were performed in Matlab. Sensory nerve fibre excitability behaviour characteristics predicted by the new nerve fibre model at different temperatures and fibre diameters compared well with measured data. Absolute refractory periods deviated from measured data, while relative refractory periods were similar to measured data. Conduction velocities showed both fibre diameter and temperature dependence and were underestimated in fibres thinner than 12.5&#x00a0;&#x03bc;m. Calculated strength&#x2013;duration time constants ranged from 128.5 to 183.0&#x00a0;&#x03bc;s at 37&#x00b0;C over the studied nerve fibre diameter range, with chronaxie times about 30% shorter than strength&#x2013;duration time constants. Chronaxie times exhibited temperature dependence, with values overestimated by a factor 5&#x00a0;at temperatures lower than body temperature. Possible explanations include the deviated absolute refractory period trend and inclusion of a nodal strangulation relationship.
The Research of Emotional Cognition Model which Based On Bayesian Network within Intelligent Tutoring System
Authors: Liu Jiang Hua, Wang Wan Sen
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

Against the defects of the traditional intelligent network tutoring system in the emotion of teaching, the paper presents a new intelligent tutoring system structure which based on emotional cognition model, and solved the uncertainty reasoning problems within the process of emotional teaching effectively through the inference engine which based on Bayesian network. The simulation results show that the model can be used to apply to the personalized intelligent network teaching system very well which based on the interactive of emotion and cognition.