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.

Implications of specimen preparation and of surface contamination for the measurement of the grain boundary carbon concentration of steels using x-ray microanalysis in an UHVFESTEM

The purpose of the present investigation was to gain an understanding of the nature of the carbon contamination on the surface of standard steel transmission electron spectroscopy (TEM) specimens, the effect of exposure of a clean specimen to normal laboratory air, and the efficacy of plasma-cleaning treatments. This knowledge is a necessary prerequisite to the development of appropriate specimen preparation and/or specimen cleaning methods. X-ray photoelectron spectroscopy in combination with argon ion beam profiling was used to characterize the specimen surfaces of X65 steel and 316 stainless steel. The only clean carbon-free surface obtained was that during argon etching of the sample in the surface analysis chamber. Any exposure of a previously cleaned sample to laboratory air resulted in a rapid carbon (hydrocarbon) contamination of the sample surface and the development of surface oxidation, Plasma cleaning with subsequent exposure of the specimen to the laboratory air also resulted in a carbon-contaminated surface. This suggests that procedures of preparation of TEM specimens of steels outside an ultrahigh vacuum chamber are unlikely to result in the lowering of contamination rates on specimens to levels where measurements for carbon in the grain boundaries are possible. What is needed is a cleaning system as an integral part of the specimen insertion system into the field-emission scanning transmission electron microscope. This cleaning could be carried out by argon ion etching. Copyright (C) 2000 John Wiley & Sons, Ltd.

Fitting a mixture model to three-mode three-way data with missing information

When the data consist of certain attributes measured on the same set of items in different situations, they would be described as a three-mode three-way array. A mixture likelihood approach can be implemented to cluster the items (i.e., one of the modes) on the basis of both of the other modes simultaneously (i.e,, the attributes measured in different situations). In this paper, it is shown that this approach can be extended to handle three-mode three-way arrays where some of the data values are missing at random in the sense of Little and Rubin (1987). The methodology is illustrated by clustering the genotypes in a three-way soybean data set where various attributes were measured on genotypes grown in several environments.

Strongly regular graphs from differences of quadrics

In this note strongly regular graphs with new parameters are constructed using nested "blown up" quadrics in projective spaces. (C) 2002 Elsevier Science B.V. All rights reserved.

Perp-systems and partial geometries

A perp-system R(r) is a maximal set of r-dimensional subspaces of PG(N,q) equipped with a polarity rho, such that the tangent space of an element of R(r) does not intersect any element of R(r). We prove that a perp-system yields partial geometries, strongly regular graphs, two-weight codes, maximal arcs and k-ovoids. We also give some examples, one of them yielding a new pg(8,20,2).

Evaluation of individual protein errors in silver-stained two-dimensional gels

The relationship between spot volume and variation for all protein spots observed on large format 2D gels when utilising silver stain technology and a model system based on mammalian NSO cell extracts is reported. By running multiple gels we have shown that the reproducibility of data generated in this way is dependent on individual protein spot volumes, which in turn are directly correlated with the coefficient of variation. The coefficients of variation across all observed protein spots were highest for low abundant proteins which are the primary contributors to process error, and lowest for more abundant proteins. Using the relationship between spot volume and coefficient of variation we show it is necessary to calculate variation for individual protein spot volumes. The inherent limitations of silver staining therefore mean that errors in individual protein spot volumes must be considered when assessing significant changes in protein spot volume and not global error. (C) 2003 Elsevier Science (USA). All rights reserved.

5 '-Untranslated regions with multiple upstream AUG codons can support low-level translation via leaky scanning and reinitiation

Upstream AUGs (uAUGs) and upstream open reading frames (uORFs) are common features of mRNAs that encode regulatory proteins and have been shown to profoundly influence translation of the main ORF. In this study, we employed a series of artificial 5'-untranslated regions (5'-UTRs) containing one or more uAUGs/uORFs to systematically assess translation initiation at the main AUG by leaky scanning and reinitiation mechanisms. Constructs containing either one or two uAUGs in varying contexts but without an in-frame stop codon upstream of the main AUG were used to analyse the leaky scanning mechanism. This analysis largely confirmed the ranking of different AUG contextual sequences that was determined previously by Kozak. In addition, this ranking was the same for both the first and second uAUGs, although the magnitude of initiation efficiency differed. Moreover, similar to10% of ribosomes exhibited leaky scanning at uAUGs in the most favourable context and initiated at a downstream AUG. A second group of constructs containing different numbers of uORFs, each with optimal uAUGs, were used to measure the capacity for reinitiation. We found significant levels of initiation at the main ORF even in constructs containing four uORFs, with nearly 10% of ribosomes capable of reinitiating five times. This study shows that for mRNAs containing multiple uORFs/uAUGs, ribosome reinitiation and leaky scanning are efficient mechanisms for initiation at their main AUGs.