Importance of Nuclear Data Uncertainties in Criticality Calculations

To study the propagation of the uncertainty from basic data across different scale and physics phenomena -> through complex coupled multi-physics and multi-scale simulations

Analysis of Different Uncertainty Activation Cross Section Data Libraries for LWR, ads and demo Neutron Spectra

This work is aimed to present the main differences of nuclear data uncertainties among three different nuclear data libraries: EAF-2007, EAF-2010 and SCALE-6.0, under different neutron spectra: LWR, ADS and DEMO (fusion)

On abstraction-carrying code and certificate-size reduction

Abstraction-Carrying Code (ACC) is a framework for mobile code safety in which the code supplier provides a program together with an abstraction (or abstract model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation is carried out automatically by a fixed-point analyzer. The advantage of providing a (fixed-point) abstraction to the code consumer is that its validity is checked in a single pass (i.e., one iteration) of an abstract interpretation-based checker. A main challenge to make ACC useful in practice is to reduce the size of certificates as much as possible, while at the same time not increasing checking time. Intuitively, we only include in the certificate the information which the checker is unable to reproduce without iterating. We introduce the notion of reduced certifícate which characterizes the subset of the abstraction which a checker needs in order to validate (and re-construct) the full certificate in a single pass. Based on this notion, we show how to instrument a generic analysis algorithm with the necessary extensions in order to identify the information relevant to the checker.

Distributed primary user identification from imprecise location information

We study a cognitive radio scenario in which the network of sec- ondary users wishes to identify which primary user, if any, is trans- mitting. To achieve this, the nodes will rely on some form of location information. In our previous work we proposed two fully distributed algorithms for this task, with and without a pre-detection step, using propagation parameters as the only source of location information. In a real distributed deployment, each node must estimate its own po- sition and/or propagation parameters. Hence, in this work we study the effect of uncertainty, or error in these estimates on the proposed distributed identification algorithms. We show that the pre-detection step significantly increases robustness against uncertainty in nodes' locations.

Offshore remote sensing of the ocean by stereo vision systems

In recent years, remote sensing imaging systems for the measurement of oceanic sea states have attracted renovated attention. Imaging technology is economical, non-invasive and enables a better understanding of the space-time dynamics of ocean waves over an area rather than at selected point locations of previous monitoring methods (buoys, wave gauges, etc.). We present recent progress in space-time measurement of ocean waves using stereo vision systems on offshore platforms, which focus on sea states with wavelengths in the range of 0.01 m to 1 m. Both traditional disparity-based systems and modern elevation-based ones are presented in a variational optimization framework: the main idea is to pose the stereoscopic reconstruction problem of the surface of the ocean in a variational setting and design an energy functional whose minimizer is the desired temporal sequence of wave heights. The functional combines photometric observations as well as spatial and temporal smoothness priors. Disparity methods estimate the disparity between images as an intermediate step toward retrieving the depth of the waves with respect to the cameras, whereas elevation methods estimate the ocean surface displacements directly in 3-D space. Both techniques are used to measure ocean waves from real data collected at offshore platforms in the Black Sea (Crimean Peninsula, Ukraine) and the Northern Adriatic Sea (Venice coast, Italy). Then, the statistical and spectral properties of the resulting observed waves are analyzed. We show the advantages and disadvantages of the presented stereo vision systems and discuss future lines of research to improve their performance in critical issues such as the robustness of the camera calibration in spite of undesired variations of the camera parameters or the processing time that it takes to retrieve ocean wave measurements from the stereo videos, which are very large datasets that need to be processed efficiently to be of practical usage. Multiresolution and short-time approaches would improve efficiency and scalability of the techniques so that wave displacements are obtained in feasible times.

Concrete constitutive model, calibration and applications

A methodology has been developed for characterising the mechanical behaviour of concrete, based on the damaged plasticity model, enriched with a user subroutine (V)USDFLD in order to capture better the ductility of the material under moderate confining pressures. The model has been applied in the context of the international benchmark IRIS_2012, organised by the OECD/NEA/CSNI Nuclear Energy Agency, dealing with impacts of rigid and deformable missiles against reinforced concrete targets. A slightly modified version of the concrete damaged plasticity model was used to represent the concrete. The simulation results matched very well the observations made during the actual tests. Particularly successful predictions involved the energy spent by the rigid missile in perforating the target, the crushed length of the deformable missile, the crushed and cracked areas of the concrete target, and the values of the strains recorded at a number of locations in the concrete slab.

Coastal floods and decadal changes: the climate factor

Observation has widely shown for nearly all last century that the Spanish (Dynamic) Maritime Climate was following around 10 to 11 year cycles in its most significant figure, wind wave, despite it being better to register cycles of 20 to 22 years, in analogical way with the semi-diurnal and diurnal cycles of Cantabrian tides. Those cycles were soon linked to sun activity and, at the end of the century, the latter was related to the Solar System evolution. We know now that waves and storm surges are coupled and that (Dynamic) Maritime Climate forms part of a more complex “Thermal Machine” including Hydrological cycle. The analysis of coastal floods could so facilitate the extension of that experience. According to their immediate cause, simple flood are usually sorted out into flash, pluvial, fluvial, groundwater and coastal types, considering the last as caused by sea waters. But the fact is that most of coastal floods are the result of the concomitance of several former simple types. Actually, the several Southeastern Mediterranean coastal flood events show to be the result of the superposition within the coastal zone of flash, fluvial, pluvial and groundwater flood types under boundary condition imposed by the concomitant storm sea level rise. This work shall be regarded as an attempt to clarify that cyclic experience, through an in-depth review of a past flood events in Valencia (Turia and Júcar basins), as in Murcia (Segura’s) as well.

Understanding extreme Spanish coastal flood events

The Santa Irene flood event, at the end of October 1982, is one of the most dramatically widely reported flood events in Spain. Its renown is mainly due to the collapse of the Tous dam, but its main message is to be the paradigm of the incidence of the maritime/littoral weather and its temporal sea level rise by storm surge accompanying rain process on the coastal plains inland floods. Looking at damages the presentation analyzes the adapted measures from the point of view of the aims of the FP7 SMARTeST Project related to the Flood Resilience improvement in urban areas through looking for Technologies, Systems and Tools an appropriate "road to de market".

On-the-fly dynamic reprogramming mechanism for increasing the energy efficiency and supporting multi-experimental capabilities in WSNs

Remote reprogramming capabilities are one of the major concerns in WSN platforms due to the limitations and constraints that low power wireless nodes poses, especially when energy efficiency during the reprogramming process is a critical factor for extending the battery life of the devices. Moreover, WSNs are based on low-rate protocols in which as greater the amount of data is sent, the more the possibility to lose packets during the transmitting process is. In order to overcome these limitations, in this work a novel on-the-fly reprogramming technique for modifying and updating the application running on the wireless sensor nodes is designed and implemented, based on a partial reprogramming mechanism that significantly reduces the size of the files to be downloaded to the nodes, therefore diminishing their power/time consumption. This powerful mechanism also addresses multi-experimental capabilities because it provides the possibility to download, manage, test and debug multiple applications into the wireless nodes, based on a memory map segmentation of the core. Being an on-the-fly reprogramming process, no additional resources to store and download the configuration file are needed.

Plausibility of a subglacial lake under Amundsenisen Icefield (Svalbard): spatially variable water content and sensitivity to thermal effect of snow and firn layers

Within our study of the plausibility of a subglacial lake under the Amundsenisen Icefield in Southern Spitzbergen, Svalbard achipelago (Glowacki et al., 2007), here we focus on the sensitivity of the system to the thermal effect of the firn and snow layers. Rough heat balance analysis shows that the firn layer plays an important role by driving the heat release to the atmosphere, so that its influence on the ice-water phase transition cannot be neglected (Bucchignani et al., 2012).

Properties of plant food allergens: In silico studies

International Comparative Medicine Symposium. Allergology. Revisión de métodos computacionales para determinar propiedades de alergenos alimentarios de plantas

Personalized rule-based closed-loop control algorithm for type 1 diabetes

Type 1 diabetes-mellitus implies a life-threatening absolute insulin deficiency. Artificial pancreas (CGM sensor, insulin pump and control algorithm) is promising to outperform current open-loop therapies.

Design evaluation of a prototype user interface to support a guideline-based decision support system in gestational diabetes

Gestational Diabetes (GD) has increased over the last 20 years, affecting up to 15% of pregnant women worldwide. The complications associated can be reduced with the appropriate glycemic control during the pregnancy.

Resource allocation in GMD and SVD-based MIMO System

Singular-value decomposition (SVD)-based multiple-input multiple output (MIMO) systems, where the whole MIMO channel is decomposed into a number of unequally weighted single-input single-output (SISO) channels, have attracted a lot of attention in the wireless community. The unequal weighting of the SISO channels has led to intensive research on bit- and power allocation even in MIMO channel situation with poor scattering conditions identified as the antennas correlation effect. In this situation, the unequal weighting of the SISO channels becomes even much stronger. In comparison to the SVD-assisted MIMO transmission, geometric mean decomposition (GMD)-based MIMO systems are able to compensate the drawback of weighted SISO channels when using SVD, where the decomposition result is nearly independent of the antennas correlation effect. The remaining interferences after the GMD-based signal processing can be easily removed by using dirty paper precoding as demonstrated in this work. Our results show that GMD-based MIMO transmission has the potential to significantly simplify the bit and power loading processes and outperforms the SVD-based MIMO transmission as long as the same QAM-constellation size is used on all equally-weighted SISO channels.