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 …

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 …

Environment As Master Narrative: Discourse And Identity In Environmental Conflicts (Special Issue Introduction), Krista Harper

Anthropology Department Faculty Publication Series

Although postmodern philosophers proclaimed the death of the master narrative of enlightenment (Lyotard 1984), the environment has become a quintessentially global narrative. Throughout the world, people are imagining the environment as an object threatened by human action. Environmentalism proposes to organize and mobilize human action in order to protect the endangered environment (Milton 1995). Sociologist Klaus Eder posits that ecology has become a “masterframe,” transforming the field of political debate (Eder 1996). The articles assembled in this special issue investigate the rise of the environment as a master narrative organizing political practices.

Chernobyl Stories And Anthropological Shock In Hungary, Krista Harper

Anthropology Department Faculty Publication Series

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 …

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.

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.

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 …

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 …

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 …

A Hierarchical Classifier For Multispectral Satellite Imagery, Abdesselam Bouzerdoum

Faculty of Engineering and Information Sciences - Papers: Part A

In this article, a hierarchical classifier is proposed for classification of ground-cover types of a satellite image of Kangaroo Island, South Australia. The image contains seven ground-cover types, which are categorized into three groups using principal component analysis. The first group contains clouds only, the second consists of sea and cloud shadow over land, and the third contains land and three types of forest. The sea and shadow over land classes are classified with 99% accuracy using a network of threshold logic units. The land and forest classes are classified by multilayer perceptrons (MLPs) using texture features and intensity values. …

Does The Model Matter For Greg Estimation? A Business Survey Example, Dan Hedlin, Hannah Falvey, Raymond Chambers, Phillip Kokic

Faculty of Engineering and Information Sciences - Papers: Part A

Although asymptotically design-unbiased, GREG estimators may produce bad estimates. The article examines the behaviour of GREG estimators when the underlying models are misspecified. It shows how an efficient GREG estimator was found for a business survey that posed some problems. The work involved data exploration in several steps, combined with analyses of g-weights, residuals and standard regression diagnostics. We discuss two diagnostics for whether a GREG estimate is reasonable or not. A common justification for the use of GREG estimators is that, being asymptotically design unbiased, they are relatively robust to model choice. However, we show that the property of …

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 …

Mat: A Mobile Agent System For Supporting Autonomous Mobile Agents, Wei Li, Minjie Zhang

Faculty of Engineering and Information Sciences - Papers: Part A

Mobile Agent Template (MAT) is a mobile agent system that is under study and development at the Institute of Computing Technology, Chinese Academy of Sciences and sponsored by the University of Wollongong, Australia. MAT is not an alternative to other mobile agent systems, but is an agent system that can provide the autonomy to mobile agents. MAT tries to support new Web applications, such as the mobile computation, by autonomous and mobile agents. Mobile Thread Programming Model (MTPM), Distributed Task Plan (DTP) and Active State Space (ASS) are integral components on which MAT is constructed. Integration of these three components …

Wiener Model Identification And Predictive Control For Dual Composition Control Of A Distillation Column, H H J Bloemen, C T. Chou, T J J Van Den Boom, V Verdult, M Verhaegen, T C. Backx

Faculty of Engineering and Information Sciences - Papers: Part A

The benefits of using the Wiener model based identification and control methodology presented in this paper, compared to linear techniques, are demonstrated for dual composition control of a moderate-high purity distillation column simulation model. An identification experiment design is presented which enables one to identify both the low and high gain directions of the distillation column, properties which are important for control and hard to identify in a conventional identification experiment setup as is demonstrated in the paper. Data from the proposed experiment design is used for indirect closed-loop identification of both a linear and a Wiener model, which shows …

Existence Of Positive Solutions Of Some Semilinear Elliptic Equations With Singular Coefficients, Nirmalendu Chaudhuri, Mythily Ramaswamy

Faculty of Engineering and Information Sciences - Papers: Part A

No abstract provided.

Multifibre Spectroscopy Of The Supernova Remnant Candidate Rcw 114, Andrew Walker, William Zealey

Faculty of Engineering and Information Sciences - Papers: Part A

RCW 114 is a filamentary nebula of about 250 arcmin diameter. Based on its large diameter-to-filament-width ratio, the expansion velocity, distance and size of the shell, it has been suggested that RCW 114 is a supernova remnant in its momentum-conserving phase. Confirmation of this identification is important, as the large angular size and extensive optical emission of this object will allow for detailed study to improve our knowledge of supernova remnants and their interaction with the interstellar medium.

We have used the FLAIR instrument on the UK Schmidt Telescope to obtain optical spectra of several filaments in RCW 114. These …

The Soft X-Ray Background: Evidence For Widespread Disruption Of The Gas Haloes Of Galaxy Groups, K K S Wu, A C. Fabian, Paul E. J Nulsen

Faculty of Engineering and Information Sciences - Papers: Part A

Almost all of the extragalactic X-ray background (XRB) at 0.25 keV can be accounted for by radio-quiet quasars, allowing us to derive an upper limit of 4 keV cm⁻² s⁻¹ sr⁻¹ keV⁻¹ for the remaining background at 0.25 keV. However, the XRB from the gas haloes of groups of galaxies, with gas removal resulting from cooling accounted for, exceeds this upper limit by an order of magnitude if non-gravitational heating is not included. We calculate this using simulations of halo merger trees and realistic gas density profiles, which we require to reproduce the observed gas fractions …

Chandra X-Ray Observations Of The 3c 295 Cluster Core, S W. Allen, G B. Taylor, Paul E J Nulsen, R M. Johnstone, L P. David, S Ettori, A C. Fabian, W R. Forman, C Jones, B Mcnamara

Faculty of Engineering and Information Sciences - Papers: Part A

We examine the properties of the X-ray gas in the central regions of the distant (z=0.46), X-ray luminous cluster of galaxies surrounding the powerful radio source 3C 295, using observations made with the Chandra Observatory. Between radii of 50 and 500 kpc, the cluster gas is approximately isothermal with an emission-weighted temperature, kT∼5 keV. Within the central 50-kpc radius this value drops to kT∼3.7 keV. The spectral and imaging Chandra data indicate the presence of a cooling flow within the central 50-kpc radius of the cluster, with a mass deposition rate of approximately 280 M_{⊙ …}

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.

Values Of Minors Of An Infinite Family Of D-Optimal Designs And Their Application To The Growth Problem, C Koukouvinos, M Mitrouli, Jennifer Seberry

Faculty of Engineering and Information Sciences - Papers: Part A

No abstract provided.

The Application Of Coupled Bolts In Managing Adverse Horizontal Stress Conditions At Oaky Creek Coal, Justine D. Calleja

Faculty of Engineering and Information Sciences - Papers: Part A

Development drivage of Tailgate 21 commenced in May 2000. Difficult roof conditions associated with the splitting of the G ply coal away from the immediate seam into the roof were anticipated. 4.1m Coupled Bolts were considered to be a potentially cheaper and more effective reinforcement system than long tendon cables for these conditions. Coupled bolts have been used very effectively in similar conditions at Alliance Colliery. Coupled bolts were trialed for the first time at Oaky No. 1 between 18-19c/t TG21 where the interburden thickness between the roof and the G Ply seam split was between 1.4m and 4m. Indicators …

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 …