Search Results - Southern, Mary

Refine Results
  1. 1
    Adelfa: A System for Reasoning about LF Specifications

    Adelfa: A System for Reasoning about LF Specifications by Southern, Mary, Nadathur, Gopalan

    Get full text
    Items that this one cites
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Adelfa: A System for Reasoning about LF Specifications

    Adelfa: A System for Reasoning about LF Specifications by Southern, Mary, Nadathur, Gopalan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    A Framework for Reasoning About LF Specifications

    A Framework for Reasoning About LF Specifications by Southern, Mary

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    A Logic for Reasoning About LF Specifications

    A Logic for Reasoning About LF Specifications by Nadathur, Gopalan, Southern, Mary

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms

    On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms by Nadathur, Gopalan, Southern, Mary

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Towards a Logic for Reasoning About LF Specifications

    Towards a Logic for Reasoning About LF Specifications by Southern, Mary, Nadathur, Gopalan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    A Lambda Prolog Based Animation of Twelf Specifications

    A Lambda Prolog Based Animation of Twelf Specifications by Southern, Mary, Nadathur, Gopalan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Translating Specifications in a Dependently Typed Lambda Calculus into a Predicate Logic Form

    Translating Specifications in a Dependently Typed Lambda Calculus into a Predicate Logic Form by Southern, Mary, Nadathur, Gopalan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Preventing Risk for Obesity by Promoting Self-Regulation and Decision-Making Skills: Pilot Results From the PATHWAYS to Health Program (PATHWAYS)

    Preventing Risk for Obesity by Promoting Self-Regulation and Decision-Making Skills: Pilot Results From the PATHWAYS to Health Program (PATHWAYS) by Riggs, Nathaniel R., Sakuma, Kari-Lyn Kobayakawa, Pentz, Mary Ann

    Published in Evaluation review
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  10. 10
    Mental health, substance use and viral suppression in adolescents receiving ART at a paediatric HIV clinic in South Africa

    Mental health, substance use and viral suppression in adolescents receiving ART at a paediatric HIV clinic in South Africa by Haas, Andreas D, Technau, Karl‐Günter, Pahad, Shenaaz, Braithwaite, Kate, Madzivhandila, Mampho, Sorour, Gillian, Sawry, Shobna, Maxwell, Nicola, Groote, Per, Tlali, Mpho, Davies, Mary‐Ann, Egger, Matthias

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    RELIEF ADJUDICATORS: Qualified Women's Right to be Appointed

    RELIEF ADJUDICATORS: Qualified Women's Right to be Appointed by Cawley, Vivienne, Southern, E Mary

    Request full text
    Newspaper Article
    Save to List
    Saved in:
  12. 12
    Expert consensus on the management of systemic sclerosis-associated interstitial lung disease

    Expert consensus on the management of systemic sclerosis-associated interstitial lung disease by Rahaghi, Franck F, Hsu, Vivien M, Kaner, Robert J, Mayes, Maureen D, Rosas, Ivan O, Saggar, Rajan, Steen, Virginia D, Strek, Mary E, Bernstein, Elana J, Bhatt, Nitin, Castelino, Flavia V, Chung, Lorinda, Domsic, Robyn T, Flaherty, Kevin R, Gupta, Nishant, Kahaleh, Bashar, Martinez, Fernando J, Morrow, Lee E, Moua, Teng, Patel, Nina, Shlobin, Oksana A, Southern, Brian D, Volkmann, Elizabeth R, Khanna, Dinesh

    Published in Respiratory research
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Impact of Antiretroviral Therapy on Liver Fibrosis Among Human Immunodeficiency Virus-Infected Adults With and Without HBV Coinfection in Zambia

    Impact of Antiretroviral Therapy on Liver Fibrosis Among Human Immunodeficiency Virus-Infected Adults With and Without HBV Coinfection in Zambia by Vinikoor, Michael J., Sinkala, Edford, Chilengi, Roma, Mulenga, Lloyd B., Chi, Benjamin H., Zyambo, Zude, Hoffmann, Christopher J., Saag, Michael S., Davies, Mary-Ann, Egger, Matthias, Wandeler, Gilles

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Effect of Baseline Renal Function on Tenofovir-Containing Antiretroviral Therapy Outcomes in Zambia

    Effect of Baseline Renal Function on Tenofovir-Containing Antiretroviral Therapy Outcomes in Zambia by Mulenga, Lloyd, Musonda, Patrick, Mwango, Albert, Vinikoor, Michael J., Davies, Mary-Ann, Mweemba, Aggrey, Calmy, Alexandra, Stringer, Jeffrey S., Keiser, Olivia, Chi, Benjamin H., Wandeler, Gilles

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Twelve‐year mortality in adults initiating antiretroviral therapy in South Africa

    Twelve‐year mortality in adults initiating antiretroviral therapy in South Africa by Cornell, Morna, Johnson, Leigh F., Wood, Robin, Tanser, Frank, Fox, Matthew P., Prozesky, Hans, Schomaker, Michael, Egger, Matthias, Davies, Mary‐Ann, Boulle, Andrew

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Lamivudine monotherapy as a holding regimen for HIV-positive children

    Lamivudine monotherapy as a holding regimen for HIV-positive children by Patten, Gabriela, Bernheimer, Jonathan, Fairlie, Lee, Rabie, Helena, Sawry, Shobna, Technau, Karl, Eley, Brian, Davies, Mary-Ann

    Published in PloS one
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Excess mortality associated with mental illness in people living with HIV in Cape Town, South Africa: a cohort study using linked electronic health records

    Excess mortality associated with mental illness in people living with HIV in Cape Town, South Africa: a cohort study using linked electronic health records by Haas, Andreas D, Ruffieux, Yann, van den Heuvel, Leigh Luella, Lund, Crick, Boulle, Andrew, Euvrard, Jonathan, Orrell, Catherine, Prozesky, Hans W, Tiffin, Nicki, Lovero, Kathryn L, Tlali, Mpho, Davies, Mary-Ann, Wainberg, Milton L

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Expanded geographic distribution and host preference of Anopheles gibbinsi (Anopheles species 6) in northern Zambia

    Expanded geographic distribution and host preference of Anopheles gibbinsi (Anopheles species 6) in northern Zambia by Gebhardt, Mary E, Krizek, Rachel S, Coetzee, Maureen, Koekemoer, Lizette L, Dahan-Moss, Yael, Mbewe, David, Lupiya, James Sichivula, Muleba, Mbanga, Stevenson, Jennifer C, Moss, William J, Norris, Douglas E

    Published in Malaria journal
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Understudied Anophelines Contribute to Malaria Transmission in a Low-Transmission Setting in the Choma District, Southern Province, Zambia

    Understudied Anophelines Contribute to Malaria Transmission in a Low-Transmission Setting in the Choma District, Southern Province, Zambia by Gebhardt, Mary E, Searle, Kelly M, Kobayashi, Tamaki, Shields, Timothy M, Hamapumbu, Harry, Simubali, Limonty, Mudenda, Twig, Thuma, Philip E, Stevenson, Jennifer C, Moss, William J, Norris, Douglas E

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Integrated genomic characterization of oesophageal carcinoma

    Integrated genomic characterization of oesophageal carcinoma by Reis, R. M., The Cancer Genome Atlas Research Network

    Published in Nature (London)
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: