Martins, Rui M. S., F. Beckmann, R. Castanhinha, R. Araújo, O. Mateus, and P. K. Pranzas Tomographic techniques for the study of exceptionally preserved dinosaur and crocodile fossils from the mesozoic of Portugal. VII Encontro Nacional de Biologia Evolutiva, Coimbra, 21 Dezembro 2011., 2011.
AbstractPortugal is ranked within the ten countries with more dinosaur taxa and the Lourinhã Formation is known
by the Late Jurassic findings of dinosaurs and other fossils. Often, studies of the external morphological
characteristics of the fossils are not sufficient and, observations of internal structures, using non-
destructive techniques, are required. The fossils here presented belong to the Museum da Lourinhã
(Portugal) and comprise a lower jaw of a basal crocodilian (possibly a Tomistomidae), eggshells and
several vertebrae from the exceptionally well preserved in ovo remains of Late Jurassic theropod dinosaur
Lourinhanosaurus. Neutron Tomography (NT) experiments with this material has been carried out at the
Geesthacht Neutron Facility in Germany. Additionally, eggshell fragments and several vertebrae have
been studied by Synchrotron-Radiation based Micro-Computed Tomography (SRμCT) at the HARWI II and
BW2 beamlines, respectively. These beamlines are operated by the Helmholtz-Zentrum Geesthacht at the
storage ring DORIS III at the Deutsches Elektronen–Synchrotron DESY in Hamburg, Germany. In both cases
(NT and SRμCT) complete 3D recordings have been obtained using a non-destructive procedure. The high-
quality tomographic datasets can be effectively studied through interactive digital visualization. Hence,
these visualization methods provide precious information about the 3D internal micro morphology of
fossils, like the network of the eggshell pores, often invisible in more traditional techniques, and provide a
direct window into the evolutionary history of organisms.
Cunha, Jácome, Joost Visser, Tiago Alves, and João Saraiva. "
Type-Safe Evolution of Spreadsheets."
Proceedings of the 14th International Conference Fundamental Approaches to Software Engineering (FASE '11): Part of the Joint European Conferences on Theory and Practice of Software (ETAPS '11). Eds. Dimitra Giannakopoulou, and Fernando Orejas. Vol. 6603. Lecture Notes in Computer Science, 6603. Springer, 2011. 186-201.
AbstractSpreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of spreadsheets at a conceptual level have been proposed. Thus, spreadsheet evolution can be made safe within the confines of a model. As in any other model/instance setting, evolution may not only require changes at the instance level but also at the model level. When model changes are required, the safety of instance evolution can not be guarded by the model alone. We have designed an appropriate representation of spreadsheet models, including the fundamental notions of formulæand references. For these models and their instances, we have designed coupled transformation rules that cover specific spreadsheet evolution steps, such as the insertion of columns in all occurrences of a repeated block of cells. Each model-level transformation rule is coupled with instance level migration rules from the source to the target model and vice versa. These coupled rules can be composed to create compound transformations at the model level inducing compound transformations at the instance level. This approach guarantees safe evolution of spreadsheets even when models change.
Lourenço, João M. "
Understanding Transactional Memory (Extended Abstract)."
Hardware and Software: Verification and Testing. Eds. Sharon Barner, Ian Harris, Daniel Kroening, and Orna Raz. Vol. 6504. Lecture Notes in Computer Science, 6504. Springer Berlin / Heidelberg, 2011. 1-2.
AbstractTransactional Memory [3] (TM) is a new paradigm for concurrency control that brings the concept of transactions, widely known from the Databases community, into the management of data located in main memory. TM delivers a powerful semantics for constraining concurrency and provides the means for the extensive use of the available parallel hardware. TM uses abstractions that promise to ease the development of scalable parallel applications by achieving performances close to fine-grained locking while maintaining the simplicity of coarse-grained locking.
S. Zschaler, P. Sanchez, J. Santos, Mauricio Alferez, A. Moreira, J. Araújo, U. Kulesza, and L. Fuentes. "
Variability Management." Cambridge University press, 2011.
Abstract
Afonso, Marcos, Pedro Pereira, and João Martins. "
Weather Monitoring System for Renewable Energy Power Production Correlation."
Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011. Ed. Luis Camarinha-Matos. Vol. 349. IFIP Advances in Information and Communication Technology, 349. Costa de Caparica - Portugal: Springer Boston, 2011. 481-490.
AbstractThis work describes the development of a system designed for renewable power generation integration. It continuously acquires wind, solar and temperature data, which is automatically correlated with energy parameters, obtained from renewable energy systems. The developed system was installed in an urban building equipped with photovoltaic cells and wind renewable generation. To validate the developed application, it was analyzed data of a wind generator and a set of photovoltaic panels, installed near to the weather station. The developed application allows, in addition to the acquisition of weather and energy data, their continuous monitoring and correlation through a graphical user interface, providing a friendly interactivity with the user.
Folgosa, Filipe, Cristina M. Cordas, Joana A. Santos, Alice S. Pereira, Jose J. G. Moura, Pedro António Brito Tavares, and Isabel Moura. "
{New spectroscopic and electrochemical insights on a class I superoxide reductase: Evidence for an intramolecular electron transfer pathway.}."
Biochemical Journal (2011).
AbstractSuperoxide reductases are enzymes involved in bacterial resistance to reactive oxygen species, catalyzing the reduction of superoxide anions to hydrogen peroxide. So far three structural classes have been identified. Class I enzymes have two iron-center containing domains. Most studies have been focused on the catalytic iron site (center II), but the role of center I is yet poorly understood. The possible roles of this iron site were approached by an integrated study using both classical and fast kinetics measurements as well as direct electrochemistry. A new heterometallic form of the protein with a zinc-substituted center I, maintaining the iron active site center II was obtained, resulting in a stable derivative useful for comparison with the native all-iron from. Second order rate constants for the electron transfer between reduced rubredoxin and the different SOR forms were determined to be 2.8x107 (M-1s-1) and 1.3x106 (M-1s-1) for SORFe(IIII)-Fe(II) and for SORFe(IIII)-Fe(III) forms respectively, and 3.2x106 (M-1s-1) for the SORZn(II)-Fe(III) form. The results obtained seem to indicate that center I transfers electrons from the putative physiologic donor, rubredoxin, to the catalytic active iron site (intramolecular process). In addition, electrochemical results show that conformational changes are associated to the redox state of center I, which may enable a faster catalytic response towards superoxide anion. The apparent rate constants calculated for the SOR-mediated electron transfer also support this observation.
Borges, J. P., M. H. Godinho, J. L. Figueirinhas, M. N. de Pinho, and M. N. Belgacem. "
All-cellulosic based composites."
Cellulose Fibers: Bio-and Nano-Polymer Composites. Springer Berlin Heidelberg, 2011. 399-421.
Abstractn/a