E-LIB Suche - Ergebnisse für: SABRY, AMR

1

With a Few Square Roots, Quantum Computing Is as Easy as Pi:

Carette, Jacques ; Heunen, Chris ; Kaarsgaard, Robin.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 546-574 , 2024

Link: https://doi.org/10.1145/..

2

Compositional Reversible Computation:

, In: Reversible Computation; Lecture Notes in Computer Science,

Carette, Jacques ; Heunen, Chris ; Kaarsgaard, Robin. - p. 10-27 , 2024

Link: https://doi.org/10.1007/..

3

Synthesis of Hidden Subgroup Quantum Algorithms and Quantum..:

Iyengar, Srinivasan S. ; Kumar, Anup ; Saha, Debadrita.
Journal of Chemical Theory and Computation. , 2023

Link: https://doi.org/10.1021/..

4

Quantum Computation of Hydrogen Bond Dynamics and Vibration..:

Richerme, Philip ; Revelle, Melissa C. ; Yale, Christopher G....
The Journal of Physical Chemistry Letters. 14 (2023) 32 - p. 7256-7263 , 2023

Link: https://doi.org/10.1021/..

5

Symbolic Execution of Hadamard-Toffoli Quantum Circuits:

, In: Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,

Carette, Jacques ; Ortiz, Gerardo ; Sabry, Amr - p. 14-26 , 2023

Link: https://dl.acm.org/doi/1..

6

Symmetries in reversible programming: from symmetric rig gr..:

Choudhury, Vikraman ; Karwowski, Jacek ; Sabry, Amr
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-32 , 2022

Link: https://dl.acm.org/doi/1..

7

Symmetries in reversible programming: from symmetric rig gr..:

Choudhury, Vikraman ; Karwowski, Jacek ; Sabry, Amr
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-32 , 2022

Link: https://doi.org/10.1145/..

8

A computational interpretation of compact closed categories..:

Chen, Chao-Hong ; Sabry, Amr
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021

Link: https://doi.org/10.1145/..

9

Mapping Quantum Chemical Dynamics Problems to Spin-Lattice ..:

Saha, Debadrita ; Iyengar, Srinivasan S. ; Richerme, Philip..
Journal of Chemical Theory and Computation. 17 (2021) 11 - p. 6713-6732 , 2021

Link: https://doi.org/10.1021/..

10

A computational interpretation of compact closed categories..:

Chen, Chao-Hong ; Sabry, Amr
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021

Link: https://dl.acm.org/doi/1..

11

Not by equations alone: Reasoning with extensible effects:

KISELYOV, OLEG ; MU, SHIN-CHENG ; SABRY, AMR
Journal of Functional Programming. 31 (2021) - p. , 2021

Link: https://doi.org/10.1017/..

12

Fractional Types: Expressive and Safe Space Management for ..:

, In: Reversible Computation; Lecture Notes in Computer Science,

Chen, Chao-Hong ; Choudhury, Vikraman ; Carette, Jacques. - p. 169-186 , 2020

Link: https://doi.org/10.1007/..

13

Optimized PV-Pumping System Using QUASI Z-Source Inverter (..:

, In: 2019 IEEE Conference on Power Electronics and Renewable Energy (CPERE),

Sabry, Amr ; Mahgoub, A. ; Sayed, M. M. - p. 156-162 , 2019

Link: https://doi.org/10.1109/..

14

An extended account of contract monitoring strategies as pa..:

SWORDS, CAMERON ; SABRY, AMR ; TOBIN-HOCHSTADT, SAM
Journal of Functional Programming. 28 (2018) - p. , 2018

Link: https://doi.org/10.1017/..

15

A Library of Reversible Circuit Transformations (Work in Pr..:

, In: Reversible Computation; Lecture Notes in Computer Science,

Hutslar, Christian ; Carette, Jacques ; Sabry, Amr - p. 339-345 , 2018

Link: https://doi.org/10.1007/..