Identifikation spezieller Funktionen, die durch Rodriguesformeln gegeben sind

Es ist allgemein bekannt, dass sich zwei gegebene Systeme spezieller Funktionen durch Angabe einer Rekursionsgleichung und entsprechend vieler Anfangswerte identifizieren lassen, denn computeralgebraisch betrachtet hat man damit eine Normalform vorliegen. Daher hat sich die interessante Forschungsfrage ergeben, Funktionensysteme zu identifizieren, die über ihre Rodriguesformel gegeben sind. Zieht man den in den 1990er Jahren gefundenen Zeilberger-Algorithmus für holonome Funktionenfamilien hinzu, kann die Rodriguesformel algorithmisch in eine Rekursionsgleichung überführt werden. Falls die Funktionenfamilie überdies hypergeometrisch ist, sogar laufzeiteffizient. Um den Zeilberger-Algorithmus überhaupt anwenden zu können, muss es gelingen, die Rodriguesformel in eine Summe umzuwandeln. Die vorliegende Arbeit beschreibt die Umwandlung einer Rodriguesformel in die genannte Normalform für den kontinuierlichen, den diskreten sowie den q-diskreten Fall vollständig. Das in Almkvist und Zeilberger (1990) angegebene Vorgehen im kontinuierlichen Fall, wo die in der Rodriguesformel auftauchende n-te Ableitung über die Cauchysche Integralformel in ein komplexes Integral überführt wird, zeigt sich im diskreten Fall nun dergestalt, dass die n-te Potenz des Vorwärtsdifferenzenoperators in eine Summenschreibweise überführt wird. Die Rekursionsgleichung aus dieser Summe zu generieren, ist dann mit dem diskreten Zeilberger-Algorithmus einfach. Im q-Fall wird dargestellt, wie Rekursionsgleichungen aus vier verschiedenen q-Rodriguesformeln gewonnen werden können, wobei zunächst die n-te Potenz der jeweiligen q-Operatoren in eine Summe überführt wird. Drei der vier Summenformeln waren bislang unbekannt. Sie wurden experimentell gefunden und per vollständiger Induktion bewiesen. Der q-Zeilberger-Algorithmus erzeugt anschließend aus diesen Summen die gewünschte Rekursionsgleichung. In der Praxis ist es sinnvoll, den schnellen Zeilberger-Algorithmus anzuwenden, der Rekursionsgleichungen für bestimmte Summen über hypergeometrische Terme ausgibt. Auf dieser Fassung des Algorithmus basierend wurden die Überlegungen in Maple realisiert. Es ist daher sinnvoll, dass alle hier aufgeführten Prozeduren, die aus kontinuierlichen, diskreten sowie q-diskreten Rodriguesformeln jeweils Rekursionsgleichungen erzeugen, an den hypergeometrischen Funktionenfamilien der klassischen orthogonalen Polynome, der klassischen diskreten orthogonalen Polynome und an der q-Hahn-Klasse des Askey-Wilson-Schemas vollständig getestet werden. Die Testergebnisse liegen tabellarisch vor. Ein bedeutendes Forschungsergebnis ist, dass mit der im q-Fall implementierten Prozedur zur Erzeugung einer Rekursionsgleichung aus der Rodriguesformel bewiesen werden konnte, dass die im Standardwerk von Koekoek/Lesky/Swarttouw(2010) angegebene Rodriguesformel der Stieltjes-Wigert-Polynome nicht korrekt ist. Die richtige Rodriguesformel wurde experimentell gefunden und mit den bereitgestellten Methoden bewiesen. Hervorzuheben bleibt, dass an Stelle von Rekursionsgleichungen analog Differential- bzw. Differenzengleichungen für die Identifikation erzeugt wurden. Wie gesagt gehört zu einer Normalform für eine holonome Funktionenfamilie die Angabe der Anfangswerte. Für den kontinuierlichen Fall wurden umfangreiche, in dieser Gestalt in der Literatur noch nie aufgeführte Anfangswertberechnungen vorgenommen. Im diskreten Fall musste für die Anfangswertberechnung zur Differenzengleichung der Petkovsek-van-Hoeij-Algorithmus hinzugezogen werden, um die hypergeometrischen Lösungen der resultierenden Rekursionsgleichungen zu bestimmen. Die Arbeit stellt zu Beginn den schnellen Zeilberger-Algorithmus in seiner kontinuierlichen, diskreten und q-diskreten Variante vor, der das Fundament für die weiteren Betrachtungen bildet. Dabei wird gebührend auf die Unterschiede zwischen q-Zeilberger-Algorithmus und diskretem Zeilberger-Algorithmus eingegangen. Bei der praktischen Umsetzung wird Bezug auf die in Maple umgesetzten Zeilberger-Implementationen aus Koepf(1998/2014) genommen. Die meisten der umgesetzten Prozeduren werden im Text dokumentiert. Somit wird ein vollständiges Paket an Algorithmen bereitgestellt, mit denen beispielsweise Formelsammlungen für hypergeometrische Funktionenfamilien überprüft werden können, deren Rodriguesformeln bekannt sind. Gleichzeitig kann in Zukunft für noch nicht erforschte hypergeometrische Funktionenklassen die beschreibende Rekursionsgleichung erzeugt werden, wenn die Rodriguesformel bekannt ist.

Förderung des kritischen Denkens thailändischer Deutschlernender durch Training des kritischen Lesens im Deutschunterricht

Die vorliegende Dissertation untersucht das Leseverhalten thailändischer Deutschlernender mit dem Ziel, ihre Fähigkeit zum kritischen Lesen unter Anwendung des MURDER-Schemas im fremdsprachlichen Deutschunterricht zu fördern. Neben der Lesefertigkeit soll aufgrund der bestehenden Zusammenhänge zusätzlich das kritische Denken der Lernenden gefördert werden.

Proyección y competitividad en la empresa COLVINSA S.A., en los próximos 5 años

Teniendo en cuenta que los cambios en la economía empresarial se suceden a un ritmo acelerado, la labor de planeamiento se ve seriamente impactada, por esta razón, no se recomienda realizar el planeamiento estratégico clásico, sino utilizar la Prospectiva que siendo una disciplina nueva en nuestro medio, a nivel mundial se viene aplicando desde inicios del Siglo XX. Con la utilización de esta metodología se muestran escenarios posibles y probables. Es aquí donde la Prospectiva produce su mayor beneficio pues es posible minimizar el riesgo, basados en una visión del futuro. En el presente trabajo se muestra de cómo es aplicado un estudio prospectivo y de competitividad a una empresa autogestionada , como es La Compañía Colombiana de Envases Industriales S.A. COLVINSA. Aquí se hace una aproximación conceptual del entorno actual y la turbulencia al interior, para así lograr el resultado final, escenarios futuros llevados a cinco años. Suministrando los elementos para que COLVINSA haga una ruptura en su esquema actual de trabajo y producción. En pocas palabras condiciones de competitividad favorables con diferenciación, reconocimiento y liderazgo en el mercado.

Asociación entre relaciones románticas y la calidad de sueño percibida por jóvenes universitarios

Introducción: Uno de los aspectos con mayor variación durante la adolescencia es el sueño, el cual se ve afectado por factores biológicos así como por los estados afectivos y emocionales. En esta etapa, los individuos establecen sus primeras relaciones sentimentales románticas, vínculos esenciales para la maduración de las relaciones sociales y psicosexuales. Este trabajo busca determinar la asociación existente entre las relaciones sentimentales románticas y sus características, con la calidad sueño percibida por los jóvenes. Metodología: Estudio realizado en una población de 1794 estudiantes de ciencias de la salud entre los 18 y 25 años de edad en Bogotá, Colombia, entre 2012 y 2013. Se obtuvo una muestra probabilística con asignación proporcional de 443 sujetos, estratificada por programa académico y sexo. Utilizando dos cuestionarios de auto reporte se exploraron las características de las relaciones sentimentales y la calidad de sueño percibida. Resultados: El 64% (IC 95%: 59,4-68,9%) de la población estudiada se encontró en una relación sentimental romántica. Estos sujetos tuvieron latencias de sueño prolongadas con menor frecuencia que quienes no tenían en una relación (p <0,05). La calidad de sueño percibida se asoció al nivel de satisfacción que tuvieron los sujetos en su relación, así como la atracción por su pareja. Rasgos obsesivos, ansiosos, temerosos y evitativos en la relación disminuyeron la calidad de sueño percibida. Conclusión: Las relaciones sentimentales románticas y sus características se asocian con la calidad de sueño percibida por los individuos. Se requieren estudios que determinen causalidad en esta asociación y definan potenciales estrategias de intervención al respecto.

Entorno virtual para el aprendizaje y la evaluación automática en bases de datos

La enseñanza y evaluación automática a través de un sistema Computer Based Assessment (CBA) requiere de software especializado que se adapte a la tipología de actividades a tratar y evaluar. En esta tesis se ha desarrollado un entorno CBA que facilita el aprendizaje y evaluación de los principales temas de una asignatura de bases de datos. Para ello se han analizado las herramientas existentes en cada uno de estos temas (Diagramas Entidad/Relación, diagramas de clases, esquemas de bases de datos relacionales, normalización, consultas en álgebra relacional y lenguaje SQL) y para cada uno de ellos se ha analizado, diseñado e implementado un módulo de corrección y evaluación automática que aporta mejoras respecto a los existentes. Estos módulos se han integrado en un mismo entorno al que hemos llamado ACME-DB.

The METAFOR project: preserving data through metadata standards for climate models and simulations

Climate modeling is a complex process, requiring accurate and complete metadata in order to identify, assess and use climate data stored in digital repositories. The preservation of such data is increasingly important given the development of ever-increasingly complex models to predict the effects of global climate change. The EU METAFOR project has developed a Common Information Model (CIM) to describe climate data and the models and modelling environments that produce this data. There is a wide degree of variability between different climate models and modelling groups. To accommodate this, the CIM has been designed to be highly generic and flexible, with extensibility built in. METAFOR describes the climate modelling process simply as "an activity undertaken using software on computers to produce data." This process has been described as separate UML packages (and, ultimately, XML schemas). This fairly generic structure canbe paired with more specific "controlled vocabularies" in order to restrict the range of valid CIM instances. The CIM will aid digital preservation of climate models as it will provide an accepted standard structure for the model metadata. Tools to write and manage CIM instances, and to allow convenient and powerful searches of CIM databases,. Are also under development. Community buy-in of the CIM has been achieved through a continual process of consultation with the climate modelling community, and through the METAFOR team’s development of a questionnaire that will be used to collect the metadata for the Intergovernmental Panel on Climate Change’s (IPCC) Coupled Model Intercomparison Project Phase 5 (CMIP5) model runs.

Neural effects of cannabinoid CB1 neutral antagonist tetrahydrocannabivarin (THCv) on food reward and aversion in healthy volunteers

Disturbances in the regulation of reward and aversion in the brain may underlie disorders such as obesity and eating disorders. We previously showed that the cannabis receptor subtype (CB1) inverse agonist rimonabant, an antiobesity drug withdrawn due to depressogenic side effects, diminished neural reward responses yet increased aversive responses (Horder et al., 2010). Unlike rimonabant, tetrahydrocannabivarin is a neutral CB1 receptor antagonist (Pertwee, 2005) and may therefore produce different modulations of the neural reward system. We hypothesized that tetrahydrocannabivarin would, unlike rimonabant, leave intact neural reward responses but augment aversive responses. Methods: We used a within-subject, double-blind design. Twenty healthy volunteers received a single dose of tetrahydrocannabivarin (10mg) and placebo in randomized order on 2 separate occasions. We measured the neural response to rewarding (sight and/or flavor of chocolate) and aversive stimuli (picture of moldy strawberries and/or a less pleasant strawberry taste) using functional magnetic resonance imaging. Volunteers rated pleasantness, intensity, and wanting for each stimulus. Results: There were no significant differences between groups in subjective ratings. However, tetrahydrocannabivarin increased responses to chocolate stimuli in the midbrain, anterior cingulate cortex, caudate, and putamen. Tetrahydrocannabivarin also increased responses to aversive stimuli in the amygdala, insula, mid orbitofrontal cortex, caudate, and putamen. Conclusions: Our findings are the first to show that treatment with the CB1 neutral antagonist tetrahydrocannabivarin increases neural responding to rewarding and aversive stimuli. This effect profile suggests therapeutic activity in obesity, perhaps with a lowered risk of depressive side effects. Keywords: reward, THCv, obesity, fMRI, cannabinoid

Resting-state functional connectivity following a single dose treatment with CB1 neutral antagonist tetrahydrocannabivarin (THCv) in healthy volunteers

BACKGROUND: The cannabinoid cannabinoid type 1 (CB1) neutral antagonist tetrahydrocannabivarin (THCv) has been suggested as a possible treatment for obesity, but without the depressogenic side-effects of inverse antagonists such as Rimonabant. However, how THCv might affect the resting state functional connectivity of the human brain is as yet unknown. METHOD: We examined the effects of a single 10mg oral dose of THCv and placebo in 20 healthy volunteers in a randomized, within-subject, double-blind design. Using resting state functional magnetic resonance imaging and seed-based connectivity analyses, we selected the amygdala, insula, orbitofrontal cortex, and dorsal medial prefrontal cortex (dmPFC) as regions of interest. Mood and subjective experience were also measured before and after drug administration using self-report scales. RESULTS: Our results revealed, as expected, no significant differences in the subjective experience with a single dose of THCv. However, we found reduced resting state functional connectivity between the amygdala seed region and the default mode network and increased resting state functional connectivity between the amygdala seed region and the dorsal anterior cingulate cortex and between the dmPFC seed region and the inferior frontal gyrus/medial frontal gyrus. We also found a positive correlation under placebo for the amygdala-precuneus connectivity with the body mass index, although this correlation was not apparent under THCv. CONCLUSION: Our findings are the first to show that treatment with the CB1 neutral antagonist THCv decreases resting state functional connectivity in the default mode network and increases connectivity in the cognitive control network and dorsal visual stream network. This effect profile suggests possible therapeutic activity of THCv for obesity, where functional connectivity has been found to be altered in these regions.

Prototype Generation from Ontology Charts

Semantic Analysis is a business analysis method designed to capture system requirements. While these requirements may be represented as text, the method also advocates the use of Ontology Charts to formally denote the system's required roles, relationships and forms of communication. Following model driven engineering techniques, Ontology Charts can be transformed to temporal Database schemas, class diagrams and component diagrams, which can then be used to produce software systems. A nice property of these transformations is that resulting system design models lend themselves to complicated extensions that do not require changes to the design models. For example, resulting databases can be extended with new types of data without the need to modify the database schema of the legacy system. Semantic Analysis is not widely used in software engineering, so there is a lack of experts in the field and no design patterns are available. This make it difficult for the analysts to pass organizational knowledge to the engineers. This study describes an implementation that is readily usable by engineers, which includes an automated technique that can produce a prototype from an Ontology Chart. The use of such tools should enable developers to make use of Semantic Analysis with minimal expertise of ontologies and MDA.

A Harmonized Vocabulary For Water Quality

Interoperability of water quality data depends on the use of common models, schemas and vocabularies. However, terms are usually collected during different activities and projects in isolation of one another, resulting in vocabularies that have the same scope being represented with different terms, using different formats and formalisms, and published in various access methods. Significantly, most water quality vocabularies conflate multiple concepts in a single term, e.g. quantity kind, units of measure, substance or taxon, medium and procedure. This bundles information associated with separate elements from the OGC Observations and Measurements (O&M) model into a single slot. We have developed a water quality vocabulary, formalized using RDF, and published as Linked Data. The terms were extracted from existing water quality vocabularies. The observable property model is inspired by O&M but aligned with existing ontologies. The core is an OWL ontology that extends the QUDT ontology for Unit and QuantityKind definitions. We add classes to generalize the QuantityKind model, and properties for explicit description of the conflated concepts. The key elements are defined to be sub-classes or sub-properties of SKOS elements, which enables a SKOS view to be published through standard vocabulary APIs, alongside the full view. QUDT terms are re-used where possible, supplemented with additional Unit and QuantityKind entries required for water quality. Along with items from separate vocabularies developed for objects, media, and procedures, these are linked into definitions in the actual observable property vocabulary. Definitions of objects related to chemical substances are linked to items from the Chemical Entities of Biological Interest (ChEBI) ontology. Mappings to other vocabularies, such as DBPedia, are in separately maintained files. By formalizing the model for observable properties, and clearly labelling the separate concerns, water quality observations from different sources may be more easily merged and also transformed to O&M for cross-domain applications.

Tempo no trabalho: a experiência dos gerentes médios

A sociologia das organizações ainda é realizada sob a construção de esquemas analíticos livres de tempo (CLARK, 1985; HASSARD, 2000; GIDDENS, 2003). No entanto, questões temporais permeiam toda e qualquer organização, o que torna o conceito de tempo de central importância para os estudos organizacionais. Com base nisso, esta pesquisa teve a ambição de abordar a dimensão temporal do trabalho nas organizações; sob a perspectiva dos indivíduos. E, dado que os gerentes médios vivenciam um duplo foco de pressão: originado da alta gerência e do nível operacional da organização, decidiu-se investigar como os gerentes médios experimentam o tempo no trabalho. Para desvendar a experiência temporal dos gerentes médios, foram analisadas, com a metodologia de análise de conteúdo, entrevistas com 20 profissionais de média gerência que trabalham em empresas que operam na cidade de São Paulo. A coleta do material de pesquisa ocorreu com entrevistas em profundidade semi-estruturadas. A análise das entrevistas sugere que embora o tempo no trabalho seja, por todos os profissionais entrevistados, definido como um recurso econômico, cuja utilização dever ser otimizada ao máximo, a experiência temporal entre os gerentes médios não é homogênea. Há fatores ambientais comuns a todos os entrevistados, que tendem a aproximar as experiências temporais dos mesmos. Tais fatores, que são a compressão do tempo, o sentido de urgência, as novas tecnologias, características intrínsecas ao papel de gerente e a organização de si próprios, das empresas e colaboradores, estão associados ao cenário econômico e social contemporâneo. No entanto, características relacionadas à idade, gênero, valores e experiências pessoais, além do segmento de atuação da empresa também impactam a experiência temporal dos gerentes médios e contribuem para a diversificação da maneira como os gerentes médios experimentam e lidam com as pressões temporais. Em síntese, a despeito dos fatores ambientais compartilhados, com destaque para a crescente compressão do tempo, a natureza humana e a impermanência dos fenômenos sociais desnudam a complexidade da experiência temporal dos gerentes médios no trabalho. E revelam que – apesar da homogeneidade, objetividade e linearidade representadas pelo relógio, ícone do tempo nas sociedades ocidentais contemporâneas – heterogeneidade, subjetividade e ciclicidade fazem parte da experiência temporal dos trabalhadores.

Plataforma para o suporte de blended peer assisted learning

Este projecto foi realizado na Universidade da Madeira, no âmbito do Mestrado em Engenharia Informática e tem como título “Plataforma para o suporte de Blended Peer Assisted Learning”. Ao longo da nossa pesquisa sobre os vários métodos de aprendizagem online, deparamo-nos com uma grande lacuna que abrange a maior parte dos sistema de ensino assistidos por computador, ou seja, todas elas preocupam-se com a passagem de conhecimentos, mas raras são aquelas que têm em atenção o tipo de utilizador, qual a seu percurso académico e profissional, qual a metodologia que fará com que o mesmo capte melhor os conteúdos, etc. Com este objectivo em mente, e tendo em atenção as diversas plataformas e metodologias de ensino existentes, optou-se por elaborar uma arquitectura de uma plataforma capaz de centralizar na mesma, um conjunto de funcionalidades e metodologias que possibilitassem um acompanhamento mais específico do utilizador, proporcionando um maior conhecimento, através do qual poderia encaminhar o utilizador para a estratégia de aprendizagem que mais se adequasse a um utilizador com as suas características. Como se poderá constatar no decorrer desta dissertação, a plataforma desenhada e o módulo desenvolvido têm como base teórica o Peer Assisted Learning (PAL) e as suas estratégias de aprendizagem. O PAL é um conceito relativamente novo, que se encontra em plena ascensão, sendo cada vez maior o número de instituições/organizações que adoptam o PAL como metodologia de ensino para a formação dos seus membros. Este crescimento deve-se em grande parte às várias estratégias PAL que visam uma maior adequação ao tipo de utilizador, contribuindo assim para uma aprendizagem mais rápida e eficaz. Uma vez que a implementação da plataforma na sua totalidade seria de todo impossível, optouse por desenvolver apenas um dos módulos referente à estratégia de PAL – Peer Tutoring (PT). No final, o objectivo principal, passa não só por fornecer as bases necessárias ao desenvolvimento da referida plataforma, mas também pela disponibilização do módulo de PT que servirá de referência para o desenvolvimento das restantes estratégias. Tendo em atenção toda a investigação efectuada, facilmente se depreende as inúmeras vantagens que podem advir da utilização do PAL, das quais se salienta, a adequação da estratégia PAL mais indicada para cada tipo de utilizador.

Processos cognitivos que operam na configuração de narrativas: uma pesquisa exploratória dos fenômenos que subjazem à compreensão de textos

This paper investigates the cognitive processes that operate in understanding narratives in this case, the novel Macunaíma, by Mário de Andrade. Our work belongs to the field of Embodied-based Cognitive Linguistics and, due to its interdisciplinary nature, it dialogues with theoretical and methodological frameworks of Psycholinguistics, Cognitive Psychology and Neurosciences. Therefore, we adopt an exploratory research design, recall and cloze tests, adapted, with postgraduation students, all native speakers of Brazilian Portuguese. The choice of Macunaíma as the novel and initial motivation for this proposal is due to the fact it is a fantastic narrative, which consists of events, circumstances and characters that are clearly distant types from what is experienced in everyday life. Thus, the novel provides adequate data to investigate the configuration of meaning, within an understanding-based model. We, therefore, seek, to answer questions that are still, generally, scarcely explored in the field of Cognitive Linguistics, such as to what extent is the activation of mental models (schemas and frames) related to the process of understanding narratives? How are we able to build sense even when words or phrases are not part of our linguistic repertoire? Why do we get emotionally involved when reading a text, even though it is fiction? To answer them, we assume the theoretical stance that meaning is not in the text, it is constructed through language, conceived as a result of the integration between the biological (which results in creating abstract imagery schemes) and the sociocultural (resulting in creating frames) apparatus. In this sense, perception, cognitive processing, reception and transmission of the information described are directly related to how language comprehension occurs. We believe that the results found in our study may contribute to the cognitive studies of language and to the development of language learning and teaching methodologies