ppxscal/embedding_network huggingface dataset:
Saying good-bye to DBMSs, designing effective interfaces
Authors: Michael Stonebraker, Jason Hong
Venue: Communications of the ACM (2009)

The Communications Web site, http://cacm.acm.org, features 13 bloggers in the BLOG@CACM community. In each issue of Communications, we'll publish excerpts from selected posts, plus readers' comments.Michael Stonebraker discusses the problems with relational database management systems and possible solutions, and Jason Hong writes about interfaces and usable privacy and security.
Gamma SOM for Temporal Sequence Processing
Authors: Pablo A. Estévez, Rodrigo Hernández
Venue: Proceedings of the 7th International Workshop on Advances in Self-Organizing Maps (2009)

In this paper, we introduce the Gamma SOM model for temporal sequence processing. The standard SOM is merged with a new context descriptor based on a short term memory structure called Gamma memory. The proposed model allows increasing depth without losing resolution, by adding more contexts. When using a single stage of the Gamma filter, the Merge SOM model is recovered. The temporal quantization error is used as a performance measure. Simulation results are presented using two data sets: Mackey-Glass time series, and Bicup 2006 challenge time series. Gamma SOM surpassed Merge SOM in terms of lower temporal quantization error in these data sets.
Derivability, redundancy and consistency of relations stored in large data banks
Authors: E. F. E,  F. Codd
Venue: ACM SIGMOD Record (2009)

The large, integrated data banks of the future will contain many relations of various degrees in stored form. It will not be unusual for this set of stored relations to be redundant. Two types of redundancy are defined and discussed. One type may be employed to improve accessibility of certain kinds of information which happen to be in great demand. When either type of redundancy exists, those responsible for control of the data bank should know about it and have some means of detecting any "logical" inconsistencies in the total set of stored relations. Consistency checking might be helpful in tracking down unauthorized (and possibly fraudulent) changes in the data bank contents.
Why Is Facial Occlusion a Challenging Problem?
Authors: Hazım Kemal Ekenel, Rainer Stiefelhagen
Venue: Proceedings of the Third International Conference on Advances in Biometrics (2009)

This paper investigates the main reason for the obtained low performance when the face recognition algorithms are tested on partially occluded face images. It has been observed that in the case of upper face occlusion, missing discriminative information due to occlusion only accounts for a very small part of the performance drop. The main factor is found to be the registration errors due to erroneous facial feature localization. It has been shown that by solving the misalignment problem, very high correct recognition rates can be achieved with a generic local appearance-based face recognition algorithm. In the case of a lower face occlusion, only a slight decrease in the performance is observed, when a local appearance-based face representation approach is used. This indicates the importance of local processing when dealing with partial face occlusion. Moreover, improved alignment increases the correct recognition rate also in the experiments against the lower face occlusion, which shows that face registration plays a key role on face recognition performance.
Critical implementation factors in higher education ERPs
Authors: Ana-Ramona Bologa, Mihaela Muntean, Gheorghe Sabau, Iuliana Scorta
Venue: Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases (2009)

In this paper we have analyzed some critical implementation factors of an ERP project implementation in universities. Taking into consideration that for industry implementations there are already many performed studies we started by considering university implementations as a particular case for the industry ones. Starting from this, we have identified differences, particular elements and situations for the case of universities. The results of this study will be used in developing an evaluation framework of ERP solutions for higher education management.
Detection of moving objects using incremental connectivity outlier factor algorithm
Authors: Nebojša Pejčić, Nataša Reljin, Samantha McDaniel, Dragoljub Pokrajac, Aleksandar Lazarević
Venue: Proceedings of the 47th Annual Southeast Regional Conference (2009)

In this paper, we describe a technique for detection of moving objects in RGB and infra-red (IR) videos. The technique is based on novel incremental connectivity-based outlier factor (IncCOF). The main idea of the proposed approach is to detect moving blocks as outliers---objects dissimilar to objects in their vicinity--within a properly defined feature space. As the feature space, we use representation of videos by spatial-temporal blocks combined with principal component analysis for dimensionality reduction. Experimental evaluation of the proposed approach on a variety of test videos, including PETS repository, demonstrates its applicability and robustness on the choice of parameters.
Investment portfolio balancing: application of a generic self-organizing fuzzy neural network (GenSoFNN)
Authors: C. Quek, K. C. Yow, Philip Y. K. Cheng, C. C. Tan
Venue: International Journal of Intelligent Systems in Accounting and Finance Management (2009)

In contrast to short-term stock trading, portfolio managers are interested in the medium- to long-term peaks and troughs of the stock price cycles as signals to balance their stock portfolios &ndash; the predicted trough is the signal to buy the stock and the predicted peak is the signal to sell the stock. As statistical models are generally inadequate or incapable of providing such portfolio balancing signals, we propose using the generic self-organizing fuzzy neural network (GenSoFNN)&mdash;a fuzzy neural system &ndash; as a tool for portfolio balancing. The network adopts the supervised learning approach to detect inflection points in the stock price cycles, and a modified locally weighted regression algorithm is employed to smooth the stock cycles. The GenSoFNN-based portfolio balancing system was evaluated with experiments conducted using 23 stocks from the New York Stock Exchange and NASDAQ, and the results showed an average profit return of 65.66&percnt;. The contributions of the proposed GenSoFNN intelligent portfolio balancing system are twofold: it can be used as an efficient trading solution and it can provide decision support in trading via its generated rules. Copyright &copy; 2009 John Wiley & Sons, Ltd.
Retrieval performance prediction and document quality
Authors: William Croft
Venue:  (2008)

The ability to predict retrieval performance has potential applications in many important IR (Information Retrieval) areas. In this thesis, we study the problem of predicting retrieval quality at the granularity of both the retrieved document set as a whole and individual retrieved documents. At the level of ranked lists of documents, we propose several novel prediction models that capture different aspects of the retrieval process that have a major impact on retrieval effectiveness. These techniques make performance prediction both effective and efficient in various retrieval settings including a Web search environment. As an application, we also provide a framework to address the problem of query expansion prediction. At the level of documents, we predict the quality of documents in the context of Web ad-hoc retrieval. We explore document features that are predictive of quality. Furthermore, we propose a document quality language model to improve retrieval effectiveness by incorporating quality information.
A visual development environment for Jade
Authors: Stefan Warwas, Christian Hahn, Klaus Fischer
Venue: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2 (2009)

Agent-oriented software engineering (AOSE) aims on reducing the complexity of multiagent system (MAS) development. Jade is a famous framework for implementing MAS in Java. This paper proposes the model-driven development environment of the Domain Specific Modeling Language for Multiagent Systems (Dsml4mas) as a visual development environment for Jade. We focus especially on how the synchronization between design and code has been solved.
On Inferences ofWeak Multivalued Dependencies
Authors: Sven Hartmann, Sebastian Link
Venue: Fundamenta Informaticae (2009)

Nesting is a useful technique in many areas of database practice. For instance, nesting is a fundamental operation for the nested relational data model, it can be applied to reduce the level of data redundancy in a database instance, to improve query processing or to convert data from one model to another. We further address the question when nesting operations commute with one another, i.e., when the final nested database relation is independent of the order in which the nesting operations are applied. In fact, it has been shown that the satisfaction of weakmultivalued dependencies provides a sufficient and necessary condition for the commutativity of nesting operations. We study inference systems for different notions of implication for weak multivalued dependencies. First, we establish an axiomatisation with the property that every weak multivalued dependency can be inferred either without any application of the complementation rule or by a single application of the complementation rule necessary only in the very last step of the inference. Consequently, the complementation rule is a mere means to achieve a decomposition of the database. Secondly, we drop the assumption of having a fixed underlying schema, and establish an axiomatisation of weak multivalued dependencies for the notion of implication in this context.
Techniques for enterprise network security metrics
Authors: Anoop Singhal, Xinming Ou
Venue: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies (2009)

Currently, it is difficult to answer simple questions such as "are we more secure than yesterday" or "how should we invest our limited security resources." Decision makers in other areas of business and engineering often use metrics for determining whether a projected return on investment justifies its costs. Spending for new cyber-security measures is such an investment. Thus security metrics that can quantify the overall risk in an enterprise system are essential in making sensible decisions in security management.
Microdamage detection and repair in bone: Fracture mechanics, histology, cell biology
Authors: Jan G. Hazenberg, Teuvo A. Hentunen, Terhi J. Heino, Kosaku Kurata, Thomas C. Lee, David Taylor
Venue: Technology and Health Care (2009)

Bone is an elementary component in the human skeleton. It protects vital organs, regulates calcium levels and allows mobility. As a result of daily activities, bones are cyclically strained causing microdamage. This damage, in the form of numerous microcracks, can cause bones to fracture and therefore poses a threat to mechanical integrity. Bone is able to repair the microcracks through a process called remodelling which is tightly regulated by bone forming and resorbing cells. However, the manner by which microcracks are detected, and repair initiated, has not been elucidated until now. Here we show that microcrack accumulation causes damage to the network of cellular processes, resulting in the release of RANKL which stimulates the differentiation of cells specialising in repair.
Brief paper: A proof for non existence of periodic solutions in time invariant fractional order systems
Authors: Mohammad Saleh Tavazoei, Mohammad Haeri
Venue: Automatica (Journal of IFAC) (2009)

The aim of this note is to highlight one of the basic differences between fractional order and integer order systems. It is analytically shown that a time invariant fractional order system contrary to its integer order counterpart cannot generate exactly periodic signals. As a result, a limit cycle cannot be expected in the solution of these systems. Our investigation is based on Caputo's definition of the fractional order derivative and includes both the commensurate or incommensurate fractional order systems.
High performance wide-area overlay using deadlock-free routing
Authors: Ken Hironaka, Hideo Saito, Kenjiro Taura
Venue: Proceedings of the 18th ACM international symposium on High performance distributed computing (2009)

Overlay networks as the communication medium in parallel and distributed applications have gained prominence, especially in Grid environments. However, providing both throughput performance and reliable communication on overlays have been given little attention. The core of this problem is that intermediate nodes have limited buffer memory, while the forwarding throughput must yield Gbps. Yet, implementing a naive flow control can deadlock the overlay. Thus, high performance flow control on overlays is a critical concern in heterogeneous wide-area networks, where input/output link throughput can vary significantly. We propose an overlay scheme that couples TCP connections and fixed intermediate buffer memory while adapting deadlock-free routing for our overlay routing in heterogeneous wide-area networks. Our scheme eliminates memory overflows at forwarding nodes by fixed buffer memory and deadlocks via a deadlock-free routing algorithm that resolves adaptation challenges for heterogeneous wide-area networks. Our overlay construction and routing optimizations account for underlying network latency and bandwidth information. Simulation on 13 clusters (515 nodes) and evaluation on 7 clusters (170 nodes) show that our deadlock-free routing poses negligible overhead in comparison to deadlock-unaware routing, and comparably with direct communication. We further demonstrate that for certain collective communications, our overlay even out-performs direct communication by mitigating or completely avoiding network contention. We show this on systems ranging from a single-switch cluster with 36 nodes to a Grid environment with 4 clusters and 291 nodes.
Ada for Software Engineers, 2nd edition
Authors: Mordechai Ben-Ari
Venue:  (2009)

Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Special features of the book include: Object-oriented programming, concurrency, and embedded and real-time systems are emphasized. Ada for Software Engineers explains the language concepts and the terminology of the standards document, the Ada Reference Manual (ARM). Extracts from the ARM are used throughtout and there are extensive cross references to the ARM. A comprehensive glossary and technical quizzes assist the reader in developing the ability to use the ARM as a practical reference. Comparisons with familiar languages like C and Java are given to facilitate the transition to Ada. The features of Ada 2005 are used routinely, but they are carefully identified, so that programmers using Ada 95 will also find the textbook useful. The companion website contains the full source code of nearly 100 case studies and 100 technical quizzes.
Eight-phase sequence sets design for radar
Authors: S. P. Singh, S. A. Muzeer, K. Subba Rao
Venue: WSEAS Transactions on Signal Processing (2009)

In this paper a novel Modified Simulated Annealing Algorithm (MSAA) is used as global optimization technique to find the solution of combinatorial optimization problem which is usually difficult to tackle. MSAA combines good methodologies like global minimum converging property of Simulated Annealing algorithm and fast convergence rate of Hamming scan algorithm. Orthogonal Netted Radar System (ONRS) and spread spectrum communication system can fundamentally improve the system performance by using a group of specially designed orthogonal signals. MSAA is used to synthesize orthogonal eight-phase sequence sets with good autocorrelation and cross correlation properties. Some of the synthesized sequence sets are presented, and their properties are better than four-phase sequence sets known in the literature. The synthesized eight-phase sequence sets are promising for practical application to Netted Radar System and spread spectrum communication. The effect of Doppler shift on synthesized sequences set is also investigated using ambiguity function. The convergence rate of the algorithm is shown to be good.
Yawat: yet another word alignment tool
Authors: Ulrich Germann
Venue: Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics on Human Language Technologies: Demo Session (2008)

Yawat is a tool for the visualization and manipulation of word- and phrase-level alignments of parallel text. Unlike most other tools for manual word alignment, it relies on dynamic markup to visualize alignment relations, that is, markup is shown and hidden depending on the current mouse position. This reduces the visual complexity of the visualization and allows the annotator to focus on one item at a time. For a bird's-eye view of alignment patterns within a sentence, the tool is also able to display alignments as alignment matrices. In addition, it allows for manual labeling of alignment relations with customizable tag sets. Different text colors are used to indicate which words in a given sentence pair have already been aligned, and which ones still need to be aligned. Tag sets and color schemes can easily be adapted to the needs of specific annotation projects through configuration files. The tool is implemented in JavaScript and designed to run as a web application.
Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters
Authors: Franck Pommereau, Raymond Devillers, Hanna Klaudel
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

In this paper, we define a class of Petri nets, called Petri nets with counters, that can be seen as place/transition Petri nets enriched with a vector of integer variables on which linear operations may be applied. Their semantics usually leads to huge or infinite reachability graphs. Then, a more compact representation for this semantics is defined as a symbolic state graph whose nodes possibly encode infinitely many values for the variables. Both representations are shown behaviourally equivalent.
Improvement of performance of MegaBlast algorithm for DNA sequence alignment
Authors: Guang-Ming Tan, Lin Xu, Dong-Bo Bu, Sheng-Zhong Feng, Ning-Hui Sun
Venue: Journal of Computer Science and Technology (2006)

MegaBlast is one of the most important programs in NCBI BLAST (Basic Local Alignment Search Tool) toolkits. However, MegaBlast is computation and I/O intensive. It consumes a great deal of memory which is proportional to the size of the query sequences set and subject (database) sequences set of product. This paper proposes a new strategy for optimizing MegaBlast. The new strategy exchanges the query and subject sequences sets, and builds a hash table based on new subject sequences. It overlaps I/O with computation, shortens the overall time and reduces the cost of memory, since the memory here is only proportional to the size of subject sequences set. The optimized algorithm is suitable to be parallelized in cluster systems. The parallel algorithm uses query segmentation method. As our experiments shown, the parallel program which is implemented with MPI has fine scalability.
Incorporating issues of fairness into development of a multi-agent negotiation support system
Authors: John Zeleznikow, Brooke Abrahams
Venue: Proceedings of the 12th International Conference on Artificial Intelligence and Law (2009)

One of the major concerns raised by people using Negotiation Support Systems is about the fairness of the process. Individuals undertake negotiation to derive better outcomes than could be obtained from conflict and litigation. Thus they often engage in interest based negotiation. But interest based negotiation focuses upon the interests of disputants rather than upon objective measures of fairness or justice. For example in family law, differences in power between men and women may lead to negotiated results that favor men. Bargaining imbalances can thus produce unfair results unless mediators or Negotiation Support Systems overcome them. It is thus vital to incorporate measures to address fairness in the development of Negotiation Support Systems. The paper describes the development of a multi-agent based Negotiation Support System designed to assist disputants to achieve legally fairer negotiated outcomes. The system uses a Bayesian Belief Network and Artificial Intelligence techniques to incorporate Best Alternatives to Negotiated Agreements into an integrative bargaining process. Through this system, we aim to demonstrate how principles of legal fairness can be applied in Australian Family Law.
More on the Green Solow model with logistic population change
Authors: Massimiliano Ferrara, Luca Guerrini
Venue: WSEAS Transactions on Mathematics (2009)

This paper generalizes the model introduced by Ferrara and Guerrini [13], where two different research lines have been joined together: the one studying the effects of incorporating technological progress in pollution abatement in the Solow-Swan model (Brock and Taylor [6]), and that analyzing the role of a logistic population growth rate within the Solow-Swan model (Ferrara and Guerrini [13]). In this framework, the economy is described by a three dimensional dynamical system, whose solution can be explicitly determined. We note that physical capital can be expressed in closed-form via Hypergeometric functions. As well, we prove the model's solution to be convergent in the log-run. We characterize the economy balanced growth path equilibrium, and find that sustainable growth occurs if technological progress in abatement is faster than technological progress in production. An environmental Kuznets curve may result along the transition to the balanced growth path. If there is no technological progress in abatement, then there is no EKC. Furthermore, the economy has a unique equilibrium (a node), which is locally asymptotically stable.
Computational Multiscale Modeling of Fluids and Solids: Theory and Applications, 1st edition
Authors: M. O. Steinhauser
Venue:  (2007)

The idea of the book is to provide a comprehensive overview of computational physics methods and techniques, that are used for materials modeling on different length and time scales. Each chapter first provides an overview of the physical basic principles which are the basis for the numerical and mathematical modeling on the respective length-scale. The book includes the micro-scale, the meso-scale and the macro-scale. The chapters follow this classification. The book will explain in detail many tricks of the trade of some of the most important methods and techniques that are used to simulate materials on the perspective levels of spatial and temporal resolution. Case studies are occasionally included to further illustrate some methods or theoretical considerations. Example applications for all techniques are provided, some of which are from the author s own contributions to some of the research areas. Methods are explained, if possible, on the basis of the original publications but also references to standard text books established in the various fields are mentioned. 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