Formal performance appraisal interviews: Can they really be objective, and are they useful anyway?

This paper reports on a qualitative field study conducted in Australia which examined what is occurring in formal performance appraisal interviews in relation to their objectivity and resultant outcomes. Supervisors and subordinates who had recently been involved in performance appraisals were interviewed about their experiences of the process. Perceptions of the utility of, and satisfaction with the interview process were examined. Further, the effect of the relationship between the participants on objectivity was investigated. Results indicated that formal appraisal interviews were not perceived to be of great utility, and that the relationship of the participants influenced the interview.

Carrageenans with complex substitution patterns from red algae of the genus Erythroclonium

Extracellular polysaccharides from three Erythroclonium spp. were shown, by a combination of compositional, linkage analyses, and Fourier transform infrared and C-13-nuclear magnetic resonance spectroscopy, to be highly substituted carrageenans with at least five types of repeating disaccharide units. These are the carrabiose 2,4'-disulfate of iota-carrageenan, carrabiose 2-sulfate of alpha-carrageenan, the 6'-O-methylated counterparts of each of these repeating units, and 4',6'-O-(1-carboxyethylidene)carrabiose 2-sulfate. The polysaccharides also contain significant amounts of unsubstituted, 4-linked galactopyranose and small amounts of 4-linked 3-O-methylgalactopyranose and terminal glycosyl residues. The carrageenan preparations of the three species are similar, differing only in the proportions of some components. (C) 1998 Elsevier Science Ltd.

H-1-NMR structural studies of a cystine-linked peptide containing residues 71-93 of transthyretin and effects of a Ser84 substitution implicated in familial amyloidotic polyneuropathy

The Ile-->Ser84 substitution in the thyroid hormone transport protein transthyretin is one of over 50 variations found to be associated with familial amyloid polyneuropathy, a hereditary type of lethal amyloidosis. Using a peptide analogue of the loop containing residue 84 in transthyretin, we have examined the putative local structural effects of this substitution using H-1-NMR spectroscopy. The peptide, containing residues 71-93 of transthyretin with its termini linked via a disulfide bond, was found to possess the same helix-turn motif as in the corresponding region of the crystallographically derived structure of transthyretin in 20% trifluoroethanol (TFE) solution. It therefore, represents a useful model with which to examine the effects of amyloidogenic substitutions. In a peptide analogue containing the Ile84-->Ser substitution it was found that the substitution does not greatly disrupt the overall three-dimensional structure, but leads to minor local differences at the turn in which residue 84 is involved. Coupling constant and NOE measurements indicate that the helix-turn motif is still present, but differences in chemical shifts and amide-exchange rates reflect a small distortion. This is in keeping with observations that several other mutant forms of transthyretin display similar subunit interactions and those that have been structurally analysed possess a near native structure. We propose that the Ser84 mutation induces only subtle perturbations to the transthyretin structure which predisposes the protein to amyloid formation.

Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

An Activated O N Acyl Transfer Auxiliary: Efficient Amide-Backbone Substitution of Hindered "Difficult" Peptides

Overcoming the phenomenon known as difficult synthetic sequences has been a major goal in solid-phase peptide synthesis for over 30 years. In this work the advantages of amide backbone-substitution in the solid-phase synthesis of difficult peptides are augmented by developing an activated N-alpha-acyl transfer auxiliary. Apart from disrupting troublesome intermolecular hydrogen-bonding networks, the primary function of the activated N-alpha-auxiliary was to facilitate clean and efficient acyl capture of large or beta-branched amino acids and improve acyl transfer yields to the secondary N-alpha-amine. We found o-hydroxyl-substituted nitrobenzyl (Hnb) groups were suitable N-alpha-auxiliaries for this purpose. The relative acyl transfer efficiency of the Hnb auxiliary was superior to the 2-hydroxy-4-methoxybenzyl (Hmb) auxiliary with protected amino acids of varying size. Significantly, this difference in efficiency was more pronounced between more sterically demanding amino acids. The Hnb auxiliary is readily incorporated at the N-alpha-amine during SPPS by reductive alkylation of its corresponding benzaldehyde derivative and conveniently removed by mild photolysis at 366 nm. The usefulness of the Hnb auxiliary for the improvement of coupling efficiencies in the chain-assembly of difficult peptides was demonstrated by the efficient Hnb-assisted Fmoc solid-phase synthesis of a known hindered difficult peptide sequence, STAT-91. This work suggests the Hnb auxiliary will significantly enhance our ability to synthesize difficult polypeptides and increases the applicability of amide-backbone substitution.

Mechanisms of substitution reactions on cyclometallated platinum(IV) complexes: "Quasi-labile" systems

The substitution reactions of SMe2 by phosphines (PMePh2, PEtPh2, PPh3, P(4-MeC6H4)(3), P(3-MeC6H4)(3), PCy3) on Pt-IV complexes having a cyclometalated imine ligand, two methyl groups in a cis-geometrical arrangement, a halogen, and a dimethyl sulfide as ligands, [Pt(CN)(CH3)(2)(X)(SMe2)], have been studied as a function of temperature, solvent, and electronic and steric characteristics of the phosphines and the X and CN ligands. In all cases, a limiting dissociative mechanism has been found, where the dissociation of the SMe2 ligand corresponds to the rate-determining step. The pentacoordinated species formed behaves as a true pentacoordinated Pt-IV compound in a steady-state concentration, given the solvent independence of the rate constant. The X-ray crystal structures of two of the dimethyl sulfide complexes and a derivative of the pentacoordinate intermediate have been determined. Differences in the individual rate constants for the entrance of the phosphine ligand can only be estimated as reactivity ratios. In all cases an effect of the phosphine size is detected, indicating that an associative step takes place from the pentacoordinated intermediate. The nature of the (CN) imine and X ligands produces differences in the dimethyl sulfide dissociation reactions rates, which can be quantified by the corresponding DeltaS double dagger values (72, 64, 48, 31, and 78 J K-1 mol(-1) for CN/X being C6H4CHNCH2C6H5/Br, C6H4CHNCH2-(2,4,6-(CH3)(3))C6H2/Br, C6H4CHNCH2C6H5/Cl, C6Cl4CHNCH2C6H5/Cl, and C6W4CH2NCHC6H5/ Pr, respectively). As a whole, the donor character of the coordinated C-aromatic and X atoms have the greatest influence on the dissociativeness of the rate-determining step.

Formal methods within a totally functional approach to programming

Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods. Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly folds, on data (structures). Totally Functional Programming avoids the complexities of interpretation by directly representing data (structures) as platonic combinators - the functions characteristic to the data. The link between the two simplifications is that platonic combinators are a kind of partially-applied fold, which means that platonic combinators inherit fold-theoretic properties, but with some apparent simplifications due to the platonic combinator representation. However, despite observable behaviour within functional programming that suggests that TFP is widely-applicable, significant work remains before TFP as such could be widely adopted.

The formal representation of process system modelling assumptions and their implications

In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and methods for checking them are described. It is shown on a simple example how different modelling assumptions act on the model equations and their effect on the differential index of the resulted model is also indicated.

Asymmetric page split generalized index search trees for formal concept analysis

Formal Concept Analysis is an unsupervised machine learning technique that has successfully been applied to document organisation by considering documents as objects and keywords as attributes. The basic algorithms of Formal Concept Analysis then allow an intelligent information retrieval system to cluster documents according to keyword views. This paper investigates the scalability of this idea. In particular we present the results of applying spatial data structures to large datasets in formal concept analysis. Our experiments are motivated by the application of the Formal Concept Analysis idea of a virtual filesystem [11,17,15]. In particular the libferris [1] Semantic File System. This paper presents customizations to an RD-Tree Generalized Index Search Tree based index structure to better support the application of Formal Concept Analysis to large data sources.