Gender Differences in Spatial Cognition: Wayfinding Performance and Sketch Mapping Activity of German Speakers

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Observing workplace incivility towards women: The roles of target reactions, actor motives, and actor-target relationships

The current study conceptualized observer reactions to uncivil behavior towards women as an ethical behavior and examined three factors (target reaction, actor motive, and actor-target relationship) that influence these reactions. Two vignette studies with women and men undergraduate and graduate students in western Switzerland were conducted. Study 1 (N=148) was a written vignette study that assessed how the reaction of female targets to incivility and the motives of actors influenced observer reactions. Results showed that a female target's reaction influenced observers' evaluations of the harm caused by an uncivil incident, and that an actor's motive affected observers' assessments of the necessity to intervene. Study 2 (N=81) was a video vignette study that assessed the effects of the reactions by female targets to incivility and the relationship between the target and the actor on observer reactions.We found that female targets' reactions influenced observers' evaluations of harm and the perceived necessity to intervene. Furthermore, the effect of a female target's reaction on observers' evaluations of harm was moderated by the relationship between the actor and the target: a female target who laughed at the uncivil behavior was perceived as less harmed, when she and the actor had a personal relationship than when they had a professional relationship. When the female target reacted hurt or neutrally, actor-target relationship did not affect observers' evaluations of harm. We conclude by discussing the implications of our findings for theory and practice.

Microsatellites for genetic studies and breeding programs in common bean

Twenty microsatelitte loci were identified and characterized in common bean. Microsatellites were tested in 14 genotypes. The allele number ranged from 1 to 3, and the polymorphism information content (PIC) was between 0.14 and 0.65. These polymorphic markers are available to be used for breeding programs.

Advocating recognition and redistribution in poverty alleviation programs in Ghana : an examination of state and NGO programs and policies

Abstract This thesis argues that poverty alleviation strategies and programs carried out by the government and Non Governmental Organizations in Ghana provide affirmative solutions to poverty. This is because, these intervention strategies have been influenced by conventional discourses on poverty that fail to adequately address non-economic issues of poverty such as powerlessness, marginalization and tmder-representation. The study is carried out in a two-pronged manner; first, it analyses state policies and strategies, particularly the Ghana Poverty Reduction Strategy (GPRS), on poverty alleviation and compares these to NGO programs, implemented with funds and support from external donor organizations. Specifically, I focus on how NGOs and the governnlent of Ghana negotiate autonomy and financial dependency with their funding donor-partners and how these affect their policies and programs. Findings from this study reveal that while external influences dominate poverty alleviation policies and strategies, NGOs and the government of Ghana exercise varying degrees of agency in navigating these issues. In particular, NGOs have been able to adapt their programs to the changing needs of donor markets, and are also actively engaged in re-orienting poverty back to the political domain through advocacy campaigns. Overall, rural communities in Ghana depend on charitable NGOs for the provision of essential social services, while the Ghanaian government depends on international donor assistance for its development projects.

Exploring the Connections between Information Literacy and Writing for International Students

a mixed-method investigation of undergraduate and graduate international students' proficiencies in both information literacy and academic writing to see if a relationship exists between them

The comorbidity of psychopathy, anxiety, and depression disorder

La psychopathie est un désordre de la personnalité caractérisé par des traits de comportement, tels qu’un manque d’empathie, du narcissisme, une estime de soi élevée, etc. Souvent, ces traits sont considérés comme indésirables. Ces caractéristiques se manifestent chez l’homme et la femme, autant dans la population criminelle que non-criminelle. L’étude de la psychopathie et la relation entre celle-ci et d’autres désordres mentaux représente un domaine relativement novateur de la psychologie. Des études démontrent une forte corrélation négative entre la psychopathie et l'anxiété, et entre la psychopathie et la dépression. Au total, 92 étudiants actuels ou ayant récemment graduées, au niveau du baccalauréat, de la maîtrise, et du doctorat ont été recrutés pour participer à cette étude. Ces participants ont complété quatre questionnaires standardisées qui évaluent leur niveau de psychopathie, d’anxiété et de dépression. Les évaluations utilisées sont le « Levenson’s Self-Report Psychopathy scale », le « Childhood and Adolescent Taxon Self-Report », le « Beck Depression Inventory », et le « Beck Anxiety Inventory ». Les résultats suggèrent l'existence d'une forte corrélation positive entre la dépression et la psychopathie, entre l'anxiété et la psychopathie, et entre l'anxiété et la dépression. Des variables additionnelles, tels que le sexe et l’éducation antérieure, contribuent aussi de façon significatives à ce modèle. Les résultats sont analysés tout en considérant des études antérieures et l’importance de la comorbidité psychopathique dans la recherche à venir.

Important Parameters in Designing and Presenting Exhibits and Planetarium Programs in Science Centers : A Visitor-Based Framework

This dissertation proposes an initial framework for designing and presenting exhibits in science centers and to recommend methods for improving the educational role of planetariums in science centers.

The Survivability of Swedish Emergency Management Related Research Centers and Academic Programs : A Preliminary Sociology of Science Analysis

The Survivability of Swedish Emergency Management Related Research Centers and Academic Programs: A Preliminary Sociology of Science Analysis Despite being a relatively safe nation, Sweden has four different universities supporting four emergency management research centers and an equal and growing number of academic programs. In this paper, I discuss how these centers and programs survive within the current organizational environment. The sociology of science or the sociology of scientific knowledge perspectives should provide a theoretical guide. Yet, scholars of these perspectives have produced no research on these related topics. Thus, the population ecology model and the notion of organizational niche provide my theoretical foundation. My data come from 26 interviews from those four institutions, the gathering of documents, and observations. I found that each institution has found its own niche with little or no competition – with one exception. Three of the universities do have an international focus. Yet, their foci have minimal overlap. Finally, I suggest that key aspects of Swedish culture, including safety, and a need aid to the poor, help explain the extensive funding these centers and programs receive to survive. 

O ensino de comunicação nos cursos de administração de empresas: comparação entre o Brasil e os Estados Unidos da América

Este trabalho investiga -- nos cursos brasileiros de administração de empresas, nos níveis de graduação e pós-graduação -- o conteúdo programático de uma disciplina com título ainda não consagrado, que poderia chamar-se Comunicação Humana Profissional. Investiga também -- nos cursos norte-americanos de graduação e MBA -- o conteúdo programático da respectiva disciplina, lá frequentemente denominada Business Communication ou Management Communication. Paralelamente, analisa o conteúdo dos manuais brasileiros e norte-americanos destinados ao ensino do tema. Como resultado, oferece sugestão de conteúdo programático, que poderia ser utilizado para uma difusão mais ampla da disciplina, nas escolas brasileiras.

Treinamento com pesos, modelo de programa sistematizado para a terceira idade

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Library professionals' education in the Mercosur countries

This paper deals with library professionals education in Mercosur - the Common Market of South America - established on 29 March, 1991 to expand the national markets of Argentina, Brazil, Paraguay and Uruguay, and promote free circulation of goods, services and production agents in that region. The paper presents, through a descriptive study, the undergraduate and graduate courses in Library Science, how many and what schools there are, and what programs are developed. It ends by identifying the directions in which they are moving and the challenges they are now facing.

Produção científica docente em tratamento temático da informação nos cursos de Biblioteconomia do Mercosul: uma análise preliminar

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Controle de velocidade de um motor de indução trifásico usando técnicas de ajuste empírico para bancada de teste no laboratório de automação

This work aims to make the closed loop control of a three phase induction motor, through the integration of the following equipment: a frequency inverter, the actuator system; a programmable logic controller (PLC), the controller; an encoder, the velocity sensor, used as a feedback monitoring the control variable and the three-phase induction motor, the plant to be controlled. The control is performed using a Proportional - Integrative - Derivative (PID) approach. The PLC has a help instruction, which performs the auto adjustment of the controller, that instruction is used and confronted with other adjustment methods. There are several types of methods adjustments to the PID controllers, where the empirical methods are addressed in this work. The system is deployed at the Interface and Electro Electronic Control laboratory in the Universidade Estadual Paulista Júlio Mesquita Filho, Guaratinguetá, São Paulo, then, in the future, this work becomes an experiment to be conducted in the classroom, allowing undergraduate students to develop a greater affinity to the programs used by the PLC as well as studies of undergraduate and graduate works with the help of assembly made