Extending relAPS to first order logic

RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.

Niagara Falls Next to the River - Postcards

Board with six postcards of Niagara Falls. First postcard, In Victoria Park, Niagara Falls, Ont, Canada. Second postcard, entrance to Ontario Power Co. 's Works, Niagara Falls, Canada. Third postcard, The Refectory, Queen Victoria Park, Niagara Falls, Canada. Fourth postcard, Niagara Glen Inn, Niagara Glen, Canada. Fifth postcard, The Restaurant, Victoria Park, Niagara Falls, Canadian Side. Sixth postcard, The Administration Building, Victoria Park, Niagara Falls, Canada.

Certificate of Acceptance and Initiation to Canadian Order Chosen Friends - Thomas Cowan

A certificate of initiation and acceptance to the Canadian Order Chosen Friends, Thomas Cowan. The certificate reads "This certifies that evidence has been received that Thomas Cowan has been accepted and initiated by the Council name below, and has thus become a member of the Canadian Order of Chosen Friends, and entitled to all the rights and privileges of membership and a benefit of not exceeding one thousand dollars from the relief fund of said order, which shall in case of death be paid to Annie Cowan his wife in the manner and subject to the conditions set forth in the laws governing said relief fund and in the application for membership. This certificate to be in force and binding when accepted in writing by the said member, with the acceptance attested by the Councilor and Recorder and the seal of the Subordinate Council affixed, so long as said member shall comply with the requirements of the Constitution, Laws and Regulations now in force or hereafter adopted for the government of the Order: otherwise, and also in the case of granting of a new certificate, to be null and void. In witness whereof, we have hereunto attached our signatures, and affixed the seal of the Grand Council of the Canadian Order of Chosen Friends. Dated the Twenty Seventh day of July, A.D. 1891." The front and back of the certificate are available for viewing.

Photograph - Women standing next to Car

A photograph of four women all in hats standing next to a car.

Photograph - Women standing next to Car #2

A photograph of four women standing next to a car.

What children value : a scale to guide health promotion programs

Objective. Physical activity is important for the health of all human beings. Although it is important to develop good health promotion programs for children to increase participation in physical activity, to date there appear to be no programs based on what kids value beyond health and physical activity itself. This study proposed to create a scale with strong content and face validity that could uncover what any given population of children value in life regardless of their participation in physical activity and that experts feel could be related to physical activity. These findings will allow the development of targeted health promotion programs to increase children's participation in regular physical activity. Method In this study, a combination of qualitative and quantitative approaches was used. Data were gathered from seven experts in the field, sixty-seven children in grades three to five, five parents, and three teachers. From these data response groupings were created and sent to four experts to be given single word names. The resulting nine theme names were re-worked into "child-friendly" language. Four children were then asked to discuss theme names to see if they liked and understood them. The next step involved asking children and experts to rank order the nine themes, the children in general and the experts in terms of relevance to physical activity. From these results, possible versions of the scale were then created using the combined expert/children rankings. Each version was examined for content validity. Two versions of a scale resulted. These were sent to experts, parents, teachers and children in order to determine which one they liked better and to suggest any foreseeable problems. Once this information was collected, a beta (final prototype) version of the scale was created. Results. Nine common theme names were created from the response groupings. All four children agreed that they did understand and like each of the nine theme names. Experts and teachers agreed that full coverage of the content had been achieved. Children suggested a single wording change from "Being Accepted" to "Being Included". Five themes were selected for inclusion. The beta version of the scale included 12 forced choice statements, the first ten comparing all themes against one another followed by two anchor statements. Conclusion. At the outset it was recognized that it is essential to know what children think is important in their lives in order to serve as potential benefits in the development of effective physical activity promotion programs. This study developed a scale which could be used to determine what a population of children feel is important in order to focus health promotion programs for physical activity. The scale has strong face and content validity.

Letter - F. Nicholls to W.B. Rankine, 17 January 1902

A letter from Second V.P. Frederic Nicholls of Canadian General Electric Co. to W.B. Rankine in regards to transformers. The Canadian Niagara Power Co. has agreed to an order of nine transformers (1250 Killowatt) to be installed in the Power House at Niagara Falls. The transformers will cost the Canadian Niagara Power Company forty three thousand two hundred dollars.

Mackenzie Chown B Block

Mackenzie Chown Complex in the background and the path running next to it.

Mackenzie Chown Path

Path running next to the Mackenzie Chown Complex.

Shaver Hospital Residence

Located next to Shaver Hospital across the street from Bock's main campus, the Shaver Hospital Residence used to house nursing students. The building was demolished in the early 2000s.

Phonon spectra and thermodynamic properties of rare gas solids based on empirical and semi-empirical (ab initio) two-body potentials : a comparative study /

We study the phonon dispersion, cohesive and thermal properties of raxe gas solids Ne, Ar, Kr, and Xe, using a variety of potentials obtained from different approaches; such as, fitting to crystal properties, purely ab initio calculations for molecules and dimers or ab initio calculations for solid crystalline phase, a combination of ab initio calculations and fitting to either gas phase data or sohd state properties. We explore whether potentials derived with a certain approaxih have any obvious benefit over the others in reproducing the solid state properties. In particular, we study phonon dispersion, isothermal ajid adiabatic bulk moduli, thermal expansion, and elastic (shear) constants as a function of temperatiue. Anharmonic effects on thermal expansion, specific heat, and bulk moduli have been studied using A^ perturbation theory in the high temperature limit using the neaxest-neighbor central force (nncf) model as developed by Shukla and MacDonald [4]. In our study, we find that potentials based on fitting to the crystal properties have some advantage, particularly for Kr and Xe, in terms of reproducing the thermodynamic properties over an extended range of temperatiures, but agreement with the phonon frequencies with the measured values is not guaranteed. For the lighter element Ne, the LJ potential which is based on fitting to the gas phase data produces best results for the thermodynamic properties; however, the Eggenberger potential for Ne, where the potential is based on combining ab initio quantum chemical calculations and molecular dynamics simulations, produces results that have better agreement with the measured dispersion, and elastic (shear) values. For At, the Morse-type potential, which is based on M0ller-Plesset perturbation theory to fourth order (MP4) ab initio calculations, yields the best results for the thermodynamic properties, elastic (shear) constants, and the phonon dispersion curves.

Regional variations of deformation mechanisms in the Lorrain Quartzite near Whitefish Falls, Ontario, Canada /

The quartzite microfabric found in the Lorrain Formation was studied across the La Cloche syncline, along a regional north-south transect along highway 6, near Whitefish Falls, Ontario. The complete stratigraphic sequence across the syncline is preserved, and is present on each fold limb. The lithostratigraphic units with the smallest grains size and lowest mica content are located close to the core of the fold, while coarser grained mica and feldspar rich units are situated at the northern and southern most extent of the transect. Deformation mechanisms vary with lithology and with position across the fold. Pressure solution appears to be the dominant deformation mechanism in the feldspathic, micaceous and ferruginous units. In the finer grained, mica poor white medium grained and cherty sandstone units, grain boundary migration (GBM) characteristics show dominance over those of pressure solution and show high amounts of fracturing which cut migrated boundaries and therefore post date GBM. All samples across the fold display a preferred orientation of quartz c-axes. The senses of asymmetry of fabrics are found to be similar across the syncline, with the exception of the ferruginous sandstone unit. Formation of these similar fabrics synmietries can not be the result of strain related to first order folding. The mica content appears to be related to the percentage of quartz lost due to pressure solution as a result of strain; the more mica present, the less quartz was lost. Calculations based on the shape of initial grains suggest that conservatively 30% of the quartz volume has been dissolved out of the Lorrain quartzite, and potentially migrated hundreds of meters to other members of the Huronian Supergroup as there was no meso or macroscopic evidence observed in outcrop.

Lighting recommendations for the Ryan Electric Scintillator and Fireworks Program for the official dedication Niagara Falls illumination, 1925

Walter D’Arcy Ryan was born in 1870 in Kentville, Nova Scotia. He became the chief of the department of illumination at the General Electric Company of Schenectady, New York. He was a founder in the field of electrical illumination. He built the electric steam scintillator which had numerous nozzles and valves. The operator would release steam through the valves. The nozzles all had names which included: Niagara, fan, snake, plume, column, pinwheel and sunburst. The steam scintillator was combined with projectors, prismatic reflectors, flashers and filters to produce the desired effects. In 1920 a group of businessmen from Niagara Falls, New York formed a group who called themselves the “generators’. They lobbied the American and Canadian governments to improve the illumination of the Falls. They were able to raise $58, 000 for the purchase and installation of 24 arc lights to illuminate the Falls. On February 24th, 1925 the Niagara Falls Illumination Board was formed. Initially, the board had a budget of $28,000 for management, operation and maintenance of the lights. The power was supplied free by the Ontario Power Company. They had 24 lights installed in a row on the Ontario Power Company surge tank which was next to the Refectory in Victoria Park on the Canadian side. The official opening ceremony took place on June 8th, 1925 and included a light parade in Niagara Falls, New York and an international ceremony held in the middle of the Upper Steel Arch Bridge. Walter D’Arcy Ryan was the illuminating engineer and A.D. Dickerson who was his New York field assistant directed the scintillator. with information from American Technological Sublime by David E. Nye and the Niagara Falls info website Location: Brock University Archives Source Information: Subject Headings: Added Entries: 100 Ryan, W. D’A. |q (Walter D’Arcy), |d 1870-1934 610 General Electric Company 650 Lighting, Architectural and decorative 650 Lighting |z New York (State) |z Niagara Falls 700 Dickerson, A.F. 700 Schaffer, J.W. Related material held at other repositories: The Niagara Falls Museum in Niagara Falls, Ontario has a program (pamphlet) dedicating new lighting in 1958 and it has postcards depicting the illumination of the Falls. Some of Ryan’s accomplishments can be seen at The Virtual Museum of the City of San Francisco. Described by: Anne Adams Date: Sept 26,Upper Steel Arch Bridge. Walter D’Arcy Ryan was the illuminating engineer and A.D. Dickerson who was his New York field assistant directed the scintillator. with information from American Technological Sublime by David E. Nye and the Niagara Falls info website

Article - "Tribune Article Wins Aviation Writing Prize", 1958

An article in The Evening Tribune that discusses a second place win in an aviation writing competition. She had also won previously in 1953. The article states that the "newest award comes on the heels of the granting of an airline transport licence to Mrs. Rungeling." Dorothy Rungeling has written a small note next to the article that reads: "Getting an Airline transport Licence was my proudest achievement. I was number 1 woman in Canada."

Photograph - Dorothy Rungeling in Car

A photograph of Dorothy Rungeling sitting in a car parked beside a plane. There is a boy in the car next to her, likely her son Barry. According to her story in Air Facts (reprinted in Bozeman Daily Chronicle), this may be the day back in 1948 when she first went up in an airplane, According to the story, she was with her husband and son taking photographs for ads for their car dealership when she was persuaded by her son to take a turn in the airplane.