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

A TRMM-Calibrated infrared technique for rainfall estimation: application on rain events over eastern Mediterranean

The aim is to evaluate the use of a satellite infrared (IR) technique for estimating rainfall over the eastern Mediterranean. The Convective-Stratiform Technique (CST), calibrated by coincident, physically retrieved rain rates from the Tropical Rainfall Measuring Mission (TRMM) Precipitation Radar (PR), is applied over the Eastern Mediterranean for four rain events during the six month period of October 2004 to March 2005. Estimates from this technique are verified over a rain gauge network for different time scales. Results show that PR observations can be applied to improve IR-based techniques significantly in the conditions of a regional scale area by selecting adequate calibration areas and periods. They reveal, however, the limitations of infrared remote sensing techniques, originally developed for tropical areas, when applied to precipitation retrievals in mid-latitudes

Descriptors for web-enabled national in situ landrace inventories

vo

A 10-Year Climatology of Amazonian Rainfall Derived from Passive Microwave Satellite Observations

In this study we present and describe a satellite-derived precipitation climatology over northern South America using a passive microwave technique, the Goddard Profiling Algorithm. A period of data slightly longer than 10 years is examined. The climatologies take the form of the mean estimated (adjusted) rainfall for a 10-year (+) period, with sub-divisions by month and meteorological season. For the six-year period 1992-1997, when two satellites were in operation, diurnal variability (to the extent it is discerned by four unequally spaced observations) is presented. We find an alternating pattern of morning and maxima stretching from the northeast (Atlantic coast) clear across the continent to the Pacific. The effects of topography, coastlines and geography (river valleys) on the rainfall patterns are clear. Interannual variability is examined by computing the deviations of yearly and warm season (DJF) rainfall from their respective long-term means. Interannual variability of the diurnal nature of the rainfall is presented, and the strong El Nino event of 1997-1998 is discussed

Settlement of larvae from four families of corals in response to a crustose coralline alga and its biochemical morphogens

Healthy benthic substrates that induce coral larvae to settle are necessary for coral recovery. Yet, the biochemical cues required to induce coral settlement have not been identified for many taxa. Here we tested the ability of the crustose coralline alga (CCA) Porolithon onkodes to induce attachment and metamorphosis, collectively termed settlement, of larvae from 15 ecologically important coral species from the families Acroporidae, Merulinidae, Poritidae, and Diploastreidae. Live CCA fragments, ethanol extracts, and hot aqueous extracts of P. onkodes induced settlement (>10%) for 11, 7, and 6 coral species, respectively. Live CCA fragments were the most effective inducer, achieving over 50% settlement for nine species. The strongest settlement responses were observed in Acropora spp.; the only non-acroporid species that settled over 50% were Diploastrea heliopora, Goniastrea retiformis, and Dipsastraea pallida. Larval settlement was reduced in treatments with chemical extracts compared with live CCA, although high settlement (>50%) was reported for six acroporid species in response to ethanol extracts of CCA. All experimental treatments failed (< 10%) to induce settlement in Montipora aequituberculata, Mycedium elephantotus, and Porites cylindrica. Individual species responded heterogeneously to all treatments, suggesting that none of the cues represent a universal settlement inducer. These results challenge the commonly-held notion that CCA ubiquitously induces coral settlement, and emphasize the critical need to assess additional cues to identify natural settlement inducers for a broad range of coral taxa

Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate

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