Transport coefficients from the Boson Uehling-Uhlenbeck Equation

We derive microscopic expressions for the bulk viscosity, shear viscosity and thermal conductivity of a quantum degenerate Bose gas above $T_C$, the critical temperature for Bose-Einstein condensation. The gas interacts via a contact potential and is described by the Uehling-Uhlenbeck equation. To derive the transport coefficients, we use Rayleigh-Schrodinger perturbation theory rather than the Chapman-Enskog approach. This approach illuminates the link between transport coefficients and eigenvalues of the collision operator. We find that a method of summing the second order contributions using the fact that the relaxation rates have a known limit improves the accuracy of the computations. We numerically compute the shear viscosity and thermal conductivity for any boson gas that interacts via a contact potential. We find that the bulk viscosity remains identically zero as it is for the classical case.Comment: 10 pages, 2 figures, submitted to Phys. Rev.

Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly

Line-Field Confocal Optical Coherence Tomography Increases the Diagnostic Accuracy and Confidence for Basal Cell Carcinoma in Equivocal Lesions: A Prospective Study

Diagnosing clinically unclear basal cell carcinomas (BCCs) can be challenging. Line-field confocal optical coherence tomography (LC-OCT) is able to display morphological features of BCC subtypes with good histological correlation. The aim of this study was to investigate the accuracy of LC-OCT in diagnosing clinically unsure cases of BCC compared to dermoscopy alone and in distinguishing between superficial BCCs and other BCC subtypes. Moreover, we addressed pitfalls in false positive cases. We prospectively enrolled 182 lesions of 154 patients, referred to our department to confirm or to rule out the diagnosis of BCC. Dermoscopy and LC-OCT images were evaluated by two experts independently. Image quality, LC-OCT patterns and criteria, diagnosis, BCC subtype, and diagnostic confidence were assessed. Sensitivity and specificity of additional LC-OCT were compared to dermoscopy alone for identifying BCC in clinically unclear lesions. In addition, key LC-OCT features to distinguish between BCCs and non-BCCs and to differentiate superficial BCCs from other BCC subtypes were determined by linear regressions. Diagnostic confidence was rated as \u201chigh\u201d in only 48% of the lesions with dermoscopy alone compared to 70% with LC-OCT. LC-OCT showed a high sensitivity (98%) and specificity (80%) compared to histology, and these were even higher (100% sensitivity and 97% specificity) in the subgroup of lesions with high diagnostic confidence. Interobserver agreement was nearly perfect (95%). The combination of dermoscopy and LC-OCT reached a sensitivity of 100% and specificity of 81.2% in all cases and increased to sensitivity of 100% and specificity of 94.9% in cases with a high diagnostic confidence. The performance of LC-OCT was influenced by the image quality but not by the anatomical location of the lesion. The most specific morphological LC-OCT criteria in BCCs compared to non-BCCs were: less defined dermoepidermal junction (DEJ), hyporeflective tumor lobules, and dark rim. The most relevant features of the subgroup of superficial BCCs (sBCCs) were: string of pearls pattern and absence of epidermal thinning. Our diagnostic confidence, sensitivity, and specificity in detecting BCCs in the context of clinically equivocal lesions significantly improved using LC-OCT in comparison to dermoscopy only. Operator training for image acquisition is fundamental to achieve the best results. Not only the differential diagnosis of BCC, but also BCC subtyping can be performed at bedside with LC-OCT

Line-field optical coherence tomography: in\ua0vivo diagnosis of basal cell carcinoma subtypes compared with histopathology

Background: Basal cell carcinoma (BCC) is the most common skin cancer in the general population. Treatments vary from Mohs surgery to topical therapy, depending on the subtype. Dermoscopy, reflectance confocal microscopy (RCM) and optical coherence tomography (OCT) have gained a foothold in daily clinical practice to optimize diagnosis and subtype-oriented treatment. The new technique of line-field confocal OCT (LC-OCT) allows imaging at high resolution and depth, but its use has not yet been investigated in larger studies. Aim: To evaluate the main LC-OCT criteria for the diagnosis and subtyping of BCC compared with histopathology, OCT and RCM. Methods: In total, 52 histopathologically confirmed BCCs were evaluated for imaging criteria. Their frequency, predictive values and ROC curves were calculated. A multinominal regression with stepwise variables selection to distinguish BCC subtypes was performed. Results: Nodular BCCs were mainly characterized by atypical keratinocytes, altered dermoepidermal junction (DEJ), tumour nests in the dermis, dark clefting, prominent vascularization and white hyper-reflective stroma. Superficial BCCs showed a thickening of the epidermis due to a series of tumour lobules with clear connection to the DEJ (string of pearls pattern). Infiltrative BCCs were characterized by elongated hyporeflective tumour strands, surrounded by bright collagen (shoal of fish pattern). The overall BCC subtype agreement between LC-OCT and conventional histology was 90.4% (95% CI 79.0\u201396.8). Conclusion: LC-OCT allows noninvasive, real-time identification of BCCs and their subtypes in vertical, horizontal and three-dimension mode compared with histology, RCM and OCT. Further larger studies are needed to better explore the clinical applications of this promising device

CAPRG: Sequence Assembling Pipeline for Next Generation Sequencing of Non-Model Organisms

Our goal is to introduce and describe the utility of a new pipeline “Contigs Assembly Pipeline using Reference Genome” (CAPRG), which has been developed to assemble “long sequence reads” for non-model organisms by leveraging a reference genome of a closely related phylogenetic relative. To facilitate this effort, we utilized two avian transcriptomic datasets generated using ROCHE/454 technology as test cases for CAPRG assembly. We compared the results of CAPRG assembly using a reference genome with the results of existing methods that utilize de novo strategies such as VELVET, PAVE, and MIRA by employing parameter space comparisons (intra-assembling comparison). CAPRG performed as well or better than the existing assembly methods based on various benchmarks for “gene-hunting.” Further, CAPRG completed the assemblies in a fraction of the time required by the existing assembly algorithms. Additional advantages of CAPRG included reduced contig inflation resulting in lower computational resources for annotation, and functional identification for contigs that may be categorized as “unknowns” by de novo methods. In addition to providing evaluation of CAPRG performance, we observed that the different assembly (inter-assembly) results could be integrated to enhance the putative gene coverage for any transcriptomics study

Switching of a photochromic molecule on gold electrodes: single-molecule measurements

We have studied the electronic changes caused by light-induced isomerization of a photochromic molecule between an open state (that absorbs in the UV to become closed) and a closed state (that absorbs in the visible to become open). Data obtained using a newly developed repetitive break junction method are interpreted in terms of single-molecule resistances of 526 +/- 90 M Omega in the open form and 4 +/- 1 M Omega in the closed form when the molecule is bound between two gold contacts via dithiol linkages. The corresponding ratio of open to closed resistance is in close agreement with the results of ab initio calculations, though the measured resistances are about half of the calculated values. Optical spectroscopy indicates that the photoisomerization occurs in both directions on small gold particles, evaporated thin gold films, and in the break junction experiments

When almost is not even close: Remarks on the approximability of HDTP

A growing number of researchers in Cognitive Science advocate the thesis that human cognitive capacities are constrained by computational tractability. If right, this thesis also can be expected to have far-reaching consequences for work in Artificial General Intelligence: Models and systems considered as basis for the development of general cognitive architectures with human-like performance would also have to comply with tractability constraints, making in-depth complexity theoretic analysis a necessary and important part of the standard research and development cycle already from a rather early stage. In this paper we present an application case study for such an analysis based on results from a parametrized complexity and approximation theoretic analysis of the Heuristic Driven Theory Projection (HDTP) analogy-making framework

Laser-induced fluorescence studies of the biodistribution of carotenoporphyrins in mice.

The biodistribution of two recently developed tumour markers, trimethylated (CP(Me)3) and trimethoxylated (CP(OMe)3) carotenoporphyrin, was investigated by means of laser-induced fluorescence (LIF) after i.v. injection into 38 tumour-bearing (MS-2 fibrosarcoma) female Balb/c mice. At 3, 24, 48 or 96 h after administration, the carotenoporphyrin fluorescence was measured in tumoral and peritumoral tissue, as well as in the abdominal, thoracic and cranial cavities. The fluorescence was induced by a nitrogen laser-pumped dye laser, emitting light at 425 nm, and analysed by a polychromator equipped with an image-intensified CCD camera. The fluorescence was evaluated at 490, 655 and 720 nm: the second and third wavelengths represent the carotenoporphyrin (CP)-related peaks, whereas the first one is close to the peak of the tissue autofluorescence. The tumour and the liver were the two tissue types showing the strongest carotenoporphyrin-related fluorescence, whereas the cerebral cortex and muscle consistently exhibited weak substance-related fluorescence. In most tissue types, the fluorescence intensities decreased over time. A few exceptions were observed, notably the liver, in which the intensity remained remarkably constant over the time period investigated