ppxscal/embedding_network huggingface dataset:
Existence of periodic solutions for a class of differential equations of second order
Authors: Tieguo Ji, Wei Dong
Venue: Proceedings of the 13th WSEAS international conference on Applied mathematics (2008)

By using comparison on theorem and Leray-Schauder degree approach, the existence and uniqueness of periodic solution for a class of nonlinear second order differential equations is discussed, which generalizes and refines the recent work of Cong(Appl.Math.Letters18(2005), 957-961.)
Sarbanes-Oxley IT Compliance Using Open Source Tools-Second Edition, Second Edition, 2nd edition
Authors: Christian B. Lahti, Roderick Peterson
Venue:  (2007)

The Sarbanes-Oxley Act (officially titled the Public Company Accounting Reform and Investor Protection Act of 2002), signed into law on 30 July 2002 by President Bush, is considered the most significant change to federal securities laws in the United States since the New Deal. It came in the wake of a series of corporate financial scandals, including those affecting Enron, Arthur Andersen, and WorldCom. The law is named after Senator Paul Sarbanes and Representative Michael G. Oxley. It was approved by the House by a vote of 423-3 and by the Senate 99-0. This book illustrates the many Open Source cost-saving opportunities that public companies can explore in their IT enterprise to meet mandatory compliance requirements of the Sarbanes-Oxley act. This book will also demonstrate by example and technical reference both the infrastructure components for Open Source that can be made compliant, and the Open Source tools that can aid in the journey of compliance. Although many books and reference material have been authored on the financial and business side of Sox compliance, very little material is available that directly address the information technology considerations, even less so on how Open Source fits into that discussion.The format of the book will begin each chapter with the IT business and executive considerations of Open Source and SOX compliance. The remaining chapter verbiage will include specific examinations of Open Source applications and tools which relate to the given subject matter, and last a bootable ?live? CD will have fully configured running demonstrations of Open Source tools as a valuable technical reference for implementation of the concepts provided in the book * Only book that shows companies how to use Open Source tools to achieve SOX compliance, which dramatically lowers the cost of using proprietary, commercial applications.* Only SOX book with a bootable-Linux CD containing countless applications, forms, and checklists to assist companies in achieving SOX compliance.* Only SOX compliance book specifically detailing steps to achieve SOX compliance for IT Professionals.
Guiding Search using Constraint-level Advice
Authors: Radoslaw Szymanek, Barry O'Sullivan
Venue: Proceeding of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy (2006)

Constraint satisfaction problems are traditionally solved using some form of backtrack search that propagates constraints after each decision is made. The efficiency of search relies heavily on the use of good variable and value ordering heuristics. In this paper we show that constraints can also be used to guide the search process by actively proposing the next choice point to be branched on. We show that search effort can be reduced significantly.
Feedback-induced gain control in stochastic spiking networks
Authors: Connie Sutherland, Brent Doiron, Andr&#x00e9; Longtin
Venue: Biological Cybernetics (2009)

The joint influence of recurrent feedback and noise on gain control in a network of globally coupled spiking leaky integrate-and-fire neurons is studied theoretically and numerically. The context of our work is the origin of divisive versus subtractive gain control, as mixtures of these effects are seen in a variety of experimental systems. We focus on changes in the slope of the mean firing frequency-versus-input bias (f &#x2013;I) curve when the gain control signal to the cells comes from the cells&#x2019; output spikes. Feedback spikes are modeled as alpha functions that produce an additive current in the current balance equation. For generality, they occur after a fixed minimum delay. We show that purely divisive gain control, i.e. changes in the slope of the f &#x2013;I curve, arises naturally with this additive negative or positive feedback, due to a linearizing actions of feedback. Negative feedback alone lowers the gain, accounting in particular for gain changes in weakly electric fish upon pharmacological opening of the feedback loop as reported by Bastian (J Neurosci 6:553&#x2013;562, 1986). When negative feedback is sufficiently strong it further causes oscillatory firing patterns which produce irregularities in the f &#x2013;I curve. Small positive feedback alone increases the gain, but larger amounts cause abrupt jumps to higher firing frequencies. On the other hand, noise alone in open loop linearizes the f &#x2013;I curve around threshold, and produces mixtures of divisive and subtractive gain control. With both noise and feedback, the combined gain control schemes produce a primarily divisive gain control shift, indicating the robustness of feedback gain control in stochastic networks. Similar results are found when the &#x201c;input&#x201d; parameter is the contrast of a time-varying signal rather than the bias current. Theoretical results are derived relating the slope of the f &#x2013;I curve to feedback gain and noise strength. Good agreement with simulation results are found for inhibitory and excitatory feedback. Finally, divisive feedback is also found for conductance-based feedback (shunting or excitatory) with and without noise.
Interpretation of Ambiguous Zone in Handwritten Chinese Character Images Using Bayesian Network
Authors: Zhongsheng Cao, Zhewen Su, Yuanzhen Wang
Venue: Proceedings of the 6th International Symposium on Neural Networks: Advances in Neural Networks - Part III (2009)

Interpretation of ambiguous zone is an essential step to recovering dynamic information from handwritten images, which can be seen as to deduce the original motion intention of the writer at the intersection areas. This study presents a novel method to interpret ambiguous zones by constructing a Bayesian belief network. In the initial phase, a graph is built to model the character and several sample points are extracted from each sub-stroke. In the interpreting phase, each pair of sub-strokes is characterized in terms of the comparison of orientation, width, and curvature. Finally, a Bayesian belief network is established to determine the continuous pairs. A series of experiments are conducted on test samples collected from a standard handwritten Chinese text database, and the results show that the proposed method can interpret ambiguous zones effectively.
Information Technology Governance and Decision Support Systems
Authors: Rob Meredith
Venue: Proceeding of the 2008 conference on Collaborative Decision Making: Perspectives and Challenges (2008)

Information technology governance is the set of organizational structures that determine decision-making rights and responsibilities with regard to an organisation's information technology assets. Although an important sub-field of information technology, little research has been done on the issues relating to the governance of decision support systems. This paper argues that decision support systems are significantly different to other kinds of information technology, and that this means there is a need to consider issues specific to their governance. Orlikowski's [17] theory of the Structuration of Technology is used to highlight the fundamental differences between decision support systems and other kinds of information technology, and their respective relationships with organizational structures. Some preliminary recommendations and suggestions for further research into issues of decision support systems governance are made.
Radiometric surface temperature calibration effects on satellite based evapotranspiration estimation
Authors: J. L. Chavez, P. H. Gowda, T. A. Howell, K. S. Copeland
Venue: International Journal of Remote Sensing (2009)

Agriculture on the Texas High Plains (THP) uses approximately 89% of groundwater withdrawals from the Ogallala Aquifer, leading to steady decline in water table levels. Therefore, efficient water management is essential for sustaining agricultural production in the THP. Accurate evapotranspiration (ET) maps provide critical information on actual spatio-temporal crop water use. METRIC (Mapping Evapotranspiration at High Resolution using Internalized Calibration) is a remote sensing based energy balance method that uses radiometric surface temperature (T s) for mapping ET. However, T s calibration effects on satellite based ET estimation are less known. Further, METRIC has never been applied for the advective conditions of the semi-arid THP. In this study, METRIC was applied and predicted ET was compared with measured values from five monolithic weighing lysimeters at the USDA-ARS Conservation and Production Research Laboratory in Bushland, Texas, USA. Three different levels of calibration were applied on a Landsat 5 Thematic Mapper's thermal image acquired on 23 July 2006 to derive T s. Application of METRIC on a MODTRAN calibrated image improved the accuracy of distributed ET prediction. In addition, ET estimates were further improved when a THP-specific model was used for estimating leaf area index. Results indicated that METRIC performed well with ET mean bias error±root mean square error of 0.4±0.7 mm d-1.
The Measurement of Distinguishing Ability of Classification in Data Mining Model and Its Statistical Significance
Authors: Lingling Zhang, Qingxi Wang, Jie Wei, Xiao Wang, Yong Shi
Venue: Proceedings of the 9th International Conference on Computational Science (2009)

In order to test to what extent can data mining distinguish from observation points of different types, the indicators that can measure the difference between the distribution of positive and negative point scores are raised. First of all, we use the overlapping area of two types of point distributions-overlapping degree, to describe the difference, and discuss the nature of overlapping degree. Secondly, we put forward the image and quantitative indicators with the ability to distinguish different models: Lorenz curve, Gini coefficient, AR, as well as the similar ROC curve and AUC. We have proved AUC and AR are completely linear related; Finally, we construct the nonparametric statistics of AUC, however, the difference of K-S is that we cannot draw the conclusion that zero assumption is more difficult to be rejected when negative points take up a smaller proportion.
The e-Sentencias Prototype: A Procedural Ontology for Legal Multimedia Applications in the Spanish Civil Courts
Authors: Pompeu Casanovas, Xavier Binefa, Ciro Gracia, Emma Teodoro, Núria Galera, Mercedes Blázquez, Marta Poblet, Jordi Carrabina, Màrius Monton, Carlos Montero, Javier Serrano, José Manuel López-Cobo
Venue: Proceeding of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood (2009)

Search, retrieval, and management of multimedia contents are challenging tasks for users and researchers alike. We introduce a software-hardware system for the global management of the multimedia contents produced by Spanish Civil Courts. The ultimate goal is to obtain an automatic classification of images and segments of the audiovisual records that, coupled with textual semantics, allows an efficient navigation and retrieval of judicial documents and additional legal sources. This paper describes our knowledge acquisition process, sets a typology of Spanish Civil hearings as performed in practice, and a preliminary procedural ontology at its actual stage of development (e-Sentencias ontology). A discussion on procedural, contextual and multimedia ontologies is also provided.
Demonstration of the UAM CorpusTool for text and image annotation
Authors: Mick O'Donnell
Venue: Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics on Human Language Technologies: Demo Session (2008)

This paper introduced the main features of the UAM CorpusTool, software for human and semi-automatic annotation of text and images. The demonstration will show how to set up an annotation project, how to annotate text files at multiple annotation levels, how to automatically assign tags to segments matching lexical patterns, and how to perform cross-layer searches of the corpus.
Introduction to Reconfigurable Computing: Architectures, Algorithms, and Applications, 1st edition
Authors: Christophe Bobda
Venue:  (2007)

Introduction to Reconfigurable Computing provides a comprehensive study of the field Reconfigurable Computing. It provides an entry point to the novice willing to move in the research field reconfigurable computing, FPGA and system on programmable chip design. The book can also be used as teaching reference for a graduate course in computer engineering, or as reference to advance electrical and computer engineers. It provides a very strong theoretical and practical background to the field of reconfigurable computing, from the early Estrins machine to the very modern architecture like coarse-grained reconfigurable device and the embedded logic devices. Apart from the introduction and the conclusion, the main chapters of the book are Architecture of reconfigurable systems, Design and implementation, High-Level Synthesis for Reconfigurable Devices, Temporal placement, On-line and Dynamic Interconnection, Designing a reconfigurable application on Xilinx Virtex FPGA, System on programmable chip, Applications.
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology
Authors: Alexandre Donzé, Gilles Clermont, Axel Legay, Christopher J. Langmead
Venue: Proceedings of the 13th Annual International Conference on Research in Computational Molecular Biology (2009)

The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor changes in initial conditions or parameters can lead to radically different behaviors. This is problematic because in general it is never possible to know/measure the precise state of any biological system due to measurement errors. The parameter synthesis problem is to identify sets of parameters (including initial conditions) for which a given system of nonlinear ODEs does not reach a given set of undesirable states. We present an efficient algorithm for solving this problem that combines sensitivity analysis with an efficient search over initial conditions. It scales to high-dimensional models and is exact if the given model is affine. We demonstrate our method on a model of the acute inflammatory response to bacterial infection, and identify initial conditions consistent with 3 biologically relevant outcomes.
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism
Authors: Mihaela Sighireanu, Tayssir Touili
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, ''@?'', that allows to model parallel composition while keeping the order between parallel processes. Indeed, sometimes, it is important to remember the order between the parallel processes. The reachability problem of O-PRS being undecidable, we develop tree automata techniques allowing to build polynomial finite representations of (1) the exact reachable configurations in O-PRS modulo various equivalences that omit the associativity of ''@?'', and (2) underapproximations of the reachable configurations if the associativity of ''@?'' is considered. We show that these underapproximations are exact if the number of communications between ordered parallel processes is bounded. We implemented our algorithms in a tool that was used for the analysis of a concurrent lexer server.
Inquiry Based Learning Environment for Children
Authors: Marjatta Kangassalo, Eva Tuominen
Venue: Proceeding of the 2008 conference on Information Modelling and Knowledge Bases XIX (2008)

This paper describes development work on children's science learning environments that utilize an inquiry-based learning approach as well as modern technological possibilities. The emphasis in the paper is on the theoretical and pedagogical starting points of inquiry learning and their application to two multimedia learning environments. The modelling of children's exploratory learning in these environments is also described and discussed.
General method for testing context aware applications
Authors: Stefan Taranu, Jens Tiemann
Venue: Proceedings of the 6th international workshop on Managing ubiquitous communications and services (2009)

Context aware applications are starting to be utilized more to build autonomic systems. Therefore, it is not only necessary to know how to build them but, once built, also how to test them. There are several agreed architectures on engineering these kinds of applications, but there is no common methodology for testing them. We propose in this paper a general method that can be applied in testing such applications regardless of their architecture. As an example, we will describe two components of this method -- a context dissemination system and a context generator. Applied to wireless networking we show how they are connected with each other as well as with the system under test.
On Achievable Data Rates and Optimal Power Allocation in Fading Channels with Imperfect Channel State Information
Authors: Khaled Almustafa, Serguei Primak, Tricia Willink, Kareem Baddour
Venue: Wireless Personal Communications: An International Journal (2009)

Achievable rates of wireless communication systems with pilot-based channel estimation are investigated for the case of time-selective fading. Novel analytical expressions for the maximum achievable rates of such systems are derived in terms of the system signal-to-noise ratio (SNR), fading rate and estimation scheme deployed. The frame size is optimized jointly based on the SNR and the fading rate. The maximum rate achieving coding scheme is suggested and shown to be a modified version of the classical water-filling algorithm that accounts for imperfect channel state information (CSI) at the transmitter. The impact of the estimation scheme and the angular spread of the received signal on the quality of estimation and achievable rates is evaluated. A number of numerical simulations are provided to illustrate the dependence of the optimal block length and achievable rates on SNR, fading rate, estimation scheme and angular spread of the channel.
Towards a Semantic Service Broker for Business Grid
Authors: Henar Muñoz Frutos
Venue: Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications (2009)

The increasing number of infrastructure services requires the existence of mechanisms to discover and select services and resources, called service broker, based on customer requirements. This mechanism should improve the interoperability among customer-provider and be a backward compatible and light weight approach. The introduction of semantic annotations in service description (both functional and non-functional properties) as well as a conceptual model for business Grid can help to achieve them. Finally, the extension of the semantic Open Grid Service Architecture (S-OGSA) with the incorporation of the semantic service broker can incorporate the required capabilities to the Grid middleware.
Ergonomics of exoskeletons: Objective performance metrics
Authors: Andr Schiele
Venue: Proceedings of the World Haptics 2009 - Third Joint EuroHaptics conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2009)

In this paper it is shown how variation of the kinematic structure of an exoskeleton and variation of its fixation strength on the human limb influences objective task performance metrics, such as interface load, tracking error and voluntary range of motion in a signal tracking experiment.
Methodology for the Digital Calibration of Analog Circuits and Systems: with Case Studies, 1st edition
Authors: Marc Pastre, Maher Kayal
Venue:  (2009)

Methodology for the Digital Calibration of Analog Circuits and Systemsshows how to relax the extreme design constraints in analog circuits, allowing the realization of high-precision systems even with low-performance components.A complete methodology is proposed, andthree applications are detailed. To start with, an in-depth analysis of existing compensation techniques for analog circuit imperfections is carried out. The M/2+M sub-binary digital-to-analog converter is thoroughly studied, and the use of this very low-area circuit in conjunction with a successive approximations algorithm for digital compensation is described. A complete methodology based on this compensation circuit and algorithm is then proposed. The detection and correction of analog circuit imperfections is studied, and a simulation tool allowing the transparent simulation of analog circuits with automatic compensation blocks is introduced. The first application shows how the sub-binary M/2+M structure can be employed as a conventional digital-to-analog converter if two calibration and radix conversion algorithms are implemented. The second application, a SOI 1T DRAM, is then presented. A digital algorithm chooses a suitable reference value that compensates several circuit imperfections together, from the sense amplifier offset to the dispersion of the memory read currents. The third application is the calibration of the sensitivity of a current measurement microsystem based on a Hall magnetic field sensor. Using a variant of the chopper modulation, the spinning current technique, combined with a second modulation of a reference signal, the sensitivity of the complete system is continuously measured without interrupting normal operation. A thermal drift lower than 50 ppm/C is achieved, which is 6 to 10 times less than in state-of-the-art implementations. Furthermore, the calibration technique also compensates drifts due to mechanical stresses and ageing.
Patterns for Fault Tolerant Software
Authors: Robert Hanmer
Venue: Wiley Software Patterns Series (2007)

Software patterns have revolutionized the way developers and architects think about how software is designed, built and documented. This new title in Wileys prestigious Series in Software Design Patterns presents proven techniques to achieve patterns for fault tolerant software. This is a key reference for experts seeking to select a technique appropriate for a given system. Readers are guided from concepts and terminology, through common principles and methods, to advanced techniques and practices in the development of software systems. References will provide access points to the key literature, including descriptions of exemplar applications of each technique. Organized into a collection of software techniques, specific techniques can be easily found with sufficient detail to allow appropriate choices for the system being designed. 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