Abstract
Deterministic replay tools are a useful asset when it comes to pinpoint hard-to-reproduce bugs. However, no sweet spot has yet been found with respect to the trade-off between recording overhead and bug reproducibility, especially in the context of search-based deterministic replay techniques, which rely on inference mechanisms. In this paper, we argue that tracing the locking order, along with the local control-flow path affected by shared variables, allows to dramatically reduce the inference time to find a fault-inducing trace, while imposing only a slight increase in the overhead during production runs. Preliminary evaluation with a micro-benchmark and third-party benchmarks provides initial evidence that supports our claim. © 2013 ACM.

Abstract
A new type of optical probe based on laser Doppler self-mixing technology, for a truly non-contact measurement in a single location, and extraction of the temporal features of the distension wave in the arterial wall, was developed. The monitoring of temporal features allows the assessment of cardiovascular function when measurement is carried out at the carotid artery. An algorithm based on the short-time Fourier transform and empirical mode decomposition was applied to the test setup self-mixing signals for the determination of waveform features, with an accuracy of a few milliseconds and a root mean square error less than 3 ms. In vivo testing signals show great consistency in the measured pulse pressure waveform.

Abstract
Serious games are games where the entertainment aspect is not the most relevant motivation or objective. TimeMesh is an online, multi-language, multiplayer, collaborative and social game platform for sharing and acquiring knowledge of the history of European regions. As such it is a serious game with educational characteristics. This article evaluates the use of TimeMesh with students of 13 and 14 years-old. It shows that this game is already a significant learning tool about European citizenship.

Abstract
O Grupo da Qualidade da Secção de Gestão (DCSG - UAb) iniciou funções no ano letivo 2011-2012. Apresenta-se aqui um resumo da atuação do grupo na analise dos resultados dos inquéritos de satisfação aos estudantes dos cursos de gestão (1 licenciatura e 2 mestrados) nos anos letivos 2011-2012 e 2012-2013. São igualmente apresentadas as ações levadas a cabo pelo grupo, com o objetivo de aumentar a qualidade dos cursos ministrados nesta secção, e algumas linhas de orientação para os docentes.

Abstract
Background: Understanding how alternative phenotypes arise from the same genome is a major challenge in modern biology. Eusociality in insects requires the evolution of two alternative phenotypes - workers, who sacrifice personal reproduction, and queens, who realize that reproduction. Extensive work on honeybees and ants has revealed the molecular basis of derived queen and worker phenotypes in highly eusocial lineages, but we lack equivalent deep-level analyses of wasps and of primitively eusocial species, the latter of which can reveal how phenotypic decoupling first occurs in the early stages of eusocial evolution. Results: We sequenced 20 Gbp of transcriptomes derived from brains of different behavioral castes of the primitively eusocial tropical paper wasp Polistes canadensis. Surprisingly, 75% of the 2,442 genes differentially expressed between phenotypes were novel, having no significant homology with described sequences. Moreover, 90% of these novel genes were significantly upregulated in workers relative to queens. Differential expression of novel genes in the early stages of sociality may be important in facilitating the evolution of worker behavioral complexity in eusocial evolution. We also found surprisingly low correlation in the identity and direction of expression of differentially expressed genes across similar phenotypes in different social lineages, supporting the idea that social evolution in different lineages requires substantial de novo rewiring of molecular pathways. Conclusions: These genomic resources for aculeate wasps and first transcriptome-wide insights into the origin of castes bring us closer to a more general understanding of eusocial evolution and how phenotypic diversity arises from the same genome.

Abstract
A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this approach is hard or impractical when reverse engineering legacy software architectures. We present a case study that shows optimizations and pushouts-in addition to refinements and extensions-are essential for practical stepwise development of complex software architectures.