A Fibred Tableau Calculus for Modal Logics of Agents

In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibring} methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (\emph{graph} $\&$ \emph{path}), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system \KEM. We conclude with a discussion on \KEM's features.

Variants of temporal defeasible logics for modelling norm modifications

This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for example, modifications at some time change legal rules but their conclusions persist afterwards from cases where also their conclusions are blocked.

Atoms in an amplitude-modulated standing wave - dynamics and pathways to quantum chaos

Cold rubidium atoms are subjected to an amplitude-modulated far-detuned standing wave of light to form a quantum-driven pendulum. Here we discuss the dynamics of these atoms. Phase space resonances and chaotic transients of the system exhibit dynamics which can be useful in many atom optics applications as they can be utilized as means for phase space state preparation. We explain the occurrence of distinct peaks in the atomic momentum distribution, analyse them in detail and give evidence for the importance of the system for quantum chaos and decoherence studies.

Labelled tableaux for non-normal modal logics

In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

From aesthetic principles to collective sentiments: The logics of everyday judgements of taste

Contemporary research into the sociology of taste has, following Bourdieu (1984), primarily emphasised the role of social position, or more broadly as implicated int he reproduction of social inequality. We argue that although important, such a preoccupation with the social distribution of objectified tastes--for example in music, literature, and art--has been at the expense of investigating the everyday perceptual schemes and resources used by actors to accomplish a judgement of taste. Our argument is traced using a range of classical and contemporary literature which deals with the personal/collective tension in taste, aesthetics and fashion. We use data from a recent national survey to investigate how a sample of ordinary fashion. We use data from a recent national survey to investigate how a sample of ordinary actors understand the categories of 'good' and 'bad' taste. The analysis shows a strong collective strand in everyday definitions of taste, often linked to moral codes of interpersonal conduct. Also, taste is largely defined by people as a strategy for managing relations with others, and as a mode of self-discipline which relies on the mastery of a number of general principles that are resources for people to position their own tastes within an imagined social sphere. This paper proposes a schematic model which accounts for the range of discriminatory resources used to make judgements of taste.

Fluorescence spectrum of a two-level atom driven by a multiple modulated field

We investigate the fluorescence spectrum of a two-level atom driven by a multiple amplitude-modulated field. The driving held is modeled as a polychromatic field composed of a strong central (resonant) component and a large number of symmetrically detuned sideband fields displaced from the central component by integer multiples of a constant detuning. Spectra obtained here differ qualitatively from those observed for a single pair of modulating fields [B. Blind, P.R. Fontana, and P. Thomann, J. Phys. B 13, 2717 (1980)]. In the case of a small number of the modulating fields, a multipeaked spectrum is obtained with the spectral features located at fixed frequencies that are independent of the number of modulating fields and their Rabi frequencies. As the number of the modulating fields increases, the spectrum ultimately evolves to the well-known Mellow triplet with the sidebands shifted from the central component by an effective Rabi frequency whose magnitude depends on the initial relative phases of the components of the driving held. For equal relative phases, the effective Rabi frequency of the driving field can be reduced to zero resulting in the disappearance of fluorescence spectrum, i.e., the atom can stop interacting with the field. When the central component and the modulating fields are 180 degrees out of phase, the spectrum retains its triplet structure with the sidebands located at frequencies equal to the sum of the Rabi frequencies of the component of the driving field. Moreover, we shaw that the frequency of spontaneous emission can be controlled and switched from one frequency to another when the Rabi frequency or initial phase of the modulating fields are varied.

Investigation of the starch gelatinisation phenomena in water-glycerol systems: application of modulated temperature differential scanning calorimetry

The use of modulated temperature differential scanning calorimetry (MTDSC) has provided further insight into the gelatinisation process since it allows the detection of glass transition during gelatinisation process. It was found in this work that the glass transition overlapped with the gelatinisation peak temperature for all maize starch formulations studied. Systematic investigation on maize starch gelatinisation over a range of water-glycerol concentrations with MTDSC revealed that the addition of glycerol increased the gelatinisation onset temperature with an extent that depended on the water content in the system. Furthermore, the addition of glycerol promoted starch gelatinisation at low water content (0.4 g water/g dry starch) and the enthalpy of gelatinisation varied with glycerol concentration (0.73-19.61 J/g dry starch) depending on the water content and starch type. The validities of published gelatinisation models were explored. These models failed to explain the glass transition phenomena observed during the course of gelatinisation and failed to describe the gelatinisation behaviour observed over the water-glycerol concentrations range investigated. A hypothesis for the mechanisms involved during gelatinisation was proposed based on the side chain liquid crystalline polymer model for starch structure and the concept that the order-disorder transition in starch requires that the hydrogen bonds (the major structural element in the granule packing) to be broken before the collapse of order (helix-coil transition) can take place. (C) 2004 Elsevier Ltd. All rights reserved.

Wheat grain cooking process as investigated by modulated temperature differential scanning calorimetry

The thermal properties of soft and hard wheat grains, cooked in a steam pressure cooker, as a function of cooking temperature and time were investigated by modulated temperature differential scanning calorimetry (MTDSC). Four cooking temperatures (110, 120, 130 and 140 degrees C) and six cooking times (20, 40, 60, 80, 100 and 120 min) for each temperature were studied. It was found that typical non-reversible heat flow thermograms of cooked and uncooked wheat grains consisted of two endothermic baseline shifts localised around 40-50 degrees C and then 60-70 degrees C. The second peaks of non-reversible heat flow thermograms (60-70 degrees C) were associated with starch gelatinisation. The degree of gelatinisation was quantified based on these peaks. In this study, starch was completely gelatinised within 60-80 min for cooking temperatures at 110-120 degrees C and within 20 min for cooking temperatures at 130-140 degrees C. MTDSC detected reversible endothermic baseline shifts in most samples, localised broadly around 48-67 degrees C with changes in heat capacity ranging from 0.02 to 0.06 J/g per degrees C. These reversible endothermic baseline shifts are related to the glass transition, which occurs during starch gelatinisation. Data on the specific heat capacity of the cooked wheat samples are provided. (C) 2005 Elsevier Ltd. All rights reserved.

No-switching quantum key distribution using broadband modulated coherent light

We realize an end-to-end no-switching quantum key distribution protocol using continuous-wave coherent light. We encode weak broadband Gaussian modulations onto the amplitude and phase quadratures of light beams. Our no-switching protocol achieves high secret key rate via a post-selection protocol that utilizes both quadrature information simultaneously. We establish a secret key rate of 25 Mbits/s for a lossless channel and 1 kbit/s for 90% channel loss, per 17 MHz of detected bandwidth, assuming individual Gaussian eavesdropping attacks. Since our scheme is truly broadband, it can potentially deliver orders of magnitude higher key rates by extending the encoding bandwidth with higher-end telecommunication technology.

TRAP220 is modulated by the antineoplastic agent 6-Mercaptopurine, and mediates the activation of the NR4A subgroup of nuclear receptors

The NR4A1-3 (Nur77, NURR1 and NOR-1) subfamily of nuclear hormone receptors (NRs) has been implicated in Parkinson's disease, schizophrenia, manic depression, atherogenesis, Alzheimer's disease, rheumatoid arthritis, cancer and apoptosis. This has driven investigations into the mechanism of action, and the identification of small molecule regulators, that may provide the platform for pharmaceutical and therapeutic exploitation. Recently, we found that the purine antimetabolite 6-Mercaptopurine (6-MP), which is widely used as an anti-neoplastic and anti-inflammatory drug, modulated the NR4A1-3 subfamily. Interestingly, the agonist-mediated activation did not involve modulation of primary coactivators' (e.g. p300 and SRC-2/GRIP-1) activity and/or recruitment. However, the role of the subsequently recruited coactivators, for example CARM-1 and TRAP220, in 6-MP-mediated activation of the NR4A1-3 subfamily remains obscure. In this study we demonstrate that 6-MP modulates the activity of the coactivator TRAP220 in a dose-dependent manner. Moreover, we demonstrate that TRAP220 potentiates NOR-1-mediated transactivation, and interacts with the NR4A1-3 subgroup in an AF-1-dependent manner in a cellular context. The region of TRAP220 that mediated 6-MP activation and NR4A interaction was delimited to amino acids 1-800, and operates independently of the critical PKC and PKA phosphorylation sites. Interestingly, TRAP220 expression does not increase the relative induction by 6-MP, however the absolute level of NOR-1-mediated trans-activation is increased. This study demonstrates that 6-MP modulates the activity of the NR4A subgroup, and the coactivator TRAP220.

Pseudomonas aeruginosa fimL regulates multiple virulence functions by intersecting with Vfr-modulated pathways

Virulence of Pseudomonas aeruginosa involves the co-ordinate expression of a range of factors including type IV pili (tfp), the type III secretion system (TTSS) and quorum sensing. Tfp are required for twitching motility, efficient biofilm formation, and for adhesion and type III secretion (TTS)-mediated damage to mammalian cells. We describe a novel gene (fimL) that is required for tfp biogenesis and function, for TTS and for normal biofilm development in P. aeruginosa. The predicted product of fimL is homologous to the N-terminal domain of ChpA, except that its putative histidine and threonine phosphotransfer sites have been replaced with glutamine. fimL mutants resemble vfr mutants in many aspects including increased autolysis, reduced levels of surface-assembled tfp and diminished production of type III secreted effectors. Expression of vfr in trans can complement fimL mutants. vfr transcription and production is reduced in fimL mutants whereas cAMP levels are unaffected. Deletion and insertion mutants of fimL frequently revert to wild-type phenotypes suggesting that an extragenic suppressor mutation is able to overcome the loss of fimL. vfr transcription and production, as well as cAMP levels, are elevated in these revertants, while Pseudomonas quinolone signal (PQS) production is reduced. These results suggest that the site(s) of spontaneous mutation is in a gene(s) which lies upstream of vfr transcription, cAMP, production, and PQS synthesis. Our studies indicate that Vfr and FimL are components of intersecting pathways that control twitching motility, TTSS and autolysis in P. aeruginosa.