Science and Technology Studies Commons^™

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 …

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 …

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.

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.

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 …

Interestingness Of Discovered Association Rules In Terms Of Neighborhood-Based Unexpectedness, Guozhu Dong, Jinyan Li

Kno.e.sis Publications

One of the central problems in knowledge discovery is the development of good measures of interestingness of discovered patterns. With such measures, a user needs to manually examine only the more interesting rules, instead of each of a large number of mined rules. Previous proposals of such measures include rule templates, minimal rule cover, actionability, and unexpectedness in the statistical sense or against user beliefs.

In this paper we will introduce neighborhood-based interestingness by considering unexpectedness in terms of neighborhood-based parameters. We first present some novel notions of distance between rules and of neighborhood of rules. The neighborhood-based interestingness of …

Legal-Ware: Contract And Copyright In The Digital Age, Michael J. Madison

Articles

ProCD, Inc. v. Zeidenberg, which enforced a shrinkwrap license for computer software, has encouraged the expansion of the shrinkwrap form beyond computer programs, forward, onto the Internet, and backward, toward such traditional works as books and magazines. Authors and publishers are using that case to advance norms of information use that exclude, practically and conceptually, a robust public domain and a meaningful doctrine of fair use. Contesting such efforts by focusing on the contractual nature of traditional shrinkwrap, by relying on market principles, on adhesion theory, on commercial law concepts of usage and custom, or on federal preemption doctrine, feeds …