Disclaimer The opinions, findings, and conclusions expressed in this publication are those of the authors and not necessarily those of the State of Florida Department of Transportation.

This paper discusses the development of performance and cost models for integrated gasification combined cycle (IGCC) systems. Because few IGCC concepts have been demonstrated at a large scale, there is considerable uncertainty regarding the commercial scale performance and cost of these systems. The key feature of this work is the use of a probabilistic approach to performance and cost modelin...

To this date, all methodologies for detecting plagiarism have focused on investigating the final digital “outcome”, eg. a document or source code. Our novel approach takes the creation process into account using logged events. We look at interaction logs of an author with the software used for creation of the work. Detection relies on comparing histograms of command usages of multiple logs. A w...

In the visual languages community there has been a growing consensus that visual languages will be most successful in the case of special purpose languages. Furthermore, their success will largely depend on the programming environment which is provided for them. Programming environment generators, generate programming environments for formally speciied languages. This paper discusses speciicati...

OBJECTIVES This study developed an integrated database for 15 regional biobanks that provides large quantities of high-quality bio-data to researchers to be used for the prevention of disease, for the development of personalized medicines, and in genetics studies. METHODS We collected raw data, managed independently by 15 regional biobanks, for database modeling and analyzed and defined the m...

Integral to effective critical infrastructure analysis is the assessment of infrastructure vulnerabilities, which provides insights into potential disruptions that can enhance protection plans and response and recovery operations. Effective critical infrastructures analysis, however, must account for the complex, multi-dimensional characteristics of infrastructures and the dependencies between ...

We present LTS++, an interactive development environment for planning-based hypothesis generation in applications with unreliable observations.