ppxscal/embedding_network huggingface dataset:
Service mediation and negotiation bootstrapping as first achievements towards self-adaptable grid and cloud services
Authors: Ivona Brandic, Dejan Music, Schahram Dustdar
Venue: Proceedings of the 6th international conference industry session on Grids meets autonomic computing (2009)

Nowadays, novel computing paradigms as for example Grid or Cloud Computing are gaining more and more on importance. In case of Cloud Computing users pay for the usage of the computing power provided as a service. Beforehand they can negotiate specific functional and non-functional requirements relevant for the application execution. However, providing computing power as a service bears different research challenges. On the one hand dynamic, versatile, and adaptable services are required, which can cope with system failures and environmental changes. On the other hand, human interaction with the system should be minimized. In this paper we present the first results in establishing adaptable, versatile, and dynamic services considering negotiation bootstrapping and service mediation achieved in context of the Foundations of Self-Governing ICT Infrastructures (FoSII) project. We discuss novel meta-negotiation and SLA mapping solutions for Grid/Cloud services bridging the gap between current QoS models and Grid/Cloud middleware and representing important prerequisites for the establishment of autonomic Grid/Cloud services. We present document models for the specification of meta-negotiations and SLA mappings. Thereafter, we discuss the sample architecture for the management of meta-negotiations and SLA mappings.
Dynamic Consistency in Process Algebra: From Paradigm to ACP
Authors: S. Andova, L. P. J. Groenewegen, E. P. de Vink
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistently specified at various levels of abstraction. To enable automated verification of Paradigm models, a translation of Paradigm into process algebra is provided. Examples are given and guidelines for a systematic translation into the process algebra ACP are discussed. Verification results building on the mCRL2 toolset are presented as well.
Conceptual Modelling (and Problem Solving Techniques) for Complex Narrative Events
Authors: Gian Piero Zarri
Venue: Proceeding of the 2006 conference on Information Modelling and Knowledge Bases XVII (2006)

An application of NKRL (Narrative Knowledge Representation Language) techniques on (declassified) 'terrorism' documents has been carried out in the context of the IST Parmenides project. To allow the broadest possible exploitation of the 'semantic content' of the original documents, this application has required implementing the integration between the two main inferencing modes of NKRL, 'hypotheses' and 'transformations'. The paper describes the conceptual problems encountered and the solutions adopted.
A logic of propositional control for truthful implementations
Authors: Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge
Venue: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (2009)

We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We give a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., that every social choice function can be characterised as a formula of the logic. We show the decidability of the logic and give a complete axiomatization. To demonstrate the value of the logic, we show in particular how it can be applied to the problem of determining whether a social choice function is strategy-proof.
Morphological mismatches in machine translation
Authors: Igor Mel'čuk, Leo Wanner
Venue: Machine Translation (2008)

This paper addresses one of the least studied, although very important, problems of machine translation--the problem of morphological mismatches between languages and their handling during transfer. The level at which we assume transfer to be carried out is the Deep-Syntactic Structure (DSyntS) as proposed in the Meaning-Text Theory. DSyntS is abstract enough to avoid all types of surface morphological divergences. For the remaining `genuine' divergences between grammatical significations, we propose a morphological transfer model. To illustrate this model, we apply it to the transfer of grammemes of definiteness and aspect for the language pair Russian---German and German---Russian, respectively.
An efficient query system for high-dimensional spatio-temporal data
Authors: Cindy Chen, Jie Wang
Venue:  (2008)

This thesis is directed toward developing an efficient query system for high-dimensional spatio-temporal data sets, where each data point comprises a 3D spatial location, a time instance, and other attributes. Our approach consists of three phases. In the first phase, we preprocess the data set and partition it into clusters. In particular, we develop an I/O efficient, fast clustering method for high-dimensional data without leaving out any dimension. This provides a solid foundation for the next two phases. In the second phase, we apply computational geometry algorithms to compute the 3D spatial boundaries of the clusters and triangulate the space enclosed in each boundary into a set of tetrahedrons, where each tetrahedron represents all the data points contained in it. In the third phase, we establish a 3D spatial data model to manipulate the data acquired after the second phase. We study the 3D spatial operations and relationships in this phase. We then extend the SQL language to support efficient 3D spatial data queries. Finally, we present an implementation of such a query system.
Interfacial layer optimization of high-k/metal gate stacks for low temperature processing
Authors: Barry P. Linder, Vijay Narayanan, Eduard A. Cartier
Venue: Microelectronic Engineering (2009)

Understanding the requirements for obtaining high mobility gate stacks in a low temperature process is crucial for enabling a low temperature integration flow. A low temperature integration scheme may be necessary for higher-k dielectrics (k>25) or for extremely scaled devices (
Restarting the lanczos algorithm for large eigenvalue problems and linear equations
Authors: Ronald B. Morgan
Venue:  (2008)

We are interested in computing eigenvalues and eigenvectors of large matrices and in solving large systems of linear equations. Restarted versions of both the symmetric and nonsymmetric Lanczos algorithms are given. For the symmetric case, we give a method called Lan-DR that simultaneously solves linear equations and computes eigenvalues and eigenvectors. The use of approximate eigenvectors deflates eigenvalues. Maintaining the orthogonality of the Lanczos vectors is a concern. We suggest an approach that is a combination of Parlett and Scott's idea of selective orthogonalization and Simon's partial orthogonalization. For linear systems with multiple right-sides, eigenvectors computed during the solution of the first right-hand side can be used to give much faster convergence of the second and subsequent right-hand sides. A restarted version of the nonsymmetric Lanczos algorithm is developed. Both the right and left eigenvectors are computed while systems of linear equations are solved. We also investigate a restarted two-sided Arnoldi. We compare expense and stability of this approach with restarted nonsymmetric Lanczos.
Tunable linear conductance by two MOSFETs and its application to analogue-mixed VLSI for mobile communications and biologically plausible neuromorphic hardware
Authors: Woojoon Han, Ilsong Han
Venue: Proceedings of the 8th WSEAS international conference on Electronics, hardware, wireless and optical communication (2009)

This paper describes a mixed-signal VLSI design utilizing the controlled conductance properties of MOSFETs, for the RF filter of mobile communication and the biologically plausible neuromorphic hardware. The programmable linear conductance is realized by the pair of MOSFETs in the triode region, and it produces the voltage-controlled tunable function with the demonstration in the areas of tunable analogue VLSI for RF communication and electronic neurons of biologically plausible characteristics. The transconductance amplifier based on the proposed MOSFET conductance has the bandwidth over 6 GHz and illustrated the hardware implementation of the biologically plausible neurons of Hodgkin-Huxley formalism.
Evaluating and repairing write performance on flash devices
Authors: Radu Stoica, Manos Athanassoulis, Ryan Johnson, Anastasia Ailamaki
Venue: Proceedings of the Fifth International Workshop on Data Management on New Hardware (2009)

In the last few years NAND flash storage has become more and more popular as price per GB and capacity both improve at exponential rates. Flash memory offers significant benefits compared to magnetic hard disk drives (HDDs) and DBMSs are highly likely to use flash as a general storage backend, either alone or in heterogeneous storage solutions with HDDs. Flash devices, however, respond quite differently than HDDs for common access patterns, and recent research shows a strong asymmetry between read and write performance. Moreover, flash storage devices behave unpredictably, showing a high dependence on previous IO history and usage patterns. In this paper we investigate how a DBMS can overcome these issues to take full advantage of flash memory as persistent storage. We propose new a flash aware data layout --- append and pack --- which stabilizes device performance by eliminating random writes. We assess the impact of append and pack on OLTP workload performance using both an analytical model and micro-benchmarks, and our results suggest that significant improvements can be achieved for real workloads.
Media Theory: Interdisciplinary Applied Mathematics, 1st edition
Authors: David Eppstein, Jean-Claude Falmagne, Sergei Ovchinnikov
Venue:  (2007)

The focus of this book is a mathematical structure modeling a physical or biological system that can be in any of a number of `states.' Each state is characterized by a set of binary features, and differs from some other neighbor state or states by just one of those feature. A simple example of a `state is a partial solution of a jigsaw puzzle, which can be transformed into another partial solution or into the final solution just by adding or removing a single adjoining piece. The evolution of such a system over time is considered. Such a structure is analyzed from algebraic and probabilistic (stochastic) standpoints.
The initiation, growth, and sustainment of SDI in the middle east: notes from the trenches
Authors: Mark Sorensen, Faris Sayegh
Venue: Information Technology for Development (2007)

Countries and regions around the world--including many with transitional economies and other circumstances that require special consideration--are increasingly embracing the notion of spatial data infrastructure (SDI). Why and how such formal or informal GIS initiatives are launched, and by what means they are grown and sustained over time, seems to depend heavily on evolving circumstances and who is in the driver's seat. This article outlines our experiences and observations regarding some of the biggest challenges SDI implementers face today both in the Middle East and in the areas where academic research and capacity building can make a real difference.
Microsoft PowerShell, VBScript & JScript Bible
Authors: William R. Stanek, James O'Neill, Jeffrey Rosen
Venue:  (2009)

Packed with more than 300 sample scripts and an extensive collection of library functions, this essential scripting book is the most thorough guide to Windows scripting and PowerShell on the market. Youll examine how Windows scripting is changing the face of system and network administration by giving everyday users, developers, and administrators the ability to automate repetitive tasks. Plus, this is the first time that VBScript, Jscript, and Powershell are all covered in a single resource.
Subdomain adaptation of a POS tagger with a small corpus
Authors: Yuka Tateisi, Yoshimasa Tsuruoka, Jun-ichi Tsujii
Venue: Proceedings of the Workshop on Linking Natural Language Processing and Biology: Towards Deeper Biological Literature Analysis (2006)

For the domain of biomedical research abstracts, two large corpora, namely GENIA (Kim et al 2003) and Penn BioIE (Kulik et al 2004) are available. Both are basically in human domain and the performance of systems trained on these corpora when they are applied to abstracts dealing with other species is unknown. In machine-learning-based systems, re-training the model with addition of corpora in the target domain has achieved promising results (e.g. Tsuruoka et al 2005, Lease et al 2005). In this paper, we compare two methods for adaptation of POS taggers trained for GENIA and Penn BioIE corpora to Drosophila melanogaster (fruit fly) domain.
Simultaneous electrochemical determination of glue and thiourea in copper refining by using artificial neural network
Authors: Efat Rezaei
Venue: Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases (2009)

In this research an artificial neural network was invented for simultaneous determination of both glue and thiourea in industrial electrolytes. First, a network was designed, which electrochemical data was its input. This network consisted of three layers of nodes, and back propagation rule was used for training the network. Sigmoid transfer function was applied in the hidden and output layers. The precision and accuracy of model was tested. The resulting MSE (Mean Square Error) for prediction of glue and thiourea were 0.0011 and 0.0008 respectively.
Incremental Clustering Algorithm for Earth Science Data Mining
Authors: Ranga Raju Vatsavai
Venue: Proceedings of the 9th International Conference on Computational Science (2009)

Remote sensing data plays a key role in understanding the complex geographic phenomena. Clustering is a useful tool in discovering interesting patterns and structures within the multivariate geospatial data. One of the key issues in clustering is the specification of appropriate number of clusters, which is not obvious in many practical situations. In this paper we provide an extension of G-means algorithm which automatically learns the number of clusters present in the data and avoids over estimation of the number of clusters. Experimental evaluation on simulated and remotely sensed image data shows the effectiveness of our algorithm.
Logging home use of the internet in the Blacksburg Electronic Village
Authors: John M. Carroll, Jason S. Snook, Philip L. Isenhour
Venue: International Journal of Advanced Media and Communication (2009)

Many user studies of the internet employ survey methods and focus on societal-level impacts. A richer and more valid understanding of the internet includes other types of data (e.g., individual interviews, direct-observation ethnographies, session logging) and finer-level impacts (e.g., impacts on family life, on proximate communities, or on geographical regions). We describe a logging study of 43 households in Blacksburg, Virginia and surrounding Montgomery County. This proximate community is the home of the Blacksburg Electronic Village (BEV), a mature, World Wide Web-based community network. We discuss methodological challenges of logging studies and summarise novel approaches of analysis and interpretation. We conclude with summaries of overall patterns of activity, specifically focusing on locally-oriented internet activity.
A dynamic interest rate adjusting mechanism for online social lending
Authors: Masashi Iwakami, Takayuki Ito, Joaquin Delgado
Venue: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2 (2009)

Social lending is a dynamic trading mechanism that can directly match one consumer with another consumer. Most manual transaction processes conducted by traditional financial institutions can be done automatically and tailored to each consumer in social lending. In this paper, we focus on an automatic interest adjustment and incentive mechanism for borrowers because they are crucial for dynamic social lending since they could help increase worth and reduce payment delays. First, we propose a Bayesian updating method for interest rate adjustment that considers the influence of their social groups on borrowers. Our method determines an accurate rate because the borrower's delay history is dynamically reflected in the rate decision. Second, we propose an incentive mechanism that improves a borrower's payment delay score. The mechanism offers incentives for payment with rewards (penalties) to borrowers. We demonstrate the efficiency on our proposed methods by conducting agent simulations.
Multiview RT3D Echocardiography Image Fusion
Authors: Kashif Rajpoot, J. Alison Noble, Vicente Grau, Cezary Szmigielski, Harald Becher
Venue: Proceedings of the 5th International Conference on Functional Imaging and Modeling of the Heart (2009)

Real-time three-dimensional echocardiography (RT3DE) permits the acquisition and visualization of the beating heart in 3D. However, its actual utility is limited due to missing anatomical structures and limited field-of-view (FOV). We present an automatic two-stage registration and fusion method to integrate multiple single-view RT3DE images. The registration scheme finds a rigid transformation by using a multiresolution algorithm. The fusion is based on the 3D wavelet transform, utilizing the separation of the image into low- and high-frequency wavelet subbands. The qualitative and quantitative results, from 12 subjects, demonstrate that the proposed fusion framework helps in: (i) filling-in missing anatomical information, (ii) extending the FOV, and (iii) increasing the structural information and image contrast.
An alternative approach to cluster management
Authors: David J. Dewitt
Venue:  (2008)

This thesis presents research into the viability of implementing a cluster management system as a web application. On the surface, cluster management systems may not appear to have much in common with web applications. Closer inspection, however, reveals a set of overlapping services required by both, including: persistent data, transactions, query processing, fault-tolerance, and high-availability. Traditionally, cluster management systems have implemented their own custom mechanisms for providing these services. Web applications, on the other hand, often rely on standardized software infrastructure to provide these services. The goal of the research presented here is to explore the suitability of the web application infrastructure as the basis for building a cluster management system. The core of this thesis, Chapters 3 through 5, documents the implementation and evaluation of two prototype cluster management systems built on the web application infrastructure. The first prototype system, CondorJ2, is described in Chapter 3. The CondorJ2 implementation demonstrates the feasibility of this approach to building a cluster management system, and its evaluation suggests that further research in this direction is justified. The second prototype system, Clustera, is described and evaluated in Chapters 4 and 5. Clustera builds on the CondorJ2 work by integrating computation and data management within one general-purpose system. The Clustera evaluation in Chapter 4 reveals that Clustera can perform at a level comparable to an existing special-purpose system on a workload that the special-purpose system was specifically designed to manage. The Chapter 5 evaluation contains two especially encouraging results that suggest that Clustera can take advantage of the web infrastructure approach to fault-tolerance, high-availability, and scalability in the application server tier. The first result is that Clustera maintains near-constant application-server tier capacity utilization when the number of application server machines and the job dispatching throughput demand on the system are increased proportionally. The second result is the demonstration of rapid failover with minimal performance degradation in response to application server failure.
Best Practice: The Pros on Adobe Flash, 1st edition
Authors: Douglas Easterly
Venue:  (2007)

Learn to master the full capabilities of Flash with this innovative, forward-thinking book designed to motivate as well as instruct. In an effort to breathe new life into the traditionally dull world of technical instructional books, Best Practice: The Pros on Flash showcases leading artists and designers, using their creativity and experience as a launching pad for introducing Flash topics and techniques. Each chapter features an in-depth interview with an artist who has developed unique Flash methodologies to create provocative and inspiring multimedia work. By examining their influences and concepts - and by providing step-by-step instruction on how Flash is used to realize their artistic vision - this book provides a comprehensive, personalized look at Flash and its capabilities. Each chapter features in-depth background on the artist and detailed examination of his or her work as well as step-by-step instruction on how the artist creatively used Flash. Best Practice: The Pros on Flash is well suited for anyone - from newbies to professionals - looking for a fresh perspective on this industry-standard graphics program. 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
Assessment of data availability influence on integrated urban drainage modelling uncertainty
Authors: Gabriele Freni, Giorgio Mannina, Gaspare Viviani
Venue: Environmental Modelling Software (2009)

In urban water quality management, several models are connected and integrated for analysing the fate of pollutants from the sources in the urban catchment to the final recipient; classical problems connected with the selection and calibration of parameters are amplified by the complexity of the modelling approach increasing their uncertainty. The present paper aims at studying the influence of reductions in available data on the modelling response uncertainty with respect to the different integrated modelling outputs (both considering quantity and quality variables). At this scope, a parsimonious integrated home-made model has been used allowing for analysing the combinative effect of data availability regarding the different parts of the integrated urban drainage system; the uncertainty analysis approach has been applied to an experimental catchment in Bologna (Italy). The number of available data points has been fictitiously reduced obtaining data sets ranging between 25% and 100% of the actually measured data. For each of the data sets, uncertainty has been evaluated and its propagation from the upstream sub-model to the downstream ones has been assessed. The present study demonstrates that model calibration and modelling efficiency assessment may induce the operator to be excessively confident in the model results when available data are scarce. Quite the opposite is indeed true, that limited data availability increases modelling uncertainty. A conclusion of this article is that uncertainty analysis should always be conducted in order to effectively evaluate model reliability.