Search Results - "Fitzgerald, J.S."

Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14

    PP055. Preliminary results of the more prepared study (microparticle orientated risk evaluation in the prediction of preeclampsia among risk gravidas): A multicenter prospective prognostic marker study by Fitzgerald, J.S, Göhner, C, Markert, U, Groten, T, Sossdorf, M, Lösche, W, Schleußner, E

    Published in Pregnancy hypertension (01-07-2012)
    “…Introduction Preeclampsia (PE) is a potentially dangerous pregnancy pathology contributing to a higher worldwide mortality and morbidity. The negative…”
    Get full text
    Journal Article
  15. 15
  16. 16

    Trophoblast invasion: tuning through LIF, signalling via Stat3 by Poehlmann, T.G., Fitzgerald, J.S., Meissner, A., Wengenmayer, T., Schleussner, E., Friedrich, K., Markert, U.R.

    Published in Placenta (Eastbourne) (01-04-2005)
    “…Aberrant activity of the signal transducer and activator of transcription 3 (Stat3) is believed to be essential for neoplastic cell behaviour and thus for the…”
    Get full text
    Journal Article
  17. 17

    Stat3 and Socs3 expression patterns during murine placenta development by San Martin, S, Fitzgerald, J S, Weber, M, Párraga, M, Sáez, T, Zorn, T M, Markert, U R

    Published in European journal of histochemistry (28-06-2013)
    “…Signal transducers and activators of transcription 3 (Stat3) has been identified as an important signal transducer in the invasive phenotype of the…”
    Get full text
    Journal Article
  18. 18

    Validation Support for Distributed Real-Time Embedded Systems in VDM by Fitzgerald, J.S., Gorm Larsen, P., Tjell, S., Verhoef, M.

    “…We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is…”
    Get full text
    Conference Proceeding
  19. 19

    Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract) by Fitzgerald, J.S., Larsen, P.G.

    “…The Vienna development method (VDM) is one of the longest established and best known formal methods. Recent developments in VDM have included its extension to…”
    Get full text
    Conference Proceeding
  20. 20

    Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering by Bryans, J.W., Fitzgerald, J.S., Jones, C.B., Mozolevsky, I.

    “…Dynamic coalitions are temporary alliances formed between agents in order to achieve specific business goals. Such coalitions can vary widely in architecture,…”
    Get full text
    Conference Proceeding