ppxscal/embedding_network huggingface dataset:
Variable Discourse of Universe Fuzzy-PID Temperature Control System for Vacuum Smelting Based on PLC
Authors: Yan Chen, Jinhui Lei, Xuebing Yang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 01 (2009)

In view of the vacuum smelting process temperature control for existence of non-linear big lag and the poor accuracy and so on. a kind of variable discourse of universe Fuzzy- PID (PID-proportional integral derivative) high-precision controller is designed, realization of this way based on Matlab/Simulink simulation and PLC(PLC-Programmable logic Controller) is provided, the new fuzzy -PID controller has fast response and no overshoot, which achieves on-line coordination of PID parameters and increases the accuracy of temperature control.
Using Scrum in Distributed Agile Development: A Multiple Case Study
Authors: Maria Paasivaara, Sandra Durasiewicz, Casper Lassenius
Venue: Proceedings of the 2009 Fourth IEEE International Conference on Global Software Engineering (2009)

Distributed agile development (DAD) has received increasing interest both in industry and academia as global software development (GSD) is becoming main-stream. However, agile methods and in particular agile practices have been designed for collocated software development, and are thus not directly applicable to DAD. In this paper, we present findings from a multiple case study on agile practices in two small and one mid-sized distributed Scrum project. Based on an interview study of 19 project team members, we describe how Scrum practices, such as daily scrums, backlogs, and sprints were successfully adopted to distributed development. We also describe supporting GSD practices employed, such as frequent visits and multiple communication modes that the projects used. Finally, we depict the challenges and benefits the case projects reported, as well as lessons learned from applying Scrum in distributed settings.
Some Results for Elementary Operations
Authors: Athanasios K. Tsakalidis
Venue: Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday (2009)

We present a number of results for elementary operations concerning the areas of data structures, computational geometry, graph algorithms and string algorithms. Especially, we focus on elementary operations like the dictionary operations, list manipulation, priority queues, temporal precedence, finger search, nearest common ancestors, negative cycle, 3-sided queries, rectangle enclosure, dominance searching, intersection queries, hidden line elimination and string manipulation.
Using SAT and logic programming to design polynomial-time algorithms for planning in non-deterministic domains
Authors: Chitta Baral, Thomas Eiter, Jicheng Zhao
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 2 (2005)

We show that a Horn SAT and logic programming approach to obtain polynomial time algorithms for problem solving can be fruitfully applied to finding plans for various kinds of goals in a non-deterministic domain. We particularly focus on finding weak, strong, and strong cyclic plans for planning problems, as they are the most studied ones in the literature. We describe new algorithms for these problems and show how non-monotonic logic programming can be used to declaratively compute strong cyclic plans. As a further benefit, preferred plans among alternative candidate plans may be singled out this way. We give complexity results for weak. strong, and strong cyclic planning. Finally, we briefly discuss some of the kinds of goals in non-deterministic domains for which the approach in the paper can be used.
A 30pA/V-25µA/V linear CMOS channel-length-modulation OTA
Authors: Yan Huang, Emmanuel M. Drakakis, Chris Toumazou
Venue: Microelectronics Journal (2009)

A fully balanced highly linear CMOS operational transconductance amplifier (OTA) is presented. The proposed circuit combines a cross-coupled channel length modulation cell with a tunable-gain current mirror. Good linearity over a wide tuning range is achieved. As an example, the OTA has been used in designing a second-order tunable VCO. Both the OTA and the VCO have been fabricated in the AMS 0.35@mm CMOS process. Measured results show that the transconductance of the OTA ranges from 30pA/V to 25@mA/V, and the VCO achieves a tuning range from 6Hz to 180kHz.
Discourse annotation in the Monroe corpus
Authors: Joel Tetreault, Mary Swift, Preethum Prithviraj, Myroslava Dzikovska, James Allen
Venue: Proceedings of the 2004 ACL Workshop on Discourse Annotation (2004)

We describe a method for annotating spoken dialog corpora using both automatic and manual annotation. Our semi-automated method for corpus development results in a corpus combining rich semantics, discourse information and reference annotation, and allows us to explore issues relating these.
An Evolutionary Approach for Object-Based Image Reconstruction Using Learnt Priors
Authors: Péter Balázs, Mihály Gara
Venue: Proceedings of the 16th Scandinavian Conference on Image Analysis (2009)

In this paper we present a novel algorithm for reconstructing binary images containing objects which can be described by some parameters. In particular, we investigate the problem of reconstructing binary images representing disks from four projections. We develop a genetic algorithm for this and similar problems. We also discuss how prior information on the number of disks can be incorporated into the reconstruction in order to obtain more accurate images. In addition, we present a method to exploit such kind of knowledge from the projections themselves. Experiments on artificial data are also conducted.
Design and Study of Fiber Optic Strain Demodulation System Based on LabVIEW
Authors: Li-ying Lang, Lan Shen, Jian-jiao Zhao
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

In this paper, the health monitoring demodulationsystem for intelligent structure based on virtualinstrument is introduced, which uses the highsensitivityoptical fiber strain sensing technology andcan carry on the health monitoring to the intelligentstructure. The testing system makes use of virtualinstrument technology to realize multi-channel dataacquisition, analysis and disposal. And it can alsocarry out long time and large capacity data sampling,which has the advantages of high measurementaccuracy, facility operation, strong functions and easyto extend. The characteristics of the system mentionedin this paper are obtained when applied to strainsensing, with the resolution of 1με.
Research in Embroidery Stitch Contour Restoring Algorithm
Authors: Wu Dongqing, Yang Fengjian, Zhang Chaolong, Hu Xiaojian
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

Restoring contour is a prominent problem of embroidery information recognizing.This paper discusses several relative algorithms and presents their applicability and limitation.Combined the characteristics of stitch with existing relative algorithms,a new contour restoring algorithm is provided.Furthermore,it discusses time complexity of algorithm.A test is given in the end.The algorithm has been applied to an embroidery CAD system which has gotten reputation among end users.
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
Authors: Dan R. Ghica
Venue: Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science (2009)

After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in particular on finite state model checking, higher order model checking and more recent developments in hardware design.
Link Stability-Aware Ad Hoc Routing Protocol with Multiple Sampling Rates
Authors: Myungsik Yoo, Junwon Lee, Younghan Kim, Souhwan Jung
Venue: Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces (2009)

Due to uncertainty of existence of relay nodes (and links), the routing protocol becomes one of the key research issues in ad hoc networks. Most of existing routing protocols search the communication path based on the link stability measured with a single sampling rate. These protocols may mislead to a fragile communication path when the ad hoc network environment becomes dynamic (high node mobility and high noise power). In this paper, we propose the link stability-aware routing protocol with multiple sampling rates for ad hoc networks. The proposed routing protocol takes advantages of both low sampling rates and high sampling rates, which makes it possible to enhance the capability of estimating future behavior of wireless links. It is verified through the simulations that the proposed routing protocol can provide more stable routing path in the dynamic ad hoc network environment.
A New Type of Solution Method for the Affine Variational Inequalities over an Affine Subspace
Authors: Hongchun Sun
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

In this paper, we present the convergence analysis of the method for solving the monotone affine variational inequalities on supply chain equilibrium model which were proposed by Ferris and Mangasarian, and the convergence rate was also given under same conditions. Some numerical experiments of the method are also reported in this paper.
A situated context model for resolution and generation of referring expressions
Authors: Hendrik Zender, Geert-Jan M. Kruijff, Ivana Kruijff-Korbayová
Venue: Proceedings of the 12th European Workshop on Natural Language Generation (2009)

The background for this paper is the aim to build robotic assistants that can "naturally" interact with humans. One prerequisite for this is that the robot can correctly identify objects or places a user refers to, and produce comprehensible references itself. As robots typically act in environments that are larger than what is immediately perceivable, the problem arises how to identify the appropriate context, against which to resolve or produce a referring expression (RE). Existing algorithms for generating REs generally bypass this problem by assuming a given context. In this paper, we explicitly address this problem, proposing a method for context determination in large-scale space. We show how it can be applied both for resolving and producing REs.
Mobile Wireless Middleware Operating Systems and Applications: Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009. Proceedings, 1st edition
Authors: Jean-Marie Bonnin, Carlo Giannelli, Thomas Magedanz
Venue:  (2009)

This book constitutes the thoroughly refereedproceedings of the Second International Conference on MOBILe Wireless MiddleWARE, Mobilware 2009, held in Berlin, Germany, in April 2009. The 29 revised full papers presented were carefully reviewed and selected from 63 contributions. The papers are organized in topical sections on location and tracking supports and services; Location-aware and context-aware mobile support and services.middleware for QoS awareness, adaptation, and fault-tolerance of mobile services; mobility-aware wireless service discovery, management, and delivery; middleware for mobile computing & Intelligent and mobile agent technologies for mobile systems and services; OS/middleware for embedded systems, wearable networks, and personal area networks; mobility management and handoff management in heterogeneous networks.
Supramolecular Assemblies of Functional Nanoporphyrins in Therapeutics
Authors: Rodica-Mariana Ion, Simina Dreve
Venue: Proceedings of the 2008 First International Conference on Complexity and Intelligence of the Artificial and Natural Complex Systems. Medical Applications of the Complex Systems. Biomedical Computing (2008)

New supramolecular systems have been assembled with the use of bridging unities such as tetrapyridylporphyrins, porphyrazines and polypyrazines. The assembly involves the orientation of the pi-conjugated rings, which are kept together by means of strong hydrophobic intermolecular interactions, as well as by the electrostatic interactions between the peripheral cationic and anionic residues. The porphyrins and ruthenium polypyridines are two classes of compounds exhibiting most of the above mentioned molecular properties. In the present study new cationic porphyrin as tetraruthenium (bipyridine)porphyrin (4+)(TRPyP) was synthesized and its association with anionic porphyrin (TSPP) forming heteroaggregates, is investigated. Potential applications in photodynamic therapy of cancer are discussed.
The Essential Guide to Flash CS4, 1st edition
Authors: Cheridan Kerr, Jonathan Keats
Venue:  (2009)

If you're familiar with the basics of Flash, then The Essential Guide to Flash CS4 will take you further in all aspects of the application, animation, sound, 3D, Inverse Kinematics, the drawing tools, ActionScript, and much more. This book takes all the good bits of Flash CS4 and demonstrates them in methodical and intuitive exercises full of hints and tips for streamlining the creative process. Jump straight into Flash CS4 and start working on real life examples that you can customize to suit your needs. Demystifies Flash CS4explaining new features deep diving through old favorites Streamlines the production of cutting edge Flash CS4 animations and applications Provides a unique commercial perspective in compelling Flash productions. This book is for intermediate Flash CS4 users as well as the more advanced user who wants to learn about using Flash CS4's awesome new capabilities, such as motion tweening and kinematics poses. Each chapter has a number of exercises that contribute to an overall project. The exercises are fun and compelling and allow you to place your own creative stamp on them, while still following the steps to completion. The final chapter focuses on bringing the exercise output together in an overall campaign consisting of a website featuring advanced flash components and advertising banners. An underlying theme of the book is marketing a website online. It discusses industry standards for banner campaigns (banner weight, fps etc), effective website marketing techniques, and delves into search engine optimization and search engine marketing. What you'll learn Learn the unique capabilities of Flash CS4 and how to apply them in real life scenarios Partner Flash CS4 with open source programs and international publisher standards to create compelling and rich user experiences. Incorporate different technologies into Flash CS4 applications seamlessly to make the overall Flash build less arduous. Harness your creativity to make your ideas come to life. Ensure that these ideas will have marketing legs and adhere to W3C standards. Get the edge above your competitors. Who is this book for? This book is for designers and developers who are familiar with Flash but want to push the boundaries of what Flash CS4 is capable of. You have the vision and the ideas of what you want to do, but you are unsure of just how to do it. This book explores in depth the effects of partnering Flash CS4 with other Adobe products, such as Fireworks and Photoshop, but also delves deeply into partnering Flash CS4 with cutting edge open source programs, such as Papervision, and how to create unique rich media executions in partnership with companies such as EyeBlaster.
Data-fused method of fault diagnosis for analog circuits
Authors: Yanghong Tan, Yigang He, Yichuang Sun, Hui Yang, Meirong Liu
Venue: Analog Integrated Circuits and Signal Processing (2009)

A data-fused fault diagnosis method based on wavelet packet decomposition of voltages of test nodes and current signals of the terminals stimulated is proposed in the paper. For the faults difficult to detect merely from voltages of test nodes, the current signals of the terminals which contain sufficient information with various faults are fused with the sampled node voltages of the circuit stimulated by the sources selected according to the principles proposed to make up for the insufficiency of the node voltages. This results in the maximization of feature vectors, more accurate classification of the faults and correct identification of the fuzzy sets of faults.
Genetic Algorithm Based Length Reduction of a Mobile BS Path in WSNs
Authors: Liang He, Jingdong Xu, Yuntao Yu, Miao Li, Wenyao Zhao
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Energy in WSNs can be significantly saved by integrating a mobile BS, which on the other hand may impose the network an unacceptable latency. In this paper, we overcome this problem by making the path of the mobile BS as short as possible. Our method mainly consists of three steps. First, we construct a virtual network from which to choose the location that the BS must arrive. Next, we apply a weighting scheme to each points of the virtual network, and select a minimum number of them by implementing a genetic algorithm, while at the same time guarantee the network connectivity and coverage. Finally, after showing its NPC property, we construct the optimized BS path based on the point set obtained in the second step. Our method is testified by comprehensive experiments. The results show that it can greatly reduce the number of points that the BS must arrive, and then get us an optimized mobile BS path.
Identity-based mix: Anonymous communications without public key certificates
Authors: Sheng Zhong
Venue: Computers and Electrical Engineering (2009)

A mix is a cryptographic construction for anonymizing communications. Existing mixes require that the public key certificates of mix servers have been distributed among users. In this paper, we propose a new mix that uses techniques from identity-based cryptography. Our mix does not require any public certificates; as long as the users know the identities of mix servers, the mix can anonymize messages. We give proofs of correctness and privacy, as well as analysis of efficiency.
Pervasive diagnosis: the integration of diagnostic goals into production plans
Authors: Lukas Kuhn, Bob Price, Johan De Kleer, Minh Do, Rong Zhou
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 3 (2008)

In model-based control, a planner uses a system description to create a plan that achieves production goals (Fikes & Nilsson 1971). The same description can be used by model-based diagnosis to infer the condition of components in a system from partially informative sensors. Prior work has demonstrated that diagnosis can be used to adapt the control of a system to changes in its components. However diagnosis must either make inferences from passive observations of production, or production must be halted to take diagnostic actions. We observe that the declarative nature of model-based control allows the planner to achieve production goals in multiple ways. This exibility can be exploited with a novel paradigm we call pervasive diagnosis which produces diagnostic production plans that simultaneously achieve production goals while uncovering additional information about component health. We present an efficient heuristic search for these diagnostic production plans and show through experiments on a model of an industrial digital printing press that the theoretical increase in information can be realized on practical real-time systems. We obtain higher long-run productivity than a decoupled combination of planning and diagnosis.
Bitbots: simple robots solving complex tasks
Authors: Anna Yershova, Benjamín Tovar, Robert Ghrist, Steven M. LaValle
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 3 (2005)

Sensing uncertainty is a central issue in robotics. Sensor limitations often prevent accurate state estimation, and robots find themselves confronted with a complicated infonnation (belief) space. In this paper we define and characterize the information spaces of very simple robots, called Bitbots, which have severe sensor limitations. While complete estimation of the robot's state is impossible, careful consideration and management of the uncertainty is presented as a search in the information space. We show that these simple robots can solve several challenging online problems, even though they can neither obtain a complete map of their environment nor exactly localize themselves. However, when placed in an unknown environment, Bitbots can build a topological representation of it and then perform pursuit-evasion (i.e., locate all moving targets inside this environment). This paper introduces Bitbots, and provides both theoretical analysis of their information spaces and simulation results.
Engaging Experience: A New Perspective of User Experience with Physical Products
Authors: Chun-Juei Chou, Chris Conley
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

Engaging experience is a specific kind of experience that a user acquires when and after using a product frequently, intensively, actively, vividly, and completely, etc. For example, if the appearance of a toaster is completely transparent, a user can see how the bread changes from white to brown. The transparent sides stage the toasting process as a visually engaging performance. To expand on engaging experience, this paper presents the definition of engaging experience, example products that engage users, the classification and instinctiveness of engaging experience, and product properties that foster engaging experience.
Kinematics Analysis of a Novel Translational Parallel Manipulator
Authors: Daning Yuan, Yanbin Zhang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

A new translational parallel manipulator with fully-symmetrical topological structure is presented in this paper. There is a planar parallelogram in each limb, which contributes to improve the rigidity of the manipulator. Firstly, the degree of freedom of the mechanism is analyzed based on the units of single-opened-chain. Secondly, both the forward and the inverse position problems of the mechanism are investigated, respectively, in terms of different actuated inputs, i.e., rotary actuation or linear actuation method. Then, the velocity analysis is carried out when the rotary inputs are adopted; dexterity analysis is performed as well. The kinematic Jacobian is similar to a diagonal matrix, thus the mechanism is an uncoupled one. The manipulator proposed here has widely potential applications in the fields of parallel machine tools and robots.
Automated Spatial-Semantic Modeling with Applications to Place Labeling and Informed Search
Authors: Pooja Viswanathan, David Meger, Tristram Southey, James J. Little, Alan K. Mackworth
Venue: Proceedings of the 2009 Canadian Conference on Computer and Robot Vision (2009)

This paper presents a spatial-semantic modeling system featuringautomated learning of object-place relations from an online annotateddatabase, and the application of these relations to a variety ofreal-world tasks. The system is able to label novel scenes with placeinformation, as we demonstrate on test scenes drawn from the same sourceas our training set. We have designed our system for future enhancementof a robot platform that performs state-of-the-art object recognitionand creates object maps of realistic environments. In this context, wedemonstrate the use of spatial-semantic information to performclustering and place labeling of object maps obtained from real homes.This place information is fed back into the robot system to inform anobject search planner about likely locations of a query object. As awhole, this system represents a new level in spatial reasoning andsemantic understanding for a physical platform.