Abstract
Jasmin is a framework for developing high-speed and high-assurance cryptographic software. The framework is structured around the Jasmin programming language and its compiler. The language is designed for enhancing portability of programs and for simplifying verification tasks. The compiler is designed to achieve predictability and efficiency of the output code (currently limited to x64 platforms), and is formally verified in the Coq proof assistant. Using the SUPER COP framework, we evaluate the Jasmin compiler on representative cryptographic routines and conclude that the code generated by the compiler is as efficient as fast, hand-crafted, implementations. Moreover, the framework includes highly automated tools for proving memory safety and constant-time security (for protecting against cache-based timing attacks). We also demonstrate the effectiveness of the verification tools on a large set of cryptographic routines.

Abstract
Despite a clear improvement of search and retrieval temporal applications, current search engines are still mostly unaware of the temporal dimension. Indeed, in most cases, systems are limited to offering the user the chance to restrict the search to a particular time period or to simply rely on an explicitly specified time span. If the user is not explicit in his/her search intents (e.g., "philip seymour hoffman'') search engines may likely fail to present an overall historic perspective of the topic. In most such cases, they are limited to retrieving the most recent results. One possible solution to this shortcoming is to understand the different time periods of the query. In this context, most state-of-the-art methodologies consider any occurrence of temporal expressions in web documents and other web data as equally relevant to an implicit time sensitive query. To approach this problem in a more adequate manner, we propose in this paper the detection of relevant temporal expressions to the query. Unlike previous metadata and query log-based approaches, we show how to achieve this goal based on information extracted from document content. However, instead of simply focusing on the detection of the most obvious date we are also interested in retrieving the set of dates that are relevant to the query. Towards this goal, we define a general similarity measure that makes use of co-occurrences of words and years based on corpus statistics and a classification methodology that is able to identify the set of top relevant dates for a given implicit time sensitive query, while filtering out the non-relevant ones. Through extensive experimental evaluation, we mean to demonstrate that our approach offers promising results in the field of temporal information retrieval (T-IR), as demonstrated by the experiments conducted over several baselines on web corpora collections.

Abstract

Abstract
Virtual Reality offers the possibility of creating the most diverse types of videogames, being possible to have different types of videogames such as calm, eventful or even terrifying. The present study aimed to verify whether different types of videogames have impact on player's emotional responses as wecc as on the self-reported sense of presence. In addition, two distinct display interfaces were considered: conventional computer display and head-mounted display. To carry out this study, an experimental study was designed based on three videogames with distinct natures (exploration, puzzle and horror), where the participants had to fulfill certain tasks within a predetermined period. The data analysis revealed that there no significant emotional changes between the different videogames used. The results also revealed that the use of head-mounted displays increases the sense of presence in scenarios where the field of view is wide.

Abstract
Peer Observation of Teaching has raised a lot of interest as a device for quality enhancement of teaching. While much research has focused on its models, implementation schemes and feedback to the observed, little attention has been paid to what the observer actually sees and can learn from the observation. A multidisciplinary peer observation of teaching program is described, and its data is used to identify the pedagogical aspects to which lecturers pay more attention to when observing classes. The discussion addresses the valuable learning opportunities for observers provided by this program, as well as its usefulness in disseminating, sharing and clarifying quality teaching practices. The need for further research concerning teacher-student relationships and students' engagement is also suggested.

Abstract
In order to detect network motifs we need to evaluate the exceptionality of subgraphs in a given network. This is usually done by comparing subgraph frequencies on both the original and an ensemble of random networks keeping certain structural properties. The classical null model implies preserving the degree sequence. In this paper our focus is on a richer model that approximately fixes the frequency of subgraphs of size K - 1 to compute motifs of size K. We propose a method for generating random graphs under this model, and we provide algorithms for its efficient computation. We show empirical results of our proposed methodology on neurobiological networks, showcasing its efficiency and its differences when comparing to the traditional null model.