Computer graphics data conditioning

Graphics data conditioning program expedites engineering analysis of flight data and ensures timely correction of measurement errors. By adding interactive computer graphic displays to existing data conditioning programs, computational results are immediately visible, enabling on-line intervention and control of computer processing

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

We define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of principals and the current global state of the session. Hereby, we can describe the operational semantics of principals and of an intruder in a simple and modular way. Furthermore, using proof theoretic tools like the analysis of permutability of rules, we are able to find efficient proof strategies that we prove complete for special classes of security protocols including Needham-Schroeder. Based on the results of this preliminary analysis, we have implemented a Prolog meta-interpreter which allows for rapid prototyping and for checking safety properties of security protocols, and we have applied it for finding error traces and proving correctness of practical examples

A Cation-π Interaction in the Binding Site of the Glycine Receptor Is Mediated by a Phenylalanine Residue

Cys-loop receptor binding sites characteristically contain many aromatic amino acids. In nicotinic ACh and 5-HT3 receptors, a Trp residue forms a cation-{pi} interaction with the agonist, whereas in GABAA receptors, a Tyr performs this role. The glycine receptor binding site, however, contains predominantly Phe residues. Homology models suggest that two of these Phe side chains, Phe159 and Phe207, and possibly a third, Phe63, are positioned such that they could contribute to a cation-{pi} interaction with the primary amine of glycine. Here, we test this hypothesis by incorporation of a series of fluorinated Phe derivatives using unnatural amino acid mutagenesis. The data reveal a clear correlation between the glycine EC50 value and the cation-{pi} binding ability of the fluorinated Phe derivatives at position 159, but not at positions 207 or 63, indicating a single cation-{pi} interaction between glycine and Phe159. The data thus provide an anchor point for locating glycine in its binding site, and demonstrate for the first time a cation-{pi} interaction between Phe and a neurotransmitter

Deduction with XOR Constraints in Security API Modelling

We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is the API of the IBM 4758 hardware security module. We also show how our technique can be applied to standard security protocols

Dynamics of levitated nanospheres: towards the strong coupling regime

The use of levitated nanospheres represents a new paradigm for the optomechanical cooling of a small mechanical oscillator, with the prospect of realising quantum oscillators with unprecedentedly high quality factors. We investigate the dynamics of this system, especially in the so-called self-trapping regimes, where one or more optical fields simultaneously trap and cool the mechanical oscillator. The determining characteristic of this regime is that both the mechanical frequency $\omega_M$ and single-photon optomechanical coupling strength parameters $g$ are a function of the optical field intensities, in contrast to usual set-ups where $\omega_M$ and $g$ are constant for the given system. We also measure the characteristic transverse and axial trapping frequencies of different sized silica nanospheres in a simple optical standing wave potential, for spheres of radii $r=20-500$\,nm, illustrating a protocol for loading single nanospheres into a standing wave optical trap that would be formed by an optical cavity. We use this data to confirm the dependence of the effective optomechanical coupling strength on sphere radius for levitated nanospheres in an optical cavity and discuss the prospects for reaching regimes of strong light-matter coupling. Theoretical semiclassical and quantum displacement noise spectra show that for larger nanospheres with $r \gtrsim 100$\,nm a range of interesting and novel dynamical regimes can be accessed. These include simultaneous hybridization of the two optical modes with the mechanical modes and parameter regimes where the system is bistable. We show that here, in contrast to typical single-optical mode optomechanical systems, bistabilities are independent of intracavity intensity and can occur for very weak laser driving amplitudes

Multiple Tyrosine Residues Contribute to GABA Binding in the GABA_C Receptor Binding Pocket

The ligand binding site of Cys-loop receptors is dominated by aromatic amino acids. In GABA_C receptors, these are predominantly tyrosine residues, with a number of other aromatic residues located in or close to the binding pocket. Here we examine the roles of these residues using substitution with both natural and unnatural amino acids followed by functional characterization. Tyr198 (loop B) has previously been shown to form a cation−π interaction with GABA; the current data indicate that none of the other aromatic residues form such an interaction, although the data indicate that both Tyr102 and Phe138 may contribute to stabilization of the positively charged amine of GABA. Tyr247 (loop C) was very sensitive to substitution and, combined with data from a model of the receptor, suggest a π–π interaction with Tyr241 (loop C); here again functional data show aromaticity is important. In addition the hydroxyl group of Tyr241 is important, supporting the presence of a hydrogen bond with Arg104 suggested by the model. At position Tyr102 (loop D) size and aromaticity are important; this residue may play a role in receptor gating and/or ligand binding. The data also suggest that Tyr167, Tyr200, and Tyr208 have a structural role while Tyr106, Trp246, and Tyr251 are not critical. Comparison of the agonist binding site “aromatic box” across the superfamily of Cys-loop receptors reveals some interesting parallels and divergences

Negotiating professional and social voices in research principles and practice

This paper draws on work conducted for a qualitative interview based study which explores the gendered racialised and professional identifications of health and social care professionals. Participants for the project were drawn from the professional executive committees of recently formed Primary Care Trusts. The paper discusses how the feminist psychosocial methodological approach developed for the project is theoretically, practically and ethically useful in exploring the voices of those in positions of relative power in relation to both health and social care services and the social relations of gender and ethnicity. The approach draws on psychodynamic accounts of (defended) subjectivity and the feminist work of Carol Gilligan on a voice-centred relational methodology. Coupling the feminist with the psychosocial facilitates an emphasis on voice and dialogic communication between participant and researcher not always captured in psychosocial approaches which tend towards favouring the interviewer as ‘good listener’. This emphasis on dialogue is important in research contexts where prior and ongoing relationships with professional participants make it difficult and indeed undesirable for researchers to maintain silence