The verification of temporal KBS: SPARSE - a case study in power systems

In this paper we present VERITAS, a tool that focus time maintenance, that is one of the most important processes in the engineering of the time during the development of KBS. The verification and validation (V&V) process is part of a wider process denominated knowledge maintenance, in which an enterprise systematically gathers, organizes, shares, and analyzes knowledge to accomplish its goals and mission. The V&V process states if the software requirements specifications have been correctly and completely fulfilled. The methodologies proposed in software engineering have showed to be inadequate for Knowledge Based Systems (KBS) validation and verification, since KBS present some particular characteristics. VERITAS is an automatic tool developed for KBS verification which is able to detect a large number of knowledge anomalies. It addresses many relevant aspects considered in real applications, like the usage of rule triggering selection mechanisms and temporal reasoning.

Cancer incidence projections for Lisbon and Santarém districts: an aid to radiotherapy services planning

Will the existing means in Radiotherapy respond to the needs of the potential user population in 2014 for Lisbon and Santarém districts? Number of treatment units? Number of Radiotherapy Technologists? Temporal variations of the dimension and age structure of the populations: Coastal areas/Interior areas, Urban areas/Rural areas. Temporal variations in the incidence of several types of cancer. Overall objectives: evaluate of the necessities of Radiotherapy for Lisbon and Santarém districts in 2014 and elaboration of proposals that aim the access/use for the potential user population.

ß-Lactams: chemical structure, mode of action and mechanisms of resistance

This synopsis summarizes the key chemical and bacteriological characteristics of β-lactams, penicillins, cephalosporins, carbanpenems, monobactams and others. Particular notice is given to first-generation to fifth-generation cephalosporins. This review also summarizes the main resistance mechanism to antibiotics, focusing particular attention to those conferring resistance to broad-spectrum cephalosporins by means of production of emerging cephalosporinases (extended-spectrum β-lactamases and AmpC β-lactamases), target alteration (penicillin-binding proteins from methicillin-resistant Staphylococcus aureus) and membrane transporters that pump β-lactams out of the bacterial cell.

Synthesis, structure and electrochemical behaviour of Na, Mg-II, Mn-II, Cd-II and Ni-II complexes of 3-(2-carboxyphenylhydrazone)pentane-2,4-dione

Mononuclear manganese(II) [Mn(kappa O-HL)(2)(CH3OH)(4)] (4), nickel(II) [Ni(kappa O-2, kappa N-L)(H2O)(3)] (5), cadmium(II) [Cd(kappa O-2-HL)(2)(CH3OH)(3)] (7), tetranuclear zinc(II) [Zn-4(mu-OH)(2)(1 kappa O:2 kappa O-HL)(4)(kappa O-HL)(2)(H2O)(4)] (6) and polynuclear aqua sodium(I) [Na(H2O)(2)(mu-H2O)(2)](n)(HL)(n) (2) and magnesium(II) [Mg(OH)(H2O)(mu-H2O)(2)](n)(-HL)(n) (3) complexes were synthesized using 3-(2-carboxyphenyl-hydrazone)pentane-2,4-dione (H2L, 1) as a ligand precursor. The complexes were characterized by single crystal X-ray diffraction, elemental analysis, IR, H-1 and C-13 NMR (for 2, 3, 6 and 7) spectroscopies. Mono- or dianionic deprotonated derivatives of H2L display different coordination modes and lead to topologies and nuclearities of the complexes depending on metal ions and conditions used for the syntheses. Extensive intermolecular H-bonds form supramolecular arrangements in 1D chains (4 and 6), 1D chains of the organic anion and 2D networks of the metal-aqua aggregates (2 and 3), 2D networks (7) or even 3D frameworks (5). Electrochemical studies, by cyclic voltammetry and controlled potential electrolysis, show ligand centred redox processes as corroborated by theoretical DFT calculations in terms of LUMO and HOMO compositions. (C) 2012 Elsevier Ltd. All rights reserved.

Seismic imaging of the western Iberian crust using ambient noise: Boundaries and internal structure of the Iberian Massif

We present new Rayleigh-wave dispersion maps of the western Iberian Peninsula for periods between 8 and 30 s, obtained from correlations of seismic ambient noise, following the recent increase in seismic broadband network density in Portugal and Spain. Group velocities have been computed for each station pair using the empirical Green's functions generated by cross-correlating one-day-length seismic ambient-noise records. The resulting high-path density allows us to obtain lateral variations of the group velocities as a function of period in cells of 0.5 degrees x 0.5 degrees with an unprecedented resolution. As a result we were able to address some of the unknowns regarding the lithospheric structure beneath SW Iberia. The dispersion maps allow the imaging of the major structural units, namely the Iberian Massif, and the Lusitanian and Algarve Meso-Cenozoic basins. The Cadiz Gulf/Gibraltar Strait area corresponds to a strong low-velocity anomaly, which can be followed to the largest period inverted, although slightly shifted to the east at longer periods. Within the Iberian Massif, second-order perturbations in the group velocities are consistent with the transitions between tectonic units composing the massif. (C) 2013 Elsevier B.V. All rights reserved.

Temporal patterns of TV watching for Portuguese viewers

Audiometer systems provide enormous amounts of detailed TV watching data. Several relevant and interdependent factors may influence TV viewers' behavior. In this work we focus on the time factor and derive Temporal Patterns of TV watching, based on panel data. Clustering base attributes are originated from 1440 binary minute-related attributes, capturing the TV watching status (watch/not watch). Since there are around 2500 panel viewers a data reduction procedure is first performed. K-Means algorithm is used to obtain daily clusters of viewers. Weekly patterns are then derived which rely on daily patterns. The obtained solutions are tested for consistency and stability. Temporal TV watching patterns provide new insights concerning Portuguese TV viewers' behavior.

Temporal and spatial variability of fin whale's (Balaenoptera physalus) distribution in the Pelagos Sanctuary: Northwestern Mediterranean Sea

Dissertação de Mestrado, Estudos Integrados dos Oceanos, 20 de Março de 2014, Universidade dos Açores.

Population structure in high shore littorinids: contrast between riprap and rocky shores

World Congress of Malacology, Ponta Delgada, July 22-28, 2013.

Temporal variation in reproductive phenology of Patella spp.: past and present.

World Congress of Malacology, Universidade dos Açores, Ponta Delgada, 21-28 de julho.

Geographical, temporal and environmental determinants of bryophyte species richness in the Macaronesian Islands

Copyright: © 2014 Aranda et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.

Role of the wider Azores region as a nursery ground for North Atlantic blue shark (Prionace glauca)

Tese de Doutoramento, Ciências do Mar (Ecologia Marinha)

Invasion success and development of benthic assemblages: effect of timing, duration of submersion and substrate type

Copyright © 2013 Elsevier Ltd. All rights reserved.

Genetic population structure and connectivity of Azorean limpets

Ocean Science Meeting. Hawaii Convention Center, Honolulu, Hawaii, USA, 23-28 de Fevereiro.

A estrutura da narrativa na escrita dos alunos surdos

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação - Especialização em Educação Especial

O efeito da técnica de inibição de Jones nos músculos Masseter e temporal nas disfunções temporomandibulares

Introdução: A disfunção temporomandibular (DTM), de causa muscular, caracteriza-se por uma dor músculo-esquelética crónica, com sinais e sintomas específicos como a presença de Trigger Points (TrPs). Objetivo: Avaliar o efeito da Técnica de Inibição de Jones (TIJ) nos músculos masseter e temporal em indivíduos com DTM, e a identificação dos sinais e sintomas, a relação entre a severidade da DTM, a ansiedade e a qualidade de sono. Métodos: Estudo quasi-experimental, constituído por 16 indivíduos no grupo experimental (GE) e 17 grupo controle (GC). O grau de severidade foi avaliado pelo Índice de Helkimo e as alterações do sono pelo questionário de Pittsburgh sobre a qualidade do sono. Apenas o GE foi sujeito a uma TIJ nos TrPs latentes dos músculos masseter e temporal. Os dois grupos foram avaliados pré-intervenção (M0), pós-intervenção (M1) e 3 semanas após (M2), as amplitudes de movimento ativas de abertura, lateralidade direita/esquerda e protusão da boca bem como a dor (EVA) em repouso e na abertura máxima. Resultados: Foi possível observar que quanto maior o grau de DTM, maior a frequência de ansiedade e pior a qualidade do sono. Observou-se um decréscimo de TrPs, no GE, após a aplicação da técnica, principalmente no masseter. Não foi possível verificar diferenças inter-grupos. Contudo, observou-se no GE uma melhoria em todas as amplitudes avaliadas entre o M0 e o M2. Em relação à EVA em repouso e na abertura máxima, o GE demonstrou diminuição da dor no M1 e manteve valores inferiores no M2. Conclusão: Verifica-se uma diminuição dos TrPs, uma melhoria das amplitudes ativas bem como uma diminuição da dor após a aplicação da TIJ no GE. Já ao longo do tempo, o efeito é menos expressivo contudo observam-se valores inferiores comparativamente a M0.