10,249 research outputs found
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
- …