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.




4841 Publications

2021 | Published | Journal Article | IST-REx-ID: 10166 | OA
Transitions to asexuality and evolution of gene expression in Artemia brine shrimp
A.K. Huylmans, A. Macon, F. Hontoria, B. Vicoso, Proceedings of the Royal Society B: Biological Sciences 288 (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10167 | OA
Schistosome W-Linked genes inform temporal dynamics of sex chromosome evolution and suggest candidate for sex determination
M.N. Elkrewi, M.A. Moldovan, M.A.L. Picard, B. Vicoso, Molecular Biology and Evolution (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Submitted | Preprint | IST-REx-ID: 10174 | OA
Quantitative nonlinear homogenization: control of oscillations
N. Clozeau, A. Gloria, ArXiv (n.d.).
[Preprint] View | Download Preprint (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10176 | OA
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
 
2021 | Published | Journal Article | IST-REx-ID: 10178 | OA
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 | Files available | DOI | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10180 | OA
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, E.-A. Peste, Journal of Machine Learning Research 22 (2021) 1–124.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10181 | OA
Rectifiable curves in proximally smooth sets
G. Ivanov, M.S. Lopushanski, Set-Valued and Variational Analysis (2021).
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10184 | OA
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 | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 10191 | OA
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 | Files available | DOI | arXiv
 
2021 | Published | Thesis | IST-REx-ID: 10199 | OA
Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 
2021 | Published | Journal Article | IST-REx-ID: 10202 | OA
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 | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10203 | OA
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 | Files available | DOI | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10204 | OA
Topological signatures and stability of hexagonal close packing and Barlow stackings
G.F. Osang, H. Edelsbrunner, M. Saadatfar, Soft Matter 17 (2021) 9107–9115.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Conference Paper | IST-REx-ID: 10206 | OA
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 | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10211 | OA
Optimal combination of linear and spectral estimators for generalized linear models
M. Mondelli, C. Thrampoulidis, R. Venkataramanan, Foundations of Computational Mathematics (2021).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10216 | OA
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 | Files available | DOI | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10217 | OA
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 | Files available | DOI
 
2021 | Published | Conference Paper | IST-REx-ID: 10218 | OA
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 | Files available | DOI | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10219 | OA
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 | Files available | DOI | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10220 | OA
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 | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed