Werden normalerweise neue Museen für bereits bestehende Sammlungen gebaut, so verkehrt sich in Ústí nad Labem dieses Prinzip ins Gegenteil. Auf Initiative des Collegium Bohemicum und unterstützt von der Jan Evangelista Purkyně-Universität Ústí nad Labem wurde 2006 das „Museum für die deutschsprachigen Bewohner der böhmischen Länder“ ins Leben gerufen. Das im Aufbau befindliche Museum hat sich zum Ziel gesetzt, das Wirken und den Beitrag der deutschsprachigen Bewohner in den böhmischen Ländern aus tschechischer Perspektive, aber in europäische Zusammenhänge eingebettet darzustellen und zu vermitteln. (...)

Measuring the energy consumption of software components is a major building block for generating models that allow for energy-aware scheduling, accounting and budgeting. Current measurement techniques focus on coarse-grained measurements of application or system events. However, fine grain adjustments in particular in the operating-system kernel and in application-level servers require power profiles at the level of a single software function. Until recently, this appeared to be impossible due to the lacking fine grain resolution and high costs of measurement equipment. In this paper we report on our experience in using the Running Average Power Limit (RAPL) energy sensors available in recent Intel CPUs for measuring energy consumption of short code paths. We investigate the granularity at which RAPL measurements can be performed and discuss practical obstacles that occur when performing these measurements on complex modern CPUs. Furthermore, we demonstrate how to use the RAPL infrastructure to characterize the energy costs for decoding video slices.

Our paper presents some preliminary observation from a collaborative exploratory study linking mathematics, science and reading within a technology enhanced problem-based learning scenario conducted at one French Canadian Elementary and Middle School. Presented in a form of dialogue between teacher and researcher, our findings give some meaningful insight in how an innovative mathematics teaching can be developed and implemented using a real-world problem solving. Instead of a traditional presentation of material about lighting up homes, participating mathematics, science and French teachers were working collaboratively with the ICT integration mentor and two university professors helping students investigate a problem from various perspectives using a variety of cognitive and metacognitive strategies, discussing and sharing the finding with peers and presenting them to a larger audience using media tools. Our preliminary results may prompt further investigation of how innovation in teaching and learning can help students become better critical thinkers and scientifically empowered citizens.

La présente recherche collaborative vise à décrire (1) la mise en œuvre de pratiques en contexte d’atelier d’écriture de deux enseignantes vietnamiennes de français langue étrangère au deuxième cycle du secondaire bénéficiant d’une formation continue sur ce dispositif ; (2) les effets de leurs pratiques d’atelier d’écriture sur le développement de la compétence à écrire en français langue étrangère de leurs élèves ; et (3) les répercussions de leur participation à cette recherche collaborative sur le changement de leurs pratiques d’enseignement de l’écriture. Afin de répondre à ces objectifs, nous avons observé chacune des enseignantes à deux reprises, l’une au début et l’autre, à la fin de l’expérimentation. Elles ont de plus décrit leur mise en œuvre de l’atelier d’écriture lors d’une entrevue téléphonique qui se déroulait toutes les deux semaines au cours de cinq mois. D’autre part, nous avons évalué la performance en écriture en français langue étrangère des élèves (n=33) de ces deux enseignantes au prétest et au post-test au moyen d’une épreuve de production écrite. Enfin, nous avons mené une entrevue semi-dirigée avec les enseignantes au début et à la fin de la recherche pour collecter les changements qu’elles ont apportés dans leurs pratiques d’enseignement de l’écriture et identifier les éléments du dispositif de recherche facilitant ces changements. Nos résultats indiquent que durant la recherche, les enseignantes ont mis en place l’atelier d’écriture dans leur classe. Au moyen d’observations directes en classe à l’aide du modèle du multi-agenda de Bucheton et Soulé (2009), nous avons remarqué une amélioration dans la qualité de leurs pratiques de tissage, de pilotage, d’étayage et d’atmosphère à la fin de l’expérimentation. Les pratiques déclarées, quant à elles, permettent de constater que les enseignantes ont organisé l’atelier d’écriture sur une base régulière et ont respecté presque pleinement les principes de ce dispositif présentés lors de la formation. Du côté des élèves, ils ont amélioré significativement la qualité de leurs productions écrites sur le plan du contenu, de l’organisation, de la structure des phrases, du choix des mots, de la voix d’auteur et des conventions linguistiques au post-test. De plus, leurs productions écrites étaient plus longues et meilleures en ce qui concerne la complexité lexicale ainsi que syntaxique. Finalement, les enseignantes ont déclaré apporter des changements dans leurs pratiques d’enseignement de l’écriture, et ce, grâce à la formation que nous avions organisée pour elles, à notre soutien durant leur expérimentation et à leur observation mutuelle de la mise en œuvre de l’atelier d’écriture. / The purpose of this collaborative research is to describe (1) the implementation of writing workshop practices by two Vietnamese teachers of French as a foreign language at the upper secondary level who received in-service training on this device; (2) the impact of their writing workshop practices on the development of their students’ competence in writing French as a foreign language; and (3) the repercussions of their participation in the collaborative research on the change in their writing teaching practices. Our results indicate that during the research, teachers implemented the writing workshop in their classrooms. Through direct classroom observations using Bucheton and Soulé’s (2009) multi-agenda model, we noted an improvement in the quality of weaving, piloting, scaffolding, and atmospheric practices implemented by the teachers at the end of the experiment. The reported practices show that the teachers implemented the writing workshop on a regular basis and complied almost fully with the principles of this device presented during the training. On the students’ side, they significantly improved the quality of their written productions in terms of content, organization, sentence fluency, word choice, authorial voice and linguistic conventions on the post-test. In addition, their written productions were longer and better in terms of lexical and syntactic complexity. Finally, the teachers reported making changes in their practices of teaching writing, thanks to the training we had organized for them, to our support during their experimentation, and to their mutual observation of the implementation of the writing workshop.

The efficient and flexible management of large datasets is one of the core requirements of modern business applications. Having access to consistent and up-to-date information is the foundation for operational, tactical, and strategic decision making. Within the last few years, the database community sparked a large number of extremely innovative research projects to push the envelope in the context of modern database system architectures. In this paper, we outline requirements and influencing factors to identify some of the hot research topics in database management systems. We argue that—even after 30 years of active database research—the time is right to rethink some of the core architectural principles and come up with novel approaches to meet the requirements of the next decades in data management. The sheer number of diverse and novel (e.g., scientific) application areas, the existence of modern hardware capabilities, and the need of large data centers to become more energy-efficient will be the drivers for database research in the years to come.

Electronic systems of the future require a very high bandwidth communications infrastructure within the system. This way the massive amount of compute power which will be available can be inter-connected to realize future powerful advanced electronic systems. Today, electronic inter-connects between 3D chip-stacks, as well as intra-connects within 3D chip-stacks are approaching data rates of 100 Gbit/s soon. Hence, the question to be answered is how to efficiently design the communications infrastructure which will be within electronic systems. Within this paper approaches and results for building this infrastructure for future electronics are addressed.

Reliability of low-level operating-system (OS) code is an indispensable requirement. This includes functional properties from the safety-liveness spectrum, but also quantitative properties stating, e.g., that the average waiting time on locks is sufficiently small or that the energy requirement of a certain system call is below a given threshold with a high probability. This paper reports on our experiences made in a running project where the goal is to apply probabilistic model checking techniques and to align the results of the model checker with measurements to predict quantitative properties of low-level OS code.

Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore complex and thus less predictable hardware, quantitative and probabilistic guarantees become more and more important. Probabilistic model checking is one technique to automatically obtain these guarantees. First experiences with the automated quantitative analysis of low-level operating-system code confirm the expectation that the naive probabilistic model checking approach rapidly reaches its limits when increasing the numbers of processes. This paper reports on our work-in-progress to tackle the state explosion problem for low-level OS-code caused by the exponential blow-up of the model size when the number of processes grows. We studied the symmetry reduction approach and carried out our experiments with a simple test-and-test-and-set lock case study as a representative example for a wide range of protocols with natural inter-process dependencies and long-run properties. We quickly see a state-space explosion for scenarios where inter-process dependencies are insignificant. However, once inter-process dependencies dominate the picture models with hundred and more processes can be constructed and analysed.

The number of secure data streams a relay-assisted interference channel can support has been an intriguing problem. The problem is not solved even for a fundamental scenario with a single antenna at each transmitter, receiver and relay. In this paper, we study the achievable secure degrees of freedom of instantaneous relay-assisted interference channels with real and complex coefficients. The study of secure degrees of freedom with complex coefficients is not a trivial multiuser extension of the scenarios with real channel coefficients as in the case for the degrees of freedom, due to secrecy constraints. We tackle this challenge by jointly designing the improper transmit signals and widely-linear relay processing strategies.

In this paper, we analyze the four-node relay wiretap channel, where the relay performs amplify-and-forward. There is no direct link between transmitter and receiver available. The transmitter has multiple antennas, which assist in securing the transmission over both phases. In case of full channel state information (CSI), the transmitter can apply information leakage neutralization in order to prevent the eavesdropper from obtaining any information about the signal sent. This gets more challenging, if the transmitter has only an outdated estimate of the channel from the relay to the eavesdropper. For this case, we optimize the worst case secrecy rate by choosing intelligently the beamforming vectors and the power allocation at the transmitter and the relay.