The completeness and soundness of temporal theories

Generally speaking, the term temporal logic refers to any system of rules and symbolism for representing and reasoning about propositions qualified in terms of time. In computer science, particularly in the domain of Artificial Intelligence, there are mainly two known approaches to the representation of temporal information: modal logic approaches including tense logic and hybrid temporal logic, and predicate logic approaches including temporal arguement method and reified temporal logic. On one hand, while tense logic, hybrid temporal logic and temporal argument method enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although reified temporal logic provides greater expressive power, most of the current systems following the temporal reification lack of complete and sound axiomatic theories. With there observations in mind, a new reified temporal logic with clear syntax and semantics in terms of a sound and complete axiomatic formalism is introduced in this paper, which retains all the expressive power of temporal reification.

Representations of multicultural identities in British Cinema

This paper explores the transnational and interstitial dimensions of cultural production in Britain today, and the representation of migrant and diasporic identities in contemporary mainstream British cinema. The box office success of films like Gurindha Chadha’s Bhaji on the Beach (1993) and Bend it Like Beckham (2002) and East is East (Daniel O’Donnell 1999) and their precursors My Beautiful Launderette (Stephen Frears 1985), Sammy and Rosie Get Laid (Stephen Frears 1987) and the TV mini-series Buddha of Suburbia (Roger Mitchell 1993) seem to celebrate and articulate a set of values around hybridity and alterity: a discourse of multiculturalism. This paper will engage with a series of key questions. Are there ideological values implicit within and common to all these texts? Can we map a rhetoric or discourse of multiculturalism within popular culture? Do mainstream representations of immigrant identities represent a discourse of resistance, a decolonising global culture or is this Western brand of multiculturalism still located within an Orientalising gaze? In what ways are multiculturalism and postcolonialism overlapping and yet opposing rhetorics? [From the Author]

Development of an in-situ, non-destructive ultrasonic monitoring technique for solder pastes

This paper concerns the use of a non-destructive ultrasonic technique for characterising the rheological properties of solder paste and specifically, the use of through-mode microsecond ultrasonic pulses for evaluation of viscoelastic properties of paste materials at the molecular level. Ultrasonic techniques are a widely used and a reliable form of non-destructive testing of materials. This is because techniques such as ultrasounds while used for testing or monitoring material properties, has offered immense benefits in applications where access to the sample is restricted or when handling the sample for testing could interfere with the monitoring or analysis process. Very often, this would mean that the measurements taken are not a true representation of the behaviour of the material (due to externally incorporated changes into the material's physical state during the removal or testing process). Ultrasonic based techniques are being increasingly used for quality control and production monitoring functions which requires evaluation of the changes in material properties over wide range of industrial applications such as cement paste quality, plastic/polymer extrusion process, dough, and even sugar content in beverage drinks. In addition, ultrasound techniques are of great interest for their capacity to take rapid measurements in systems which are optically opaque. The viscometer and rheometer are two of the most widely used rheological instruments used in industry for monitoring the quality of solder pastes, during the production and packaging stage. One of the potential limitations of viscometer and rheometer based measurements is that the collection and preparation of the solder paste samples can irreversibly alter the structure and flow behaviour of the sample. Hence the measurement may not represent the actual quality of the whole production batch. Secondly, rheological measurements and the interpretation of rheological data is a very technical and time consuming process, which requires professionally trained R&D personnel. It is for these reasons that materials suppliers (who formulate and produce solder pastes) and solder paste consumers (especially, contract electronics manufacturers) are keen to see the development of simple, easy to use and accurate techniques for the theological characterisation of solder pastes. The results from the work show that the technique can be used by R&D personnel involved in paste formulation and manufacture to monitor the batch-to-batch quality and consistency.

Ecohydrodynamics of cold-water coral reefs: A case study of the Mingulay Reef complex (western Scotland)

Ecohydrodynamics investigates the hydrodynamic constraints on ecosystems across different temporal and spatial scales. Ecohydrodynamics play a pivotal role in the structure and functioning of marine ecosystems, however the lack of integrated complex flow models for deep-water ecosystems beyond the coastal zone prevents further synthesis in these settings. We present a hydrodynamic model for one of Earth's most biologically diverse deep-water ecosystems, cold-water coral reefs. The Mingulay Reef Complex (western Scotland) is an inshore seascape of cold-water coral reefs formed by the scleractinian coral Lophelia pertusa. We applied single-image edge detection and composite front maps using satellite remote sensing, to detect oceanographic fronts and peaks of chlorophyll a values that likely affect food supply to corals and other suspension-feeding fauna. We also present a high resolution 3D ocean model to incorporate salient aspects of the regional and local oceanography. Model validation using in situ current speed, direction and sea elevation data confirmed the model's realistic representation of spatial and temporal aspects of circulation at the reef complex including a tidally driven current regime, eddies, and downwelling phenomena. This novel combination of 3D hydrodynamic modelling and remote sensing in deep-water ecosystems improves our understanding of the temporal and spatial scales of ecological processes occurring in marine systems. The modelled information has been integrated into a 3D GIS, providing a user interface for visualization and interrogation of results that allows wider ecological application of the model and that can provide valuable input for marine biodiversity and conservation applications.

Modelling the Influence of Major Baltic Inflows on Near-Bottom Conditions at the Entrance of the Gulf of Finland

A coupled hydrodynamic-biogeochemical model was implemented in order to estimate the effects of Major Baltic Inflows on the near-bottom hydrophysical and biogeochemical conditions in the northern Baltic Proper and the western Gulf of Finland during the period 1991�2009. We compared results of a realistic reference run to the results of an experimental run where Major Baltic Inflows were suppressed. Further to the expected overall decrease in bottom salinity, this modelling experiment confirms that in the absence of strong saltwater inflows the deep areas of the Baltic Proper would become more anoxic, while in the shallower areas (western Gulf of Finland) near-bottom average conditions improve. Our experiment revealed that typical estuarine circulation results in the sporadic emergence of short-lasting events of near-bottom anoxia in the western Gulf of Finland due to transport of water masses from the Baltic Proper. Extrapolating our results beyond the modelled period, we speculate that the further deepening of the halocline in the Baltic Proper is likely to prevent inflows of anoxic water to the Gulf of Finland and in the longer term would lead to improvement in near-bottom conditions in the Baltic Proper. Our results reaffirm the importance of accurate representation of salinity dynamics in coupled Baltic Sea models serving as a basis for credible hindcast and future projection simulations of biogeochemical conditions.

The assessment of a global marine ecosystem model on the basis of emergent properties and ecosystem function: a case study with ERSEM

Ecosystem models are often assessed using quantitative metrics of absolute ecosystem state, but these model-data comparisons are disproportionately vulnerable to discrepancies in the location of important circulation features. An alternative method is to demonstrate the models capacity to represent ecosystem function; the emergence of a coherent natural relationship in a simulation indicates that the model may have an appropriate representation of the ecosystem functions that lead to the emergent relationship. Furthermore, as emergent properties are large-scale properties of the system, model validation with emergent properties is possible even when there is very little or no appropriate data for the region under study, or when the hydrodynamic component of the model differs significantly from that observed in nature at the same location and time. A selection of published meta-analyses are used to establish the validity of a complex marine ecosystem model and to demonstrate the power of validation with emergent properties. These relationships include the phytoplankton community structure, the ratio of carbon to chlorophyll in phytoplankton and particulate organic matter, the ratio of particulate organic carbon to particulate organic nitrogen and the stoichiometric balance of the ecosystem. These metrics can also inform aspects of the marine ecosystem model not available from traditional quantitative and qualitative methods. For instance, these emergent properties can be used to validate the design decisions of the model, such as the range of phytoplankton functional types and their behaviour, the stoichiometric flexibility with regards to each nutrient, and the choice of fixed or variable carbon to nitrogen ratios.

Role of zooplankton dynamics for Southern Ocean phytoplankton biomass and global biogeochemical cycles

Global ocean biogeochemistry models currently employed in climate change projections use highly simplified representations of pelagic food webs. These food webs do not necessarily include critical pathways by which ecosystems interact with ocean biogeochemistry and climate. Here we present a global biogeochemical model which incorporates ecosystem dynamics based on the representation of ten plankton functional types (PFTs); six types of phytoplankton, three types of zooplankton, and heterotrophic bacteria. We improved the representation of zooplankton dynamics in our model through (a) the explicit inclusion of large, slow-growing zooplankton, and (b) the introduction of trophic cascades among the three zooplankton types. We use the model to quantitatively assess the relative roles of iron vs. grazing in determining phytoplankton biomass in the Southern Ocean High Nutrient Low Chlorophyll (HNLC) region during summer. When model simulations do not represent crustacean macrozooplankton grazing, they systematically overestimate Southern Ocean chlorophyll biomass during the summer, even when there was no iron deposition from dust. When model simulations included the developments of the zooplankton component, the simulation of phytoplankton biomass improved and the high chlorophyll summer bias in the Southern Ocean HNLC region largely disappeared. Our model results suggest that the observed low phytoplankton biomass in the Southern Ocean during summer is primarily explained by the dynamics of the Southern Ocean zooplankton community rather than iron limitation. This result has implications for the representation of global biogeochemical cycles in models as zooplankton faecal pellets sink rapidly and partly control the carbon export to the intermediate and deep ocean.

The adaptive value of polyembryony.

From an evolutionary standpoint, the production of offspring is the single most important aspect of an animal's life. Offspring carry an individual's genes into the next generation and it is the differential representation of genes in a population that drives evolutionary change. There are a variety of ways in which animals create offspring, ranging from cases where parents make identical copies of themselves by budding or parthenogenesis, to the standard case in vertebrates where gametes from a male and female fuse in sexual reproduction to produce the next generation. In this article we describe an usual variant of sexual reproduction, polyembryony.

Genealogies of Partition: History, History-Writing and 'The Troubles' in Ireland

Contemporary political disputes have a long history of expression and contestation through the genre of history-writing in Ireland. The role of history writing and political science writing during the nearly 40 years of the so-called 'Troubles' has been no exception to this. Battles between competing versions of what the conflict 'is about', mediated through academic and popular texts have themselves in turn become constitutive of it. This builds upon centuries of the representation of the complicated politics of this island as 'an issue' in British domestic politics - first 'the Catholic question', then 'the Irish question'. The location of political power outside the island for centuries has created successive battles for the representation of sectional interests in a metropolitan centre. The skills of propaganda, history writing, newspaper writing have consequently been deployed at a remarkable level of skill and intensity. In the recent period one of the consequences of this has been the removal from the debate of the actuality of partition; this builds upon a particular historical representation of partition as an historical inevitability. To seek to restore partition to the debate is not to call for its undoing but to recognise that seeking to circumvent debates about its origins in the key period of democratisation in Irish politics (1880-1920) has been counter-productive. This essay examines the genealogies of partition in Irish and international contexts in the light of these battles for representation, and aims to return a lost dimension to the debate about the so-called 'Troubles'in Ireland. The genealogy of partition is the issue that has been marginalised in academic study and this has affected both policy and politics.

Positronium scattering by atomic hydrogen with inclusion of target excitation channels

Calculations are reported for positronium (Ps) scattering by atomic hydrogen (H) in the energy range 0-6.5 eV in a coupled- pseudostate approximation in which excitation and ionization channels of both the Ps and the H are taken into account. The approximation contains an accurate representation of the van der Waals coefficient. Results are presented for phase shifts, scattering lengths, effective ranges, and various cross sections including partial wave, total, and ortho-para conversion cross sections. An analysis of the possible spin transitions is provided and the energy of the positronium hydride (PsH) bound state is determined. Substantial differences are found from earlier work within the frozen target approximation, now clearly confirming the importance of target excitation channels. Good agreement is obtained with recent calculations of S-wave phase shifts and scattering lengths using the stabilization method. Convergence to the exact binding energy for PsH appears to be slow. Resonances corresponding to unstable states of the positron orbiting H- are seen in the electronic spin singlet partial waves. The importance of the H- formation channel is discussed.

Quantitative Analysis of Adsorbate Concentrations by Diffuse Reflectance FT-IR

Fully quantitative analyses of DRIFTS data are required when the surface concentrations and the specific rate constants of reaction (or desorption) of adsorbates are needed to validate microkinetic models. The relationship between the surface coverage of adsorbates and various functions derived from the signal collected by DRIFTS is discussed here. The Kubelka-Munk and pseudoabsorbance (noted here as absorbance, for the sake of brevity) transformations were considered, since those are the most commonly used functions when data collected by DRIFTS are reported. Theoretical calculations and experimental evidence based on the study of CO adsorption on Pt/SiO2 and formate species adsorbed on Pt/CeO2 showed that the absorbance (i.e., ) log 1/R������¢, with R������¢ ) relative reflectance) is the most appropriate, yet imperfect, function to give a linear representation of the adsorbate surface concentration in the examples treated here, for which the relative reflectance R������¢ is typically > 60%. When the adsorbates lead to a strong signal absorption (e.g., R������¢ < 60%), the Kubelka-Munk function is actually more appropriate. The absorbance allows a simple correction of baseline drifts, which often occur during time-resolved data collection over catalytic materials. Baseline corrections are markedly more complex in the case of the other mathematical transforms, including the function proposed by Matyshak and Krylov (Catal. Today 1995, 25, 1-87), which has been proposed as an appropriate representation of surface concentrations in DRIFTS spectroscopy.

Coupled consolidation of a solid, infinite cylinder using a Terzaghi formulation

Axisymmetric consolidation is a classical boundary value problem for geotechnical engineers. Under some circumstances an analysis in which the changes in pore pressure, effective stress and displacement can be uncoupled from each other is sufficient, leading to a Terzaghi formulation of the axisymmetric consolidation equation in terms of the pore pressure. However, representation of the Mandel-Cryer effect usually requires more complex, coupled, Biot formulations. A new coupled formulation for the plane strain, axisymmetric consolidation problem is presented for small, linear elastic deformations. A single, easily evaluated parameter couples changes in pore pressure to changes in effective stress, and the resulting differential equation for pore pressure dissipation is very similar to Terzaghi’s classic formulation. The governing equations are then solved using finite differences and the consolidation of a solid infinite cylinder analysed, calculating the variation with time and with radius of the excess pore pressure and the radial displacement. Comparison with a previously published semi-analytical solution indicates that the formulation successfully embodies the Mandel-Cryer effect.

On solvability of linear differential equations in ${\Bbb R}^{\Bbb N}$

We construct $x^0$ in ${\Bbb R}^{\Bbb N}$ and a row-finite matrix $T=\{T_{i,j}(t)\}_{i,j\in\N}$ of polynomials of one real variable $t$ such that the Cauchy problem $\dot x(t)=T_tx(t)$, $x(0)=x^0$ in the Fr\'echet space $\R^\N$ has no solutions. We also construct a row-finite matrix $A=\{A_{i,j}(t)\}_{i,j\in\N}$ of $C^\infty(\R)$ functions such that the Cauchy problem $\dot x(t)=A_tx(t)$, $x(0)=x^0$ in ${\Bbb R}^{\Bbb N}$ has no solutions for any $x^0\in{\Bbb R}^{\Bbb N}\setminus\{0\}$. We provide some sufficient condition of solvability and of unique solvability for linear ordinary differential equations $\dot x(t)=T_tx(t)$ with matrix elements $T_{i,j}(t)$ analytically dependent on $t$.

Comparison of two construction algorithms for local model networks

The divide-and-conquer approach of local model (LM) networks is a common engineering approach to the identification of a complex nonlinear dynamical system. The global representation is obtained from the weighted sum of locally valid, simpler sub-models defined over small regions of the operating space. Constructing such networks requires the determination of appropriate partitioning and the parameters of the LMs. This paper focuses on the structural aspect of LM networks. It compares the computational requirements and performances of the Johansen and Foss (J&F) and LOLIMOT tree-construction algorithms. Several useful and important modifications to each algorithm are proposed. The modelling performances are evaluated using real data from a pilot plant of a pH neutralization process. Results show that while J&F achieves a more accurate nonlinear representation of the pH process, LOLIMOT requires significantly less computational effort.

Discourses and Strategic Visions: The U.S. Research University as an Institutional Manifestation of Neoliberalism in a Global Era

It is argued widely that the academy today is in the process of significant change—in the institutional assumptions of what constitutes the university and the construction of knowledge and in its relations with the city and the world. This article addresses the evolution of the modern university in the context of the discourses of contemporary globalizing institutions. Further, it empirically assesses the organizational priorities of U.S. research universities in light of the application of these discourses to their objectives and practices, finding that they are playing a key role in the formal representation of the institutional direction, goals, and values of American higher education.