Fortran coarray implementation of semi-lagrangian convected air particles within an atmospheric model

This work added semi-Lagrangian convected air particles to the Intermediate Complexity Atmospheric Research (ICAR) model. The ICAR model is a simplified atmospheric model using quasi-dynamical downscaling to gain performance over more traditional atmospheric models. The ICAR model uses Fortran coarrays to split the domain amongst images and handle the halo region communication of the image’s boundary regions. The newly implemented convected air particles use trilinear interpolation to compute initial properties from the Eulerian domain and calculate humidity and buoyancy forces as the model runs. This paper investigated the performance cost and scaling attributes of executing unsaturated and saturated air particles versus the original particle-less model. An in-depth analysis was done on the communication patterns and performance of the semi-Lagrangian air particles, as well as the performance cost of a variety of initial conditions such as wind speed and saturation mixing ratios. This study found that given a linear increase in the number of particles communicated, there is an initial decrease in performance, but that it then levels out, indicating that over the runtime of the model, there is an initial cost of particle communication, but that the computational benefits quickly offset it. The study provided insight into the number of processors required to amortize the additional computational cost of the air particles

Inference in Probabilistic Logic Programs with Continuous Random Variables

Probabilistic Logic Programming (PLP), exemplified by Sato and Kameya's PRISM, Poole's ICL, Raedt et al's ProbLog and Vennekens et al's LPAD, is aimed at combining statistical and logical knowledge representation and inference. A key characteristic of PLP frameworks is that they are conservative extensions to non-probabilistic logic programs which have been widely used for knowledge representation. PLP frameworks extend traditional logic programming semantics to a distribution semantics, where the semantics of a probabilistic logic program is given in terms of a distribution over possible models of the program. However, the inference techniques used in these works rely on enumerating sets of explanations for a query answer. Consequently, these languages permit very limited use of random variables with continuous distributions. In this paper, we present a symbolic inference procedure that uses constraints and represents sets of explanations without enumeration. This permits us to reason over PLPs with Gaussian or Gamma-distributed random variables (in addition to discrete-valued random variables) and linear equality constraints over reals. We develop the inference procedure in the context of PRISM; however the procedure's core ideas can be easily applied to other PLP languages as well. An interesting aspect of our inference procedure is that PRISM's query evaluation process becomes a special case in the absence of any continuous random variables in the program. The symbolic inference procedure enables us to reason over complex probabilistic models such as Kalman filters and a large subclass of Hybrid Bayesian networks that were hitherto not possible in PLP frameworks. (To appear in Theory and Practice of Logic Programming).Comment: 12 pages. arXiv admin note: substantial text overlap with arXiv:1203.428

Cooling atoms into entangled states

We discuss the possibility of preparing highly entangled states by simply cooling atoms into the ground state of an applied interaction Hamiltonian. As in laser sideband cooling, we take advantage of a relatively large detuning of the desired state, while all other qubit states experience resonant laser driving. Once spontaneous emission from excited atomic states prepares the system in its ground state, it remains there with a very high fidelity for a wide range of experimental parameters and all possible initial states. After presenting the general theory, we discuss concrete applications with one and two qubits.Comment: 16 pages, 6 figures, typos correcte

Approximating Fractional Time Quantum Evolution

An algorithm is presented for approximating arbitrary powers of a black box unitary operation, $\mathcal{U}^t$, where $t$ is a real number, and $\mathcal{U}$ is a black box implementing an unknown unitary. The complexity of this algorithm is calculated in terms of the number of calls to the black box, the errors in the approximation, and a certain `gap' parameter. For general $\mathcal{U}$ and large $t$, one should apply $\mathcal{U}$ a total of $\lfloor t \rfloor$ times followed by our procedure for approximating the fractional power $\mathcal{U}^{t-\lfloor t \rfloor}$. An example is also given where for large integers $t$ this method is more efficient than direct application of $t$ copies of $\mathcal{U}$. Further applications and related algorithms are also discussed.Comment: 13 pages, 2 figure

Characteristics of GaSb and GaInSb Layers Grown by Metalorganic Vapor Phase Epitaxy

GaInSb and GaSb layers have been grown on GaSb and GaAs substrates using metalorganic vapor phase epitaxy (MOVPE) with trimethylgallium, trimethylindium and trimethylantimony as the sources. As grown layers are p type with the carrier concentration in the mid 10{sup 16} cm{sup {minus}3} range. N type layers are grown using diethyltellurium as the Te source. Incorporation of Te in high concentration showed compensation and secondary ion mass spectrometry (SIMS) result showed that only 2.5% of Te are active when 2 {times} 10{sup 19} cm{sup {minus}3} of Te was incorporated. The carrier concentration measured in n type samples increases as the temperature is lowered. This is explained by the presence of second band close to the conduction band minima. Silane which is a common n type dopant in GaAs and other III-V systems is shown to behave like p type in GaInSb. P-n junction structures have been grown on GaSb substrates to fabricate TPV cells

Debye temperature in YBa2Cu3Ox as measured from the electron spin-lattice relaxation of doped Yb3+ ions

The electron spin-lattice relaxation (SLR) times T1 of Yb3+ ions were measured from the temperature dependence of electron spin resonance line width in Y0.99Yb0.01Ba2Cu3Ox with different oxygen contents. Raman relaxation processes dominate the electron SLR. Derived from the temperature dependence of the SLR rate, the Debye temperature (ΘD) increases with the critical temperature Tc and oxygen content x. This relationship between Tc and ΘD can be well understood in terms of the modified Bardeen-Cooper-Schriefer theory of phonon mechanism for a strong electron-phonon coupling

Educating for Autonomy: Liberalism and Autonomy in the Capabilities Approach

Martha Nussbaum grounds her version of the capabilities approach in political liberalism. In this paper, we argue that the capabilities approach, insofar as it genuinely values the things that persons can actually do and be, must be grounded in a hybrid account of liberalism: in order to show respect for adults, its justification must be political; in order to show respect for children, however, its implementation must include a commitment to comprehensive autonomy, one that ensures that children develop the skills necessary to make meaningful choices about whether or not to exercise their basic capabilities. Importantly, in order to show respect for parents who do not necessarily recognize autonomy as a value, we argue that the liberal state, via its system of public education, should take on the role of ensuring that all children within the state develop a sufficient degree of autonomy

Variability in the summer movements, habitat use and thermal biology of two fish species in a temperate river

The ability of fish to cope with warm water temperatures in summer depends on factors including their thermal traits and the ability of individuals to access cool-water refugia. Knowledge is highly limited on the in situ responses of many fishes to elevated summer temperatures, including whether they express behavioural thermoregulation. The responses of two riverine species to summer water temperatures were tested here using the movement metrics, spatial habitat use and body temperatures of individual European barbel Barbus barbus (‘barbel’) and common bream Abramis brama (‘bream’) versus river temperatures. Acoustic biotelemetry was applied in the lower River Severn basin, western Britain, in summer 2021 (barbel) and 2022 (bream), where individuals could move across > 150 km of river, including a tributary of cooler water. Across all individuals, bream occupied 37 km of river length (mainstem only), with low inter-individual variability in their spatial habitat use, movements and body temperatures. In contrast, barbel occupied 62 km of river (main river/tributary), with relatively high inter-individual variability in spatial habitat use, movements and body temperatures, with higher variation in body temperatures as river temperatures increased (maximum mean daily temperature difference between individuals on the same day: 4.2 °C). Although warmer individuals generally moved more, their activity was greatest at relatively low temperatures and higher flows, and neither species revealed any evidence of behavioural thermoregulation during elevated temperatures. Enabling phenotypically diverse fish populations to express their natural behaviours and thermal preferences in summer water temperatures thus requires maintaining their free-ranging in thermally heterogenous habitats

TPV energy conversion: A review of material and cell related issues

This paper presents an overview of thermophotovoltaic (TPV) energy conversion using low band gap semiconductor photovoltaic cells. Physics of PN junctions related to TPV cells is described and the factors that affect overall cell efficiencies are outlined. Current status of bulk and epitaxial growth of TPV materials and cell fabrication issues are also described