Impact of inter-mission differences and drifts on chlorophyll-a trend estimates

The chlorophyll-a (chl-a) concentration is an Essential Climate Variable, and the study of its variability at global scale requires a succession of satellite ocean colour missions to cover a period suitable for climate research. In the context of a multi-mission data record, inter-mission differences can introduce artefacts affecting trend evaluations, and the impact of the bias between the Sea-viewing Wide Field-of-view Sensor (SeaWiFS) and Moderate Resolution Imaging Spectroradiometer (MODIS) chl-a products is shown to be significant in a substantial part of the ocean. The assessment of trends can also be directly impacted by a drift in the chl-a time series resulting from sensor functions. These issues are addressed by a sensitivity analysis that compares slopes of linear regression obtained for varying levels of inter-mission bias and drift with respect to a 15-year reference series built with SeaWiFS and MODIS data. The relationship, constructed for a representative set of ocean provinces, between bias and the level of significance associated with the comparison of slopes shows that a bias on the order of ±5–6% generally induces a slope that is significantly different from the reference case, while a threshold on bias values not exceeding 2% largely alleviates this effect. Moreover, the study suggests that a drift larger than 2% per decade on the chl-a series can result in misleading conclusions from a trend analysis. All results have a clear regional dependence that needs to be taken into account in bias-correction and merging efforts. Low chl-a regions, such as the oligotrophic subtropical gyres, appear particularly sensitive to perturbations and require still higher levels of consistency and stability.     

Active learning through collaborative knowledge building using an automatic free-text scoring system in a b-learning environment

According to active learning, students should be responsible for their own learning. Automatic free-text scoring allows teachers to provide open-ended questions with their correct answers to a computer system, so when students answer the questions, they get immediate feedback (a score, a comment, or both). However, teachers are usually overloaded with many tasks, and they may not have time to create the questions with the correct answers. Therefore, in the 2012/2013 academic year, we asked a group of 124 Pre-Primary and Primary Education students to become the creators of the questions and their correct answers in groups in a free-text scoring system, so the questions use learners’ language, not teachers’ language. From them, 41 students (group of involved students, GIS) fulfilled all the requirements during the course. Our hypothesis was that GIS would be able to increase their academic performance and levels of engagement compared to the rest of the students. The results gathered provide statistic evidence to support that hypothesis. This study pretends to help teachers who want to increase the academic performance and levels of engagement of their students in courses that they may find boring and unrelated to the main topic of their degree, or not directly related with their main academic interests.     

Evaluation and comparison of satellite-based rainfall products in Burkina Faso,West Africa

The performance of seven operational high-resolution satellite-based rainfall products – Africa Rainfall Estimate Climatology (ARC 2.0), Climate Hazards Group InfraRed Precipitation with Stations (CHIRPS), Precipitation Estimation from Remotely Sensed Information using Artificial Neural Networks (PERSIANN), African Rainfall Estimation (RFE 2.0), Tropical Applications of Meteorology using SATellite (TAMSAT), African Rainfall Climatology and Time-series (TARCAT), and Tropical Rainfall Measuring Mission (TRMM) daily and monthly estimates – was investigated for Burkina Faso. These were compared to ground data for 2001–2014 on a point-to-pixel basis at daily to annual time steps. Continuous statistics was used to assess their performance in estimating and reproducing rainfall amounts, and categorical statistics to evaluate rain detection capabilities. The north–south gradient of rainfall was captured by all products, which generally detected heavy rainfall events, but showed low correlation for rainfall amounts. At daily scale they performed poorly. As the time step increased, the performance improved. All (except TARCAT) provided excellent scores for Bias and Nash–Sutcliffe Efficiency coefficients, and overestimated rainfall amounts at the annual scale. RFE performed the best, whereas TARCAT was the weakest. Choice of product depends on the specific application: ARC, RFE, and TARCAT for drought monitoring, and PERSIANN, CHIRPS, and TRMM daily for flood monitoring in Burkina Faso.     

A Hierarchical Approach for Regular Centroidal Voronoi Tessellations

In this paper, we consider Centroidal Voronoi Tessellations (CVTs) and study their regularity. CVTs are geometric structures that enable regular tessellations of geometric objects and are widely used in shape modelling and analysis. While several efficient iterative schemes, with defined local convergence properties, have been proposed to compute CVTs, little attention has been paid to the evaluation of the resulting cell decompositions. In this paper, we propose a regularity criterion that allows us to evaluate and compare CVTs independently of their sizes and of their cell numbers. This criterion allows us to compare CVTs on a common basis. It builds on earlier theoretical work showing that second moments of cells converge to a lower bound when optimizing CVTs. In addition to proposing a regularity criterion, this paper also considers computational strategies to determine regular CVTs. We introduce a hierarchical framework that propagates regularity over decomposition levels and hence provides CVTs with provably better regularities than existing methods. We illustrate these principles with a wide range of experiments on synthetic and real models.     

Exploring educational immersive videogames: an empirical study with a 3D multimodal interaction prototype

ABSTRACT

Gestural interaction devices emerged and originated various studies on multimodal human–computer interaction to improve user experience (UX). However, there is a knowledge gap regarding the use of these devices to enhance learning. We present an exploratory study which analysed the UX with a multimodal immersive videogame prototype, based on a Portuguese historical/cultural episode. Evaluation tests took place in high school environments and public videogaming events. Two users would be present simultaneously in the same virtual reality (VR) environment: one as the helmsman aboard Vasco da Gama’s fifteenth-century Portuguese ship and the other as the mythical Adamastor stone giant at the Cape of Good Hope. The helmsman player wore a VR headset to explore the environment, whereas the giant player used body motion to control the giant, and observed results on a screen, with no headset. This allowed a preliminary characterisation of UX, identifying challenges and potential use of these devices in multi-user virtual learning contexts. We also discuss the combined use of such devices, towards future development of similar systems, and its implications on learning improvement through multimodal human–computer interaction.     

Sentinel-1-based flood mapping: a fully automated processing chain

This article presents an automated Sentinel-1-based processing chain designed for flood detection and monitoring in near-real-time (NRT). Since no user intervention is required at any stage of the flood mapping procedure, the processing chain allows deriving time-critical disaster information in less than 45 min after a new data set is available on the Sentinel Data Hub of the European Space Agency (ESA). Due to the systematic acquisition strategy and high repetition rate of Sentinel-1, the processing chain can be set up as a web-based service that regularly informs users about the current flood conditions in a given area of interest. The thematic accuracy of the thematic processor has been assessed for two test sites of a flood situation at the border between Greece and Turkey with encouraging overall accuracies between 94.0% and 96.1% and Cohen’s kappa coefficients (κ) ranging from 0.879 to 0.910. The accuracy assessment, which was performed separately for the standard polarizations (VV/VH) of the interferometric wide swath (IW) mode of Sentinel-1, further indicates that under calm wind conditions, slightly higher thematic accuracies can be achieved by using VV instead of VH polarization data.     

Retailoring Box Splines to Lattices for Highly Isotropic Volume Representations

3D box splines are defined by convolving a 1D box function with itself along different directions. In volume visualization, box splines are mainly used as reconstruction kernels that are easy to adapt to various sampling lattices, such as the Cartesian Cubic (CC), Body‐Centered Cubic (BCC), and Face‐Centered Cubic (FCC) lattices. The usual way of tailoring a box spline to a specific lattice is to span the box spline by exactly those principal directions that span the lattice itself. However, in this case, the preferred directions of the box spline and the lattice are the same, amplifying the anisotropic effects of each other. This leads to an anisotropic volume representation with strongly preferred directions. Therefore, in this paper, we retailor box splines to lattices such that the sets of vectors that span the box spline and the lattice are disjoint sets. As the preferred directions of the box spline and the lattice compensate each other, a more isotropic volume representation can be achieved. We demonstrate this by comparing different combinations of box splines and lattices concerning their anisotropic behavior in tomographic reconstruction and volume visualization.     

Automated Proofs of Block Cipher Modes of Operation

We present a Hoare logic for proving semantic security and determining exact security bounds of a block cipher mode of operation. We propose a simple yet expressive programming language to specify encryption modes, semantic functions for each command (statement) in the language, an assertion language that allows to state predicates and axioms, and rules to propagate the predicates through the commands of a program. We also provide heuristics for finding loop invariants that are necessary for the application of our rule on for-loops. This enables us to prove the security of protocols that take arbitrary length messages as input. We implemented a prototype that uses this logic to automatically prove the security of block cipher modes of operation. This prototype can prove the security of many standard modes of operation, such as Cipher Block Chaining (CBC), Cipher FeedBack mode (CFB), Output FeedBack (OFB), and CounTeR mode (CTR).