Search

Your search keyword '"E. Freire"' showing total 47 results
Start Over Author "E. Freire" Publisher springer berlin heidelberg
47 results on '"E. Freire"'

1. On the Strong Co–induction in Coq

Author

Nistal, J. L. Freire, Ferro, A. Blanco, Gulías, Victor M., Brañas, E. Freire, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Moreno-Díaz, Roberto, editor, and Pichler, Franz, editor

Published
2003
Full Text
View/download PDF

3. Ethmoid Sinus

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

4. Endometrium

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

5. Effective Half-Life

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

6. Epidermoid Intradermal Carcinoma

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

7. Electron Beam Dosimetry

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

8. Enteral Nutrition

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

9. Erythroplasia de Queyrat

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

10. Extramedullary Plasmacytomas

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

11. Equivalent Path Length

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

12. External Beam Radiation Therapy

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

13. Eye and Orbit

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

14. Endoluminal Brachytherapy

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

15. Erythropoiesis-Stimulating Agent (also ESA or Exogenous Erythropoietin)

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

16. Exocrine Pancreatic Neoplasms

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

17. Esophageal Cancer

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

18. Epidural Spinal Cord Metastases

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

19. Endometrial Hyperplasia with Atypia

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

20. Electromagnetic Radiation

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

21. Electron Beam Therapy

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

22. Early-Stage Breast Cancer

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

23. Electronic Portal Imaging Devices (EPID)

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

24. Extramedullary Mass

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

25. ERG Gene

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

26. Extraskeletal Small Cell Tumors

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

27. Ewing Tumor

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

28. Electron Dosimetry and Treatment

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

29. Episcleral Plaque Therapy

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

30. Epidermal Growth Factor Receptor (EGFR)

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

31. Elective Nodal Irradiation

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

32. Extragonadal Germ Cell Tumor

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

33. Eye Plaque Physics

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

34. Ewing Family of Tumors (Including Ewing’s Sarcoma of Bone, Extraosseous Ewing’s [EOE] Sarcoma, Primitive Neuroectodermal Tumor [PNET], and Askin’s Tumor)

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

35. Exogenous Erythropoietin

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

36. Extended Radical Hysterectomy

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

37. Endoscopic Ultrasonography (EUS)

Author

Anthony E. Dragun, Paul J. Schilling, Tod W. Speer, Feng-Ming Kong, Jingbo Wang, Hedvig Hricak, Oguz Akin, Alberto Vargas, Paula R. Salanitro, John W. Wong, Erik Limbergen, Christin A. Knowlton, Michelle Kolton Mackay, Filip T. Troicki, Jaganmohan Poli, Claudia E. Rübe, James H. Brashears, Susan M. Varnum, Marianne B. Sowa, William F. Morgan, Rene Rubin, Brandon J. Fisher, Larry C. Daugherty, Charlie Ma, Lu Wang, Daniel J. Indelicato, Robert H. Sagerman, Curt Heese, Stephan Mose, Lindsay G. Jensen, Brent S. Rose, Arno J. Mundt, Albert S. DeNittis, Carlos A. Perez, Wade L. Thorstad, Cheng B. Saw, Theodore E. Yaeger, Jo Ann Chalal, Jorge E. Freire, Carol L. Shields, Jerry A. Shields, Luther W. Brady, and Jay E. Reiff

Published
2013

38. On the Confluence of the Graphic Calculus with Penrose Diagrams (I)

Author

J. L. Freire Nistal, A. Blanco Ferro, J. M. Molinelli Barba, and E. Freire Brañas

Subjects
Development (topology), Computer science, Confluence, Computer-aided, Monoidal category, Calculus, Story-driven modeling, Penrose diagram, Symmetric monoidal category, Rewriting
Abstract

In paper Molinelli et al, 1998 a general model allowing the integration of different kinds of calculus with diagrams appearing in several fields of Science and Engineering was introduced. And also, a computer aided system enabling some manipulation of this graphical stuff was presented. Traditionally most of these diagrams have been used as an aid in the development of complex calculus, although the lack of a solid theoretical foundation has prevent the existence of practical tools. As a contribution to that necessary background, we present here an implementation of the diagrams using Coq and a first discussion on the confluence of the rewriting based on the interchange law.

Published
2012

39. Hemangiomas and Vascular Tumors of the Eye

Author

Carol L. Shields, Jerry A. Shields, Murali Murty, Arman Mashayekhi, Luther W. Brady, and Jorge E. Freire

Subjects
Posterior choroid, medicine.medical_specialty, Retina, business.industry, medicine.medical_treatment, Asymptomatic, eye diseases, Foveola, medicine.anatomical_structure, Vascular Tumors, Retinal Capillary Hemangioma, medicine, sense organs, Choroid, Radiology, External beam radiotherapy, medicine.symptom, business
Abstract

Choroidal hemangiomas are rare, congenital, benign vascular tumors of the choroid that have a wide range of symptomatology, signs, associated systemic features, clinical course and treatment options. There are two types of choroidal hemangiomas: circumscribed and diffuse. Circumscribed choroidal hemangiomas are usually small with a mean diameter of 7 mm, located in the posterior choroid within 3 mm of the foveola and occasionally in the subfovea. The subfoveal tumors tend to cause visual loss early in life due to the anterior displacement of the retina by the underlying tumor. Patients with parafoveal tumors remain asymptomatic until the 3rd or 4th decade of life. External ocular exam in these patients is usually unremarkable.

Published
2008

40. Using Coq to Understand Nested Datatypes

Author

J. E. Freire, José Luis Freire, and A. Blanco

Subjects
Theoretical computer science, Programming language, Computer science, Proof assistant, Rank (computer programming), Regular type, computer.software_genre, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Polymorphic recursion, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Haskell, Software_PROGRAMMINGLANGUAGES, computer, computer.programming_language
Abstract

Nested datatypes can be defined in a Hindley-Milner system but it is difficult to implement functions on them. This paper analyzes the requirements that must be satisfied in order to implement programs (catamorphisms and anamorphisms) on these types. A solution, using Hagino's approach, is carried out here both in Haskell, using rank 2 signatures, and in the Coq proof assistant system where we have polymorphic recursion and also the capability to prove the correspondent programs specifications.

Published
2007

41. On Recursive Functions and Well–Founded Relations in the Calculus of Constructions

Author

José Luis Freire, E. Freire, and A. Blanco

Subjects
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Type theory, Recursion, Double recursion, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Calculus of constructions, Calculus, Time-scale calculus, Inductive type, Mutual recursion, Lambda cube, Mathematics
Abstract

This paper presents a reflection about function construction through well-founded recursion in the type theory known as Calculus of Inductive Constructions. It shows the expressive power of this calculus when dealing with concepts as accesibility and noetherianity among others. The properties of the General Recursion Scheme ([2]) and its relation with Structural Recursion in inductive types are analyzed. As a consequence, a methodology arises which is illustrated with some examples.We use the INRIA's compiler of the Calculus of Inductive Constructions: Coq [6].

Published
2005

42. Brachytherapy in the Management of Uveal Melanoma

Author

Zbigniew Petrovich, Jerry A. Shields, A. Youssef, J. E. Freire, Luther W. Brady, and Carol L. Shields

Subjects
Choroidal melanoma, medicine.medical_specialty, Orbital exenteration, business.industry, Melanoma, medicine.medical_treatment, Incidence (epidemiology), Brachytherapy, Cancer, medicine.disease, eye diseases, Ciliary body, medicine.anatomical_structure, medicine, sense organs, Radiology, Intraocular tumor, business
Abstract

The most common primary intraocular tumor is uveal melanoma, with an incidence of 6 cases per million per year (Sphields And Shields 1992a). In the United States, it represents less than 0.2% of all cancers (American Cancer Society 1990).

Published
2003

43. Brachytherapy in the Management of Retinoblastoma

Author

Luther W. Brady, J. E. Freire, Carol L. Shields, and Jerry A. Shields

Subjects
medicine.medical_specialty, genetic structures, Retinoblastoma, business.industry, medicine.medical_treatment, Plaque brachytherapy, Brachytherapy, Neovascular glaucoma, medicine.disease, Intraocular Retinoblastoma, eye diseases, otorhinolaryngologic diseases, medicine, External beam radiotherapy, Radiology, business, psychological phenomena and processes
Abstract

Among the different options for the treatment of retinoblastoma, plaque brachytherapy has become an important tool, as either the primary or the secondary modality, in selected cases.

Published
2003

44. On the Strong Co–induction in Coq

Author

Víctor M. Gulías, J. L. Freire Nistal, E. Freire Brañas, and A. Blanco Ferro

Subjects
Model checking, Discrete mathematics, Lemma (mathematics), Fixed point, Mathematical proof, Automated theorem proving, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Complete lattice, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Computer Science::Mathematical Software, Inductive type, Formal verification, Mathematics
Abstract

In this paper, we provide a library in Coq containing intuitionistic proofs of some facts that are on the basis of formal verification tools such as Model Checking or Theorem Proving: the Reduction Lemma [8] [17] and the correspondent on minimum fixed points [1].

Published
2003

45. Fusion in Coq

Author

Juan José Sánchez Penas, José Luis Freire, Antonio Blanco Ferro, and José E. Freire Brañas

Subjects
Parametric polymorphism, Algebra, Pure mathematics, Type theory, Interpretation (logic), Constructive proof, Context (language use), Inductive type, Category theory, Dependent type, Mathematics
Abstract

Fusion theorem is a classical result that allows the simplification of the morphisms among homogeneus structures [10]. We present this theorem and some generalizations in the context of the constructive proof assistant tool Coq [2] where we have dependent types and parametric polymorphism. The work is organised as follows: afther the classical interpretation of the fusion law for catamorphisms in a categoric context, examples of fusion for programs defined with recursive types in Coq are analysed and the theorems of corresponding optimisation are shown. Finally, a generalisation of fusion law for inductive types is presented which is applied to a specific case.

Published
2001

46. Brachytherapy for Macular Degeneration Associated with Subretinal Neovascularization

Author

Illka Immonen, Gary C. Brown, Paul T. Finger, and Jorge E. Freire

Subjects
Retina, medicine.medical_specialty, Subretinal neovascularization, genetic structures, business.industry, medicine.medical_treatment, Brachytherapy, High myopia, Macular degeneration, medicine.disease, eye diseases, Histoplasmosis, 3. Good health, Neovascularization, 03 medical and health sciences, 0302 clinical medicine, medicine.anatomical_structure, 030220 oncology & carcinogenesis, Ophthalmology, 030221 ophthalmology & optometry, medicine, sense organs, Choroid, medicine.symptom, business
Abstract

Macular degeneration is the leading cause of severe irreversible blindness in the Western world (Bressler et al. 1988; Hyman et al. 1983). Most patients develop the “dry” form characterized by slowly progressive atrophy of the macular choroid and retina with mild to moderate loss of central vision. In contrast, a minority of patients develop the “wet” form of macular degeneration, which is characterized by the development of subretinal neovascularization, leakage, and scarring. Wet macular degeneration can be a rapid process destroying central vision in a matter of days, weeks, or months. Such subretinal neovascular events have been associated with age-related macular degeneration (ARMD), diabetes, high myopia, histoplasmosis, and laser photocoagulation. Clearly, the ability to control or stop neovascularization would be helpful in the management of these diseases.

Published
2001

47. Use of Brachytherapy Techniques in the Management of Carcinoma of the Prostate

Author

P. Montemaggi, Curtis Miyamoto, Bizhan Micaily, W. A. Longton, Jorge E. Freire, Luther W. Brady, and B. J. Costleigh

Subjects
Oncology, medicine.medical_specialty, Urethral stricture, business.industry, Genitourinary system, medicine.medical_treatment, Brachytherapy, Cancer, medicine.disease, Malignancy, Prostate cancer, medicine.anatomical_structure, Prostate, Internal medicine, medicine, Carcinoma, business
Abstract

Prostate cancer is the most common as well as the most frequently irradiated malignancy involving the genitourinary tract. In 1995, the American Cancer Society anticipates that in the United States there will be 244 000 new cases diagnosed with 40 400 deaths due to the disease process American Cancer Society 1995). In addition, it is among the most successfully treated cancers of the genitourinary tract in terms of both definitive outcome and metastatic presentations.

Published
1996

Catalog

Books, media, physical & digital resources
See catalog results