Skip to main content

Research Repository

Advanced Search

All Outputs (2361)

What are the factors underlying unintended pregnancy in young women in Hull? (2008)
Preprint / Working Paper
Brown, S., & Thornton Jones, H. (2008). What are the factors underlying unintended pregnancy in young women in Hull?

The recent public health white paper “Choosing Health” (2004) made significant commitments to sexual health and in particular the reduction of unintended teenage pregnancies, especially in areas with high teenage conception rates. Despite a strong lo... Read More about What are the factors underlying unintended pregnancy in young women in Hull?.

The Effects of Geotechnical Material Properties on the convergence of iterative Solvers (2008)
Presentation / Conference Contribution
Augarde, C. E., Crouch, R. S., Li, T., & Ramage, A. (2008). The Effects of Geotechnical Material Properties on the convergence of iterative Solvers. In D. Singh (Ed.),

There is increasing interest in the use of iterative rather than direct solvers for geotechnical finite element analysis. For large 3D problems iterative solvers offer the only possibility of economical solution on a desktop PC. The major stumbling b... Read More about The Effects of Geotechnical Material Properties on the convergence of iterative Solvers.

Enhancing Modular OO Verification with Separation Logic (2008)
Presentation / Conference Contribution
Chin, W., David, C., Nguyen, H., Qin, S., Necula, G., & Wadler, P. (2008). Enhancing Modular OO Verification with Separation Logic. In 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 7-12 January, 2008, San Francisco, California, USA ; proceedings (87-99). https://doi.org/10.1145/1328897.1328452

Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement inherently weakens the specifications of overridden methods in supercla... Read More about Enhancing Modular OO Verification with Separation Logic.

Comparing universal covers in polynomial time (2008)
Presentation / Conference Contribution
Fiala, J., & Paulusma, D. (2008, December). Comparing universal covers in polynomial time. Presented at 3rd International Computer Science Symposium in Russia, Moscow, Russia

The universal cover T G of a connected graph G is the unique (possible infinite) tree covering G, i.e., that allows a locally bijective homomorphism from T G to G. Universal covers have major applications in the area of distributed computing. It is w... Read More about Comparing universal covers in polynomial time.

New developments in the scientific dating of brick (2008)
Presentation / Conference Contribution
Bailiff, I. K. (2008). New developments in the scientific dating of brick. In T. Coomans, & H. Van Royen (Eds.), Medieval brick architecture in Flanders and Northern Europe : the question of the Cistercian origin (133-144)

Fired clay brick has been widely used in the construction of buildings in many parts of Europe since its introduction by the Romans, and the extremely robust physical properties of fired clay enable bricks to endure within the archaeological record f... Read More about New developments in the scientific dating of brick.

Computing sharp 2-factors in claw-free graphs (2008)
Presentation / Conference Contribution
Broersma, H. J., & Paulusma, D. (2008, December). Computing sharp 2-factors in claw-free graphs. Presented at 33th International Symposium on Mathematical Foundations of Computer Science, Toru´n, Poland

In a recently submitted paper we obtained an upper bound for the minimum number of components of a 2-factor in a claw-free graph. This bound is sharp in the sense that there exist infinitely many claw-free graphs for which the bound is tight. In this... Read More about Computing sharp 2-factors in claw-free graphs.

Health, Risk, and Adversity (2008)
Book
Panter-Brick, C., & Fuentes, A. (Eds.). (2008). Health, Risk, and Adversity. Berghahn Journals

Research on health involves evaluating the disparities that are systematically associated with the experience of risk, including genetic and physiological variation, environmental exposure to poor nutrition and disease, and social marginalization. Th... Read More about Health, Risk, and Adversity.

Cosmos and Image in the Renaissance: French Love Lyric and Natural-Philosophical Poetry (2008)
Book
Banks, K. (2008). Cosmos and Image in the Renaissance: French Love Lyric and Natural-Philosophical Poetry. Legenda

Renaissance images could be real as well as linguistic. Human beings were often believed to be an image of the cosmos, and the sun an image of God. With Cosmos and Image in the Renaissance, Kathryn Banks explores the implications of this for poetic l... Read More about Cosmos and Image in the Renaissance: French Love Lyric and Natural-Philosophical Poetry.