Distributed Synthesis in Continuous Time

We introduce a formalism modelling communication of distributed agents strictly in continuous-time. Within this framework, we study the problem of synthesising local strategies for individual agents such that a specified set of goal states is reached, or reached with at least a given probability. The flow of time is modelled explicitly based on continuous-time randomness, with two natural implications: First, the non-determinism stemming from interleaving disappears. Second, when we restrict to a subclass of non-urgent models, the quantitative value problem for two players can be solved in EXPTIME. Indeed, the explicit continuous time enables players to communicate their states by delaying synchronisation (which is unrestricted for non-urgent models). In general, the problems are undecidable already for two players in the quantitative case and three players in the qualitative case. The qualitative undecidability is shown by a reduction to decentralized POMDPs for which we provide the strongest (and rather surprising) undecidability result so far

Quality of reporting of trial abstracts needs to be improved: using the CONSORT for abstracts to assess the four leading Chinese medical journals of traditional Chinese medicine

<p>Abstract</p> <p>Background</p> <p>Due to language limitations, the abstract of journal article may be the only way for people of non-Chinese speaking countries to know about trials in traditional Chinese medicine (TCM). However, little is known about the reporting quality of these trial abstracts. Our study is to assess the reporting quality of abstracts of randomized controlled trials (RCT) published in four leading Chinese medical journals of TCM, and to identify any differences in reporting between the Chinese and English version of the same abstract publication.</p> <p>Method</p> <p>Two reviewers hand-searched the Chinese Journal of Integrated Traditional and Western Medicine, the Chinese Journal of Integrative Medicine, the China Journal of Chinese Materia Medica and the Chinese Acupuncture & Moxibustion for all abstracts of RCTs published between 2006 and 2007. Two reviewers independently assessed the reporting quality of the Chinese and English version of all eligible abstracts based on a modified version of the CONSORT for reporting randomised trials in journal and conference abstracts (CONSORT for abstracts).</p> <p>Results</p> <p>We identified a total of 345 RCTs of TCM with both a Chinese and English abstract. More than half of Chinese abstracts reported details of the trial participants (68%; 234/345), control group intervention (52%; 179/345), the number of participants randomized (73%; 253/345) and benefits when interpreting the trial results (55%; 190/345). Reporting of methodological quality or key features of trial design and trial results were poor; only 2% (7/345) included details of the trial design, 3% (11/345) defined the primary outcome, 5% (17/345) described the methods of random sequence generation, and only 4% (13/345) reported the number of participants analyzed. No abstracts provided details on allocation concealment and trial registration. The percentage agreement in reporting (between the Chinese and English version of the same abstract) ranged from 84% to 100% across individual checklist item.</p> <p>Conclusion</p> <p>The reporting quality of abstracts of RCTs published in these four TCM journals needs to be improved. Since none of the four journals adopted CONSORT for Abstracts, we hope that the introduction and adoption of CONSORT for Abstracts by TCM journals will lead to an improvement in reporting quality.</p

Assessment of the Quality of Reporting in Abstracts of Randomized Controlled Trials Published in Five Leading Chinese Medical Journals

BACKGROUND: Clear, transparent and sufficiently detailed abstracts of randomized trials (RCTs), published in journal articles are important because readers will often base their initial assessment of a trial on such information. However, little is known about the quality of reporting in abstracts of RCTs published in medical journals in China. METHODS: We identified RCTs abstracts from 5 five leading Chinese medical journals published between 1998 and 2007 and indexed in MEDLINE. We assessed the quality of reporting of these abstracts based on the Consolidated Standards of Reporting Trials (CONSORT) abstract checklist. We also sought to identify whether any differences exist in reporting between the Chinese and English language version of the same abstract. RESULTS: We identified 332 RCT abstracts eligible for examination. Overall, the abstracts we examined reported 0-8 items as designated in the CONSORT checklist. On average, three items were reported per abstract. Details of the interventions (288/332; 87%), the number of participants randomized (216/332; 65%) and study objectives (109/332; 33%) were the top three items reported. Only two RCT abstracts reported details of trial registration, no abstracts reported the method of allocation concealment and only one mentioned specifically who was blinded. In terms of the proportion of RCT abstracts fulfilling a criterion, the absolute difference (percentage points) between the Chinese and English abstracts was 10% (ranging from 0 to 25%) on average, per item. CONCLUSIONS: The quality of reporting in abstracts of RCTs published in Chinese medical journals needs to be improved. We hope that the introduction and endorsement of the CONSORT for Abstracts guidelines by journals reporting RCTs will lead to improvements in the quality of reporting

CADM1 is a strong neuroblastoma candidate gene that maps within a 3.72 Mb critical region of loss on 11q23

<p>Abstract</p> <p>Background</p> <p>Recurrent loss of part of the long arm of chromosome 11 is a well established hallmark of a subtype of aggressive neuroblastomas. Despite intensive mapping efforts to localize the culprit 11q tumour suppressor gene, this search has been unsuccessful thus far as no sufficiently small critical region could be delineated for selection of candidate genes.</p> <p>Methods</p> <p>To refine the critical region of 11q loss, the chromosome 11 status of 100 primary neuroblastoma tumours and 29 cell lines was analyzed using a BAC array containing a chromosome 11 tiling path. For the genes mapping within our refined region of loss, meta-analysis on published neuroblastoma mRNA gene expression datasets was performed for candidate gene selection. The DNA methylation status of the resulting candidate gene was determined using re-expression experiments by treatment of neuroblastoma cells with the demethylating agent 5-aza-2'-deoxycytidine and bisulphite sequencing.</p> <p>Results</p> <p>Two small critical regions of loss within 11q23 at chromosomal band 11q23.1-q23.2 (1.79 Mb) and 11q23.2-q23.3 (3.72 Mb) were identified. In a first step towards further selection of candidate neuroblastoma tumour suppressor genes, we performed a meta-analysis on published expression profiles of 692 neuroblastoma tumours. Integration of the resulting candidate gene list with expression data of neuroblastoma progenitor cells pinpointed <it>CADM1 </it>as a compelling candidate gene. Meta-analysis indicated that <it>CADM1 </it>expression has prognostic significance and differential expression for the gene was noted in unfavourable neuroblastoma versus normal neuroblasts. Methylation analysis provided no evidence for a two-hit mechanism in 11q deleted cell lines.</p> <p>Conclusion</p> <p>Our study puts <it>CADM1 </it>forward as a strong candidate neuroblastoma suppressor gene. Further functional studies are warranted to elucidate the role of <it>CADM1 </it>in neuroblastoma development and to investigate the possibility of <it>CADM1 </it>haploinsufficiency in neuroblastoma.</p