Numerical ‘health check’ for scientific codes: the CADNA approach

Scientific computation has unavoidable approximations built into its very fabric. One important source of error that is difficult to detect and control is round-off error propagation which originates from the use of finite precision arithmetic. We propose that there is a need to perform regular numerical `health checks' on scientific codes in order to detect the cancerous effect of round-off error propagation. This is particularly important in scientific codes that are built on legacy software. We advocate the use of the CADNA library as a suitable numerical screening tool. We present a case study to illustrate the practical use of CADNA in scientific codes that are of interest to the Computer Physics Communications readership. In doing so we hope to stimulate a greater awareness of round-off error propagation and present a practical means by which it can be analyzed and managed.

The Gazeta de Literatura de México (1788-1795): The Formation of a Literary-Scientific Periodical in Late-Viceregal Mexico

The study of the periodical press has long played an important role in understanding the transmission and reception of ideas in early modero history. This article explores different facets of the formation of one of Spanish America's most important early periodicals, the_Gazeta de Literatura de México, in order to deepen our understanding of the nature of Mexican periodical publications and in particular the work of José Antonio Alzate y Ramírez. It also seeks to place the Gazeta de Literatura firmly within the international republic of letters, linking it to contemporary periodicals in Mexico and Europe.

Analysis of the reading and comprehension control in scientific texts in high school students

Students' learning process can be negatively affected when their reading and comprehension control is not appropriated. This research focuses on the analysis of how a group of students from high school evaluate their reading comprehension in manipulated scientific texts. An analysis tool was designed to determine the students' degree of comprehension control when reading a scientific short text with an added contradiction. The results have revealed that the students from 1st and 3rd ESO do not properly self-evaluated their reading comprehension. A different behavior has been observed in 1st Bachillerato, where appropriate evaluation and regulation seem to be more frequent. Moreover, no significant differences have been found regarding the type of text, year or gender. Finally, as identified by previous research, the correlations between the students' comprehension control and their school marks have shown to have a weak relationship and inversely proportional to the students' age.

The text and the tale: differences between scientific reports and scientists’ reportings on the eruption of Mount Chance, Montserrat

This article looks at the difference between scientists’ written reports and their oral accounts, explanations and stories. The subject of these discourses is the eruption of Mount Chance on Montserrat, a British Overseas Territory in the Eastern Caribbean, and its continued monitoring and reporting. Scientific notions of risk and uncertainty which feature in these texts and tales will subsequently be examined and critiqued. Further to this, this article will end by pointing out that, ironically, the latter - the tale – can in some cases be a more effective and approximate mode of communication with the public than the former – the text.

A survey of formalisms for representing and reasoning with scientific knowledge

With the rapid growth in the quantity and complexity of scientific knowledge available for scientists, and allied professionals, the problems associated with harnessing this knowledge are well recognized. Some of these problems are a result of the uncertainties and inconsistencies that arise in this knowledge. Other problems arise from heterogeneous and informal formats for this knowledge. To address these problems, developments in the application of knowledge representation and reasoning technologies can allow scientific knowledge to be captured in logic-based formalisms. Using such formalisms, we can undertake reasoning with the uncertainty and inconsistency to allow automated techniques to be used for querying and combining of scientific knowledge. Furthermore, by harnessing background knowledge, the querying and combining tasks can be carried out more intelligently. In this paper, we review some of the significant proposals for formalisms for representing and reasoning with scientific knowledge.