1,801 research outputs found
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, , where is a real number, and
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
and large , one should apply a total of times followed by our procedure for approximating the fractional
power . An example is also given where for
large integers this method is more efficient than direct application of
copies of . Further applications and related algorithms are also
discussed.Comment: 13 pages, 2 figure
Recommended from our members
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
Recommended from our members
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
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
- …