ppxscal/embedding_network huggingface dataset:
A superlinearly convergent projection method for constrained systems of nonlinear equations
Authors: Chuanwei Wang, Yiju Wang
Venue: Journal of Global Optimization (2009)

In this paper, a new projection method for solving a system of nonlinear equations with convex constraints is presented. Compared with the existing projection method for solving the problem, the projection region in this new algorithm is modified which makes an optimal stepsize available at each iteration and hence guarantees that the next iterate is more closer to the solution set. Under mild conditions, we show that the method is globally convergent, and if an error bound assumption holds in addition, it is shown to be superlinearly convergent. Preliminary numerical experiments also show that this method is more efficient and promising than the existing projection method.
Quantifying object-oriented software quality factors using software product metrics
Authors: Sherri Messimer
Venue:  (2008)

Research into the area of management of quality systems has shown that the operational success of any quality program depends on &ldquo;soft&rdquo; concepts such as leadership and culture. In particular, there appears to be a strong link between implementation of such systems and the ability to measure and predict qualitative information. A similar issue of measurement and prediction is also found in software quality. Software code quality assessment is based on expert opinion of code on quality factors such as reusability. This poses several problems. For example CIO's and IT leaders have difficulty estimating cost, schedule and quality goals for software because of the subjective nature of software quality assessment. These quality factors are important but not quantified. This dissertation implements an existing software quality index to track the quality factors between versions of software, and develops a prediction model to forecast expert opinion of software code based on software code measurement.
Interactive ASR error correction for touchscreen devices
Authors: David Huggins-Daines, Alexander I. Rudnicky
Venue: Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics on Human Language Technologies: Demo Session (2008)

We will demonstrate a novel graphical interface for correcting search errors in the output of a speech recognizer. This interface allows the user to visualize the word lattice by "pulling apart" regions of the hypothesis to reveal a cloud of words simlar to the "tag clouds" popular in many Web applications. This interface is potentially useful for dictation on portable touchscreen devices such as the Nokia N800 and other mobile Internet devices.
Voluntary Quality Disclosure and Market Interaction
Authors: Liang Guo, Ying Zhao
Venue: Marketing Science (2009)

Marketers disclose quality information directly to potential consumers using a variety of communication channels. This study investigates how competition may influence duopoly firms' incentive to voluntarily reveal quality information. We show that firms in competitive markets reveal less information than a monopoly firm. In addition, sequential disclosure leads to asymmetric equilibrium disclosure behavior: the disclosure leader reveals unambiguously less information than in the simultaneous disclosure case, whereas the follower ex ante reveals less (more) private information than that released by the leader or by the firms in the simultaneous case when the disclosure cost is sufficiently low (high). We also examine the equilibrium firm profits and social welfare. We demonstrate that there may be a U-shaped relationship between equilibrium monopoly profits (or social welfare under both monopoly and duopoly) and the disclosure cost. Moreover, in comparison to the simultaneous disclosure case, sequential disclosure can lead to increasingly softened competition, improving both firm profitability and social welfare.
Fake Fingers in Fingerprint Recognition: Glycerin Supersedes Gelatin
Authors: Claude Barral, Assia Tria
Venue: Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (2009)

Fingerprint Recognition currently widespreads in numerous identity verification applications such as electronic ID cards, travel documents, access control and time attendance. Security issues with the condition of use of the authentication device is a major concern in such applications. Recent publication in this field shows the lack of aliveness detection mechanism in fingerprint sensors technology, especially by using Gelatin-made fake fingers. Different material may be used to mold and reproduce exact copy of a fingerprint with its detailed shape and extended characteristics (e.g. minutiae points location). In this paper we will present a state-of-the-art of fake finger materials and disclose the power of a, let's say, brand new material in this field: Glycerin
A medical cancer identifying system combined with network transmission
Authors: Jia-Hau Chen, Hen-Chia Hsu, Shieh-Shing Lin
Venue: Proceedings of the 7th WSEAS international conference on System science and simulation in engineering (2008)

In this paper, we implement a research in identifying the X-ray data. Based on the micro-control equipment, we design an X-ray system that owns the comparison function. The X-ray system owns the following functions: 1. The X-ray system has high accuracy in comparison ability. If there is a slight variation of a patient, the X-ray system points out the correct sick-part of the patient. This function reduces the working time of the doctors and decreases the misjudging cases. 2. After the judge of the X-ray, the sick-part appears on the display board. After numerous simulations, the proposed method obtains some successful results.
Toward automatic transformation of enterprise business model to service model
Authors: P. Jamshidi, S. Khoshnevis, R. Teimourzadegan, A. Nikravesh, F. Shams
Venue: Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems (2009)

One of the key activities needed to construct a quality service-oriented solution is the specification of the architectural elements. The selection of an appropriate and proven method for specification of the elements consisting services, flows and components is thus quite crucial to the success of any service-based solution. Existing methods for service specification ignore the automation capability while focusing on human-based and error-prone processes. This paper proposes a novel method called ASSM (Automated Service Specification Method) that automatically specifies the architecturally significant elements of service model artifact. The proposed automated process helps to improve productivity, enforce architectural integrity and improve the quality of the solution when specifying the service model. Model transformations such as ASSM automate the labor and cost intensive activities and lead the architect to focus on more important activities, which need human intelligence, and eventually enable efficient development of service-based solutions.
Multistability of Neural Networks with a Class of Activation Functions
Authors: Lili Wang, Wenlian Lu, Tianping Chen
Venue: Proceedings of the 6th International Symposium on Neural Networks on Advances in Neural Networks (2009)

In this paper, we investigate the multistability of neural networks with a class of activation functions, which are nondecreasing piecewise linear with 2r (r ¿ 1) corner points. It shows that the n-neuron neural networks can have and only have (2r + 1) n equilibria under some conditions, (r + 1) n of which are locally exponentially stable and others are unstable. In addition, we discuss the attraction basins of the stable equilibria for the two-dimensional case and found out that under several conditions, the stable manifolds of the unstable equilibria precisely comprise of the bounds of each attractor.
Automated self-assembly programming paradigm: The impact of network topology
Authors: Lin Li, Jonathan M. Garibaldi, Natalio Krasnogor
Venue: International Journal of Intelligent Systems (2009)

In our previous work Li et al., in Proc of 3rd IEEE Int Workshop on Engineering of Automatic & Automation Systems, Potsdam, Germany, 2006, pp 25&ndash;34; Li et al., in Proc Workshop on Nature Inspired Cooperative Strategies for Optimization, Granada, Spain, 2006, pp 123&ndash;134, we introduced automated self-assembly programming paradigm (ASAP2) using unguided self-assembly and swarm-inspired methodologies. We investigated how external environment settings affect software self-assembly speed and diversity of the generated programs. In this paper, we extend our previous work with a diversified compartments approach based on general graphs. This diversified compartments approach is integrated into a network structure such that each compartment can be seen as a node in the network. We investigate how structures of the network impacts on software self-assembly speed, complexity, and diversity of generated programs. Results indicate that network structure can substantially affect the dynamics, diversity, and complexity of generated programs. &copy; 2009 Wiley Periodicals, Inc.
Improved robustness of topology control and routing algorithms for ad-hoc wireless sensor networks
Authors: Sriram V. Pemmaraju
Venue:  (2008)

An ad-hoc wireless sensor network (WSN) consists of small autonomous devices embedded in some metric space that can sense their environment, communicate via radio broadcast, and perform local computations. The resources available to each network device are severely limited, which has spawned much research into designing topology control algorithms that produce network topologies that support algorithm execution while requiring low resource utilization. Due to the lack of centralized control, memoryless routing algorithms are commonly used on WSNs. These are algorithms in which routing decisions are made individually by each network node based on the source and destination of a message and on information gathered from other nearby nodes. Many of the current topology control and rnemoryless routing algorithms make strong assumptions about the amount of geographic information that is known to each network device and are extremely sensitive to even arbitrarily small violations of these assumptions. A common graph theoretic model of a WSN is the Unit Disk Graph (UDG) G = (V,E), where V is the set of network nodes embedded in the Euclidean plane and E represents the set of communication channels between pairs of nodes that are at most distance one apart. This model is popular because of its simplicity and tractability, but it makes several unrealistic assumptions and it cannot model errors in geographic information. The Quasi Unit Disk Graph (QUDG) model alleviates many of the shortcomings of the UDG and provides a more realistic model for WSNs. The contributions of this dissertation are indicated below. (1) We provide a metric to gauge the sensitivity of topology control algorithms to errors in geographic information. (2) We develop local distributed topology control and routing algorithms that perform correctly under both the UDG and QUDG models. (3) We develop topology control algorithms that use randomness to compensate for errors in geographic information. (4) We develop topology control algorithms that require no geographic information whatsoever to operate correctly. (5) We provide experimental evaluation of several current topology control algorithms as well as a selection of our own algorithms.
Sequence Mining for Business Analytics: Building Project Taxonomies for Resource Demand Forecasting
Authors: Ritendra Datta, Jianying Hu, Bonnie Ray
Venue: Proceeding of the 2008 conference on Applications of Data Mining in E-Business and Finance (2008)

We develop techniques for mining labor records from a large number of historical IT consulting projects in order to discover clusters of projects exhibiting similar resource usage over the project life-cycle. The clustering results, together with domain expertise, are used to build a meaningful project taxonomy that can be linked to project resource requirements. Such a linkage is essential for project-based workforce demand forecasting, a key input for more advanced workforce management decision support. We formulate the problem as a sequence clustering problem where each sequence represents a project and each observation in the sequence represents the weekly distribution of project labor hours across job role categories. To solve the problem, we use a model-based clustering algorithm based on explicit state duration left-right hidden semi-Markov models (HsMM) capable of handling high-dimensional, sparse, and noisy Dirichlet-distributed observations and sequences of widely varying lengths. We then present an approach for using the underlying cluster models to estimate future staffing needs. The approach is applied to a set of 250 IT consulting projects and the results discussed.
Adaptive hybrid force-position control of a robotic manipulator
Authors: Donatien Nganga-Kouya
Venue: Proceedings of the 2nd conference on European computing conference (2008)

A new hybrid force-position control method for uncertain robotic manipulator interacting with its environment is presented. First, the dynamical model system in the compliance frame is derives from the usual joint frame model and leads to two sets of equations due to the constraint associated to the contact surface. Next, the two dynamics are separately used for the synthesis of position and force tracking controllers. For the position control part, the design method consists of an estimated-parameters dependent coordinate transformation and a control law derived from a backstepping procedure. The force control law has two folds: first it compensates the dynamical interaction between the end-effector motion and the force induced by the environment and secondly, imposes a desired force using a proportional-like equation. Finally, a parameter-adaptation algorithm derives from stability criteria and dependent both on the position and force tracking errors. Simulation results on a four-degree of freedom robotic system tracking a triangle while maintaining a constant contact force prove the effectiveness of our solution.
An implementation of combined partial parser and morphosyntactic disambiguator
Authors: Aleksander Buczyński
Venue: Proceedings of the 45th Annual Meeting of the ACL: Student Research Workshop (2007)

The aim of this paper is to present a simple yet efficient implementation of a tool for simultaneous rule-based morphosyntactic tagging and partial parsing formalism. The parser is currently used for creating a tree-bank of partial parses in a valency acquisition project over the IPI PAN Corpus of Polish.
Distributed Meeting Scheduling
Authors: Ismel Brito, Pedro Meseguer
Venue: Proceeding of the 2007 conference on Artificial Intelligence Research and Development (2007)

Meetings are an important vehicle for human communication. The Meeting Scheduling problem (MS) is a decision-making process affecting several people, in which it is necessary to decide when and where several meetings could be scheduled. MS is a naturally distributed problem which has a clear motivation to be tried using distributed techniques: people may desire to preserve the already planned meetings in their personal calendars during resolution. In this paper, we evaluate three distributed algorithms for MS according to efficiency and privacy loss. Two of these algorithms view MS as a Distributed Constraint Satisfaction problem.
Dynamic pricing and inventory control for a production system with average profit criterion
Authors: Yifan Xu, Xiuli Chao
Venue: Probability in the Engineering and Informational Sciences (2009)

In this article we study the joint optimization of finished goods inventory and pricing in a make-to-stock production system with long-run average profit criterion. The production time is random with controllable rate and the demand is Markovian with rate depending on the sale price. The objective is to dynamically adjust the production rate and the sale price to maximize the long-run average profit. We obtain the optimal dynamic pricing and production control policy and present an efficient bisection algorithm for computing the policy parameters.
Symbols for children's tangible programming cubes: an explorative study
Authors: Andrew Cyrus Smith
Venue: Proceedings of the 2009 Annual Conference of the Southern African Computer Lecturers' Association (2009)

In this paper we report on an explorative study done with children with the aim of developing symbols for a tangible programming environment that does not incorporate written text. We describe our methodology, provide results obtained and discuss them. We also provide a short overview of prior physical programming research.
Real time image and data acquisition, processing and communication functions implementation into a mobile sensor node configuration
Authors: Dan Popescu, Radu Dobrescu, Maximilian Nicolae, Constantin Vasilescu
Venue: Proceedings of the 10th WSEAS international conference on Automation & information (2009)

Based on energy consumption, processing power, and communication efficiency, a mobile sensor network configuration for real time applications is analyzed. Based on programmable flexibility of DSP, the hardware and the software solutions for an Intelligent Mobile Node are presented. The node functions are the following: data acquisition from the sensors, measurement results interpretation, image acquisition and processing, and the communication in the network. Images are sent in network on request. The functional model, which is on demand configured type, is placed on an electric wheelchair.
Flash CS4 Professional Bible
Authors: Robert Reinhardt, Snow Dowd
Venue:  (2009)

A completely revised and updated edition of the all-time bestselling Flash title Written by two of the worlds leading Flash experts, this comprehensive reference provides you with undocumented techniques, tips, and tricks on the CS4 release of Flash, the popular tool that allows you to create animations and build interactive Web sites In-depth coverage on more than one thousand pages includes something for everyonewhether youre a Web novice or an accomplished Web professionalthis resource will be your guide to the inner workings and capabilities of Flash CS4 Two of the worlds leading Flash experts offer more coverage than any other book on the market The accompanying CD-ROM includes trial software, addons, plugins, shareware, templates, and examples
A multi-level switching amplifier with improved power efficiency for analog signals with high crest factor
Authors: Jan Doutreloigne, Jodie Buyle, Vincent De Gezelle
Venue: Proceedings of the 8th WSEAS international conference on Microelectronics, nanoelectronics, optoelectronics (2009)

This paper describes a new multi-level switching amplifier concept, targeting increased power efficiency for analog signals with a very high crest factor. Interesting application fields include audio power amplifiers or line drivers in ADSL and VDSL equipment. Calculations prove its superior power efficiency compared to conventional class-D switching amplifiers as well as linear class-AB and class-G amplifiers. A silicon implementation of a multi-level switching ADSL line driver chip is currently in progress.
Applications and Innovations in Intelligent Systems XV: Proceedings of AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques, 1st edition
Authors: Richard Ellis, Tony Allen, Miltos Petridis
Venue: Artificial Intelligence (2007)

The papers in this volume are the refereed application papers presented at AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2007. The papers present new and innovative developments in the field, divided into sections on Synthesis and Prediction, Scheduling and Search, Diagnosis and Monitoring, Classification and Design, and Analysis and Evaluation. This is the fifteenth volume in the Applications and Innovations series. The series serves as a key reference on the use of AI Technology to enable organisations to solve complex problems and gain significant business benefits. The Technical Stream papers are published as a companion volume under the title Research and Development in Intelligent Systems XXIV.
Microsoft Office 2007: Introductory, 1st edition
Authors: Pasewark Pasewark, Rachel Biheller Bunin, Jessica Evans, Katherine T. Pinard, Robin M. Romer
Venue:  (2007)

This text includes features that make learning easy and enjoyable - yet - challenging for learners. The text includes a wide range of learning experiences from activities with one or two commands to simulations and case studies that challenge and sharpen learners' problem-solving skills.
Enabling the autonomic data center with a smart bare-metal server platform
Authors: Arzhan Kinzhalin, Rodolfo Kohn, David Lombard, Ricardo Morin
Venue: Proceedings of the 6th international conference on Autonomic computing (2009)

Ever increasing data center complexity poses a significant burden on IT administrators. This burden can become unbearable without the help of self-managed systems that monitor themselves and automatically modify their state in order to carry out business processes according to high level objectives set by service level agreements (SLA) and policies. Among the key IT management tasks that must be automated and enhanced to realize the idea of an autonomic and highly dynamic data center, are discovery, configuration, and provisioning of new servers. In this direction, this paper describes pre-boot capabilities endowing the bare metal server with the ability to be discovered, queried, configured, and provisioned at time zero using industry standards like Common Information Model (CIM), CIM-XML, and Service Location Protocol (SLP). The capabilities are implemented as a payload of an Intel® Extensible Firmware Interface (EFI)-compliant BIOS, the Intel® Rapid Boot Toolkit (IRBT), allowing a resource manager to discover a new server during pre-boot, possibly in a bare-metal state, and then perform an asset inventory, configure the server including CPU-specific settings, and provision it with the most appropriate image. All these tasks may be carried out based on decisions taken by the resource manager according to server capabilities, application requirements, SLAs, and high-level policies. Additionally, this system uses reliable protocols, thus minimizing error possibilities.