Open Access. Powered by Scholars. Published by Universities.^{®}
Social and Behavioral Sciences Commons^{™}
Open Access. Powered by Scholars. Published by Universities.^{®}
 Keyword

 Assessment (2)
 Combinatory (2)
 Completeness (2)
 Hazard (2)
 Illative (2)

 Landslide (2)
 Logic (2)
 Algebra (1)
 Algebras (1)
 Atoms (1)
 Bci (1)
 Calculus (1)
 Cancellation (1)
 Class (1)
 Classification (1)
 Database (1)
 Effective (1)
 First (1)
 Groups (1)
 Index (1)
 Interpretation (1)
 Into (1)
 Intuitionistic (1)
 Laws (1)
 Network (1)
 Neural (1)
 Operators (1)
 Order (1)
 Ordered (1)
 P (1)
Articles 1  8 of 8
FullText Articles in Social and Behavioral Sciences
An Index Theorem For Toeplitz Operators On Totally Ordered Groups, Sriwulan Adji, Iain Raeburn, Anton Stroh
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.
Coal Mine Rib Mechanics  An Improved Understanding Of Rib Behaviour And Support Requirements, B Hebblewhite, B Lin, J Galvin, R Walker, Justine D. Calleja
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.
Neural Network Classification And Prior Class Probabilities, Steve Lawrence, Ian Burns, Andrew Back, Ah Chung Tsoi, C Lee Giles
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 (multilayer 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 …
Effective Urban Landslide Hazard Assessment, Robin N. Chowdhury, Phillip N. Flentje
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 …
A Landslide Database For Landslide Hazard Assessment, Robin N. Chowdhury, Phillip N. Flentje
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 …
Completeness Of The PropositionsAsTypes Interpretation Of Intuitionistic Logic Into Illative Combinatory Logic, Wil Dekkers, Martin Bunder, Henk Barendregt
Completeness Of The PropositionsAsTypes 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 propositionsastypes 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 …
Completeness Of Two Systems Of Illative Combinatory Logic For FirstOrder Propositional And Predicate Calculus, Wil Dekkers, Martin Bunder, Henk Barendregt
Completeness Of Two Systems Of Illative Combinatory Logic For FirstOrder 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 firstorder propositional and predicate calculus.
Cancellation Laws For BciAlgebra, Atoms And PSemisimple BciAlgebras, M W. Bunder
Cancellation Laws For BciAlgebra, Atoms And PSemisimple BciAlgebras, M W. Bunder
Faculty of Engineering and Information Sciences  Papers: Part A
We derive cancellation laws for BCIalgebras and for psemisimple BCI algebras, show that the set of all atoms of a BCIalgebra is a p semisimple BCIalgebra and that in a psemisimple BCIalgebra and = are the same.