Integral completeness of locally convex spaces

A locally convex space X is said to be integrally complete if each continuous mapping f: [0, 1] --> X is Riemann integrable. A criterion for integral completeness is established. Readily verifiable sufficient conditions of integral completeness are proved.

Multi-Modal CTL:Completeness, Complexity, and an Application

We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E and A where d denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional ctl logic. © 2009 Springer Science+Business Media B.V.

Completeness and timeliness: Cancer registries could/should improve their performance

Cancer registries must provide complete and reliable incidence information with the shortest possible delay for use in studies such as comparability, clustering, cancer in the elderly and adequacy of cancer surveillance. Methods of varying complexity are available to registries for monitoring completeness and timeliness. We wished to know which methods are currently in use among cancer registries, and to compare the results of our findings to those of a survey carried out in 2006.

Methods
In the framework of the EUROCOURSE project, and to prepare cancer registries for participation in the ERA-net scheme, we launched a survey on the methods used to assess completeness, and also on the timeliness and methods of dissemination of results by registries. We sent the questionnaire to all general registries (GCRs) and specialised registries (SCRs) active in Europe and within the European Network of Cancer Registries (ENCR).

Results
With a response rate of 66% among GCRs and 59% among SCRs, we obtained data for analysis from 116 registries with a population coverage of ∼280 million. The most common methods used were comparison of trends (79%) and mortality/incidence ratios (more than 60%). More complex methods were used less commonly: capture–recapture by 30%, flow method by 18% and death certificate notification (DCN) methods with the Ajiki formula by 9%.

The median latency for completion of ascertainment of incidence was 18 months. Additional time required for dissemination was of the order of 3–6 months, depending on the method: print or electronic. One fifth (21%) did not publish results for their own registry but only as a contribution to larger national or international data repositories and publications; this introduced a further delay in the availability of data.

Conclusions
Cancer registries should improve the practice of measuring their completeness regularly and should move from traditional to more quantitative methods. This could also have implications in the timeliness of data publication.

Validation of the completeness and accuracy of the Northern Ireland Cancer Registry

Background: It has been suggested that inaccuracies in cancer registries are distorting UK survival statistics. This study compared the Northern Ireland Cancer Registry (NICR) database of living patients, with independent data held by Northern Ireland's General Practitioners (GPs) to compare and validate the recorded diagnoses and dates held by the registry. 

Methods: All 387 GP practice managers were invited to participate. 100 practices (25.84%) responded. Comparisons were made for 17,102 patients, equivalent to 29.08% of the living patients (58,798) extracted from the NICR between 1993 and 2010. 

Results: There were no significant differences (p > 0.05) between the responding and nonresponding GP patient profiles for age, marital status or deprivation score. However, the responding GPs included more female patients (p = 0.02). NICR data accuracy was high, 0.08% of GP cancer patients (n = 15) were not included in registry records and 0.02% (n = 2) had a diagnosis date which varied more than 2 weeks from GP records (3 weeks and 5 months). The NICR had recorded two different tumour types and three different tumour statuses (benign vs. malignant) to the GPs. 

Conclusion: This comparison demonstrates a high level of accuracy within the NICR and that the survival statistics based on this data can be relied upon.

Assessing the completeness of optical resetting of quartz OSL in the natural environment

Resetting of previously accumulated optically stimulated luminescence (OSL) signals during transport of sediment is a fundamental requirement for reliable optical dating. The completeness of optical resetting of 46 modern-age quartz samples from a variety of depositional environments was examined. All equivalent dose (De) estimates were View the MathML source, with the majority of aeolian samples View the MathML source, and fluvial samples View the MathML source. The OSL signal of quartz originates from several trap types with different rates of charge loss during illumination. As such, incomplete bleaching may be identifiable as an increase in De from easy-to-bleach through to hard-to-bleach components. For all modern fluvial samples with non-zero De values, SAR De(t) analysis and component-resolved linearly modulated OSL (LM OSL) De estimates showed this to be the case, implying incomplete resetting of previously accumulated charge. LM OSL measurements were also made to investigate the extent of bleaching of the slow components in the natural environment. In aeolian sediments examined, the natural LM OSL was effectively zero (i.e. all components were fully reset). The slow components of modern fluvial samples displayed measurable residual signals up to 15 Gy.

Checking Completeness of Tests for Finite State Machines

In testing from a Finite State Machine (FSM), the generation of test suites which guarantee full fault detection, known as complete test suites, has been a long-standing research topic. In this paper, we present conditions that are sufficient for a test suite to be complete. We demonstrate that the existing conditions are special cases of the proposed ones. An algorithm that checks whether a given test suite is complete is given. The experimental results show that the algorithm can be used for relatively large FSMs and test suites.

Completeness of coherent states associated with self-similar potentials and Ramanujan's integral extension of the beta function

A decomposition of identity is given as a complex integral over the coherent states associated with a class of shape-invariant self-similar potentials. There is a remarkable connection between these coherent states and Ramanujan's integral extension of the beta function.

Completeness of beta-phase decomposition reaction in Cu-Al-Ag alloys

The completeness of beta-phase decomposition reaction in the Cu-11wt%Al-xwt%Ag alloys (x = 0, 1, 2, and 3) was studied using differential scanning calorimetry (DSC), X-ray diffractometry (XRD), and optical microscopy (OM). The results indicated that beta-phase transformations are highly dependent on cooling rate and on the presence of Ag. on slow cooling, the silver presence prevents the beta- and beta(1)-phase decomposition; thus, inducing the martensitic phase formation. After rapid cooling, a new thermal event is observed and the reverse martensitic transformation is shifted to lower temperatures.

Husserl's two notions of completeness: husserl and hilbert on completeness and imaginary elements in mathematics

In this paper I discuss Husserl's solution of the problem of imaginary elements in mathematics as presented in the drafts for two lectures he gave in Göttingen in 1901 and other related texts of the same period, a problem that had occupied Husserl since the beginning of 1890, when he was planning a never published sequel to Philosophie der Arithmetik (1891). In order to solve the problem of imaginary entities Husserl introduced, independently of Hilbert, two notions of completeness (definiteness in Husserl's terminology) for a formal axiomatic system. I present and discuss these notions here, establishing also parallels between Husserl's and Hilbert's notions of completeness. © 2000 Kluwer Academic Publishers.

Completeness for coherent states in a magnetic-solenoid field

This paper completes our study of coherent states in the so-called magnetic-solenoid field (a collinear combination of a constant uniform magnetic field and Aharonov-Bohm solenoid field) presented in Bagrov et al (2010 J. Phys. A: Math. Theor. 43 354016, 2011 J. Phys. A: Math. Theor. 44 055301). Here, we succeeded in proving nontrivial completeness relations for non-relativistic and relativistic coherent states in such a field. In addition, we solve here the relevant Stieltjes moment problem and present a comparative analysis of our coherent states and the well-known, in the case of pure uniform magnetic field, Malkin-Man'ko coherent states.

Completeness of reporting in randomized controlled trials of 3 vaccines: a review of adherence to the CONSORT checklist

Clear reporting of randomized controlled trials (RCTs) of vaccines is important for understanding results and assessing their validity. The CONsolidated Standards of Reporting Trials (CONSORT) statement provides guidance to help authors reporting RCTs. The objective was to assess the completeness of reporting of RCTs of vaccines based on the CONSORT 2010 checklist.