Formal analysis of human-computer interaction using model checking

Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case study, a formal model of an air traffic control (ATC) system which incorporates controller behaviour. The cognitive model is formalised in the CSP process algebra. Patterns of behaviour are expressed as temporal logic properties. Then a model-checking technique is used to verify whether the decomposition of the operator's behaviour into patterns is sound and complete with respect to the cognitive model. The decomposition is shown to be incomplete and a new behavioural pattern is identified, which appears to have been overlooked in the analysis of the data provided by the experiments with the simulator. This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive systems.

S. cerevisiae as a model for studying mutations in the human gene OPA1 associated with dominant optic atrophy and for drug discovery

L’atrofia ottica dominante (ADOA) è una malattia mitocondriale caratterizzata da difetti visivi, che si manifestano durante l’infanzia, causati da progressiva degenerazione delle cellule gangliari della retina (RGC). ADOA è una malattia genetica associata, nella maggior parte dei casi, a mutazioni nel gene OPA1 che codifica per la GTPasi mitocondriale OPA1, appartenente alla famiglia delle dinamine, principalmente coinvolta nel processo di fusione mitocondriale e nel mantenimento del mtDNA. Finora sono state identificate più di 300 mutazioni patologiche nel gene OPA1. Circa il 50% di queste sono mutazioni missenso, localizzate nel dominio GTPasico, che si pensa agiscano come dominanti negative. Questa classe di mutazioni è associata ad una sindrome più grave nota come “ADOA-plus”. Nel lievito Saccharomyces cerevisiae MGM1 è l’ortologo del gene OPA1: nonostante i due geni abbiano domini funzionali identici le sequenze amminoacidiche sono scarsamente conservate. Questo costituisce una limitazione all’uso del lievito per lo studio e la validazione di mutazioni patologiche nel gene OPA1, infatti solo poche sostituzioni possono essere introdotte e studiate nelle corrispettive posizioni del gene di lievito. Per superare questo ostacolo è stato pertanto costruito un nuovo modello di S. cerevisiae, contenente il gene chimerico MGM1/OPA1, in grado di complementare i difetti OXPHOS del mutante mgm1Δ. Questo gene di fusione contiene una larga parte di sequenza corrispondente al gene OPA1, nella quale è stato inserito un set di nuove mutazioni trovate in pazienti affetti da ADOA e ADOA-plus. La patogenicità di queste mutazioni è stata validata sia caratterizzando i difetti fenotipici associati agli alleli mutati, sia la loro dominanza/recessività nel modello di lievito. A tutt’oggi non è stato identificato alcun trattamento farmacologico per la cura di ADOA e ADOA-plus. Per questa ragione abbiamo utilizzato il nostro modello di lievito per la ricerca di molecole che agiscono come soppressori chimici, ossia composti in grado di ripristinare i difetti fenotipici indotti da mutazioni nel gene OPA1. Attraverso uno screening fenotipico high throughput sono state testate due differenti librerie di composti chimici. Questo approccio, noto con il nome di drug discovery, ha permesso l’identificazione di 23 potenziali molecole attive.

Human resource management systems and organizational performance:a test of a mediating model in the Greek manufacturing context

This paper investigates the relationship between systems of HRM policies and organizational performance. The research is based on a sample of 178 organizations operating in the Greek manufacturing sector. A mediation model is tested to examine the link between HRM and organizational performance. The results of this study support the hypothesis that the relationship between the HRM systems of resourcing-development and reward-relations, and organizational performance, is mediated through the HRM outcomes of skills and attitudes. The paper not only supports the theory that HRM systems have a positive impact on organizational performance but also explains the mechanisms through which HRM systems improve organizational performance.

Expression of the human cachexia-associated protein (HCAP) in prostate cancer and in a prostate cancer animal model of cachexia

Prostate cancer (CaP) patients with disseminated disease often suffer from severe cachexia, which contributes to mortality in advanced cancer. Human cachexia-associated protein (HCAP) was recently identified from a breast cancer library based on the available 20-amino acid sequence of proteolysis-inducing factor (PIF), which is a highly active cachectic factor isolated from mouse colon adenocarcinoma MAC16. Herein, we investigated the expression of HCAP in CaP and its potential involvement in CaP-associated cachexia. HCAP mRNA was detected in CaP cell lines, in primary CaP tissues and in its osseous metastases. In situ hybridization showed HCAP mRNA to be localized only in the epithelial cells in CaP tissues, in the metastatic foci in bone, liver and lymph node, but not in the stromal cells or in normal prostate tissues. HCAP protein was detected in 9 of 14 CaP metastases but not in normal prostate tissues from cadaveric donors or patients with organ-confined tumors. Our Western blot analysis revealed that HCAP was present in 9 of 19 urine specimens from cachectic CaP patients but not in 19 urine samples of noncachectic patients. HCAP mRNA and protein were also detected in LuCaP 35 and PC-3M xenografts from our cachectic animal models. Our results demonstrated that human CaP cells express HCAP and the expression of HCAP is associated with the progression of CaP and the development of CaP cachexia. © 2003 Wiley-Liss, Inc.

Interaction of quinolone antibiotics with the human intestinal CACO-2 cell model

The transport of a group of quinolone antibiotics across the human intestinal model, Caco-2 cells, was investigated. It was found that the transport of the quinolones generally correlated with the lipophilicity of the compounds, indicating the passive diffusional transcellular processes were involved. However, it was observed that the transport in both directions apical-to-basolateral and basolateral-to-apical was not equivalent, and polarised transport occurred. For all the quinolones studied except, BMS-284756-01, it was found that the basolateral-to-apical transport was significantly greater than the apical-to-basolateral transport. This finding suggested that the quinolones underwent a process of active secretion. The pKas and logPs for the quinolones were determined using potentiometric titrations. The measured logP values were compared with those determined using theoretical methods. The theoretical methods for calculating logP including the Moriguchi method correlated poorly with the measured logP values. Further investigations revealed that there may be an active transporter involved in the apical-to-basolateral transport of quinolones as well. This mechanism was sensitive to competing quinolones, but, it was unaffected by the metabolic inhibitor combination of sodium azide (15mM) with 2-deoxy-D-glucose (50mM). The basolateral-to-apical transport of quinolones was found to be sensitive to inhibition by a number of different inhibitors. The metabolic inhibitors, sodium azide (15mM) with 2-deoxy-D-glucose (50mM) and 2,4-dinitrophenol (1mM), were able to reduce the basolateral-to-apical transport of quinolones. A reduction in temperature from 37°C to 2°C caused an 80-fold decrease in the transport of gatifloxacin in both directions, however, this effect was not sufficient to abolish the greater basolateral-to-apical secretion. As with apical-to-basolateral transport, it was found that quinolones competed with gatifloxacin for basolateral-to-apical transport, both ofloxacin (100μM) and norfloxacin (100μM) significantly (P<0.003) decreased the basolateral-to-apical transport of gatifloxacin; however, ciprofloxacin (100μM and 300μM) had no effect. A number of inhibitors of various transport systems were also investigated. It was found that the anion transport inhibitor, probenecid (100 μM) had a significant inhibitory effect on the basolateral-to-apical transport of ciprofloxacin (P=0.039), while the cation transport inhibitor cimetidine (100μM and 500μM) had no effect. The organic anion exchange inhibitor 4,4'diisothiocyanostilbene-2-2' -disulphonic acid DIDS (400μM) also had a significant inhibitory effect (P=O.O 13). The PgP inhibitor and anion exchange inhibitor verapamil (400Mμ) was able to completely abolish the basolateral-to-apical secretion of gatifloxacin and bring it into line with the apical-to-basolateral flux. In conclusion, the apical-to-basolateral and basolateral-toapical transport of quinolones involved an active component. The basolateral-to-apical secretion was abolished by a verapamil (400μM), a bisubstrate for PgP and the anion transporter.

Development of a multicellular co-culture model of normal and cystic fibrosis human airways in vitro

Cystic fibrosis (CF) is the most common lethal inherited disease among Caucasians and arises due to mutations in a chloride channel, called cystic fibrosis transmembrane conductance regulator. A hallmark of this disease is the chronic bacterial infection of the airways, which is usually, associated with pathogens such as Pseudomonas aeruginosa, S. aureus and recently becoming more prominent, B. cepacia. The excessive inflammatory response, which leads to irreversible lung damage, will in the long term lead to mortality of the patient at around the age of 40 years. Understanding the pathogenesis of CF currently relies on animal models, such as those employing genetically-modified mice, and on single cell culture models, which are grown either as polarised or non-polarised epithelium in vitro. Whilst these approaches partially enable the study of disease progression in CF, both types of models have inherent limitations. The overall aim of this thesis was to establish a multicellular co-culture model of normal and CF human airways in vitro, which helps to partially overcome these limitations and permits analysis of cell-to-cell communication in the airways. These models could then be used to examine the co-ordinated response of the airways to infection with relevant pathogens in order to validate this approach over animals/single cell models. Therefore epithelial cell lines of non-CF and CF background were employed in a co-culture model together with human pulmonary fibroblasts. Co-cultures were grown on collagen-coated permeable supports at air-liquid interface to promote epithelial cell differentiation. The models were characterised and essential features for investigating CF infections and inflammatory responses were investigated and analysed. A pseudostratified like epithelial cell layer was established at air liquid interface (ALI) of mono-and co-cultures and cell layer integrity was verified by tight junction (TJ) staining and transepithelial resistance measurements (TER). Mono- and co-cultures were also found to secrete the airway mucin MUC5AC. Influence of bacterial infections was found to be most challenging when intact S. aureus, B. cepacia and P. aeruginosa were used. CF mono- and co-cultures were found to mimic the hyperinflammatory state found in CF, which was confirmed by analysing IL-8 secretions of these models. These co-culture models will help to elucidate the role fibroblasts play in the inflammatory response to bacteria and will provide a useful testing platform to further investigate the dysregulated airway responses seen in CF.

Development of a co-culture model of the human lungs for toxicity testing and identification of biomarkers of inhalation toxicity

The airway epithelium is the first point of contact in the lung for inhaled material, including infectious pathogens and particulate matter, and protects against toxicity from these substances by trapping and clearance via the mucociliary escalator, presence of a protective barrier with tight junctions and initiation of a local inflammatory response. The inflammatory response involves recruitment of phagocytic cells to neutralise and remove and invading materials and is oftern modelled using rodents. However, development of valid in vitro airway epithelial models is of great importance due to the restrictions on animal studies for cosmetic compound testing implicit in the 7th amendment to the European Union Cosmetics Directive. Further, rodent innate immune responses have fundamental differences to human. Pulmonary endothelial cells and leukocytes are also involved in the innate response initiated during pulmonary inflammation. Co-culture models of the airways, in particular where epithelial cells are cultured at air liquid interface with the presence of tight junctions and differentiated mucociliary cells, offer a solution to this problem. Ideally validated models will allow for detection of early biomarkers of response to exposure and investigation into inflammatory response during exposure. This thesis describes the approaches taken towards developing an in vitro epithelial/endothelial cell model of the human airways and identification biomarkers of response to exposure to xenobiotics. The model comprised normal human primary microvascular endothelial cells and the bronchial epithelial cell line BEAS-2B or normal human bronchial epithelial cells. BEAS-2B were chosen as their characterisation at air liquid interface is limited but they are robust in culture, thereby predicted to provide a more reliable test system. Proteomics analysis was undertaken on challenged cells to investigate biomarkers of exposure. BEAS-2B morphology was characterised at air liquid interface compared with normal human bronchial epithelial cells. The results indicate that BEAS-2B cells at an air liquid interface form tight junctions as shown by expression of the tight junction protein zonula occludens-1. To this author’s knowledge this is the first time this result has been reported. The inflammatory response of BEAS-2B (measured as secretion of the inflammatory mediators interleukin-8 and -6) air liquid interface mono-cultures to Escherichia coli lipopolysaccharide or particulate matter (fine and ultrafine titanium dioxide) was comparable to published data for epithelial cells. Cells were also exposed to polymers of “commercial interest” which were in the nanoparticle range (and referred to particles hereafter). BEAS-2B mono-cultures showed an increased secretion of inflammatory mediators after challenge. Inclusion of microvascular endothelial cells resulted in protection against LPS- and particle- induced epithelial toxicity, measured as cell viability and inflammatory response, indicating the importance of co-cultures for investigations into toxicity. Two-dimensional proteomic analysis of lysates from particle-challenged cells failed to identify biomarkers of toxicity due to assay interference and experimental variability. Separately, decreased plasma concentrations of serine protease inhibitors, and the negative acute phase proteins transthyretin, histidine-rich glycoprotein and alpha2-HS glycoprotein were identified as potential biomarkers of methyl methacrylate/ethyl methacrylate/butylacrylate treatment in rats.

Differentiating human NT2/D1 neurospheres as a versatile in vitro 3D model system for developmental neurotoxicity testing

Developmental neurotoxicity is a major issue in human health and may have lasting neurological implications. In this preliminary study we exposed differentiating Ntera2/clone D1 (NT2/D1) cell neurospheres to known human teratogens classed as non-embryotoxic (acrylamide), weakly embryotoxic (lithium, valproic acid) and strongly embryotoxic (hydroxyurea) as listed by European Centre for the Validation of Alternative Methods (ECVAM) and examined endpoints of cell viability and neuronal protein marker expression specific to the central nervous system, to identify developmental neurotoxins. Following induction of neuronal differentiation, valproic acid had the most significant effect on neurogenesis, in terms of reduced viability and decreased neuronal markers. Lithium had least effect on viability and did not significantly alter the expression of neuronal markers. Hydroxyurea significantly reduced cell viability but did not affect neuronal protein marker expression. Acrylamide reduced neurosphere viability but did not affect neuronal protein marker expression. Overall, this NT2/D1 -based neurosphere model of neurogenesis, may provide the basis for a model of developmental neurotoxicity in vitro.

Representing the assessment process for psychodynamic psychotherapy within a computerized model of human classification

This research describes a computerized model of human classification which has been constructed to represent the process by which assessments are made for psychodynamic psychotherapy. The model assigns membership grades (MGs) to clients so that the most suitable ones have high values in the therapy category. Categories consist of a hierarchy of components, one of which, ego strength, is analysed in detail to demonstrate the way it has captured the psychotherapist's knowledge. The bottom of the hierarchy represents the measurable factors being assessed during an interview. A questionnaire was created to gather the identified information and was completed by the psychotherapist after each assessment. The results were fed into the computerized model, demonstrating a high correlation between the model MGs and the suitability ratings of the psychotherapist (r = .825 for 24 clients). The model has successfully identified the relevant data involved in assessment and simulated the decision-making process of the expert. Its cognitive validity enables decisions to be explained, which means that it has potential for therapist training and also for enhancing the referral process, with benefits in cost effectiveness as well as in the reduction of trauma to clients. An adapted version measuring client improvement would give quantitative evidence for the benefit of therapy, thereby supporting auditing and accountability. © 1997 The British Psychological Society.

The sciatic nerve of the toad Xenopus laevis as a physiological model of the human cochlear nerve

The response of single fibres of the human cochlear nerve to electrical stimulation by a cochlear implant has previously been inferred from the response of the cochlear nerve in other mammals. These experiments are hindered by stimulus artefact and the range of stimulus currents used is therefore much less than the perceptual dynamic range (from threshold to discomfort) of human subjects. We have investigated use of the sciatic nerve of the toad Xenopus laevis as a convenient physiological model of the human cochlear nerve. Use of this completely dissected nerve reduces the problems of stimulus artefact whilst maintaining the advantages of a physiological preparation. The validity of the model was assessed by measuring the refractory periods, excitation time-constant, and relative spread of single fibres using microelectrode recording. We have also investigated the response of nerve fibres to sinusoidal stimulation. Based on these measurements, we propose that the sciatic nerve may be a suitable model of the human cochlear nerve if the timescales of stimuli are decreased by a factor of about five to compensate for the slower dynamics of the sciatic nerve and if noise is added to the stimuli to compensate for the lower internal noise of sciatic nerve fibres.

The Model of Unreliable Elements (Human Resources) Intellectual Management System on the Basis of Their Psychological and Personal Characteristics

The Article suggests a possible approach to creation of the Intellectual Management System for human resources and personnel (during their professional tasks solving), and that could consider personal characteristics and psychological condition of the human resources as an “unreliable” element. The Article describes some elements of the Intellectual Management System: professional activity model and “unreliable” element (human resources) model.