Open Access. Powered by Scholars. Published by Universities.®

Social and Behavioral Sciences Commons™

Open Access. Powered by Scholars. Published by Universities.®

University of Wollongong

Science and Technology Studies

1998

Articles 1 - 8 of 8

Full-Text Articles in Social and Behavioral Sciences

An Index Theorem For Toeplitz Operators On Totally Ordered Groups, Sriwulan Adji, Iain Raeburn, Anton Stroh Jan 1998

An Index Theorem For Toeplitz Operators On Totally Ordered Groups, Sriwulan Adji, Iain Raeburn, Anton Stroh

Faculty of Engineering and Information Sciences - Papers: Part A

No abstract provided.

Go to article

Coal Mine Rib Mechanics - An Improved Understanding Of Rib Behaviour And Support Requirements, B Hebblewhite, B Lin, J Galvin, R Walker, Justine D. Calleja Jan 1998

Coal Mine Rib Mechanics - An Improved Understanding Of Rib Behaviour And Support Requirements, B Hebblewhite, B Lin, J Galvin, R Walker, Justine D. Calleja

Faculty of Engineering and Information Sciences - Papers: Part A

The role of reinforcement elements in coal mine ribs has not been well understood. Various approaches to rib support and reinforcement are in use in the industry with mixed results. Rib spall is not uncommon and can vary from small nuisance fragments of coal to large scale collapse of the full rib surface, often with serious safety implications. This paper describes the outcomes of an ACARP research project which investigated rib behaviour to identify the geotechnical mechanics involved and then evaluated some prototype reinforcement strategies based on the concept of yielding support elements.

Go to article

Neural Network Classification And Prior Class Probabilities, Steve Lawrence, Ian Burns, Andrew Back, Ah Chung Tsoi, C Lee Giles Jan 1998

Neural Network Classification And Prior Class Probabilities, Steve Lawrence, Ian Burns, Andrew Back, Ah Chung Tsoi, C Lee Giles

Faculty of Engineering and Information Sciences - Papers: Part A

A commonly encountered problem in MLP (multi-layer perceptron) classification problems is related to the prior probabilities of the individual classes - if the number of training examples that correspond to each class varies significantly between the classes, then it may be harder for the network to learn the rarer classes in some cases. Such practical experience does not match theoretical results which show that MLPs approximate Bayesian a posteriori probabilities (independent of the prior class probabilities). Our investigation of the problem shows that the difference between the theoretical and practical results lies with the assumptions made in the theory (accurate …

Go to article

Effective Urban Landslide Hazard Assessment, Robin N. Chowdhury, Phillip N. Flentje Jan 1998

Effective Urban Landslide Hazard Assessment, Robin N. Chowdhury, Phillip N. Flentje

Faculty of Engineering and Information Sciences - Papers: Part A

Landslide hazard assessment is a vitally important component of any strategy for the management of risk of instability in hilly areas. Within many urban areas, reactivation of landslides is an important component of risk. Yet, most qualitative approaches do not differentiate between the hazard of individual landslides. Two quantitative approaches are introduced in this paper both of which utilise GISbased accurate maps of geology and landslip as well as a landslide database. The first method is based on historical recurrence of individual landslides. The second method is based on monitoring of subsurface shear movements, and their relationships to rainfall. Both …

Go to article

Completeness Of The Propositions-As-Types Interpretation Of Intuitionistic Logic Into Illative Combinatory Logic, Wil Dekkers, Martin Bunder, Henk Barendregt Jan 1998

Completeness Of The Propositions-As-Types Interpretation Of Intuitionistic Logic Into Illative Combinatory Logic, Wil Dekkers, Martin Bunder, Henk Barendregt

Faculty of Engineering and Information Sciences - Papers: Part A

Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. In a preceding paper, [2], we considered 4 systems of illative combinatory logic that are sound for first order intuitionistic prepositional and predicate logic. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators, or in a more direct way, in which derivations are not translated. Both translations are closely related in a canonical way. In the cited paper we proved …

Go to article

Cancellation Laws For Bci-Algebra, Atoms And P-Semisimple Bci-Algebras, M W. Bunder Jan 1998

Cancellation Laws For Bci-Algebra, Atoms And P-Semisimple Bci-Algebras, M W. Bunder

Faculty of Engineering and Information Sciences - Papers: Part A

We derive cancellation laws for BCI-algebras and for p-semisimple BCI- algebras, show that the set of all atoms of a BCI-algebra is a p semisimple BCI-algebra and that in a p-semisimple BCI-algebra and = are the same.

Go to article

Completeness Of Two Systems Of Illative Combinatory Logic For First-Order Propositional And Predicate Calculus, Wil Dekkers, Martin Bunder, Henk Barendregt Jan 1998

Completeness Of Two Systems Of Illative Combinatory Logic For First-Order Propositional And Predicate Calculus, Wil Dekkers, Martin Bunder, Henk Barendregt

Faculty of Engineering and Information Sciences - Papers: Part A

Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers 4 systems of illative combinatory logic that are sound for first-order propositional and predicate calculus.

Go to article

A Landslide Database For Landslide Hazard Assessment, Robin N. Chowdhury, Phillip N. Flentje Jan 1998

A Landslide Database For Landslide Hazard Assessment, Robin N. Chowdhury, Phillip N. Flentje

Faculty of Engineering and Information Sciences - Papers: Part A

Assessing the hazard and risk of slope instability and landsliding requires a consideration of basic geological and geotechnical factors which control stability as well as external agents or events which decrease stability and which may trigger landsliding. Prediction of slope performance is difficult and it is, therefore, considered appropriate to develop approaches for hazard and risk assessment. This paper is concerned primarily with one important aspect or element of such an approach. The essential and desirable features of a landslide database are outlined with particular reference to an urban area in New South Wales, Australia. The procedures and processes for …

Go to article