ppxscal/embedding_network huggingface dataset:
A Grid Implementation of Direct Semiclassical Calculations of Rate Coefficients
Authors: Alessandro Costantini, Noelia Faginas Lago, Antonio Laganà, Fermín Huarte-Larrañaga
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part II (2009)

A detailed description of the grid implementation on the production computing grid of EGEE of a semiclassical code performing a calculation of atom-diatom reaction rate coefficients is given. An application to the N + N2 reaction for which a massive computational campaign has been performed is reported.
Investigating the Effect of Hyperlink Information Scent on Users' Interaction with a Web Site
Authors: Nikolaos Tselios, Christos Katsanos, Nikolaos Avouris
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

In the study presented in this paper we investigate how variations of information scent of hyperlinks of a webpage influence users' behavior in terms of attention-focusing, confidence, effectiveness and efficiency, while exploring a website. In the reported study, 19 participants completed eight different tasks associated with eight simplified websites. Analysis of the results showed that even small differences in the target-link's information scent can substantially affect users' performance, distribution of attention and confidence. The study contributes to the related literature by quantifying the impact of even small differences in the target-link's scent on users' success ratio, time for first click, confidence and distribution of attention. In addition, a scent threshold value was identified, below which all the measured variables were substantially affected, and thus the link could be characterized as of "weak scent".
The First Order Theories of the Medvedev and Muchnik Lattices
Authors: Andrew Lewis, André Nies, Andrea Sorbi
Venue: Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice (2009)

We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both computably isomorphic to the third order theory of the natural numbers.
Concept Development with Real Users: Involving Customers in Creative Problem Solving
Authors: Mika P. Nieminen, Mari Tyllinen
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

This paper describes idea generation activities in a user-centered concept development project when creating a new Enterprise Resource Planning system. With detailed statistics of the produced ideas we show that different creative problem solving methods are feasible to allow real end-users to generate ideas to improve their own ERP system. Our results show consistent success in using the various methods and a remarkably high percentage of new ideas were selected for further evaluation by the developers of the system.
Polish Children's Gesticulation in Narrating (Re-telling) a Cartoon
Authors: Ewa Jarmołowicz-Nowikow
Venue: Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions: COST Action 2102 International Conference Prague, Czech Republic, October 15-18, 2008 Revised Selected and Invited Papers (2009)

The study was aimed at a preliminary analysis of the nonverbal component of utterances produced by nine year old Polish children in the task of re-telling a cartoon. Most research on children's gestures so far has been confessed to younger subjects. The analyses presented in the article concern the relations between semantic contributions from the visual and auditory modalities (gestures and speech) as well as the viewpoint of gestures and the use of gesture space. Gestural phrases were tagged for their internal structure (phases) and gestures were categorized into basic types.
Ensemble Learning: A Study on Different Variants of the Dynamic Selection Approach
Authors: João Mendes-Moreira, Alipio Mario Jorge, Carlos Soares, Jorge Freire Sousa
Venue: Proceedings of the 6th International Conference on Machine Learning and Data Mining in Pattern Recognition (2009)

Integration methods for ensemble learning can use two different approaches: combination or selection. The combination approach (also called fusion) consists on the combination of the predictions obtained by different models in the ensemble to obtain the final ensemble prediction. The selection approach selects one (or more) models from the ensemble according to the prediction performance of these models on similar data from the validation set. Usually, the method to select similar data is the k-nearest neighbors with the Euclidean distance. In this paper we discuss other approaches to obtain similar data for the regression problem. We show that using similarity measures according to the target values improves results. We also show that selecting dynamically several models for the prediction task increases prediction accuracy comparing to the selection of just one model.
Syncretizing Context Information into the Collaborative Filtering Recommendation
Authors: Ruliang Xiao, Faliang Hong, Jinbo Xiong, Xiaojian Zheng, Zhengqiu Zhang
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

Social network allows users to organize collections of resources on the web in a collaborative fashion. Collaborative filtering as a classical method has been also used in helping people to deal with information overload in folksonomy system. The problem of devising methods to solve the contextual problems emerging in the process of recommendation application over the social network is increasing open. Here we propose a novel means to syncretize context information into the recommender system. This paper first recall traditional methods of collaborative filtering, then presents some definitions and algorithm framework, proposes a contextual rating estimation. Finally, experiment comparison demonstrates that the contextual approach can produces better rating estimations.
Secrecy for Bounded Security Protocols under Composed Keys and Disequality Tests
Authors: Catalin V. Birjoveanu
Venue: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2008)

In this paper, we extend some complexity results on thesecrecy problem for bounded security protocols by adding composed keys and disequality tests to an existing model for security protocols.
Urban Traffic Signal Learning Control Using SARSA Algorithm Based on Adaptive RBF Network
Authors: Chun-gui Li, Meng Wang, Shu-Hong Yang, Zeng-fang Zhang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Urban traffic control is very complicated, so to build a precise mathematical model for it is very difficult, In this paper, we use the SARSA reinforcement leaning algorithm to control the traffic signal, thus the decision can be made dynamically according to real-time traffic state information, and the change of environment can be adapted automatically; As the state space is too big to be stored and expressed directly, we applied radial basis function neural network (RBF) to approximate the state value function. By training self-adapted non-linear processing unit, and realizing online and adaptive constructing of state space, the approximation is improved and thus the control of traffic signal at single crossroad is solved. The simulation results show that the effectiveness of the new control algorithm is obviously better than traditional fixed time slot allocation method.
Leak Detection of Water Pipeline Using Wavelet Transform Method
Authors: Xuhui Tang, Yongbo Liu, Longjiang Zheng, Changbao Ma, Hui Wang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

In order to solve the leak problem from water pipeline, the principle of water pipeline leak detection using acoustic theory is elaborated and the location algorithm is given. A leak detection technique combines wavelet transform and cross-correlation technique is the focus in this paper. The leak location algorithm using wavelet transform for noise reduction before using cross-correlation technique to calculate the time arrival difference between the two vibration sensors. After wavelet transform denoising, by introducing the optimal maximum likelihood based on cross-correlation technique, the time delay estimate between the two sensors is precisely calculated and obtained. Then a compare between this method and basic cross-correlation method is conducted. Simulation results verifies the validity of the new measuring method.
Determining possible and necessary winners under common voting rules given partial orders
Authors: Lirong Xia, Vincent Conitzer
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

Usually a voting rule or correspondence requires agents to give their preferences as linear orders. However, in some cases it is impractical for an agent to give a linear order over all the alternatives. It has been suggested to let agents submit partial orders instead. Then, given a profile of partial orders and a candidate c, two important questions arise: first, is c guaranteed to win, and second, is it still possible for c to win? These are the necessary winner and possible winner problems, respectively. We consider the setting where the number of alternatives is unbounded and the votes are unweighted. We prove that for Copeland, maximin, Bucklin, and ranked pairs, the possible winner problem is NP-complete; also, we give a sufficient condition on scoring rules for the possible winner problem to be NP-complete (Borda satisfies this condition). We also prove that for Copeland and ranked pairs, the necessary winner problem is coNP-complete. All the hardness results hold even when the number of undetermined pairs in each vote is no more than a constant. We also present polynomial-time algorithms for the necessary winner problem for scoring rules, maximin, and Bucklin.
Robot Obstacle Avoidance based on an Improved Ant Colony Algorithm
Authors: Jie Dong, Bing Liu, Kaixiang Peng, Yixin Yin
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

Obstacle Avoidance for mobile robot is a nondeterministic polynomial hard (NP-hard) problem. Ant algorithm is the bionic algorithm which simulated ants foraging behavior, which can effectively solve the problems of this kind. In this paper, we propose an improved ant colony algorithm for robot obstacle avoidance, in which heuristic information is adjusted at run-time during the searching process. The proposed algorithm can effectively alleviate the local optimum problem, global optimal path can be robustly found in our experiments.
USFD: preliminary exploration of features and classifiers for the TempEval-2007 tasks
Authors: Mark Hepple, Andrea Setzer, Rob Gaizauskas
Venue: Proceedings of the 4th International Workshop on Semantic Evaluations (2007)

We describe the Sheffield system used in TempEval-2007. Our system takes a machine-learning (ML) based approach, treating temporal relation assignment as a simple classification task and using features easily derived from the TempEval data, i.e. which do not require 'deeper' NLP analysis. We aimed to explore three questions: (1) How well would a 'lite' approach of this kind perform? (2) Which features contribute positively to system performance? (3) Which ML algorithm is better suited for the TempEval tasks? We used the Weka ML workbench to facilitate experimenting with different ML algorithms. The paper describes our system and supplies preliminary answers to the above questions.
Verification of Policy-Based Self-Managed Cell Interactions Using Alloy
Authors: Alberto Schaeffer-Filho, Emil Lupu, Morris Sloman, Susan Eisenbach
Venue: Proceedings of the 2009 IEEE International Symposium on Policies for Distributed Systems and Networks (2009)

Self-Managed Cells (SMCs) define an infrastructure for building ubiquitous computing applications. An SMC consists of an autonomous administrative domain based on a policy-driven feedback control-loop. SMCs are able to interact with each other and compose with other SMCs to form larger autonomous components. In this paper we present a formal specification of an SMC's behavior for the analysis and verification of its operation in collaborations of SMCs. These collaborations typically involve SMCs originated from different administrative authorities, and the definition of a formal model has helped us to verify the correctness of their operation when SMCs are composed or federated.
SPARQL graph pattern rewriting for OWL-DL inference queries
Authors: Yixin Jing, Dongwon Jeong, Doo-Kwon Baik
Venue: Knowledge and Information Systems (2009)

This paper focuses on the issue of OWL-DL ontology queries implemented in SPARQL. Currently, ontology repositories construct inference ontology models, and match SPARQL queries to the models, to derive inference results. Because an inference model uses much more storage space than the original model, and cannot be reused as inference requirements vary, this method is not suitable for large-scale deployment. To solve this problem, this paper proposes a novel method that passes rewritten SPARQL queries to the original ontology model, to retrieve inference results. We define OWL-DL inference rules and apply them to rewriting Graph Patterns in queries. The paper classifies the inference rules and discusses how these rules affect query rewriting. To illustrate the advantages of our proposal, we present a prototype system based on Jena, and address query optimization, to eliminate the disadvantages of augmented query sentences. We perform a set of query tests and compare the results with related works. The results show that the proposed method results in significantly improved query efficiency, without compromising completeness or soundness.
Wireless Capsule Endoscopy video segmentation
Authors: Giovanni Gallo, Eliana Granata, Giuseppe Scarpulla
Venue: Proceedings of the 2009 IEEE International Workshop on Medical Measurements and Applications (2009)

Interpretation of WCE video is nowadays largely left to the visual inspection of a medical specialist. This tedious and time consuming task could greatly benefit from techniques that automatically classify and exclude from further processing the non-relevant frames in the video. To this aim in this paper the construction of an indicator function that takes high value, whenever there is a sudden change, is proposed. The construction of the indicator function uses the statistical texton approach. Experimental results show that with the proposed technique it's possible to discard up to 70% of the video.
Where Is My Stuff? Augmenting Finding and Re-finding Information by Spatial Locations and Icon Luminance
Authors: J. Michelle Moon, Wai-Tat Fu
Venue: Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009 (2009)

We studied how spatial locations and luminance affect finding and re-finding information in a desktop environment. In an experiment conducted with computer icons, fixed locations led to more frequent accesses to icons while change of luminance led to worse recall of icon titles and locations. In an analysis of icon access transition, a sequential search pattern was identified in earlier sessions, which suggests that participants were minimizing efforts in external search and were not utilizing internal memory of titles and locations yet. In later sessions, icon accesses were more focused to information directly relevant to search tasks as participants started using titles and locations for re-finding icons. Results are consistent with the notion that information search behavior is adaptive to the cost-benefit structure of the interface, and search strategies are adaptive to different external representations of icons. Results also suggest that both external representations and human information processes are critical in determining the effectiveness of different GUI designs.
Providing temporal isolation in the OSGi framework
Authors: T. Richardson, A. J. Wellings, J. A. Dianes, M. Díaz
Venue: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (2009)

The OSGi Framework is a run-time environment for deploying service-containing Java components. Dynamically reconfigurable Java applications can be developed through the Framework's powerful capabilities such as installing, uninstalling, updating components at run-time, and allowing the substitution of service implementations at run-time. Coupled with the capability to be remotely managed, the OSGi Framework is proving a success in a variety of application domains. One domain where it is yet to make an impact is real-time systems. Despite the fact that OSGi components and services can be developed using the Real-Time Specification for Java (RTSJ), there are still a variety of problems preventing the use of the Framework to develop real-time systems. One such problem is a lack of temporal isolation. This paper focuses on how temporal isolation can be provided in the OSGi Framework as a first step towards using the Framework to developing real-time systems with the RTSJ.
International Competitiveness Analysis of China's Service Trade
Authors: Wang Li-ping
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

Throughout the world, human beings made a step to serve the economic society, and the vigorous development of service and international trade became beautiful scenery. The proportions of service in the national economy as well as the employments have showed an increasing trend both in developed and developing countries. This paper comparatively analyzed the service trade in China and other world’s major countries in Service Trade Competitiveness Index, Revealed Comparative Advantage Index and Revealed Competitive Advantage Index, showed the international gap of our service trade comparing with India, and finally made out some countermeasures and suggestions for government, industry associations and enterprises.
The Application of Epsilon-SVR in Infrared Temperature Demarcating
Authors: Jian Sun, Liang Chen, Yaqiong Fu, Juan Wu, Le Chen
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

A ε - SVR (ε -Support Vector Regression) based modeling method is introduced to process data acquired from infrared temperature demarcating experiment. In the process of the temperature of black body ranging from 30 to 72, 22 groups of samples are acquired, which include 17 groups of training samples and 5 groups of forecasting samples. The fitting curves are got through training samples and forecasting samples under MATLAB. Compared with traditional method of least square, the precision of this method is far higher. In conclusion, the method of ε -SVR can become a method of data processing to infrared temperature demarcating.
A Phase Modulation Audio Watermarking Technique
Authors: Michael Arnold, Peter G. Baum, Walter Voeßing
Venue: Information Hiding: 11th International Workshop, IH 2009, Darmstadt, Germany, June 8-10, 2009, Revised Selected Papers (2009)

Audio watermarking is a technique, which can be used to embed information into the digital representation of audio signals. The main challenge is to hide data representing some information without compromising the quality of the watermarked track and at the same time ensure that the embedded watermark is robust against removal attacks. Especially providing perfect audio quality combined with high robustness against a wide variety of attacks is not adequately addressed and evaluated in current watermarking systems. In this paper, we present a new phase modulation audio watermarking technique, which among other features provides evidence for high audio quality. The system combines the alteration of the phase with the spread spectrum concept and is referred to as Adaptive Spread Phase Modulation (ASPM). Extensive benchmarking provide the evidence for the inaudibility of the embedded watermark and the good robustness.
Tribology Extenics Condition Evaluation Based on Matter Element Theory
Authors: Zhao Chunhua, Wu Gang, Li Li, Yang Weihua
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

The tribo-system has non-linear and randomfeatures; it means that the tribo-system output parameters,such as friction coefficient, friction temperature, friction ratioetc. have steady or non-steady random features. Adoptingmatter element model to describe the tribo-system conditioncan integrate different types information into a model andrealize the quantity expression for the tribo-system. This paperintroduced case based reasoning method to evaluate the tribosystemcondition based on extenics theory. Tribology conditioncases index model was established based on fuzzy similarpriority at first. Then through the mutual comparing with alleffective elements, the fuzzy similar priority relationshipbetween object case and origin case of rolling bearings wereconstructed; and the similar serial was obtained under thedifferent affect factors between object case and origin case ofrolling bearings. At last the original case was found which wasmost similar to the object case and the rolling bearingcondition could be evaluated. The model integratedindetermination induced by each effective factor and found theoriginal case which was the most similar to the object casefrom integer. Comparing with the method whose indexstratagem was minimal Euclid Distance, the proposal methodwas more reasonable.
Implementation of the two-point angular correlation function on a high-performance reconfigurable computer
Authors: Volodymyr V. Kindratenko, Adam D. Myers, Robert J. Brunner
Venue: Scientific Programming (2009)

We present a parallel implementation of an algorithm for calculating the two-point angular correlation function as applied in the field of computational cosmology. The algorithm has been specifically developed for a reconfigurable computer. Our implementation utilizes a microprocessor and two reconfigurable processors on a dual-MAP SRC-6 system. The two reconfigurable processors are used as two application-specific co-processors. Two independent computational kernels are simultaneously executed on the reconfigurable processors while data pre-fetching from disk and initial data pre-processing are executed on the microprocessor. The overall end-to-end algorithm execution speedup achieved by this implementation is over 90&times; as compared to a sequential implementation of the algorithm executed on a single 2.8 GHz Intel Xeon microprocessor.