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