Is Brazil really a catholic country? What opinions about abortion, sex between individuals who are not married to each other, and homosexuality say about the meaning of catholicism in three Brazilian cities

The idea of being a Catholic country is quite widespread throughout the nation. What does it mean to be Catholic in Brazil? Do Catholics follow the Catholic Doctrine? The objective of this paper is to investigate the relationship between religion and religious involvement (measured by religious affiliation and service attendance) and opinions about abortion, sex between individuals who are not married to each other, and homosexuality in São Paulo, Porto Alegre, and Recife. Data come from the survey “Spirit and Power: A 10-Country Survey of Pentecostals,” carried out in 2006. Results suggest that Brazilian Catholics are a very heterogeneous group with respect to opinions about abortion and sex between individuals who are not married to each other. In addition, service attendance among Catholics and those opinions are strongly correlated, except for the case of homosexuality, a topic which Catholics tend to have the same opinions about, irrespective of their religious involvement. Committed Protestants are, by far and away, the most conservative group.Brazil

Unravelling social constructionism

Social constructionist research is an area of rapidly expanding influence that has brought together theorists from a range of different disciplines. At the same time, however, it has fuelled the development of a new set of divisions. There would appear to be an increasing uneasiness about the implications of a thoroughgoing constructionism, with some regarding it as both theoretically parasitic and politically paralysing. In this paper I review these debates and clarify some of the issues involved. My main argument is that social constructionism is not best understood as a unitary paradigm and that one very important difference is between what Edwards (1997) calls its ontological and epistemic forms. I argue that an appreciation of this distinction not only exhausts many of the disputes that currently divide the constructionist community, but also takes away from the apparent radicalism of much of this work

Possible detection of two giant extrasolar planets orbiting the eclipsing polar UZ Fornacis

We present new high-speed, multi-observatory, multi-instrument photometry of the eclipsing polar UZ For in order to measure precise mid-eclipse times with the aim of detecting any orbital period variations. When combined with published eclipse times and archival data spanning ~27 years, we detect departures from a linear and quadratic trend of ~60 s. The departures are strongly suggestive of two cyclic variations of 16(3) and 5.25(25) years. The two favoured mechanisms to drive the periodicities are either two giant extrasolar planets as companions to the binary (with minimum masses of 6.3(1.5)M(Jupiter) and 7.7(1.2)M(Jupiter)) or a magnetic cycle mechanism (e.g. Applegate's mechanism) of the secondary star. Applegate's mechanism would require the entire radiant energy output of the secondary and would therefore seem to be the least likely of the two, barring any further refinements in the effect of magnetic fieilds (e.g. those of Lanza et al.). The two planet model can provide realistic solutions but it does not quite capture all of the eclipse times measurements. A highly eccentric orbit for the outer planet would fit the data nicely, but we find that such a solution would be unstable. It is also possible that the periodicities are driven by some combination of both mechanisms. Further observations of this system are encouraged.Comment: 10 pages, 4 figures, 2 table

Formalising the Continuous/Discrete Modeling Step

Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete domains. The difference between the two is quantified using generic results from ODE theory, and these estimates can be compared with the exact solutions. Such results do not fit well into a conventional model based refinement framework; however they can be accommodated into a model based retrenchment. The retrenchment is described, and the way it can interface to refinement development on both the continuous and discrete sides is outlined. The approach is compared to what can be achieved using hybrid systems techniques.Comment: In Proceedings Refine 2011, arXiv:1106.348

Young people's uses of celebrity: Class, gender and 'improper' celebrity

This is an Author's Accepted Manuscript of an article published in Discourse: Studies in the Cultural Politics of Education, 34(1), 2013, copyright Taylor & Francis, available online at: http://www.tandfonline.com/10.1080/01596306.2012.698865.In this article, we explore the question of how celebrity operates in young people's everyday lives, thus contributing to the urgent need to address celebrity's social function. Drawing on data from three studies in England on young people's perspectives on their educational and work futures, we show how celebrity operates as a classed and gendered discursive device within young people's identity work. We illustrate how young people draw upon class and gender distinctions that circulate within celebrity discourses (proper/improper, deserving/undeserving, talented/talentless and respectable/tacky) as they construct their own identities in relation to notions of work, aspiration and achievement. We argue that these distinctions operate as part of neoliberal demands to produce oneself as a ‘subject of value’. However, some participants produced readings that show ambivalence and even resistance to these dominant discourses. Young people's responses to celebrity are shown to relate to their own class and gender position.The Arts and Humanities Research Council, the British Academy, the Economic and Social Research Council, and the UK Resource Centre for Women in Science Engineering and Technology

A multi-modal video analysis approach for car park fire detection

In this paper a novel multi-modal flame and smoke detector is proposed for the detection of fire in large open spaces such as car parks. The flame detector is based on the visual and amplitude image of a time-of-flight camera. Using this multi-modal information, flames can be detected very accurately by visual flame feature analysis and amplitude disorder detection. In order to detect the low-cost flame related features, moving objects in visual images are analyzed over time. If an object possesses high probability for each of the flame characteristics, it is labeled as candidate flame region. Simultaneously, the amplitude disorder is also investigated. Also labeled as candidate flame regions are regions with high accumulative amplitude differences and high values in all detail images of the amplitude image's discrete wavelet transform. Finally, when there is overlap of at least one of the visual and amplitude candidate flame regions, fire alarm is raised. The smoke detector, on the other hand, focuses on global changes in the depth images of the time-of-flight camera, which do not have significant impact on the amplitude images. It was found that this behavior is unique for smoke. Experiments show that the proposed detectors improve the accuracy of fire detection in car parks. The flame detector has an average flame detection rate of 93%, with hardly any false positive detection, and the smoke detection rate of the TOF based smoke detector is 88%. © 2012 Elsevier Ltd

Bilayer manganites: polarons in the midst of a metallic breakdown

The exact nature of the low temperature electronic phase of the manganite materials family, and hence the origin of their colossal magnetoresistant (CMR) effect, is still under heavy debate. By combining new photoemission and tunneling data, we show that in La{2-2x}Sr{1+2x}Mn2O7 the polaronic degrees of freedom win out across the CMR region of the phase diagram. This means that the generic ground state is that of a system in which strong electron-lattice interactions result in vanishing coherent quasi-particle spectral weight at the Fermi level for all locations in k-space. The incoherence of the charge carriers offers a unifying explanation for the anomalous charge-carrier dynamics seen in transport, optics and electron spectroscopic data. The stacking number N is the key factor for true metallic behavior, as an intergrowth-driven breakdown of the polaronic domination to give a metal possessing a traditional Fermi surface is seen in the bilayer system.Comment: 7 pages, 2 figures, includes supplementary informatio

Applying SMT Solvers to the Test Template Framework

The Test Template Framework (TTF) is a model-based testing method for the Z notation. In the TTF, test cases are generated from test specifications, which are predicates written in Z. In turn, the Z notation is based on first-order logic with equality and Zermelo-Fraenkel set theory. In this way, a test case is a witness satisfying a formula in that theory. Satisfiability Modulo Theory (SMT) solvers are software tools that decide the satisfiability of arbitrary formulas in a large number of built-in logical theories and their combination. In this paper, we present the first results of applying two SMT solvers, Yices and CVC3, as the engines to find test cases from TTF's test specifications. In doing so, shallow embeddings of a significant portion of the Z notation into the input languages of Yices and CVC3 are provided, given that they do not directly support Zermelo-Fraenkel set theory as defined in Z. Finally, the results of applying these embeddings to a number of test specifications of eight cases studies are analysed.Comment: In Proceedings MBT 2012, arXiv:1202.582