A framework for self-healing radiation-tolerant implementations on reconfigurable FPGAs

To increase the amount of logic available in SRAM-based FPGAs manufacturers are using nanometric technologies to boost logic density and reduce prices. However, nanometric scales are highly vulnerable to radiation-induced faults that affect values stored in memory cells. Since the functional definition of FPGAs relies on memory cells, they become highly prone to this type of faults. Fault tolerant implementations, based on triple modular redundancy (TMR) infrastructures, help to keep the correct operation of the circuit. However, TMR is not sufficient to guarantee the safe operation of a circuit. Other issues like the effects of multi-bit upsets (MBU) or fault accumulation, have also to be addressed. Furthermore, in case of a fault occurrence the correct operation of the affected module must be restored and the current state of the circuit coherently re-established. A solution that enables the autonomous correct restoration of the functional definition of the affected module, avoiding fault accumulation, re-establishing the correct circuit state in realtime, while keeping the normal operation of the circuit, is presented in this paper.

A framework for fault tolerant real time systems based on reconfigurable FPGAs

To increase the amount of logic available to the users in SRAM-based FPGAs, manufacturers are using nanometric technologies to boost logic density and reduce costs, making its use more attractive. However, these technological improvements also make FPGAs particularly vulnerable to configuration memory bit-flips caused by power fluctuations, strong electromagnetic fields and radiation. This issue is particularly sensitive because of the increasing amount of configuration memory cells needed to define their functionality. A short survey of the most recent publications is presented to support the options assumed during the definition of a framework for implementing circuits immune to bit-flips induction mechanisms in memory cells, based on a customized redundant infrastructure and on a detection-and-fix controller.

Integrating protein structural information

Dissertação apresentada para obtenção de Grau de Doutor em Bioquímica,Bioquímica Estrutural, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

A contribution to the e-framework: a specification of a programming exercise evaluation service

This work is a contribution to the e-Framework, arguably the most prominent e-learning framework today, and consists of the definition of a service for the automatic evaluation of programming exercises. This evaluation domain differs from trivial evaluations modelled by languages such as the IMS Question & Test Interoperability (QTI) specification. Complex evaluation domains justify the development of specialized evaluators that participate in several business processes. These business processes can combine other type of systems such as Programming Contest Management Systems, Learning Management Systems, Integrated Development Environments and Learning Object Repositories where programming exercises are stored as Learning Objects. This contribution describes the implementation approaches used, more precisely, behaviours & requests, use & interactions, applicable standards, interface definition and usage scenarios.

Conceiving modern engineers within the framework of the sustainability action plan (PASUS) of ISEP: sustainability matters!

Engineering education practices have evolved not only due to the natural changes in the contents of the curricula and skills but also, and more recently, due to the requirements imposed by the Bologna revision process. In addition, industry is becoming more demanding, as society is becoming more and more aware of the global needs and consequences of industrial practices. Under this scope, higher education needs not only to follow but also to lead these trends. Therefore, the School of Engineering of the Polytechnic Institute of Porto (ISEP), a Global Reporting Initiative (GRI) training partner in Portugal, prepared and presented its Sustainability Action Plan (PASUS), with the main objective of creating a new kind of engineers, with Sustainable Development at the core of their graduation and MsC degrees. In this paper, the main strategies and activities of the referred plan along with the strategic approach, which guided its development and implementation, will be presented in detail. Additionally, a reflection about the above mentioned bridge between concept and application will be established and justified, in the framework of the action plan. Although in most of the situations, there was no prior discussion or specific request, many of the graduation and post-graduation programmes offered by ISEP already include courses that attend to PASUS philosophy. As a consequence, the number of Master thesis, Graduation projects and R&D projects that address sustainability problems has grown substantially, a proof that for ISEP community, sustainability really matters!

Specifying a programming exercises evaluation service on the e-Framework

The e-Framework is arguably the most prominent e-learning framework currently in use. For this reason it was selected as basis for modelling a programming exercises evaluation service. The purpose of this type of evaluator is to mark and grade exercises in computer programming courses and in programming contests. By exposing its functions as services a programming exercise evaluator is able to participate in business processes integrating different system types, such as Programming Contest Management Systems, Learning Management Systems, Integrated Development Environments and Learning Object Repositories. This paper formalizes the approaches to be used in the implementation of a programming exercise evaluator as a service on the e-Framework.

Using the learning tools interoperability framework for LMS integration in service oriented architectures

The LMS plays an indisputable role in the majority of the eLearning environments. This eLearning system type is often used for presenting, solving and grading simple exercises. However, exercises from complex domains, such as computer programming, require heterogeneous systems such as evaluation engines, learning objects repositories and exercise resolution environments. The coordination of networks of such disparate systems is rather complex. This work presents a standard approach for the coordination of a network of eLearning systems supporting the resolution of exercises. The proposed approach use a pivot component embedded in the LMS with two roles: provide an exercise resolution environment and coordinate the communication between the LMS and other systems exposing their functions as web services. The integration of the pivot component with the LMS relies on the Learning Tools Interoperability. The validation of this approach is made through the integration of the component with LMSs from two vendors.

Identification of mating type genes in the bipolar basidiomycetous yeast rhodosporidium toruloides: first insight into the MAT Locus structure of the sporidiobolales

Eukaryotic Cell, Vol.7, Nº6

Social network analysis applied to knowledge creation and transfer in the portuguese agricultural R&D field: an exploratory study

Paper presented at the 9th European Conference on Knowledge Management, Southampton Solent University, Southampton, UK, 4-5 Sep. 2008. URL: http://academic-conferences.org/eckm/eckm2008/eckm08-home.htm

Structure to function studies in UDP-glucose dehydrogenases and nitroreductases

The thesis is divided into two parts corresponding to structural studies on two different proteins. The first part concerns the study of two UDP-glucose dehydrogenases (UGDs) from Sphingomonas elodea ATCC 31461 and Burkholderia cepacia IST 408, both involved in exopolysaccharide production. Their relevance arises because some of these bacterial exopolysaccharides are valuable as established biotechnological products, the former case, whilst others are highly problematic, when used by pathogens in biofilm formation over biological surfaces, as the latter case, namely in the human lungs. The goal of these studies is to increase our knowledge regarding UGDs structural properties, which can potentiate either the design of activity enhancers to respond to the increased demand of useful biofilms, or the design of inhibitors of biofilm production, in order to fight invading pathogens present in several infections. The thesis reports the production and crystallisation of both proteins, the determination of initial phases by single-wavelength anomalous dispersion (SAD) in S. elodea crystals using a seleno-methionine isoform, and phasing of B. cepacia crystals by molecular replacement (MR) using the S. elodea model, as well as the refinement, structural analysis and comparison between the several UGDs structures available during this work.(...)

A stratigraphic framework for the Miocene from the lower Tagus Basin (Lisbon, Setúbal Península, Portugal) Depositional sequences, biostratigraphy and isotopic ages

Rev. Soc. Geol. España, 12(1), ano 1999

Framework para aplicações colaborativas multi-plataforma

Dissertação de Mestrado em Engenharia Informática

Deep crustal structure across a young passive margin from wide-angle and reflection seismic data (The Sardinia Experiment) - I. Gulf of Lion's margin

The conjugate margins system of the Gulf of Lion and West Sardinia (GLWS) represents a unique natural laboratory for addressing fundamental questions about rifting due to its landlocked situation, its youth, its thick sedimentary layers, including prominent palaeo-marker such as the MSC event, and the amount of available data and multidisciplinary studies. The main goals of the SARDINIA experiment, were to (i) investigate the deep structure of the entire system within the two conjugate margins: the Gulf of Lion and West Sardinia, (ii) characterize the nature of the crust, and (iii) define the geometry of the basin and provide important constrains on its genesis. This paper presents the results of P-wave velocity modelling on three coincident near-vertical reflection multi-channel seismic (MCS) and wide-angle seismic profiles acquired in the Gulf of Lion, to a depth of 35 km. A companion paper [part II Afilhado et al., 2015] addresses the results of two other SARDINIA profiles located on the oriental conjugate West Sardinian margin. Forward wide-angle modelling of both data sets confirms that the margin is characterised by three distinct domains following the onshore unthinned, 33 km-thick continental crust domain: Domain I is bounded by two necking zones, where the crust thins respectively from 30 to 20 and from 20 to 7 km over a width of about 170 km; the outermost necking is imprinted by the well-known T-reflector at its crustal base; Domain II is characterised by a 7 km-thick crust with anomalous velocities ranging from 6 to 7.5 km/s; it represents the transition between the thinned continental crust (Domain I) and a very thin (only 4-5 km) "atypical" oceanic crust (Domain III). In Domain II, the hypothesis of the presence of exhumed mantle is falsified by our results: this domain may likely consist of a thin exhumed lower continental crust overlying a heterogeneous, intruded lower layer. Moreover, despite the difference in their magnetic signatures, Domains II and III present the very similar seismic velocities profiles, and we discuss the possibility of a connection between these two different domains.

Deep crustal structure across a young passive margin from wide-angle and reflection seismic data (The Sardinia Experiment) - II. Sardinia's margin

Geophysical data acquired on the conjugate margins system of the Gulf of Lion and West Sardinia (GLWS) is unique in its ability to address fundamental questions about rifting (i.e. crustal thinning, the nature of the continent-ocean transition zone, the style of rifting and subsequent evolution, and the connection between deep and surface processes). While the Gulf of Lion (GoL) was the site of several deep seismic experiments, which occurred before the SARDINIA Experiment (ESP and ECORS Experiments in 1981 and 1988 respectively), the crustal structure of the West Sardinia margin remains unknown. This paper describes the first modeling of wide-angle and near-vertical reflection multi-channel seismic (MCS) profiles crossing the West Sardinia margin, in the Mediterranean Sea. The profiles were acquired, together with the exact conjugate of the profiles crossing the GoL, during the SARDINIA experiment in December 2006 with the French R/V L'Atalante. Forward wide-angle modeling of both data sets (wide-angle and multi-channel seismic) confirms that the margin is characterized by three distinct domains following the onshore unthinned, 26 km-thick continental crust : Domain V, where the crust thins from 26 to 6 km in a width of about 75 km; Domain IV where the basement is characterized by high velocity gradients and lower crustal seismic velocities from 6.8 to 7.25 km/s, which are atypical for either crustal or upper mantle material, and Domain III composed of "atypical" oceanic crust.The structure observed on the West Sardinian margin presents a distribution of seismic velocities that is symmetrical with those observed on the Gulf of Lion's side, except for the dimension of each domain and with respect to the initiation of seafloor spreading. This result does not support the hypothesis of simple shear mechanism operating along a lithospheric detachment during the formation of the Liguro-Provencal basin.

Efficiency of ISO 9001 in Portugal: a qualitative study from a holistic theoreticalperspective

The purpose of this paper is to analyse the efficiency of ISO 9001 from a holistic theoretical approach where the Contingency theory, the Institutional theory and the Resources-Based View are integrated. The study was carried out in companies of different sectors of activity in Portugal, based on a qualitative methodology (interviews). The fact of the interviews having been undertaken under an ISO 9001 structure made it easier for companies to grasp the issues under investigation. An ISO 9001 characterisation was carried out on a theoretical framework approach and findings point out efficiency gains and revealed that the absence of ISO 9001 would work as a competitive disadvantage. The contribution of this research aims to reinforce the state of art as concerns the theoretical scope of analysis of these issues enriched by the case study achievement.