We study the most important processes for the creation of excited states in He-like through C- like praseodymium ions from the ions ground configurations, leading to the emission of K X-ray lines. Theoretical values for inner-shell excitation and ionization cross sections, transition probabilities and energies for the deexcitation processes, are calculated in the framework of the multi-configuration Dirac- Fock method, including QED corrections. Using these calculated values, a theoretical Kα X-ray spectrum is obtained, which is compared to recent experimental data obtained in the Livermore Super-EBIT electron beam ion trap facility.

We study the most important processes for the creation of excited states in He-like through C- like praseodymium ions from the ions ground configurations, leading to the emission of K X-ray lines. Theoretical values for inner-shell excitation and ionization cross sections, transition probabilities and energies for the deexcitation processes, are calculated in the framework of the multi-configuration Dirac- Fock method, including QED corrections. Using these calculated values, a theoretical Kα X-ray spectrum is obtained, which is compared to recent experimental data obtained in the Livermore Super-EBIT electron beam ion trap facility.

Theoretical expressions for ionization cross sections by electron impact based on the binary encounter Bethe (BEB) model, valid from ionization threshold up to relativistic energies, are proposed.
The new modified BEB (MBEB) and its relativistic counterpart (MRBEB) expressions are simpler than the BEB (nonrelativistic and relativistic) expressions because they require only one atomic parameter, namely the binding energy of the electrons to be ionized, and use only one scaling term for the ionization of all sub-shells.
The new models are used to calculate the K-, L- and M-shell ionization cross sections by electron impact for several atoms with Z from 6 to 83. Comparisons with all, to the best of our knowledge, available experimental data show that this model is as good or better than other models, with less complexity.

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.

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.

A indústria do betão pré fabricado é, por tradição, inovadora, precursora de novas tecnologias e de novos materiais.O processo produtivo de estruturas com elementos pré-fabricados difere significativamente do das estruturas betonadas em obra pelo facto de uma parte, ou a totalidade, dos elementos da estrutura serem produzidos em fábrica, em condições de produção melhoradas em relação às condições da obra, e serem posteriormente transportados para a obra, onde são, finalmente ligados entre si. A produção em fábrica é efectuada em ambiente protegido do Sol e da chuva, com operários fixos e com formação profissional para desenvolverem tarefas com procedimentos normalizados. Consequentemente, os elementos executados em fábrica possuem melhor qualidade, sob vários aspectos, do que as estruturas executadas em obra.Este livro divide-se em duas grandes áreas, numa primeira abordam-se algumas aplicações de estruturas pré-moldadas no mundo e numa segunda parte descreve-se o seu comportamento estrutural face a diferentes acções. Nos primeiros capítulos relata-se a experiência da pré-fabricação em três países de diferentes continentes: o Brasil, Portugal e a Austrália e revelam-se novas oportunidades que poderão surgir para a indústria da pré-fabricação. Nos capítulos seguintes dá-se um especial enfoque à investigação do comportamento das ligações (rígidas e semi-rígidas). Aborda-se o projecto de estruturas de betão pré-fabricado às acções acidentais. E por fim, dedicam-se os últimos capítulos ao comportamento das estruturas pré-fabricadas face às acções sísmicas. Nesta área, o bom desempenho das estruturas e grande parte do conhecimento e da tecnologia actual advém da resposta dada pelos engenheiros, investigadores e construtores aos fenómenos naturais que afectam as nossas construções, como comprova o desempenho das ligações dúcteis resistentes a momentos em edifícios pré fabricados de betão no verdadeiro teste sísmico que foram os sismos de Christchurch de 2010 e 2011.

This paper presents an automatic verification technique for transactional memory Java programs executing under snapshot isolation level. We certify which transactions in a program are safe to execute under snapshot isolation without triggering the write-skew anomaly, opening the way to run-time optimizations that may lead to considerable performance enhancements. Our work builds on a novel deep-heap analysis technique based on separation logic to statically approximate the read- and write-sets of a transactional memory Java program. We implement our technique and apply our tool to a set of micro benchmarks and also to one benchmark of the STAMP package. We corroborate known results, certifying some of the examples for safe execution under snapshot isolation by proving the absence of write-skew anomalies. In other cases our analysis has identified transactions that potentially trigger previously unknown write-skew anomalies.>

This paper proposes a new optimization methodology for supply chain design, using ant colony optimization. The objective of this methodology is to choose the facilities that will take part in a multi-product closed-loop supply chain, such as factories, warehouses and disassembly centers, in order to minimize the costs related to these facilities and those related to transportation costs, both in the forward and reverse chains. Considering that total production quantities for factories, expected cross-docking stocks for warehouses, and disassembly centers are determined by this methodology, it can be considered that it undertakes both strategic and tactical Supply Chain Management (SCM) problems at once. The developed algorithm, SCant-Design, is sufficiently general to solve any SCM configuration, with linear and nonlinear cost functions and constraints. The algorithm results were compared to a MILP approach for a particular case study and the obtained value for the cost function is very similar, although using less facilities.

Since its invention, paper has become one of the main carriers of our cultural, scientific, political, economic and historical information. Given the importance of this material, its preservation is a matter of great interest. Paper can be deteriorated due to physical, chemical and biological agents. Within microorganisms, fungi are the major paper biodeteriogens. Throughout history, several methods have been used to prevent and stop fungal deterioration on paper based materials. In this work we present a review of the main chemical and physical methods used to avoid fungal paper biodeterioration until nowadays and also of some new approaches tested recently. The advantages and disadvantages of these methods are discussed as well as their health effects. Studies regarding antifungal compositions, methods of application, performance and effects on the treated materials are also presented with the aim of providing a clear set of conclusions on the topic. (C) 2012 Elsevier Ltd. All rights reserved.

In this paper we consider the problem of finding the smallest number such that any graph G of order n admits a decomposition into edge disjoint copies of C_4 and single edges with at most elements. We solve this problem for n sufficiently large.