Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Mohamed A. El-Haddad"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 301, Iss Proc. PxTP 2019, Pp 27-35 (2019)
Proof assistants often call automated theorem provers to prove subgoals. However, each prover has its own proof calculus and the proof traces that it produces often lack many details to build a complete proof. Hence these traces are hard to check and
Externí odkaz:
https://doaj.org/article/5208aa526d4144f5bb0f10bfe8a756f8
Publikováno v:
Optical Coherence Tomography and Coherence Domain Optical Methods in Biomedicine XXVI.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::86f3f8b7f5abe995f62b1b14a2315cc7
https://doi.org/10.1117/12.2609010
https://doi.org/10.1117/12.2609010
Publikováno v:
Avicenna Journal of Medicine, Vol 02, Iss 03, Pp 65-70 (2012)
Atrial fibrillation occurs in 5-40% patients after coronary artery bypass graft surgery. Atrial fibrillation increases mortality and morbidity in the post-operative period. We sought to conduct a comprehensive review of literature focusing on pathoph
Externí odkaz:
https://doaj.org/article/6505d91b4d8e4988b235f705f8965f9b
Autor:
Yuankai K. Tao, Mohamed T. El-Haddad
Publikováno v:
Scientific Reports, Vol 9, Iss 1, Pp 1-10 (2019)
Scientific Reports
Scientific Reports
Advances in microscopy have enabled us to see at unprecedented depths and resolutions, even breaking the diffraction-limit by several fold. These improvements have come at the expense of system complexity with microscopes routinely employing multiple
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b040d9a54ac8935e0425bc5d8bb45ec5
http://link.springer.com/article/10.1038/s41598-019-53369-x
http://link.springer.com/article/10.1038/s41598-019-53369-x
Autor:
Yuankai K. Tao, Mohamed T. El-Haddad
Publikováno v:
Current Opinion in Biomedical Engineering. 3:37-48
Translation of optical coherence tomography (OCT) technologies for intraoperative visualization enables in vivo micron-resolution imaging of subsurface tissue structures and image-guided clinical decision-making. Over the last decade, intraoperative
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e5b93627548030e22044faa9b40b7809
https://doi.org/10.1016/j.cobme.2017.09.007
https://doi.org/10.1016/j.cobme.2017.09.007
Publikováno v:
Ophthalmic Technologies XXIX.
Optical coherence tomographic angiography (OCT-A) technologies have been primarily demonstrated on slit-lamp systems, which preclude imaging in infants, bedridden patients, or patients who are otherwise unable to be imaged upright. Current-generation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::794e5b11e59c21ec04540645e1c57191
https://doi.org/10.1117/12.2510340
https://doi.org/10.1117/12.2510340
Autor:
Mohamed T. El-Haddad, Yuankai K. Tao
Publikováno v:
Photonic Instrumentation Engineering VI.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f497f805967f386b5c09a40e7c9e8730
https://doi.org/10.1117/12.2510811
https://doi.org/10.1117/12.2510811
Publikováno v:
Optical Coherence Tomography and Coherence Domain Optical Methods in Biomedicine XXIII.
Intraoperative optical coherence tomography (iOCT) enables volumetric imaging of surgical maneuvers. While previous studies have demonstrated the utility of iOCT for verifying completion of surgical goals, images were acquired over static field-of-vi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cea629b46c1968d4aa360fd58d978aa6
https://doi.org/10.1117/12.2511827
https://doi.org/10.1117/12.2511827
Autor:
Bishoy Abraham, Mohamed A. El-Haddad, Haidy El-Azzamy, Sara Samaan, Antonious Attallah, Photios Vassilyadi
Publikováno v:
Journal of the American College of Cardiology. 75:2673
The classic triad for catecholamine-secreting tumors is episodic headache, sweating and tachycardia. Often times patients present with paroxysmal hypertension. We present a rare case of juxtarenal retroperitoneal paraganglioma with a clinical present
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::09592d48ae3ef13e6accaac86fb4170b
https://doi.org/10.1016/s0735-1097(20)33300-3
https://doi.org/10.1016/s0735-1097(20)33300-3
Autor:
Mohamed T. El-Haddad, Benjamin D. Terrones, Kelsey C. Leeburg, Joseph D. Malone, Yuankai K. Tao
Publikováno v:
Optical Coherence Tomography and Coherence Domain Optical Methods in Biomedicine XXII.
Limited visualization of semi-transparent structures in the eye remains a critical barrier to improving clinical outcomes and developing novel surgical techniques. While increases in imaging speed has enabled intraoperative optical coherence tomograp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b3cfcd9bfdc740b8ff82e61e36b13e7f
https://doi.org/10.1117/12.2292138
https://doi.org/10.1117/12.2292138