The maximal C*-algebra of quotients as an operator bimodule

We establish a description of the maximal C*-algebra of quotients of a unital C*-algebra A as a direct limit of spaces of completely bounded bimodule homomorphisms from certain operator submodules of the Haagerup tensor product of A with itself labelled by the essential closed right ideals of A into A. In addition the invariance of the construction of the maximal C*-algebra of quotients under strong Morita equivalence is proved.

Maximal C*-algebras of quotients and injective envelopes of C*-algebras

A new C*-enlargement of a C*-algebra A nested between the local multiplier algebra of A and its injective envelope is introduced. Various aspects of this maximal C*-algebra of quotients are studied, notably in the setting of AW*-algebras. As a by-product we obtain a new example of a type I C*-algebra such that its second iterated local multiplier algebra is strictly larger than its local multiplier algebra.

On maximal subgroups of the multiplicative group of a division algebra

This note studies the question whether a multiplicative group of a division ring has a maximal subgroup. It is published in J. Algebra. This is a reputable journal in the subject algebra. Most of submitted papers from 5* schools in RAE was in this journal.

Presentism and ontological symmetry

In this paper, I argue that there is an inconsistency between two presentist doctrines: that of ontological symmetry and asymmetry of fixity. The former refers to the presentist belief that the past and future are equally unreal. The latter refers to the A-Theoretic intuition that the past is closed or actual, and the future is open or potential. My position in this paper is that the presentist is unable to account for the temporal asymmetry that is so fundamentally a part of her theory. In Section I, I briefly outline a recent defence of presentism due to Craig, and argue that a flaw in this defence highlights the tension between the presentist's doctrines of ontological symmetry and asymmetry of fixity. In Section II, I undertake an investigation, on the presentist's behalf, in order to determine whether she is capable of reconciling these two doctrines. In the course of the investigation, I consider different asymmetries, other than that of ontology, which might be said fundamentally to constitute temporal asymmetry, and the asymmetry of fixity in particular. In Section III, I also consider whether the presentist is able to avail herself of some of the standard B-Theoretic accounts of the asymmetry of fixity, and argue that she cannot. Finally, I conclude that temporal asymmetry cannot be accounted for (or explained) other than through the postulation of an ontological asymmetry.

'Ontological insecurity' and 'terror management' Linking two free-floating anxieties

In this article, we seek to clarify and develop the concept of ontological insecurity by linking it to the better developed, empirical literature on 'terror management theory' in social psychology. We argue that the understanding of both ontological insecurity and terror management can be improved through this overdue integration. In particular, merging these literatures can have important explanatory power when it comes to understanding punitive attitudes. The considerable body of empirical evidence that has been gathered to validate the proposition behind terror management theory can be understood as providing indirect support for the concept of ontological insecurity on an individual level. On the other hand, the macrosociological research on ontological insecurity provides the largely decontextualized, laboratory-based literature on terror management with a well-developed understanding of why 'terror management' has become increasingly important in late modern society.

Convergence of bimodules over maximal abelian selfadjoint algebras

We prove a continuity result for the map sending a masa-bimodule to its support. We characterise the convergence of a net of weakly closed convex hulls of bilattices in terms of the convergence of the corresponding supports, and establish a lower-semicontinuity result for the map sending a support to the corresponding masa-bimodule.

Possibilistic Information Fusion Using Maximal Coherent Subsets

When multiple sources provide information about the same unknown quantity, their fusion into a synthetic interpretable message is often a tedious problem, especially when sources are conicting. In this paper, we propose to use possibility theory and the notion of maximal coherent subsets, often used in logic-based representations, to build a fuzzy belief structure that will be instrumental both for extracting useful information about various features of the information conveyed by the sources and for compressing this information into a unique possibility distribution. Extensions and properties of the basic fusion rule are also studied.

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.

Ideals of A(G) and bimodules over maximal abelian selfadjoint algebras

This paper is concerned with weak⁎ closed masa-bimodules generated by A(G)-invariant subspaces of VN(G). An annihilator formula is established, which is used to characterise the weak⁎ closed subspaces of B(L2(G)) which are invariant under both Schur multipliers and a canonical action of M(G) on B(L2(G)) via completely bounded maps. We study the special cases of extremal ideals with a given null set and, for a large class of groups, we establish a link between relative spectral synthesis and relative operator synthesis.

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.