Simple model for total cross sections

in Cooper, Fred; Sarcevic, Ina; West, Geoffrey (Eds.) THE STATE OF PHYSICS AT THE END OF THE 20TH CENTURY: In honor of Peter Carruthers (1997)

Simple observation au sujet du travail de M. W. Hallock(*) intitulé "the Flow of Solids, etc."

in Bulletin de l'Académie Royale des Sciences, des Lettres et des Beaux-arts de Belgique. Sciences. 3e série (1887), XIV(11), 595-598

Simple On-the-fly Automatic Verification of Linear Temporal Logic

in Dembinski, Piotr; Sredniawa, Marek (Eds.) Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification (1995)

We present a tableau-based algorithm for obtaining an automaton from a temporal logic formula. The algorithm is geared towards being used in model checking in an “on-the-fly” fashion, that is the ... [more ▼]

We present a tableau-based algorithm for obtaining an automaton from a temporal logic formula. The algorithm is geared towards being used in model checking in an “on-the-fly” fashion, that is the automaton can be constructed simultaneously with, and guided by, the generation of the model. In particular, it is possible to detect that a property does not hold by only constructing part of the model and of the automaton. The algorithm can also be used to check the validity of a temporal logic assertion. Although the general problem is PSPACE-complete, experiments show that our algorithm performs quite well on the temporal formulas typically encountered in verification. While basing linear-time temporal logic model-checking upon a transformation to automata is not new, the details of how to do this efficiently, and in “on-the-fly” fashion have never been given. [less ▲]

A simple risk assessment tool for use in ergonomics participatory processes

Conference (2000)

A SIMPLE TAXONOMIC TREATMENT FOR A COMPLICATED EVOLUTIONARY STORY: THE GENUS HYGROAMBLYSTEGIUM (HYPNALES, AMBLYSTEGIACEAE)

in Monographs in Systematic Botany (2004), 98

A simple tool to identify asian women at increased risk of osteoporosis.

in Osteoporosis International (2001), 12(8), 699-705

Patients with low bone mineral density (BMD) have a high risk of future fractures, and should be actively considered for treatment to reduce their risk. However, BMD measurements are not widely available ... [more ▼]

Patients with low bone mineral density (BMD) have a high risk of future fractures, and should be actively considered for treatment to reduce their risk. However, BMD measurements are not widely available in some communities, because of cost and lack of equipment. Simple questionnaires have been designed to help target high-risk women for BMD measurements, thereby avoiding the cost of measuring women at low risk. However, such tools have previously focused on evaluation of non-Asian women. We collected information about numerous risk factors from postmenopausal Asian women in eight countries in Asia using questionnaires, and evaluated the ability of these risk factors to identify women with osteoporosis as defined by femoral neck BMD T-scores < or =-2.5. Multiple variable regression analysis and item reduction yielded a final tool based on only age and body weight. This risk index had a sensitivity of 91% and specificity of 45%, with an area under the curve of 0.79. Previously published risk indices based on larger numbers of variables performed similarly well in this Asian population. Large differences in risk were identified using our index to create three categories: 61% of the high-risk women had osteoporosis, compared with only 15% and 3% of the intermediate- and low-risk women, respectively. The low-risk group represented 40% of all women, for whom BMD measurements are probably not needed unless important risk factors, such as prior nonviolent fracture or corticosteroid use, are present. An existing population-based sample of postmenopausal Japanese women was used to validate our index. In this sample of Japanese women the sensitivity was 98% and specificity was 29%; the low-risk category, for whom BMD is probably unnecessary, represented 25% of all women. We conclude that our index performed well for classifying the risk of osteoporosis among postmenopausal Asian women and applying it would result in more prudent use of BMD technology. [less ▲]

A simple type of wood in two early Devonian plants

in Science (2011), 333

Simplicius lecteur du "Sophiste". Contribution à l'étude de l'exégèse néoplatonicienne tardive

Book published by Klincksieck (2007)

Ce livre explore la méthode et l’interprétation du Sophiste par Simplicius, en tant qu’elles illustrent l’exégèse néoplatonicienne tardive et entraînent une restauration de la lettre du texte. À partir ... [more ▼]

Ce livre explore la méthode et l’interprétation du Sophiste par Simplicius, en tant qu’elles illustrent l’exégèse néoplatonicienne tardive et entraînent une restauration de la lettre du texte. À partir d’un corpus issu des commentaires (largement inédit en français), Marc-Antoine Gavray reconstruit la lecture de Simplicius et la met en regard avec celles de Plotin, de Proclus et de Damascius. Il en ressort une exégèse attentive, digne d’accompagner le lecteur moderne dans sa compréhension de Platon. [less ▲]

Simplification of boolean verification conditions

in Theoretical Computer Science (2000), 239(1), 165-185

Simplification of molecular tests for the detection of fruit trees viroids and epidemiological and molecular characteristics of peach latent mosaic viroid in Tunisia. From Laboratory to business

Conference (2005)