ppxscal/embedding_network huggingface dataset:
An application of single-term Haar wavelet series in the solution of nonlinear oscillator equations
Authors: N. M. Bujurke, S. C. Shiralashetti, C. S. Salimath
Venue: Journal of Computational and Applied Mathematics (2009)

In this paper, a novel single-term Haar wavelet series (STHWS) method is implemented for the solution of the Duffing equation and Painleve's transcendents (PI and PII). The results, in the form of a block pulse and a discrete solution, are presented. Unlike classical numerical schemes, the STHWS method has no restrictions on the coefficients of the Duffing equation as regards its solution. PI and PII are analysed as regards their solutions, up to nearest singularities (poles), using the STHWS. Also, an efficient computational implementation shows the remarkable features of wavelet based techniques.
Decompositional Petri Net Reductions
Authors: Astrid Rakow
Venue: Proceedings of the 7th International Conference on Integrated Formal Methods (2009)

As a means to tackle the state explosion problem of model checking 1-safe Petri nets for linear time logic without next-time (LTL$_{\textrm{-\tiny{X}}}$), an approach that combines compositional verification and Petri net reductions is presented. We decompose a Petri net into (i) a so-called kernel net &Sigma; k containing all places mentioned by the LTL$_{\textrm{-\tiny{X}}}$ property &phi; and (ii) environment subnets . These environment nets do not interact with each other and have limited influence on the kernel only. Six distinct and very simple summary nets suffice to describe the influence of any environment net. To determine the appropriate summary net we modularly verify up to three fixed LTL$_{\textrm{-\tiny{X}}}$ formulas on . We reduce &Sigma; by replacing every environment subnet in &Sigma; by its summary net. Instead of checking &phi; on &Sigma;, we check &phi; on the reduced net. Verification of several case-studies shows that our reduction approach can significantly speed-up model checking. 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
Incremental learning of sequence patterns with a modular network model
Authors: Ichiro Igari, Jun Tani
Venue: Neurocomputing (2009)

The relationship between generalization and differentiation fluctuates depending on the ongoing context, which is extracted by the current adaptive capability of the learner. In the present report, we numerically examine the relationship between generalization and differentiation using a novel connectionist model. The simulation results of incremental learning indicate that the newly added sequence modifies the previously learned internal representations in a different manner, depending on the inconsistency with the preceding task. This observation supports our assertion that it is fundamentally important to investigate how the transition dynamics of learning toward a goal affects the finally acquired structure of the learner.
New results on the time complexity and approximation ratio of the Broadcast Incremental Power algorithm
Authors: Joanna Bauer, Dag Haugland, Di Yuan
Venue: Information Processing Letters (2009)

The Broadcast Incremental Power (BIP) algorithm is the most frequently cited method for the minimum energy broadcast routing problem. A recent survey concluded that BIP has O(|V|^3) time complexity, and that its approximation ratio is at least 4.33. We strengthen these results to O(|V|^2) and 4.598, respectively.
Bengali Named Entity Recognition Using Classifier Combination
Authors: Asif Ekbal, Sivaji Bandyopadhyay
Venue: Proceedings of the 2009 Seventh International Conference on Advances in Pattern Recognition (2009)

This paper reports about the development of a Named Entity Recognition (NER) system for Bengali by combining the outputs of the classifiers like Maximum Entropy (ME), Conditional Random Field (CRF) and Support Vector Machine(SVM) using a majority voting approach. The training set consists of approximately 150K word forms and has been manually annotated with the four major NE tags such as Person name, Location name, Organization name and Miscellaneous name tags. Lexical context patterns, generated from an unlabeled corpus of 3 million word forms, have been used in order to improve the performance of the classifiers.Evaluation results of the voted system for the gold standard test set of 30K word forms have demonstrated the overall recall, precision, and f-Score values of 87.11%, 83.61%, and 85.32%, respectively, which shows an improvement of 4.66%in f-Score over the best performing SVM based system and an improvement of 9.5% in f-score over the least performing ME based system.
Transmission Power Control Game with SINR as Objective Function
Authors: Eitan Altman, Konstantin Avrachenkov, Andrey Garnaev
Venue: Network Control and Optimization: Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers (2009)

We consider the transmission power control problem with SINR as objective function in the two scenarii: selfish and cooperative. We show that in the selfish (non-cooperative) scenario several Nash equilibria can arise. In particular, the game can take the form of the Hawk-Dove game, where the users can choose either conciliation or conflict fighting for shared sub-carriers. We fully characterize different types of Nash equilibria. In the cooperative scenario, we show that the parameter area where users employ pure strategies is essentially narrower than the area where users employ mixed strategies. Moreover, we identify an area where Nash equilibrium and Pareto equilibrium coincide. If one of the users has a large power resource (called a stronger user) for both scenarii and his rival has small power resource (weaker user) then the behaviour of the stronger user drastically changes in cooperative scenario compared to the selfish one. Namely, in the selfish scenario the stronger user squeezes the weaker one from the best channel meanwhile in the cooperative scenario he allows the weaker user to employ the best channel and himself applies a mixed strategy.
The Methods of Improving the Manufacturing Resource Planning (MRP II) in ERP
Authors: Wenchao Jiang, Jingti Han
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 01 (2009)

This paper focus on the methods to improve the traditional MRP process according to the requirement of the time base competition. By finding out the defections in the process of traditional MRPⅡ, such as using the fixed lead-time, using the fixed secure stock, and lacking of time management, then we building 5 models and integrating these models into the process of MRPⅡ to make all the parameters which correlate with the environment of the enterprise become dynamic parameters, and make the MRPⅡ obtain the ability of time management.
Determining the Failure Level for Risk Analysis in an e-Commerce Interaction
Authors: Omar Khadeer Hussain, Elizabeth Chang, Farookh Khadeer Hussain, Tharam S. Dillon
Venue: Advances in Web Semantics I: Ontologies, Web Services and Applied Semantic Web (2008)

Before initiating a financial e-commerce interaction over the World Wide Web, the initiating agent would like to analyze the possible Risk in interacting with an agent, to ascertain the level to which it will not achieve its desired outcomes in the interaction. By analyzing the possible risk, the initiating agent can make an informed decision of its future course of action with that agent. To determine the possible risk in an interaction, the initiating agent has to determine the probability of failure and the possible consequences of failure to its resources involved in the interaction. In this chapter as a step towards risk analysis, we propose a methodology by which the initiating agent can determine beforehand the probability of failure in interacting with an agent, to achieve its desired outcomes.
Critical success factors for context-aware mobile communication systems
Authors: Jun Sun, Kai S. Koong, Marshall Scott Poole
Venue: International Journal of Mobile Communications (2009)

Numerous context-aware mobile communication systems have emerged for individuals and groups, calling for the identification of critical success factors related to the design of such systems at different levels. The effective system design cannot be achieved without the understanding of situated user behaviour in using context-aware systems. Drawing on Activity Theory, this article advances cross-level, but coherent conceptualisations of context-awareness as enabled by emerging systems. Grounded in the activities of using context-aware systems, these conceptualisations provide implications for system design at individual and group levels in terms of critical success factors, including contextualisation, interactivity and personalisation.
The educational semantic web
Authors: Dan Chiribuca, Daniel Hunyadi, Emil M. Popa
Venue: Proceedings of the 8th conference on Applied informatics and communications (2008)

The big question for many researchers in the area of educational systems now is what is the next step in the evolution of e-learning? Are we finally moving from a scattered intelligence to a coherent space of collaborative intelligence? How close we are to the vision of the Educational Semantic Web and what do we need to do in order to realize it? Two main challenges can be seen in this direction: on the one hand, to achieve interoperability among various educational systems and on the other hand, to have automated, structured and unified authoring support for their creation. In the spirit of the Semantic Web a key to enabling the interoperability is to capitalize on the semantic conceptualization and ontologies, common standardized communication syntax, and large-scale service-based integration of educational content and functionality provision and usage. A central role in achieving unified authoring support plays the process-awareness of authoring tools, which should reflect the semantic evolution of e-learning systems. The purpose of this paper is to outline the state-of-the-art research along those lines and to suggest a realistic way towards the Educational Semantic Web. With regard to the latter we first propose a modular semantic-driven and service-based interoperability framework, in order to open up, share and reuse educational systems' content and knowledge components. Then we focus on content creation by proposing ontology-driven authoring tools that reflect the modularization in the educational systems, maintain a consistent view on the entire authoring process, and provide wide (semi-) automation of the complex authoring tasks.
Dynamic behavior of a discrete modified Ricker & Beverton-Holt model
Authors: Gui-Quan Sun, Guang Zhang, Zhen Jin
Venue: Computers Mathematics with Applications (2009)

In this paper, a discrete modified Ricker & Beverton-Holt model with two parameters is investigated. The boundedness, the persistence, and the global asymptotic stability are considered. At the same time, in the unstable domain the chaotic behavior will be shown for some particular parameters. Usually, chaos can cause the population to run a higher risk of extinction and make the population become out of control due to the unpredictability. To control the unpredictability, the immigration parameter will be introduced. When the immigration constant is larger than a positive number, chaos will be controlled and the positive equilibrium is stable. Furthermore, the obtained results show that the reproduction rate of adults plays an important role in the process of the population.
Grey Relational Analysis of Operational Performance for Mobile Telecommunications Companies in Taiwan
Authors: Chun-Hsiung Liao, Chun-Wei Chen, Hsiu-Ching Wu, Ming-Hsuan Cheng
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 03 (2009)

This paper uses grey relational analysis technique to study the input-output relationship and to examine financial factors influencing the operational performance of Taiwanese mobile telecommunications companies. This paper demonstrates that both financial and productivity factors should be considered when developing a model to assess operational performance of a company, especially companies operate in an intensified competition market like the one in Taiwan.
The Development of a Web-Based Tool for Compliance with Safe Work Practices; a Case Study about Methicillin-Resistant Staphylococcus aureus
Authors: Fenne Verhoeven, Lisette van Gemert-Pijnen, Ron Hendrix
Venue: Proceedings of the 2009 International Conference on eHealth, Telemedicine, and Social Medicine (2009)

This paper describes the design process of a web-based tool for compliance with safe work practices in cross-border care settings, focusing on infection control of Methicillin-resistant Staphylococcus aureus. The tool should facilitate health care workers (HCWs) with applicable evidence-based guidelines and best-practices that enhance the decision making process and enable them to deliver safe health care. A user-centered design approach was used comprising five different methods: Document analysis; scenario testing; survey; Card Sort Task, and prototyping. The approach provided insights in HCWs' thinking and acting in practice which helped to fully adapt the tool to HCWs' needs. Moreover, it was found that involving HCWs is important to create ownership and to foster the applicability of the tool, even as to ensure that the tool’s content is in accordance with existing guidelines.
Playback delay in mesh-based Peer-to-Peer systems with random packet forwarding and transmission capacity limitations
Authors: Viktoria Fodor, Ilias Chatzidrossos
Venue: International Journal of Internet Protocol Technology (2008)

In meshed-based peer-to-peer streaming systems peers forward packets to their neighbours based on local scheduling decisions. The local decisions affect how packets get distributed in the mesh and consequently the distribution of the transmission delays. We propose an analytic framework that allows the evaluation of various scheduling algorithms. Two solutions are considered where scheduling is performed at the forwarding peer. We evaluate the effectiveness of the solutions in terms of the probability that a peer can play out a packet vs. the playback delay, and the scalability of the solutions with respect to the size of the overlay. Finally we discuss the effects of limited download bandwidth on the data dissemination.
A Method for Visualizing Pedestrian Traffic Flow Using SIFT Feature Point Tracking
Authors: Yuji Tsuduki, Hironobu Fujiyoshi
Venue: Proceedings of the 3rd Pacific Rim Symposium on Advances in Image and Video Technology (2009)

This paper presents a method for visualizing a pedestrian traffic flow using results of feature point tracking. The Kanade-Lucas-Tomasi feature tracker algorithm for point feature tracking is widely used because it is fast; however, it is sometimes fails to accurately track non-rigid objects such as pedestrians. We have developod a method of point feature tracking using a scale invariant feature transform (SIFT). Our approach uses mean-shift searching to track a point based on the information obtained by a SIFT. We augment the mean-shift tracker by using two interleaved mean-shift procedures to track the mode in image and scale spaces, which represents the spatial location and the scale parameter of the keypoint, respectively. Since a SIFT feature is invariant to changes caused by rotation, scaling, and illumination, we can obtain a beter tracking performance than that of a conventional approach. Using the trajectory of the points obtained by our method, it is possible to visualize traffic pedestrian traffic flow using the location and scale obtained by SIFT feature point tracking.
A Dynamic Buffer Management Scheme for End-to-End QoS Enhancement of Multi-flow Services in HSDPA
Authors: Suleiman Y. Yerima, Khalid Al-Begain
Venue: Proceedings of the 2008 The Second International Conference on Next Generation Mobile Applications, Services, and Technologies (2008)

End-user multi-flow services support is a crucial aspect of current and next generation mobile networks. This paper presents a dynamic buffer management strategy for HSDPA end-user multi-flow traffic with aggregated real-time and non-real-time flows. The scheme incorporates dynamic priority switching be-tween the flows for transmission on the HSDPA radio channel. The end-to-end performance of the proposed strategy is investigated with an end-user multi-flow session of simultaneous VoIP and TCP-based downlink traffic using detailed HSDPA system-level simulations. Compared to an equivalent static buffer management scheme, the results show that end-to-end throughput performance gains in the non-real-time flow and better HSDPA channel utilization is attainable without compromising the real-time VoIP flow QoS constraints.
A Time-to-Digital Converter with small circuitry
Authors: Kazuya Shimizu, Masato Kaneta, HaiJun Lin, Haruo Kobayashi, Nobukazu Takai, Masao Hotta
Venue: Proceedings of the 2009 Asia and South Pacific Design Automation Conference (2009)

A Time-to-Digital-Converter (TDC) is to measure the interval time between two signals, and its time resolution of several pico seconds is achieved when it is implemented with advanced CMOS process [1--5]. Its applications are gradually expanding such as a phase comparator of all-digital-PLL, a sensor interface circuit, modulation circuit and demodulation circuit as well as a TDC-based ADC [1--6]. The TDC will play more important role in nano-CMOS era because it is well-matched to implement with fine digital CMOS process; it consists of mostly digital circuits, and as the switching speed increases, its performance is improved.
Reverse engineering applications for recovery of broken or worn parts and re-manufacturing: Three case studies
Authors: Eyup Bagci
Venue: Advances in Engineering Software (2009)

Damaged or broken parts are generally too expensive to replace, or are no longer available. RE can be defined as: 'Systematic evaluation of a product with the purpose of replication. This involves design of a new part, copy of an existing part, recovery of a damaged or broken part, improvement of model precision and inspection of a numerical model. Advantages of the technique include immediate feedback, data reduction, direct generation of geometry and higher precision of the final product. This paper shows some possibilities of use and benefit from utilising the RE-methodologies and techniques in production process, especially in the case when exists parts without 3D-CAD support. This paper, which defines obtaining CAD data step by step from damaged three different parts to reproduce or make a new design for some recoveries, has not get any technical drawings. When these parts had been recovered, some problems occurred. These problems have been solved by referring to some practical approaches. Establishing continuity across curve and surface patches is an important concept in the free form surface modeling. The CAD models were recovered and reconstructed to consider parametric and geometric continuity. The iso-phote method was used for surface continuity analysis. Hence, in this work, not only occurring problems but also solving methods were explained. Firstly, CAD models are created from damaged and broken parts by data digitization method by using CMM and the process was explored in detailed. Later, CAD models that had been obtained earlier are transferred into CAM module of the software and G codes are taken by the NC post-processor, and finally, the parts are manufactured by means of CNC milling machine. Additionally, this paper presents a review of the part digitization techniques available for reverse engineering.
An autonomous robot map creation and map optimization using genetic algorithms and artificial neural networks
Authors: Inci Cabar, Osman K. Erol, Sirma Yavuz
Venue: Proceedings of the 8th conference on Applied informatics and communications (2008)

This paper is about an autonomous robot map creation and optimization algorithm. To create the map, calibrated sensor data transfered to the x-y coordinate system were used. Afterwards we tried to otimize the anomalies of the map with different methods as artificial neural networks, genetic algorithms.
Pumping lemma in context-free grammar theory based on complete residuated lattice-valued logic
Authors: Hongyan Xing, Daowen Qiu
Venue: Fuzzy Sets and Systems (2009)

Residuated lattices are important algebras and have close links with various important algebras. Automata theory based on complete residuated lattice-valued logic, called L-valued automata, has been established by the second author in 2001 and 2002. As a continuation of automata theory based on complete residuated lattice-valued logic, in this paper, we mainly deal with the problem concerning pumping lemma in L-valued context-free languages (L-CFLs). As a generalization of the notion in the theory of formal grammars, the definition of L-valued context-free grammars (L-CFGs) is introduced. We also discuss a special case of L-CFGs, L-right (or left)-linear grammars, and show the equivalence between L-linear grammars and L-regular grammars. This result shows that we generalize the pumping lemma in L-valued regular languages (L-RLs) more recently established by the second author.
Consumer preference prediction by using a hybrid evidential reasoning and belief rule-based methodology
Authors: Ying-Ming Wang, Jian-Bo Yang, Dong-Ling Xu, Kwai-Sang Chin
Venue: Expert Systems with Applications: An International Journal (2009)

Consumer preference prediction is a key factor to the success of new product development. This paper presents a hybrid evidential reasoning (ER) and belief rule-based (BRB) methodology for consumer preference prediction and a novel application to orange juices. The orange juices are distinguished by their values of sensory attributes, which are grouped for simplicity into different categories such as appearance, aroma, texture, flavour, and aftertaste. The ER approach is used to aggregate consumer preferences for category attributes into an overall preference, and the BRB methodology is used to model the casual relationships between category attributes and their sensory attributes. The casual relationships between the overall preference and the sensory attributes of orange juices are trained and tested using real data and memorized for prediction or new product design. A case study involving 16 orange juices is conducted using the proposed hybrid ER and BRB methodology to demonstrate its novel applications. The results show that the hybrid ER and BRB methodology can fit and predict consumer preferences with high accuracy.
The Robot: The Life Story of a Technology
Authors: Lisa Nocks
Venue:  (2008)

Robots fascinate us, and they have become increasingly important in post--World War II industry and space exploration. Where did the idea for such devices come from? What varied uses do they serve in our world, and where do they seem to be headed? Lisa Nocks traces the history of the robot, from the earliest concepts in ancient myth to mechanical toys of the Enlightenment, from the Jacquard punch card loom in the Industrial Revolution to Japanese car-making devices, and from rovers on Mars and the latest developments in artificial intelligence to the service robotics of the twenty-first century. This volume includes a timeline of important events, a glossary of terms, descriptions and statistics of robot labs and companies around the world, and a helpful bibliography of primary and secondary sources for further research.