ion for Verification Foundational Research on the automated refinement of abstraction in software model checking methods. – Starting date: January 2002

s from the XXVI Biennial Congress of the International Society of University Colon & Rectal Surgeons, Cape Town, South Africa, September 4-7 2014 Marc E. Brozovich M.D.∗ ∗bepress (DC Admins), [email protected] Copyright c ©2014 The Berkeley Electronic Press. All rights reserved. Abstracts from the XXVI Biennial Congress of the International Society of University Colon & Rectal Surgeons, Cape...

ATMOSPHERIC AND OCEANIC INTERCONNECTIONS 9:00 Lehman, S. Abyssal Circulation and inter-hemispheric climate change 9:45 Brook, E. Interhemispheric correlation of ice core paleoclimate records using atmospheric gas records: methods and recent results

Reproductive strategies, sexual selection, and their relationship with the phenotype of individuals are topics widely studied in animals, but this information is less abundant for plants. Variability in flowering phenology among individuals has direct impact on their fitness, but how reproductive phenology is affected by the size of the individuals needs further study. We quantified the floweri...

ions for Shape Analysis Predicate abstraction is a method for constrained-based abstraction that has been successfully applied in many domains. Unfortunately, in the context of shape analysis it is in general not efficient enough. In [5], we describe a new approach to shape analysis based on predicate abstraction. We propose a class of state predicates that exploits existent abstractions for sh...

Pollen research has been carried out on 81 detarioid genera (253 species) to define informative characters for taxonomic studies and cladistic analysis. There is a huge variety of pollen morphological structures, although the presence of intermediate forms prevents some from being informative as characters. Ultrastructure does, however, provide an important source of taxonomic and systematic in...

BACKGROUND In 1993, a randomized controlled trial in Minnesota showed, after 13 years of follow-up, that annual fecal occult blood testing was effective in reducing colorectal cancer mortality by at least 33%. Biennial screening (i.e., every 2 years) resulted in only a 6% mortality reduction. Two European trials (in England and in Denmark) subsequently showed statistically significant 15% and 1...