Knowledge Discovery In Biological Datasets Using A Hybrid Bayes Classifier/Evolutionary Algorithm, Michael L. Raymer, Leslie A. Kuhn, William F. Punch

Kno.e.sis Publications

A key element of bioinformatics research is the extraction of meaningful information from large experimental data sets. Various approaches, including statistical and graph theoretical methods, data mining, and computational pattern recognition, have been applied to this task with varying degrees of success. We have previously shown that a genetic algorithm coupled with a k-nearest-neighbors classifier performs well in extracting information about protein-water binding from X-ray crystallographic protein structure data. Using a novel classifier based on the Bayes discriminant function, we present a hybrid algorithm that employs feature selection and extraction to isolate salient features from large biological data sets. The …

Profile Combinatorics For Fragment Selection In Comparative Protein Structure Modeling, Deacon Sweeney, Travis E. Doom, Michael L. Raymer

Kno.e.sis Publications

Sequencing of the human genome was a great stride towards modeling cellular complexes, massive systems whose key players are proteins and DNA. A major bottleneck limiting the modeling process is structure and function annotation for the new genes. Contemporary protein structure prediction algorithms represent the sequence of every protein of known structure with a profile to which the profile of a protein sequence of unknown structure is compared for recognition. We propose a novel approach to increase the scope and resolution of protein structure profiles. Our technique locates equivalent regions among the members of a structurally similar fold family, and …

A Passion For Ideas: How Innovators Create The New And Shape Our World, Heinrich V. Pierer, Bolko V. Oetinger

Purdue University Press Books

Business and industry leaders are eager to find ways to spark the creative instinct in their work forces. This newly translated work examines the multi-layered environment of innovation by melding the thoughts of business management pundits like Peter Senge with the views of artist, politicians, and other non-traditional thinkers like Tao Ho, Peter Greenaway, and Wolfgang Rihm.

Online Bayesian Tree-Structured Transformation Of Hmms With Optimal Model Selection For Speaker Adaptation, Shaojun Wang, Yunxin Zhao

Kno.e.sis Publications

This paper presents a new recursive Bayesian learning approach for transformation parameter estimation in speaker adaptation. Our goal is to incrementally transform or adapt a set of hidden Markov model (HMM) parameters for a new speaker and gain large performance improvement from a small amount of adaptation data. By constructing a clustering tree of HMM Gaussian mixture components, the linear regression (LR) or affine transformation parameters for HMM Gaussian mixture components are dynamically searched. An online Bayesian learning technique is proposed for recursive maximum a posteriori (MAP) estimation of LR and affine transformation parameters. This technique has the advantages of …

Chernobyl Stories And Anthropological Shock In Hungary, Krista Harper

Krista M. Harper

The Budapest Chernobyl Day commemoration generated a creative outpouring of stories about parental responsibilities, scientific knowledge, environmental risks, and public participation. I examine the stories and performances elicited by the tenth anniversary of the Chernobyl nuclear disaster in April 1996. In these “Chernobyl stories,” activists criticized scientific and state paternalism while engaging in alternative practices of citizenship. The decade between the catastrophic explosion and its commemoration coincides with the development of the Hungarian environmental movement and the transformation from state socialism. Chernobyl Day 1996 consequently became an opportunity for activists to reflect upon how the meaning of citizenship and public …

Semantic Operators And Fixed-Point Theory In Logic Programming, Anthony K. Seda, Pascal Hitzler

Computer Science and Engineering Faculty Publications

We consider rather general operators mapping valuations to (sets of) valuations in the context of the semantics of logic programming languages. This notion generalizes several of the standard operators encountered in this subject and is inspired by earlier work of M.C. Fitting. The fixed points of such operators play a fundamental role in logic programming semantics by providing standard models of logic programs and also in determining the computability properties of these standard models. We discuss some of our recent work employing topological ideas, in conjunction with order theory, to establish methods by which one can find the fixed points …

The Conference Proceedings Of The 2001 Air Transport Research Society (Atrs) Of The Wctr Society, Volume 3, Yeong-Heok Lee, Brent D. Bowen, Scott E. Tarry, Uno Aviation Institute

Faculty Books and Monographs

UNOAI Report 01-8

The Conference Proceedings Of The 2001 Air Transport Research Society (Atrs) Of The Wctr Society, Volume 2, Yeong-Heok Lee, Brent D. Bowen, Scott E. Tarry, Uno Aviation Institute

Faculty Books and Monographs

UNOAI Report 01-7

Query Processing With An Fpga Coprocessor Board, Jack S. Jean, Guozhu Dong, Hwa Zhang, Xinzhong Guo, Baifeng Zhang

Kno.e.sis Publications

In this paper, a commercial FPGA coprocessor board is used to accelerate the processing of queries on a relational database that contains texts and images. FPGA designs for text searching and image matching are described and their performances summarized. A potential design for a database JOIN operator is then studied. A query optimization preprocessor is then proposed.

Summarizing Data Sets For Classification, Christopher W. Kinzig, Krishnaprasad Thirunarayan, Gary B. Lamont, Robert E. Marmelstein

Kno.e.sis Publications

This paper describes our approach and experiences with implementing a data mining system using genetic algorithms in C++. In contrast with earlier classification algorithms that tended to “tile” the data sets using some pre-specified “shapes”, the proposed system is based on Marmelstein’s work on determining natural boundaries for class homogeneous regions. These boundaries are further refined to construct a compact set of simple data mining rules for classification.

Making Use Of The Most Expressive Jumping Emerging Patterns For Classification, Jinyan Li, Guozhu Dong, Kotagiri Ramamohanarao

Kno.e.sis Publications

Classification aims to discover a model from training data that can be used to predict the class of test instances. In this paper, we propose the use of jumping emerging patterns (JEPs) as the basis for a new classifier called the JEP-Classifier. Each JEP can capture some crucial difference between a pair of datasets. Then, aggregating all JEPs of large supports can produce a more potent classification power. Procedurally, the JEP-Classifier learns the pair-wise features (sets of JEPs) contained in the training data, and uses the collective impacts contributed by the most expressive pair-wise features to determine the class labels …

Developing Better Economic Information About Coastal Resources As A Tool For Integrated Coastal Management, Judith T. Kildow Dr, Brian Baird, Charles S. Colgan, Hauke Kite-Powell, Rodney Weiher

Publications

Measuring economic activity associated with the ocean through examination of the goods and services produced by specified industries and in coastal locations will provide answers to many of the most commonly asked questions about the ocean economy. But even this data will still be incomplete. Beyond are a variety of "non-market" values, which are needed to complete the picture. When someone goes to the beach in Florida or boats on Chesapeake Bay, there may be little that is directly purchased on that day. But the popularity of such activities is testament to their underlying value. Economists have developed a variety …

The Airline Quality Rating 2001, Brent D. Bowen, Dean Headley, Uno Aviation Institute

Faculty Books and Monographs

UNOAI Report 01-2

The Airline Quality Rating (AQR) was developed and first announced in early 1991 as an objective method of comparing airline quality on combined multiple performance criteria. This current report, Airline Quality Rating 2001, reflects monthly Airline Quality Rating scores for 2000. AQR scores for the calendar year 2000 are based on 15 elements that focus on airline performance areas important to air travel consumers.

The Airline Quality Rating 2001 is a summary of month-by-month quality ratings for the ten major U.S. airlines operating during 2000. Using the Airline Quality Rating system of weighted averages and monthly performance …

Softwareentwicklung In Deutschland: Eine Bestandsaufnahme, Michael Friedewald, Hans Dieter Rombach, Petra Stahl, Manfred Broy, Susanne Hartkopf, Simone Kimpeler, Kirstin Kohler, Robert Wucher, Peter Zoche

Michael Friedewald

Die hier vorgestellte Studie „Analyse und Evaluation der Softwareentwicklung in Deutschland" [2] wurde von der GfK Marktforschung GmbH in Zusammenarbeit mit den Fraunhofer-Instituten für Experimentelles Software Engineering (IESE) und für Systemtechnik und Innovationsforschung (ISI) für das Bundesmini¬sterium für Bildung und Forschung (BMBF) durchgeführt. Ziel der Untersuchung war es, den nationalen Softwaremarkt, der sich immer mehr zu einem der Schlüsselmärkte entwickelt, quantitativ und qualitativ zu charakterisieren sowie in seiner weiteren Entwicklung und seinen Anforderungen zu beschreiben.

Survivability Architecture For Workflow Management Systems, Jorge Cardoso, Zongwei Luo, John A. Miller, Amit P. Sheth, Krzysztof J. Kochut

Kno.e.sis Publications

The survivability of critical infrastructure systems has been gaining increasing concern from the industry. The survivability research area addresses the issue of infrastructure systems that continues to provide pre-established service levels to users in the face of disorders and react to changes in the surrounding environment. Workflow management systems need to be survivable since they are used to support critical and sensitive business processes. They require a high level of dependability and should not allow process instances to be interrupted or aborted due to failures. Moreover, due to their sensitivity, business process should reflect any change in the environment. In …

La Sanidad Desde El Otro Lado, Manuel Fernández-Esquinas, Luís Gavira, Manuel Pérez Yruela, Manuel Trujillo Carmona, Rafael Serrano

Manuel Fernández-Esquinas

No abstract provided.

Us Manufacturing Extension Partnerships: Technology Policy Reinvented, Philip Shapira

Philip Shapira

The US manufacturing extension partnership (MEP) is examined as an example of the new partnership paradigm in US technology policy. The MEP provides technology assistance services, particularly for small and medium-sized enterprises. Influenced by aims to reinvent government and reorient technology policy, the MEP seeks to be comprehensive, collaborative, and demand-driven. However, the MEP’s partnered management style is constrained by political and industrial systems that continue to operate on traditional lines. After probing these tensions, the paper offers insights for the MEP’s future development and for other technology and innovation policies that seek to emulate the MEP’s partnership approach.

Application Service Providing, Michael Friedewald, Peter Georgieff, Markus Joepgen

Michael Friedewald

No abstract provided.

A "Converse" Of The Banach Contraction Mapping Theorem, Pascal Hitzler, Anthony K. Seda

Computer Science and Engineering Faculty Publications

We prove a type of converse of the Banach contraction mapping theorem for metric spaces: if X is a T₁ topological space and f: X -> X is a function with the unique fixed point a such that fⁿ(x) converges to a for each x is a member of X, then there exists a distance function d on X such that f is a contraction on the complete ultrametric space (X,d) with contractivity factor 1/2. We explore properties of the resulting space (X,d).

Unique Supported-Model Classes Of Logic Programs, Pascal Hitzler, Anthony K. Seda

Computer Science and Engineering Faculty Publications

We study classes of programs, herein called unique supported-model classes, with the property that each program in the class has a unique supported model. Elsewhere, the authors examined these classes from the point of view of operators defined relative to certain three-valued logics. In this paper, we complement our earlier results by considering how unique supported-model classes fit into the framework given by various classes of programs in several well-known approaches to semantics.

Kontraktionssatze Auf Verallgemeinerten Metrischen Raumen, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Pilot-Scale Testing Of Diatomaceous Earth Filtration For Removal Of Cryptosporidium Oocysts, Jerry E. Ongerth, Primrose E. Hutton

Faculty of Engineering and Information Sciences - Papers: Part A

No abstract provided.

Numerical Investigation Of The Angle Of Repose Of Monosized Spheres, Y C. Zhou, B H. Xu, Aibing Yu, Paul Zulli

Faculty of Engineering and Information Sciences - Papers: Part A

This paper presents a numerical study of the angle of repose, a most important macroscopic parameter in characterizing granular materials, by means of a modified distinct element method. Emphasis is given to the effect of variables related to factors such as particle characteristics, material properties, and geometrical constraints. The results show that sliding and rolling frictions are the primary reasons for the formation of a sandpile; particle size and container thickness significantly influence the angle of repose; and the angle of repose is not so sensitive to density, Poisson's ratio, damping coefficient, and Young's modulus. Increasing rolling friction coefficient or …

Pure Type Systems With More Liberal Rules, Martin W. Bunder, Wil Dekkers

Faculty of Engineering and Information Sciences - Papers: Part A

Pure Type Systems. PTSs, introduced as a generalisation of the type systems of Barendregt's lambda-cube, provide a foundation for actual proof assistants, aiming at the mechanic verification of formal proofs. In this paper we consider simplifications of some of the rules of PTSs. This is of independent interest for PTSs as this produces more flexible PTS-like systems, but it will also help, in a later paper, to bridge the gap between PTSs and systems of Illative Combinatory Logic.

First we consider a simplification of the start and weakening rules of PTSs. which allows contexts to be sets of statements, and …

A General Projection Framwork For Constrained Smoothing, E Mammen, J S. Marron, B A. Turlach, M P. Wand

Faculty of Engineering and Information Sciences - Papers: Part A

There are a wide array of smoothing methods available for finding structure in data. A general framework is developed which shows that many of these can be viewed as a projection of the data, with respect to appropriate norms. The underlying vector space is an unusually large product space, which allows inclusion of a wide range of smoothers in our setup (including many methods not typically considered to be projections). We give several applications of this simple geometric interpretation of smoothing. A major payoff is the natural and computationally frugal incorporation of constraints. Our point of view also motivates new …

Filamentary Shell Structures From The Aao/Ukst Ha Survey, Andrew Walker, William Zealey, Q A. Parker

Faculty of Engineering and Information Sciences - Papers: Part A

Here we present the first results of a search for new optical supernova remnant candidates and other filamentary objects on films produced by the Anglo-Australian Observatory/UK Schmidt Telescope Há Survey. Sixty-one fields, or 26% of the Galactic plane survey fields, have been visually examined. This has resulted in the detection of four newlarge diameter filamentary structures, and the discovery of extensive new optical emission in two previously known optical supernova remnant candidates.

Collegiate Aviation Research And Education Solutions To Critical Safety Issues, Brent D. Bowen, Uno Aviation Institute

Faculty Books and Monographs

UNOAI Report 2001-5

This document contains four papers concerning collegiate aviation research and education solutions to critical safety issues. “Panel Proposal Titled Collegiate Aviation Research and Education Solutions to Critical Safety Issues for the Tim Forte Collegiate Aviation Safety Symposium” (Brent Bowen) presents proposals for panels on the following topics: geographic north versus magnetic north to provide enhanced national airspace system safety; weather safety training for general aviation pilots through computer flight simulation; identification of human behavior and aircraft maintenance safety issues; disaster preparedness, emergency response, and curriculum development; the collegiate aviation emergency response checklist; and systemic initiatives in aviation …

On The Soft X-Ray Spectrum Of Cooling Flows, A C. Fabian, R F. Mushotzky, Paul E. J Nulsen, J R. Peterson

Faculty of Engineering and Information Sciences - Papers: Part A

Strong evidence for cooling flows has been found in low-resolution X-ray imaging and spectra of many clusters of galaxies. However, high-resolution X-ray spectra of several clusters from the Reflection Grating Spectrometer on XMM-Newton now show a soft X-ray spectrum inconsistent with a simple cooling flow. The main problem is a lack of the emission lines expected from gas cooling below 1–2 keV. Lines from gas at about 2–3 keV are observed, even in a high-temperature cluster such as A1835, indicating that gas is cooling down to about 2–3 keV, but is not found at lower temperatures. Here we discuss several …

Asca And Rosat Observations Of Nearby Cluster Cooling Flows, S W. Allen, A C. Fabian, R M. Johnstone, K A. Arnaud, Paul E J Nulsen

Faculty of Engineering and Information Sciences - Papers: Part A

We present a detailed analysis of the X-ray properties of the cooling flows in a sample of nearby, X-ray-bright clusters of galaxies using high-quality ASCA spectra and ROSAT X-ray images. We demonstrate the need for multiphase models to consistently explain the spectral and imaging X-ray data for the clusters. The mass deposition rates of the cooling flows, independently determined from the ASCA spectra and ROSAT images, exhibit reasonable agreement. We confirm the presence of intrinsic X-ray absorption in the clusters using a variety of spectral models. We also report detections of 100-μm infrared emission, spatially coincident with the cooling flows, …

Latent Maximum Entropy Principle For Statistical Language Modeling, Shaojun Wang, Ronald Rosenfeld, Yunxin Zhao

Kno.e.sis Publications

We describe a unified probabilistic framework for statistical language modeling, the latent maximum entropy principle. The salient feature of this approach is that the hidden causal hierarchical dependency structure can be encoded into the statistical model in a principled way by mixtures of exponential families with a rich expressive power. We first show the problem formulation, solution, and certain convergence properties. We then describe how to use this machine learning technique to model various aspects of natural language, such as syntactic structure of sentences, semantic information in a document. Finally, we draw a conclusion and point out future research directions.