Zobrazeno 1 - 10
of 17 553
pro vyhledávání: '"PFENNING, A."'
Autor:
Laneve, Alessandro, Rota, Michele B., Basset, Francesco Basso, Beccaceci, Mattia, Villari, Valerio, Oberleitner, Thomas, Reum, Yorick, Krieger, Tobias M., Buchinger, Quirin, da Silva, Saimon F. Covre, Pfenning, Andreas, Stroj, Sandra, Höfling, Sven, Rastelli, Armando, Huber-Loyola, Tobias, Trotta, Rinaldo
The generation of entangled photons from radiative cascades has enabled milestone experiments in quantum information science with several applications in photonic quantum technologies. Significant efforts are being devoted to pushing the performances
Externí odkaz:
http://arxiv.org/abs/2409.07875
Autor:
Palenicek, Daniel, Gruner, Theo, Schneider, Tim, Böhm, Alina, Lenz, Janis, Pfenning, Inga, Krämer, Eric, Peters, Jan
Humans have exceptional tactile sensing capabilities, which they can leverage to solve challenging, partially observable tasks that cannot be solved from visual observation alone. Research in tactile sensing attempts to unlock this new input modality
Externí odkaz:
http://arxiv.org/abs/2405.00383
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth. It has been defined
Externí odkaz:
http://arxiv.org/abs/2402.01428
Autor:
Chen, Zhibo, Pfenning, Frank
Higher-order unification has been shown to be undecidable. Miller discovered the pattern fragment and subsequently showed that higher-order pattern unification is decidable and has most general unifiers. We extend the algorithm to higher-order ration
Externí odkaz:
http://arxiv.org/abs/2312.07263
Autor:
Kaupp, Jochen, Reum, Yorick, Kohr, Felix, Michl, Johannes, Buchinger, Quirin, Wolf, Adriana, Peniakov, Giora, Huber-Loyola, Tobias, Pfenning, Andreas, Höfling, Sven
Publikováno v:
Advanced Quantum Technologies 2023, 2300242
Purcell-enhanced quantum dot single-photon emission in the telecom C-band from InAs quantum dots inside circular Bragg grating cavities is shown. The InAs quantum dots are grown by means of molecular beam epitaxy on an InP substrate and are embedded
Externí odkaz:
http://arxiv.org/abs/2311.01925
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.
Autor:
Somayyajula, Siva, Pfenning, Frank
Publikováno v:
Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12286
Type refinements combine the compositionality of typechecking with the expressivity of program logics, offering a synergistic approach to program verification. In this paper we apply dependent type refinements to SAX, a futures-based process calculus
Externí odkaz:
http://arxiv.org/abs/2309.08581
Autor:
Peniakov, Giora, Buchinger, Quirin, Helal, Mohamed, Betzold, Simon, Reum, Yorick, Rota, Michele B., Ronco, Giuseppe, Beccaceci, Mattia, Krieger, Tobias M., Da Silva, Saimon F. Covre, Rastelli, Armando, Trotta, Rinaldo, Pfenning, Andreas, Hoefling, Sven, Huber-Loyola, Tobias
Publikováno v:
Laser & Photonics Reviews 2024, 2300835
We present polarized |S|=0.99$\pm$0.01, and unpolarized |S|=0.03$\pm$0.01 emission from a single emitter embedded in a single, cylindrically symmetric device design. We show that the polarization stems from a position offset of the single emitter wit
Externí odkaz:
http://arxiv.org/abs/2308.06231
We study the interaction of structural subtyping with parametric polymorphism and recursively defined type constructors. Although structural subtyping is undecidable in this setting, we describe a notion of parametricity for type constructors and the
Externí odkaz:
http://arxiv.org/abs/2307.13661
Autor:
Castro, Edgar David Guarin, Pfenning, Andreas, Hartmann, Fabian, Naranjo, Andrea, Knebl, Georg, Teodoro, Marcio Daldin, Marques, Gilmar Eugenio, Höfling, Sven, Bastard, Gerald, Lopez-Richard, Victor
Concurrent natural time scales related to relaxation, recombination, trapping, and drifting processes rule the semiconductor heterostructures' response to external drives when charge carrier fluxes are induced. This paper highlights the role of stoic
Externí odkaz:
http://arxiv.org/abs/2307.00597