Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition

The files in this data set support the following paper: ########################################################################################## Truth table invariant cylindrical algebraic decomposition. Russel Bradford, James H. Davenport, Matthew England, Scott McCallum and David Wilson. http://opus.bath.ac.uk/38146/ ########################################################################################## Please find included the following: ############################## 1a) A Maple worksheet: Section1to7-Maple.mw 1b) A pdf printout of the worksheet: Section1to7-Maple.pdf 1c) A Maple Library file: ProjectionCAD.mpl These files concern the Maple results for the worked examples throughout Sections 1-7 of the paper. To run the Maple worksheet you will need a copy of the commercial computer algebra software Maple. This is currently available from: http://www.maplesoft.com/products/maple/ The examples were run in Maple 16 (released Spring 2012). It is likely that the same results would be obtained in Maple 17, 18, 2015 and future versions, but this cannot be guaranteed. An additional code package, developed at the University of Bath, is required. To use it we need to read the Maple Library file within Maple as follows: >>> read("ProjectionCAD.mpl"): >>> with(ProjectionCAD): More details on this Maple package are available in the technical report at http://opus.bath.ac.uk/43911/ and in the following publication: M. England, D. Wilson, R. Bradford and J.H. Davenport. Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting. Proc ICMS 2014 (LNCS 8593). DOI: 10.1007/978-3-662-44199-2_69 If you do not have a copy of Maple you can still read the pdf printout of the worksheet. ############################## 2) A zipped directory WorkedExamples-Qepcad.zip This directory also concerns the worked examples from Sections 1-7 of the paper, this time when studied with Qepcad-B. Qepcad-B is a free piece of software for Linux which can be obtained from: http://www.usna.edu/CS/qepcadweb/B/QEPCAD.html All the files in the zipped directory end in either "-in.txt" or "-out.txt". The former give input for Qepcad and the latter record output. Hence readers without access to Qepcad (e.g. on a Windows system) can still observe the output in the latter files. To verify the output readers should use the following bash command to run a Qepcad input file "Ex-in.txt" and record the output in "Ex-out.txt". >>> qepcad +N500000000 +L200000 Ex-out.txt Windows users without Linux access can still read the existing output files in the folder. ############################## 3a) The text file: Section82-ExampleSet.txt 3b) A Maple worksheet: Section82-ExampleSet.mw 3b) A pdf printout of the worksheet: Section82-ExampleSet.pdf The textfile defines the example set which is the subject of the experiments in Section 8.2, whose results were summarised in Table 2. Within the file the 29 examples are defined in the following syntax: (a) First a line starting with "#" giving the full example name followed in brackets by the shortened name used in Table 2. (b) Then a second line in which the example is defined as a list of two sublists: i) The first sublist defines the polynomials used. They are sorted into further lists, one for each formulae in the example. Each of these has two entries: --- The first is either a polynomial defining an equational constraint (EC); a list of polynomials defining multiple ECs; or an empty list (signalling no ECs). --- The second is a list of any non ECs. ii) The second sublist is the variable ordering from highest (eliminate first in projection) to lowest. Note that Maple algorithms use this order by Qepcad the reverse. This is the syntax used by the TTICAD algorithm that is the subject of the paper. The text file doubles as a Maple function definition. When read into Maple the command GenerateInput is defined which can provide the input in formats suitable for the three Maple algorithms tested. An example is given in the Maple worksheet / pdf. We note that the timings reported in the paper were from running Maple in command line mode. See also the notes for files (1) above. The same example set was tested in Qepcad. Here explicit ECs for a parent formula were entered in dynamically as products of the individual sub-formulae ECs, in cases where an explicit EC exists. See also Qepcad notes for file (2) above. Finally, the example set was also tested in Mathematica. Mathematica's CAD command does not return cell counts - these were obtained upon request to a Mathematica developer. Hence they are not recreatable using the information here (something outside the control of the present authors). ############################## 4a) A Maple worksheet: Section83-Maple.mw 4b) A pdf printout of the worksheet: Section83-Maple.pdf This shows how the numbers in Table 3 from Maple were obtained. See also notes for files (1) above. ############################## 5a) A zipped directory Section83-Qepcad.zipped This shows how the numbers in Table 3 from Qepcad were obtained. See also notes for file (2) above.Cell counts and timings of various CAD algorithms

Antecedents of hospital admission for deliberate self-harm from a 14-year follow-up study using data-linkage

Antecedents of hospital admission for deliberate self-harm from a 14-year follow-up study using data-linkageFrancis Mitrou1 email, Jennifer Gaudie1 email, David Lawrence1,2 email, Sven R Silburn1,2 email, Fiona J Stanley1 email and Stephen R Zubrick1,2 email1 Telethon Institute for Child Health Research, Centre for Child Health Research, The University of Western Australia. PO Box 855, West Perth, WA. 6872, Australia2 Centre for Developmental Health, Curtin Health Innovation Research Institute, Curtin University of Technology, Perth, Western Australia, Australiaauthor email corresponding author emailBMC Psychiatry 2010, 10:82doi:10.1186/1471-244X-10-82The electronic version of this article is the complete one and can be found online at: http://www.biomedcentral.com/1471-244X/10/82Received: 22 April 2010Accepted: 18 October 2010Published: 18 October 2010© 2010 Mitrou et al; licensee BioMed Central Ltd.This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited

The INTRABEAM® Photon Radiotherapy System for the adjuvant treatment of early breast cancer: a systematic review and economic evaluation

Background: initial treatment for early breast cancer is usually either breast-conserving surgery (BCS) or mastectomy. After BCS, whole-breast external beam radiotherapy (WB-EBRT) is the standard of care. A potential alternative to post-operative WB-EBRT is intraoperative radiation therapy delivered by the INTRABEAM® Photon Radiotherapy System (Carl Zeiss, Oberkochen, Germany) to the tissue adjacent to the resection cavity at the time of surgery.Objective: to assess the clinical effectiveness and cost-effectiveness of INTRABEAM for the adjuvant treatment of early breast cancer during surgical removal of the tumour.Data sources: electronic bibliographic databases, including MEDLINE, EMBASE and The Cochrane Library, were searched from inception to March 2014 for English-language articles. Bibliographies of articles, systematic reviews, clinical guidelines and the manufacturer’s submission were also searched. The advisory group was contacted to identify additional evidence.Methods: systematic reviews of clinical effectiveness, health-related quality of life and cost-effectiveness were conducted. Two reviewers independently screened titles and abstracts for eligibility. Inclusion criteria were applied to full texts of retrieved papers by one reviewer and checked by a second reviewer. Data extraction and quality assessment were undertaken by one reviewer and checked by a second reviewer, and differences in opinion were resolved through discussion at each stage. Clinical effectiveness studies were included if they were carried out in patients with early operable breast cancer. The intervention was the INTRABEAM system, which was compared with WB-EBRT, and study designs were randomised controlled trials (RCTs). Controlled clinical trials could be considered if data from available RCTs were incomplete (e.g. absence of data on outcomes of interest). A cost–utility decision-analytic model was developed to estimate the costs, benefits and cost-effectiveness of INTRABEAM compared with WB-EBRT for early operable breast cancer.Results: one non-inferiority RCT, TARGeted Intraoperative radioTherapy Alone (TARGIT-A), met the inclusion criteria for the review. The review found that local recurrence was slightly higher following INTRABEAM than WB-EBRT, but the difference did not exceed the 2.5% non-inferiority margin providing INTRABEAM was given at the same time as BCS. Overall survival was similar with both treatments. Statistically significant differences in complications were found for the occurrence of wound seroma requiring more than three aspirations (more frequent in the INTRABEAM group) and for a Radiation Therapy Oncology Group toxicity score of grade 3 or 4 (less frequent in the INTRABEAM group). Cost-effectiveness base-case analysis indicates that INTRABEAM is less expensive but also less effective than WB-EBRT because it is associated with lower total costs but fewer total quality-adjusted life-years gained. However, sensitivity analyses identified four model parameters that can cause a switch in the treatment option that is considered cost-effective.Limitations: the base-case result from the model is subject to uncertainty because the disease progression parameters are largely drawn from the single available RCT. The RCT median follow-up of 2 years 5 months may be inadequate, particularly as the number of participants with local recurrence is low. The model is particularly sensitive to this parameter.Conclusions and implications: a significant investment in INTRABEAM equipment and staff training (clinical and non-clinical) would be required to make this technology available across the NHS. Longer-term follow-up data from the TARGIT-A trial and analysis of registry data are required as results are currently based on a small number of events and economic modelling results are uncertai

Dataset for Quantifier Elimination and CAD examples in Maple

This dataset provides the following: - 'QE Example Database.mpl': a file that can be read into Maple that loads an interactive database of QE examples, along with functions to build and print them, - 'CADDatabase.mm': a file that can be read into Maple that loads a table of purely unquantified examples for CAD, 'CADExamples', with no auxillary functions. These examples are of various types, but are compatible with the input semantics of 'CylindricalAlgebraicDecompose' for the package 'QuantifierElimination' for Maple. - 'TarskiFormulaLaTeXTools.mpl': a file that can be read into Maple that allows Maple to better format Tarski formulae (type 'TarskiFormula' arising from the package 'QuantifierElimination') for LaTeX when passed into Maple's inbuilt function 'latex'. - 'Example Database Info.pdf': A pdf documenting reference and origin information about all examples from the databases included. All formulae or otherwise semi-algebraic sets produced by usage of these files are in 'RationalTarskiFormula' or 'TarskiFormula' type, for compatibility with 'QuantifierElimination'. They are amenable to usage with Maple packages 'RegularChains' or 'SyNRAC', after some conversion. - 'QuantifierEliminationConversionTools.mpl': a file that can be read into Maple that loads two functions for conversion of Tarski formulae from 'QuantifierElimination' format, 'convertQEtoRC', 'convertQEtoSyNRAC', and 'convertQEtoQEPCAD' which convert to format amenable to 'RegularChains', 'SyNRAC', or 'QEPCAD' respectively. 'QEPCAD' requires bespoke input, so one can write the produced string to a file before redirection into QEPCAD. More information about each file is in the metadata for each file

Dataset for Quantifier Elimination and CAD examples in Maple

This dataset provides the following: - 'QE Example Database.mpl': a file that can be read into Maple that loads an interactive database of QE examples, along with functions to build and print them, - 'CADDatabase.mm': a file that can be read into Maple that loads a table of purely unquantified examples for CAD, 'CADExamples', with no auxillary functions. These examples are of various types, but are compatible with the input semantics of 'CylindricalAlgebraicDecompose' for the package 'QuantifierElimination' for Maple. - 'TarskiFormulaLaTeXTools.mpl': a file that can be read into Maple that allows Maple to better format Tarski formulae (type 'TarskiFormula' arising from the package 'QuantifierElimination') for LaTeX when passed into Maple's inbuilt function 'latex'. - 'Example Database Info.pdf': A pdf documenting reference and origin information about all examples from the databases included. All formulae or otherwise semi-algebraic sets produced by usage of these files are in 'RationalTarskiFormula' or 'TarskiFormula' type, for compatibility with 'QuantifierElimination'. They are amenable to usage with Maple packages 'RegularChains' or 'SyNRAC', after some conversion. - 'QuantifierEliminationConversionTools.mpl': a file that can be read into Maple that loads two functions for conversion of Tarski formulae from 'QuantifierElimination' format, 'convertQEtoRC', 'convertQEtoSyNRAC', and 'convertQEtoQEPCAD' which convert to format amenable to 'RegularChains', 'SyNRAC', or 'QEPCAD' respectively. 'QEPCAD' requires bespoke input, so one can write the produced string to a file before redirection into QEPCAD. More information about each file is in the metadata for each file

Data for 'Fast Matrix Operations in Computer Algebra'

This data package contains Maple worksheets with code executing algorithms pertaining to fraction-free Bunch-Hopcroft matrix inversion. The worksheets also include timing procedures used to obtain a log-log plot to describe the experimental asymptotic behaviour of the run time of the new fraction free algorithm. The plot and corresponding raw data are also included in the package. More information about these algorithms is available from the corresponding papers, 'Fast Matrix Operations in Computer Algebra' and 'On Fast Matrix Inversion'

Unequal access to breast-conserving surgery in Western Australia 1982-2000

Background: The purpose of the present study was to examine the effects of demographic, locational and social disadvantage and the possession of private health insurance in Western Australia on the likelihood of women with breast cancer receiving breast-conserving surgery rather than mastectomy. Methods: The WA Record Linkage Project was used to extract all hospital morbidity, cancer and death records of women with breast cancer in Western Australia from 1982 to 2000 inclusive. Comparisons between those receiving breast-conserving surgery and mastectomy were made after adjustment for covariates in logistic regression. Results: Younger women, especially those aged less than 60 years, and those with less comorbidity were more likely to receive breast-conserving surgery (BCS). In lower socio-economic groups, women were less likely to receive BCS (OR 0.73; 95% CI 0.60-0.90). Women resident in rural areas tended to receive less BCS than those from metropolitan areas (OR 0.84; 95% CI 0.55-1.29). Women treated in a rural hospital had a reduced likelihood of BCS (OR 0.74; 95% CI 0.61-0.89). Treatment in a private hospital reduced the likelihood of BCS (OR 0.70; 95% CI 0.54-0.90), while women with private health insurance were much more likely to receive BCS (OR 1.39; 95% CI 1.08-1.79). Conclusion: Several factors were found to affect the likelihood of women with breast cancer receiving breast-conserving surgery, in particular, women from disadvantaged backgrounds were significantly less likely to receive breast-conserving surgery than those from more privileged groups