Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Mahmoud, Mohamed Yousri"'
Autor:
Mahmoud, Mohamed Yousri, Felty, Amy P.
We develop a linear logical framework within the Hybrid system and use it to reason about the type system of a quantum lambda calculus. In particular, we consider a practical version of the calculus called Proto-Quipper, which contains the core of Qu
Externí odkaz:
http://arxiv.org/abs/1812.03624
Autor:
Khan-Afshar, Sanaz, Siddique, Umair, Mahmoud, Mohamed Yousri, Aravantinos, Vincent, Seddiki, Ons, Hasan, Osman, Tahar, Sofiene
Optical systems are becoming increasingly important by resolving many bottlenecks in today's communication, electronics, and biomedical systems. However, given the continuous nature of optics, the inability to efficiently analyze optical system model
Externí odkaz:
http://arxiv.org/abs/1403.3039
Autor:
Mahmoud, Mohamed Yousri, Felty, Amy P.
Publikováno v:
Journal of Automated Reasoning; Dec2019, Vol. 63 Issue 4, p967-1002, 36p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
NASA Formal Methods (9783319406473); 2016, p344-352, 9p
Publikováno v:
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings; 2015, p198-211, 14p
Publikováno v:
Interactive Theorem Proving (9783319089690); 2014, p483-498, 16p
Publikováno v:
Interactive Theorem Proving (9783319089690); 2014, p358-373, 16p
Publikováno v:
NASA Formal Methods; 2013, p413-427, 15p
Publikováno v:
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings; 2016, pI-XVII, 17p