Export 9193 results:
Sort by: Author Title Type [ Year  (Desc)]
2012
Safari, L., P. Amaro, S. Fritzsche, J. P. Santos, and F. Fratini. "Relativistic total cross section and angular distribution for Rayleigh scattering by atomic hydrogen." Physical Review A. 85 (2012): 043406. AbstractWebsite

We study the total cross section and angular distribution in Rayleigh scattering by hydrogen atom in the ground state, within the framework of Dirac relativistic equation and second-order perturbation theory. The relativistic states used for the calculations are obtained by making use of the finite basis-set method and expressed in terms of B splines and B polynomials. We pay particular attention to the effects that arise from higher (nondipole) terms in the expansion of the electron-photon interaction. It is shown that the angular distribution of scattered photons, while symmetric with respect to the scattering angle θ=90∘ within the electric dipole approximation, becomes asymmetric when higher multipoles are taken into account. The analytical expression of the angular distribution is parametrized in terms of Legendre polynomials. Detailed calculations are performed for photons in the energy range 0.5 to 10 keV. When possible, results are compared with previous calculations.

Vale, Tiago M., Ricardo J. Dias, and João M. Lourenço. "Uma Infraestrutura para Suporte de Memória Transacional Distribuída." INForum 2012: Proceedings of INForum Simpósio de Informática. Monte de Capraica, PT: Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, 2012. Abstractinforum-dstm.pdf

As técnicas e algoritmos desenvolvidos sobre diferentes infraestruturas específicas dificilmente podem ser comparados entre si. Este princípio também se aplica às infraestruturas para execução de Memória Transacional Distribuída (MTD), pois não só são muito escassas aquelas que permitem o desenvolvimento, teste e comparação de vários algoritmos e técnicas de implementação, como fornecem uma interface intrusiva para o programador. Sem uma comparação justa, não é possível aferir quais as técnicas e algoritmos mais apropriados em cada contexto de utilização (workload). Neste artigo propomos uma infraestrutura generalista, muito flexível, que possibilita a experimentação de várias estratégias de MTD, permitindo o desenvolvimento de uma grande variedade de algoritmos e de técnicas de implementação eficientes e otimizadas. Através da sua utilização, é agora possível a comparação de técnicas e algoritmos em diferentes contextos de utilização (workloads), recorrendo a uma única infraestrutura e com implicações mínimas no código da aplicação.

Sousa, Diogo G., João M. and Lourenço, Eitan Farchi, and Itai Segall. "Aplicação do Fecho de Programas na Deteção de Anomalias de Concorrência." INForum 2012: Proceedings of INForum Simpósio de Informática. Monte de Caparica, PT: Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, 2012. Abstractinforum-closure.pdf

Uma das estratégias para tirar partido dos múltiplos processadores disponíveis nos computadores atuais passa por adaptar código legado, inicialmente concebido para ser executado num contexto meramente sequencial, para ser agora executado num contexto multithreading. Nesse processo de adaptação é necessário proteger apropriadamente os dados que são agora partilhados e acedidos por diferentes threads concorrentes. A proteção dos dados com locks usando uma granulosidade grossa inibe a concorrência e opõe-se ao objetivo inicial de explorar o paralelismo suportado por múltiplos processadores. Por outro lado, a utilização de uma granulosidade fina pode levar à ocorrência de anomalias próprias da concorrência, como deadlocks e violações de atomicidade (high-level data races). Este artigo discute o conceito de fecho de um programa e uma metodologia que, quando aplicados em conjunto, permitem adaptar código legado para o tornar thread-safe, garantindo a ausência de violações de atomicidade na versão corrente do software e antecipando algumas violações de atomicidade que poderão ocorrer em versões futuras do mesmo software.

BAIÃO, Manuel F. C., Válter J. G. Lúcio, Fernando F. S. Pinho, and Leça A. Coelho. "Aspetos da reabilitação de edifícios antigos de alvenaria." CIRea2012 – Conferência Internacional sobre Reabilitação de Estruturas Antigas de Alvenaria. Págs. 47-62. ISBN 978-989-20-3080-7. Reitoria UNL, Lisboa 2012.
Pinho, Fernando F. S., Válter Lúcio, Luís Moura, Nuno Travassos, and Inês Almeida. "Avaliação das condições de durabilidade de ancoragens metálicas em paredes de alvenaria." CIRea2012 – Conferência Internacional sobre Reabilitação de Estruturas Antigas de Alvenaria. Págs. 81-92. ISBN 978-989-20-3080-7. Reitoria UNL, Lisboa 2012.
Wanderley, Fernando, Denis Silva da Silveira, João Araújo, and Maria Lencastre:. "Generating feature model from creative requirements using model driven design." First International Workshop on Requirements Engineering Practices on Software Product Line Engineering (REPOS 2012). Salvador, Brazil 2012.
Monteiro, Rui, J. Araújo, V. Amaral, M. Goulão, and Pedro Patrício. "Model-Driven Development for Requirements Engineering: The Case of Goal-Oriented Approaches." 8th International Conference on the Quality of Information and Communications Technology (QUATIC 2012). Lisbon, Portugal: IEEE CPS, 2012.
Goulão, Miguel, Nelson Fonte, Michel Wermelinger, and Fernando Brito Abreu. "Software Evolution Prediction Using Seasonal Time Analysis: a Comparative Study." 16th European Conference on Software Maintenance and Reengineering (CSMR 2012). Szeged, Hungary: IEEE Computer Society, 2012. Abstractgoulao2012csmr.pdf

Prediction models of software change requests are useful for supporting rational and timely resource
allocation to the evolution process. In this paper we use a time series forecasting model to predict software
maintenance and evolution requests in an open source software project (Eclipse), as an example of projects with seasonal release cycles. We build an ARIMA model based on data collected from Eclipse’s change request tracking system since the project’s start. A change request may refer to defects found in the software, but also to suggested improvements in the system under scrutiny. Our model includes the identification of seasonal patterns and tendencies, and is validated through the forecast of the change requests evolution for the next 12 months. The usage of seasonal information significantly improves the estimation ability of this model, when compared to other ARIMA models found in the literature, and does so for a much longer estimation period. Being able to accurately forecast the change requests’ evolution over a fairly long time period is an important ability for enabling adequate process control in maintenance activities, and facilitates
effort estimation and timely resources allocation. The approach presented in this paper is suitable for projects with a relatively long history, as the model building process relies on historic data.

Barišić, Ankica, Vasco Amaral, and Miguel Goulão. "Usability Evaluation of Domain-Specific Languages." Simpósio de Estudantes de Doutoramento em Engenharia de Software (SEDES 2012), hosted by QUATIC 2012. Lisbon, Portugal: IEEE CPS, 2012. Abstractbarisic2012sedes.pdf

Domain-Specific Languages (DSLs) are claimed to bring important productivity improvements to developers,
when compared to General-Purpose Languages (GPLs). The increased Usability is regarded as one of the key benefits of DSLs when compared to GPLs, and has an important impact on the achieved productivity of the DSL users. So, it is essential to build in good usability while developing the DSL. The purpose of this proposal is to contribute to the systematic activity of Software Language Engineering by focusing on the
issue of the Usability evaluation of DSLs. Usability evaluation is often skipped, relaxed, or at least omitted from papers reporting development of DSLs. We argue that a systematic approach based on User Interface experimental validation techniques should be used to assess the impact of new DSLs. For that purpose, we propose to merge common Usability evaluation processes with the DSL development process. In order to provide reliable metrics and tools we should reuse and identify good practices that exist in Human-Computer
Interaction community.

Barra, Ana T. P., Fernando F. S. Pinho, and Válter J. G. Lúcio. "Caracterização física e mecânica de argamassas não estruturais, com agregados finos reciclados." 4º Congresso Português de Argamassas e ETICS. Coimbra 2012.
Amado, M. P. "Arquitetura Sustentável e a Valia da Certificação da Construção." , 2ª Conferência de Reabilitação Sustentável de Edifícios no Espaço Lusófono. Caparica: FCT UNL - MAMAOT CV, 2012.
Ganhão, A. M., and M. P. Amado. "Eficiência Energética em Edifícios." 2ª Conferência de Reabilitação Sustentável de Edifícios no Espaço Lusófono. Caparica: FCT UNL - MAMAOT CV, 2012.
Lopes, T. C., and M. P. Amado. "Prefabricação Aplicada ao Contexto da Reabilitação de Edifícios." 2ª Conferência de Reabilitação Sustentável de Edifícios no Espaço Lusófono. Caparica: FCT UNL - MAMAOT CV, 2012.
Poggi, F., and M. P. Amado. "Sustentabilidade em Edifícios de Habitação: Um novo Sistema de Certificação." 2ª Conferência de Reabilitação Sustentável de Edifícios no Espaço Lusófono. Caparica: FCT UNL - MAMAOT CV, 2012.
Barra, Ana T. P., Fernando F. S. Pinho, and Válter J. G. Lúcio. "Utilização de agregados reciclados em argamassas não estruturais." CRSEEL 2012 - 2ª Conferência Construção e Reabilitação Sustentável de Edifícios no Espaço Lusófono. FCT UNL, Monte de Caparica 2012.
Cismasiu, C., and Amarante F. P. dos Santos. "Towards a semi-active vibration control solution based on superelastic shape memory alloys." 15th WCEE. Lisbon, Portugal 2012. 2012_wcee_0379.pdf
Lucas, Vanessa, and Miguel P. Amado Vantages of Certification of Sustainable Construction. BSA 2012 – 1st International Conference on Building Sustainability Assessment. Porto, PT: Green Lines Institute, 2012.
Diogo, T., and M. Rebelo Numerical Methods for Nonlinear Singular Volterra Integral Equations. AIP Conference Proceedings- ICNAAM 2012, Vol. 1479,. Kos, Greece, 2012.
Pereira, Pedro, Helena Fino, and M. Ventim-Neves. "LC-VCO design methodology based on evolutionary algorithms." Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD), 2012 International Conference on. Seville - Spain 2012. 189-192. Abstract

In his paper the design of LC-VCOs is addressed. Due to the high-density integration needs as well as to low cost fabrication, RF applications are usually implemented in CMOS technology. However, this technology development brought up several issues such as the degradation of on-chip LC tank quality factor, yielding VCO's phase noise limitation. To overcome phase-noise limitations, optimization design methodologies are usually used. Since electromagnetic simulations are timely expensive, model based approaches are needed. In this work the characterization of the oscillator behaviour is guaranteed by a set of analytical models describing each circuit element performance. A set of working examples for UMC130 technology, aiming the VCO phase noise and power consumption optimization, is addressed. The results presented, spotlight the potential of the proposed design methodology, combined with a GA optimization procedure, for an accurate and timely efficient oscillator design. The accuracy of the results is checked against HSPICE/RF simulator.

Myers, Timothy S., Neil J. Tabor, Louis L. Jacobs, and Octávio Mateus. "Palaeoclimate of the Late Jurassic of Portugal: Comparison with the Western United States." Sedimentology. 59.6 (2012): 1695-1717. Abstractmyers_et_al_2012_palaeoclimate_of_the_late_jurassic_of_portugal_comparison_with_the_western.pdfWebsite

Investigation of the palaeoclimatic conditions associated with Upper Jurassic strata in Portugal and comparison with published palaeoclimate reconstructions of the Upper Jurassic Morrison Formation in western North America provide important insights into the conditions that allowed two of the richest terrestrial faunas of this period to flourish. Geochemical analyses and observations of palaeosol morphology in the informally named Upper Jurassic Lourinhã formation of western Portugal indicate warm and wet palaeoclimatic conditions with strongly seasonal precipitation patterns. Palaeosol profiles are dominated by carbonate accumulations and abundant shrink-swell (vertic) features that are both indicative of seasonal variation in moisture availability. The δ18OSMOW and δDSMOW values of phyllosilicates sampled from palaeosol profiles range from +22·4‰ to +22·7‰ and −53·0‰ to −37·3‰, respectively. These isotope values correspond to temperatures of formation between 32°C and 39°C ± 3°, with an average of 36°C, which suggest surface temperatures between 27°C and 34°C (average 31°C). On average, these surface temperature estimates are 1°C higher than the highest summer temperatures modelled for Late Jurassic Iberia using general circulation models. Elemental analysis of matrix material from palaeosol B-horizons provides proxy (chemical index of alteration minus potassium) estimates of mean annual precipitation ranging from 766 to 1394 mm/year, with an average of approximately 1100 mm/year. Palaeoclimatic conditions during deposition of the Lourinhã formation are broadly similar to those inferred for the Morrison Formation, except somewhat wetter. Seasonal variation in moisture availability does not seem to have negatively impacted the ability of these environments to support rich and relatively abundant faunas. The similar climate between these two Late Jurassic terrestrial ecosystems is probably one of the factors which explains the similarity of their vertebrate faunas.

Barroso, T., A. C. A. Roque, and A. Aguiar-Ricardo. "Bioinspired and sustainable chitosan-based monoliths for antibody capture and release." RSC Advances. 2.30 (2012): 11285-11294. AbstractWebsite
n/a
Bonifácio, V. D. B., VG Correia, M. G. Pinho, J. C. Lima, and A. Aguiar-Ricardo. "Blue emission of carbamic acid oligooxazoline biotags." Materials Letters. 81 (2012): 205-208. AbstractWebsite
n/a
Temtem, M., T. Barroso, T. Casimiro, J. F. Mano, and A. Aguiar-Ricardo. "Dual stimuli responsive poly(N-isopropylacrylamide) coated chitosan scaffolds for controlled release prepared from a non residue technology." Journal of Supercritical Fluids. 66 (2012): 398-404. AbstractWebsite
n/a
Rosa, V., S. Realista, A. Mourato, L. M. Abrantes, J. Henriques, M. J. Calhorda, T. Avilés, M. G. B. Drew, and V. Félix. "1,1′-Bis(diphenylphosphino)ferrocene bridging two mono(cyclopentadienyl) cobalt moieties: Synthesis, structure, electrochemistry and DFT studies." Journal of Organometallic Chemistry. 712 (2012): 52-56. AbstractWebsite
n/a
Casimiro, MH, A. G. Silva, JV Pinto, A. M. Ramos, J. Vital, and LM Ferreira. "Catalytic poly(vinyl alcohol) functionalized membranes obtained by gamma irradiation." Radiation Physics and Chemistry. 81.9 (2012): 1314-1318. Abstract
n/a