Using a Generalisation Critic to find Bisimulations for Coinductive Proofs

Coinduction is a method of growing importance in reasoning about functional languages, due to the increasing prominence of lazy data structures. Through the use of bisimulations and proofs that bisimilarity is a congruence in various domains it can be used to prove the congruence of two processes. A coinductive proof requires a relation to be chosen which can be proved to be a bisimulation. We use proof planning to develop a heuristic method which automatically constucts a candidate relation. If this relation doesn't allow the proof to go through a proof critic analyses the reasons why it failed and modifies the relation accordingly. Several proof tools have been developed to aid coinductive proofs but all require user interaction. Crucially they require the user to supply an appropriate relation which the system can then prove to be a bisimulation.

Braid groups, mapping class groups, and Torelli groups

This thesis discusses subgroups of mapping class groups of particular surfaces. First, we study the Torelli group, that is, the subgroup of the mapping class group that acts trivially on the first homology. We investigate generators of the Torelli group, and we give an algorithm that factorizes elements of the Torelli group into products of particular generators. Furthermore, we investigate normal closures of powers of standard generators of the mapping class group of a punctured sphere. By using the Jones representation, we prove that in most cases these normal closures have infinite index in the mapping class group. We prove a similar result for the hyperelliptic mapping class group, that is, the group that consists of mapping classes that commute with a fixed hyperelliptic involution. As a corollary, we recover an older theorem of Coxeter (with 2 exceptional cases), which states that the normal closure of the m-th power of standard generators of the braid group has infinite index in the braid group. Finally, we study finite index subgroups of braid groups, namely, congruence subgroups of braid groups. We discuss presentations of these groups and we provide a topological interpretation of their generating sets.

Sports sponsorship as a channel for brand engagement on social media

The purpose of this Mater’s Thesis was to examine how sports sponsorship can be used as a channel for brand engagement on social media. All these three concepts have been researched previously, however, up until now they have been studied separately. Therefore, the aim was also to investigate the interrelations between these three concepts, as there is a lack of academic base on the matter. The theory of the research was based on existing academic researches of social media, brand engagement and sports sponsorship. The empirical part of the research was conducted by utilizing quantitative research method. An online questionnaire was published on Facebook pages of two Liiga ice hockey teams. In the end the total sample consisted of 322 viable respondents. The collected data was analyzed by using statistical analysis software, SPSS. The findings of the empirical research reveal that information, enjoyment, personal identity, social interaction and compensation motivate consumers to engage with brands on social media. However, the behavior of consumers is more passive than active brand engagement. Personal identity and compensation serve as motivational reasons for brand engagement on both active and passive level, while the rest are only passive brand engagement. Besides motivation there are other variables that affect consumers. Support for the team reflects to brand engagement, which is passive brand engagement. The visibility of the brand during the event is linked to both active and passive brand engagement. Prior information of sports team and event and frequency of attendance can be linked only to active brand engagement. On the other hand, congruence between the team and brand reflects only to passive brand engagement.

Ruchy gałek ocznych i gesty jako korelaty przetwarzania języka w tłumaczeniu konsekutywnym i symultanicznym

Wydział Anglistyki

Contested Play and Clean Water: McMillan Park, Race, and the Built Environment in Washington, D.C., 1900-1941

This study focuses on the intersection of the politics and culture of open public space with race relations in the United States from 1900 to 1941. The history of McMillan Park in Washington, D.C. serves as a lens to examine these themes. Ultimately, the park’s history, as documented in newspapers, interviews, reports, and photographs, reveals how white residents attempted to protect their dominance in a racial hierarchy through the control of both the physical and cultural elements of public recreation space. White use of discrimination through seemingly neutral desires to protect health, safety, and property values, establishes a congruence with their defense of residential property. Without similar access to legal methods, African Americans acted through direct action in gaps of governmental control. Their use of this space demonstrates how African-American residents of Washington and the United States contested their race, recreation, and spatial privileges in the pre-World War II era.

Valores militares na força aérea portuguesa

Dissertação de Mestrado apresentada ao Instituto Superior de Psicologia Aplicada para obtenção de grau de Mestre na especialidade de Psicologia Social e das Organizações

Características preferidas por hombres y mujeres que buscan pareja estable de su mismo sexo

Las preferencias en elección de pareja de hombres y mujeres interesados en establecer relaciones a largo plazo con personas de su mismo sexo biológico ha sido un tema de interés para el análisis evolucionista, ya que existe debate frente a los resultados de las investigaciones y los planteamientos de las teorías de inversión parental y estrategias sexuales. Con el objetivo de identificar qué características son preferidas por hombres y mujeres interesados en establecer una relación a largo plazo con personas de su mismo sexo biológico y contribuir a esta discusión, se llevó a cabo un estudio descriptivo en el que analizamos el contenido de 732 perfiles de hombres y mujeres (H=491; M=241) que buscaban una relación estable con parejas de su mismo sexo biológico. Las categorías analizadas fueron: edad, atractivo físico (apariencia, contextura, estatura y peso), estatus socioeconómico (situación laboral, nivel educativo y zona de residencia buscada), estado civil, número de hijos y hábitos saludables (fumar y beber). Los resultados encontrados muestran que los hombres presentan rangos amplios en las características deseadas en una pareja (edad=16.87; estatura=11.37; peso=15.23) y además buscan personas menores a la edad ofrecida (M=-4.17 años). En las mujeres se encontró que los rangos son más restringidos (edad=13.85; estatura=9.83; peso=12.77) y además prefieren parejas mayores (M=2.89 años). A nivel general, se evidencia que los resultados encontrados en la mayoría de las variables podrían indicar congruencia con los planteamientos de la teoría de inversión parental y estrategias sexuales; sin embargo, en otras variables los resultados no son claros.

Memoria de los consumidores expuestos a la publicidad

La psicología y la publicidad son dos disciplinas que se han complementado, la publicidad se ha visto beneficiada con esta alianza, ya que el principal aporte que le hace la psicología a la publicidad es poder determinar aquellos factores o estrategias que generan en el consumidor: atención, asociación entre marca y producto, para luego almacenarse en la memoria y así generar una posible conducta de compra en el individuo. Los medios de comunicación cumplen un papel importante en la transmisión de la información publicitaria, dependiendo del medio utilizado se enfoca la información teniendo en cuenta el campo perceptivo que recibirá la información, para lograr asociación y posterior almacenamiento en la memoria. Para poder medir la jerarquía del recuerdo en la memoria de los individuos ante la mención de una categoría de servicio de un producto, la publicidad y el mercadeo hacen uso de la prueba Top of Mind.

Congruencia entre los valores personales y organizacionales y su influencia con el engagement en el trabajo : estudio de caso en una organización del sector salud

La capacidad de gestión del personal se ha convertido en un imperativo para las organizaciones modernas. Por tanto se vienen introduciendo temas como la administración en valores y el engagement de los trabajadores. Sin embargo, la relación entre estos dos aún no ha sido estudiada. El presente estudio tiene como objetivo analizar el efecto que tiene el grado de articulación y reconocimiento de los valores organizacionales y personales y organizacionales sobre los niveles de engagement de los empleados. Para esta investigación se utilizó una muestra constituida por 54 trabajadores de una organización del sector salud de la ciudad de Bogotá a quienes les fueron aplicadas dos escalas: el Inventario para Medir la Articulación entre la Persona y la Organización (Inventario APO) y Utrech Work Engagement Scale (UWES). Como principal resultado se obtuvo que de las tres dimensiones consideradas predictoras del engagement, solamente el reconocimiento de los valores organizacionales tuvo un efecto estadísticamente significativo.

Actitudes de un grupo de directivos de empresa hacia la integración laboral de personas en proceso de reintegración en Colombia

Colombia atraviesa un proceso de desmovilización y una de las metas es la reintegración laboral, entendida como el proceso a través del cual las personas que han hecho parte de un grupo armado ilegal obtienen un empleo y se insertan definitivamente a la sociedad. El presente estudio tiene como objetivo fundamental comprender las actitudes de un grupo de tres directivos hacia la vinculación laboral de las personas en proceso de reintegración laboral (PPR), mediante un diseño cualitativo. Para ello, se llevó a cabo una serie de entrevistas semiestructuradas a una muestra de tres directivos del sector público y privado. La información obtenida se analizó mediante un proceso de codificación axial. Los resultados obtenidos evidencian que las actitudes de los tres empresarios frente a la contratación de personas en proceso de reintegración laboral, pueden ser positivas o negativas. Así mismo, una de las actitudes predominantes, son la evaluación de creencias y prejuicios de los empresarios frente al proceso de integración laboral, estos son: la incertidumbre frente al desempeño laboral del PPR, la falta de dedicación por parte del PPR, los posibles conflictos laborales y la dificultad de relacionamiento del PPR. En conclusión, el modelo del comportamiento organizacional juega un papel muy importante, dado que abarca los elementos que influyen y determinan la construcción de las actitudes. Estas guían la evaluación de conductas que pueden ser a favor o en contra, de diversos ámbitos del proceso de contratación de personas desmovilizadas.