ppxscal/embedding_network huggingface dataset:
Tool Support for Engineering Certifiable Software
Authors: László Gönczy, István Majzik, Akos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

Formal methods can effectively support the model driven develoment and analysis of IT applications in many domains. Typically, the domain-specific engineering models are transformed to formal analysis models (to compute measures that help the designer in verifying the design decisions) and verified models are mapped to test and implementation related software artefacts. An overview of four European projects demonstrates the use of support tools and tool integration facilities in development processes of systems having in sight the demand of certification according to domain-specific standards.
Sentence completion tests for training and assessment in a computational linguistics curriculum
Authors: Cerstin Mahlow, Michael Hess
Venue: Proceedings of the Workshop on eLearning for Computational Linguistics and Computational Linguistics for eLearning (2004)

This paper presents a novel type of test, halfway between multiple-choice and free-form text, used for training and assessment in several courses in a Computational Linguistics curriculum. We will describe the principles of the test, the different ways in which it can be used by learners, and the tools developed for authoring. Use of this type of test is not limited to the field of Computational Linguistics. Wherever text heavy or even picture based topics are taught use of this type of test is possible.
Modeling and Validating BPMN Diagrams
Authors: Michele Chinosi, Alberto Trombetta
Venue: Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing (2009)

The ever increasing number of adoptions from companies and the growing interest upon BPMN entails the need of having one more structured underlying conceptual model. In the past different proposals to equip BPMN with a conceptual model have been defined, but the solution currently adopted remains unclear and too complex. Also the proposals submitted to the BPMN 2.0 RFP, which calls for a single notation to define notation, metamodel and interchange format addressing BPDM concepts, are still - in part - unsatisfactory. We developed a new model starting from scratch, and the result of this work is a complete conceptual model for BPMN with a clear metamodel and its related XML-based serialization which provides a self-validating mechanism for checking BP syntax and semantics.
Ruby on Rails for Microsoft Developers
Authors: Antonio Cangiano
Venue: Wrox Programmer To Programmer (2009)

This definitive guide examines how to take advantage of the new Agile methodologies offered when using Ruby on Rails (RoR). Youll quickly grasp the RoR methodology by focusing on the RoR development from the point of view of the beginner- to intermediate-level Microsoft developer. Plus, youll get a reliable roadmap for migrating your applications, skill set, and development processes to the newer, more agile programming platform that RoR offers. 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
Using Competitive Intelligence to Improve the Capabilities of SMB Crisis Pre-warning
Authors: Zha Xianjin, Chen Minghong
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

The paper seeks to examine the relationship between competitive intelligence (CI) and crisis response of small and middle-sized business (SMB). Research showed that CI had all-right pre-warning capabilities to crisis. Based on the analyzing SMB's crises and crisis sources, this paper proposed a SMB's CI process of crisis pre-warning, which included many distinctive CI methods. Given the SMB's characters, a lot of effective suggestions to enhance SMB's pre-warning capability were put out. With the help of CI, SMB's could reduce negative impact of emergencies or even win additional opportunities.
Reconfiguring Distributed Reo Connectors
Authors: Christian Koehler, Farhad Arbab, Erik Vink
Venue: Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (2009)

The coordination language Reo defines circuit-like connectors to steer the collaboration of independent components. In this paper, we present a framework for the modeling of distributed, self-reconfigurable connectors based on algebraic graph transformations. Reconfiguring a connector that is composed with others, may involve a change of shared interfaces and may therefore require a reconfiguration of the surrounding connectors as well. We present a method of synchronized local reconfigurations in this setting and discuss a bottom-up strategy for coordinating synchronized reconfigurations in a connector network. We exploit the double-pushout approach for the modeling of reconfigurations, and propose an adaptation of the concept of amalgamation for synchronizing reconfigurations. We use a nondeterministic scheduler as our running example.
Axial Magnetic Transmission Mechanism and the Calculation of Magnetic Torque
Authors: Zhang Zhiming, Xiao Renbin, Mei Shunqi, Tu Zhengheng
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

Magnetic transmission has many advantages of no abrasion, no leakage, and energy saving etc. Magnetic force is transmitted torque by magnetic field. Magnetic circuit is influenced by permanent magnet (PM) distributed according to the theory of magnetic transmission mechanism. The mathematical model of its torque is constructed based on the equivalent magnetic charge principle. Magnetic torque is calculated on these parameters of axial height, circuit distribution of permanent magnet, air gap of active and passive magnetic pole and leakage coefficient. Magnetic force is varied with those parameters changed. The result shows axial magnetic torque can be increased by increasing the density of magnetic distribution and decreasing active and passive air gap.
Research on Intelligent Soft Starter of Asynchronous Electromotor
Authors: Jia Gui-xi, Shao Hong-jun
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

This paper introduced a soft starter of asynchronous electromotor which is controlled by PIC18f4550, analyzed the working principle, function and application. This system optimized the traditional voltage ramping technique and current limit technique. The new mode of torque close-loop control was designed, which can start pump load more smoothly and prevent system from impact. It can also reduce the water hammer and the vibration of pipeline. The soft-starter has long-distance monitor function, which can display operation status on site and realize intelligent supervisory control.
Pro Git, 1st edition
Authors: Scott Chacon
Venue:  (2009)

Git is the version control system developed by Linus Torvalds for Linux kernel development. It took the open source world by storm since its inception in 2005, and is used by small development shops and giants like Google, Red Hat, and IBM, and of course many open source projects. A book by Git experts to turn you into a Git expert Introduces the world of distributed version control Shows how to build a Git development workflow What youll learn Use Git as a programmer or a project leader. Become a fluent Git user. Use distributed features of Git to the full. Acquire the ability to insert Git in the development workflow. Migrate programming projects from other SCMs to Git. Learn how to extend Git. Who is this book for? This book is for all open source developers: you are bound to encounter it somewhere in the course of your working life. Proprietary software developers will appreciate Gits enormous scalability, since it is used for the Linux project, which comprises thousands of developers and testers. About the Apress Pro Series The Apress Pro series books are practical, professional tutorials to keep you on and moving up the professional ladder. You have gotten the job, now you need to hone your skills in these tough competitive times. The Apress Pro series expands your skills and expertise in exactly the areas you need. Master the content of a Pro book, and you will always be able to get the job done in a professional development project. Written by experts in their field, Pro series books from Apress give you the hardwon solutions to problems you will face in your professional programming career.
Efficient Denoising of Images with Smooth Geometry
Authors: Agnieszka Lisowska
Venue: Proceedings of the 16th Scandinavian Conference on Image Analysis (2009)

In the paper the method of smooth geometry image denoising has been presented. It is based on smooth second order wedgelets proposed in this paper. Smooth wedgelets (and second order wedgelets) are defined as wedgelets with smooth edges. Additionally, smooth borders of quadtree partition have been introduced. The first kind of smoothness is defined adaptively whereas the second one is fixed once for the whole estimation process. The proposed kind of wedgelets has been applied to image denoising. As follows from experiments performed on benchmark images this method gives far better results of denoising of images with smooth geometry than the other state-of-the-art methods.
Applying the Stream-Based Computing Model to Design Hardware Accelerators: A Case Study
Authors: Frederico Pratas, Leonel Sousa
Venue: Proceedings of the 9th International Workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation (2009)

To facilitate the design of hardware accelerators we propose in this paper the adoption of the stream-based computing model and the usage of Graphics Processing Units (GPUs) as prototyping platforms. This model exposes the maximum data parallelism available in the applications and decouples computation from memory accesses. The design and implementation procedures, including the programming of GPUs, are illustrated with the widely used MrBayes bioinformatics application. Experimental results show that a straightforward mapping of the stream-based program for the GPU into hardware structures leads to improvements in performance, scalability and cost. Moreover, it is shown that a set of simple optimization techniques can be applied in order to reduce the cost, and the power consumption of hardware solutions.
The Improved Training Algorithm of Back Propagation Neural Network with Self-adaptive Learning Rate
Authors: Yong Li, Yang Fu, Hui Li, Si-Wen Zhang
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

This paper addresses the questions of improving convergence performance for back propagation (BP) neural network. For traditional BP neural network algorithm, the learning rate selection is depended on experience and trial. In this paper, based on Taylor formula the function relationship between the total quadratic training error change and connection weights and biases changes is obtained, and combined with weights and biases changes in batch BP learning algorithm, the formula for self-adaptive learning rate is given. Unlike existing algorithm, the self-adaptive learning rate depends on only neural network topology, training samples, average quadratic error and error curve surface gradient but not artificial selection. Simulation results show iteration times is significant less than that of traditional batch BP learning algorithm with constant learning rate.
Interaction structure and dimensionality reduction in decentralized MDPs
Authors: Martin Allen, Marek Petrik, Shlomo Zilberstein
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 3 (2008)

Decentralized Markov Decision Processes are a powerful general model of decentralized, cooperative multi-agent problem solving. The high complexity of the general problem leads to a focus on restricted models. While worst-case hardness of such reduced problems is often better, less is known about the actual difficulty of given instances. We show tight connections between the structure of agent interactions and the essential dimensionality of various problems. Bounds are placed on problem difficulty, given restrictions on the type and number of interactions between agents. These bounds arise from a bilinear programming formulation of the problem; from such a formulation, a more compact reduced form can be automatically generated, and the original problem rewritten to take advantage of the reduction.
Evaluating the Efficiency of Self Adaptive GA and Deterministic Dynamic Adaptation GA in Online Auctions Environment
Authors: Gan Kim Soon, Patricia Anthony, Jason Teo, Chin Kim On
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

The proliferation of online auctions has caused the increasing need to monitor and track multiple bids in multiple auctions. An autonomous agent was developed to work in a flexible and configurable heuristic decision making framework that can tackle the problem of bidding across multiple auctions that apply different protocols (English, Vickrey and Dutch) as a solution to the problem. This agent utilizes genetic algorithm to search for effective solution in view of the dynamics and the unpredictability nature of online auctions. This paper investigates the application of deterministic dynamic adaptation genetic algorithm and self adaptive genetic algorithm to replace the conventional genetic algorithm to search for the most effective strategies (offline). An empirical evaluation on the comparison between the effectiveness of self-adaptive genetic algorithm and deterministic dynamic adaptation genetic algorithm for searching the most effective strategies in the online auction environment are discussed in this paper.
CSIR at INEX 2008 Link-the-Wiki Track
Authors: Wei Lu, Dan Liu, Zhenzhen Fu
Venue: Advances in Focused Retrieval: 7th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2008, Dagstuhl Castle, Germany, December 15-18, 2008. Revised and Selected Papers (2009)

In this paper, we describe methods taken by CSIR in the INEX 2008 Link-the-Wiki track. For the incoming link detection, we use p(d|t), the probability to generate a document, when given the topic file, to judge which documents are proper link sources for the given topic. For the file-to-file task of outgoing link detection, we take a two-step approach: first, we identify a group of candidate target documents by literally matching the topic file title and document content; then, candidate documents are ranked by the number of incoming links. For the anchor-to-BEP task, we use p(d|a,t), the probability to generate a document, when given the topic file and an anchor name, to select anchors and link targets for a given topic.
Research on Feature Optimization Method in Personal Information Mining
Authors: Guilan Hu, Xiaochun Cai
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Personal information mining can find out the hidden relationship and characteristics of the target people which can be used for active post operation. The original features which are included in the personal information raw data usually have high dimension and redundancy which often drags down data mining efficiency. A feature optimization method is proposed here to resolve the problem. The method with the purpose of data dimensionality deduction is based on effective association of rough set theory with PCA approach. The final classification features are derived through two steps of optimization and deduction operation. Some documents data from education field and financial field are used for the experiment. The experimental results demonstrate that the hybrid feature optimization method is effective in improving classification accuracy.
Voicing in Labial Plosives in Czech
Authors: Annett B. Jorschick
Venue: Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions: COST Action 2102 International Conference Prague, Czech Republic, October 15-18, 2008 Revised Selected and Invited Papers (2009)

Traditional phonetic descriptions of Czech consonants assume that voiced segments are always realized with complete vocal fold vibration. The present research addresses the importance of voicing in Czech labial plosives using a subset of the Prague Phonetic Corpus. Corpus studies provide a power ful tool to study variation in actual realizations of speech and offer material to investigate its impact on perception. In the first study the extent of vocal fold vibration in voiced plosive /b/ in intervocalic position was examined. The results show that a considerable number of these plosives were realized with devoiced portions. In the second study it was tested whether Czech phonetically experienced listeners were able to recognize differences in voicing. A strong relationship was found between the amount of vocal fold vibration in the targets and the ratings by the participants indicating that voicing is a good predictor for the phonological voice/voiceless distinction in Czech.
Efficient context-free grammar constraints
Authors: Serdar Kadioglu, Meinolf Sellmann
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

With the introduction of constraints based on finite automata a new line of research has opened where constraints are based on formal languages. Recently, constraints based on grammars higher up in the Chomsky hierarchy were introduced. We devise a time- and space-efficient incremental arc-consistency algorithm for context-free grammars. Particularly, we show how to filter a sequence of monotonically tightening problems in cubic time and quadratic space. Experiments on a scheduling problem show orders of magnitude improvements in time and space consumption.
Develop Countermeasures of the Equipment Manufacturing Industry Based on Independent Innovation
Authors: Chenghua Shi, Na Zhou
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

Equipment manufacturing industry is basic and strategic industry providing the technical equipment for all areas of the national economy and national defense construction. Its development and innovation are of great strategic significance on promoting China's industrial structure, enhancing the international competitiveness. But independent innovation is the only way for the development of equipment manufacturing industry. This paper initially study the need to implement independent innovation on the equipment manufacturing industry, and scientifically analyze the existing question of independent innovation of China's equipment manufacturing industry, and finally put forward develop countermeasures and suggestions on the equipment manufacturing industry under the condition of independent innovation.
Possible Occurrence of Scale-Free Topology in Highly Statistically Associated Polymorphic Positions in Two Potyviral Proteins
Authors: Ioannis N. Manoussopoulos, Ioanna Zevlekari
Venue: Proceedings of the 2009 International Conference on Advances in Social Network Analysis and Mining (2009)

We examined the associations between polymorphic positions of two Potyviral proteins, HCPro and NIb, using a combined statistical and bioinformatic methodology. We constructed the relevant graph for each protein by assigning the polymorphic positions as vertices and the identified associations between them as links. We found that the relationships among positions in both molecules displayed a complex topology. In addition, the degree distribution of each network adequately fit a power law distribution, with a small number of vertices dominating a large number of associations. The graphs for both proteins shared similar topological features despite differences in protein size, similarity, functionality, and location of the coding regions in the potyviral genome. Our findings suggest that the intramolecular associations of potyviral proteins display scale free architecture, implying that this system may undergo developmental processes similar to those described for other scale free systems.
Establishment of Early Warning System for Accidental Water Pollution Incidents in China
Authors: Ji-Liang Zou, Jia-Yi Li
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

In recent years a high number of accidental water pollution incidents in China bring a serious threat to people’s livelihoods and health, the aquatic ecological system, economic development, and social stability. The traditional practice in water emergency management has been mainly focusing on mitigation after an incident. In fact prevention before an incident is more important than mitigation after an incident. Early warning is one of the most cost-effective, practical and comprehensive measures for prevention. There are many weaknesses and gaps in early warning system in China. Based on analysis of these deficiencies, a series of policy recommendations for establishing early warning system for water contamination incidents can be put forward.
On the Relationship between Global Warming and Dust Storm Variation in China
Authors: Lu Aigang, Wang Tianming, Kang Shichang, Pang Deqian
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

The unprecedented global warming is resulting in various changes in worldwide environment. The data of occurrence days of dust storms from meteorological observing stations during 1954–2000 and global warming anomaly from the Climatic Research Unit and the Tyndall Center were used in this paper to analyze the relationship between the global temperature series and the dust storm variation in China. By analysis, it was found that their correlation was negatively significant and that the undergoing global warming induced flattening of the latitudinal thermal gradient results in a weakening of the surface wind strength, which was the possible reason for the decline of the dust storm frequency during 1954-2000.
Distributed Motion Constraints for Algebraic Connectivity of Robotic Networks
Authors: Michael Schuresko, Jorge Cortés
Venue: Journal of Intelligent and Robotic Systems (2009)

This paper studies connectivity maintenance of robotic networks that communicate at discrete times and move in continuous space. We propose a distributed coordination algorithm that allows the robots to decide whether a desired collective motion breaks connectivity. We build on this procedure to design a second coordination algorithm that allows the robots to modify a desired collective motion to guarantee that connectivity is preserved. These algorithms work under imperfect information caused by delays in communication and the robots' mobility. Under very outdated information, the proposed algorithms might prevent some or all of the robots from moving. We analyze the correctness of our algorithms by formulating them as games against a hypothetical adversary who chooses system states consistent with observed information. The technical approach combines tools from algebraic graph theory, linear algebra, and nonsmooth analysis.