Photograph - Baie Comeau, Panorama View

A panoramic view of Baie Comeau, showing the entire site. The photograph has been cut in half and folded. The caption reads "Panorama taken from water tank showing millsite, paper warehouse, temporary townsite to left. Men's cook house in left centre, rock quarry to right, railway lines on right.

Registered Nurses' Perceptions about Facilitators and Barriers to Maternal Skin to Skin Contact in the Operating Room

Abstract It is recommended that all new mothers experience skin-to-skin contact (SSC) with their newborns immediately after birth. However, SSC is not commonly practiced after cesarean deliveries. To understand facilitators and barriers regarding SSC in the operating room (OR), a descriptive online and paper survey was conducted with 68 Registered Nurses from four hospitals in Ontario. The theory of planned behavior framed the study. Nurses had positive attitudes, and believed most health care team members supported SSC in the OR, but were uncertain about their control over the behavior. Nurses who had practiced the behavior in the past had more positive attitudinal and normative beliefs, and perceived some barriers as less difficult. Attitude and past behavior were the only significant multivariate predictors of intention to practice SSC in the future. Results suggest that shifting attitude and supporting more experience with the practice may increase nurses’ implementation of SSC in the OR.

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.

Photograph - Baie Comeau, welding railway line

A photograph of men working to weld the railway line at Baie Comeau. The caption reads, "Welding railway line as rails joined immediately behind the temporary staff house".

Photograph - Baie Comeau, LaChasse Dam

A photograph with the caption, "LaChasse dam looking from river to Lake LaChasse".

Photograph - Baie Comeau, Blasting Rock

A photograph of the construction at Baie Comeau, with the caption "'Sinking' dynamite for blast in rock immediately behind temporary staff house."

Photograph - Baie Comeau, Dam at Lake LaChasse

A photograph of the construction of the dam at Lake LaChasse.

Photograph - Baie Comeau, Unloading Ship

A photograph of the ship called "Shelter Bay" as it sits for unloading at the main wharf.

Photograph - Baie Comeau, Railway line

A photograph with the caption "Railway line, on trestle, immediately behind millsite".