ppxscal/embedding_network huggingface dataset:
Two algorithms for automatic page layout and possible applications
Authors: João Batista De Oliveira
Venue: Multimedia Tools and Applications (2009)

This paper describes two approaches to the problem of automatically placing document items on pages of some output device. Both solutions partition the page into regions where each item is to be placed, but work on different input data according to the application: One approach assumes that previously defined rectangular items are to be placed freely on the page (as in a sales brochure), whereas the second approach places free-form items on pages divided into columns (as in a newspaper). Moreover, both approaches try to preserve the reading order provided by the input and use all available area on the page. This paper also describes several possible advances and applications for the algorithms, detailing and expanding the work presented in de Oliveira (2008).
Designing Norms in Virtual Organizations
Authors: E. Argente, N. Criado, V. Julián, V. Botti
Venue: Proceeding of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence (2008)

Virtual Organizations have been recently employed as an abstraction for modelling dynamical and complex systems. The Norm concept has arisen inside the Multi-Agent Theory for avoiding conflicts and ensuring coordination and cooperation in open environments. In this work, a desing of norms that govern Virtual Organizations is proposed, which is based on a service-oriented approach. Therefore, we define a formal normative language for mainly controlling service registering and usage. Thus, a better integration of both Web Services and MAS Technology is achieved.
Extensional and Intensional Aspects of Conceptual Design
Authors: Elvira Locuratolo, Jari Palomaki
Venue: Proceeding of the 2008 conference on Information Modelling and Knowledge Bases XIX (2008)

A partition method is designed to achieve the flexibility of semantic models in reflecting changes occurring in real life and the efficiency on object systems. The method of partition has been applied only to the extensional aspects of concepts, i.e. set. In this paper a partition method is applied to the intensional aspects of concepts as well. A particular problem concerning the intensional negation of a concept is solved by defining a restricted intensional negation of a concept, which is important in all practical conceptual design situations all of which are confined in specific restricted part of the universe of discourse. Some further development of partitioning is presented as well.
Distributed Consensus in Multi-vehicle Cooperative Control: Theory and Applications, 1st edition
Authors: Wei Ren, Randal W. Beard
Venue:  (2007)

The coordinated use of autonomous vehicles has an abundance of potential applications from the domestic to the hazardously toxic. Frequently the communications necessary for the productive interplay of such vehicles may be subject to limitations in range, bandwidth, noise and other causes of unreliability. Information consensus guarantees that vehicles sharing information over a network topology have a consistent view of information critical to the coordination task. Assuming only neighbor-neighbor interaction between vehicles, Distributed Consensus in Multi-vehicle Cooperative Control develops distributed consensus strategies designed to ensure that the information states of all vehicles in a network converge to a common value. This approach strengthens the team, minimizing power consumption and the deleterious effects of range and other restrictions. The monograph is divided into six parts covering introductory, theoretical and experimental material and featuring: an overview of the use of consensus algorithms in cooperative control; consensus algorithms in single- and double-integrator dynamical systems; consensus algorithms for rigid-body attitude dynamics; rendezvous and axial alignment, formation control, deep-space formation flying, fire monitoring and surveillance. Notation drawn from graph and matrix theory and background material on linear and nonlinear system theory are enumerated in six appendices. The authors maintain a website at which can be found a sample simulation and experimental video material associated with experiments in several chapters of this book. Academic control systems researchers and their counterparts in government laboratories and robotics- and aerospace-related industries will find the ideas presented in Distributed Consensus in Multi-vehicle Cooperative Control of great interest. This text will also serve as a valuable support and reference for graduate courses in robotics, and linear and nonlinear control systems.
Building a thailand researcher network based on a bibliographic database
Authors: Choochart Haruechaiyasak, Alisa Kongthon, Santipong Thaiprayoon
Venue: Proceedings of the 9th ACM/IEEE-CS joint conference on Digital libraries (2009)

Among many practical and domain-specific tasks, expertise retrieval (ER) has recently gained increasing attention in the information retrieval and knowledge management communities. This paper describes our ongoing project to design and implement an expert retrieval system with the scope on researchers who work in Thailand. In our current system prototype, we assume that the areas of expertise among researchers can be extracted from bibliographic databases. We use the Science Citation Index (SCI) database to provide the information for representing the expert profiles. From the SCI database, we queried and retrieved publications covering from the year 2001 to 2008 by specifying the affiliation equal to "Thailand". The results contain a set of approximately 23,000 publications. We downloaded and extracted four related fields including authors (denoted by AU), controlled terms (denoted by ID), keywords (denoted by DE) and subject category (denoted by SC). To build a researcher network, we consider two types of relationships: direct and indirect. The direct (or social) relationship is defined as the co-authoring degree between one researcher to others. The co-authoring degree between two researchers, co-authoring(A,B), can be calculated based on the co-occurrence frequency between A and B found in the field AU of 23,000 retrieved records. The indirect (or topical relationship is defined when two researchers have publications under the same topics. The topical degree between two researchers, topical(A,B), can be calculated based on the similarity measure between two sets of extracted keywords, keyword(A) and keyword(B), representing researcher A and B, respectively. The keyword set can be extracted from the fields ID, DE and SC. An author with high frequencies on particular keywords is considered an expert in the corresponding research topics.
Microsoft Office Accounting Professional 2007 Step by Step, 1st edition
Authors: Curtis Frye
Venue:  (2007)

The smart way to learn Microsoft Office Accounting Professional 2007 one step at a time! Work at your own pace through the easy numbered steps, practice files on CD, helpful hints, and troubleshooting tips to master the fundamentals of communicating your message effectively with the latest version of Office Accounting Professional. Updated from Microsoft Office Small Business Accounting 2006 Step by Step, you will discover the latest features in the accounting solution aimed at small business owners. You will learn how to manage your business financials, get a complete view of your business, and help your business flourish no accounting experience required. You will even learn how to sell products online and get paid faster. Plus, discover how to integrate your work with other Microsoft Office programs, including Microsoft Office Excel 2007 and Microsoft Office Word 2007. With STEP BY STEP, you can take just the lessons you need or work from cover to cover. Either way, you drive the instruction, building and practicing the skills you need, just when you need them! This guide also includes coverage of Office Accounting Express 2007. Includes an easy-search companion CD with hands-on practice files, a complete eBook, and more!
Industrial agglomeration, geographic innovation and total factor productivity: The case of Taiwan
Authors: Chia-Lin Chang, Les Oxley
Venue: Mathematics and Computers in Simulation (2009)

The paper analyses the impact of geographic innovation on total factor productivity (TFP) in Taiwan in 2001 using 242 four-digit standard industrial classification (SIC) industries. We compute TFP by estimating Translog production functions with K, L, E and M inputs, and measure the geographic innovative activity using both Krugman's Gini coefficients and the location Herfindahl index. We also consider the geographic innovation variable as an endogenous variable and use two stage least squares (2SLS) to obtain a consistent, albeit inefficient, estimator. The empirical results show a significantly positive effect of geographic innovation, as well as R&D expenditure, on TFP. These results are robust for the Gini coefficients and location Herfindahl index, when industrial characteristics and heteroskedasticity are controlled. Moreover the Hausman test shows that the geographic innovation variable should be treated as endogenous which supports the modern theory of industrial clustering regarding innovation spillovers within clusters.
Semantic traffic applications based on DatexII
Authors: J. Javier Samper, F. Javier Adell, Jose Fco. García, J. José Martinez, Jose Vidal
Venue: Proceedings of the 2009 Euro American Conference on Telematics and Information Systems: New Opportunities to increase Digital Citizenship (2009)

In this work we demonstrate a particular use of ontologies based on the European specifications DATEXII. These specifications are designed and developed as a traffic and travel data exchange mechanism by a European task force to set up and standardise the interface between traffic control and information centres. It is the reference for applications that are developed and implemented in Europe. This language describes concepts and structures of data related to traffic, but the description is just syntactic, not semantic. Therefore the objective to be reached in this part of the research has been to develop a semantic description in order to carry out some applications like syndication and a Maps representation of DatexII data.
Robust resource allocation in a cluster based imaging system
Authors: Jay Smith, Vladimir Shestak, Howard Jay Siegel, Suzy Price, Larry Teklits, Prasanna Sugavanam
Venue: Parallel Computing (2009)

Recently there has been an increased demand for imaging systems in support of high-speed digital printing. The required increase in performance in support of such systems can be accomplished through an effective parallel execution of image processing applications in a distributed cluster computing environment. The output of the system must be presented to a raster based display at regular intervals, effectively establishing a hard deadline for the production of each image. Failure to complete a rasterization task before its deadline will result in an interruption of service that is unacceptable. The goal of this research was to derive a metric for measuring robustness in this environment and to design a resource allocation heuristic capable of completing each rasterization task before its assigned deadline, thus, preventing any service interruptions. We present a mathematical model of such a cluster based raster imaging system, derive a robustness metric for evaluating heuristics in this environment, and demonstrate using the metric to make resource allocation decisions. The heuristics are evaluated within a simulation of the studied raster imaging system. We clearly demonstrate the effectiveness of the heuristics by comparing their results with the results of a resource allocation heuristic commonly used in this type of system.
Proceedings of the 6th international conference industry session on Autonomic computing and communications industry session
Venue: International Conference on Autonomic Computing (2009)

We are pleased to welcome you to the Industry Session of the 6th International Conference on Autonomic Computing and Communications -- ICAC-09. The purpose of ICAC-09 is to bring together researchers and practitioners addressing aspects of self-management in computing systems. This year, the Industry Session offers a special focus on the perspective of researchers and practitioners in the corporate environment. A singular value of ICAC is the confluence of top researchers and practitioners from both academia and industry. The ICAC-09 Industry Session offers a readout of various technologies currently in play from product perspectives. Among the areas addressed are core enablers for autonomic capabilities to be realized, such as frameworks, protocols and autonomic engines in production systems. The Industry Session also addresses current areas of difficulty that present direct opportunities for both academic and corporate research. Topics are relevant to entrepreneurs, product developers, architects, managers, marketers and end users, as well as those in academia. The selection process for the General Sessions of ICAC-09 was extremely competitive this year and the program committee accepted fewer than 16% of the papers (15 of 96 submissions). From the submissions, we were able to accept an additional 4 full papers and 1 short paper for the Industry Session. Moreover, the Industry Session also offers the opportunity for 17 selected short papers (posters) to be presented in a series of "lightning talks". These proceedings of the Industry Session present the four full papers and one short paper; the remaining short papers (posters) can be found in the general ICAC-09 proceedings.
Mobile localization in outdoor environments
Authors: Dawei Liu, Moon-Chuen Lee
Venue: Proceedings of the 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks (2008)

Due to the advent of many location based applications, mobile localization in outdoor environments has recently attracted much attention. Many existing localization solutions rely primarily on a hybrid wireless network/dead reckoning (DR) method, as the regular wireless network can hardly estimate a location with satisfactory accuracy in bad channel conditions. However, the DR scheme can involve considerable hardware investments, moreover, it suffers from serious error accumulations in motion measurements of a mobile object. To remedy drawbacks of the hybrid method, we present a novel mobile localization scheme based on the concept of pseudo beacon. The proposed scheme can perform network localization in those areas where traditional wireless networks may not work, and thus, avoids large investments the special hardware cost and error accumulations of DR. Extensive real world GPS experimental results demonstrate the significant superiority of the proposed scheme.
Convergence of a finite volume scheme for the bidomain model of cardiac tissue
Authors: Mostafa Bendahmane, Kenneth H. Karlsen
Venue: Applied Numerical Mathematics (2009)

We analyze a finite volume scheme for the bidomain model, which is a degenerate reaction-diffusion system modeling electrophysiological waves in cardiac tissue. We establish existence and uniqueness of solutions to the finite volume scheme, and show that it converges to a weak solution of the bidomain model. The convergence proof is based on deriving series of a priori estimates and using a general L^p compactness criterion.
Visibility and Focus: An Extended Framework for Granular Reasoning
Authors: Yasuo Kudo, Tatsuya Murai
Venue: Proceeding of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005 (2005)

In this paper, we introduce another concept of granular reasoning, called visibility. Visibility separates all sentences into “visible” sentences, that is, sentences we consider, and “nvisible” sentences which are out of consideration. Combining visibility and focus, we connects granular reasoning and four-valued truth valuations. We also discuss relationship among granularity based on the visibility and focus, nonmonotonic reasoning by Ziarko's variable precision rough set models, and knowledge base revision.
Software service engineering: Tenets and challenges
Authors: Willem-Jan van den Heuvel, Olaf Zimmermann, Frank Leymann, Patricia Lago, Ina Schieferdecker, Uwe Zdun, Paris Avgeriou
Venue: Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems (2009)

Service-Oriented Architecture (SOA) constitutes a modern, standards-based and technology-independent paradigm and architectural style for distributed enterprise computing. The SOA style promotes the publishing, discovery, and binding of loosely-coupled, network-accessible software services. With SOA systems operating in distributed and heterogeneous execution environments, the engineers of such systems are confined by the limits of traditional software engineering. In this position paper, we scrutinize the fundamental tenets underpinning the development and maintenance of SOA systems. In particular, we introduce software service engineering as an emerging discipline that entails a departure from traditional software engineering disciplines, embracing the ‘open world assumption’. We characterize software service engineering via seven defining tenets. Lastly, we survey related research challenges.
Efficient Anonymous Electronic Metering Scheme
Authors: Dongyao Ji, Dengguo Feng
Venue: Proceeding of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006 (2006)

We consider an environment in which many servers serve an even larger number of clients (e.g. the web), and it is required to meter the interaction between servers and clients. More specifically, it is desired to count the number of clients that were served by a server. A major possible application is to measure the popularity of web pages in order to decide on advertisement fees. This letter presents an efficient anonymous electronic metering scheme. The scheme protect client from incorrect metering count and provide server legal evidences to measured number that are denied. The metering process is very efficient and maintains anonymity of client.
Gabriel–ulmer duality and lawvere theories enriched over a general base
Authors: Stephen Lack, John Power
Venue: Journal of Functional Programming (2009)

Motivated by the search for a body of mathematical theory to support the semantics of computational effects, we first recall the relationship between Lawvere theories and monads on Set. We generalise that relationship from Set to an arbitrary locally presentable category such as Poset and ωCpo or functor categories such as [Inj, Set] and [Inj, ωCpo]. That involves allowing the arities of Lawvere theories to be extended to being size-restricted objects of the locally presentable category. We develop a body of theory at this level of generality, in particular explaining how the relationship between generalised Lawvere theories and monads extends Gabriel–Ulmer duality.
Global parametric faults in analogue integrated circuits: two approaches to classification with the use of differential evolution
Authors: P. Jantos, D. Grzechca, T. Golonek, J. Rutkowski
Venue: Proceedings of the 2nd conference on European computing conference (2008)

Two approaches to global parametric faults in analogue integrated circuits (AIC) classification are presented in this paper. Global parametric faults (GPF) and integrated circuits time domain response features are defined. The aforementioned features are extracted and classified with the use of an evolutionary algorithm - Differential Evolution. The presented methods are compared with the use of two practical examples and results are discussed.
On Total Variation Minimization and Surface Evolution Using Parametric Maximum Flows
Authors: Antonin Chambolle, Jérôme Darbon
Venue: International Journal of Computer Vision (2009)

In a recent paper Boykov et al. (LNCS, Vol. 3953, pp. 409---422, 2006) propose an approach for computing curve and surface evolution using a variational approach and the geo-cuts method of Boykov and Kolmogorov (International conference on computer vision, pp. 26---33, 2003). We recall in this paper how this is related to well-known approaches for mean curvature motion, introduced by Almgren et al. (SIAM Journal on Control and Optimization 31(2):387---438, 1993) and Luckhaus and Sturzenhecker (Calculus of Variations and Partial Differential Equations 3(2):253---271, 1995), and show how the corresponding problems can be solved with sub-pixel accuracy using Parametric Maximum Flow techniques. This provides interesting algorithms for computing crystalline curvature motion, possibly with a forcing term.
Magnetic dynamics around a configuration of two square antihelmholtz coils
Authors: Constantin Udriste, Monica Pirvan
Venue: Proceedings of the 10th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems (2008)

The magnetic dynamics around two square AntiHelmholtz coils and special configuration of electrical circuits is used in order to create the simplest magnetic traps. Section 1 gives the Biot-Savart-Laplace magnetic field H around two square AntiHelmholtz coils. In section 2, we compute the scalar potential, the vector potential of the magnetic field H, and we find the equilibrium point of the magnetic flow. In Section 3 and Section 4, we describe the magnetic geometric dynamics associated to the magnetic field H and we discuss its linearizations in Section 5. The main result refer to the stability of movement around critical point of the magnetic energy.
Ubiquitous Computing Technology for Real Time Enterprises
Authors: Max Muhlhauser, Iryna Gurevych
Venue:  (2007)

After the mainframe and personal computer eras, the third major era in computer science, ubiquitous computing, describes the state of technology in which networked computers would surround every user. The Handbook of Research on Ubiquitous Computing Technology for Real Time Enterprises combines the fundamental methods, algorithms, and concepts of pervasive computing with current innovations and solutions to emerging challenges. This groundbreaking resource systemically covers such salient topics as network and application scalability, wireless network connectivity, adaptability and context-aware computing, information technology security and liability, and human-computer interaction.
Optimized on-chip pipelining of memory-intensive computations on the cell BE
Authors: Christoph W. Kessler, Jörg Keller
Venue: ACM SIGARCH Computer Architecture News (2009)

Multiprocessors-on-chip, such as the Cell BE processor, regularly suffer from restricted bandwidth to off-chip main memory. We propose to reduce memory bandwidth requirements, and thus increase performance, by expressing our application as a task graph, by running dependent tasks concurrently and by pipelining results directly from task to task where possible, instead of buffering in off-chip memory. To maximize bandwidth savings and balance load simultaneously, we solve a mapping problem of tasks to SPEs on the Cell BE. We present three approaches: an integer linear programming formulation that allows to compute Paretooptimal mappings for smaller task graphs, general heuristics, and a problem speci c approximation algorithm. We validate the mappings for dataparallel computations and sorting.
Simulated Annealing for Multi-agent Coalition Formation
Authors: Helena Keinänen
Venue: Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications (2009)

We present a simulated annealing algorithm for coalition formation represented as characteristic function games. We provide a detailed analysis of various neighbourhoods for the algorithm, and of their effects to the algorithm's performance. Our practical experiments and comparisons with other methods demonstrate that simulated annealing provides a useful tool to tackle the combinatorics involved in multi-agent coalition formation.