Equational Reasoning about Object-Oriented Programs

Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.

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.

Impact of a Youth Development Camp on Participants’ Skills, Attitudes, and Views Towards Science and Scientific Inquiry

This mixed-methods research study sought to determine the impact of an informal science camp—the Youth Science Inquiry Development Camp (YSIDC)—on participants’ science inquiry skills, through self-assessment, as well as their views and attitudes towards science and scientific inquiry. Pre and post data were collected using quantitative surveys (SPSI, CARS), a qualitative survey (VOSI-E), interviews, and researcher’s observations. Paired sample t-tests from the quantitative surveys revealed that the YSIDC positively impacted participants’ science inquiry skills and attitudes towards science. Interviews supported these findings and provided contextual reasons for these impacts. Implications from this research would suggest that informal and formal educational institutions can increase science inquiry skills and promote positive views and attitudes towards science and scientific inquiry by using non-competitive cooperative learning strategies with a mixture of guided and open inquiry. Suggested directions for further research include measuring science inquiry skills directly and conducting longitudinal studies to determine the lasting effects of informal and formal science programs.

Familiar Science of The Scientific Explanation of Common Things

There is a signature on this book that reads "Julia Cleveland 22 East-8 Street, Erie Penna."

Graphics for engineers, architects, and builders : a manual for designers, an a text - book for scientific schools. Trusses and arches analyzed and discussed by graphical methods

UANL

A natural philosophy embracing the most recent discoveries in the various braches of physics and exhibiting the applications of scientific principles in every-day life

UANL

An interview with Avigail Eisenberg : “Reasoning about the Identity of Aboriginal People”

Document de travail

Deliberative Democracy and Precautionary Public Reasoning : Exploratory Thoughts

article

A reference handbook of the medical sciences : embracing the entirerange of scientific and practical medicine and allied science

UANL

Les théories de la complexité et la systémique en gouvernance clinique: le cas des soins intensifs chirurgicaux

Deux thématiques importantes des technologies de la santé: la pratique médicale fondée sur des preuves probantes et l’évaluation des interventions en médecine sont fondées sur une approche positiviste et une conception mécaniste des organisations en santé. Dans ce mémoire, nous soulevons l’hypothèse selon laquelle les théories de la complexité et la systémique permettent une conceptualisation différente de ces deux aspects de la gouvernance clinique d’une unité de Soins Intensifs Chirurgicaux (SIC), qui est considérée comme un système adaptatif dynamique non linéaire qui nécessite une approche systémique de la cognition. L’étude de cas d’une unité de SIC, permet de démontrer par de nombreux exemples et des analyses de micro-situations, toutes les caractéristiques de la complexité des patients critiques et instables et de la structure organisationnelle des SIC. Après une critique épistémologique de l’Evidence-Based Medicine nous proposons une pratique fondée sur des raisonnements cliniques alliant l’abduction, l’herméneutique et la systémique aux SIC. En nous inspirant des travaux de Karl Weick, nous suggérons aussi de repenser l’évaluation des modes d’interventions cliniques en s’inspirant de la notion d’organisation de haute fiabilité pour mettre en place les conditions nécessaires à l’amélioration des pratiques aux SIC.

La danse des fantômes à la cour Suprême du Canada: les droits autochtones pendant le premier quart de siècle de l'article 35 de la loi constitutionnelle, 1982

Titre de la page de titre additionnel: Ghost dancing at the Supreme Court of Canada : indigenous rights during the First quarter century of s.35.of Canada's Constitution Act, 1982.

On the health and wellbeing of single working women without children : an analysis of scientific and lay discourse

Cette thèse examine la façon dont on interprète la santé et le bien-être des travailleuses célibataires et sans enfant au sein de deux types de récits : ceux provenant d’études publiées dans des périodiques (récits scientifiques) et ceux provenant d’entrevues qualitatives avec des membres de ce groupe (récits profanes). Sur le plan démographique, leur nombre est significatif; elles représentent 28% des employées canadiennes. Par contre, leur santé/bien-être est peu visible dans les écrits de recherche. Dans les sciences sociales, plusieurs études portent sur l’expérience parfois éprouvante d’être un adulte célibataire vivant dans une culture orientée sur le couple et la famille. Elles mettent l’accent sur le stigma associé à ce statut. Certains suggèrent même que les pratiques de recherche peuvent contribuer à la perpétuation de représentations négatives à l’égard des célibataires. En ayant un profil qui pourrait être symbolique d’une déviation vis-à-vis des attentes normatives entourant la vie de couple ou de famille, les travailleuses célibataires et sans enfant semblent un point de repère utile pour évaluer cette dernière possibilité. S’attarder autant aux récits scientifiques que profanes permettrait d’explorer les tensions et convergences entre eux. Suivant cet objectif, un échantillon de 32 articles scientifiques et de 22 retranscriptions d’entrevues ont été analysés selon une approche d’analyse de discours guidée par les concepts de répertoire interprétatif (une façon cohérente d’aborder un sujet donné) et de position du sujet (une identité mise en évidence par une façon de parler ou d’écrire). Trois articles ont émergé de cette recherche. Suite à une analyse des thèmes communs utilisés dans l’interprétation de la santé/du bien-être du groupe en question, un répertoire interprétatif surnommé la famille comme référence a été identifié. Ce répertoire expliquerait notamment la tendance observée d’expliquer leur santé/bien-être en référant aux états et aux charactéristiques d’être parent ou partenaire. Cette pratique peut avoir l’effet de voiler leur vie privée ou de la construire comme étant relativement appauvrie. L’article 2 examine comment les membres de ce groupe construisent leur propre bien-être. Il identifie la notion d’équilibre entre plusieurs sphères de vie et une identité de femme dynamique comme éléments centraux aux récits sur leur bien-être. Ces derniers vont à l’encontre de la perception des célibataires ou des personnes sans enfant comme ayant des vies moins épanouies ou enrichies et qui ne sont pas touchées par des questions de conciliation travail-vie personnelle. Le troisième article rassemble les deux types de récits autour des sujets de l’emploi et du statut de célibataire en lien avec le bien-être. Il met en évidence de nombreuses similarités et divergences, et théorise la fonction de ces diverses constructions. En conclusion, j’avance qu’une perspective plus critique face au statut de couple ou familial et de ses aspects normatifs pourrait offrir à la recherche en santé publique un point de réflexivité à développer davantage.

Inclusion and exclusion in nutrigenetics clinical research: ethical & scientific challenges

Background/Aims: There are compelling reasons to ensure participation of ethnic minorities and populations of all ages worldwide in nutrigenetics clinical research. If findings in such research are valid for some individuals, groups, or communities, and not for others, then ethical questions of justice – and not only issues of methodology and external validity – arise. This paper aims to examine inclusion in nutrigenetics clinical research and its scientific and ethical challenges. Methods: 173 publications were identified through a systematic review of clinical studies in nutrigenetics published between 1998 and 2007 inclusively. Data such as participants' demographics as well as eligibility criteria were extracted. Results: There is no consistency in the way participants’ origins (ancestry, ethnicity or race) and ages are described in publications. A vast majority of the studies identified was conducted in North America and Europe and focused on “white” participants. Our results show that pregnant women (and fetuses), minors and the elderly (≥75 years old) remain underrepresented. Conclusion: Representativeness in nutrigenetics research is a challenging ethical and scientific issue. Yet, if nutrigenetics is to benefit whole populations and be used in public and global health agendas, fair representation, as well as clear descriptions of participants in publications are crucial.

Le développement du raisonnement clinique des infirmières nouvellement diplômées en soins critiques

Travail dirigé présenté à la Faculté des sciences infirmières en vue de l'obtention du grade Maître ès sciences (M.Sc.) en sciences infirmières option formation en soins infirmiers.