Abstract
Expression Atlas (http://www.ebi.ac.uk/gxa) provides information about gene and protein expression in animal and plant samples of different cell types, organism parts, developmental stages, diseases and other conditions. It consists of selected microarray and RNA-sequencing studies from Array Express, which have been manually curated, annotated with ontology terms, checked for high quality and processed using standardised analysis methods. Since the last update, Atlas has grown sevenfold (1572 studies as of August 2015), and incorporates baseline expression profiles of tissues from Human Protein Atlas, GTEx and FANTOM5, and of cancer cell lines from ENCODE, CCLE and Genentech projects. Plant studies constitute a quarter of Atlas data. For genes of interest, the user can view baseline expression in tissues, and differential expression for biologically meaningful pairwise comparisons-estimated using consistent methodology across all of Atlas. Our first proteomics study in human tissues is now displayed alongside transcriptomics data in the same tissues. Novel analyses and visualisations include: 'enrichment' in each differential comparison of GO terms, Reactome, Plant Reactome pathways and InterPro domains; hierarchical clustering (by baseline expression) of most variable genes and experimental conditions; and, for a given gene-condition, distribution of baseline expression across biological replicates.

Abstract
This paper focuses on the spare parts inventory management of a maintenance provider of the health sector, where the commitment to ensure the agreed customer service level and the guarantee of maximum availability of the devices are relevant issues. Spare parts inventory management means handling with unpredictable consumption, since in most cases, it is impossible to know in advance when a specific spare part will be necessary or the needed amount. Determining an adequate inventory management policy for spare parts, specifically for unplanned maintenance operations is essential to provide the contracted service level. Considering that the criticality of a spare part has consequences regarding the availability of an equipment and service level agreement, the spare parts were classified in terms of quantity, value of usage and criticality. Based on this classification, differentiated service levels and inventory management policies were adopted for each group.

Abstract
In this work, we describe an interdisciplinary teaching experiment involving three subjects of the scientific area of Mathematics and a fourth one in the area of Management. Using only one project, the students developed skills, in an integrated way, in the fields of the subjects involved. The structure of the project is described in detail. It is shown how the knowledge obtained in the different subjects is needed and how it connects together to answer the proposed challenges. We report the progress of the students' work, the main difficulties and the skills developed during this process. We conclude with a reflection on the main problems and gains that may arise in projects of this kind.

Abstract
The dynamic logic with binders D? was recently introduced as a suitable formalism to support a rigorous stepwise development method for reactive software. The commitment of this logic concerning bisimulation equivalence is, however, not satisfactory: the model class semantics of specifications in D? is not closed under bisimulation equivalence; there are D?-sentences that distinguish bisimulation equivalent models, i.e., D? does not enjoy the modal invariance property. This paper improves on these limitations by providing an observational semantics for dynamic logic with binders. This involves the definition of a new model category and of a more relaxed satisfaction relation. We show that the new logic D? ~ enjoys modal invariance and even the Hennessy-Milner property. Moreover, the new model category provides a categorical characterisation of bisimulation equivalence by observational isomorphism. Finally, we consider abstractor semantics obtained by closing the model class of a specification SP in D? under bisimulation equivalence. We show that, under mild conditions, abstractor semantics of SP in D? is the same as observational semantics of SP in D? ~.

Abstract
RESUMO - É fundamental conhecer hábitos alimentares e nutricionais de uma população, para poder intervir na promoção da saúde da mesma. Com este estudo epidemiológico transversal representativo da população portuguesa adulta (dados da SPCNA), pretendeu-se conhecer o padrão nutricional de ingestão quer energética quer em macronutrientes. Por entrevista individualizada (domicílio), registaram-se dados sociodemográficos e avaliou-se a ingestão alimentar, por questionário, das 24 h anteriores. Assim, os portugueses ingerem em média: 2.056 kcal/dia, 19,1% de proteínas, 31,3% de gordura, 45,8% de hidratos de carbono e 3,8% de etanol. Estes dados serão válidos para intervenções adequadas na saúde pública portuguesa.;ABSTRACT - Gathering knowledge about food and nutritional habits of a population is of the utmost importance since dietary intervention positively impacts health outcomes across the life span. With this transversal epidemiologic study representative of the adult Portuguese population (data from SPCNA), we tried to know the nutritional intake pattern (energy and macronutrients) of the Portuguese population. In an domiciliary individualized interview sociodemographic data were registered and food intake was evaluated by the 24-hour recall method. Portuguese energy intake, is on average, 2056 kcal/day, distributed by 19.1% of protein, 45.8% of carbohydrates and 31.3% of total fat, and 3.8% of ethanol. These data will be important to Portuguese public health interventions.

Abstract
In order to achieve underwater acoustic high data-rate and real time communications, it is essential to implement a system that operates both at high and wideband frequencies using digital modulations. Therefore, to reduce the time and cost of developing acoustic communications an emulator of a physical layer model was implemented, allowing to test in real time the performance of digital modulations. The model was composed of an emitter transducer, a hydrophone and the subaquatic medium and was integrated in a Field Programmable Gate Array (FPGA) in order to emulate the physical layer in the acoustic modem testing. The emitter transducer and the hydrophone models were designed to meet real prototype characteristics. The system prototype was implemented in order to compare the experimental trials results with those obtained in emulator, emulating the transmission of acoustic signals, using different types of digital modulations. The system was tested using Binary Phase-Shift Keying (BPSK), Binary Frequency Shift keying (BFSK) and Binary Amplitude Shift Keying (BASK) modulations with a 1 MHz carrier frequency resulting in a data rate of 125 kbps. It was verified that the implemented model represents a suitable approximation to the real subaquatic communication channel, allowing the evaluation of digital acoustic communications.