Zobrazeno 1 - 10
of 6 001
pro vyhledávání: '"A Kappe"'
Autor:
Cate, Balder ten, Kappé, Tobias
Kleene Algebra with Tests (KAT) provides an elegant algebraic framework for describing non-deterministic finite-state computations. Using a small finite set of non-deterministic programming constructs (sequencing, non-deterministic choice, and iterat
Externí odkaz:
http://arxiv.org/abs/2411.14284
Guarded Kleene Algebra with Tests (GKAT) provides a sound and complete framework to reason about trace equivalence between simple imperative programs. However, there are still several notable limitations. First, GKAT is completely agnostic with respe
Externí odkaz:
http://arxiv.org/abs/2411.13220
Autor:
Karli, Yusuf, Schwarz, René, Kappe, Florian, Vajner, Daniel A., Krämer, Ria G., Bracht, Thomas K., da Silva, Saimon F. Covre, Richter, Daniel, Nolte, Stefan, Rastelli, Armando, Reiter, Doris E., Weihs, Gregor, Heindel, Tobias, Remesh, Vikas
The generation of single photons using solid-state quantum emitters is pivotal for advancing photonic quantum technologies, particularly in quantum communication. As the field continuously advances towards practical use cases and beyond shielded labo
Externí odkaz:
http://arxiv.org/abs/2409.13981
Autor:
Vajner, Daniel A., Kewitz, Nils D., von Helversen, Martin, Wein, Stephen C., Karli, Yusuf, Kappe, Florian, Remesh, Vikas, da Silva, Saimon F. Covre, Rastelli, Armando, Weihs, Gregor, Anton-Solanas, Carlos, Heindel, Tobias
The sequential resonant excitation of a 2-level quantum system results in the emission of a state of light showing time-entanglement encoded in the photon-number-basis - notions that can be extended to 3-level quantum systems as discussed in a recent
Externí odkaz:
http://arxiv.org/abs/2407.05902
Autor:
Kappe, Florian, Schwarz, René, Karli, Yusuf, Bracht, Thomas, Axt, Vollrath M., Rastelli, Armando, Remesh, Vikas, Reiter, Doris E., Weihs, Gregor
Because dark excitons in quantum dots are not directly optically accessible, so far they have not played a significant role in using quantum dots for photon generation. They possess significantly longer lifetimes than their brighter counterparts and
Externí odkaz:
http://arxiv.org/abs/2404.10708
Autor:
Bracht, Thomas K., Kappe, Florian, Cygorek, Moritz, Seidelmann, Tim, Karli, Yusuf, Remesh, Vikas, Weihs, Gregor, Axt, Vollrath Martin, Reiter, Doris E.
Entangled photon pairs form the foundation for many applications in the realm of quantum communication. For fiber-optic transfer of entangled photon pairs, time-bin encoding can potentially offer an improved stability compared to polarization encoded
Externí odkaz:
http://arxiv.org/abs/2404.08348
Autor:
Remesh, Vikas, Krämer, Ria G., Schwarz, René, Kappe, Florian, Karli, Yusuf, Siems, Malte Per, Bracht, Thomas K., da Silva, Saimon Filipe Covre, Rastelli, Armando, Reiter, Doris E., Richter, Daniel, Nolte, Stefan, Weihs, Gregor
Publikováno v:
APL Photonics, 2023
A scalable source of single photons is a key constituent of an efficient quantum photonic architecture. To realize this, it is beneficial to have an ensemble of quantum emitters that can be collectively excited with high efficiency. Semiconductor qua
Externí odkaz:
http://arxiv.org/abs/2306.11635
Autor:
Karli, Yusuf, Vajner, Daniel A., Kappe, Florian, Hagen, Paul C. A., Hansen, Lena M., Schwarz, René, Bracht, Thomas K., Schimpf, Christian, da Silva, Saimon F. Covre, Walther, Philip, Rastelli, Armando, Axt, Vollrath Martin, Loredo, Juan C., Remesh, Vikas, Heindel, Tobias, Reiter, Doris E., Weihs, Gregor
Publikováno v:
npj Quantum Inf 10, 17 (2024)
Quantum communication networks rely on quantum cryptographic protocols including quantum key distribution (QKD) using single photons. A critical element regarding the security of QKD protocols is the photon number coherence (PNC), i.e. the phase rela
Externí odkaz:
http://arxiv.org/abs/2305.20017
We introduce Probabilistic Guarded Kleene Algebra with Tests (ProbGKAT), an extension of GKAT that allows reasoning about uninterpreted imperative programs with probabilistic branching. We give its operational semantics in terms of special class of p
Externí odkaz:
http://arxiv.org/abs/2305.01755
Autor:
Debashree Goswami, Silvia A. Arredondo, William Betz, Janna Armstrong, Sudhir Kumar, Gigliola Zanghi, Hardik Patel, Nelly Camargo, Kenza M. Z. Oualim, Annette M. Seilie, Sophia Schneider, Sean C. Murphy, Stefan H. I. Kappe, Ashley M. Vaughan
Publikováno v:
Communications Biology, Vol 7, Iss 1, Pp 1-17 (2024)
Abstract Malaria, caused by Plasmodium parasites, imposes a significant health burden and live-attenuated parasites are being pursued as vaccines. Here, we report on the creation of a genetically attenuated parasite by the deletion of Plasmodium LINU
Externí odkaz:
https://doaj.org/article/07a3fd59e30b49d29f842e336ca76cb4