Fast and not furious? Cognitive dissonance reduction in smokers.

in Social Psychology (2012), 43

Three studies explored whether cognitive dissonance in smokers is reduced immediately or remains constant due to the perceived health risk. Because dissonance-reducing strategies might occur very quickly ... [more ▼]

Three studies explored whether cognitive dissonance in smokers is reduced immediately or remains constant due to the perceived health risk. Because dissonance-reducing strategies might occur very quickly and previous research has focused only on ratings concerning health risk, we additionally analyzed response latencies and psychophysiological arousal as more implicit measurements. In Study 1, 2, and 3, participants rated their smoking-related health risks twice for different diseases. Ratings, response latencies (Study 1, 2), and psychophysiological arousal (Study 3) differed during the first testing. Differences in response latencies and psychophysiological arousal diminished during the second testing, whereas ratings did not change. The results are discussed in terms of implicit methods as measurements for cognitive dissonance and in terms of prevention and intervention programs. [less ▲]

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures

in Proceedings of 18th International Conference "Tools and Algorithms for the Construction and Analysis of Systems", as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. (2012)

The AVANTSSAR Platform is an integrated toolset for the formal specification and automated validation of trust and security of service-oriented architectures and other applications in the Internet of ... [more ▼]

The AVANTSSAR Platform is an integrated toolset for the formal specification and automated validation of trust and security of service-oriented architectures and other applications in the Internet of Services. The platform supports application-level specification languages (such as BPMN and our custom languages) and features three validation backends (CL-AtSe, OFMC, and SATMC), which provide a range of complementary automated reasoning techniques (including service orchestration, compositional reasoning, model checking, and abstract interpretation). We have applied the platform to a large number of industrial case studies, collected into the AVANTSSAR Library of validated problem cases. In doing so, we unveiled a number of problems and vulnerabilities in deployed services. These include, most notably, a serious flaw in the SAML-based Single Sign-On for Google Apps (now corrected by Google as a result of our findings). We also report on the migration of the platform to industry. [less ▲]

Workshop on: Exploring the Challenges of Ethics, Privacy and Trust in Serious Gaming

in International Conference on Entertainment Computing (2012)

The workshop will explore the core challenges associated with the increasing use of serious gaming in particular those systems that seek to persuade users to alter their behavior. The workshop will focus ... [more ▼]

The workshop will explore the core challenges associated with the increasing use of serious gaming in particular those systems that seek to persuade users to alter their behavior. The workshop will focus on three main areas: data privacy, trustworthiness and usability. The workshop particularly welcomes submissions from people who seek to bridge the divide between these topics. [less ▲]

Evaluation de la préparation aux pratiques professionnelles des Bacheliers en Sciences Sociales et Educatives au Luxembourg

in Sommaire colloque international de l'ADMEE-Europe: L'évaluation des compétences en milieu scolaire et en milieu professionnel (2012)

Promoting ‘learning for teaching’ across boundaries. Creating innovative spaces for competence development in initial teacher education

in Hinger, Barbara (Ed.) Sprachen lernen: Kompetenzen entwickeln – Performanzen (über)prüfen. Tagungsband der 5. Tagung der Österreichischen Gesellschaft für Sprachendidaktik (ÖGSD). (2012)

The present paper presents the development and implementation of a collaborative learning culture with the academic context of initial teacher education in Luxembourg. Drawing upon a sociocultural ... [more ▼]

The present paper presents the development and implementation of a collaborative learning culture with the academic context of initial teacher education in Luxembourg. Drawing upon a sociocultural framework and dialectical learning approaches, the program innovates in creating shared zones for learning and development for all participants and across disciplinary, institutional and semiotic boundaries. Furthermore, the paper discusses the range of initiatives to support the context-sensitive ‘learning-for-teaching’ and ‘teaching-for learning’ approach. [less ▲]

EnrichNet: network-based gene set enrichment analysis

in Bioinformatics (2012), 28(18), 451-457

Assessing functional associations between an experimentally derived gene or protein set of interest and a database of known gene/protein sets is a common task in the analysis of large-scale functional ... [more ▼]

Assessing functional associations between an experimentally derived gene or protein set of interest and a database of known gene/protein sets is a common task in the analysis of large-scale functional genomics data. For this purpose, a frequently used approach is to apply an over-representation-based enrichment analysis. However, this approach has four drawbacks: (i) it can only score functional associations of overlapping gene/proteins sets; (ii) it disregards genes with missing annotations; (iii) it does not take into account the network structure of physical interactions between the gene/protein sets of interest and (iv) tissue-specific gene/protein set associations cannot be recognized. RESULTS: To address these limitations, we introduce an integrative analysis approach and web-application called EnrichNet. It combines a novel graph-based statistic with an interactive sub-network visualization to accomplish two complementary goals: improving the prioritization of putative functional gene/protein set associations by exploiting information from molecular interaction networks and tissue-specific gene expression data and enabling a direct biological interpretation of the results. By using the approach to analyse sets of genes with known involvement in human diseases, new pathway associations are identified, reflecting a dense sub-network of interactions between their corresponding proteins. [less ▲]

The Establishment and Significance of the 'Luxemburger Schulbote', 1844-1942 "... until we possess our own school periodical in both languages"

in Aubry, Carla; Westberg, Johannes (Eds.) History of Schooling. Politics and Local Practice (2012)

The Weil-Petersson metric and the renormalized volume of hyperbolic 3-manifolds

in Handbook of Teichmüller theory. Volume III (2012)

Studentische Lebenswelten in den Universitätskulturen Frankreichs, Deutschlands und Nordamerikas Ein Werkstattbericht

in Hayes, Peter; Gammal, Jeal El (Eds.) Universitätskulturen – L’Université en perspective – The Future of the University (2012)

Der Beitrag liefert einen Vergleich studentischer Lebenswelten in den Universitätskulturen Deutschlands, Frankreichs und der USA, basierend auf Diskussionsergebnissen des Transatlantischen Dialogs 2010 ... [more ▼]

Der Beitrag liefert einen Vergleich studentischer Lebenswelten in den Universitätskulturen Deutschlands, Frankreichs und der USA, basierend auf Diskussionsergebnissen des Transatlantischen Dialogs 2010. Hierbei soll es vor allem darum gehen, in international vergleichender Perspektive Diskrepanzen und Ähnlichkeiten in den studentischen Lebenswelten aufzuspüren. Ausgehend von der Individualisierungsthese, die von einem zunehmenden Rückzug der einzelnen Studierenden aus der studentischen Gemeinschaft ausgeht, und der Pluralisierungsthese, die die Universität nur als einen Teil vielfältiger Lebenswelten der Studierenden sieht, sollen vor allem drei Dimensionen des Themas untersucht werden: zunächst eine räumliche Dimension, danach Fragen der studentischen Versorgung und schließlich Fragen der studentischen Identifikation, Integration und Segregation. [less ▲]

Funktionieren musst du wie eine Maschine Leben und Überleben in deutschen und österreichischen Kinderheimen der 1950er und 1960er Jahre

Book published by Beltz Juventa (2012)

In diesem Buch wird die "Totale Institution Kinderheim" der 1950er und 1960er Jahre anhand soziologischer Bezugstheorien systematisiert und mittels Stimmen ehemaliger Heimkinder lebensweltnah dargestellt ... [more ▼]

In diesem Buch wird die "Totale Institution Kinderheim" der 1950er und 1960er Jahre anhand soziologischer Bezugstheorien systematisiert und mittels Stimmen ehemaliger Heimkinder lebensweltnah dargestellt. Ein besonderer Schwerpunkt liegt auf der Rekonstruktion selbstgeschaffener Inseln, Fluchten und Seitennischen des Überlebens. Ergänzend wird ein Überblick über die Heimlandschaft und die sie prägenden historischen Erziehungsideologien gegeben. [less ▲]