Milwaukee Longitudinal School Choice Evaluation: Annual School Testing Summary Report 2007-08

With the passage of the 2005 Wisconsin Act 125, private schools participating in the Milwaukee Parental Choice Program (MPCP) are now required to administer a nationally normed standardized test annually in reading, mathematics, and science to their MPCP (a.k.a. “Choice”) students enrolled in the 4th, 8th, and 10th grades. The law further directs Choice schools to submit copies of the scores from those tests to the School Choice Demonstration Project for processing and reporting to the Legislative Audit Bureau. During the 2007-08 school year, MPCP schools administered either nationally normed tests, such as the Iowa Test of Basic Skills, or the criterion referenced Wisconsin Knowledge and Concepts Examinations (WKCE). The School Choice Demonstration Project (SCDP) received student test scores from 114 of the 115 schools participating in the MPCP that were required to administer tests. Specifically, the SCDP received 5,763 nationally normed student test scores from 81 schools and 1,735 WKCE scores from 36 schools. These school numbers add to 123 because some schools used both types of exams and sent all 4th, 8th, and 10th grade scores to the SCD

Milwaukee Longitudinal School Choice Evaluation: Annual School Testing Summary Report

With the passage of 2005 Wisconsin Act 125, private schools participating in the Milwaukee Parental Choice Program (MPCP) are now required to administer a nationally normed standardized test annually in reading, mathematics, and science to their MPCP (a.k.a. “Choice”) students enrolled in the 4th, 8th, and 10th grades. The law further directs Choice schools to submit copies of the scores from those tests to the School Choice Demonstration Project (SCDP) for processing and reporting to the Legislative Audit Bureau. During the 2006-07 school year, MPCP schools administered either nationally normed tests, such as the Iowa Test of Basic Skills, or the criterion referenced Wisconsin Knowledge and Concepts Examinations (WKCE). The School Choice Demonstration Project received 5,194 nationally normed scores from 66 schools and 1,231 WKCE scores from 40 schools

Novel deletions causing pseudoxanthoma elasticum underscore the genomic instability of the ABCC6 region

Mutations in ABCC6 cause pseudoxanthoma elasticum (PXE), a heritable disease that affects elastic fibers. Thus far, >200 mutations have been characterized by various PCR-based techniques (primarily direct sequencing), identifying up to 90% of PXE-causing alleles. This study wanted to assess the importance of deletions and insertions in the ABCC6 genomic region, which is known to have a high recombinational potential. To detect ABCC6 deletions/insertions, which can be missed by direct sequencing, multiplex ligation-dependent probe amplification (MLPA) was applied in PXE patients with an incomplete genotype. MLPA was performed in 35 PXE patients with at least one unidentified mutant allele after exonic sequencing and exclusion of the recurrent exon 23-29 deletion. Six multi-exon deletions and four single-exon deletions were detected. Using MLPA in addition to sequencing, we expanded the ABCC6 mutation spectrum with 9 novel deletions and characterized 25% of unidentified disease alleles. Our results further illustrate the instability of the ABCC6 genomic region and stress the importance of screening for deletions in the molecular diagnosis of PXE. Journal of Human Genetics (2010) 55, 112-117; doi: 10.1038/jhg.2009.132; published online 15 January 201

New results on pushdown module checking with imperfect information

Model checking of open pushdown systems (OPD) w.r.t. standard branching temporal logics (pushdown module checking or PMC) has been recently investigated in the literature, both in the context of environments with perfect and imperfect information about the system (in the last case, the environment has only a partial view of the system's control states and stack content). For standard CTL, PMC with imperfect information is known to be undecidable. If the stack content is assumed to be visible, then the problem is decidable and 2EXPTIME-complete (matching the complexity of PMC with perfect information against CTL). The decidability status of PMC with imperfect information against CTL restricted to the case where the depth of the stack content is visible is open. In this paper, we show that with this restriction, PMC with imperfect information against CTL remains undecidable. On the other hand, we individuate an interesting subclass of OPDS with visible stack content depth such that PMC with imperfect information against the existential fragment of CTL is decidable and in 2EXPTIME. Moreover, we show that the program complexity of PMC with imperfect information and visible stack content against CTL is 2EXPTIME-complete (hence, exponentially harder than the program complexity of PMC with perfect information, which is known to be EXPTIME-complete).Comment: In Proceedings GandALF 2011, arXiv:1106.081