Shape-Based Models for Interactive Segmentation of Medical Images

Accurate image segmentation is one of the key problems in computer vision. In domains such as radiation treatment planning, dosimetrists must manually trace the outlines of a few critical structures on large numbers of images. Considerable similarity can be seen in the shape of these regions, both between adjacent slices in a particular patient and across the spectrum of patients. Consequently we should be able to model this similarity and use it to assist in the process of segmentation. Previous work has demonstrated that a constraint-based 2D radial model can capture generic shape information for certain shape classes, and can reduce user interaction by a factor of three over purely manual segmentation. Additional simulation studies have shown that a probabilistic version of the model has the potential to further reduce user interaction. This paper describes an implementation of both models in a general-purpose imaging and graphics framework and compares the usefulness of the models on several shape classes

Branching processes, the max-plus algebra and network calculus

Branching processes can describe the dynamics of various queueing systems, peer-to-peer systems, delay tolerant networks, etc. In this paper we study the basic stochastic recursion of multitype branching processes, but in two non-standard contexts. First, we consider this recursion in the max-plus algebra where branching corresponds to finding the maximal offspring of the current generation. Secondly, we consider network-calculus-type deterministic bounds as introduced by Cruz, which we extend to handle branching-type processes. The paper provides both qualitative and quantitative results and introduces various applications of (max-plus) branching processes in queueing theory

Dynamical properties of ultracold bosons in an optical lattice

We study the excitation spectrum of strongly correlated lattice bosons for the Mott-insulating phase and for the superfluid phase close to localization. Within a Schwinger-boson mean-field approach we find two gapped modes in the Mott insulator and the combination of a sound mode (Goldstone) and a gapped (Higgs) mode in the superfluid. To make our findings comparable with experimental results, we calculate the dynamic structure factor as well as the linear response to the optical lattice modulation introduced by Stoeferle et al. [Phys. Rev. Lett. 92, 130403 (2004)]. We find that the puzzling finite frequency absorption observed in the superfluid phase could be explained via the excitation of the gapped (Higgs) mode. We check the consistency of our results with an adapted f-sum-rule and propose an extension of the experimental technique by Stoeferle et al. to further verify our findings.Comment: 13 pages, 5 figure

A Hypoquadratic Convergence Method for Lagrange Multipliers

In this paper, we investigate a class of hypoquadratically convergent methods for minimizing an objective function subject to equality constraints via the Lagrange multipliers method. The above class of inexact Newton methods has already been successfully applied for solving systems of nonlinear algebraic equations

Trusty URIs: Verifiable, Immutable, and Permanent Digital Artifacts for Linked Data

To make digital resources on the web verifiable, immutable, and permanent, we propose a technique to include cryptographic hash values in URIs. We call them trusty URIs and we show how they can be used for approaches like nanopublications to make not only specific resources but their entire reference trees verifiable. Digital artifacts can be identified not only on the byte level but on more abstract levels such as RDF graphs, which means that resources keep their hash values even when presented in a different format. Our approach sticks to the core principles of the web, namely openness and decentralized architecture, is fully compatible with existing standards and protocols, and can therefore be used right away. Evaluation of our reference implementations shows that these desired properties are indeed accomplished by our approach, and that it remains practical even for very large files.Comment: Small error corrected in the text (table data was correct) on page 13: "All average values are below 0.8s (0.03s for batch mode). Using Java in batch mode even requires only 1ms per file.

Exchange bias and interface electronic structure in Ni/Co3O4(011)

A detailed study of the exchange bias effect and the interfacial electronic structure in Ni/Co3O4(011) is reported. Large exchange anisotropies are observed at low temperatures, and the exchange bias effect persists to temperatures well above the Neel temperature of bulk Co3O4, of about 40 K: to ~80 K for Ni films deposited on well ordered oxide surfaces, and ~150 K for Ni films deposited on rougher Co3O4 surfaces. Photoelectron spectroscopy measurements as a function of Ni thickness show that Co reduction and Ni oxidation occur over an extended interfacial region. We conclude that the exchange bias observed in Ni/Co3O4, and in similar ferromagnetic metallic/Co3O4 systems, is not intrinsic to Co3O4 but rather due to the formation of CoO at the interface.Comment: 8 pages, 6 figures. Accepted for publication in Physical Review B

Survey of the quality of experimental design, statistical analysis and reporting of research using animals

For scientific, ethical and economic reasons, experiments involving animals should be appropriately designed, correctly analysed and transparently reported. This increases the scientific validity of the results, and maximises the knowledge gained from each experiment. A minimum amount of relevant information must be included in scientific publications to ensure that the methods and results of a study can be reviewed, analysed and repeated. Omitting essential information can raise scientific and ethical concerns. We report the findings of a systematic survey of reporting, experimental design and statistical analysis in published biomedical research using laboratory animals. Medline and EMBASE were searched for studies reporting research on live rats, mice and non-human primates carried out in UK and US publicly funded research establishments. Detailed information was collected from 271 publications, about the objective or hypothesis of the study, the number, sex, age and/or weight of animals used, and experimental and statistical methods. Only 59% of the studies stated the hypothesis or objective of the study and the number and characteristics of the animals used. Appropriate and efficient experimental design is a critical component of high-quality science. Most of the papers surveyed did not use randomisation (87%) or blinding (86%), to reduce bias in animal selection and outcome assessment. Only 70% of the publications that used statistical methods described their methods and presented the results with a measure of error or variability. This survey has identified a number of issues that need to be addressed in order to improve experimental design and reporting in publications describing research using animals. Scientific publication is a powerful and important source of information; the authors of scientific publications therefore have a responsibility to describe their methods and results comprehensively, accurately and transparently, and peer reviewers and journal editors share the responsibility to ensure that published studies fulfil these criteria

Phase diagram of two-component bosons on an optical lattice

We present a theoretical analysis of the phase diagram of two--component bosons on an optical lattice. A new formalism is developed which treats the effective spin interactions in the Mott and superfluid phases on the same footing. Using the new approach we chart the phase boundaries of the broken spin symmetry states up to the Mott to superfluid transition and beyond. Near the transition point, the magnitude of spin exchange can be very large, which facilitates the experimental realization of spin-ordered states. We find that spin and quantum fluctuations have a dramatic effect on the transition making it first order in extended regions of the phase diagram. For Mott states with even occupation we find that the competition between effective Heisenberg exchange and spin-dependent on--site interaction leads to an additional phase transition from a Mott insulator with no broken symmetries into a spin-ordered insulator

Quantum quench dynamics of the sine-Gordon model in some solvable limits

In connection with the the thermalization problem in isolated quantum systems, we investigate the dynamics following a quantum quench of the sine-Gordon model in the Luther-Emery and the semiclassical limits. We consider the quench from the gapped to the gapless phase as well as reversed one. By obtaining analytic expressions for the one and two-point correlation functions of the order parameter operator at zero-temperature, the manifestations of integrability in the absence of thermalization in the sine-Gordon model are studied. It is thus shown that correlations in the long time regime after the quench are well described by a generalized Gibbs ensemble. We also consider the case where the system is initially in contact with a reservoir at finite temperature. The possible relevance of our results to current and future experiments with ultracold atomic systems is also critically considered.Comment: 21 pages, no figures. To appear in New J. Phys

Dephasing-induced diffusive transport in anisotropic Heisenberg model

We study transport properties of anisotropic Heisenberg model in a disordered magnetic field experiencing dephasing due to external degrees of freedom. In the absence of dephasing the model can display, depending on parameter values, the whole range of possible transport regimes: ideal ballistic conduction, diffusive, or ideal insulating behavior. We show that the presence of dephasing induces normal diffusive transport in a wide range of parameters. We also analyze the dependence of spin conductivity on the dephasing strength. In addition, by analyzing the decay of spin-spin correlation function we discover a presence of long-range order for finite chain sizes. All our results for a one-dimensional spin chain at infinite temperature can be equivalently rephrased for strongly-interacting disordered spinless fermions.Comment: 15 pages, 9 PS figure