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.




5473 Publications

2019 | Published | Conference Paper | IST-REx-ID: 7402 | OA
Graph planning with expected finite horizon
K. Chatterjee, L. Doyen, in:, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2019, pp. 1–13.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 7404 | OA
Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo
T. Stürner, A. Tatarnikova, J. Müller, B. Schaffran, H. Cuntz, Y. Zhang, M. Nemethova, S. Bogdan, V. Small, G. Tavosanis, Development 146 (2019).
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 7405 | OA
NetPyNE, a tool for data-driven multiscale modeling of brain circuits
S. Dura-Bernal, B. Suter, P. Gleeson, M. Cantarelli, A. Quintana, F. Rodriguez, D.J. Kedziora, G.L. Chadderdon, C.C. Kerr, S.A. Neymotin, R.A. McDougal, M. Hines, G.M. Shepherd, W.W. Lytton, ELife 8 (2019).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 7406
Isolation of synaptic vesicles from genetically engineered cultured neurons
C. Mckenzie, M. Spanova, A.J. Johnson, S. Kainrath, V. Zheden, H.H. Sitte, H.L. Janovjak, Journal of Neuroscience Methods 312 (2019) 114–121.
View | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Conference Paper | IST-REx-ID: 7411 | OA
Reversible proofs of sequential work
H.M. Abusalah, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, M. Walter, in:, Advances in Cryptology – EUROCRYPT 2019, Springer International Publishing, 2019, pp. 277–291.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 7412 | OA
A local lemma for focused stochastical algorithms
D. Achlioptas, F. Iliopoulos, V. Kolmogorov, SIAM Journal on Computing 48 (2019) 1583–1602.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 7413 | OA
Bogoliubov theory in the Gross–Pitaevskii limit
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Acta Mathematica 222 (2019) 219–335.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 7414
S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly
L. Knaus, D.-C. Tarlungeanu, G. Novarino, European Neuropsychopharmacology 29 (2019) S11.
View | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 7415
S.16.05 Illuminating the role of the e3 ubiquitin ligase cullin3 in brain development and autism
J. Morandell, A. Nicolas, L.A. Schwarz, G. Novarino, European Neuropsychopharmacology 29 (2019) S11–S12.
View | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 7418
MIS compensation: Optimizing sampling techniques in multiple importance sampling
O. Karlík, M. Šik, P. Vévoda, T. Skrivan, J. Křivánek, ACM Transactions on Graphics 38 (2019).
View | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 7420 | OA
GGA2 and RAB13 promote activity-dependent β1-integrin recycling
P. Sahgal, J.H. Alanko, J. Icha, I. Paatero, H. Hamidi, A. Arjonen, M. Pietilä, A. Rokka, J. Ivaska, Journal of Cell Science 132 (2019).
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 7421
A reciprocal translocation radically reshapes sex‐linked inheritance in the common frog
M.A. Toups, N. Rodrigues, N. Perrin, M. Kirkpatrick, Molecular Ecology 28 (2019) 1877–1889.
View | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 7422 | OA
eGFRD in all dimensions
T.R. Sokolowski, J. Paijmans, L. Bossen, T. Miedema, M. Wehrens, N.B. Becker, K. Kaizu, K. Takahashi, M. Dogterom, P.R. ten Wolde, The Journal of Chemical Physics 150 (2019).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 7423 | OA
Finite rank perturbations in products of coupled random matrices: From one correlated to two Wishart ensembles
G. Akemann, T. Checinski, D. Liu, E. Strahov, Annales de l’Institut Henri Poincaré, Probabilités et Statistiques 55 (2019) 441–479.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 7436 | OA
On derived equivalences of k3 surfaces in positive characteristic
T.K. Srivastava, Documenta Mathematica 24 (2019) 1135–1177.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 7437 | OA
Distributed learning over unreliable networks
C. Yu, H. Tang, C. Renggli, S. Kassing, A. Singla, D.-A. Alistarh, C. Zhang, J. Liu, in:, 36th International Conference on Machine Learning, ICML 2019, IMLS, 2019, pp. 12481–12512.
[Preprint] View | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 7451 | OA
Finite-size scaling of the photon-blockade breakdown dissipative quantum phase transition
A. Vukics, A. Dombi, J.M. Fink, P. Domokos, Quantum 3 (2019).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2019 | Published | Book Chapter | IST-REx-ID: 7453 | OA
Continuous-time models for system design and analysis
R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikučionis, in:, B. Steffen, G. Woeginger (Eds.), Computing and Software Science, Springer Nature, 2019, pp. 452–477.
[Published Version] View | DOI | Download Published Version (ext.)
 
2019 | Published | Conference Paper | IST-REx-ID: 7468 | OA
Map inference via block-coordinate Frank-Wolfe algorithm
P. Swoboda, V. Kolmogorov, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2019.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 7479 | OA
Distillation-based training for multi-exit architectures
M. Phuong, C. Lampert, in:, IEEE International Conference on Computer Vision, IEEE, 2019, pp. 1355–1364.
[Submitted Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Export / Embed