Cut-free Calculi and Relational Semantics for Temporal STIT Logics

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames

Fine-Structure Map of the Histidine Transport Genes in \u3cem\u3eSalmonella typhimurium\u3c/em\u3e

Afine-structure genetic map of the histidine transport region of the Salmonella typhimurium chromosome was constructed. Twenty-five deletion mutants were isolated and used for dividing the hisJ and hisP genes into 8 and 13 regions respectively. A total of 308 mutations, spontaneous and mutagen induced, have been placed in these regions by deletion mapping. The histidine transport operon is presumed to be constituted of genes dhuA, hisJ, and hisP, and the regulation of the hosP and hisJ genes by dhuA is discussed. The orientation of this operon relative to purF has been established by three-point crosses as being: purF duhA hisJ hisP

Economic and environmental impact assessment through system dynamics of technology-enhanced maintenance services

This work presents an economic and environmental impact assessment of maintenance services in order to evaluate how they contribute to sustainable value creation through field service delivery supported by advanced technologies. To this end, systems dynamics is used to assist the prediction of economic and environmental impacts of maintenance services supported by the use of an e-maintenance platform implementing prognosis and health management. A special concern is given to the energy use and related carbon footprint as environmental impacts

Differential Functional Constraints Cause Strain-Level Endemism in Polynucleobacter Populations.

The adaptation of bacterial lineages to local environmental conditions creates the potential for broader genotypic diversity within a species, which can enable a species to dominate across ecological gradients because of niche flexibility. The genus Polynucleobacter maintains both free-living and symbiotic ecotypes and maintains an apparently ubiquitous distribution in freshwater ecosystems. Subspecies-level resolution supplemented with metagenome-derived genotype analysis revealed that differential functional constraints, not geographic distance, produce and maintain strain-level genetic conservation in Polynucleobacter populations across three geographically proximal riverine environments. Genes associated with cofactor biosynthesis and one-carbon metabolism showed habitat specificity, and protein-coding genes of unknown function and membrane transport proteins were under positive selection across each habitat. Characterized by different median ratios of nonsynonymous to synonymous evolutionary changes (dN/dS ratios) and a limited but statistically significant negative correlation between the dN/dS ratio and codon usage bias between habitats, the free-living and core genotypes were observed to be evolving under strong purifying selection pressure. Highlighting the potential role of genetic adaptation to the local environment, the two-component system protein-coding genes were highly stable (dN/dS ratio, < 0.03). These results suggest that despite the impact of the habitat on genetic diversity, and hence niche partition, strong environmental selection pressure maintains a conserved core genome for Polynucleobacter populations. IMPORTANCE Understanding the biological factors influencing habitat-wide genetic endemism is important for explaining observed biogeographic patterns. Polynucleobacter is a genus of bacteria that seems to have found a way to colonize myriad freshwater ecosystems and by doing so has become one of the most abundant bacteria in these environments. We sequenced metagenomes from locations across the Chicago River system and assembled Polynucleobacter genomes from different sites and compared how the nucleotide composition, gene codon usage, and the ratio of synonymous (codes for the same amino acid) to nonsynonymous (codes for a different amino acid) mutations varied across these population genomes at each site. The environmental pressures at each site drove purifying selection for functional traits that maintained a streamlined core genome across the Chicago River Polynucleobacter population while allowing for site-specific genomic adaptation. These adaptations enable Polynucleobacter to become dominant across different riverine environmental gradients

Adaptive greedy algorithms based on parameter-domain decomposition and reconstruction for the reduced basis method

The reduced basis method (RBM) empowers repeated and rapid evaluation of parametrized partial differential equations through an offline-online decomposition, a.k.a. a learning-execution process. A key feature of the method is a greedy algorithm repeatedly scanning the training set, a fine discretization of the parameter domain, to identify the next dimension of the parameter-induced solution manifold along which we expand the surrogate solution space. Although successfully applied to problems with fairly high parametric dimensions, the challenge is that this scanning cost dominates the offline cost due to it being proportional to the cardinality of the training set which is exponential with respect to the parameter dimension. In this work, we review three recent attempts in effectively delaying this curse of dimensionality, and propose two new hybrid strategies through successive refinement and multilevel maximization of the error estimate over the training set. All five offline-enhanced methods and the original greedy algorithm are tested and compared on {two types of problems: the thermal block problem and the geometrically parameterized Helmholtz problem

Frenkel and charge transfer excitons in C60

We have studied the low energy electronic excitations of C60 using momentum dependent electron energy-loss spectroscopy in transmission. The momentum dependent intensity of the gap excitation allows the first direct experimental determination of the energy of the 1Hg excitation and thus also of the total width of the multiplet resulting from the gap transition. In addition, we could elucidate the nature of the following excitations - as either Frenkel or charge transfer excitons.Comment: RevTEX, 3 Figures, to appear in Phys. Rev.

The establishment of a future NESP dredging research investment framework: NESP TWQ Hub Project 1.9

The purpose of this project was to conduct a facilitated workshop with key researchers and stakeholders to establish priorities for future research investment of the NESP Tropical Water Quality Hub (NESP TWQ) into dredging and disposal of dredged sediments in the GBR. A recent independent review of potential impacts of dredging on the biological values of the Great Barrier Reef (GBR) identified a number of key knowledge gaps that need to be addressed to improve management of dredging1 activities. That review, together with the findings of the currently underway dredging science node of the Western Australian Marine Institution (WAMSI), informed the subsequent prioritisation of research topics to address the most important knowledge gaps

No measure for culture? Value in the new economy

This paper explores articulations of the value of investment in culture and the arts through a critical discourse analysis of policy documents, reports and academic commentary since 1997. It argues that in this period, discourses around the value of culture have moved from a focus on the direct economic contributions of the culture industries to their indirect economic benefits. These indirect benefits are discussed here under three main headings: creativity and innovation, employability, and social inclusion. These are in turn analysed in terms of three forms of capital: human, social and cultural. The paper concludes with an analysis of this discursive shift through the lens of autonomist Marxist concerns with the labour of social reproduction. It is our argument that, in contemporary policy discourses on culture and the arts, the government in the UK is increasingly concerned with the use of culture to form the social in the image of capital. As such, we must turn our attention beyond the walls of the factory in order to understand the contemporary capitalist production of value and resistance to it. </jats:p