Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6824 Publikationen
2021 |
Veröffentlicht |
Zeitschriftenaufsatz |
ISTA-REx-ID: 10176 |
Topological field theory on r-spin surfaces and the Arf-invariant
I. Runkel, L. Szegedy, Journal of Mathematical Physics 62 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
I. Runkel, L. Szegedy, Journal of Mathematical Physics 62 (2021).
2021 |
Veröffentlicht |
Zeitschriftenaufsatz |
ISTA-REx-ID: 10177 |
Focusing of in-plane hyperbolic polaritons in van der Waals crystals with tailored infrared nanoantennas
J. Martín-Sánchez, J. Duan, J. Taboada-Gutiérrez, G. Álvarez-Pérez, K.V. Voronin, I. Prieto Gonzalez, W. Ma, Q. Bao, V.S. Volkov, R. Hillenbrand, A.Y. Nikitin, P. Alonso-González, Science Advances 7 (2021).
[Published Version]
View
| Dateien verfügbar
| DOI
| WoS
| arXiv
J. Martín-Sánchez, J. Duan, J. Taboada-Gutiérrez, G. Álvarez-Pérez, K.V. Voronin, I. Prieto Gonzalez, W. Ma, Q. Bao, V.S. Volkov, R. Hillenbrand, A.Y. Nikitin, P. Alonso-González, Science Advances 7 (2021).
2021 |
Veröffentlicht |
Zeitschriftenaufsatz |
ISTA-REx-ID: 10178 |
Geometric signatures of tissue surface tension in a three-dimensional model of confluent tissue
P. Sahu, J.M. Schwarz, M.L. Manning, New Journal of Physics 23 (2021).
[Published Version]
View
| Dateien verfügbar
| DOI
| WoS
| arXiv
P. Sahu, J.M. Schwarz, M.L. Manning, New Journal of Physics 23 (2021).
2021 |
Veröffentlicht |
Zeitschriftenaufsatz |
ISTA-REx-ID: 10179 |
Neurotransmitter signaling regulates distinct phases of multimodal human interneuron migration
S. Bajaj, J.A. Bagley, C.M. Sommer, A. Vertesy, S. Nagumo Wong, V. Krenn, J. Lévi-Strauss, J.A. Knoblich, EMBO Journal 40 (2021).
[Published Version]
View
| Dateien verfügbar
| DOI
| WoS
| PubMed | Europe PMC
S. Bajaj, J.A. Bagley, C.M. Sommer, A. Vertesy, S. Nagumo Wong, V. Krenn, J. Lévi-Strauss, J.A. Knoblich, EMBO Journal 40 (2021).
2021 |
Veröffentlicht |
Zeitschriftenaufsatz |
ISTA-REx-ID: 10180 |
Sparsity in deep learning: Pruning and growth for efficient inference and training in neural networks
T. Hoefler, D.-A. Alistarh, T. Ben-Nun, N. Dryden, A. Krumes, Journal of Machine Learning Research 22 (2021) 1–124.
[Published Version]
View
| Dateien verfügbar
| Download Published Version (ext.)
| arXiv
T. Hoefler, D.-A. Alistarh, T. Ben-Nun, N. Dryden, A. Krumes, Journal of Machine Learning Research 22 (2021) 1–124.
2021 |
Veröffentlicht |
Zeitschriftenaufsatz |
ISTA-REx-ID: 10184 |
Volume decomposition for two-piece rigid casting
T. Alderighi, L. Malomo, B. Bickel, P. Cignoni, N. Pietroni, ACM Transactions on Graphics 40 (2021).
[Submitted Version]
View
| Dateien verfügbar
| DOI
| Download Submitted Version (ext.)
| WoS
T. Alderighi, L. Malomo, B. Bickel, P. Cignoni, N. Pietroni, ACM Transactions on Graphics 40 (2021).
2021 |
Veröffentlicht |
Zeitschriftenaufsatz |
ISTA-REx-ID: 10191 |
The reads-from equivalence for the TSO and PSO memory models
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version]
View
| Dateien verfügbar
| DOI
| arXiv
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
2021 |
Veröffentlicht |
These | PhD |
ISTA-REx-ID: 10199 |
Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Dateien verfügbar
| DOI
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
2021 |
Veröffentlicht |
Zeitschriftenaufsatz |
ISTA-REx-ID: 10202 |
Satb2 acts as a gatekeeper for major developmental transitions during early vertebrate embryogenesis
S.J. Pradhan, P.C. Reddy, M. Smutny, A. Sharma, K. Sako, M.S. Oak, R. Shah, M. Pal, O. Deshpande, G. Dsilva, Y. Tang, R. Mishra, G. Deshpande, A.J. Giraldez, M. Sonawane, C.-P.J. Heisenberg, S. Galande, Nature Communications 12 (2021).
[Published Version]
View
| Dateien verfügbar
| DOI
| WoS
| PubMed | Europe PMC
S.J. Pradhan, P.C. Reddy, M. Smutny, A. Sharma, K. Sako, M.S. Oak, R. Shah, M. Pal, O. Deshpande, G. Dsilva, Y. Tang, R. Mishra, G. Deshpande, A.J. Giraldez, M. Sonawane, C.-P.J. Heisenberg, S. Galande, Nature Communications 12 (2021).
2021 |
Veröffentlicht |
Zeitschriftenaufsatz |
ISTA-REx-ID: 10203 |
Bright single photon emitters with enhanced quantum efficiency in a two-dimensional semiconductor coupled with dielectric nano-antennas
L. Sortino, P.G. Zotev, C.L. Phillips, A.J. Brash, J. Cambiasso, E. Marensi, A.M. Fox, S.A. Maier, R. Sapienza, A.I. Tartakovskii, Nature Communications 12 (2021).
[Published Version]
View
| Dateien verfügbar
| DOI
| WoS
| arXiv
L. Sortino, P.G. Zotev, C.L. Phillips, A.J. Brash, J. Cambiasso, E. Marensi, A.M. Fox, S.A. Maier, R. Sapienza, A.I. Tartakovskii, Nature Communications 12 (2021).
2021 |
Veröffentlicht |
Konferenzbeitrag |
ISTA-REx-ID: 10206 |
Into the unknown: active monitoring of neural networks
A. Lukina, C. Schilling, T.A. Henzinger, in:, 21st International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 42–61.
[Preprint]
View
| Dateien verfügbar
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Lukina, C. Schilling, T.A. Henzinger, in:, 21st International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 42–61.
2021 |
Veröffentlicht |
Konferenzbeitrag |
ISTA-REx-ID: 10216 |
Brief announcement: Non-blocking dynamic unbounded graphs with worst-case amortized bounds
B. Chatterjee, S. Peri, M. Sa, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Dateien verfügbar
| DOI
| arXiv
B. Chatterjee, S. Peri, M. Sa, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 |
Veröffentlicht |
Konferenzbeitrag |
ISTA-REx-ID: 10217 |
Lower bounds for shared-memory leader election under bounded write contention
D.-A. Alistarh, R. Gelashvili, G. Nadiradze, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Dateien verfügbar
| DOI
D.-A. Alistarh, R. Gelashvili, G. Nadiradze, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 |
Veröffentlicht |
Konferenzbeitrag |
ISTA-REx-ID: 10218 |
Brief announcement: Fast graphical population protocols
D.-A. Alistarh, R. Gelashvili, J. Rybicki, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Dateien verfügbar
| DOI
| arXiv
D.-A. Alistarh, R. Gelashvili, J. Rybicki, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 |
Veröffentlicht |
Konferenzbeitrag |
ISTA-REx-ID: 10219 |
Brief announcement: Sinkless orientation is hard also in the supported LOCAL model
J. Korhonen, A. Paz, J. Rybicki, S. Schmid, J. Suomela, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Dateien verfügbar
| DOI
| arXiv
J. Korhonen, A. Paz, J. Rybicki, S. Schmid, J. Suomela, in:, 35th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 |
Veröffentlicht |
Zeitschriftenaufsatz |
ISTA-REx-ID: 10220 |
Eliminating higher-multiplicity intersections. III. Codimension 2
S. Avvakumov, I. Mabillard, A.B. Skopenkov, U. Wagner, Israel Journal of Mathematics 245 (2021) 501–534.
[Preprint]
View
| Dateien verfügbar
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Avvakumov, I. Mabillard, A.B. Skopenkov, U. Wagner, Israel Journal of Mathematics 245 (2021) 501–534.
2021 |
Veröffentlicht |
Zeitschriftenaufsatz |
ISTA-REx-ID: 10221 |
Eigenstate thermalization hypothesis for Wigner matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Communications in Mathematical Physics 388 (2021) 1005–1048.
[Published Version]
View
| Dateien verfügbar
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Communications in Mathematical Physics 388 (2021) 1005–1048.
2021 |
Veröffentlicht |
Zeitschriftenaufsatz |
ISTA-REx-ID: 10223 |
Cell surface and intracellular auxin signalling for H+ fluxes in root growth
L. Li, I. Verstraeten, M. Roosjen, K. Takahashi, L. Rodriguez Solovey, J. Merrin, J. Chen, L. Shabala, W. Smet, H. Ren, S. Vanneste, S. Shabala, B. De Rybel, D. Weijers, T. Kinoshita, W.M. Gray, J. Friml, Nature 599 (2021) 273–277.
[Preprint]
View
| Dateien verfügbar
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
L. Li, I. Verstraeten, M. Roosjen, K. Takahashi, L. Rodriguez Solovey, J. Merrin, J. Chen, L. Shabala, W. Smet, H. Ren, S. Vanneste, S. Shabala, B. De Rybel, D. Weijers, T. Kinoshita, W.M. Gray, J. Friml, Nature 599 (2021) 273–277.
2021 |
Veröffentlicht |
Zeitschriftenaufsatz |
ISTA-REx-ID: 10224 |
The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics
D. Feliciangeli, R. Seiringer, Archive for Rational Mechanics and Analysis 242 (2021) 1835–1906.
[Published Version]
View
| Dateien verfügbar
| DOI
| WoS
| arXiv
D. Feliciangeli, R. Seiringer, Archive for Rational Mechanics and Analysis 242 (2021) 1835–1906.
2021 |
Veröffentlicht |
Sammelwerksbeitrag |
ISTA-REx-ID: 10267
Evaluation of gravitropism in non-seed plants
Y. Zhang, L. Li, J. Friml, in:, E.B. Blancaflor (Ed.), Plant Gravitropism, Springer Nature, 2021, pp. 43–51.
View
| DOI
| PubMed | Europe PMC
Y. Zhang, L. Li, J. Friml, in:, E.B. Blancaflor (Ed.), Plant Gravitropism, Springer Nature, 2021, pp. 43–51.