Model Checking CTL is Almost Always Inherently Sequential

The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the use of temporal modalities or the use of negations—restrictions already studied for LTL by Sistla and Clarke (1985) and Markey (2004). For all these fragments, except for the trivial case without any temporal operator, we systematically prove model checking to be either inherently sequential (P-complete) or very efficiently parallelizable (LOGCFL-complete). For most fragments, however, model checking for CTL is already P-complete. Hence our results indicate that in most applications, approaching CTL model checking by parallelism will not result in the desired speed up. We also completely determine the complexity of the model checking problem for all fragments of the extensions ECTL, CTL +, and ECTL +

Long-term outcomes of genetic counseling in women at increased risk of developing hereditary breast cancer

Copyright © 2001 Elsevier Science Ireland Ltd. All rights reserved.This multicenter study evaluated the impact of genetic counseling in 218 women at risk of developing hereditary breast cancer. Women were assessed prior to counseling and 12-month post-counseling using self-administered, mailed questionnaires. Compared to baseline, breast cancer genetics knowledge was increased significantly at follow-up, and greater increases in knowledge were associated with educational level. Breast cancer anxiety decreased significantly from baseline to follow-up, and these decreases were associated with improvements in perceived risk. A significant decrease in clinical breast examination was observed at the 12-month follow-up. Findings suggest that women with a family history of breast cancer benefit from attending familial cancer clinics as it leads to increases in breast cancer genetics knowledge and decreases in breast cancer anxiety. The lowered rates of clinical breast examination indicate that the content of genetic counseling may need to be reviewed to ensure that women receive and take away the right message.Bettina Meiser, Phyllis N. Butow, Alex L. Barratt, Vivienne Schnieden, Michael Gattas, Judy Kirk, Clara Gaff, Graeme Suthers, Kathy Tucker, and The Psychological Impact Collaborative Grouphttp://www.elsevier.com/wps/find/journaldescription.cws_home/505955/description#descriptio