ppxscal/embedding_network huggingface dataset:
Oasis Landscape Change and Spatial Character Analysis in the Tarim River Origin Basin
Authors: Yan Dou, Xi Chen
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

Land use/cover change (LUCC) is a key aspect of global environment change and in a sense indicates the influence of human activities on natural environment. Regional case study is the core of LUCC research. Taking the Hotan river basin, an oasis area of the Tarim river origin basin, as an example, Supported by RS and GIS technology, this paper reconstructed LUCC patterns in three periods of 1960,l990 and 2000, and analyzed their spatial-temporal changes from l960 to 2000. Combination the method of landscape ecology, several landscape patch index were calculated for oasis land extension. The results are as follows: (1) the oasis transformation mainly occurs among farmland and construction land. (2) the changes of oasis spatial character become regular, the border near upstream basically unchanged, border of the both sides river near the downstream slightly expand outwards. (3) In the forty years, the patch shape index and fractal dimension are both decreased, land-use status of Hotan oasis appeared variation, the extension of the oasis area is mainly the result of the restrict water supply and economic development.
Performance Evaluation of Home Gateway System Based on GSPN
Authors: Lin Chen, Shutao Wei, Linxiang Shi
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

With the rapid development of Internet and homeautomation technology, the internet-based home gatewaysystem has become the focus in embedded areas. Homegateway system is a complex system with typical businessprocess characteristics. However, there is little research workmade on it with workflow principle. Still less some achievementin analyzing the time feature of the real time system service. Inthis paper, two modeling methods-GPSN and workflow arecombined to model home gateway system. First, a GPSNworkflow model is proposed. According to empirical data,certain parameters are assigned to each transition in themodel. Then the time feature of status inquiry service isanalyzed with performance analysis method based GSPN.Finally, some information, such as system bottleneck points,are obtained that facilitate further system optimization.
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations
Authors: Emanuel Kieronski, Lidia Tendera
Venue: Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science (2009)

We show that every finitely satisfiable two-variable first-order formula with two equivalence relations has a model of size at most triply exponential with respect to its length. Thus the finite satisfiability problem for two-variable logic over the class of structures with two equivalence relations is decidable in nondeterministic triply exponential time. We also show that replacing one of the equivalence relations in the considered class of structures by a relation which is only required to be transitive leads to undecidability. This sharpens the earlier result that two-variable logic is undecidable over the class of structures with two transitive relations.
Research of Full Bridge DC/DC Converter Based on TMS320LF2407
Authors: Hu Xuezhi, Wu Hongxia
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

In this study, the principle of a phase-shifted full-bridge zero voltage switching ZVS DC / DC converter is analyzed. It focuses on soft-switching implementation, selection of rectifier bridge,parasitic oscillation suppression, voltage-type single-loop control and other issues. The implementation scheme of full digital control based on TMS320LF2407 is given. Then the system's hardware and software is designed. Finally the experiments is carried out, which experimental waveform is given.
Mapping HIV-1 Subtype C gp120Epitopes Using a Bioinformatic Approach
Authors: Dennis Maletich Junqueira, Rúbia Marília Medeiros, Sabrina Esteves Matos Almeida, Vanessa Rodrigues Paixão-Cortez, Paulo Michel Roehe, Fernando Rosado Spilki
Venue: Proceedings of the 4th Brazilian Symposium on Bioinformatics: Advances in Bioinformatics and Computational Biology (2009)

Human Immunodeficiency Type-1 subtype C (HIV-1C) is rapidly diverging among populations causing more than 48% of infections worldwide. HIV-1C gp120's 128 sequences available at Genbank were aligned and submitted to phylogenetic analysis. Three major clusters were identified: 72 sequences aligned with a Brazilian 0072eference sequence; 44 sequences aligned with an Ethiopian sequence and 12 could be group along with Indian isolates. A search was made for conserved HIV-1C cytotoxic T lymphocyte (CTL) epitopes to A*0201, A*0301, A*1101 e B*07 human leukocyte antigen (HLA) alleles (using Epijen software). Five most conserved epitopes were recognized: QMHEDIISL, CTHGIKPVV, NLTNNVKTI, AITQACPKV, CTRPNNNTR. Our results showed a recognized evolutionary force of HIV-1 to escape from CTL responses mutating sites that can be negatively select by host's immune system. The present study brings up a new approach to in silico epitope analysis taking into account geographical informations on virus diversity and host genetic background.
Parallel corpora segmentation using anchor words
Authors: Francisco Nevado, Francisco Casacuberta, Enrique Vidal
Venue: Proceedings of the 7th International EAMT workshop on MT and other Language Technology Tools, Improving MT through other Language Technology Tools: Resources and Tools for Building MT (2003)

A new technique for monotone segmentation of parallel corpora is introduced. This segmentation is based on a set of anchor words which are defined manually. The parallel segments are computed using a dynamic programming algorithm. To assess this technique, finite-state transducers are inferred from both non-segmented and segmented corpora. Experiments have been carried out with Spanish-English and Italian-English translation tasks. This technique has proven useful in improving the results with respect to those obtained with unsegmented corpora.
A framework and methodology for knowledge management system implementation
Authors: Hanlie Smuts, Alta van der Merwe, Marianne Loock, Paula Kotzé
Venue: Proceedings of the 2009 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists (2009)

Knowledge assets are of far greater value than any tangible asset and provide organisations with the basis for creating a sustainable competitive advantage. The nature of knowledge and knowledge management have given rise to a range of different definitions of knowledge management systems that enable organisations to convert their knowledge into actionable information that provides them with a competitive edge and innovative capability. Such an implementation process is a comprehensive course of action that requires focus and commitment through-out the organisation in order to achieve results, yet no universally accepted framework or methodology for such a process exists. This paper analyses and describes enhancements to a 12-step process derived by Calabrese and Orlando [6] to implement a knowledge management system aimed at providing a more comprehensive framework and methodology for knowledge management system implementation. These enhancements are based on findings relating to a knowledge management proof of concept implementation conducted at one of the major mobile telecommunication operators in South Africa.
On Convergence of Concurrent Systems under Regular Interactions
Authors: Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan
Venue: Proceedings of the 20th International Conference on Concurrency Theory (2009)

Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been extensively studied by control theorists. In particular, for the asynchronous model of computation Tsitsiklis [8] provides a set of necessary and sufficient conditions for proving stability and convergence under the assumption that each asynchronous operator (state transition function) is applied infinitely often. This paper generalize these results to obtain necessary and sufficient conditions for systems where the infinite sequence of operators is a member of an arbitrary omega regular language. This enables us to apply our theory to distributed systems with changing communication topology, node failures and joins. We illustrate an application of the new set of conditions in verifying the convergence of a simple (continuous) consensus protocol.
Short-window spectral analysis using AMVAR and multitaper methods: a comparison
Authors: Hariharan Nalatore, Govindan Rangarajan
Venue: Biological Cybernetics (2009)

We compare two popular methods for estimating the power spectrum from short data windows, namely the adaptive multivariate autoregressive (AMVAR) method and the multitaper method. By analyzing a simulated signal (embedded in a background Ornstein&#x2013;Uhlenbeck noise process) we demonstrate that the AMVAR method performs better at detecting short bursts of oscillations compared to the multitaper method. However, both methods are immune to jitter in the temporal location of the signal. We also show that coherence can still be detected in noisy bivariate time series data by the AMVAR method even if the individual power spectra fail to show any peaks. Finally, using data from two monkeys performing a visuomotor pattern discrimination task, we demonstrate that the AMVAR method is better able to determine the termination of the beta oscillations when compared to the multitaper method.
Stacking dependency parsers
Authors: André F. T. Martins, Dipanjan Das, Noah A. Smith, Eric P. Xing
Venue: Proceedings of the Conference on Empirical Methods in Natural Language Processing (2008)

We explore a stacked framework for learning to predict dependency structures for natural language sentences. A typical approach in graph-based dependency parsing has been to assume a factorized model, where local features are used but a global function is optimized (McDonald et al., 2005b). Recently Nivre and McDonald (2008) used the output of one dependency parser to provide features for another. We show that this is an example of stacked learning, in which a second predictor is trained to improve the performance of the first. Further, we argue that this technique is a novel way of approximating rich non-local features in the second parser, without sacrificing efficient, model-optimal prediction. Experiments on twelve languages show that stacking transition-based and graph-based parsers improves performance over existing state-of-the-art dependency parsers.
Response-based confidence annotation for spoken dialogue systems
Authors: Alexander Gruenstein
Venue: Proceedings of the 9th SIGdial Workshop on Discourse and Dialogue (2008)

Spoken and multimodal dialogue systems typically make use of confidence scores to choose among (or reject) a speech recognizer's N-best hypotheses for a particular utterance. We argue that it is beneficial to instead choose among a list of candidate system responses. We propose a novel method in which a confidence score for each response is derived from a classifier trained on acoustic and lexical features emitted by the recognizer, as well as features culled from the generation of the candidate response itself. Our response-based method yields statistically significant improvements in F-measure over a baseline in which hypotheses are chosen based on recognition confidence scores only.
Identification of Cancerous Lesions in Unconstrained Images
Authors: John Cowell, Joaquim Mesquita da Cunha Viana
Venue: Proceedings of the 2009 Second International Conference in Visualisation (2009)

The incidence of melanoma rises rapidly in Caucasians after the age of 20, and US statistics show about 1million new cases every year. Specialists in the field are highly accurate in determining whether a skin lesion is cancerous or not based solely on a visual inspection. No systems exist for accurately classifying skin spots.The first stage in the development of such a system is to identify the region of interest. This paper reviews approaches to using three edge detection algorithms for edge detection – and therefore extraction of the lesion from the surrounding skin.The three edge detection algorithms used are Sobel, Marr-Hildreth and Canny. Their performance is compared for 136images of both cancerous and non-cancerous lesions.Depending on the images, the best results are obtained either by Canny or by the Marr-Hildreth algorithm, however the edges produced by the latter are indistinct and the processing time is four times that of the other algorithms.
Economic Evaluation and Statistical Methods for Detecting Hot Spots of Social and Housing Difficulties in Urban Policies
Authors: Silvestro Montrone, Massimo Bilancia, Paola Perchinunno, Carmelo Maria Torre
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part I (2009)

The paper shows a reasoning about how the new national policies on social housing can be implemented in connection with regional and local economic analyses. In this light the role of evaluation is examined, to show which kind of approach can be referred to each dimension, context and level. After a general introduction explaining the main aspects of the National Housing Plan, an example of integrate assessment of rent market and difficulty in housing access is shown, obtained by a scaling that profile some Italian metropolitan reality. All our examples are aiming to demonstrate that only an integrate, multilevel approach, supported by appropriate analysis can succeed in improving supply and quality of housing stock. After a general economic analysis the paper speaks about use statistical data to identify territorial zones (by the use of hot spots) characterized by the presence of urban poverty related to property ownership and the availability of residential services.
Measurement of Dense-Phase Bed Height in CFB Boiler Based on Flame Image Processing Technique
Authors: Zi-xue Luo, Dun-dun Wang, Duan Lian, Huai-chun Zhou
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

This paper proposes a method to measure the dense-phase bed height by edge-detection of Charge Coupled Device based on flame image processing technique in Circulated Fluidized Bed (CFB) boiler. The detection system was installed in a 480t/h CFB boiler, image processing model has been built,and in-situ experiment was carried out. Real-time bed height is reliable and meets the bed pressure drop exactly in furnace. The monitoring equipment, the flame image processing theory of recognition algorithm, and the choice of the threshold value of gray, are introduced in the paper.This image processing technique can provide CFB boiler with the safe, economic and clean operation in practical industry application.
Measuring the hardness of SAT instances
Authors: Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

The search of a precise measure of what hardness of SAT instances means for state-of-the-art solvers is a relevant research question. Among others, the space complexity of treelike resolution (also called hardness), the minimal size of strong backdoors and of cycle-cutsets, and the treewidth can be used for this purpose. We propose the use of the tree-like space complexity as a solid candidate to be the best measure for solvers based on DPLL. To support this thesis we provide a comparison with the other mentioned measures. We also conduct an experimental investigation to show how the proposed measure characterizes the hardness of random and industrial instances.
The Impact of Network Capabilities on Entrepreneurial Resource Acquisition
Authors: Baoshan Ge, Dongming Yu
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

Drawing on a database of 177 start-ups, we investigated the impact of network capability, defined as a firm’s ability to develop and utilize inter-organizational relationships, on entrepreneurial resource acquisition. Not only do the results suggest that a firm’s resource acquisition effectiveness is positively influenced by its NC, but also its resource acquisition outcomes. NC can set up strong resource base for start-ups, which, in turn, can bring competitive advantage for the new ventures. The results, to some extent, show that NC can facilitate the growth of start-ups. Suggestions and limitations are discussed at the end.
Open Collaborative Development: Trends, Tools, and Tactics
Authors: Kathrin M. Moeslein, Angelika C. Bullinger, Jens Soeldner
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends (2009)

Following the successful trend of open source, companies can be observed to open their innovation and development processes towards interested and capable partners inside and outside the organization. Previous research has neglected the need to integrate these different innovators. In this paper, we start to explore how this integration can be facilitated by social software, a class of applications that belong to the group of web-based, user-centric applications commonly referred to by the term Web 2.0. We show data of 24 social networking services which we examined along the characteristics typically used in the field of social software.
Research on Jacquard Control System for Three-Pile-Height Carpet Tufting Machine
Authors: Chen Guangfeng, Zhang Yawei, Jin Zhilei, Sun Zhijun, Sun Yize
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

This paper addressed the development of jacquard control system for three-pile-height carpet tufting machine. The tufting machine adopts electromagnetic clutches and servo motors as yarn-delivery mechanism. Base on the jacquard principle, design the hardware of the control system, analyzed the digital control logic for servo motor and clutch base on given design pattern, and developed the control software to realize the jacquard control. Utilize industrial computer and I/O boards to control servo motor and clutches, the IPC converts pattern information into the control information, drive servo motor to real time trace the main axis rotation, controlsthe state of magnetic-clutch through I/O board, and get three-level loop tufting carpet.
A Comparative Analysis to Traditional PID and Fuzzy Adaptive PI-Variable Damping Controlling System of MRST Stabilized Platform
Authors: Duan Zheng Yong, Peng Yong
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

Based on analysis to the performance requirements of the modulation rotary steerable drilling tool (MRST) stabilized platform controlling system, traditional PID and fuzzy adaptive PI-variable damping control schemes are studied contradistinctively to better solve the control problem. The simulation results show that the traditional PID control method only caters to one working condition of the controlling system, but the other, using fuzzy control algorithm, can adjust controller’s parameters onlinely in terms of system’s responses to eliminate the interferences of diverse drilling conditions, adapts to the nonlinearity and time-varying uncertainty, has perfect control effect: the adjusting time is only about 0.3s, the overshooting is less than 0.5% and the steady-state error is not more than 0.05%, exhibiting good quick-responsibility, stability, adaptability, noise immunity and robustness.
Real Deployments of Wireless Sensor Networks
Authors: Diana Bri, Miguel Garcia, Jaime Lloret, Petre Dini
Venue: Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications (2009)

Sensor networks are becoming one of the most used technologies in our lives. Although there are several surveys about sensor networks, almost all of them focus on theoretical basis with little simulations. Some of the studies only explain where these kinds of networks can be useful, without details on how can they be applied. This paper classifies the applications of wireless sensor networks and describes real implementations. The target is to complement the existing surveys, by presenting details on real implementations in order to understand how these networks run, and how they are designed, maintained and operated.
Growing finely-discriminating taxonomies from seeds of varying quality and size
Authors: Tony Veale, Guofu Li, Yanfen Hao
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics (2009)

Concept taxonomies offer a powerful means for organizing knowledge, but this organization must allow for many overlapping and fine-grained perspectives if a general-purpose taxonomy is to reflect concepts as they are actually employed and reasoned about in everyday usage. We present here a means of bootstrapping finely-discriminating taxonomies from a variety of different starting points, or seeds, that are acquired from three different sources: WordNet, ConceptNet and the web at large.
Real-time prosody-driven synthesis of body language
Authors: Sergey Levine, Christian Theobalt, Vladlen Koltun
Venue: ACM Transactions on Graphics (TOG) (2009)

Human communication involves not only speech, but also a wide variety of gestures and body motions. Interactions in virtual environments often lack this multi-modal aspect of communication. We present a method for automatically synthesizing body language animations directly from the participants' speech signals, without the need for additional input. Our system generates appropriate body language animations by selecting segments from motion capture data of real people in conversation. The synthesis can be performed progressively, with no advance knowledge of the utterance, making the system suitable for animating characters from live human speech. The selection is driven by a hidden Markov model and uses prosody-based features extracted from speech. The training phase is fully automatic and does not require hand-labeling of input data, and the synthesis phase is efficient enough to run in real time on live microphone input. User studies confirm that our method is able to produce realistic and compelling body language.
Addressing Learning Style Criticism: The Unified Learning Style Model Revisited
Authors: Elvira Popescu
Venue: Proceedings of the 8th International Conference on Advances in Web Based Learning (2009)

Learning style is one of the individual differences that play an important but controversial role in the learning process. This paper aims at providing a critical analysis regarding learning styles and their use in technology enhanced learning. The identified criticism issues are addressed by reappraising the so called Unified Learning Style Model (ULSM). A detailed description of the ULSM components is provided, together with their rationale. The practical applicability of the model in adaptive web-based educational systems and its advantages versus traditional learning style models are also outlined.