588 research outputs found
PeÄnjaci GariÄ grada
Funding: This work was supported by the EU Horizon 2020 project, Team-Play (https://www.teamplay-h2020.eu), grant number 779882, and UK EPSRC Discovery, grant number EP/P020631/1.Energy, Time and Security (ETS) properties of programs are becoming increasingly prioritised by developers, especially where applications are running on ETS sensitive systems, such as embedded devices or the Internet of Things. Moreover, developers currently lack tools and language properties to allow them to reason about ETS. In this paper, we introduce a new contract specification frame-work, called Drive, which allows a developer to reason about ETS or other non-functional properties of their programs as first-class properties of the language. Furthermore, we introduce a contract specification language, allowing developers to reason about these first-class ETS properties by expressing contracts that are proved correct by an underlying formal type system. Finally, we show our contract framework over a number of representable examples, demonstrating provable worst-case ETS properties.Postprin
Rings and bars: unmasking secular evolution of galaxies
Secular evolution gradually shapes galaxies by internal processes, in
contrast to early cosmological evolution which is more rapid. An important
driver of secular evolution is the flow of gas from the disk into the central
regions, often under the influence of a bar. In this paper, we review several
new observational results on bars and nuclear rings in galaxies. They show that
these components are intimately linked to each other, and to the properties of
their host galaxy. We briefly discuss how upcoming observations, e.g., imaging
from the Spitzer Survey of Stellar Structure in Galaxies (S4G), will lead to
significant further advances in this area of research.Comment: Invited review at "Galaxies and their Masks", celebrating Ken
Freeman's 70-th birthday, Sossusvlei, Namibia, April 2010. To be published by
Springer, New York, editors D.L. Block, K.C. Freeman, & I. Puerari; minor
change
The Effect of Chemical Information on the Spatial Distribution of Fruit Flies: I Model Results
Animal aggregation is a general phenomenon in ecological systems. Aggregations are generally considered as an evolutionary advantageous state in which members derive the benefits of protection and mate choice, balanced by the costs of limiting resources and competition. In insects, chemical information conveyance plays an important role in finding conspecifics and forming aggregations. In this study, we describe a spatio-temporal simulation model designed to explore and quantify the effects of these infochemicals, i.e., food odors and an aggregation pheromone, on the spatial distribution of a fruit fly (Drosophila melanogaster) population, where the lower and upper limit of local population size are controlled by an Allee effect and competition. We found that during the spatial expansion and strong growth of the population, the use of infochemicals had a positive effect on population size. The positive effects of reduced mortality at low population numbers outweighed the negative effects of increased mortality due to competition. At low resource densities, attraction toward infochemicals also had a positive effect on population size during recolonization of an area after a local population crash, by decreasing the mortality due to the Allee effect. However, when the whole area was colonized and the population was large, the negative effects of competition on population size were larger than the positive effects of the reduction in mortality due to the Allee effect. The use of infochemicals thus has mainly positive effects on population size and population persistence when the population is small and during the colonization of an area
A white dwarf with transiting circumstellar material far outside the Roche limit
We report the discovery of a white dwarf exhibiting deep, irregularly shaped transits, indicative of circumstellar planetary debris. Using Zwicky Transient Facility DR2 photometry of ZTF J013906.17+524536.89 and follow-up observations from the Las Cumbres Observatory, we identify multiple transit events that recur every â107.2 days, much longer than the 4.5â4.9 hr orbital periods observed in WD 1145+017, the only other white dwarf known with transiting planetary debris. The transits vary in both depth and duration, lasting 15â25 days and reaching 20%â45% dips in flux. Optical spectra reveal strong Balmer lines, identifying the white dwarf as a DA with T_eff=10,530 ± 140K and log(g) =7.86 ± 0.06. A Ca ii K absorption feature is present in all spectra both in and out of transit. Spectra obtained during one night at roughly 15% transit depth show increased Ca ii K absorption with a model atmospheric fit suggesting [Ca/H] = â4.6 ± 0.3, whereas spectra taken on three nights out of transit have [Ca/H] of â5.5, â5.3, and â4.9 with similar uncertainties. While the Ca ii K line strength varies by only 2Ï, we consider a predominantly interstellar origin for Ca absorption unlikely. We suggest a larger column density of circumstellar metallic gas along the line of site or increased accretion of material onto the white dwarf's surface are responsible for the Ca absorption, but further spectroscopic studies are required. In addition, high-speed time series photometry out of transit reveals variability with periods of 900 and 1030 s, consistent with ZZ Ceti pulsations.Published versio
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
On the selection of AGN neutrino source candidates for a source stacking analysis with neutrino telescopes
The sensitivity of a search for sources of TeV neutrinos can be improved by
grouping potential sources together into generic classes in a procedure that is
known as source stacking. In this paper, we define catalogs of Active Galactic
Nuclei (AGN) and use them to perform a source stacking analysis. The grouping
of AGN into classes is done in two steps: first, AGN classes are defined, then,
sources to be stacked are selected assuming that a potential neutrino flux is
linearly correlated with the photon luminosity in a certain energy band (radio,
IR, optical, keV, GeV, TeV). Lacking any secure detailed knowledge on neutrino
production in AGN, this correlation is motivated by hadronic AGN models, as
briefly reviewed in this paper.
The source stacking search for neutrinos from generic AGN classes is
illustrated using the data collected by the AMANDA-II high energy neutrino
detector during the year 2000. No significant excess for any of the suggested
groups was found.Comment: 43 pages, 12 figures, accepted by Astroparticle Physic
An improved method for measuring muon energy using the truncated mean of dE/dx
The measurement of muon energy is critical for many analyses in large
Cherenkov detectors, particularly those that involve separating
extraterrestrial neutrinos from the atmospheric neutrino background. Muon
energy has traditionally been determined by measuring the specific energy loss
(dE/dx) along the muon's path and relating the dE/dx to the muon energy.
Because high-energy muons (E_mu > 1 TeV) lose energy randomly, the spread in
dE/dx values is quite large, leading to a typical energy resolution of 0.29 in
log10(E_mu) for a muon observed over a 1 km path length in the IceCube
detector. In this paper, we present an improved method that uses a truncated
mean and other techniques to determine the muon energy. The muon track is
divided into separate segments with individual dE/dx values. The elimination of
segments with the highest dE/dx results in an overall dE/dx that is more
closely correlated to the muon energy. This method results in an energy
resolution of 0.22 in log10(E_mu), which gives a 26% improvement. This
technique is applicable to any large water or ice detector and potentially to
large scintillator or liquid argon detectors.Comment: 12 pages, 16 figure
All-particle cosmic ray energy spectrum measured with 26 IceTop stations
We report on a measurement of the cosmic ray energy spectrum with the IceTop
air shower array, the surface component of the IceCube Neutrino Observatory at
the South Pole. The data used in this analysis were taken between June and
October, 2007, with 26 surface stations operational at that time, corresponding
to about one third of the final array. The fiducial area used in this analysis
was 0.122 km^2. The analysis investigated the energy spectrum from 1 to 100 PeV
measured for three different zenith angle ranges between 0{\deg} and 46{\deg}.
Because of the isotropy of cosmic rays in this energy range the spectra from
all zenith angle intervals have to agree. The cosmic-ray energy spectrum was
determined under different assumptions on the primary mass composition. Good
agreement of spectra in the three zenith angle ranges was found for the
assumption of pure proton and a simple two-component model. For zenith angles
{\theta} < 30{\deg}, where the mass dependence is smallest, the knee in the
cosmic ray energy spectrum was observed between 3.5 and 4.32 PeV, depending on
composition assumption. Spectral indices above the knee range from -3.08 to
-3.11 depending on primary mass composition assumption. Moreover, an indication
of a flattening of the spectrum above 22 PeV were observed.Comment: 38 pages, 17 figure
- âŠ