ppxscal/embedding_network huggingface dataset:
Static electric polarizability and hyperpolarizability of sodium clusters: The case of the sodium tetramer
Authors: Demetrios Xenides, George Maroulis
Venue: Journal of Computational Methods in Sciences and Engineering (2007)

We have calculated the static polarizability and second hyperpolarizability of sodium tetramer using conventional ab initio and density functional theory based methods. Our best values for the mean and the anisotropy of the dipole polarizability are &alpha;&macr;= 548.81 and &Delta;&alpha;=489.14 e$^{2}$a$_{0}^{2}$E$_{h}^{-1}$. The mean second hyperpolarizability is very large at &gamma;&macr;=5531 &times; 10$^{3}$ e$^{4}$a$_{0}^{4}$E$_{h}^{-3}$. The differential-per-atom polarizability is negative but the differential-per-atom hyperpolarizability is positive. Density functional theory methods offer a rather fuzzy picture of the second hyperpolarizability of the molecule. Nevertheless, we have found that the widely used B3LYP and B3PW91 methods perform rather reliably for both the polarizability and the hyperpolarizability of Na$_{4}$.
A Dialogue Game Protocol for Recommendation in Social Networks
Authors: Stella Heras, Miguel Rebollo, Vicente Julián
Venue: Proceedings of the 3rd international workshop on Hybrid Artificial Intelligence Systems (2008)

Social networks and recommender systems that advise items between their members have spread across the Internet. These recommenders must take into account the distributed and dynamic nature of the knowledge shared in social networks. Opinions and preferences can change and thus, allowing agents to argue about recommendations could improve their quality. This paper proposes the use of dialogue games as mechanism for modelling the dialogue between users that share their recommendations in a social network. The paper specifies the interaction protocol, defines some metrics to evaluate recommendations and finally, offers a brief discussion about decision policies.
Security Analysis of Temporal-RBAC Using Timed Automata
Authors: Samrat Mondal, Shamik Sural
Venue: Proceedings of the 2008 The Fourth International Conference on Information Assurance and Security (2008)

Role Based Access Control (RBAC) is arguably the most common access control mechanism today due to its applicability at various levels of authorization in a system. Time varying nature of access control in RBAC administered systems is often implemented through Temporal-RBAC - an extension of RBAC in the temporal domain. In this paper, we propose an initial approach towards verification of security properties of a Temporal-RBAC system. Each role is mapped to a timed automaton. A controller automaton is used to activate and deactivate various roles. Security properties are specified using Computation Tree Logic (CTL) and are verified with the help of a model checking tool named Uppaal. We have specifically considered reachability, safety and liveness properties to show the usefulness of our approach.
Hybrid Functional Interpretations
Authors: Mircea-Dan Hernest, Paulo Oliva
Venue: Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms (2008)

We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and Gödel's Dialectica is presented, and several small applications are given. We also discuss how the hybrid interpretation relates to variants of Dialectica and modified realizability with non-computational quantifiers.
Plenary lecture II: sound quality
Authors: Malcolm J. Crocker
Venue: Proceedings of the 9th WSEAS International Conference on Acoustics & Music: Theory & Applications (2008)

Throughout the twentieth century, engineers have used increasingly sophisticated experimental and theoretical approaches to reduce the noise of machines, vehicles, aircraft, etc. Since the mid-1980s it has become apparent to manufacturers that it is insufficient simply to reduce overall noise levels. In most cases the noise of vehicles, appliances, etc, has been sufficiently suppressed that it no longer poses a hearing loss hazard after extended exposure, or interferes with speech, sleep and other activities of occupants. Other properties of the noise, in addition to its overall sound pressure level, such as loudness, frequency content, tonal components, impulsiveness, and level fluctuations may determine whether the quality of the noise is acceptable or not in particular circumstances. Product sound quality studies have been made on household appliances, air-conditioning systems, high speed trains, etc., although most attention has been paid to interior vehicle noise. This paper reviews the main properties of sound that are important in sound quality determination and includes some of the author's own experimental evaluations of the sound quality of four automobiles.
A Telematics Service System Based on the Linux Cluster
Authors: Junghoon Lee, Gyung-Leen Park, Hanil Kim, Young-Kyu Yang, Pankoo Kim, Sang-Wook Kim
Venue: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007 (2007)

This paper designs and implements a taxi telematics service system, aiming at providing an efficient framework by means of a Linux cluster to host emerging telematics services that need intensive computing. Combined with global positioning system and radio communication technology, the taxi telematics service system traces the position of taxis, finds a time saving route between start and destination points, dispatches the nearest taxi to the service call point based on the latest traffic information, and finally decides an efficient route for multiple destinations. The performance measurement result demonstrates that the implemented system can process up to 200 map matches for every minute, keeping average response time for other requests below 1.5 seconds.
Robust and Efficient Field Features Detection for Localization
Authors: D. Herrero-Pérez, H. Martínez-Barberá
Venue: RoboCup 2006: Robot Soccer World Cup X (2006)

In some Robocup leagues, specially in the four-legged league, robots make use of coloured landmarks for localisation. Because these landmarks have no correlation with real soccer, it seems a natural approach to remove them. But for this to be a reality, there are some difficulties that need to be solved, mainly an efficient and robust field features detection and an efficient localisation technique to manage such type of information. In this paper we deal with an approach for field features detection based on finding intersections between field lines which runs at frame rate in the AIBO robots. We also present some experimental results of the vision system and a comparison of the traditional coloured landmark localisation and the field features only localisation, both using a fuzzy-Markov localisation technique.
Visual Attention in Open Learner Model Presentations: An Eye-Tracking Investigation
Authors: Susan Bull, Neil Cooke, Andrew Mabbott
Venue: Proceedings of the 11th international conference on User Modeling (2007)

Using an eye-tracker, this paper investigates the information that learners visually attend to in their open learner model, and the degree to which this is related to the method of displaying the model to the learner. Participants were fourteen final year undergraduate students using six views of their learner model data. Results suggest some views of the learner model information may be more likely to encourage learners to inspect information about their level of knowledge, whereas in other views attention is directed more towards scanning the view, resulting in a lower proportion of time focussed on knowledge-related data. In some views there was a difference according to whether the learner model view was one of the participants' preferred formats for accessing their learner model information, while in other views there was little difference. This has implications for the design of open learner model views in systems opening the learner model to the learner for different purposes.
GOAL Agents Instantiate Intention Logic
Authors: Koen Hindriks, Wiebe Hoek
Venue: Proceedings of the 11th European conference on Logics in Artificial Intelligence (2008)

It is commonly believed there is a big gap between agent logics and computational agent frameworks. In this paper, we show that this gap is not as big as believed by showing that GOAL agents instantiate Intention Logic of Cohen and Levesque. That is, we show that GOAL agent programs can be formally related to Intention Logic. We do so by proving that the GOAL Verification Logic can be embedded into Intention Logic. It follows that (a fragment of) Intention Logic can be used to prove properties of GOAL agents. The work reported is an important step towards the application of standard tools from modal logic for e.g. model checking agent programs. Our results also prove useful for extending the expressiveness of the GOAL agent language. This is illustrated by incorporating temporally extended goals into GOAL agents.
Model Checking: From Tools to Theory
Authors: Rajeev Alur
Venue: 25 Years of Model Checking: History, Achievements, Perspectives (2008)

Model checking is often cited as a success story for transitioning and engineering ideas rooted in logics and automata to practice. In this paper, we discuss how the efforts aimed at improving the scope and effectiveness of model checking tools have revived the study of logics and automata leading to unexpected theoretical advances whose impact is not limited to model checking. In particular, we describe how our efforts to add context-free specifications to software model checking led us to the model of nested words as a representation of data with both a linear ordering and a hierarchically nested matching of items. Such dual structure occurs in diverse corners of computer science ranging from executions of structured programs where there is a well-nested matching of entries to and exits from functions and procedures, to XML documents with the hierarchical structure specified by start-tags matched with end-tags. Finite-state acceptors of nested words define the class of regular languages of nested words that has all the appealing theoretical properties that the class of regular word languages enjoys. We review the emerging theory of nested words, its extension to nested trees, and its potential applications.
Development of online experiments for a mobile robot via internet
Authors: Dorin Popescu, Dan Selisteanu, Ionut Dinulescu, Daniela Lazar
Venue: Proceedings of the 9th WSEAS International Conference on International Conference on Automation and Information (2008)

This paper presents the work for the development of a didactic mobile robot for use via Internet. It was developed a client-server application. A range of remote experiments with a mobile robot with particular emphasis on motor control, obstacle avoidance and PID control can be done by the users. The users learn the microcontroller programming, sensors use, path planning, trajectory following. The idea is for the users to be able to perform real experiments, in real time, on real equipment, but over the Internet. The remote user is connected by Internet to a dedicated computer used for controlling and monitoring the mobile robot. The user can see through a web camera the mobile robot.
Machine tool positioning error compensation using artificial neural networks
Authors: John M. Fines, Arvin Agah
Venue: Engineering Applications of Artificial Intelligence (2008)

This paper is a study of the application of artificial neural networks to the problem of calculating error compensation values for axis positioning on a machine tool. The primary focus is on the development of a neural network-based system that could be implemented and integrated into the open architecture control system of an actual machine. A number of neural network architectures were examined for applicability to the problem and one was selected and implemented on the actual machine. Positioning error compensation capabilities were evaluated using industry standard equipment and procedures, and the results obtained were compared with the capabilities of standard error compensation routines in machine tool controls.
Using Optimally Selected Drill Practice to Train Basic Facts
Authors: Philip Pavlik,  Jr., Thomas Bolster, Sue-Mei Wu, Ken Koedinger, Brian Macwhinney
Venue: Proceedings of the 9th international conference on Intelligent Tutoring Systems (2008)

How to best sequence instruction in a collection of basic facts is a problem often faced by intelligent tutoring systems. To solve this problem, the following work details two tests of a system to provide drill practice (test trials with feedback) for foreign language vocabulary learning using a practice schedule determined to be optimal according to a cognitive model. In the first test, students chose between an optimized version and a version that merely cycled the vocabulary items. Examination of the time on task data revealed a preference for practice based on the decisions of the cognitive model. In the second test, the system was used to train the component parts of Chinese characters and measure the transfer of knowledge to subsequent learning of Chinese characters. Chinese character learning was improved for students with the relevant optimized training.
Classification Model for Estimation of Risk Factors in Cardiological Diagnostics
Authors: Plamena Andreeva
Venue: Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications (2008)

The proposed classification model for risk factor estimation makes semi-automatic data analysis based on advanced machine-learning methods. The objective is to provide intelligent computer-based support for medical diagnostics. The developed fuzzy boundary classification determines risk factors importance and adjusts the threshold. Experimental results are presented.
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
Authors: Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
Venue: IEEE Transactions on Software Engineering (2008)

We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. State-space exploration is the essence of model checking and an increasingly popular approach for automating test generation. A key issue in exploration of object-oriented programs is handling the program state, in particular the heap. We exploit the fact that many execution paths in state-space exploration partially overlap. Delta Execution simultaneously operates on several states/heaps and shares the common parts across the executions, separately executing only the "deltas" where the executions differ. We implemented Delta Execution in two model checkers: JPF, a popular general-purpose model checker for Java programs, and BOX, a specialized model checker that we developed for efficient exploration of sequential Java programs. The results for bounded-exhaustive exploration of ten basic subject programs and one larger case study show that Delta Execution reduces exploration time from 1.06x to 126.80x (with median 5.60x) in JPF and from 0.58x to 4.16x (with median 2.23x) in BOX. The results for a non-exhaustive exploration in JPF show that Delta Execution reduces exploration time from 0.92x to 6.28x (with median 4.52x).
Seamless Test of Digital Components in Mixed-Signal Paths
Authors: Sule Ozev, Ismet Bayraktaroglu, Alex Orailoglu
Venue: IEEE Design Test (2004)

For today's large, mixed-signal designs, test generation requires propagating signals through digital and analog modules. This article offers an innovative seamless approach that defines a digital test methodology for digital modules wherein the test inputs and responses can be propagated through a path containing analog signals.
A Virtual Reality Simulator Based on Haptic Hard Constraints
Authors: Julien Castet, Jean-Loup Florens
Venue: Proceedings of the 6th international conference on Haptics: Perception, Devices and Scenarios (2008)

This paper presents a real-time physically based platform for multi-sensory interactive simulation. It is centred on high quality dynamic requirements driven by the concept of instrumental interaction and is able to render a wide variety of physical phenomena : from very rigid interactions to large and complex phenomena such pastes or plastic soils. The platform consists in a precisely synchronized multiprocessor architecture extended with a DSP board used for the simulation of very reactive models. It aims for obtain simulation rate necessary for rigid object (1KHz and more) in the context of 6 Degree of Freedom.
Training neural networks for classification using growth probability-based evolution
Authors: J. H. Ang, K. C. Tan, A. Al-Mamun
Venue: Neurocomputing (2008)

In this paper, a novel evolutionary algorithm (EA) based on a newly formulated parameter, i.e., growth probability (P"g) is used to evolve the near optimal weights and the number of hidden neurons in neural networks (NNs). Training NNs with growth probability based evolution (NN-GP) initializes networks with only one hidden neuron and the networks are allowed to grow until a suitable size. Growing of neurons is not restricted to one hidden neuron at a time as the optimal number of hidden neurons for the NNs might be a few neurons more than what it represents now. If this solution in the search space is far, networks have to add several number of hidden neurons. Growth rate is based on Gaussian distribution thus providing a way to escape local optima. A self-adaptive version (NN-SAGP) with the aim of evolving the growth probability in parallel with NNs during each generation is also proposed. The evolved networks are applied to widely used real-world benchmark problems. Simulation results show that the proposed approach is effective for evolving NNs with good classification accuracy and low complexity.
A conceptual model for the production and transport planning process: An application to the automobile sector
Authors: Jorge E. Hernández, Josefa Mula, Francisco J. Ferriols, Raul Poler
Venue: Computers in Industry (2008)

This paper provides a conceptual foundation for understanding the production and transport planning process in the automobile sector context. To achieve this, a reference conceptual modelling methodology has been applied. Firstly, the main concepts related to the conceptual models are addressed. Then, a methodology for the identification and analysis of the inputs, outputs, processes and sub-processes of production and transport planning processes is used. Finally, a conceptual model that describes the main flows - products, information and decisions related to the production and transport planning process - in the automobile sector is developed.
Towards a Semantic-Rich Collaborative Environment for Learning Software Patterns
Authors: Zoran Jeremić, Jelena Jovanović, Dragan Gašević
Venue: Proceedings of the 3rd European conference on Technology Enhanced Learning: Times of Convergence: Technologies Across Learning Contexts (2008)

Current approaches to learning software patterns are based on individual use of different learning systems and tools. With this `fragmented' approach it is very hard to provide support for context-aware learning and offer personalized learning experience to students. In this paper, we propose a new approach to learning software patterns that integrates existing Learning Management Systems, domain specific tools for software modeling and relevant online repositories of software patterns into a complex learning framework that supports collaborative learning. This framework is based on the semantic web technologies.
Supporting multimedia streaming among mobile ad-hoc peers with link availability prediction
Authors: Roger Zimmermann
Venue:  (2007)

Numerous types of handheld devices are becoming popular with end users, who increasingly use them to carry multimedia content on the go. As wireless connectivity is integrated into these devices, streaming multimedia content among mobile ad-hoc peers is becoming a popular application. One of the most important challenges in streaming multimedia content among mobile ad-hoc peers is to deliver the content, usually large in size, over a dynamic peer-to-peer based network where link availability is constantly changing. Hence, an accurate prediction of future link condition is very important and allows, for example, the selection of the most stable link when a multimedia object is available from multiple peers. However, existing techniques often simplify the problem by calculating average link durations, fixing node locations or assuming a constant wireless bandwidth. Additionally, they often do not utilize the current node information in predicting future link status. To help improve mobile streaming applications, a mathematical model for predicting future link status between two mobile ad-hoc peers is presented. This model comprises of two parts, a continuous link availability model and a simple link quality model. The link availability model applies a novel iterative algorithm to predict the distribution of link durations, which is of crucial importance to streaming applications. The link quality model works with the IEEE 802.11 auto-rate fallback scheme, which reflects the wireless bandwidth variations in an open environment. By combining these two models, a recursive algorithm is presented to calculate the probability to stream a multimedia object between two mobile ad-hoc peers. Simulation results show that this algorithm can accurately model the robustness of a mobile streaming process. The proposed mathematical model identifies various possible improvements for future mobile streaming applications. To demonstrate its usefulness, a new streaming strategy based on the Scalable Video Coding (SVC) scheme is introduced. This strategy can improve video content delivery between mobile ad-hoc peers by adaptively selecting the number of enhancement layers to be streamed. Simulation results show that this strategy can greatly enhance the probability to stream a video sequence while keeping the video quality high.
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates
Authors: Yoshiyuki Tsuchie, Toshimitsu Ushio
Venue: Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control (2008)

We consider a hybrid system controlled by a sampled-data controller whose action is periodically time-driven, that is, the control inputs can change only at the particular time instants. We introduce a transition system as semantics of the controlled hybrid system and consider a control specification given by a predicate. First, we derive a necessary and sufficient condition for the predicate to be control-invariant and show that there always exists the supremal control-invariant subpredicate for any predicate. Finally, we propose a procedure to compute it.
Goal-Oriented Setup and Usage of Custom-Tailored Software Cockpits
Authors: Jens Heidrich, Jürgen Münch
Venue: Proceedings of the 9th international conference on Product-Focused Software Process Improvement (2008)

Software Cockpits, also known as Software Project Control Centers, support the management and controlling of software and system development projects and provide means for quantitative measurement-based project control. Currently, many companies are developing simple control dashboards that are mainly based on Spreadsheet applications. Alternatively, they use solutions providing a fixed set of project control functionality that cannot be sufficiently customized to their specific needs and goals. Specula is a systematic approach for defining reusable, customizable control components and instantiate them according to different organizational goals and characteristics based on the Quality Improvement Paradigm (QIP) and GQM. This article gives an overview of the Specula approach, including the basic conceptual model, goal-oriented measurement, and the composition of control components based on explicitly stated measurement goals. Related approaches are discussed and the use of Specula as part of industrial case studies is described.