Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
436 Publications
2019 | Conference Paper | IST-REx-ID: 7401 | 
Fulek R, Kyncl J. 2019. Z_2-Genus of graphs and minimum rank of partial symmetric matrices. 35th International Symposium on Computational Geometry (SoCG 2019). SoCG: Symposium on Computational Geometry, LIPIcs, vol. 129, 39.
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 7402 |
Chatterjee K, Doyen L. 2019. Graph planning with expected finite horizon. 34th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7404 |
Stürner T, Tatarnikova A, Müller J, Schaffran B, Cuntz H, Zhang Y, Nemethova M, Bogdan S, Small V, Tavosanis G. 2019. Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo. Development. 146(7), dev171397.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7405 |
Dura-Bernal S, Suter B, Gleeson P, Cantarelli M, Quintana A, Rodriguez F, Kedziora DJ, Chadderdon GL, Kerr CC, Neymotin SA, McDougal RA, Hines M, Shepherd GM, Lytton WW. 2019. NetPyNE, a tool for data-driven multiscale modeling of brain circuits. eLife. 8, e44494.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7406
Mckenzie C, Spanova M, Johnson AJ, Kainrath S, Zheden V, Sitte HH, Janovjak HL. 2019. Isolation of synaptic vesicles from genetically engineered cultured neurons. Journal of Neuroscience Methods. 312, 114–121.
View
| DOI
| PubMed | Europe PMC
2019 | Preprint | IST-REx-ID: 7358 |
Watanabe M, Haney JR, Vishlaghi N, Turcios F, Buth JE, Gu W, Collier AJ, Miranda O, Chen D, Sabri S, Clark AT, Plath K, Christofk HR, Gandal MJ, Novitch BG. 2019. TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids. bioRxiv, .
View
| Download Preprint (ext.)
2019 | Journal Article | IST-REx-ID: 7340 |
Amin-Wetzel NP, Neidhardt L, Yan Y, Mayer MP, Ron D. 2019. Unstructured regions in IRE1α specify BiP-mediated destabilisation of the luminal domain dimer and repression of the UPR. eLife. 8, e50793.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 7468 |
Swoboda P, Kolmogorov V. 2019. Map inference via block-coordinate Frank-Wolfe algorithm. Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition vol. 2019–June, 11138–11147.
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7476 |
Andersen MS, Hannezo EB, Ulyanchenko S, Estrach S, Antoku Y, Pisano S, Boonekamp KE, Sendrup S, Maimets M, Pedersen MT, Johansen JV, Clement DL, Feral CC, Simons BD, Jensen KB. 2019. Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states. Nature Cell Biology. 21(8), 924–932.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 7479 |
Bui Thi Mai P, Lampert C. 2019. Distillation-based training for multi-exit architectures. IEEE International Conference on Computer Vision. ICCV: International Conference on Computer Vision vol. 2019–October, 1355–1364.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7436 |
Srivastava TK. 2019. On derived equivalences of k3 surfaces in positive characteristic. Documenta Mathematica. 24, 1135–1177.
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 7437 |
Yu C, Tang H, Renggli C, Kassing S, Singla A, Alistarh D-A, Zhang C, Liu J. 2019. Distributed learning over unreliable networks. 36th International Conference on Machine Learning, ICML 2019. ICML: International Conference on Machine Learning vol. 2019–June, 12481–12512.
View
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7451 |
Vukics A, Dombi A, Fink JM, Domokos P. 2019. Finite-size scaling of the photon-blockade breakdown dissipative quantum phase transition. Quantum. 3, 150.
View
| Files available
| DOI
| arXiv
2019 | Book Chapter | IST-REx-ID: 7453 |
Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. 2019.Continuous-time models for system design and analysis. In: Computing and Software Science. LNCS, vol. 10000, 452–477.
View
| DOI
| Download Published Version (ext.)
2019 | Conference Paper | IST-REx-ID: 7411 |
Abusalah HM, Kamath Hosdurg C, Klein K, Pietrzak KZ, Walter M. 2019. Reversible proofs of sequential work. Advances in Cryptology – EUROCRYPT 2019. International Conference on the Theory and Applications of Cryptographic Techniques, LNCS, vol. 11477, 277–291.
View
| DOI
| Download Submitted Version (ext.)
2019 | Journal Article | IST-REx-ID: 7412 |
Achlioptas D, Iliopoulos F, Kolmogorov V. 2019. A local lemma for focused stochastical algorithms. SIAM Journal on Computing. 48(5), 1583–1602.
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7413 |
Boccato C, Brennecke C, Cenatiempo S, Schlein B. 2019. Bogoliubov theory in the Gross–Pitaevskii limit. Acta Mathematica. 222(2), 219–335.
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7420 |
Sahgal P, Alanko JH, Icha J, Paatero I, Hamidi H, Arjonen A, Pietilä M, Rokka A, Ivaska J. 2019. GGA2 and RAB13 promote activity-dependent β1-integrin recycling. Journal of Cell Science. 132(11), jcs233387.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7421
Toups MA, Rodrigues N, Perrin N, Kirkpatrick M. 2019. A reciprocal translocation radically reshapes sex‐linked inheritance in the common frog. Molecular Ecology. 28(8), 1877–1889.
View
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7422 |
Sokolowski TR, Paijmans J, Bossen L, Miedema T, Wehrens M, Becker NB, Kaizu K, Takahashi K, Dogterom M, ten Wolde PR. 2019. eGFRD in all dimensions. The Journal of Chemical Physics. 150(5), 054108.
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7423 |
Akemann G, Checinski T, Liu D, Strahov E. 2019. Finite rank perturbations in products of coupled random matrices: From one correlated to two Wishart ensembles. Annales de l’Institut Henri Poincaré, Probabilités et Statistiques. 55(1), 441–479.
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6608 |
Edelsbrunner H, Ölsböck K. 2019. Holes and dependences in an ordered complex. Computer Aided Geometric Design. 73, 1–15.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 7606 |
Hledik M, Sokolowski TR, Tkačik G. 2019. A tight upper bound on mutual information. IEEE Information Theory Workshop, ITW 2019. Information Theory Workshop, 8989292.
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Preprint | IST-REx-ID: 7627 |
Prehal C, Samojlov A, Nachtnebel M, Kriechbaum M, Amenitsch H, Freunberger SA. A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering.
View
| Download Preprint (ext.)
2019 | Conference Paper | IST-REx-ID: 7640 |
Kolesnikov A, Kuznetsova A, Lampert C, Ferrari V. 2019. Detecting visual relationships using box attention. Proceedings of the 2019 International Conference on Computer Vision Workshop. ICCVW: International Conference on Computer Vision Workshop, 1749–1753.
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 7542 |
Wendler C, Alistarh D-A, Püschel M. 2019. Powerset convolutional neural networks. NIPS: Conference on Neural Information Processing Systems vol. 32, 927–938.
View
| Download Published Version (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7547
Cohn J, Dwivedi V, Valperga G, Zarate N, de Bono M, Horvitz HR, Pierce JT. 2019. Activity-dependent regulation of the proapoptotic BH3-only gene egl-1 in a living neuron pair in Caenorhabditis elegans. G3: Genes, Genomes, Genetics. 9(11), 3703–3714.
View
| DOI
| PubMed | Europe PMC
2019 | Preprint | IST-REx-ID: 7550 |
Portinale L, Stefanelli U. 2019. Penalization via global functionals of optimal-control problems for dissipative evolution.
View
| Download Preprint (ext.)
| arXiv
2019 | Preprint | IST-REx-ID: 7552 |
Bialek W, Gregor T, Tkačik G. Action at a distance in transcriptional regulation. arXiv:1912.08579, .
View
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 7576 |
Immler F, Althoff M, Benet L, Chapoutot A, Chen X, Forets M, Geretti L, Kochdumper N, Sanders DP, Schilling C. 2019. ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 61, 41–61.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6677 |
Choudhuri AR, Hubáček P, Kamath Hosdurg C, Pietrzak KZ, Rosen A, Rothblum GN. 2019. Finding a Nash equilibrium is no easier than breaking Fiat-Shamir. Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019. STOC: Symposium on Theory of Computing, 1103–1114.
View
| Files available
| DOI
| Download Preprint (ext.)
2019 | Conference Paper | IST-REx-ID: 6933 |
Censor-Hillel K, Dory M, Korhonen J, Leitersdorf D. 2019. Fast approximate shortest paths in the congested clique. Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin. PODC: Symposium on Principles of Distributed Computing, 74–83.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6830 |
Contreras X, Hippenmeyer S. 2019. Memo1 tiles the radial glial cell grid. Neuron. 103(5), 750–752.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 8013 |
Currin CB, Khoza PN, Antrobus AD, Latham PE, Vogels TP, Raimondo JV. 2019. Think: Theory for Africa. PLOS Computational Biology. 15(7), e1007049.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 8014 |
Manohar SG, Zokaei N, Fallon SJ, Vogels TP, Husain M. 2019. Neural mechanisms of attending to items in working memory. Neuroscience and Biobehavioral Reviews. 101, 1–12.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 8 |
Trébuchet G, Cattenoz PB, Zsámboki J, Mazaud D, Siekhaus DE, Fanto M, Giangrande A. 2019. The Repo homeodomain transcription factor suppresses hematopoiesis in Drosophila and preserves the glial fate. Journal of Neuroscience. 39(2), 238–255.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 80 |
Deuchert A, Seiringer R, Yngvason J. 2019. Bose–Einstein condensation in a dilute, trapped gas at positive temperature. Communications in Mathematical Physics. 368(2), 723–776.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 8263 |
Shelyakin PV, Bochkareva O, Karan AA, Gelfand MS. 2019. Micro-evolution of three Streptococcus species: Selection, antigenic variation, and horizontal gene inflow. BMC Evolutionary Biology. 19, 83.
View
| DOI
| Download Published Version (ext.)
2019 | Conference Paper | IST-REx-ID: 8324 |
Wang P, Fu H, Chatterjee K, Deng Y, Xu M. 2019. Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. Proceedings of the ACM on Programming Languages. vol. 4, 25.
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 6848 |
Kampjut D, Sazanov LA. 2019. Structure and mechanism of mitochondrial proton-translocating transhydrogenase. Nature. 573(7773), 291–295.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 8405 |
Gauto DF, Estrozi LF, Schwieters CD, Effantin G, Macek P, Sounier R, Sivertsen AC, Schmidt E, Kerfah R, Mas G, Colletier J-P, Güntert P, Favier A, Schoehn G, Schanda P, Boisbouvier J. 2019. Integrated NMR and cryo-EM atomic-resolution structure determination of a half-megadalton enzyme complex. Nature Communications. 10, 2697.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC