ppxscal/embedding_network huggingface dataset:
Blowing up behavior for a class of nonlinear VIEs connected with parabolic PDEs
Authors: F. Calabrò, G. Capobianco
Venue: Journal of Computational and Applied Mathematics (2009)

We study the blowing-up behavior of solutions of a class of nonlinear integral equations of Volterra type that is connected with parabolic partial differential equations with concentrated nonlinearities. We present some analytic results and, in the case of the kernel of Abel-kind with power nonlinearity and fixed initial data, we give a numerical approximation by using one-point collocation methods. By means of the numerical simulations, we give the dependence of the blow-up time from the parameters of the equation.
A Framework for Mining Fuzzy Association Rules from Composite Items
Authors: Maybin Muyeba, M. Sulaiman Khan, Frans Coenen
Venue: New Frontiers in Applied Data Mining: PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008. Revised Selected Papers (2009)

A novel framework is described for mining fuzzy Association Rules (ARs) relating the properties of composite attributes, i.e. attributes or items that each feature a number of values derived from a common schema. To apply fuzzy Association Rule Mining (ARM) we partition the property values into fuzzy property sets. This paper describes: (i) the process of deriving the fuzzy sets (Composite Fuzzy ARM or CFARM) and (ii) a unique property ARM algorithm founded on the correlation factor interestingness measure. The paper includes a complete analysis, demonstrating: (i) the potential of fuzzy property ARs, and (ii) that a more succinct set of property ARs (than that generated using a non-fuzzy method) can be produced using the proposed approach.
How people talk when teaching a robot
Authors: Elizabeth S. Kim, Dan Leyzberg, Katherine M. Tsui, Brian Scassellati
Venue: Proceedings of the 4th ACM/IEEE international conference on Human robot interaction (2009)

We examine affective vocalizations provided by human teachers to robotic learners. In unscripted one-on-one interactions, participants provided vocal input to a robotic dinosaur as the robot selected toy buildings to knock down. We find that (1) people vary their vocal input depending on the learner's performance history, (2) people do not wait until a robotic learner completes an action before they provide input and (3) people naively and spontaneously use intensely affective prosody. Our findings suggest modifications may be needed to traditional machine learning models to better fit observed human tendencies. Our observations of human behavior contradict the popular assumptions made by machine learning algorithms (in particular, reinforcement learning) that the reward function is stationary and path-independent for social learning interactions. We also propose an interaction taxonomy that describes three phases of a human-teacher's vocalizations: direction, spoken before an action is taken; guidance, spoken as the learner communicates an intended action; and feedback, spoken in response to a completed action.
Lateral control for an aircraft of folding wing
Authors: Zheng Jie Wang, Wei Li, Shijun Guo
Venue: Proceedings of the 8th conference on Simulation, modelling and optimization (2008)

This paper presents the design of a lateral control system for a loitering aircraft of aileron-less folding wing. The controller design was focused on bank-to-turn by differential movement of elevators and skid-to-turn by rudder deflection. A nonlinear model of the aircraft was established, and then linearized by small disturbance method. The LQR state feedback control method was used to design the rate damping and stabilizing loop in order to achieve desirable dynamic characteristics. The flight path track loop was designed based on the self-organizing fuzzy control algorithm for the aircraft to fly in a desired path. Two types of course control plan depending upon the structure traits of the aircraft were investigated and verified. The results show that the control plans are feasible and the control system is adequately robust to meet the requirements of the course control.
Cooperative Intrusion Detection in Wireless Sensor Networks
Authors: Ioannis Krontiris, Zinaida Benenson, Thanassis Giannetsos, Felix C. Freiling, Tassos Dimitriou
Venue: Proceedings of the 6th European Conference on Wireless Sensor Networks (2009)

We consider the problem of cooperative intrusion detection in wireless sensor networks where the nodes are equipped with local detector modules and have to identify the intruder in a distributed fashion. The detector modules issue suspicions about an intrusion in the sensor's neighborhood. We formally define the problem of intrusion detection and identify necessary and sufficient conditions for its solvability. Based on these conditions we develop a generic algorithm for intrusion detection and present simulations and experiments which show the effectiveness of our approach.
SPARCL: Efficient and Effective Shape-Based Clustering
Authors: Vineet Chaoji, Mohammad Al Hasan, Saeed Salem, Mohammed J. Zaki
Venue: Proceedings of the 2008 Eighth IEEE International Conference on Data Mining (2008)

Clustering is one of the fundamental data mining tasks. Many different clustering paradigms have been developed over the years, which include partitional, hierarchical, mixture model based, density-based, spectral, subspace, and so on. The focus of this paper is on full-dimensional, arbitrary shaped clusters. Existing methods for this problem suffer either in terms of the memory or time complexity (quadratic or even cubic). This shortcoming has restricted these algorithms to datasets of moderate sizes. In this paper we propose SPARCL, a simple and scalable algorithm for finding clusters with arbitrary shapes and sizes, and it has linear space and time complexity. SPARCL consists of two stages -- the first stage runs a carefully initialized version of the Kmeans algorithm to generate many small seed clusters. The second stage iteratively merges the generated clusters to obtain the final shape-based clusters. Experiments were conducted on a variety of datasets to highlight the effectiveness, efficiency, and scalability of our approach. On the large datasets SPARCL is an order of magnitude faster than the best existing approaches.
Evaluating the interoperability of document formats: ODF and OOXML as examples
Authors: Rajiv Shah, Jay Kesan
Venue: Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance (2008)

This project assesses the current state of interoperability among different software implementations of the document formats OpenDocument Format (ODF) and Office Open XML (OOXML). Numerous governments are considering mandating either or both formats for their electronic documents. For ODF, the dominant implementation is OpenOffice.org and for OOXML, the dominant implementation is Microsoft Office. This research scores the performance of other alternative implementations for ODF and OOXML. The goal is to assess the current state of interoperability for document formats. The results show that there are no alternative implementations, for either ODF or OOXML, that offer 100% compatibility with the dominant implementations. The results are troubling and suggest the need for improved interoperability testing. Without such testing, governments will be locked-in into the dominant implementations for either standard.
A workflow to facilitate three-dimensional geometrical modelling of complex poly-deformed geological units
Authors: Michael Maxelon, Philippe Renard, Gabriel Courrioux, Martin Brändli, Neil Mancktelow
Venue: Computers Geosciences (2009)

The three-dimensional (3D) geometry of complexly deformed regions is often beyond the scope of simple 2D and 2.5D representation in cross-sections and block diagrams. Methods must be developed for fully three-dimensional representation. A workflow for such three-dimensional modelling of structurally complex areas is presented. Data requirements are tailored to typical results of structural field work in strongly deformed rocks from mid-crustal levels. The workflow is based on data evaluation and data export using standard geographical information system and database management systems. Three-dimensional modelling in polyphase deformed areas is highly dependent on the correct interpretation of variations in the orientation of the dominant planar fabrics. The computer-aided earth-modelling software 3D GeoModeller is well adapted for managing this problem. It calculates the geometry of geological interfaces taking into account simultaneously the foliation data and location of lithological contacts. The workflow is based on iterative model refinement based on interactive editing of the geometry in section and map views with data assessment and pre-processing using GIS software. This approach assures internal consistency of the resulting three-dimensional models. Modelling of the Lower Lepontine Nappes in the Central Alps is used as an illustrative example from a complexly deformed terrain.
Formulating the multi-segment goal programming
Authors: Chin-Nung Liao
Venue: Computers and Industrial Engineering (2009)

Goal programming (GP) is an important analytical approach devised to solve many real-word problems. However, the condition of multi-segment aspiration levels (MSAL) may exist in many marketing or decision management problems. The problem cannot be solved by current GP techniques. In order to improve the effective of GP and solve the multi-segment goal programming (MSGP) problem, this paper provides a new idea for programming the MSAL problem from multi-aspiration contribution levels viewpoint. This significantly improved the utility of GP in real application; in addition, two illustrative examples are included to demonstrate the solution procedure of the proposed model.
Online Market Coordination
Authors: Masabumi Furuhata, Dongmo Zhang, Laurent Perrussel
Venue: Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems (2008)

The aim of this paper is to deal with the problem of coordination for online markets where a seller registers to an online market to sell an item. The seller and the owner of the market then form an alliance to generate revenue through online sales. However, the efficiency and stability of the alliance highly relies on the contract that specifies the way to split the revenue and costs over the alliane members. We consider some typical contracts and examine their influences on the behavior of the alliance. We introduce the key concept of alliance coordinattion which characterizes the efficiency and stability of an online market.
Design of Intrusion Detection System Based on a New Pattern Matching Algorithm
Authors: Hu Zhang
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 01 (2009)

Intrusion detection technology can help the system to deal with network attacks, extend the security management ability of the system manager and increase the integrality of information security foundation structure. Pattern matching algorithm is the core algorithm of intrusion detection system based on feature matching as well as an algorithm which is universally used in current intrusion detection equipment. A design scheme of intrusion detection system based on pattern matching algorithm is proposed in this paper. Meanwhile, aiming at several key modules of intrusion detection system, a detailed analysis of data acquisition module, protocol processing module, feature matching module, log record module and intrusion response module is also given in this paper.
Seamless Handoff Support for Real-Time Multimedia Applications in Nested Mobile Networks
Authors: Ing-Chau Chang, Chia-Hao Chou
Venue: Proceedings of the 9th Pacific Rim Conference on Multimedia: Advances in Multimedia Information Processing (2008)

In this paper, we extend our Hierarchical Care-of Prefix with the binding update tree, i.e., HCoP-B, to support route optimization and seamless handoff for real-time multimedia applications in the nested mobile network simultaneously, which is rare in the literature. As compared to the traditional ROTIO scheme with mathematical analyses and simulations, HCoP-B achieves shorter playback disruption time and buffering time for on-going real-time multimedia applications whenever the mobile subnet in the old nested mobile network hands over to a new one.
On the one-commodity pickup-and-delivery traveling salesman problem with stochastic demands
Authors: Fran&#x00e7;ois Louveaux, Juan-Jos&#x00e9; Salazar-Gonz&#x00e1;lez
Venue: Mathematical Programming: Series A and B (2009)

This paper studies how to set the vehicle capacity for traveling Salesman Problems where some of the customer demands are stochastic. The analyses are done for the one-commodity pickup-and-delivery TSP, as this problem also includes the setting of the initial load. The paper first considers feasibility issues. This includes finding the smallest vehicle capacity and some initial load such that a given tour is feasible for all scenarios. Different variants are considered as a function of the time when information becomes available. The paper then analyzes the case where some penalties are paid for routing a tour unable to handle customer demands. Various types of penalties are considered. The paper studies properties of the minimal expected penalty of a given tour, which are then used to provide approaches to find near-optimal tours. Computational results are presented.
Tests for Gaussian graphical models
Authors: N. Verzelen, F. Villers
Venue: Computational Statistics Data Analysis (2009)

Gaussian graphical models are promising tools for analysing genetic networks. In many applications, biologists have some knowledge of the genetic network and may want to assess the quality of their model using gene expression data. This is why one introduces a novel procedure for testing the neighborhoods of a Gaussian graphical model. It is based on the connection between the local Markov property and conditional regression of a Gaussian random variable. Adapting recent results on tests for high-dimensional Gaussian linear models, one proves that the testing procedure inherits appealing theoretical properties. Besides, it applies and is computationally feasible in a high-dimensional setting: the number of nodes may be much larger than the number of observations. A large part of the study is devoted to illustrating and discussing applications to simulated data and to biological data.
Comparative study of image segmentation algorithms
Authors: I. V. Gribkov, P. P. Koltsov, N. V. Kotovich, A. A. Kravchenko, A. S. Koutsaev, A. S. Osipov, A. V. Zakharov
Venue: Proceedings of the 8th conference on Signal, Speech and image processing (2008)

A considerable amount of image segmentation methods gives rise to the problem of method's choice, most adequate for practical purposes. In this paper we study some properties of four digital image segmentation methods with the aid of our PICASSO (PICture Algorithms Study Software, [1]-[3]) program system. PICASSO's datasase accumulates artificial image samples both typical for the real images and difficult for prosessing by image processing methods. Like in the PICASSO general approach, the comparative study of operating quality of segmentation methods is fulfiled using artificial test images with known true segmentation. The description of test images and testing procedures are given. Our approach allows to clear up specific features and applicability limits of the segmentation methods under examination.
ExpECT: an expanded error categorisation method for text input
Authors: Akiyo Kano, Janet C. Read, Alan Dix, I. Scott MacKenzie
Venue: Proceedings of the 21st British CHI Group Annual Conference on HCI 2007: People and Computers XXI: HCI...but not as we know it - Volume 1 (2007)

This paper describes an empirical study on typing errors made by children during a text copy exercise. The literature on text input errors is first examined, focussing on studies of errors that occur during keyboard typing. A study of errors made by children during typing is described and the results from this study are analysed using visual inspection and already published error categorisation methods. These methods are compared with respect to the types and number of errors categorised and uncategorised. We identify and define new kinds of typing errors and use these, together with previously defined error types, to outline an expanded and more detailed method (ExpECT) for the classification of typing errors. ExpECT is compared with the previously examined categorisation methods and is shown to be a more thorough and broader method for the analysis of typing errors.
Noise minimization during power-up stage for a multi-domain power network
Authors: Wanping Zhang, Yi Zhu, Wenjian Yu, Amirali Shayan, Renshen Wang, Zhi Zhu, Chung-Kuan Cheng
Venue: Proceedings of the 2009 Asia and South Pacific Design Automation Conference (2009)

With the popularity of Multiple Power Domain (MPD) design, the multi-domain power network noise analysis and minimization is becoming important. This paper describes an efficient heuristic algorithm to arrange the power-up sequence in a multi-domain power network in order to minimize the noise. We present a formulation of this problem and show it is NP-complete. Therefore, we propose a simulated annealing (SA) based algorithm with preprocessing. Experimental results show that the proposed algorithm can minimize the noise close to the minimal values. In terms of efficiency, the SA algorithm is more than hundreds of times faster than the enumerating method and the running time scales well for these cases with the number of domains. In addition, we discuss the trade off between power-up efficiency and noise.
The Effects of the Gesture Viewpoint on the Students' Memory of Words and Stories
Authors: Giorgio Merola
Venue: Gesture-Based Human-Computer Interaction and Simulation: 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers (2009)

The goal of this work is to estimate the effects of teacher's iconic gestures on the students' memory of words and short stories. Indeed, some evidence seems to confirm the possibility that iconics help the listener, but it is unclear what are the elements that make gestures more or less useful. According to McNeill's observation that children produce many more Character Viewpoint gestures than Observer Viewpoint ones, we hypothesize that they also understand and remember better words accompanied by these gestures. The results of two experimental studies showed that iconic gestures helped students to remember words and tales better and that younger students performed better in memory tasks when their teacher used Character Viewpoint gestures.
Progressive Parametric Query Optimization
Authors: Pedro Bizarro, Nicolas Bruno, David J. DeWitt
Venue: IEEE Transactions on Knowledge and Data Engineering (2009)

Commercial applications usually rely on pre-compiled parameterized procedures to interact with a database. Unfortunately, executing a procedure with a set of parameters different from those used at compilation time may be arbitrarily sub-optimal. Parametric query optimization (PQO) attempts to solve this problem by exhaustively determining the optimal plans at each point of the parameter space at compile time. However, PQO is likely not cost-effective if the query is executed infrequently or if it is executed with values only within a subset of the parameter space. In this paper we propose instead to progressively explore the parameter space and build a parametric plan during several executions of the same query. We introduce algorithms that, as parametric plans are populated, are able to frequently bypass the optimizer but still execute optimal or near-optimal plans.
Analysis of a least-squares finite element method for the thin plate problem
Authors: Huo-yuan Duan, Shao-qin Gao, Bo-nan Jiang, Roger C. E. Tan
Venue: Applied Numerical Mathematics (2009)

A new least-squares finite element method is analyzed for the thin plate problem subject to various boundary conditions (clamped, simply supported and free). The unknown variables are deflection, slope, moment and shear force. The coercivity property is established. As a result, all variables can be approximated by any conforming finite elements. In particular, an H^1-ellipticity is proven for the free thin plate. This indicates that optimal error bounds hold for all variables with the use of equal-order continuous elements. Numerical experiments are performed to confirm the theoretical results obtained.
Evaluation models for choosing insurance policy using neural networks
Authors: Chin-Sheng Huang, Yu-Ju Lin, Che-Chern Lin
Venue: Proceedings of the 12th WSEAS international conference on Computers (2008)

In this paper, we use feed forward neural networks with the back-propagation algorithm to build decision models for five insurances including life, annuity, health, accident, and investment-oriented insurances. Six features were selected for the inputs of the neural networks including age, sex, annual income, educational level, occupation, and risk preference. Three hundred insurants from an insurance company in Taiwan were used as examples for establishing the decision models. There experiments were conducted in this study. The first one considered the five insurances as a whole and established a single neural network integrating all of the five insurances in its structure. The second one built five individual neural networks independently for the five insurances, respectively. The first two experiments used the purchase records of primary and additional insurances as experimental data. The last experiment only used the data of primary insurances. We showed the experimental results and discussed problematic issues on the experiments. Based on the experimental results, the suggestions for build classifiers for insurance purchase are drawn as follows: (1) using five independent neural networks to classify the five insurances independently is better than using one single neural network to classify the five insurances simultaneously; (2) using the data of primary insurances purchases is better than using the data of primary and additional insurance purchases. Finally, the possible directions for future studies are provided at the end of this paper.
Hybrid fuzzy LFC design by GA in a deregulated power system
Authors: Hossein Shayeghi, Aref Jalil
Venue: Proceedings of the 6th conference on Applications of electrical engineering (2007)

A new Hybrid Fuzzy (HF) PID type controller based on Genetic Algorithms (GAs) is proposed for solution of the Load frequency Control (LFC) problem in a deregulated power system. In order for a fuzzy rule based control system to perform well, the fuzzy sets must be carefully designed. A major problem plaguing the effective use of this method is the difficulty of accurately constructing the membership functions. On the other hand, GAs is a technique that emulates biological evolutionary theories to solve complex optimization problems by using directed random searches to derive a set of optimal solutions. For this reason, in the proposed GA based HF (GAHF) controller the membership functions are tuned automatically using a modified GA's based on the hill climbing method. The aim is to reduce fuzzy system effort and take large parametric uncertainties into account. This newly developed control strategy combines the advantages of GAs and fuzzy system control techniques and leads to a flexible controller with simple stricture that is easy to implement. The proposed method is tested on a three-area deregulated power system under different operating conditions in comparison with the robust mixed H2/H∞ controller through some performance indices to illustrate its robust performance.