Social and Behavioral Sciences Commons^™

A Classification Of Intersection Type Systems, Martin W. Bunder

Faculty of Engineering and Information Sciences - Papers: Part A

The first system of intersection types. Coppo and Dezani [3], extended simple types to include intersections and added intersection introduction and elimination rules ((ΛI ) and (ΛE) ) to the type assignment system. The major advantage of these new types was that they were invariant under β-equality, later work by Barendregt, Coppo and Dezani [1], extended this to include an (η) rule which gave types invariant under βη-reduction.

Urzyczyn proved in [6] that for both these systems it is undecidable whether a given intersection type is empty. Kurata and Takahashi however have shown in [5] …

A Sub-Vector Weighting Scheme For Image Retrieval With Relevance Feedback, Lei Wang, Kap Luk Chan, Xuejian Xiong

Faculty of Engineering and Information Sciences - Papers: Part A

In this paper, a sub-vector weighting scheme is proposed for the case of small sample in image retrieval with relevance feedback. By partitioning a multi-dimensional visual feature vector to multiple sub-vectors, the singularity problem caused by small sample can be avoided by the lower dimensionality of the sub-vectors. Then the optimal weighting can be performed on these sub-vectors respectively and the similarity scores obtained are combined as the final score to rank the database images. Experimental results demonstrated that the proposed weighting scheme can significantly improve the efficacy of image retrieval with relevance feedback.

Limitations Of Current Design Procedures For Steel Members In Space Frames, Lip H. Teh

Faculty of Engineering and Information Sciences - Papers: Part A

The use of more advanced methods of analysis to design steel frames may lead to substantial material savings, in addition to simplicity in the design procedures. However, these benefits do not yet appear to be a powerful incentive for many structural engineers to abandon the familiar linear elastic analysis (LEA) based design procedures, even when dealing with steel structures that are not regular rectangular frames. This paper uses a heuristic example to demonstrate the serious limitations of the LEA based design procedures, whether alignment charts or system buckling analysis is used to determine the effective lengths of the compression members. …

An Image Database Semantically Structured Based On Automatic Image Annotation For Content-Based Image Retrieval, Xuejian Xiong, Kap Luk Chan, Lei Wang

Faculty of Engineering and Information Sciences - Papers: Part A

In this paper, we presented a semantically structured image database for content-based image retrieval. A class descriptor is proposed to represent each class using a multiprototype model, which can be obtained by using a learning scheme, such as the Unsupervised Optimal Fuzzy Clustering algorithm, on a group of sample images manually selected from the class. Based on the proposed Image-Class Matching Distance, a similarity measure at the semantic level between an image and classes, images can be annotated by tokens of classes. Hence, composite features of images, including low-level descriptors, class descriptors, and image annotation, are stored into a structured …

Numerical Investigation Of A Reaction In A Batch Reactor: Flammability Limits, M. J Sexton, Harvinder Sidhu, Mark Nelson

Faculty of Engineering and Information Sciences - Papers: Part A

We study the spatial behaviour of the hydrogen-chlorine reaction in a batch reactor. The solutions exhibit regimes of slow and fast reaction. The main aim of this work is to distinguish between flaming and non-flaming mixtures from the numerical solutions. After setting out a practical criterion for flammability, we construct diagrams in parameter space which display the regions in which the reaction mixture is flammable.

A Distribution-Based Face/Nonface Classification Technique, Son Lam Phung, Douglas Chai, Abdesselam Bouzerdoum

Faculty of Engineering and Information Sciences - Papers: Part A

The core element of many existing approaches to face detection is the classification algorithm that determines if a sub-image of an input image contains a face pattern. In this paper, we present a novel and effective distribution-based face/non-face classification technique that detects frontal face patterns with possible in-plane rotation. A 15x15 input sub-image is first processed by a color filter, which verifies the presence of human skin color in the sub-image. Then, the intensity image is extracted from the identified skin color sub-image and converted into a vector in a high-dimensional space (R²²⁵). Principal component analysis is …

Why Don't We Teach Software Engineers About The Law?, Anne Fuller, Peter Croll

Faculty of Engineering and Information Sciences - Papers: Part A

Much work has been done in recent years developing software engineering curricula. SE research has traditionally focused on the needs of very large corporations undertaking equally mammoth and complex development projects, consequently, current curricula tend to focus on this model. Yet by far the majority of software development is undertaken by Small to Medium Enterprises. The rise of the internet as a platform for commercial applications has partly driven this move away from monolithic software development. Depending on the nature of the application itself many of these products can be described as 'critical' with the failure of such a product …

An Improved Hardy-Sobolev Inequality And Its Application, Adi Adimurthi, Nirmalendu Chaudhuri, Mythily Ramaswamy

Faculty of Engineering and Information Sciences - Papers: Part A

No abstract provided.

The Dual Reciprocity Boundary Element Method For Magnetohydrodynamic Channel Flows, Song-Ping Zhu, Huan-Wen Liu

Faculty of Engineering and Information Sciences - Papers: Part A

In this paper, we consider the problem of the steady-state fully developed magnetohydrodynamic (MHD) flow of a conducting fluid through a channel with arbitrary wall conductivity in the presence of a transverse external magnetic field with various inclined angles. The coupled governing equations for both axial velocity and induced magnetic field are firstly transformed into decoupled Poisson-type equations with coupled boundary conditions. Then the dual reciprocity boundary element method (DRBEM) [20] is used to solve the Poisson-type equations. As testing examples, flows in channels of three different cross-sections, rectangular, circular and triangular, are calculated. It is shown that solutions obtained …

Equity Issues In E-Education, Penelope Mcfarlane, Anne Fuller

Faculty of Engineering and Information Sciences - Papers: Part A

The potential of the World Wide Web as a medium for course delivery was early recognized, and universities were quick to take advantage of its possibilities for reaching a wider and more diverse student population. As the amount of course content being offered online increases, both to internal and external students, universities are increasingly exposed to the possibility that students may claim they are disadvantaged by either the mode of delivery or, in the case of overseas students, the content itself. In this paper we review the explosion in internet-based delivery of courses and discuss the areas where we believe …

Learning Kernel Parameters By Using Class Separability Measure, Lei Wang, Kap Luk Chan

Faculty of Engineering and Information Sciences - Papers: Part A

Learning kernel parameters is important for kernel based methods because these parameters have significant impact on the generalization abilities of these methods. Besides the methods of Cross-Validation and Leave-One-Out, minimizing some upper bounds on the generalization error, such as the radius-margin bound, was also proposed to more efficiently learn the optimal kernel parameters. In this paper, a class separability criterion is proposed for learning kernel parameters. The optimal kernel parameters are regarded as those that can maximize the class separability in the induced feature space. With this criterion, learning the kernel parameters in SVM can avoid solving the quadratic programming …

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.

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, …

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 …

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 …

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 …

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 …

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 …

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_{⊙ …}

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 …

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.

Developments In Blast Furnace Process Control At Port Kembla Based On Process Fundamentals, Robert Nightingale, Rian Dippenaar, Wei-Kao Lu

Faculty of Engineering and Information Sciences - Papers: Part A

This article is based on a presentation made in the "Geoffrey Belton Memorial Symposium," held in January 2000, in Sydney, Australia, under the joint sponsorship of ISS and TMS.

The C*-Algebras Of Row-Finite Graphs, Teresa Bates, David Pask, Iain Raeburn, Wojciech Szymanski

Faculty of Engineering and Information Sciences - Papers: Part A

We prove versions of the fundamental theorems about Cuntz-Krieger algebras for the C*-algebras of row-finite graphs: directed graphs in which each vertex emits at most finitely many edges. Special cases of these results have previously been obtained using various powerful machines; our main point is that direct methods yield sharper results more easily.