Anomalous carbonate preservation in the abyssal North Pacific, ODP sites 882 and 1179: planktonic foraminiferal analysis, climate change and palaeogeomagnetism /

Thesis (M.Sc.)--Brock University, 2004.

The campaign for the preservation of Niagara Falls : address /

Photocopy.

Preservation of Niagara Falls. --

Title from spine.

Special report of New York State Survey on the preservation of the scenery of Niagara Falls ; and fourth annual report on the triangulation of State. For the Year 1879 /

Notes by F. L. Olmsted.

The von Neumann Minimax Theorem and its relatives and a study of externality in on-line auctions

This work consists of a theoretical part and an experimental one. The first part provides a simple treatment of the celebrated von Neumann minimax theorem as formulated by Nikaid6 and Sion. It also discusses its relationships with fundamental theorems of convex analysis. The second part is about externality in sponsored search auctions. It shows that in these auctions, advertisers have externality effects on each other which influence their bidding behavior. It proposes Hal R.Varian model and shows how adding externality to this model will affect its properties. In order to have a better understanding of the interaction among advertisers in on-line auctions, it studies the structure of the Google advertisements networ.k and shows that it is a small-world scale-free network.

An Interactive Theorem Prover for First-Order Dynamic Logic

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.

Care and Preservation of Artillery Material, 1917

A manual instructing on the "Care and Preservation of Artillery Material" from the Field Artillery School of Instruction (Saumur). The name of Arthur A. Schmon is handwritten across the front cover.

An Abstract Algebraic Theory of L-Fuzzy Relations for Relational Databases

Classical relational databases lack proper ways to manage certain real-world situations including imprecise or uncertain data. Fuzzy databases overcome this limitation by allowing each entry in the table to be a fuzzy set where each element of the corresponding domain is assigned a membership degree from the real interval [0…1]. But this fuzzy mechanism becomes inappropriate in modelling scenarios where data might be incomparable. Therefore, we become interested in further generalization of fuzzy database into L-fuzzy database. In such a database, the characteristic function for a fuzzy set maps to an arbitrary complete Brouwerian lattice L. From the query language perspectives, the language of fuzzy database, FSQL extends the regular Structured Query Language (SQL) by adding fuzzy specific constructions. In addition to that, L-fuzzy query language LFSQL introduces appropriate linguistic operations to define and manipulate inexact data in an L-fuzzy database. This research mainly focuses on defining the semantics of LFSQL. However, it requires an abstract algebraic theory which can be used to prove all the properties of, and operations on, L-fuzzy relations. In our study, we show that the theory of arrow categories forms a suitable framework for that. Therefore, we define the semantics of LFSQL in the abstract notion of an arrow category. In addition, we implement the operations of L-fuzzy relations in Haskell and develop a parser that translates algebraic expressions into our implementation.

Preservation of Agricultural Lands Society (PALS) fonds, 1954-2015, n.d.

Preservation of Agricultural Lands Society [PALS] held its first meeting at Brock University on June 21, 1976. Its first executive consisted of Robert Hoover, Rick Teather, Debbie Kehler and Bill Forster. Some objectives of the organization were "to seek the preservation of valuable farm areas from non-agricultural expansion and development and to foster development and support of federal, provinicial and local policy which will provide a secure financial future for farming." Gracia Janes and John Bacher are some of the organizations' well known advocates. The organization was active in raising public awareness of the issues surrounding encroaching development onto existing agricultural lands. The organization is still active today [2016] in educating the public and attempting to influence governments at all levels to protect valuable agricultural lands.