Modeling DNA beacons at the mesoscopic scale

We report model calculations on DNA single strands which describe the equilibrium dynamics and kinetics of hairpin formation and melting. Modeling is at the level of single bases. Strand rigidity is described in terms of simple polymer models; alternative calculations performed using the freely rotating chain and the discrete Kratky-Porod models are reported. Stem formation is modeled according to the Peyrard-Bishop-Dauxois Hamiltonian. The kinetics of opening and closing is described in terms of a diffusion-controlled motion in an effective free energy landscape. Melting profiles, dependence of melting temperature on loop length, and kinetic time scales are in semiquantitative agreement with experimental data obtained from fluorescent DNA beacons forming poly(T) loops. Variation in strand rigidity is not sufficient to account for the large activation enthalpy of closing and the strong loop length dependence observed in hairpins forming poly(A) loops. Implications for modeling single strands of DNA or RNA are discussed.Comment: 15 pages, 17 figures, submitted to Eur. J. Phys.

Kontinuierliche test-basierte Zertifizierung von Cloud-Diensten

This thesis introduces a framework to design and represent minimally invasive tests to support continuous certification of cloud services. Five example scenarios are presented to demonstrate the applicability of the framework and it is shown how to experimentally evaluate the accuracy and precision of test results. Finally, the behavior of an adversarial cloud service provider is described who only pretends to comply with a set of controls and countermeasures are proposed.Diese Arbeit entwickelt ein Framework zur Erstellung und Repräsentation minimalinvasiver Tests, die die kontinuierliche Zertifizierung von Cloud-Diensten unterstützen. Die Anwendung des Frameworks wird in fünf Beispielszenarien demonstriert und es wird gezeigt wie die Genauigkeit der Tests experimentell untersucht werden kann. Schließlich wird das Verhalten eines betrügerischen Cloud-Anbieters modelliert, der nur vorgibt, Anforderungen eines Zertifikates zu erfüllen sowie Gegenmaßnahmen präsentiert

Deteção do exagero de sintomas com o SIMS e o MMPI-2-RF numa amostra portuguesa de Avaliação Neuropsicológica: Um estudo preliminar

Dissertação de Mestrado em Psicologia Clínica Forense apresentada à Faculdade de Psicologia e de Ciências da EducaçãoIn the field of Forensic Psychology, clinicians are commonly faced with the risk that examinees portray an imprecise image of themselves as a means to obtain secondary gain. For that reason, self-report instruments that aim to detect distorted symptom reporting have become an integral part of Neuropsychological Assessment protocols. The Structured Inventory of Malingered Symptomatology (SIMS) and the validity scales of the Minnesota Multiphasic Personality Inventory-2-Restructured Form (MMPI-2-RF) are two of the most used self-report Symptom Validity Tests (SVTs). Given the recent publication of the Portuguese version of the MMPI2-RF, this study sought to expand the knowledge regarding both SVTs in the context of Portuguese Neuropsychological Assessment Consultations. In a sample of 76 examinees of the Community Service Center of the Psychology and Educational Sciences Faculty of the University of Coimbra (CPSC-FPCEUC), results showed a high failure rate on the multiple recommended cutoff scores proposed for the SIMS Total score and the MMPI-2-RF overreporting scales. Convergent validity between both SVTs was confirmed (via moderate to strong positive correlations), while discriminant validity was confirmed (via moderate negative correlation between the SIMS Total score and the MMPI-2RF Adjustment Validity [K-r] scale, and the absence of a statistically significant correlation with the Uncommon Virtues [L-r] scale). Data showed a significant effect of subjects’ educational level on both SVT scores. Analyses of the impact of the motive for the Neuropsychological Assessment request revealed that examinees in the work accident and the early retirement groups showed higher mean scores and higher failure rates across both SVTs, and generally higher mean scores across most MMPI-2-RF Restructured Clinical scales. Data also indicated that examinees with depressive disorders showed higher mean scores and failure rates across both SVTs, and higher mean scores in the MMPI-2-RF Demoralization (RCd), Somatic Complaints (RC1) and Low Positive Emotions (RC2) scales. These results were mostly in line with previous international studies and provided evidence for the utility of both SVTs in the context of Neuropsychological Assessment protocols, however, further work is required. Not only the newly published Portuguese version of the MMPI-2-RF warrants additional exploration, but also the influence of genuine psychopathological symptoms on SVTs should be further explored.Na área da Psicologia Forense, os psicólogos são comummente confrontados com o perigo de os examinados retratarem uma imagem imprecisa de si mesmos com o intuito de obter ganhos secundários. Por esse motivo, instrumentos de autorrelato que visam detetar a presença de viés de resposta relativamente aos sintomas relatados tornaram-se parte integrante dos protocolos de Avaliação Neuropsicológica. O Inventário Estruturado de Simulação de Sintomas (SIMS) e as escalas de validade do Inventário Multifásico de Personalidade de Minnesota-2-Forma Reestruturada (MMPI-2-RF) são dois Testes de Validade de Sintomas (TVS) de autorresposta frequentemente usados. Dada a publicação recente da versão portuguesa do MMPI-2-RF, este estudo procurou ampliar o conhecimento sobre ambos os TVS no contexto português de uma consulta de Avaliação Neuropsicológica. Numa amostra do Centro de Prestação de Serviços à Comunidade da Faculdade de Psicologia e de Ciências da Educação da Universidade de Coimbra (CPSC-FPCEUC), os resultados revelaram que um elevado número de examinados excedeu os pontos de corte recomendados para o resultado total do SIMS e para cada uma das escalas de exagero de sintomas do MMPI-2-RF. A validade convergente entre ambos os TVS foi confirmada (por meio de correlações positivas moderadas a fortes), enquanto a validade divergente foi confirmada (por meio de correlações negativas moderadas entre o SIMS Total e a escala de Validade do Ajustamento [K-r] do MMPI-2-RF, e pela ausência de correlações estatisticamente significativas com a escala Virtudes Incomuns [L-r]). Os dados demonstraram um efeito significativo do nível educacional nos resultados dos sujeitos em ambos os TVS. A análise do impacto do motivo do pedido da Avaliação Neuropsicológica revelou que os examinados dos grupos acidente de trabalho e reforma antecipada apresentaram pontuações médias mais elevadas e excederam significativamente mais os pontos de corte recomendados em ambos os TVS, apresentando ainda pontuações médias geralmente mais elevadas na maioria das escalas Reestruturadas Clínicas do MMPI-2RF. Os dados indicaram ainda que os examinados com perturbações depressivas apresentaram pontuações médias mais altas, excederam significativamente mais os pontos de corte recomendados em ambos os TVS e obtiveram pontuações médias mais elevadas nas seguintes escalas do MMPI-2-RF: Desmoralização (RCd), Queixas Somáticas (RC1) e Emoções Positivas Baixas (RC2). Estes resultados estiveram, na sua maioria, em linha com as investigações internacionais disponíveis e forneceram evidências da utilidade de ambos os TVS no contexto dos protocolos de Avaliação Neuropsicológica, contudo são necessários mais estudos. Tendo em conta a publicação recente da versão portuguesa do MMPI-2-RF, futuros estudos deverão continuar a investigar este instrumento na população portuguesa. De igual modo, o estudo sobre a influência da presença de sintomatologia psicopatológica genuína nos TVS deverá ser aprofundado

Anforderungserhebung in der öffentlichen Verwaltung - Ein Vorschlag für einen strukturierten Erhebungsprozess und die resultierende Anforderungsdokumentation

Die Anforderungserhebung ist eine der entscheidenden Phasenerfolgreicher Softwareentwicklung und birgt im Kontexteines oentlichen Organs besondere Herausforderungen.Neben historisch gewachsenen IT-Landschaften sind in denverantwortlichen Entscheidungsgremien oentlicher Verwaltungenhochst unterschiedliche Expertisen im Hinblick aufdie Softwareentwicklung anzutreen. Ein Anforderungsdokumentmuss diesen Umstand berucksichtigen und fur alleBeteiligten verstandlich sein; nichtsdestotrotz muss dieinhaltliche Qualitat dokumentierter Anforderungen gewahrleistetsein. Der vorliegende Beitrag adressiert diese Herausforderungenund stellt ein Verfahren zur strukturierten Anforderungserhebungim oentlichen Kontext vor. Dabei werdenunter Verwendung sowohl naturlichsprachlicher als auchmodellbasierter Anforderungsdokumentation Vorschlage zurStrukturierung des Anforderungsdokumentes sowie der syntaktischenMuster einzelner Anforderungen unterbreitet. Eswird zudem die Anwendung und Ergebnisse des vorgestelltenVerfahrens im Rahmen des Projektes der UniversitatBayreuth zur Konsolidierung der universitaren Informationssystemedargelegt