A Calculus of Evolving Objects

The demands of developing modern, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Not only applications must evolve over time, but the object models themselves may need to be adapted to the requirements of different run-time contexts. Class-based models and prototype-based models, for example, may need to co-exist to meet the demands of dynamically evolving applications. Multi-dimensional dispatch, fine-grained and dynamic software composition, and run-time evolution of behaviour are further examples of diverse mechanisms which may need to co-exist in a dynamically evolving run-time environment How can we model the semantics of these highly dynamic features, yet still offer some reasonable safety guarantees? To this end we present an original calculus in which objects can adapt their behaviour at run-time to changing contexts. Both objects and environments are represented by first-class mappings between variables and values. Message sends are dynamically resolved to method calls. Variables may be dynamically bound, making it possible to model a variety of dynamic mechanisms within the same calculus. Despite the highly dynamic nature of the calculus, safety properties are assured by a type assignment system.

A Calculus of Evolving Objects

The demands of developing modern, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Not only must applications evolve over time, but the object models themselves may need to be adapted to the requirements of different run-time contexts. Class-based models and prototype-based models, for example, may need to co-exist to meet the demands of dynamically evolving applications. Multi-dimensional dispatch, fine-grained and dynamic software composition, and run-time evolution of behaviour are further examples of diverse mechanisms which may need to co-exist in a dynamically evolving run-time environment. How can we model the semantics of these highly dynamic features, yet still offer some reasonable safety guarantees? To this end we present an original calculus in which objects can adapt their behaviour at run-time. Both objects and environments are represented by first-class mappings between variables and values. Message sends are dynamically resolved to method calls. Variables may be dynamically bound, making it possible to model a variety of dynamic mechanisms within the same calculus. Despite the highly dynamic nature of the calculus, safety properties are assured by a type assignment system.

Lions-type compactness and Rubik actions on the Heisenberg group

In this paper we prove a Lions-type compactness embedding result for symmetric unbounded domains of the Heisenberg group. The natural group action on the Heisenberg group TeX is provided by the unitary group U(n) × {1} and its appropriate subgroups, which will be used to construct subspaces with specific symmetry and compactness properties in the Folland-Stein’s horizontal Sobolev space TeX. As an application, we study the multiplicity of solutions for a singular subelliptic problem by exploiting a technique of solving the Rubik-cube applied to subgroups of U(n) × {1}. In our approach we employ concentration compactness, group-theoretical arguments, and variational methods.

Pelvic lymph nodes: distribution and nodal tumour burden of urothelial bladder cancer

To evaluate the number of lymph nodes and the lymph node tumour burden in different anatomical pelvic regions to better asses the impact of variations in the extent of lymphadenectomy on reported LN parameters and pelvic tumour clearance.

Healthcare and patient costs of a proactive chlamydia screening programme: the Chlamydia Screening Studies project

BACKGROUND AND OBJECTIVE: Most economic evaluations of chlamydia screening do not include costs incurred by patients. The objective of this study was to estimate both the health service and private costs of patients who participated in proactive chlamydia screening, using mailed home-collected specimens as part of the Chlamydia Screening Studies project. METHODS: Data were collected on the administrative costs of the screening study, laboratory time and motion studies and patient-cost questionnaire surveys were conducted. The cost for each screening invitation and for each accepted offer was estimated. One-way sensitivity analysis was conducted to explore the effects of variations in patient costs and the number of patients accepting the screening offer. RESULTS: The time and costs of processing urine specimens and vulvo-vaginal swabs from women using two nucleic acid amplification tests were similar. The total cost per screening invitation was 20.37 pounds (95% CI 18.94 pounds to 24.83). This included the National Health Service cost per individual screening invitation 13.55 pounds (95% CI 13.15 pounds to 14.33) and average patient costs of 6.82 pounds (95% CI 5.48 pounds to 10.22). Administrative costs accounted for 50% of the overall cost. CONCLUSIONS: The cost of proactive chlamydia screening is comparable to those of opportunistic screening. Results from this study, which is the first to collect private patient costs associated with a chlamydia screening programme, could be used to inform future policy recommendations and provide unique primary cost data for economic evaluations.

Holocene flood frequency across the Central Alps – solar forcing and evidence for variations in North Atlantic atmospheric circulation

The frequency of large-scale heavy precipitation events in the European Alps is expected to undergo substantial changes with current climate change. Hence, knowledge about the past natural variability of floods caused by heavy precipitation constitutes important input for climate projections. We present a comprehensive Holocene (10,000 years) reconstruction of the flood frequency in the Central European Alps combining 15 lacustrine sediment records. These records provide an extensive catalog of flood deposits, which were generated by flood-induced underflows delivering terrestrial material to the lake floors. The multi-archive approach allows suppressing local weather patterns, such as thunderstorms, from the obtained climate signal. We reconstructed mainly late spring to fall events since ice cover and precipitation in form of snow in winter at high-altitude study sites do inhibit the generation of flood layers. We found that flood frequency was higher during cool periods, coinciding with lows in solar activity. In addition, flood occurrence shows periodicities that are also observed in reconstructions of solar activity from C-14 and Be-10 records (2500-3000, 900-1200, as well as of about 710, 500, 350, 208 (Suess cycle), 150, 104 and 87 (Gleissberg cycle) years). As atmospheric mechanism, we propose an expansion/shrinking of the Hadley cell with increasing/decreasing air temperature, causing dry/wet conditions in Central Europe during phases of high/low solar activity. Furthermore, differences between the flood patterns from the Northern Alps and the Southern Alps indicate changes in North Atlantic circulation. Enhanced flood occurrence in the South compared to the North suggests a pronounced southward position of the Westerlies and/or blocking over the northern North Atlantic, hence resembling a negative NAO state (most distinct from 4.2 to 2.4 kyr BP and during the Little Ice Age). South-Alpine flood activity therefore provides a qualitative record of variations in a paleo-NAO pattern during the Holocene. Additionally, increased South Alpine flood activity contrasts to low precipitation in tropical Central America (Cariaco Basin) on the Holocene and centennial time scale. This observation is consistent with a Holocene southward migration of the Atlantic circulation system, and hence of the ITCZ, driven by decreasing summer insolation in the Northern hemisphere, as well as with shorter-term fluctuations probably driven by solar activity. (C) 2013 Elsevier Ltd. All rights reserved.

A 2600-year record of past polycyclic aromatic hydrocarbons (PAHs) deposition at Holzmaar (Eifel, Germany)

Polycyclic aromatic hydrocarbons (PAHs) are a proxy for climate- and human-related historical fire activity which has rarely been used beyond 1800 AD. We explored the concentration and composition patterns of PAHs together with other proxies (charcoal, C, N, S, δ13C, δ15N, and δ34S) in a sediment core of Holzmaar as indicators of variations in climate and anthropogenic activity over the past 2600 years. The concentrations of pyrogenic PAHs remained low (< 500 ng g− 1) from the pre-Roman Iron Age (600 BC) until the first significant increases to ca. 1000–1800 ng g− 1 between 1700 and 1750 AD related to regional iron production. The highest increases in pyrogenic PAH concentrations occurred with industrialization peaking in the 1960s. PAH concentrations in most recent sediments decreased to pre-industrial levels because of emission control measures and the switch from coal to oil and gas as major fuel sources. Fluxes of PAHs (mg km− 2 yr− 1) increased in the order Migration Period and Early Middle Ages < pre-Roman Iron Ages < Roman era < High Middle Ages and Renaissance < pre-industrial modern period < industrial modern period. The changes of PAHs fluxes in pre-industrial times parallel known changes in local, regional and continental anthropogenic activity and climatic variations or their interactions across these historical periods. Perylene, a mainly biologically produced compound, was the dominant PAH in pre-industrial times. The Migration Period and the Early Middle Ages witnessed the most profound and simultaneous changes to the sedimentary organic matter properties in the past 2600 years including the lowest PAH fluxes because of reduced human activity and more negative δ13C and δ15N values probably in response to colder and wetter conditions.

The role of subpolar deep water formation and Nordic Seas overflows in simulated multidecadal variability of the Atlantic meridional overturning circulation

We investigate the respective role of variations in subpolar deep water formation and Nordic Seas overflows for the decadal to multidecadal variability of the Atlantic meridional overturning circulation (AMOC). This is partly done by analysing long (order of 1000 years) control simulations with five coupled climate models. For all models, the maximum influence of variations in subpolar deep water formation is found at about 45° N, while the maximum influence of variations in Nordic Seas overflows is rather found at 55 to 60° N. Regarding the two overflow branches, the influence of variations in the Denmark Strait overflow is, for all models, substantially larger than that of variations in the overflow across the Iceland–Scotland Ridge. The latter might, however, be underestimated, as the models in general do not realistically simulate the flow path of the Iceland–Scotland overflow water south of the Iceland–Scotland Ridge. The influence of variations in subpolar deep water formation is, on multimodel average, larger than that of variations in the Denmark Strait overflow. This is true both at 45° N, where the maximum standard deviation of decadal to multidecadal AMOC variability is located for all but one model, and at the more classical latitude of 30° N. At 30° N, variations in subpolar deep water formation and Denmark Strait overflow explain, on multimodel average, about half and one-third respectively of the decadal to multidecadal AMOC variance. Apart from analysing multimodel control simulations, we have performed sensitivity experiments with one of the models, in which we suppress the variability of either subpolar deep water formation or Nordic Seas overflows. The sensitivity experiments indicate that variations in subpolar deep water formation and Nordic Seas overflows are not completely independent. We further conclude from these experiments that the decadal to multidecadal AMOC variability north of about 50° N is mainly related to variations in Nordic Seas overflows. At 45° N and south of this latitude, variations in both subpolar deep water formation and Nordic Seas overflows contribute to the AMOC variability, with neither of the processes being very dominant compared to the other.

Delegation Proxies: The Power of Propagation

Scoping behavioral variations to dynamic extents is useful to support non-functional requirements that otherwise result in cross-cutting code. Unfortunately, such variations are difficult to achieve with traditional reflection or aspects. We show that with a modification of dynamic proxies, called delegation proxies, it becomes possible to reflectively implement variations that propagate to all objects accessed in the dynamic extent of a message send. We demonstrate our approach with examples of variations scoped to dynamic extents that help simplify code related to safety, reliability, and monitoring.

Grain yield variation and association of major traits in brown-seeded genotypes of tef [Eragrostis tef (Zucc.)Trotter]

Background Tef [Eragrostis tef (Zucc.) Trotter] is the major cereal crop of Ethiopia where it is annually cultivated on more than three million hectares of land by over six million small-scale farmers. It is broadly grouped into white and brown-seeded type depending on grain color, although some intermediate color grains also exist. Earlier breeding experiments focused on white-seeded tef, and a number of improved varieties were released to the farming community. Thirty-six brown-seeded tef genotypes were evaluated using a 6 × 6 simple lattice design at three locations in the central highlands of Ethiopia to assess the productivity, heritability, and association among major pheno-morphic traits. Results The mean square due to genotypes, locations, and genotype by locations were significant (P < 0.01) for all traits studied. Genotypic and phenotypic coefficients of variations ranged from 2.5 to 20.3 % and from 4.3 to 21.7 %, respectively. Grain yield showed significant (P < 0.01) genotypic correlation with shoot biomass and harvest index, while it had highly significant (P < 0.01) phenotypic correlation with all the traits evaluated. Besides, association of lodging index with biomass and grain yield was negative and significant at phenotypic level while it was not significant at genotypic level. Cluster analysis grouped the 36 test genotypes into seven distinct classes. Furthermore, the first three principal components with eigenvalues greater than unity extracted 78.3 % of the total variation. Conclusion The current study, generally, revealed the identification of genotypes with superior grain yield and other desirable traits for further evaluation and eventual release to the farming community.

Granular computing as a tool of human data interaction - a cognitive cities use case

The article proposes granular computing as a theoretical, formal and methodological basis for the newly emerging research field of human–data interaction (HDI). We argue that the ability to represent and reason with information granules is a prerequisite for data legibility. As such, it allows for extending the research agenda of HDI to encompass the topic of collective intelligence amplification, which is seen as an opportunity of today’s increasingly pervasive computing environments. As an example of collective intelligence amplification in HDI, we introduce a collaborative urban planning use case in a cognitive city environment and show how an iterative process of user input and human-oriented automated data processing can support collective decision making. As a basis for automated human-oriented data processing, we use the spatial granular calculus of granular geometry.

Rapid responses of high-mountain vegetation to early Holocene environmental changes in the Swiss Alps

1 The Early Holocene sediment of a lake at tree line (Gouillé Rion, 2343 m a.s.l.) in the Swiss Central Alps was sampled for plant macrofossils. Thin (0.5 cm) slices, representing time intervals of c. 50 years each from 11 800 to 7800 cal. year bp, were analysed and the data compared with independent palaeoclimatic proxies to study vegetational responses to environmental change. 2 Alpine plant communities (e.g. with Salix herbacea) were established at 11 600–11 500 cal. year bp, when oxygen-isotope records showed that temperatures increased by c. 3–4 °C within decades. Larix decidua trees reached the site at c. 11 350 cal. year bp, probably in response to further warming by 1–2 °C. Forests dominated by L. decidua persisted until 9600 cal. year bp, when Pinus cembra became more important. 3 The dominance of Larix decidua for two millennia is explained by dry summer conditions, and possibly low winter temperatures, which favoured it over the late-successional Pinus cembra. Environmental conditions were a result of variations in the earth's orbit, leading to a maximum of summer and a minimum of winter solar radiation. Other heliophilous and drought-adapted species, such as Dryas octopetala and Juniperus nana, could persist in the open L. decidua forests, but were out-competed when the shade-tolerant P. cembra expanded. 4 The relative importance of Larix decidua decreased during periods of diminished solar radiation at 11 100, 10 100 and 9400 cal. year bp. Stable concentrations of L. decidua indicate that these percentage oscillations were caused by temporary increases of Pinus cembra, Dryas octopetala and Juniperus nana that can be explained by increases in moisture and/or decreases in summer temperature. 5 The final collapse of Larix decidua at 8400 cal. year bp was possibly related to abrupt climatic cooling as a consequence of a large meltwater input to the North Atlantic. Similarly, the temporary exclusion of Pinus cembra from tree line at 10 600–10 200 cal. year bp may be related to slowing down of thermohaline circulation at 10 700–10 300 cal. year bp. 6 Our results show that tree line vegetation was in dynamic equilibrium with climate, even during periods of extraordinarily rapid climatic change. They also imply that forecasted global warming may trigger rapid upslope movements of the tree line of up to 800 m within a few decades or centuries at most, probably inducing large-scale displacements of plant species as well as irrecoverable biodiversity losses.

Granular computing as a basis of human–data interaction: a cognitive cities use case

The article proposes granular computing as a theoretical, formal and methodological basis for the newly emerging research field of human–data interaction (HDI). We argue that the ability to represent and reason with information granules is a prerequisite for data legibility. As such, it allows for extending the research agenda of HDI to encompass the topic of collective intelligence amplification, which is seen as an opportunity of today’s increasingly pervasive computing environments. As an example of collective intelligence amplification in HDI, we introduce a collaborative urban planning use case in a cognitive city environment and show how an iterative process of user input and human-oriented automated data processing can support collective decision making. As a basis for automated human-oriented data processing, we use the spatial granular calculus of granular geometry.

How does socio economic position link to health behaviour? Sociological pathways and perspectives for health promotion

Socio economic inequalities in adult health behaviour are consistently observed. Despite a well-documented pattern, social determinants of variations in health behaviour have not been sufficiently clarified. This article therefore presents sociological pathways to explain the existing inequalities in health behaviour. At a micro level, control beliefs have been part of several behavioural theories. We suggest that these beliefs might bridge the gap between sociology and psychology by emphasising their roots in fundamental socio-economic environments. At a meso level, social networks and support have not been explicitly considered as behavioural determinants. This contribution states that these social factors influence health behaviour while being unequally distributed across society. At a macro level, characteristics of the neighbourhood environment influence health behaviour of its residents above and beyond their individual background. Providing further opportunity for policy makers, it is shown that peer and school context equalise inequalities in risky behaviour in adolescence. As a conclusion, factors such as control expectations, social networks, neighbourhood characteristics, and school context should be included as strategies to improve health behaviour in socially disadvantaged people.