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.

Relaxation rates and collision integrals for Bose-Einstein condensates

Near equilibrium, the rate of relaxation to equilibrium and the transport properties of excitations (bogolons) in a dilute Bose-Einstein condensate (BEC) are determined by three collision integrals, $\mathcal{G}^{12}$, $\mathcal{G}^{22}$, and $\mathcal{G}^{31}$. All three collision integrals conserve momentum and energy during bogolon collisions, but only $\mathcal{G}^{22}$ conserves bogolon number. Previous works have considered the contribution of only two collision integrals, $\mathcal{G}^{22}$ and $\mathcal{G}^{12}$. In this work, we show that the third collision integral $\mathcal{G}^{31}$ makes a significant contribution to the bogolon number relaxation rate and needs to be retained when computing relaxation properties of the BEC. We provide values of relaxation rates in a form that can be applied to a variety of dilute Bose-Einstein condensates.Comment: 18 pages, 4 figures, accepted by Journal of Low Temperature Physics 7/201

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

A molecule-based 1 : 2 digital demultiplexer

A trichromophoric molecule consisting of a porphyrin linked to both a dihydropyrene and a dihydroindolizine-type photochrome, in combination with a third harmonic generating crystal, functions as a 1:2 digital demultiplexer with photonic inputs and outputs. Each of the two photochromes may be cycled independently between two metastable forms, leading to four photoisomers, three of which are used in the demultiplexer. These isomers interact photochemically with the porphyrin in order to yield the demultiplexer function. With the address input (1064-nm light) turned off, one Output of the device (porphyrin fluorescence) tracks the state of the data input (532-nm light). When the address input is turned on, the second output (absorbance at 572 nm) tracks the state of the data input, while the first output remains off. The demultiplexer does not require chemical or electrical inputs, and can cycle through its operational sequences multiple times

Coherent Propagation of Polaritons in Semiconductor Heterostructures: Nonlinear Pulse Transmission in Theory and Experiment

The influence of coherent optical nonlinearities on polariton propagation effects is studied within a theory-experiment comparison. A novel approach that combines a microscopic treatment of the boundary problem in a sample of finite thickness with excitonic and biexcitonic nonlinearities is introduced. Light-polarization dependent spectral changes are analyzed for single-pulse transmission and pump-probe excitation

Extending Human Perception of Electromagnetic Radiation to the UV Region through Biologically Inspired Photochromic Fuzzy Logic (BIPFUL) Systems.

Photochromic Fuzzy Logic Systems have been designed that extend human visual perception into the UV region. The systems are founded on a detailed knowledge of the activation wavelengths and quantum yields of a series of thermally reversible photochromic compounds. By appropriate matching of the photochromic behaviour unique colour signatures are generated in response differing UV activation frequencies

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

Rationality in context: An analogical perspective

At times, human behavior seems erratic and irrational. Therefore, when modeling human decision-making, it seems reasonable to take the remarkable abilities of humans into account with respect to rational behavior, but also their apparent deviations from the normative standards of rationality shining up in certain rationality tasks. Based on well-known challenges for human rationality, together with results from psychological studies on decision-making and from previous work in the field of computational modeling of analogy-making, I argue that the analysis and modeling of rational belief and behavior should also consider context-related cognitive mechanisms like analogy-making and coherence maximization of the background theory. Subsequently, I conceptually outline a high-level algorithmic approach for a Heuristic Driven Theory Projection-based system for simulating context-dependent human-style rational behavior. Finally, I show and elaborate on the close connections, but also on the significant differences, of this approach to notions of "ecological rationality"

High Effective Coverage of Vector Control Interventions in Children After Achieving Low Malaria Transmission in Zanzibar, Tanzania.

\ud \ud Formerly a high malaria transmission area, Zanzibar is now targeting malaria elimination. A major challenge is to avoid resurgence of malaria, the success of which includes maintaining high effective coverage of vector control interventions such as bed nets and indoor residual spraying (IRS). In this study, caretakers' continued use of preventive measures for their children is evaluated, following a sharp reduction in malaria transmission. A cross-sectional community-based survey was conducted in June 2009 in North A and Micheweni districts in Zanzibar. Households were randomly selected using two-stage cluster sampling. Interviews were conducted with 560 caretakers of under-five-year old children, who were asked about perceptions on the malaria situation, vector control, household assets, and intention for continued use of vector control as malaria burden further decreases. Effective coverage of vector control interventions for under-five children remains high, although most caretakers (65%; 363/560) did not perceive malaria as presently being a major health issue. Seventy percent (447/643) of the under-five children slept under a long-lasting insecticidal net (LLIN) and 94% (607/643) were living in houses targeted with IRS. In total, 98% (628/643) of the children were covered by at least one of the vector control interventions. Seasonal bed-net use for children was reported by 25% (125/508) of caretakers of children who used bed nets. A high proportion of caretakers (95%; 500/524) stated that they intended to continue using preventive measures for their under-five children as malaria burden further reduces. Malaria risk perceptions and different perceptions of vector control were not found to be significantly associated with LLIN effective coverage While the majority of caretakers felt that malaria had been reduced in Zanzibar, effective coverage of vector control interventions remained high. Caretakers appreciated the interventions and recognized the value of sustaining their use. Thus, sustaining high effective coverage of vector control interventions, which is crucial for reaching malaria elimination in Zanzibar, can be achieved by maintaining effective delivery of these interventions