In recent years, machine translation (MT) research focused on investigating how hybridMT as well as MT combination systems can be designed so that the resulting translations give an improvement over the individual translations. As a first step towards achieving this objective we have developed a parallel corpus with source data and the output of a number of MT systems, annotated with metadata i...

This paper describes the NUXMV symbolic model checker for finiteand infinite-state synchronous transition systems. NUXMV is the evolution of the NUSMV open source model checker. It builds on and extends NUSMV along two main directions. For finite-state systems it complements the basic verification techniques of NUSMV with state-of-the-art verification algorithms. For infinitestate systems, it e...

We address the problem of passive blind estimation of time-delays for several mutually uncorrelated source signals received by a similar number of sensors. The mixtures at the receivers are modeled as unknown linear combinations of differently delayed versions of the source signals. The standard tools used in blind source separation (BSS) for either static or convolutive mixtures are inappropri...

This article attempts to address the issue of whether open source software companies may be undermining their own competitive advantages by undervaluing the strategic importance of intellectual property. If this would be true, companies could risk their existence by following a potentially destructive business model. We will first take a look at the historic development of the open source movem...

The crowd can be an incredible source of information. In particular, this is true for reviews about products of any kind, freely provided by customers through specialized web sites. In other words, they are social knowledge, that can be exploited by other customers. The Hints From the Crowd (HFC) prototype, presented in this paper, is a NoSQL database system for large collections of product rev...

We consider the problem of transmission of information sources with memory over a broadcast channel. This is motivated by the practical application of the design of audiovisual broadcast systems for digital TV/digital radio. Using a parallel Gaussian source model and an additive white Gaussian noise broadcast channel model, we consider the problem of information source transmission with the goa...

The Hybrid Ground Source Heat Pump (GSHP) system features the combination of ground heat exchanger (GHE) and cooling tower for rejecting the cooling load, which enables the use of the renewable resource of geothermal energy while reducing the cost of installation for applications of high cooling demand. However, model based control for efficient operation of the GSHP system can be intricate due...

Hybrid algorithms for learning the structure of Bayesian networks combine techniques from both the constraintbased and search-and-score paradigms of structure learning. One class of hybrid approaches uses a constraintbased algorithm to learn an undirected skeleton identifying edges that should appear in the final network. This skeleton is used to constrain the model space considered by a search...

EVOLUTION OF HYBRID INCOMPATIBILITIES IN GENE REGULATORY NETWORKS SEPTEMBER 2013 ALEXANDER Y. TULCHINSKY, B.S., VIRGINIA COMMONWEALTH UNIVERSITY, RICHMOND M.S., VIRGINIA COMMONWEALTH UNIVERSITY, RICHMOND Ph.D., UNIVERSITY OF MASSACHUSETTS, AMHERST Directed by: Adam H. Porter Under the Dobzhansky-Muller model, postzygotic isolation results from incompatibility between interacting genes. Evidence...

The open source software (OSS) model is a fundamentally new and revolutionary way to develop software. The success of the OSS model is also setting the stage for a structural change in the software industry; it is beginning to transform software industry from manufacturing to a service industry. Despite the success of the OSS model, for-profit organizations are having difficulty building a busi...