THE CRYSTAL STRUCTURE OF A MICROLITE-GROUP MINERAL WITH A FORMULA NEAR NaCaTa(2)O(6)F FROM THE MORRO REDONDO MINE, CORONEL MURTA, MINAS GERAIS, BRAZIL

We present electron-microprobe and single-crystal X-ray-diffraction data for a microlite-group mineral with a formula near NaCaTa(2)O(6)F from the Morro Redondo mine, Coronel Murta, Minas Gerais, Brazil. On the basis of these data, the formula is A(Na(0.88)Ca(0.88)Pb(0.02)square(0.22))(Sigma 2.00) (B)(Ta(1.70)Nb(0.14)Si(0.12)As(0.04))(Sigma 2.00) (X)[(O(5.75)(OH)(0.25)](Sigma 6.00) (Y)(F(0.73)square(0.27))(Sigma 1.00). According to the new nomenclature for the pyrochlore-supergroup minerals, it is intermediate between fluornatromicrolite and "" fluorcalciomicrolite"". The crystal structure, F (d3) over barm, a = 10.4396(12) angstrom, has been refined to an R(1) value of 0.0258 (wR(2) = 0.0715) for 107 reflections (MoK alpha radiation). There is a scarcity of crystal-chemical data for pyrochlore-supergroup minerals in the literature. A compilation of these data is presented here.

Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.

Three-dimensional, fully adaptive simulations of phase-field fluid models

We present an efficient numerical methodology for the 31) computation of incompressible multi-phase flows described by conservative phase-field models We focus here on the case of density matched fluids with different viscosity (Model H) The numerical method employs adaptive mesh refinements (AMR) in concert with an efficient semi-implicit time discretization strategy and a linear, multi-level multigrid to relax high order stability constraints and to capture the flow`s disparate scales at optimal cost. Only five linear solvers are needed per time-step. Moreover, all the adaptive methodology is constructed from scratch to allow a systematic investigation of the key aspects of AMR in a conservative, phase-field setting. We validate the method and demonstrate its capabilities and efficacy with important examples of drop deformation, Kelvin-Helmholtz instability, and flow-induced drop coalescence (C) 2010 Elsevier Inc. All rights reserved

Intralamellar structural modifications related to the proton exchanging in K(4)Nb(6)O(17) layered phase

Basic structural aspects about the layered hexaniobate of K(4)Nb(6)O(17) composition and its proton-exchanged form were investigated mainly by spectroscopic techniques. Raman spectra of hydrous K(4)Nb(6)O(17) and H(2)K(2)Nb(6)O(17)center dot H(2)O show significant modifications in the 950-800 cm(-1) region (Nb-O stretching mode of highly distorted NbO(6) octahedra). The band at 900 cm(-1) shifts to 940 cm(-1) after the replacement of K(+) ion by proton. Raman spectra of the original materials and the related deuterated samples are similar suggesting that no isotopic effect occurs. Major modifications were observed when H(2)K(2)Nb(6)O(17) was dehydrated: the relative intensity of the band at 940 cm(-1) decreases and new bands seems to be present at about 860-890 cm(-1). The H(+) ions should be shielded by the hydration sphere what preclude the interaction with the layers. Removing the water molecules, H(+) ions can establish a strong interaction with oxygen atoms, decreasing the bond order of Nb-O linkage. X-ray absorption near edge structure studies performed at Nb K-edge indicate that the niobium coordination number and oxidation state remain identical after the replacement of potassium by proton. From the refinement of the fine structure, it appears that the Nb-Nb coordination shell is divided into two main contributions of about 0.33 and 0.39 nm, and interestingly the population, i.e., the number of backscattering atoms is inversed between the two hexaniobate materials. 2009 Elsevier Ltd. All rights reserved.

Utmaningen från andra berättelser : En studie om moraliskt omdöme, utvidgat tänkande och kritiskt reflekterande berättelser i dialogbaserad feministisk etik

The present study has a threefold aim: First, the theoretical aim is to give a contribution to refinement of the theory of dialogue based feminist ethics, concerning the understanding of judgment and narration within such an ethics.  The study also has an empirical aim, defined as to clarify what kind of knowledge, relevant to the moral judgment of an engaged outsider actor, can be received from dialogical interpretation and analysis of a limited selection of critically reflecting life stories. Third, a methodological aim is defined as to develop an approach to interpretation and analysis of reflecting life stories, which renders the storyteller visible as a reflecting moral subject, and makes the story accessible as a source of knowledge for the moral judgment of an engaged outsider actor. The thesis combines philosophical reflection and argumentation, with a narrative-hermeneutic method for interpretation of life stories, relating the two to each other in a hermeneutic process.  The theoretical reflection draws on Seyla Benhabibs theory of communicative ethics. A dialogue based model for moral justification and a likewise dialogue based model for political legitimacy are at the heart of this universalistic theory, although in combination with a conception of a narratively and hermeneutically constituted context sensitive moral judgment, based on Hannah Arendt’s concept “enlarged thought”. In the reflection, this model is related to other feminist theorizing within the tradition of dialogue based feminist ethics, as found in the works of Iris M. Young, Georgia Warnke and Shari Stone-Mediatore. The empirical study draws on three critically reflecting life stories from Israeli-Palestinian women activists for a just peace. The methodology for interpretation and analysis that is worked out combines dialogical interpretation as presented in Arthur W. Frank’s socio-narratology with a method for structural analysis derived from Shari Stone-Mediatores theory of storytelling as an expression of political resistance struggle. The results show that some stories drawing on marginalized experiences have a potential­ to stimulate further public debate through their capacity to enable a stereoscopic seeing, elucidating a tension between ideologically structured discourse and non-linguistic experience; implying that narrative-hermeneutic competence should be considered crucial for public debate.  

Swedish translation and psychometric testing of the safety attitudes questionnaire (operating room version)

Background: Tens of millions of patients worldwide suffer from avoidable disabling injuries and death every year. Measuring the safety climate in health care is an important step in improving patient safety. The most commonly used instrument to measure safety climate is the Safety Attitudes Questionnaire (SAQ). The aim of the present study was to establish the validity and reliability of the translated version of the SAQ. Methods: The SAQ was translated and adapted to the Swedish context. The survey was then carried out with 374 respondents in the operating room (OR) setting. Data was received from three hospitals, a total of 237 responses. Cronbach's alpha and confirmatory factor analysis (CFA) was used to evaluate the reliability and validity of the instrument. Results: The Cronbach's alpha values for each of the factors of the SAQ ranged between 0.59 and 0.83. The CFA and its goodness-of-fit indices (SRMR 0.055, RMSEA 0.043, CFI 0.98) showed good model fit. Intercorrelations between the factors safety climate, teamwork climate, job satisfaction, perceptions of management, and working conditions showed moderate to high correlation with each other. The factor stress recognition had no significant correlation with teamwork climate, perception of management, or job satisfaction. Conclusions: Therefore, the Swedish translation and psychometric testing of the SAQ (OR version) has good construct validity. However, the reliability analysis suggested that some of the items need further refinement to establish sound internal consistency. As suggested by previous research, the SAQ is potentially a useful tool for evaluating safety climate. However, further psychometric testing is required with larger samples to establish the psychometric properties of the instrument for use in Sweden.

Extraction of structured programs from specification proofs

We present a method using an extended logical system for obtaining programs from specifications written in a sublanguage of CASL. These programs are “correct” in the sense that they satisfy their specifications. The technique we use is to extract programs from proofs in formal logic by techniques due to Curry and Howard. The logical calculus, however, is novel because it adds structural rules corresponding to the standard ways of modifying specifications: translating (renaming), taking unions, and hiding signatures. Although programs extracted by the Curry-Howard process can be very cumbersome, we use a number of simplifications that ensure that the programs extracted are in a language close to a standard high-level programming language. We use this to produce an executable refinement of a given specification and we then provide a method for producing a program module that maximally respects the original structure of the specification. Throughout the paper we demonstrate the technique with a simple example.

Connecting Scientific Data to Scientific Experiments with Provenance

As scientific workflows and the data they operate on, grow in size and complexity, the task of defining how those workflows should execute (which resources to use, where the resources must be in readiness for processing etc.) becomes proportionally more difficult. While "workflow compilers", such as Pegasus, reduce this burden, a further problem arises: since specifying details of execution is now automatic, a workflow's results are harder to interpret, as they are partly due to specifics of execution. By automating steps between the experiment design and its results, we lose the connection between them, hindering interpretation of results. To reconnect the scientific data with the original experiment, we argue that scientists should have access to the full provenance of their data, including not only parameters, inputs and intermediary data, but also the abstract experiment, refined into a concrete execution by the "workflow compiler". In this paper, we describe preliminary work on adapting Pegasus to capture the process of workflow refinement in the PASOA provenance system.

Produtividade da mão-de-obra e do capital investido na petrobrás : sua relação com o dimensionamento da força de trabalho

Esta obra pretende demonstrar como evoluem os índices de produtividade da mão-de-obra e do capital investido na PETROBRAS, investigando a relação mantida com o dimensionamento quantitativo e qualitativo da força de trabalho da estatal. índice de produtividade é o resultado da divisão das quantidades produzidas por um trabalho pelos insumos utilizados na consecução desse trabalho, em relação a um determinado período de tempo. A produtividade expressa, portanto, a razão output / input. O aumento da produtividade pode ser causado pela substituição da mão-de-obra por tecnologia aplicada via capital investido, afetando por conseguinte o dimensionamento da força de trabalho. No caso da Petróleo Brasileiro S.A. - PETROBRAS, o autor identificou cinco períodos evolutivos correlatos às curvas de produtividade da estatal: de 1958 a 1964, de 1964 a 1973, de 1973 a 1979, de 1979 a 1991, e após 1991. De 1980 a 1995, a área de Exploração & Produção da companhia triplicou suas produtividades relativas - tanto da mão-de-obra quando do capital investido-, o mesmo não acontecendo nem com a área de Refinação nem com a PETROBRAS holding, que não viram crescer substancialmente suas produtividades relativas da mão-de-obra entre 1980 e 1995, enquanto caíam suas produtividades relativas do capital investido. Quanto às possibilidades futuras de dimensionamento quantitativo e qualitativo do contingente de pessoal, entrevistas realizadas com doze gerentes da empresa revelaram a tendência que aponta para a redução do número de empregados e mudança de seus perfis profissionais, e para a instituição de políticas de concentração e manutenção de pessoal qualificado por treinamento nas atividades-fim da companhia.

Atendimento no Banco Central: uma pesquisa sobre a satisfação dos clientes

A SATISFAÇÃO DO CONSUMIDOR É UMA ÁREA BASTANTE CONHECIDA NAS EMPRESAS PRIVADAS. ESTA PESQUISA PROCURA TRAZER O TEMA PARA UMA ORGANIZAÇÃO GOVERNAMENTAL - O BANCO CENTRAL DO BRASIL. SEU OBJETIVO É VERIFICAR O GRAU DE SATISFAÇÃO DO PÚBLICO COM O SERVIÇO QUE LHE É OFERECIDO NAS CENTRAIS DE ATENDIMENTO DAQUELA INSTITUIÇÃO. INICIALMENTE, DISCUTE A RELAÇÃO ENTRE O ATENDIMENTO AO PÚBLICO EM ÓRGÃOS GOVERNAMENTAIS E O REFINAMENTO DO CONCEITO DE CIDADANIA. A SEGUIR, PROCURA BASES CIENTÍFICAS PARA FUNDAMENTAR A PESQUISA DE CAMPO, NAS LITERATURAS DE SATISFAÇÃO DO CONSUMIDOR E DE QUALIDADE DO SERVIÇO. ALÉM DE DESCREVER O PARADIGMA DE DESCONFORMIDADE, ABORDA A BASE EFETIVA DA SATISFAÇÃO E AS TEORIAS DA ASSIMILAÇÃO, DO CONTRASTE, DE ASSIMILAÇÃO-CONTRASTE, DA EQÜIDADE E DA ATRIBUIÇÃO. SÃO REVISTADAS, TAMBÉM, AS CARACTERÍSTICAS PECULIARES DOS SERVIÇOS E DE SUA QUALIDADE. COM BASE NA TEORIA REVISTA, FOI DESENVOLVIDO UM QUESTIONÁRIO QUE, DEPOIS DE TESTES E APERFEIÇOAMENTOS, SERVIU DE BASE PARA ENTREVISTAS ESTRUTURADAS COM O PÚBLICO DA CENTRAL DE ATENDIMENTO DO BANCO NO RIO DE JANEIRO. OS RESULTADOS SUGEREM UM ELEVADO SENTIMENTO DE SATISFAÇÃO DO PÚBLICO E A PESQUISA É CONCLUÍDA COM ALGUMAS IMPLICAÇÕES PRÁTICAS E SUGESTÕES PARA FUTURAS INVESTIGAÇÕES.

O Fluminense Foo-tball Club: a construção de uma identidade clubística no futebol carioca (1902-1933)

Este trabalho tem por objetivo levantar explicações sobre a formação da identidade do Fluminense F. C. como clube que tem como marca principal a elitização calcada na distinção e no refinamento. Pretendemos analisar a história do clube durante os anos iniciais do desenvolvimento do futebol na cidade do Rio de Janeiro e sua relação com as outras agremiações futebolísticas, levantando aspectos peculiares de sua história que foram fundamentais na construção dessa imagem. Tendo como pressupostos teóricos os trabalhos de Bourdieu sobre a distinção e de Hobsbawm e Ranger sobre a invenção das tradições, procuramos demonstrar como escritores como Mario Filho e Paulo Coelho Netto foram responsáveis pela consolidação de uma série de valores simbólicos e tradições que associaram o Fluminense a um espaço de distinção e refinamento que se perpetuou historicamente.

Three principles of competitive nonlinear pricing

We make three contributions to the theory of contracting under asymmetric information. First, we establish a competitive analog to the revelation principIe which we call the implementation principIe. This principIe provides a complete characterization of all incentive compatible, indirect contracting mechanisms in terms of contract catalogs (or menus), and allows us to conclude that in competi tive contracting situations, firms in choosing their contracting strategies can restrict attention, without loss of generality, to contract catalogs. Second, we establish a competi tive taxation principIe. This principIe, a refinement of the implementation principIe, provides a complete characterization of all implementable nonlinear pricing schedules in terms of product-price catalogs and allows us to reduce any game played over nonlinear pricing schedules to a strategically equivalent game played over product-price catalogs. Third, using the competitive taxation principIe and a recent result due to Reny (1999) on the existence of Nash equilibria in discontinuous games, we demonstrate the existence of a N ash equilibrium for the mixed extension of the nonlinear pricing game.

A robust poverty profile for Brazil using multiple data sources

This paper presents a poverty profile for Brazil, based on three different sources of household data for 1996. We use PPV consumption data to estimate poverty and indigence lines. “Contagem” data is used to allow for an unprecedented refinement of the country’s poverty map. Poverty measures and shares are also presented for a wide range of population subgroups, based on the PNAD 1996, with new adjustments for imputed rents and spatial differences in cost of living. Robustness of the profile is verified with respect to different poverty lines, spatial price deflators, and equivalence scales. Overall poverty incidence ranges from 23% with respect to an indigence line to 45% with respect to a more generous poverty line. More importantly, however, poverty is found to vary significantly across regions and city sizes, with rural areas, small and medium towns and the metropolitan peripheries of the North and Northeast regions being poorest.

Ontology-based metadata for e-learning content

Nowadays, the popularity of the Web encourages the development of Hypermedia Systems dedicated to e-learning. Nevertheless, most of the available Web teaching systems apply the traditional paper-based learning resources presented as HTML pages making no use of the new capabilities provided by the Web. There is a challenge to develop educative systems that adapt the educative content to the style of learning, context and background of each student. Another research issue is the capacity to interoperate on the Web reusing learning objects. This work presents an approach to address these two issues by using the technologies of the Semantic Web. The approach presented here models the knowledge of the educative content and the learner’s profile with ontologies whose vocabularies are a refinement of those defined on standards situated on the Web as reference points to provide semantics. Ontologies enable the representation of metadata concerning simple learning objects and the rules that define the way that they can feasibly be assembled to configure more complex ones. These complex learning objects could be created dynamically according to the learners’ profile by intelligent agents that use the ontologies as the source of their beliefs. Interoperability issues were addressed by using an application profile of the IEEE LOM- Learning Object Metadata standard.

Como criar possibilidades de financiamento para a agricultura familiar adotando o Plano ABC Nacional?

Ao longo dos últimos anos, através do aprimoramento das políticas agrícolas, observaram-se aumentos consistentes dos recursos orçamentários destinados à Agricultura Familiar, através do Pronaf. O incremento dos recursos efetivamente aplicados e o número cada vez maior de contratos também são realidade e podem ser vistos em todas as regiões do País. De acordo com os dados divulgados pelo Banco Central do Brasil, através do Anuário Estatístico do Crédito Rural (2014), foram aplicados no Brasil em 2004 aproximadamente R$ 4,39 bilhões, já em 2012 foram pouco mais de R$ 16,35 bilhões, ou seja, incremento de 272% no intervalo analisado. Em relação ao número de contratos, o crescimento foi em torno de 35,5% no mesmo período. A importância da Agricultura Familiar no contexto atual é corroborada no âmbito internacional pela Resolução 66/222, de 28.03.2012, da Assembleia-Geral, que conferiu à Organização das Nações Unidas para Alimentação e Agricultura (FAO) o mandato de implementar o Ano Internacional da Agricultura Familiar (AIAF) neste ano de 2014, em parceria com os governos dos países membros bem como com outros organismos internacionais e organizações não-governamentais atuantes no tema da agricultura e da segurança alimentar. Concomitantemente, diante da crescente preocupação com as questões ambientais, o Plano Setorial de Mitigação e de Adaptação às Mudanças Climáticas para a Consolidação de uma Economia de Baixa Emissão de Carbono na Agricultura - Plano ABC - é uma importante parte do compromisso voluntário assumido pelo Brasil em 2009, na 15ª Conferência das Partes – COP15 ocorrida em Copenhague, na redução da emissão de gases de efeito estufa até 2020. Parte desse compromisso assumido precisa ser atendido pela agricultura familiar, o que aumenta a responsabilidade da mesma para questões que vão além do fornecimento de alimentos, matérias primas e geração de energia etc. O Programa ABC, instrumento pelo qual os agricultores brasileiros podem acessar crédito para implementar tecnologias de baixas emissões de carbono, já está integrado nas ações previstas na Política de Crédito Agropecuário Brasileiro. Porém, ainda se observam vários desafios no Programa ABC, como aumentar o repasse desses recursos, não obstante ao aumento das operações contratadas pelos produtores nos últimos anos. O objetivo do estudo é investigar como a agricultura familiar pode contribuir com o Plano ABC e nos compromissos voluntários assumidos pelo País para a redução de emissão dos gases de efeito estufa no setor agropecuário. Para atingir esse objetivo, realizou-se uma revisão da bibliografia e das linhas de crédito disponíveis pelos bancos públicos e privados relacionadas ao Programa ABC e ao Pronaf. Conclui-se que há sinergias entre algumas linhas de crédito do Pronaf e também do Fundo Constitucional de Financiamento do Nordeste - FNE - Sudene com as tecnologias previstas no Plano ABC. Nesse sentido, o Plano ABC prevê a aplicação de tecnologias de redução de emissões em cerca de 4,97 milhões de ha ocupados pela agricultura familiar, sendo recursos do Pronaf previstos para fomentar tal aplicação, através das linhas Pronaf Eco e Pronaf Floresta. Contudo, verificou-se que tais linhas do Pronaf contemplam o uso de recursos para diversas outras atividades não relacionadas diretamente àquelas previstas no Plano ABC ou capazes de reduzir emissões de gases de efeito estufa. Dessa forma, não há como assegurar que a aplicação de recursos nessas linhas seja direcionada para tecnologias e ações que reduzam emissões, nem tão pouco há como monitorar o volume de recursos do Pronaf aplicados de fato em atividades aderentes ao Plano ABC. Portanto, sugere-se a criação/incorporação de novas linhas de crédito ao Pronaf, como por exemplo, Pronaf ABC Eco e o Pronaf ABC Floresta. Além disso, apresentou-se estudo de caso para o município de Bragança Paulista (SP), onde verificou-se que a utilização dos recursos do Programa ABC poderia ser usada para recomposição de áreas de preservação permanente ou de reserva legal, importantes na preservação das nascentes e rios da região. Essa possibilidade é de elevada importância no contexto e nas discussões atuais sobre a escassez dos recursos hídricos que abastecem grandes cidades, a exemplo do que vem ocorrendo na região metropolitana do Estado de São Paulo. Como conclusão, identifica-se alguns gargalos e apresenta-se algumas sugestões de melhorias para aumentar a utilização e eficácia do Programa ABC, como promover com mais ênfase apoio das assistências técnicas junto aos produtores, priorizar as ações previstas no Plano ABC em algumas regiões do País e aumentar a atuação mais direcionada do Ministério do Desenvolvimento Agrário (MDA) para difusão e incorporação das tecnologias de uma agricultura de baixa emissão de carbono no segmento da agricultura familiar.