Addressing the evolution of automated user behaviour patterns by runtime model interpretation

The final publication is available at Springer via http://dx.doi.org/10.1007/s10270-013-0371-3The use of high-level abstraction models can facilitate and improve not only system development but also runtime system evolution. This is the idea of this work, in which behavioural models created at design time are also used at runtime to evolve system behaviour. These behavioural models describe the routine tasks that users want to be automated by the system. However, users¿ needs may change after system deployment, and the routine tasks automated by the system must evolve to adapt to these changes. To facilitate this evolution, the automation of the specified routine tasks is achieved by directly interpreting the models at runtime. This turns models into the primary means to understand and interact with the system behaviour associated with the routine tasks as well as to execute and modify it. Thus, we provide tools to allow the adaptation of this behaviour by modifying the models at runtime. This means that the system behaviour evolution is performed by using high-level abstractions and avoiding the costs and risks associated with shutting down and restarting the system.This work has been developed with the support of MICINN, under the project EVERYWARE TIN2010-18011, and the support of the Christian Doppler Forschungsgesellschaft and the BMWFJ, Austria.Serral Asensio, E.; Valderas Aranda, PJ.; Pelechano Ferragud, V. (2013). Addressing the evolution of automated user behaviour patterns by runtime model interpretation. Software and Systems Modeling. https://doi.org/10.1007/s10270-013-0371-3SWeiser, M.: The computer of the 21st century. Sci. Am. 265, 66–75 (1991)Serral, E., Valderas, P., Pelechano, V.: Context-adaptive coordination of pervasive services by interpreting models during runtime. Comput. J. 56(1), 87–114 (2013)Ajila, S.A., Alam, S.: Using a formal language constructs for software model evolution. In: Third IEEE International Conference on Semantic Computing (IEEE-ICSC 2009). Berkeley, CA, USA, pp. 390–395 (2009)Bennett, K., Rajlich, V.: Software Maintenance and Evolution: A Roadmap. In: 22nd International Conference on Software Engineering (ICSE 2000). Limerick, Ireland, pp. 75–87 (2000)Mens, T.: The ERCIM working group on software evolution: the past and the future. In: Proceedings of the Joint International and Annual ERCIM Workshops on Principles of Software Evolution (IWPSE) and Software Evolution (Evol) Workshops. ACM (2009)Mens, T., Wermelinger, M., Ducasse, S., Demeyer, S., Hirschfeld, R.: Challenges in software evolution. In: Report of the ChaSE 2005 Workshop Organised by the ERCIM Working Group on Software Evolution. IWPSE-05. Lisbon, Portugal, pp. 13–22 (2005)Hirschfeld, R., Kawamura, K., Berndt, H.: Dynamic service adaptation for runtime system extensions. In: Wireless On-Demand Network Systems, pp. 227–240. Springer, Berlin, Heidelberg, Madonna di Campiglio, Italy (2004)Lientz, B.P., Swanson, E.B.: Software maintenance management: a study of the maintenance of computer applications software in 487 data processing organizations. Addison-Wesley, Reading, MA (1980)Buckley, J., Mens, T., Zenger, M., Rashid, A., Kniesel, G.: Towards a taxonomy of software change. J. Softw. Maint. Evolut. Res. Pract. 17(5), 309–332 (2003)Hardian, B., Indulska, J., Henricksen, K.: Balancing autonomy and user control in context-aware systems—a survey. In: CoMoRea, IEEE PerCom Workshops 2006. (2006)Biegel, G., Cahill, V.: A framework for developing mobile, context-aware applications. In: The 2nd IEEE Conference on Pervasive Computing and Communication (PerCom), pp. 361–365 (2004)Hofer, T., Schwinger, W., Pichler, M., Leonhartsberger, G., Altmann, J.: Context-awareness on mobile devices—the hydrogen approach. In: The 36th Annual Hawaii International Conference on System Sciences, pp. 292–302 (2002)Dey, A.K.: Understanding and using context. Pers. Ubiquitous Comput. 5(1), 4–7 (2001)Sheng, Q.Z., Benatallah, B.: ContextUML: a UML-based modelling language for model-driven development of context-aware web services. In: Proceedings of the International Conference on Mobile, Business (ICMB’05). pp. 206–212 (2005)Henricksen, K., Indulska, J.: A software engineering framework for context-aware pervasive computing. In: Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications (PerCom 2004), pp. 77–86. IEEE, Orlando, FL, USA (2004)Baldauf, M., Dustdar, S., Rosenberg, F.: A survey on context-aware systems. Int. J. Ad Hoc Ubiquitous Comput. 2(4), 263–277 (2007)Ye, J., Coyle, L., Dobson, S., Nixon, P.: Ontology-based models in pervasive computing systems. Knowl. Eng. Rev. 22(4), 315–347 (2007)Chen, H., Finin, T., Joshi, A.: An ontology for context-aware pervasive computing environments. Special Issue on Ontologies for Distributed Systems. Knowl. Eng. Rev. 18(3), 197–207 (2004)Welty, C., McGuinness, D.L.: OWL Web Ontology Language Guide. vol. W3C Recomm. W3C Recommendation 10 Feb 2004 (2004)Shepherd, A.: HTA as a framework for task analysis. Ergonomics 41, 1537–1552 (1998)Serral, E., Valderas, P., Pelechano, V.: Towards the model driven development of context-aware pervasive systems. Special Issue on Context Modelling, Reasoning and Management. PMC 6(2), 254–280 (2010)Serral, E.: Automating Routine Tasks in Smart Environments. A Context-aware Model-driven Approach, Technical University of Valencia (2011)Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model Driven Architecture. Addison-Wesley, Indianapolis (2002)Muñoz, J., Ferragud, D.V.P.: Model Driven Development of Pervasive Systems. Building a Software Factory. Universidad Politécnica de Valencia, Valencia (2008)Juric, M.B., Sarang, P.: Business Process Execution Language for Web Services: BPEL and BPEL4WS (2006)Loke, S.W., Smanchat, S., Ling, S., Indrawan, M.: Formal mirror models: an approach to just-in-time reasoning for device ecologies. Int. J. Smart Home 2(1), 15–32 (2008)Code Generation conference. http://www.codegeneration.net/cg2010/ (2010)Guy, M.: Report 2: API Good Practice Good practice for provision of and consuming APIs. UKOLN (2009)Bloch, J.: How to design a good API and why it matters. pp. 506–507 (2005)Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. Web Semant. 5(2), 51–53 (2007)Bernstein, P.: Multiversion concurrency control—theory and algorithms. ACM Trans. Database Syst. 8(4), 465–484 (1983)Cooper, S., Dann, W., Pausch, R.: Alice: a 3-D tool for introductory programming concepts. J. Comput. Sci. Coll. 15, 107–116 (2000)Pérez, F., Valderas, P.: Allowing end-users to actively participate within the elicitation of pervasive system requirements through immediate visualization. In: Fourth International Workshop on Requirements Engineering Visualization (REV), pp. 31–40. IEEE, Atlanta, Georgia, USA (2009)Lieberman, H., Paternó, F., Wulf, V.: End User Development. Springer, Dordrecht (2006)Nielsen, J.: Usability Engineering. Morgan Kaufmann Publishers Inc, San Francisco (1993)Van Welie, M., Trætteberg, H.: Interaction Patterns in User, Interfaces. pp. 13–16 (2000)Galitz, W.O.: The Essential Guide to User Interface Design: An Introduction to GUI Design Principles and Techniques. Wiley, New York (2002)Kitchenham, B., Pickard, L., Pfleeger, S.L.: Case studies for method and tool evaluation. Softw. IEEE 12(4), 52–62 (1995)Wohlin, C., Runeson, P., Höst, M., Ohlsson, M.C., Regnell, B., Wesslén, A.: Experimentation in Software Engineering. Springer, Berlin (2012)Jones, J.V.: Applied software measurement: assuring productivity & quality (2nd ed’97). McGraw-Hill, New York (1997)Strang, T., Linnhoff-Popien, C.: A context modeling survey. In: First International Workshop on Advanced Context Modelling, Reasoning And Management at UbiComp (2004)Lewis, J.R.: Psychometric Evaluation of an After-Scenario Questionnaire for Computer Usability Studies? The ASQ. SIGCHI Bulletin (1991)Cook, D.J., Youngblood, M., Heierman, I.I.I.E.O., Gopalratnam, K., Rao, S., Litvin, A., Khawaja, F.: MavHome: An Agent-based Smart Home. In: First IEEE International Conference on Pervasive Computing and, Communications (PerCom’03), pp. 521–524 (2003)Hagras, H., Callaghan, V., Colley, M., Clarke, G., Pounds-Cornish, A., Duman, H.: Creating an ambient-intelligence environment using embedded agents. IEEE Intell. Syst. 19(6), 12–20 (2004)Rashidi, P., Cook, D.J.: Keeping the resident in the loop: adapting the smart home to the user. IEEE Trans. Syst. Man Cybern. 39(5), 949–959 (2009)Webb, G.I., Pazzani, M.J., Billsus, D.: Machine learning for user modeling. User model. User-Adapt Interact. 11(1–2), 19–29 (2001)Valiant, L.G.: A theory of the learnable. Commun. ACM 27(11), 1134–1142 (1984)Serral, E., Valderas, P., Pelechano, V.: (2011) Improving the cold-start problem in user task automation by using models at runtime. In: Information Systems Development, pp. 671–683. (2011)García-Herranz, M., Haya, P.A., Esquivel, A., Montoro, G., Alamán, X.: Easing the smart home: semi-automatic adaptation in perceptive environments. J. Univers. Comput. Sci. 14(9), 1529–1544 (2008)Henricksen, K., Indulska, J., Rakotonirainy, A.: Using context and preferences to implement self-adapting pervasive computing applications. Sofw. Pract. Exp. 36(11–12), 1307–1330 (2006)Johnson, P.: Tasks and situations: considerations for models and design principles in human computer interaction, pp. 1199–1204. HCI International. Munich, Germany (1999)Cook, D.J., Das, S.K.: Smart environments: technologies, protocols, and applications, vol. 43. Wiley-Interscience, New York (2005)Paternò, F.: ConcurTaskTrees: an Engineered approach to model-based design of interactive systems. In: The Handbook of Analysis for Human-Computer Interaction, pp. 483–500 (2002)Pribeanu, C., Limbourg, Q., Vanderdonckt1, J.: Task modelling for context-sensitive user interfaces. In: Interactive Systems: Design, Specification, and Verification (DSV-IS), pp. 49–68. Springer, Berlin, Heidelberg 2001, Glasgow, Scotland, UK (2001)Souchon, N., Limbourg, Q., Vanderdonckt., J.: Task modelling in multiple contexts of use. In: Interactive Systems: Design, Specification, and Verification (DSV-IS), pp. 59–73 (2002)Huang, R., Cao, Q., Zhou, J., Sun, D., Su, Q.: Context-aware active task discovery for pervasive computing. In: International Conference on Computer Science and Software Engineering, pp. 463–466. IEEE, Wuhan, China (2008)Sousa, J.P., Poladian, V., Garlan, D., Schmerl, B.: Task-based adaptation for ubiquitous computing. IEEE Trans. Syst. Man Cybern. 36(3), 328–340 (2006)Masuoka, R., Parsia, B., Labrou, Y.: Task Computing—The Semantic Web Meets Pervasive Computing. In: 2nd International Semantic Web Conference on the Semantic Web (ISWC 2003), pp. 866–881. vol. LNCS 2870. Sanibel Island, FL, USA (2003)Oreizy, P., Gorlick, M.M., Taylor, R.N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D.S., Wolf, A.L.: An architecture-based approach to self-adaptive software. IEEE Intell. Syst. Their Appl. 14(3), 54–62 (1999)Floch, J., Hallsteinsen, S., Stav, E., Eliassen, F., Lund, K., Gjørven, E.: Using Architecture Models for Runtime Adaptability. IEEE Software. 23(2), 62–70 (2006)Morin, B., Jézéquel, J.-M., Fleurey, F., Solberg, A.: Models at runtime to support dynamic adaptation. IEEE Comput. Soc. pp. 46–53 (2009)Cetina, C., Giner, P., Fons, J., Pelechano, V.: Using feature models for developing self-configuring smart homes. In: Fifth International Conference on Autonomic and Autonomous Systems, pp. 179–188. IEEE, Valencia, Spain (2009)Garlan, D., Schmerl, B.: Using architectural models at runtime: research challenges. In: Proceedings of the European Workshop on Software Architectures, pp. 200–205. Springer, Berlin, Heidelberg, St Andrews, UK (2004)Blumendorf, M., Lehmann, G., Feuerstack, S., Albayrak, S.: Executable models for human-computer interaction. In: Interactive Systems, Design, Specification, and Verification Workshop (DSV-IS 2008), pp. 238–251. Springer Berlin Heidelberg, Kingston, Canada (2008)Ballagny, C., Hameurlain, N., Barbier, F.: MOCAS: a state-based component model for self-adaptation. In: Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp. 206–215. IEEE, San Francisco, California (2009)Amoui, M., Derakhshanmanesh, M., Ebert, J., Tahvildari, L.: Achieving dynamic adaptation via management and interpretation of runtime models. J. Syst. Softw. 85(12), 2720–2737 (2012)Blair, G., Bencomo, N., France, R.B.: [email protected]. IEEE Comput. 42, 22–27 (2009)Zhang, J., Cheng, B.H.C.: Model based development of dynamically adaptive software. In: International Conference on Software Engineering (ICSE’06), pp. 371–380. ACM, Shanghai, China (2006

Egocentric and allocentric representations in auditory cortex

A key function of the brain is to provide a stable representation of an object’s location in the world. In hearing, sound azimuth and elevation are encoded by neurons throughout the auditory system, and auditory cortex is necessary for sound localization. However, the coordinate frame in which neurons represent sound space remains undefined: classical spatial receptive fields in head-fixed subjects can be explained either by sensitivity to sound source location relative to the head (egocentric) or relative to the world (allocentric encoding). This coordinate frame ambiguity can be resolved by studying freely moving subjects; here we recorded spatial receptive fields in the auditory cortex of freely moving ferrets. We found that most spatially tuned neurons represented sound source location relative to the head across changes in head position and direction. In addition, we also recorded a small number of neurons in which sound location was represented in a world-centered coordinate frame. We used measurements of spatial tuning across changes in head position and direction to explore the influence of sound source distance and speed of head movement on auditory cortical activity and spatial tuning. Modulation depth of spatial tuning increased with distance for egocentric but not allocentric units, whereas, for both populations, modulation was stronger at faster movement speeds. Our findings suggest that early auditory cortex primarily represents sound source location relative to ourselves but that a minority of cells can represent sound location in the world independent of our own position

Protein Profile Changes during Porcine Oocyte Aging and Effects of Caffeine on Protein Expression Patterns

It has been shown that oocyte aging critically affects reproduction and development. By using proteomic tools, in the present study, changes in protein profiles during porcine oocyte aging and effects of caffeine on oocyte aging were investigated. By comparing control MII oocytes with aging MII oocytes, we identified 23 proteins that were up-regulated and 3 proteins that were down-regulated during the aging process. In caffeine-treated oocytes, 6 proteins were identified as up-regulated and 12 proteins were identified as down-regulated. A total of 38 differentially expressed proteins grouped into 5 regulation patterns were determined to relate to the aging and anti-aging process. By using the Gene Ontology system, we found that numerous functional gene products involved in metabolism, stress response, reactive oxygen species and cell cycle regulation were differentially expressed during the oocyte aging process, and most of these proteins are for the first time reported in our study, including 2 novel proteins. In addition, several proteins were found to be modified during oocyte aging. These data contribute new information that may be useful for future research on cellular aging and for improvement of oocyte quality

Search for rare quark-annihilation decays, B --> Ds(*) Phi

We report on searches for B- --> Ds- Phi and B- --> Ds*- Phi. In the context of the Standard Model, these decays are expected to be highly suppressed since they proceed through annihilation of the b and u-bar quarks in the B- meson. Our results are based on 234 million Upsilon(4S) --> B Bbar decays collected with the BABAR detector at SLAC. We find no evidence for these decays, and we set Bayesian 90% confidence level upper limits on the branching fractions BF(B- --> Ds- Phi) Ds*- Phi)<1.2x10^(-5). These results are consistent with Standard Model expectations.Comment: 8 pages, 3 postscript figues, submitted to Phys. Rev. D (Rapid Communications

Comparison of Gene Expression Profiles in Chromate Transformed BEAS-2B Cells

Hexavalent chromium [Cr(VI)] is a potent human carcinogen. Occupational exposure has been associated with increased risk of respiratory cancer. Multiple mechanisms have been shown to contribute to Cr(VI) induced carcinogenesis, including DNA damage, genomic instability, and epigenetic modulation, however, the molecular mechanism and downstream genes mediating chromium's carcinogenicity remain to be elucidated.We established chromate transformed cell lines by chronic exposure of normal human bronchial epithelial BEAS-2B cells to low doses of Cr(VI) followed by anchorage-independent growth. These transformed cell lines not only exhibited consistent morphological changes but also acquired altered and distinct gene expression patterns compared with normal BEAS-2B cells and control cell lines (untreated) that arose spontaneously in soft agar. Interestingly, the gene expression profiles of six Cr(VI) transformed cell lines were remarkably similar to each other yet differed significantly from that of either control cell lines or normal BEAS-2B cells. A total of 409 differentially expressed genes were identified in Cr(VI) transformed cells compared to control cells. Genes related to cell-to-cell junction were upregulated in all Cr(VI) transformed cells, while genes associated with the interaction between cells and their extracellular matrices were down-regulated. Additionally, expression of genes involved in cell proliferation and apoptosis were also changed.This study is the first to report gene expression profiling of Cr(VI) transformed cells. The gene expression changes across individual chromate exposed clones were remarkably similar to each other but differed significantly from the gene expression found in anchorage-independent clones that arose spontaneously. Our analysis identified many novel gene expression changes that may contribute to chromate induced cell transformation, and collectively this type of information will provide a better understanding of the mechanism underlying chromate carcinogenicity

An analysis of the temperature dependence of force, during steady shortening at different velocities, in (mammalian) fast muscle fibres

We examined, over a wide range of temperatures (10–35°C), the isometric tension and tension during ramp shortening at different velocities (0.2–4 L0/s) in tetanized intact fibre bundles from a rat fast (flexor hallucis brevis) muscle; fibre length (L0) was 2.2 mm and sarcomere length ~2.5 μm. During a ramp shortening, the tension change showed an initial inflection of small amplitude (P1), followed by a larger exponential decline towards an approximate steady level; the tension continued to decline slowly afterwards and the approximate steady tension at a given velocity was estimated as the tension (P2) at the point of intersection between two linear slopes, as previously described (Roots et al. 2007). At a given temperature, the tension P2 declined to a lower level and at a faster rate (from an exponential curve fit) as the shortening velocity was increased; the temperature sensitivity of the rate of tension decline during ramp shortening at different velocities was low (Q10 0.9–1.5). The isometric tension and the P2 tension at a given shortening velocity increased with warming so that the relation between tension and (reciprocal) temperature was sigmoidal in both. In isometric muscle, the temperature T0.5 for half-maximal tension was ~10°C, activation enthalpy change (∆H) was ~100 kJ mol−1 and entropy change (∆S) ~350 J mol−1 K−1. In shortening, these were increased with increase of velocity so that at a shortening velocity (~4 L0/s) producing maximal power at 35°C, T0.5 was ~28°C, ∆H was ~200 kJ mol−1 and ∆S ~ 700 J mol−1 K−1; the same trends were seen in the tension data from isotonic release experiments on intact muscle and in ramp shortening experiments on maximally Ca-activated skinned fibres. In general, our findings show that the sigmoidal relation between force and temperature can be extended from isometric to shortening muscle; the implications of the findings are discussed in relation to the crossbridge cycle. The data indicate that the endothermic, entropy driven process that underlies crossbridge force generation in isometric muscle (Zhao and Kawai 1994; Davis, 1998) is even more pronounced in shortening muscle, i.e. when doing external work

Mitochondrial phosphoenolpyruvate carboxykinase (PEPCK-M) and serine biosynthetic pathway genes are co-ordinately increased during anabolic agent-induced skeletal muscle growth

We aimed to identify novel molecular mechanisms for muscle growth during administration of anabolic agents. Growing pigs (Duroc/(Landrace/Large-White)) were administered Ractopamine (a beta-adrenergic agonist; BA; 20ppm in feed) or Reporcin (recombinant growth hormone; GH; 10mg/48hours injected) and compared to a control cohort (feed only; no injections) over a 27-day time course (1, 3, 7, 13 or 27-days). Longissimus Dorsi muscle gene expression was analyzed using Agilent porcine transcriptome microarrays and clusters of genes displaying similar expression profiles were identified using a modified maSigPro clustering algorithm. Anabolic agents increased carcass (p=0.002) and muscle weights (Vastus Lateralis: p<0.001; Semitendinosus: p=0.075). Skeletal muscle mRNA expression of serine/one-carbon/glycine biosynthesis pathway genes (Phgdh, Psat1 and Psph) and the gluconeogenic enzyme, phosphoenolpyruvate carboxykinase-M (Pck2/PEPCK-M), increased during treatment with BA, and to a lesser extent GH (p<0.001, treatment x time interaction). Treatment with BA, but not GH, caused a 2-fold increase in phosphoglycerate dehydrogenase (PHGDH) protein expression at days 3 (p<0.05) and 7 (p<0.01), and a 2-fold increase in PEPCK-M protein expression at day 7 (p<0.01). BA treated pigs exhibit a profound increase in expression of PHGDH and PEPCK-M in skeletal muscle, implicating a role for biosynthetic metabolic pathways in muscle growth

Polymorphism in COX-2 modifies the inverse association between Helicobacter pylori seropositivity and esophageal squamous cell carcinoma risk in Taiwan: a case control study

<p>Abstract</p> <p>Background</p> <p>Overexpression of Cyclooxygenase-2 (COX-2) was observed in many types of cancers, including esophageal squamous cell carcinoma (ESCC). One functional SNP, COX-2 -1195G/A, has been reported to mediate susceptibility of ESCC in Chinese populations. In our previous study, the presence of <it>Helicobacter pylori </it>(<it>H. pylori</it>) was found to play a protective role in development of ESCC. The interaction of COX-2 and <it>H. pylori </it>in gastric cancer was well investigated. However, literature on their interaction in ESCC risk is scarce. The purpose of this study was to evaluate the association and interaction between COX-2 single nucleotide polymorphism (SNP), <it>H. pylori </it>infection and the risk of developing ESCC.</p> <p>Methods</p> <p>One hundred and eighty patients with ESCC and 194 controls were enrolled in this study. Personal data regarding related risk factors, including alcohol consumption, smoking habits and betel quid chewing, were collected via questionnaire. Genotypes of the COX-2 -1195 polymorphism were determined by PCR-based restriction fragment length polymorphism. <it>H. pylori </it>seropositivity was defined by immunochromatographic screening test. Data was analyzed by chi-squared tests and polytomous logistics regression.</p> <p>Results</p> <p>In analysis adjusting for the covariates and confounders, <it>H. pylori </it>seropositivity was found to be inversely association with the ESCC development (adjusted OR: 0.5, 95% CI: 0.3 – 0.9). COX-2 -1195 AA homozygous was associated with an increased risk of contracting ESCC in comparison with the non-AA group, especially among patients with <it>H. pylori </it>seronegative (adjusted OR ratio: 2.9, 95% CI: 1.2 – 7.3). The effect was strengthened among patients with lower third ESCC (adjusted OR ratio: 6.9, 95% CI 2.1 – 22.5). Besides, <it>H. pylori </it>seropositivity conveyed a notably inverse effect among patients with COX-2 AA polymorphism (AOR ratio: 0.3, 95% CI: 0.1 – 0.9), and the effect was observed to be enhanced for the lower third ESCC patients (AOR ratio: 0.09, 95% CI: 0.02 – 0.47, <it>p </it>for multiplicative interaction 0.008)</p> <p>Conclusion</p> <p><it>H. pylori </it>seropositivity is inversely associated with the risk of ESCC in Taiwan, and COX-2 -1195 polymorphism plays a role in modifying the influence between <it>H. pylori </it>and ESCC, especially in lower third esophagus.</p

Malaria Parasite Invasion of the Mosquito Salivary Gland Requires Interaction between the Plasmodium TRAP and the Anopheles Saglin Proteins

SM1 is a twelve-amino-acid peptide that binds tightly to the Anopheles salivary gland and inhibits its invasion by Plasmodium sporozoites. By use of UV-crosslinking experiments between the peptide and its salivary gland target protein, we have identified the Anopheles salivary protein, saglin, as the receptor for SM1. Furthermore, by use of an anti-SM1 antibody, we have determined that the peptide is a mimotope of the Plasmodium sporozoite Thrombospondin Related Anonymous Protein (TRAP). TRAP binds to saglin with high specificity. Point mutations in TRAP's binding domain A abrogate binding, and binding is competed for by the SM1 peptide. Importantly, in vivo down-regulation of saglin expression results in strong inhibition of salivary gland invasion. Together, the results suggest that saglin/TRAP interaction is crucial for salivary gland invasion by Plasmodium sporozoites

Bright light therapy in pregnant women with major depressive disorder: Study protocol for a randomized, double-blind, controlled clinical trial

Background: Depression during pregnancy is a common and high impact disease. Generally, 5-10 % of pregnant women suffer from depression. Children who have been exposed to maternal depression during pregnancy have a higher risk of adverse birth outcomes and more often show cognitive, emotional and behavioural problems. Therefore, early detection and treatment of antepartum depression is necessary. Both psychotherapy and antidepressant medication, first choice treatments in a non-pregnant population, have limitations in treating depression during pregnancy. Therefore, it is urgent and relevant to investigate alternative treatments for antepartum depression. Bright light therapy (BLT) is a promising treatment for pregnant women with depressive disorder, for it combines direct availability, sufficient efficacy, low costs and high safety, taking the safety for the unborn child into account as well. Methods: In this study, 150 pregnant women (12-18 weeks pregnant) with a DSM-V diagnosis of depressive disorder will be randomly allocated in a 1:1 ratio to one of the two treatment arms: treatment with BLT (9.000 lux) or treatment with dim red light therapy (100 lux). Both groups will be treated for 6 weeks at home on a daily basis for 30 min, within 30 min of habitual wake-up time. Follow-up will take place after 6 weeks of therapy, 3 and 10 weeks after end of therapy, at birth and 2, 6 and 18 months postpartum. Primary outcome will be the average change in depressive symptoms between the two groups, as measured by the Structured Interview Guide for the Hamilton Depression Scale - Seasonal Affective Disorder version and the Edinburg Postnatal Depression Scale. Changes in rating scale scores of these questionnaires over time will be analysed using generalized linear mixed models. Secondary outcomes will be the changes in maternal cortisol and melatonin levels, in maternal sleep quality and gestational age, birth weight, infant behaviour, infant cortisol exposure and infant cortisol stress response. Discussion: If BLT reduces depressive symptoms in pregnant women, it will provide a safe, cheap, non-pharmacological and efficacious alternative treatment for psychotherapy and antidepressant medication in treating antepartum depression, without any expected adverse reactions for the unborn child. Trial registration: Netherlands Trial Register NTR5476. Registered 5 November 2015