Interactive Simplifier Tracing and Debugging in Isabelle

The Isabelle proof assistant comes equipped with a very powerful tactic for term simplification. While tremendously useful, the results of simplifying a term do not always match the user's expectation: sometimes, the resulting term is not in the form the user expected, or the simplifier fails to apply a rule. We describe a new, interactive tracing facility which offers insight into the hierarchical structure of the simplification with user-defined filtering, memoization and search. The new simplifier trace is integrated into the Isabelle/jEdit Prover IDE.Comment: Conferences on Intelligent Computer Mathematics, 201

Effects of Cooking in Solutions of Varying pH on the Dietary Fiber Components of Vegetables

To study the effect of pH on dietary fiber components of vegetables, beans, cauliflower, potatoes, peas and corn were cooked in buffers of pH 2, 4, 6, and 10. Water-soluble pectin and hemicellulose, water-insoluble pectin and hemicellulose, cellulose and lignin were quantitated in raw, cooked vegetables and cooking medium. Tenderness and pH of raw and cooked vegetables were determined. Texture varied with cooking medium. Cooked vegetables were most firm at pH 4 and softest at pH 10. Dietary components found in cooking medium reflected these textural changes. Vegetables which showed greater pH effects exhibited greater changes in fiber components.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/73821/1/j.1365-2621.1984.tb13237.x.pd

An Overview of Systematic Reviews on Prognostic Factors in Neck Pain

Given the challenges of chronic musculoskeletal pain and disability, establishing a clear prognosis in the acute stage has become increasingly recognized as a valuable approach to mitigate chronic problems. Neck pain represents a condition that is common, potentially disabling, and has a high rate of transition to chronic or persistent problems. As a field of research, prognosis in neck pain has stimulated several empirical primary research papers, and a number of systematic reviews. As part of the International Consensus on Neck (ICON) project, we sought to establish the general state of knowl

Origins of the Ambient Solar Wind: Implications for Space Weather

The Sun's outer atmosphere is heated to temperatures of millions of degrees, and solar plasma flows out into interplanetary space at supersonic speeds. This paper reviews our current understanding of these interrelated problems: coronal heating and the acceleration of the ambient solar wind. We also discuss where the community stands in its ability to forecast how variations in the solar wind (i.e., fast and slow wind streams) impact the Earth. Although the last few decades have seen significant progress in observations and modeling, we still do not have a complete understanding of the relevant physical processes, nor do we have a quantitatively precise census of which coronal structures contribute to specific types of solar wind. Fast streams are known to be connected to the central regions of large coronal holes. Slow streams, however, appear to come from a wide range of sources, including streamers, pseudostreamers, coronal loops, active regions, and coronal hole boundaries. Complicating our understanding even more is the fact that processes such as turbulence, stream-stream interactions, and Coulomb collisions can make it difficult to unambiguously map a parcel measured at 1 AU back down to its coronal source. We also review recent progress -- in theoretical modeling, observational data analysis, and forecasting techniques that sit at the interface between data and theory -- that gives us hope that the above problems are indeed solvable.Comment: Accepted for publication in Space Science Reviews. Special issue connected with a 2016 ISSI workshop on "The Scientific Foundations of Space Weather." 44 pages, 9 figure

An Observational Overview of Solar Flares

We present an overview of solar flares and associated phenomena, drawing upon a wide range of observational data primarily from the RHESSI era. Following an introductory discussion and overview of the status of observational capabilities, the article is split into topical sections which deal with different areas of flare phenomena (footpoints and ribbons, coronal sources, relationship to coronal mass ejections) and their interconnections. We also discuss flare soft X-ray spectroscopy and the energetics of the process. The emphasis is to describe the observations from multiple points of view, while bearing in mind the models that link them to each other and to theory. The present theoretical and observational understanding of solar flares is far from complete, so we conclude with a brief discussion of models, and a list of missing but important observations.Comment: This is an article for a monograph on the physics of solar flares, inspired by RHESSI observations. The individual articles are to appear in Space Science Reviews (2011

Groups and individuals: conformity and diversity in the performance of gendered identities

The nature and role of social groups is a central tension in sociology. On the one hand, the idea of a group enables sociologists to locate and describe individuals in terms of characteristics that are shared with others. On the other, emphasizing the fluidity of categories such as gender or ethnicity undermines their legitimacy as ways of classifying people and, by extension, the legitimacy of categorization as a goal of sociological research. In this paper, we use a new research method known as the Imitation Game to defend the social group as a sociological concept. We show that, despite the diversity of practices that may be consistent with self‐identified membership of a group, there are also shared normative expectations – typically narrower in nature than the diversity displayed by individual group members – that shape the ways in which category membership can be discussed with, and performed to, others. Two claims follow from this. First, the Imitation Game provides a way of simultaneously revealing both the diversity and ‘groupishness’ of social groups. Second, that the social group, in the quasi‐Durkheimian sense of something that transcends the individual, remains an important concept for sociology

Studies of human papillomavirus type 16 in differentiating epithelium

SIGLEAvailable from British Library Document Supply Centre- DSC:D061617 / BLDSC - British Library Document Supply CentreGBUnited Kingdo