Modelling and analysis of Markov reward automata

Costs and rewards are important ingredients for many types of systems, modelling critical aspects like energy consumption, task completion, repair costs, and memory usage. This paper introduces Markov reward automata, an extension of Markov automata that allows the modelling of systems incorporating rewards (or costs) in addition to nondeterminism, discrete probabilistic choice and continuous stochastic timing. Rewards come in two flavours: action rewards, acquired instantaneously when taking a transition; and state rewards, acquired while residing in a state. We present algorithms to optimise three reward functions: the expected cumulative reward until a goal is reached, the expected cumulative reward until a certain time bound, and the long-run average reward. We have implemented these algorithms in the SCOOP/IMCA tool chain and show their feasibility via several case studies

Anomaly analysis of Hawking radiation from Kaluza-Klein black hole with squashed horizon

Considering gravitational and gauge anomalies at the horizon, a new method that to derive Hawking radiations from black holes has been developed by Wilczek et al. In this paper, we apply this method to non-rotating and rotating Kaluza-Klein black holes with squashed horizon, respectively. For the rotating case, we found that, after the dimensional reduction, an effective U(1) gauge field is generated by an angular isometry. The results show that the gauge current and energy-momentum tensor fluxes are exactly equivalent to Hawking radiation from the event horizon.Comment: 15 pages, no figures, the improved version, accepted by Eur. Phys. J.

Corrections to Hawking-like Radiation for a Friedmann-Robertson-Walker Universe

Recently, a Hamilton-Jacobi method beyond semiclassical approximation in black hole physics was developed by \emph{Banerjee} and \emph{Majhi}\cite{beyond0}. In this paper, we generalize their analysis of black holes to the case of Friedmann-Robertson-Walker (FRW) universe. It is shown that all the higher order quantum corrections in the single particle action are proportional to the usual semiclassical contribution. The corrections to the Hawking-like temperature and entropy of apparent horizon for FRW universe are also obtained. In the corrected entropy, the area law involves logarithmic area correction together with the standard inverse power of area term.Comment: 10 pages, no figures, comments are welcome; v2: references added and some typoes corrected, to appear in Euro.Phys.J.C; v3:a defect corrected. We thank Dr.Elias Vagenas for pointing out a defect of our pape

What Makes Them Masters of Survival? Unraveling the Intricacies of Adaptive Thrive of Tetragonula iridipennis Smith in the Dynamic Ecosystems of Tamil Nadu, India

Stingless bees (Hymenoptera: Apidae), commonly called ‘Dammar bees in India,’ inhabit concealed environments across various ecosystems. They possess significant ecological importance as ‘Keystone Pollinators’, contributing crucially to the pollination of diverse flowering plants. Increased attention is being given to the patterning aspects of nests in nature. Our investigation into this occurrence within human-inhabited environments is characterized by repeated spatio-temporal patterns. Various criteria, including habitat preference, nesting pattern, orientations, elevation, and nest architecture, were chosen to assess the preferences of an indigenous stingless bee, Tetragonula iridipennis Smith, at 30 different locations in Tamil Nadu, India. Most colonies inhabited walls (50.0%), followed by tree trunks (33.33%). The maximum height of nest entrances from ground level, a significant parameter for adaptive defense patterns, ranged from 1.3 m to 2.98 m. Additionally, the circumference of nest entrances varied from 1.29 cm to 2.45 cm. The length of the external tube ranged from 1.1 cm to 3.24 cm, playing a crucial role in defense by presenting a thin layer of mud capping to prevent the entry of intruders. Bees can effectively thwart threats and predators Through complex nesting architecture, including resin and mud coating, pillar-like batumen structures, waxy solid buildings, and multiple nest entrances. Thus, the population and their colony propagation could be sustained

An exploratory study into the role and interplay of intrinsic and extrinsic cues in Australian consumers’ evaluations of fish.

This study explores the role and interplay of intrinsic and extrinsic cues when evaluating fish quality and in shaping consumers' attitudes toward fish consumption. A sensory analysis of nine different fish including five variants of barramundi was conducted to determine how consumers evaluated the fish on intrinsic cues. Focus groups were then conducted to explore the impact of extrinsic cues on attitudes and purchase intentions. While the sensory analysis revealed distinct differences between barramundi variants on intrinsic cues (notably taste), the focus groups revealed that, as a brand, barramundi is perceived much more favourably and consistently. Consumers used extrinsic cues, particularly country of origin, as surrogate indicators of quality. Aquaculture producers need to ensure intrinsic product quality and consistency, as while consumers use the extrinsic cue of "Australian grown" as a surrogate indicator of quality, as their familiarity and confidence with seafood grows, this overreliance on extrinsic cues may diminish

The type II-plateau supernova 2017eaw in NGC 6946 and its red supergiant progenitor

We present extensive optical photometric and spectroscopic observations, from 4 to 482 days after explosion, of the Type II-plateau (II-P) supernova (SN) 2017eaw in NGC 6946. SN 2017eaw is a normal SN II-P intermediate in properties between, for example, SN 1999em and SN 2012aw and the more luminous SN 2004et, also in NGC 6946. We have determined that the extinction to SN 2017eaw is primarily due to the Galactic foreground and that the SN site metallicity is likely subsolar. We have also independently confirmed a tip-of-the-red-giant-branch (TRGB) distance to NGC 6946 of 7.73 ± 0.78 Mpc. The distances to the SN that we have also estimated via both the standardized candle method and expanding photosphere method corroborate the TRGB distance. We confirm the SN progenitor identity in pre-explosion archival Hubble Space Telescope (HST) and Spitzer Space Telescope images, via imaging of the SN through our HST Target of Opportunity program. Detailed modeling of the progenitor's spectral energy distribution indicates that the star was a dusty, luminous red supergiant consistent with an initial mass of ~15 M ⊙

Timing of Radiotherapy (RT) after Radical Prostatectomy (RP): Long-term outcomes in the RADICALS-RT trial [NCT00541047]

Background The optimal timing of radiotherapy (RT) after radical prostatectomy for prostate cancer has been uncertain. RADICALS-RT compared efficacy and safety of adjuvant RT versus an observation policy with salvage RT for PSA failure. Methods RADICALS-RT was a randomised controlled trial enrolling patients with ≥1 risk factor (pT3/4, Gleason 7-10, positive margins, pre-op PSA≥10ng/ml) for recurrence after radical prostatectomy. Patients were randomised 1:1 to adjuvant RT (“Adjuvant-RT”) or an observation policy with salvage RT for PSA failure (“Salvage-RT”) defined as PSA≥0.1ng/ml or 3 consecutive rises. Stratification factors were Gleason score, margin status, planned RT schedule (52.5Gy/20 fractions or 66Gy/33 fractions) and treatment centre. The primary outcome measure was freedom-from-distant metastasis, designed with 80% power to detect an improvement from 90% with Salvage-RT (control) to 95% at 10yr with Adjuvant-RT. Secondary outcome measures were bPFS, freedom-from-non-protocol hormone therapy, safety and patient-reported outcomes. Standard survival analysis methods were used; HR<1 favours Adjuvant-RT. Findings Between Oct-2007 and Dec-2016, 1396 participants from UK, Denmark, Canada and Ireland were randomised: 699 Salvage-RT, 697 Adjuvant-RT. Allocated groups were balanced with median age 65yr. 93% (649/697) Adjuvant-RT reported RT within 6m after randomisation; 39% (270/699) Salvage-RT reported RT during follow-up. Median follow-up was 7.8 years. With 80 distant metastasis events, 10yr FFDM was 93% for Adjuvant-RT and 90% for Salvage-RT: HR=0.68 (95%CI 0·43–1·07, p=0·095). Of 109 deaths, 17 were due to prostate cancer. Overall survival was not improved (HR=0.980, 95%CI 0.667–1.440, p=0.917). Adjuvant-RT reported worse urinary and faecal incontinence one year after randomisation (p=0.001); faecal incontinence remained significant after ten years (p=0.017). Interpretation Long-term results from RADICALS-RT confirm adjuvant RT after radical prostatectomy increases the risk of urinary and bowel morbidity, but does not meaningfully improve disease control. An observation policy with salvage RT for PSA failure should be the current standard after radical prostatectomy

Global, regional, and national age-sex-specific mortality and life expectancy, 1950–2017: a systematic analysis for the Global Burden of Disease Study 2017

BACKGROUND: Assessments of age-specific mortality and life expectancy have been done by the UN Population Division, Department of Economics and Social Affairs (UNPOP), the United States Census Bureau, WHO, and as part of previous iterations of the Global Burden of Diseases, Injuries, and Risk Factors Study (GBD). Previous iterations of the GBD used population estimates from UNPOP, which were not derived in a way that was internally consistent with the estimates of the numbers of deaths in the GBD. The present iteration of the GBD, GBD 2017, improves on previous assessments and provides timely estimates of the mortality experience of populations globally. METHODS: The GBD uses all available data to produce estimates of mortality rates between 1950 and 2017 for 23 age groups, both sexes, and 918 locations, including 195 countries and territories and subnational locations for 16 countries. Data used include vital registration systems, sample registration systems, household surveys (complete birth histories, summary birth histories, sibling histories), censuses (summary birth histories, household deaths), and Demographic Surveillance Sites. In total, this analysis used 8259 data sources. Estimates of the probability of death between birth and the age of 5 years and between ages 15 and 60 years are generated and then input into a model life table system to produce complete life tables for all locations and years. Fatal discontinuities and mortality due to HIV/AIDS are analysed separately and then incorporated into the estimation. We analyse the relationship between age-specific mortality and development status using the Socio-demographic Index, a composite measure based on fertility under the age of 25 years, education, and income. There are four main methodological improvements in GBD 2017 compared with GBD 2016: 622 additional data sources have been incorporated; new estimates of population, generated by the GBD study, are used; statistical methods used in different components of the analysis have been further standardised and improved; and the analysis has been extended backwards in time by two decades to start in 1950. FINDINGS: Globally, 18·7% (95% uncertainty interval 18·4–19·0) of deaths were registered in 1950 and that proportion has been steadily increasing since, with 58·8% (58·2–59·3) of all deaths being registered in 2015. At the global level, between 1950 and 2017, life expectancy increased from 48·1 years (46·5–49·6) to 70·5 years (70·1–70·8) for men and from 52·9 years (51·7–54·0) to 75·6 years (75·3–75·9) for women. Despite this overall progress, there remains substantial variation in life expectancy at birth in 2017, which ranges from 49·1 years (46·5–51·7) for men in the Central African Republic to 87·6 years (86·9–88·1) among women in Singapore. The greatest progress across age groups was for children younger than 5 years; under-5 mortality dropped from 216·0 deaths (196·3–238·1) per 1000 livebirths in 1950 to 38·9 deaths (35·6–42·83) per 1000 livebirths in 2017, with huge reductions across countries. Nevertheless, there were still 5·4 million (5·2–5·6) deaths among children younger than 5 years in the world in 2017. Progress has been less pronounced and more variable for adults, especially for adult males, who had stagnant or increasing mortality rates in several countries. The gap between male and female life expectancy between 1950 and 2017, while relatively stable at the global level, shows distinctive patterns across super-regions and has consistently been the largest in central Europe, eastern Europe, and central Asia, and smallest in south Asia. Performance was also variable across countries and time in observed mortality rates compared with those expected on the basis of development. INTERPRETATION: This analysis of age-sex-specific mortality shows that there are remarkably complex patterns in population mortality across countries. The findings of this study highlight global successes, such as the large decline in under-5 mortality, which reflects significant local, national, and global commitment and investment over several decades. However, they also bring attention to mortality patterns that are a cause for concern, particularly among adult men and, to a lesser extent, women, whose mortality rates have stagnated in many countries over the time period of this study, and in some cases are increasing