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.

Trades and Graphs

The trade spectrum of a simple graph G is defined to be the set of all t for which it is possible to assemble together t copies of G into a simple graph H, and then disassemble H into t entirely different copies of G. Trade spectra of graphs have applications to intersection problems, and defining sets, of G-designs. In this investigation, we give several constructions, both for specific families of graphs, and for graphs in general.

Packing complete multipartite graphs with 4-cycles

In this paper we completely solve the problem of finding a maximum packing of any complete multipartite graph with edge-disjoint 4-cycles, and the minimum leaves are explicitly given.

Decomposition of complete tripartite graphs into gregarious 4-cycles

A 4-cycle in a tripartite graph with vertex partition {V-1, V-2, V-3} is said to be gregarious if it has at least one vertex in each V-i, 1 less than or equal to i less than or equal to 3. In this paper, necessary and sufficient conditions are given for the existence of an edge-disjoint decomposition of any complete tripartite graph into gregarious 4-cycles.

Control of vector-borne disease by genetic manipulation of insect populations: technological requirements and research priorities

The possibility of controlling vector-borne disease through the development and release of transgenic insect vectors has recently gained popular support and is being actively pursued by a number of research laboratories around the world. Several technical problems must be solved before such a strategy could be implemented: genes encoding refractory traits (traits that render the insect unable to transmit the pathogen) must be identified, a transformation system for important vector species has to be developed, and a strategy to spread the refractory trait into natural vector populations must be designed. Recent advances in this field of research make it seem likely that this technology will be available in the near future. In this paper we review recent progress in this area as well as argue that care should be taken in selecting the most appropriate disease system with which to first attempt this form of intervention. Much attention is currently being given to the application of this technology to the control of malaria, transmitted by Anopheles gambiae in Africa. While malaria is undoubtedly the most important vector-borne disease in the world and its control should remain an important goal, we maintain that the complex epidemiology of malaria together with the intense transmission rates in Africa may make it unsuitable for the first application of this technology. Diseases such as African trypanosomiasis, transmitted by the tsetse fly, or unstable malaria in India may provide more appropriate initial targets to evaluate the potential of this form of intervention.

Twisted quantum affine superalgebra Uq[gl(m|n)(2)] and new Uq[osp(m|n)] invariant R-matrices

The minimal irreducible representations of U-q[gl(m|n)], i.e. those irreducible representations that are also irreducible under U-q[osp(m|n)] are investigated and shown to be affinizable to give irreducible representations of the twisted quantum affine superalgebra U-q[gl(m|n)((2))]. The U-q[osp(m|n)] invariant R-matrices corresponding to the tensor product of any two minimal representations are constructed, thus extending our twisted tensor product graph method to the supersymmetric case. These give new solutions to the spectral-dependent graded Yang-Baxter equation arising from U-q[gl(m|n)((2))], which exhibit novel features not previously seen in the untwisted or non-super cases.

Common multiples of complete graphs

A graph H is said to divide a graph G if there exists a set S of subgraphs of G, all isomorphic to H, such that the edge set of G is partitioned by the edge sets of the subgraphs in S. Thus, a graph G is a common multiple of two graphs if each of the two graphs divides G.

XSophe-Sophe-XeprView (R). A computer simulation software suite (v. 1.1.3) for the analysis of continuous wave EPR spectra

The XSophe-Sophe-XeprView((R)) computer simulation software suite enables scientists to easily determine spin Hamiltonian parameters from isotropic, randomly oriented and single crystal continuous wave electron paramagnetic resonance (CW EPR) spectra from radicals and isolated paramagnetic metal ion centers or clusters found in metalloproteins, chemical systems and materials science. XSophe provides an X-windows graphical user interface to the Sophe programme and allows: creation of multiple input files, local and remote execution of Sophe, the display of sophelog (output from Sophe) and input parameters/files. Sophe is a sophisticated computer simulation software programme employing a number of innovative technologies including; the Sydney OPera HousE (SOPHE) partition and interpolation schemes, a field segmentation algorithm, the mosaic misorientation linewidth model, parallelization and spectral optimisation. In conjunction with the SOPHE partition scheme and the field segmentation algorithm, the SOPHE interpolation scheme and the mosaic misorientation linewidth model greatly increase the speed of simulations for most spin systems. Employing brute force matrix diagonalization in the simulation of an EPR spectrum from a high spin Cr(III) complex with the spin Hamiltonian parameters g(e) = 2.00, D = 0.10 cm(-1), E/D = 0.25, A(x) = 120.0, A(y) = 120.0, A(z) = 240.0 x 10(-4) cm(-1) requires a SOPHE grid size of N = 400 (to produce a good signal to noise ratio) and takes 229.47 s. In contrast the use of either the SOPHE interpolation scheme or the mosaic misorientation linewidth model requires a SOPHE grid size of only N = 18 and takes 44.08 and 0.79 s, respectively. Results from Sophe are transferred via the Common Object Request Broker Architecture (CORBA) to XSophe and subsequently to XeprView((R)) where the simulated CW EPR spectra (1D and 2D) can be compared to the experimental spectra. Energy level diagrams, transition roadmaps and transition surfaces aid the interpretation of complicated randomly oriented CW EPR spectra and can be viewed with a web browser and an OpenInventor scene graph viewer.

Matrix elements of U(2n) generators in a multishell spin-orbit basis. III. General formulas

This is the third and final article in a series directed toward the evaluation of the U(2n) generator matrix elements (MEs) in a multishell spin/orbit basis. Such a basis is required for many-electron systems possessing a partitioned orbital space and where spin-dependence is important. The approach taken is based on the transformation properties of the U(2n) generators as an adjoint tensor operator of U(n) x U(2) and application of the Wigner-Eckart theorem. A complete set of adjoint coupling coefficients for the two-shell composite Gelfand-Paldus basis (which is appropriate to the many-electron problem) were obtained in the first and second articles of this series. Ln the first article we defined zero-shift coupling coefficients. These are proportional to the corresponding two-shell del-operator matrix elements. See P. J. Burton and and M. D. Gould, J. Chem. Phys., 104, 5112 (1996), for a discussion of the del-operator and its properties. Ln the second article of the series, the nonzero shift coupling coefficients were derived. Having obtained all the necessary coefficients, we now apply the formalism developed above to obtain the U(2n) generator MEs in a multishell spin-orbit basis. The methods used are based on the work of Gould et al. (see the above reference). (C) 1998 John Wiley & Sons, Inc.

3,5-cycle decompositions

For all odd integers n and all non-negative integers r and s satisfying 3r + 5s = n(n -1)/2 it is shown that the edge set of the complete graph on n vertices can be partitioned into r 3-cycles and s 5-cycles. For all even integers n and all non-negative integers r and s satisfying 3r + 5s = n(n-2)/2 it is shown that the edge set of the complete graph on n vertices with a 1-factor removed can be partitioned into r 3-cycles and s 5-cycles. (C) 1998 John Wiley & Sons, Inc.

Mice expressing the E7 oncogene of HPV16 in epithelium show central tolerance, and evidence of peripheral anergising tolerance, to E7-encoded cytotoxic T-lymphocyte epitopes

In order to derive mice which expressed both the E7 open reading frame transgene of human papillomavirus type 16 in skin and MHC class 1 restriction elements for several E7-encoded cytotoxic T-lymphocyte (CTL) epitopes, K14.HPV16E7 mice which express E7 in basal keratinocytes were crossed to the F1 generation with A2.1 K-b transgenic mice which express the MHC binding cleft domains of human HLA A*0201, and murine H-2(b). F1 mice (denoted K14E7xA2.1) expressed E7 in the thymus at least as early as 2-5 days before birth. Immunisation of FVBxA2.1 control mice (transgenic for HLA A*0201 and H-2(b) but not for E7), with two HLA A*0201-restricted epitopes of E7 and one H-2(b)-restricted CTL epitope of E7, gave strong primary CTL responses recognising epitope-pulsed or constitutively E7-expressing syngeneic target cells. In contrast, in immunised K14E7xA2.1 mice, the CTL responses to the H-2(b) epitope and one of the HLA A*0201 CTL epitopes were strongly down-regulated, and to the other HLA A*0201 epitope, completely abolished, as demonstrated by percentage specific killing by bulk splenocyte cultures in cyrotoxicity assays, and by CTL precursor frequency analysis, In thymus-transplanted bone marrow radiation chimeras in which the immune system of K14E7xA2.1 mice was replaced by a FVBxA2.1 immune system, specific immunisation did not result in reemergence of strong E7-directed CTL responses. In agreement with these in vitro findings, specific immunisation failed to significantly alter the course of E7-associated tumour development in K14E7xA2.1 mice. These data are consistent with a model of central deletional CTL tolerance to E7-encoded epitopes recognised in the context of two distinct MHC class 1 restriction elements, and with the possibility of peripheral T-cell anergy maintained by expression of E7 in the skin. (C) 1998 Academic Press.

Hypothalamic dopamine D1 receptors are involved in the stimulation of prolactin secretion by high environmental temperature in the female sheep

Recent evidence suggests that dopamine, acting via its D1 receptors, may function as a neurotransmitter in intrahypothalamic pathways involved in the stimulation of prolactin secretion. Functional dopamine D1 receptors are present in the ventromedial hypothalamic nucleus (VMH) and we hypothesized that they might be part of a prolactin-stimulatory pathway activated by stress. We tested this hypothesis in a series of experiments on sheep involving two different forms of stressors, audiovisual (barking dog) and high environmental temperature. We attempted to block the stimulation of prolactin secretion by infusion into the VMH of an antagonist specific for the D1 receptor. Ovariectomised, oestradiol-implanted merino ewes were surgically implanted with bilateral guide tubes directed at the VMH. After a 180 min pretreatment period, the ewes either were or were not exposed to a stressor (30 min of barking dog or 120 min at 35 degrees C, 65% relative humidity). D1 receptor antagonist, SCH23390 or vehicle (0.9% saline) was infused into the VMH (1.7 mu l/h, 120 nmol/h) for 60 min prior to and during the stressor period. Blood was sampled every 15 min via jugular cannulae and the plasma was assayed for prolactin, cortisol and growth hormone (GH). Both stressors significantly increased prolactin concentrations over control levels. SCH23390 infusion significantly attenuated the prolactin response to high environmental temperature, but had no effect on the prolactin response to audiovisual stress. Cortisol concentrations were significantly increased by audiovisual stress only and were not affected by SCH23390, GH concentrations were not changed by either stressor or infusion. Drug infusion alone did not affect the concentration of the hormones. The data suggest that the VMH D1 receptors are involved in a prolactin stimulatory pathway in response to high environmental temperature. The inability of the D1 antagonist to affect the response to the barking dog indicates that this pathway is stress-specific, implying that there is more than one mechanism or pathway involved in the prolactin response to different stressors.

The relationship between plasma lactate parameters, W-peak and 1-h cycling performance in women

Purpose: The relationship between six descriptors of lactate increase, peak (V) over dot O-2,W-peak, and 1-h cycling performance were compared in 24 trained, female cyclists (peak (V) over dot O-2 = 48.11 +/- 6.32 mL . kg(-1) . min(-1)). Methods: The six descriptors of lactate increase were: 1) lactate threshold (LT; the power output at which plasma lactate concentration begins to increase above the resting level during an incremental exercise test), 2) LT1 (the power output at which plasma lactate increases by 1 mM or more), 3) LTD (the lactate threshold calculated by the D-max method), 4) LTMOD (the lactate threshold calculated by a modified D-max method), 5) L4 (the power output at which plasma lactate reaches a concentration of 4 mmol-L-1), and 6) LTLOG (the power output at which plasma lactate concentration begins to increase when the log([La-]) is plotted against the log (power output)). Subjects first completed a peak (V) over dot O-2 test on a cycle ergometer. Finger-tip capillary blood was sampled within 30 s of the end of each 3-min stage for analysis of plasma lactate. Endurance performance was assessed 7 d later using a 1-h cycle test (OHT) in which subjects were directed to achieve the highest possible average power output. Results: The mean power output (W) for the OHT (+/- SD) was 183.01 +/- 18.88, and for each lactate variable was: LT (138.54 +/- 46.61), LT1 (179.17 +/- 27.25), LTLOG (143.97 +/- 45.74), L4 (198.09 +/- 33.84), LTD (178.79 +/- 24.07), LTMOD (212.28 +/- 31.75). Average power output during the OHT was more strongly correlated with all plasma lactate parameters (0.61 < r < 0.84) and W-peak (r = 0.81) than with peak (V) over dot O-2 (r = 0.55). The six lactate parameters were strongly correlated with each other (0.54 < r < 0.91) and of the six lactate parameters, LTD correlated best with endurance performance (r = 0.84). Conclusions: It was concluded that plasma lactate parameters and W-peak provide better indices of endurance performance than peak (V) over dot O-2 and that, of the six descriptors of lactate increase measured in this study, LTD is most strongly related to 1-h cycling performance in trained, female cyclists.

The lobatamides, novel cytotoxic macrolides from southwestern Pacific tunicates

Novel macrolides, lobatamides A-F (1-6), have been isolated from shallow water Australian collections of Aplidium lobatum, from a deep water collection of Aplidium sp., and from an unidentified Philippine ascidian. Full details of the isolation and structure elucidation of 1-6 are provided herein, along with results and analyses of the testing of lobatamides A-D (1-4) in the NCI human tumor 60 cell-line screen. The lobatamides share a common core structure with the recently described salicylihalamides, which were isolated from a Haliclona sp. sponge. COMPARE analyses of the mean-graph differential cytotoxicity profiles of the lobatamides and the salicylihalamides showed high correlations with each other but not with members of the NCI's standard agents database. These compounds, therefore, appear to comprise a new mechanistic class, meriting further antitumor investigations.