370 research outputs found
Ecological niche and potential geographic distribution of the invasive fruit fly *Bactrocera invadens* (Diptera, Tephritidae)
Two correlative approaches to the challenge of ecological niche modeling (genetic algorithm, maximum entropy) were used to estimate the potential global distribution of the invasive fruit fly, Bactrocera invadens, based on associations between known occurrence records and a set of environmental predictor variables. The two models yielded similar estimates, largely corresponding to Equatorial climate classes with high levels of precipitation. The maximum entropy approach was somewhat more conservative in its evaluation of suitability, depending on thresholds for presence/absence that are selected, largely excluding areas with distinct dry seasons; the genetic algorithm models, in contrast, indicate that climate class as partly suitable. Predictive tests based on independent distributional data indicate that model predictions are quite robust. Field observations in Benin and Tanzania confirm relationships between seasonal occurrences of this species and humidity and temperature
Active Galaxies in the UV
In this article we present different aspects of AGN studies demonstrating the
importance of the UV spectral range. Most important diagnostic lines for
studying the general physical conditions as well as the metalicities in the
central broad line region in AGN are emitted in the UV. The UV/FUV continuum in
AGN excites not only the emission lines in the immediate surrounding but it is
responsible for the ionization of the intergalactic medium in the early stages
of the universe. Variability studies of the emission line profiles of AGN in
the UV give us information on the structure and kinematics of the immediate
surrounding of the central supermassive black hole as well as on its mass
itself.Comment: 29 pages, 13 figures, Ap&SS in pres
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficult to implement correctly, especially when considering the relaxed memory ordering models commonly employed by today’s multiprocessors. The formal verification of such implementations is challenging as well because the high degree of concurrency leads to a large number of possible executions. In this case study, we develop a SAT-based bounded verification method and apply it to a representative example, a well-known two-lock concurrent queue algorithm. We first formulate a correctness criterion that specifically targets failures caused by concurrency; it demands that all concurrent executions be observationally equivalent to some serial execution. Next, we define a relaxed memory model that conservatively approximates several common shared-memory multiprocessors. Using commit point specifications, a suite of finite symbolic tests, a prototype encoder, and a standard SAT solver, we successfully identify two failures of a naive implementation that can be observed only under relaxed memory models. We eliminate these failures by inserting appropriate memory ordering fences into the code. The experiments confirm that our approach provides a valuable aid for desigining and implementing concurrent data types
Recommended from our members
Feasibility study for improved steady-state initialization algorithms for the RELAP5 computer code
A design for a new steady-state initialization method is presented that represents an improvement over the current method used in RELAP5. Current initialization methods for RELAP5 solve the transient fluidflow balance equations simulating a transient to achieve steady-state conditions. Because the transient solution is used, the initial conditions may change from the desired values requiring the use of controllers and long transient running times to obtain steady-state conditions for system problems. The new initialization method allows the user to fix thermal-hydraulic values in volumes and junctions where the conditions are best known and have the code compute the initial conditions in other areas of the system. The steady-state balance equations and solution methods are presented. The constitutive, component, and specialpurpose models are reviewed with respect to modifications required for the new steady-state initialization method. The requirements for user input are defined and the feasibility of the method is demonstrated with a testbed code by initializing some simple channel problems. The initialization of the sample problems using, the old and the new methods are compared
Mirror quiescence and high-sensitivity position measurements with feedback
We present a detailed study of how phase-sensitive feedback schemes can be
used to improve the performance of optomechanical devices. Considering the case
of a cavity mode coupled to an oscillating mirror by the radiation pressure, we
show how feedback can be used to reduce the position noise spectrum of the
mirror, cool it to its quantum ground state, or achieve position squeezing.
Then, we show that even though feedback is not able to improve the sensitivity
of stationary position spectral measurements, it is possible to design a
nonstationary strategy able to increase this sensitivity.Comment: 25 pages, 11 figure
Risk of Adverse Birth Outcomes in Two Cohorts of Pregnant Women With HIV in Zambia
Background: A trial of progesterone to prevent preterm birth among HIV-infected Zambian women [Improving Pregnancy Outcomes with Progesterone (IPOP)] found no treatment effect, but the risk of the primary outcome was among the lowest ever documented in women with HIV. In this secondary analysis, we compare the risks of preterm birth (<37 weeks), stillbirth, and a composite primary outcome comprising the two in IPOP versus an observational pregnancy cohort [Zambian Preterm Birth Prevention Study (ZAPPS)] in Zambia, to evaluate reasons for the low risk in IPOP. Methods: Both studies enrolled women before 24 gestational weeks, during August 2015-September 2017 (ZAPPS) and February 2018-January 2020 (IPOP). We used linear probability and log-binomial regression to estimate risk differences and risk ratios (RR), before and after restriction and standardization with inverse probability weights. Results: The unadjusted risk of composite outcome was 18% in ZAPPS (N = 1450) and 9% in IPOP (N = 791) (RR = 2.0; 95% CI = 1.6, 2.6). After restricting and standardizing the ZAPPS cohort to the distribution of IPOP baseline characteristics, the risk remained higher in ZAPPS (RR = 1.6; 95% CI = 1.0, 2.4). The lower risk of preterm/stillbirth in IPOP was only partially explained by measured risk factors. Conclusions: Possible benefits in IPOP of additional monetary reimbursement, more frequent visits, and group-based care warrant further investigation
The Fueling and Evolution of AGN: Internal and External Triggers
In this chapter, I review the fueling and evolution of active galactic nuclei
(AGN) under the influence of internal and external triggers, namely intrinsic
properties of host galaxies (morphological or Hubble type, color, presence of
bars and other non-axisymmetric features, etc) and external factors such as
environment and interactions. The most daunting challenge in fueling AGN is
arguably the angular momentum problem as even matter located at a radius of a
few hundred pc must lose more than 99.99 % of its specific angular momentum
before it is fit for consumption by a BH. I review mass accretion rates,
angular momentum requirements, the effectiveness of different fueling
mechanisms, and the growth and mass density of black BHs at different epochs. I
discuss connections between the nuclear and larger-scale properties of AGN,
both locally and at intermediate redshifts, outlining some recent results from
the GEMS and GOODS HST surveys.Comment: Invited Review Chapter to appear in LNP Volume on "AGN Physics on All
Scales", Chapter 6, in press. 40 pages, 12 figures. Typo in Eq 5 correcte
Effects of coastal urbanization on salt-marsh faunal assemblages in the northern Gulf of Mexico
Author Posting. © American Fisheries Society, 2014. This article is posted here by permission of American Fisheries Society for personal use, not for redistribution. The definitive version was published in Marine and Coastal Fisheries: Dynamics, Management, and Ecosystem Science 6 (2014): 89-107, doi:10.1080/19425120.2014.893467.Coastal landscapes in the northern Gulf of Mexico, specifically the Mississippi coast, have undergone rapid urbanization that may impact the suitability of salt-marsh ecosystems for maintaining and regulating estuarine faunal communities. We used a landscape ecology approach to quantify the composition and configuration of salt-marsh habitats and developed surfaces at multiple spatial scales surrounding three small, first-order salt-marsh tidal creeks arrayed along a gradient of urbanization in two river-dominated estuaries. From May 3 to June 4, 2010, nekton and macroinfauna were collected weekly at all six sites. Due to the greater abundance of grass shrimp Palaemonetes spp., brown shrimp Farfantepenaeus aztecus, blue crab Callinectes sapidus, Gulf Menhaden Brevoortia patronus, and Spot Leiostomus xanthurus, tidal creeks in intact natural (IN) salt-marsh landscapes supported a nekton assemblage that was significantly different from those in partially urbanized (PU) or completely urbanized (CU) salt-marsh landscapes. However, PU landscapes still supported an abundant nekton assemblage. In addition, the results illustrated a linkage between life history traits and landscape characteristics. Resident and transient nekton species that have specific habitat requirements are more likely to be impacted in urbanized landscapes than more mobile species that are able to exploit multiple habitats. Patterns were less clear for macroinfaunal assemblages, although they were comparatively less abundant in CU salt-marsh landscapes than in either IN or PU landscapes. The low abundance or absence of several macroinfaunal taxa in CU landscapes may be viewed as an additional indicator of poor habitat quality for nekton. The observed patterns also suggested that benthic sediments in the CU salt-marsh landscapes were altered in comparison with IN or PU landscapes. The amount of developed shoreline and various metrics related to salt marsh fragmentation were important drivers of observed patterns in nekton and macroinfaunal assemblages
Decay spectroscopy of two-quasiparticle K isomers in Cm 246,248 via inelastic and transfer reactions
The decay of K isomers in Cm (Z = 96) isotopes has been studied using inelastic and transfer reactions. The half-life of a previously identified 2-quasiparticle (qp) Kπ=8- isomer in Cm246 has been measured. A new 2-qp isomer is observed in Cm248, its half-life measured and its decay scheme established. The reduced K hindrances extracted for the decay transitions from the isomers in Cm246,248 indicate K to be a robust quantum number and validate axial symmetry in these nuclei. The excitation energies of the 2-qp isomers in Cm246 (N = 150) and Cm248 (N = 152) support the persistence of a deformed subshell gap at N = 152 in the Z≈100 region down to Z = 96 nuclei
- …