Death, dying and informatics: misrepresenting religion on MedLine

BACKGROUND: The globalization of medical science carries for doctors worldwide a correlative duty to deepen their understanding of patients' cultural contexts and religious backgrounds, in order to satisfy each as a unique individual. To become better informed, practitioners may turn to MedLine, but it is unclear whether the information found there is an accurate representation of culture and religion. To test MedLine's representation of this field, we chose the topic of death and dying in the three major monotheistic religions. METHODS: We searched MedLine using PubMed in order to retrieve and thematically analyze full-length scholarly journal papers or case reports dealing with religious traditions and end-of-life care. Our search consisted of a string of words that included the most common denominations of the three religions, the standard heading terms used by the National Reference Center for Bioethics Literature (NRCBL), and the Medical Subject Headings (MeSH) used by the National Library of Medicine. Eligible articles were limited to English-language papers with an abstract. RESULTS: We found that while a bibliographic search in MedLine on this topic produced instant results and some valuable literature, the aggregate reflected a selection bias. American writers were over-represented given the global prevalence of these religious traditions. Denominationally affiliated authors predominated in representing the Christian traditions. The Islamic tradition was under-represented. CONCLUSION: MedLine's capability to identify the most current, reliable and accurate information about purely scientific topics should not be assumed to be the same case when considering the interface of religion, culture and end-of-life care

Simulation of impulse response for indoor visible light communications using 3D CAD models

n this article, a tool for simulating the channel impulse response for indoor visible light communications using 3D computer-aided design (CAD) models is presented. The simulation tool is based on a previous Monte Carlo ray-tracing algorithm for indoor infrared channel estimation, but including wavelength response evaluation. The 3D scene, or the simulation environment, can be defined using any CAD software in which the user specifies, in addition to the setting geometry, the reflection characteristics of the surface materials as well as the structures of the emitters and receivers involved in the simulation. Also, in an effort to improve the computational efficiency, two optimizations are proposed. The first one consists of dividing the setting into cubic regions of equal size, which offers a calculation improvement of approximately 50% compared to not dividing the 3D scene into sub-regions. The second one involves the parallelization of the simulation algorithm, which provides a computational speed-up proportional to the number of processors used

Finding polynomial loop invariants for probabilistic programs

Quantitative loop invariants are an essential element in the verification of probabilistic programs. Recently, multivariate Lagrange interpolation has been applied to synthesizing polynomial invariants. In this paper, we propose an alternative approach. First, we fix a polynomial template as a candidate of a loop invariant. Using Stengle's Positivstellensatz and a transformation to a sum-of-squares problem, we find sufficient conditions on the coefficients. Then, we solve a semidefinite programming feasibility problem to synthesize the loop invariants. If the semidefinite program is unfeasible, we backtrack after increasing the degree of the template. Our approach is semi-complete in the sense that it will always lead us to a feasible solution if one exists and numerical errors are small. Experimental results show the efficiency of our approach.Comment: accompanies an ATVA 2017 submissio

Measurement of radium and thorium isotopes in environmental samples by alpha-spectrometry

The final publication is available at Springer via http://dx.doi.org/10.1007/BF02035979[EN] A new method for the determination of low-level radium and thorium isotopes in environmental samples by α-spectrometry is described. Thorium and radium isotopes were chemically separated from the same sample, by using the same tracer (229Th). Two different ways were explored for the concentration process in water samples, obtaining a chemical yield for Ra isotopes between 70–90% in both cases using KMnO4 as carrier and BaCl2 and FeCl3, respectively. The method can also be directly applied for uranium measurements, but in this case there is a limitation on the range of uranium isotopes that can be analyzed.One of us (M.J.R.A.) is grateful to Institución Valenciana de Estudios e Investigación, Spain (IVEI) for fellowshipRodríguez Álvarez, MJ.; Sánchez, F. (1995). Measurement of radium and thorium isotopes in environmental samples by alpha-spectrometry. Journal of Radioanalytical and Nuclear Chemistry. 191(1):3-13. doi:10.1007/BF02035979S3131911W.H.O. Method of Radiochemical Analysis, Univ. of Tokio, Intern. edition, 23 (1967) 117.T. OKUBO, M. SAKANOUE, Geochem. J., 9 (1975) 221.TJOE-PA LIM, N. K. DAVE, N. R. CLOUTIER, Appl. Radiat. Isot., 40 (1989) 63.G. J. HANCOCK, P. MARTIN, Appl. Radiat. Isot., 42 (1991) 63.M. KOIDE, K. W. BRULAND, Anal. Chim. Acta, 75 (1975) 1.K. J. ODELL, Proc. 4th Symp. on the Determination of Radionuclides in Environmental and Biological Materials, April 1983, Ed-Rd Press, London.L. HALLSTADIUS, Nucl. Instrum. Methods Phys. Res., 223 (1984) 266.Radionuclide Transformations, Annals of the ICRP, ICRP Publication 38, Pergamon Press, Vol. 11, 1983, p. 13.M. J. RODRÍGUEZ-ALVAREZ, F. SÁNCHEZ, E. NAVARRO, Proc. 3rd Inter. Summer School, Huelva Spain, M. GARCÍA-LEÓN and G. MADURGA (Eds), World Scientific, Singapore, 1994.M. J. RODRÍGUEZ-ALVAREZ, F. SÁNCHEZ, J. Radioanal. Nucl. Chem., 190 (1995) 123.C. W. SILL, Anal. Chem., 49 (1977) 618.J. L. GASCÓN MURILLO, PhD Thesis, University of Zaragoza, Spain, 1990.M. C. MORÓN, A. MARTINEZ-AGUIRRE, M. GARCÍA-LEÓN, Intern. Conf. on Environmental Radioactivity in the Mediterranean Area, Barcelona, 10–13 May 1988. SNE-ENS, Barcelona, 1988, p. 111.M. YAMAMOTO, K. KOMURA, K. UENO, Radiochim. Acta, 46 (1989) 137.R. GARCÍA-TENORIO, M. GARCÍA-LEÓN, G. MADURGA, C. PIAZZA, Anal. Física B, 82 (1986) 238

Microbial catabolic activities are naturally selected by metabolic energy harvest rate

The fundamental trade-off between yield and rate of energy harvest per unit of substrate has been largely discussed as a main characteristic for microbial established cooperation or competition. In this study, this point is addressed by developing a generalized model that simulates competition between existing and not experimentally reported microbial catabolic activities defined only based on well-known biochemical pathways. No specific microbial physiological adaptations are considered, growth yield is calculated coupled to catabolism energetics and a common maximum biomass-specific catabolism rate (expressed as electron transfer rate) is assumed for all microbial groups. Under this approach, successful microbial metabolisms are predicted in line with experimental observations under the hypothesis of maximum energy harvest rate. Two microbial ecosystems, typically found in wastewater treatment plants, are simulated, namely: (i) the anaerobic fermentation of glucose and (ii) the oxidation and reduction of nitrogen under aerobic autotrophic (nitrification) and anoxic heterotrophic and autotrophic (denitrification) conditions. The experimentally observed cross feeding in glucose fermentation, through multiple intermediate fermentation pathways, towards ultimately methane and carbon dioxide is predicted. Analogously, two-stage nitrification (by ammonium and nitrite oxidizers) is predicted as prevailing over nitrification in one stage. Conversely, denitrification is predicted in one stage (by denitrifiers) as well as anammox (anaerobic ammonium oxidation). The model results suggest that these observations are a direct consequence of the different energy yields per electron transferred at the different steps of the pathways. Overall, our results theoretically support the hypothesis that successful microbial catabolic activities are selected by an overall maximum energy harvest rate

Characterization and applications of a Crimean-Congo hemorrhagic fever virus nucleoprotein-specific Affimer: Inhibitory effects in viral replication and development of colorimetric diagnostic tests

Crimean-Congo hemorrhagic fever orthonairovirus (CCHFV) is one of the most widespread medically important arboviruses, causing human infections that result in mortality rates of up to 60%. We describe the selection of a high-affinity small protein (Affimer-NP) that binds specifically to the nucleoprotein (NP) of CCHFV. We demonstrate the interference of Affimer-NP in the RNA-binding function of CCHFV NP using fluorescence anisotropy, and its inhibitory effects on CCHFV gene expression in mammalian cells using a mini-genome system. Solution of the crystallographic structure of the complex formed by these two molecules at 2.84 Å resolution revealed the structural basis for this interference, with the Affimer-NP binding site positioned at the critical NP oligomerization interface. Finally, we validate the in vitro application of Affimer-NP for the development of enzyme-linked immunosorbent and lateral flow assays, presenting the first published point-of-care format test able to detect recombinant CCHFV NP in spiked human and animal sera

Treatment costs and priority setting in health care: A qualitative study

The aim of this study is to investigate whether the public believes high cost patients should be a lower priority for public health care than low cost patients, other things being equal, in order to maximise health gains from the health budget. Semi-structured group discussions were used to help participants reflect critically upon their own views and gain exposure to alternative views, and in this way elicit underlying values rather than unreflective preferences. Participants were given two main tasks: first, to select from among three general principles for setting health care priorities the one that comes closest to their own views; second, to allocate a limited hospital budget between two groups of imaginary patients. Forty-one people, varying in age, occupation, income and education level, participated in a total of six group discussions with each group comprising between six and eight people

Machine and human observable differences in groups’ collaborative problem-solving behaviours

This paper contributes to our understanding of how to design learning analytics to capture and analyse collaborative problem-solving (CPS) in practice-based learning activities. Most research in learning analytics focuses on student interaction in digital learning environments, yet still most learning and teaching in schools occurs in physical environments. Investigation of student interaction in physical environments can be used to generate observable differences among students, which can then be used in the design and implementation of Learning Analytics. Here, we present several original methods for identifying such differences in groups CPS behaviours. Our data set is based on human observation, hand position (fiducial marker) and heads direction (face recognition) data from eighteen students working in six groups of three. The results show that the high competent CPS groups spend an equal distribution of time on their problem-solving and collaboration stages. Whereas, the low competent CPS groups spend most of their time in identifying knowledge and skill deficiencies only. Moreover, as machine observable data shows, high competent CPS groups present symmetrical contributions to the physical tasks and present high synchrony and individual accountability values. The findings have significant implications on the design and implementation of future learning analytics systems

SAT Modulo Linear Arithmetic for Solving Polynomial

Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a few. In this paper we propose a new method for solving non-linear constraints based on encoding the problem into an SMT problem considering only linear arithmetic. Unlike other existing methods, our method focuses on proving satisfiability of the constraints rather than on proving unsatisfiability, which is more relevant in several applications as we illustrate with several examples. Nevertheless, we also present new techniques based on the analysis of unsatisfiable cores that allow one to efficiently prove unsatisfiability too for a broad class of problems. The power of our approach is demonstrated by means of extensive experiments comparing our prototype with state-of-the-art tools on benchmarks taken both from the academic and the industrial world