Laura Sisler and Kirk Girard

Pictured here at the 1979 Athletic Award Night (from left to right) is Laura Sisler, Brock Womens fencer and winner of the Douglas Trophy, and fencing coach Kirk Girard, holding the Douglas Trophy.

Laura Secord: a study in Canadian patriotism : being an address delivered before the Canadian Club, of Winnipeg, May 1st, 1907 /

Cover title.

A national monument to Laura Secord : why it should be erected, an appeal to the people of Canada /

Bibliography: p. 16.

Generating finite integral relation algebras

Relation algebras and categories of relations in particular have proven to be extremely useful as a fundamental tool in mathematics and computer science. Since relation algebras are Boolean algebras with some well-behaved operations, every such algebra provides an atom structure, i.e., a relational structure on its set of atoms. In the case of complete and atomic structure (e.g. finite algebras), the original algebra can be recovered from its atom structure by using the complex algebra construction. This gives a representation of relation algebras as the complex algebra of a certain relational structure. This property is of particular interest because storing the atom structure requires less space than the entire algebra. In this thesis I want to introduce and implement three structures representing atom structures of integral heterogeneous relation algebras, i.e., categorical versions of relation algebras. The first structure will simply embed a homogeneous atom structure of a relation algebra into the heterogeneous context. The second structure is obtained by splitting all symmetric idempotent relations. This new algebra is in almost all cases an heterogeneous structure having more objects than the original one. Finally, I will define two different union operations to combine two algebras into a single one.

A national monument to Laura Secord : why it should be erected, an appeal to the people of Canada

Bibliography: p. 16. Printed by Imrie, Graham and Co.

Generating Relation Algebras for Qualitative Spatial Reasoning

Basic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a customer specifies the outline of his future home to the architect by indicating which rooms should be close to each other. Qualitative spatial reasoning as an area of artificial intelligence tries to develop a theory of space based on similar notions. In formal ontology and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. We shall introduce abstract relation algebras and present their structural properties as well as their connection to algebras of binary relations. This will be followed by details of the expressiveness of algebras of relations for region based models. Mereotopology has been the main basis for most region based theories of space. Since its earliest inception many theories have been proposed for mereotopology in artificial intelligence among which Region Connection Calculus is most prominent. The expressiveness of the region connection calculus in relational logic is far greater than its original eight base relations might suggest. In the thesis we formulate ways to automatically generate representable relation algebras using spatial data based on region connection calculus. The generation of new algebras is a two pronged approach involving splitting of existing relations to form new algebras and refinement of such newly generated algebras. We present an implementation of a system for automating aforementioned steps and provide an effective and convenient interface to define new spatial relations and generate representable relational algebras.

Photograph - Lorenzo Lamas, Laura Dickson, Donald Ziraldo

A photograph of Lorenzo Lamas, Laura Dickson and Donald Ziraldo at the Winetasting Inn on the Park November 1986.

Laura Dexter letter, commenting on the McLeod murder trial, October 5, 1841

Alexander McLeod was Deputy Sheriff of the Niagara District during the Rebellion of 1837-38 in Upper Canada. On December 24, 1837, he became aware of a scheme by the rebels to use the American steamboat Caroline to provide supplies to William Lyon Mackenzie and his followers on Navy Island in the Niagara River. McLeod notified the authorities in Upper Canada about the situation. A few days later, on December 29, Commodore Andrew Drew led a band of men, including McLeod, to the American side, where the Caroline was moored at Schlosser’s Wharf. A scuffle ensued, in which American Amos Durfee was killed. The Caroline was then released from its moorings, set on fire, and drifted downstream before sinking. Many Americans viewed the incident as a violation of their sovereignty. Tensions between the United States and England were already strained over a boundary dispute between Maine and New Brunswick, and the situation with the Caroline further escalated the tension. McLeod was subsequently arrested in November, 1840 in Lewiston, NY and indicted for arson and murder. The British foreign secretary, Lord Palmerston, insisted that McLeod be released and could not be held personally responsible for the incident, as he was acting on orders from authorities in Canada. Eventually, McLeod was acquitted.

Indenture of bargain and sale between Frederic and Laura Charlotte Davis of the Town of Sarnia to Joseph A. Woodruff of the Town of Clifton

Indenture of bargain and sale between Frederic and Laura Charlotte Davis of the Town of Sarnia to Joseph A. Woodruff of the Town of Clifton for Lot no. 28 on the east side of Front Street in Sarnia. This document is slightly torn. This does not affect the text, Jan. 26, 1859.