Search Results - "SACERDOTI, C"

Refine Results
  1. 1
  2. 2
  3. 3
  4. 4

    A compact kernel for the calculus of inductive constructions by Asperti, A., Ricciotti, W., Sacerdoti Coen, C., Tassi, E.

    Published in Sadhana (Bangalore) (01-02-2009)
    “…The paper describes the new kernel for the Calculus of Inductive Constructions (CIC) implemented inside the Matita Interactive Theorem Prover. The design of…”
    Get full text
    Journal Article
  5. 5

    Anaphylactic shock during hyperbaric oxygen therapy by Marmo, M, Sacerdoti, C, Di Minno, R M, Guarino, I, Villani, R, Di lorio, C

    Published in Undersea & hyperbaric medicine (01-01-2012)
    “…A case of a 38-year-old woman is reported who was treated with hyperbaric oxygen therapy to cure a dehiscent wound. She suffered from "oral-allergy syndrome"…”
    Get more information
    Journal Article
  6. 6
  7. 7

    A reservoir nasal cannula improves protection given by oxygen during muscular exercise in COPD by Arlati, S, Rolo, J, Micallef, E, Sacerdoti, C, Brambilla, I

    Published in Chest (01-06-1988)
    “…We verified the utility of an oxygen economizer (Pendant Oxymizer) in assuring greater protection than nasal prongs against worsening of oxyhemoglobin resting…”
    Get more information
    Journal Article
  8. 8

    A Survey on Retrieval of Mathematical Knowledge by Guidi, F, Coen, C. Sacerdoti

    Published 25-05-2015
    “…We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both…”
    Get full text
    Journal Article
  9. 9

    Value of nocturnal monitoring of transcutaneous O2 and CO2 pressures in adults with respiratory failure by Brambilla, I, Micallef, E, Sacerdoti, C, Arlati, S, Rolo, J

    Published in Respiration (1985)
    “…We have evaluated the reliability of the transcutaneous (t.c.) method of measurement of arterial PO2 and PCO2 in adult man. In 33 simultaneous measurements of…”
    Get more information
    Journal Article
  10. 10
  11. 11
  12. 12

    A portable oxygen system corrects hypoxemia without significantly increasing metabolic demands by Brambilla, I, Arlati, S, Micallef, E, Sacerdoti, C, Rolo, J

    Published in The American review of respiratory disease (01-01-1985)
    “…Some patients with chronic cor pulmonale have hypoxemia only during normal daily activity. This can be corrected by portable oxygen. Whether or not the weight…”
    Get more information
    Journal Article
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19

    Factors limiting adaptation to exercise after the Fontan operation: role of altered pulmonary function by Vignati, G, Corato, A, Sacerdoti, C, Banfi, F, Austoni, P, Mauri, L, Figini, A

    Published in Giornale italiano di cardiologia (01-04-1996)
    “…The abnormal adaptation to exercise after Fontan operation, is primarily due to a suboptimal increase in cardiac output. We postulated that abnormal pulmonary…”
    Get more information
    Journal Article
  20. 20