Please note that ISTA 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.
600 Publications
2017 | Conference Paper | IST-REx-ID: 628 | 
Automated recurrence analysis for almost linear expected runtime bounds
K. Chatterjee, H. Fu, A. Murhekar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 118–139.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, H. Fu, A. Murhekar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 118–139.
2017 | Book Chapter | IST-REx-ID: 629
Reconstitution of protein dynamics involved in bacterial cell division
M. Loose, K. Zieske, P. Schwille, in:, Prokaryotic Cytoskeletons, Springer, 2017, pp. 419–444.
View
| DOI
| PubMed | Europe PMC
M. Loose, K. Zieske, P. Schwille, in:, Prokaryotic Cytoskeletons, Springer, 2017, pp. 419–444.
2017 | Conference Paper | IST-REx-ID: 630 |
Biosignals standards and FHIR: The way to go
S. Sauermann, V. David, A. Schlögl, R. Egelkraut, M. Frohner, B. Pohn, P. Urbauer, A. Mense, in:, IOS Press, 2017, pp. 356–362.
[Published Version]
View
| Files available
| DOI
S. Sauermann, V. David, A. Schlögl, R. Egelkraut, M. Frohner, B. Pohn, P. Urbauer, A. Mense, in:, IOS Press, 2017, pp. 356–362.
2017 | Journal Article | IST-REx-ID: 632 |
A note on 2D focusing many boson systems
M. Lewin, P. Nam, N. Rougerie, Proceedings of the American Mathematical Society 145 (2017) 2441–2454.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Lewin, P. Nam, N. Rougerie, Proceedings of the American Mathematical Society 145 (2017) 2441–2454.
2017 | Book Chapter | IST-REx-ID: 634
Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder
J. Schroeder, E. Deliu, G. Novarino, M. Schmeisser, in:, M. Schmeisser, T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder, Springer, 2017, pp. 189–211.
View
| DOI
J. Schroeder, E. Deliu, G. Novarino, M. Schmeisser, in:, M. Schmeisser, T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder, Springer, 2017, pp. 189–211.
2017 | Conference Paper | IST-REx-ID: 633
Challenges and tool implementation of hybrid rapidly exploring random trees
S. Bak, S. Bogomolov, T.A. Henzinger, A. Kumar, in:, A. Abate, S. Bodo (Eds.), Springer, 2017, pp. 83–89.
View
| DOI
S. Bak, S. Bogomolov, T.A. Henzinger, A. Kumar, in:, A. Abate, S. Bodo (Eds.), Springer, 2017, pp. 83–89.
2017 | Conference Paper | IST-REx-ID: 635 |
Scrypt is maximally memory hard
J.F. Alwen, B. Chen, K.Z. Pietrzak, L. Reyzin, S. Tessaro, in:, J.-S. Coron, J. Buus Nielsen (Eds.), Springer, 2017, pp. 33–62.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J.F. Alwen, B. Chen, K.Z. Pietrzak, L. Reyzin, S. Tessaro, in:, J.-S. Coron, J. Buus Nielsen (Eds.), Springer, 2017, pp. 33–62.
2017 | Conference Paper | IST-REx-ID: 636 |
On the quantitative semantics of regular expressions over real-valued signals
A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206.
2017 | Conference (Editor) | IST-REx-ID: 638
Numerical Software Verification
S. Bogomolov, M. Martel, P. Prabhakar, eds., Numerical Software Verification, Springer, 2017.
View
| DOI
S. Bogomolov, M. Martel, P. Prabhakar, eds., Numerical Software Verification, Springer, 2017.
2017 | Conference Paper | IST-REx-ID: 640 |
Depth-robust graphs and their cumulative memory complexity
J.F. Alwen, J. Blocki, K.Z. Pietrzak, in:, J.-S. Coron, J. Buus Nielsen (Eds.), Springer, 2017, pp. 3–32.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J.F. Alwen, J. Blocki, K.Z. Pietrzak, in:, J.-S. Coron, J. Buus Nielsen (Eds.), Springer, 2017, pp. 3–32.
2017 | Conference Paper | IST-REx-ID: 641
Graphical model parameter learning by inverse linear programming
V. Trajkovska, P. Swoboda, F. Åström, S. Petra, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 323–334.
View
| DOI
V. Trajkovska, P. Swoboda, F. Åström, S. Petra, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 323–334.
2017 | Technical Report | IST-REx-ID: 6426 |
Synchronizing the asynchronous
T.A. Henzinger, B. Kragl, S. Qadeer, Synchronizing the Asynchronous, IST Austria, 2017.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, B. Kragl, S. Qadeer, Synchronizing the Asynchronous, IST Austria, 2017.
2017 | Journal Article | IST-REx-ID: 643
Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats
W. Sun, M.-Z. Zhai, Q. Zhou, C. Qian, C. Jiang, Chinese Journal of Physiology 60 (2017) 207–214.
[Published Version]
View
| DOI
| PubMed | Europe PMC
W. Sun, M.-Z. Zhai, Q. Zhou, C. Qian, C. Jiang, Chinese Journal of Physiology 60 (2017) 207–214.
2017 | Journal Article | IST-REx-ID: 642 |
Localization errors in solving stochastic partial differential equations in the whole space
M. Gerencser, I. Gyöngy, Mathematics of Computation 86 (2017) 2373–2397.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Gerencser, I. Gyöngy, Mathematics of Computation 86 (2017) 2373–2397.
2017 | Conference Paper | IST-REx-ID: 645 |
Value iteration for long run average reward in markov decision processes
P. Ashok, K. Chatterjee, P. Daca, J. Kretinsky, T. Meggendorfer, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 201–221.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Ashok, K. Chatterjee, P. Daca, J. Kretinsky, T. Meggendorfer, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 201–221.
2017 | Journal Article | IST-REx-ID: 644 |
The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110.
2017 | Conference Paper | IST-REx-ID: 646 |
A novel convex relaxation for non binary discrete tomography
J. Kuske, P. Swoboda, S. Petra, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 235–246.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J. Kuske, P. Swoboda, S. Petra, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 235–246.
2017 | Conference Paper | IST-REx-ID: 648 |
On the complexity of breaking pseudoentropy
M. Skórski, in:, G. Jäger, S. Steila (Eds.), Springer, 2017, pp. 600–613.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Skórski, in:, G. Jäger, S. Steila (Eds.), Springer, 2017, pp. 600–613.
2017 | Book Chapter | IST-REx-ID: 649
Entropic Ricci curvature for discrete spaces
J. Maas, in:, L. Najman, P. Romon (Eds.), Modern Approaches to Discrete Curvature, Springer, 2017, pp. 159–174.
View
| DOI
J. Maas, in:, L. Najman, P. Romon (Eds.), Modern Approaches to Discrete Curvature, Springer, 2017, pp. 159–174.
2017 | Conference Paper | IST-REx-ID: 650 |
A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds
M. Skórski, in:, G. Jäger, S. Steila (Eds.), Springer, 2017, pp. 586–599.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Skórski, in:, G. Jäger, S. Steila (Eds.), Springer, 2017, pp. 586–599.
2017 | Conference Paper | IST-REx-ID: 6519 |
Improved set-based symbolic algorithms for parity games
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017.
2017 | Conference Paper | IST-REx-ID: 6517 |
Embedding graphs into embedded graphs
R. Fulek, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| Files available
| DOI
R. Fulek, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Conference Paper | IST-REx-ID: 652
Dynamical self consistency leads to behavioral development and emergent social interactions in robots
R. Der, G.S. Martius, in:, IEEE, 2017.
View
| DOI
R. Der, G.S. Martius, in:, IEEE, 2017.
2017 | Journal Article | IST-REx-ID: 651
Fluid dynamics: Water flows out of touch
B. Hof, Nature 541 (2017) 161–162.
View
| DOI
B. Hof, Nature 541 (2017) 161–162.
2017 | Journal Article | IST-REx-ID: 653 |
Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer
A. Makohon Moore, M. Zhang, J. Reiter, I. Božić, B. Allen, D. Kundu, K. Chatterjee, F. Wong, Y. Jiao, Z. Kohutek, J. Hong, M. Attiyeh, B. Javier, L. Wood, R. Hruban, M. Nowak, N. Papadopoulos, K. Kinzler, B. Vogelstein, C. Iacobuzio Donahue, Nature Genetics 49 (2017) 358–366.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Makohon Moore, M. Zhang, J. Reiter, I. Božić, B. Allen, D. Kundu, K. Chatterjee, F. Wong, Y. Jiao, Z. Kohutek, J. Hong, M. Attiyeh, B. Javier, L. Wood, R. Hruban, M. Nowak, N. Papadopoulos, K. Kinzler, B. Vogelstein, C. Iacobuzio Donahue, Nature Genetics 49 (2017) 358–366.
2017 | Conference Paper | IST-REx-ID: 6527 |
Practical graphs for optimal side-channel resistant memory-hard functions
J.F. Alwen, J. Blocki, B. Harsha, in:, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, ACM Press, 2017, pp. 1001–1017.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J.F. Alwen, J. Blocki, B. Harsha, in:, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, ACM Press, 2017, pp. 1001–1017.
2017 | Journal Article | IST-REx-ID: 654 |
Creating to understand – developmental biology meets engineering in Paris
A. Kicheva, N. Rivron, Development 144 (2017) 733–736.
[Submitted Version]
View
| Files available
| DOI
A. Kicheva, N. Rivron, Development 144 (2017) 733–736.
2017 | Conference Paper | IST-REx-ID: 6526 |
On the complexity of estimating Rènyi divergences
M. Skórski, in:, 2017 IEEE International Symposium on Information Theory (ISIT), IEEE, 2017.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Skórski, in:, 2017 IEEE International Symposium on Information Theory (ISIT), IEEE, 2017.
2017 | Journal Article | IST-REx-ID: 655 |
Bacterial flagella grow through an injection diffusion mechanism
T. Renault, A. Abraham, T. Bergmiller, G. Paradis, S. Rainville, E. Charpentier, C.C. Guet, Y. Tu, K. Namba, J. Keener, T. Minamino, M. Erhardt, ELife 6 (2017).
[Published Version]
View
| Files available
| DOI
T. Renault, A. Abraham, T. Bergmiller, G. Paradis, S. Rainville, E. Charpentier, C.C. Guet, Y. Tu, K. Namba, J. Keener, T. Minamino, M. Erhardt, ELife 6 (2017).
2017 | Journal Article | IST-REx-ID: 657 |
Auxin response cell autonomously controls ground tissue initiation in the early arabidopsis embryo
B. Möller, C. Ten Hove, D. Xiang, N. Williams, L. López, S. Yoshida, M. Smit, R. Datla, D. Weijers, PNAS 114 (2017) E2533–E2539.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
B. Möller, C. Ten Hove, D. Xiang, N. Williams, L. López, S. Yoshida, M. Smit, R. Datla, D. Weijers, PNAS 114 (2017) E2533–E2539.
2017 | Journal Article | IST-REx-ID: 656
Modeling Alzheimer's disease in mice with human neurons
G. Novarino, Science Translational Medicine 9 (2017).
View
| DOI
G. Novarino, Science Translational Medicine 9 (2017).
2017 | Journal Article | IST-REx-ID: 658 |
Self organized behavior generation for musculoskeletal robots
R. Der, G.S. Martius, Frontiers in Neurorobotics 11 (2017).
[Published Version]
View
| Files available
| DOI
R. Der, G.S. Martius, Frontiers in Neurorobotics 11 (2017).
2017 | Journal Article | IST-REx-ID: 659 |
FMNL formins boost lamellipodial force generation
F. Kage, M. Winterhoff, V. Dimchev, J. Müller, T. Thalheim, A. Freise, S. Brühmann, J. Kollasser, J. Block, G.A. Dimchev, M. Geyer, H. Schnittler, C. Brakebusch, T. Stradal, M. Carlier, M.K. Sixt, J. Käs, J. Faix, K. Rottner, Nature Communications 8 (2017).
[Published Version]
View
| Files available
| DOI
F. Kage, M. Winterhoff, V. Dimchev, J. Müller, T. Thalheim, A. Freise, S. Brühmann, J. Kollasser, J. Block, G.A. Dimchev, M. Geyer, H. Schnittler, C. Brakebusch, T. Stradal, M. Carlier, M.K. Sixt, J. Käs, J. Faix, K. Rottner, Nature Communications 8 (2017).
2017 | Journal Article | IST-REx-ID: 660 |
Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation
J. Rickman, C.F. Düllberg, N. Cade, L. Griffin, T. Surrey, PNAS 114 (2017) 3427–3432.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
J. Rickman, C.F. Düllberg, N. Cade, L. Griffin, T. Surrey, PNAS 114 (2017) 3427–3432.
2017 | Journal Article | IST-REx-ID: 662 |
Hydrodynamic turbulence in quasi Keplerian rotating flows
L. Shi, B. Hof, M. Rampp, M. Avila, Physics of Fluids 29 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
L. Shi, B. Hof, M. Rampp, M. Avila, Physics of Fluids 29 (2017).
2017 | Conference Paper | IST-REx-ID: 663 |
Safety verification of nonlinear hybrid systems based on invariant clusters
H. Kong, S. Bogomolov, C. Schilling, Y. Jiang, T.A. Henzinger, in:, Proceedings of the 20th International Conference on Hybrid Systems, ACM, 2017, pp. 163–172.
[Submitted Version]
View
| Files available
| DOI
H. Kong, S. Bogomolov, C. Schilling, Y. Jiang, T.A. Henzinger, in:, Proceedings of the 20th International Conference on Hybrid Systems, ACM, 2017, pp. 163–172.
2017 | Journal Article | IST-REx-ID: 667
The antisocial side of antibiotics
G. Novarino, Science Translational Medicine 9 (2017).
View
| DOI
G. Novarino, Science Translational Medicine 9 (2017).
2017 | Journal Article | IST-REx-ID: 668 |
Multiple roles of filopodial dynamics in particle capture and phagocytosis and phenotypes of Cdc42 and Myo10 deletion
M. Horsthemke, A. Bachg, K. Groll, S. Moyzio, B. Müther, S. Hemkemeyer, R. Wedlich Söldner, M.K. Sixt, S. Tacke, M. Bähler, P. Hanley, Journal of Biological Chemistry 292 (2017) 7258–7273.
[Published Version]
View
| Files available
| DOI
M. Horsthemke, A. Bachg, K. Groll, S. Moyzio, B. Müther, S. Hemkemeyer, R. Wedlich Söldner, M.K. Sixt, S. Tacke, M. Bähler, P. Hanley, Journal of Biological Chemistry 292 (2017) 7258–7273.
2017 | Journal Article | IST-REx-ID: 669 |
EXO70C2 is a key regulatory factor for optimal tip growth of pollen
L. Synek, N. Vukašinović, I. Kulich, M. Hála, K. Aldorfová, M. Fendrych, V. Žárský, Plant Physiology 174 (2017) 223–240.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
L. Synek, N. Vukašinović, I. Kulich, M. Hála, K. Aldorfová, M. Fendrych, V. Žárský, Plant Physiology 174 (2017) 223–240.
2017 | Conference Paper | IST-REx-ID: 6679 |
Partitioned list decoding of polar codes: Analysis and improvement of finite length performance
S.A. Hashemi, M. Mondelli, H. Hassani, R. Urbanke, W. Gross, in:, 2017 IEEE Global Communications Conference, IEEE, 2017, pp. 1–7.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.A. Hashemi, M. Mondelli, H. Hassani, R. Urbanke, W. Gross, in:, 2017 IEEE Global Communications Conference, IEEE, 2017, pp. 1–7.
2017 | Journal Article | IST-REx-ID: 671 |
Memory-n strategies of direct reciprocity
C. Hilbe, V. Martinez, K. Chatterjee, M. Nowak, PNAS 114 (2017) 4715–4720.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C. Hilbe, V. Martinez, K. Chatterjee, M. Nowak, PNAS 114 (2017) 4715–4720.
2017 | Journal Article | IST-REx-ID: 670 |
Interactive paper tearing
C. Schreck, D. Rohmer, S. Hahmann, Computer Graphics Forum 36 (2017) 95–106.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Schreck, D. Rohmer, S. Hahmann, Computer Graphics Forum 36 (2017) 95–106.
2017 | Journal Article | IST-REx-ID: 672 |
Locally triggered release of the chemokine CCL21 promotes dendritic cell transmigration across lymphatic endothelia
K. Vaahtomeri, M. Brown, R. Hauschild, I. de Vries, A.F. Leithner, M. Mehling, W. Kaufmann, M.K. Sixt, Cell Reports 19 (2017) 902–909.
[Published Version]
View
| Files available
| DOI
K. Vaahtomeri, M. Brown, R. Hauschild, I. de Vries, A.F. Leithner, M. Mehling, W. Kaufmann, M.K. Sixt, Cell Reports 19 (2017) 902–909.
2017 | Conference Paper | IST-REx-ID: 6729 |
Construction of polar codes with sublinear complexity
M. Mondelli, S.H. Hassani, R. Urbanke, in:, 2017 IEEE International Symposium on Information Theory , IEEE, 2017, pp. 1853–1857.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Mondelli, S.H. Hassani, R. Urbanke, in:, 2017 IEEE International Symposium on Information Theory , IEEE, 2017, pp. 1853–1857.
2017 | Journal Article | IST-REx-ID: 6730 |
Reed–Muller codes achieve capacity on erasure channels
S. Kudekar, S. Kumar, M. Mondelli, H.D. Pfister, E. Sasoglu, R.L. Urbanke, IEEE Transactions on Information Theory 63 (2017) 4298–4316.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Kudekar, S. Kumar, M. Mondelli, H.D. Pfister, E. Sasoglu, R.L. Urbanke, IEEE Transactions on Information Theory 63 (2017) 4298–4316.
2017 | Journal Article | IST-REx-ID: 674
Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6
J. Schwarz, V. Bierbaum, K. Vaahtomeri, R. Hauschild, M. Brown, I. de Vries, A.F. Leithner, A. Reversat, J. Merrin, T. Tarrant, M.T. Bollenbach, M.K. Sixt, Current Biology 27 (2017) 1314–1325.
View
| DOI
J. Schwarz, V. Bierbaum, K. Vaahtomeri, R. Hauschild, M. Brown, I. de Vries, A.F. Leithner, A. Reversat, J. Merrin, T. Tarrant, M.T. Bollenbach, M.K. Sixt, Current Biology 27 (2017) 1314–1325.
2017 | Conference Paper | IST-REx-ID: 6731 |
Capacity-achieving rate-compatible polar codes for general channels
M. Mondelli, H. Hassani, I. Maric, D. Hui, S.-N. Hong, in:, 2017 IEEE Wireless Communications and Networking Conference Workshops , IEEE, 2017.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Mondelli, H. Hassani, I. Maric, D. Hui, S.-N. Hong, in:, 2017 IEEE Wireless Communications and Networking Conference Workshops , IEEE, 2017.
2017 | Journal Article | IST-REx-ID: 677 |
The INO80 complex removes H2A.Z to promote presynaptic filament formation during homologous recombination
C. Lademann, J. Renkawitz, B. Pfander, S. Jentsch, Cell Reports 19 (2017) 1294–1303.
[Published Version]
View
| Files available
| DOI
C. Lademann, J. Renkawitz, B. Pfander, S. Jentsch, Cell Reports 19 (2017) 1294–1303.
2017 | Journal Article | IST-REx-ID: 678
Multiscale force sensing in development
N. Petridou, Z.P. Spiro, C.-P.J. Heisenberg, Nature Cell Biology 19 (2017) 581–588.
View
| DOI
N. Petridou, Z.P. Spiro, C.-P.J. Heisenberg, Nature Cell Biology 19 (2017) 581–588.
2017 | Journal Article | IST-REx-ID: 681 |
Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J. Raskin, Information and Computation 254 (2017) 296–315.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
K. Chatterjee, L. Doyen, E. Filiot, J. Raskin, Information and Computation 254 (2017) 296–315.
2017 | Conference Paper | IST-REx-ID: 6841 |
Extrapolation and learning equations
G.S. Martius, C. Lampert, in:, 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings, International Conference on Learning Representations, 2017.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
G.S. Martius, C. Lampert, in:, 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings, International Conference on Learning Representations, 2017.
2017 | Journal Article | IST-REx-ID: 684 |
Obligation blackwell games and p-automata
K. Chatterjee, N. Piterman, Journal of Symbolic Logic 82 (2017) 420–452.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, N. Piterman, Journal of Symbolic Logic 82 (2017) 420–452.
2017 | Journal Article | IST-REx-ID: 685 |
The physics of development 100 years after D'Arcy Thompson's “on growth and form”
J. Briscoe, A. Kicheva, Mechanisms of Development 145 (2017) 26–31.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J. Briscoe, A. Kicheva, Mechanisms of Development 145 (2017) 26–31.
2017 | Conference Paper | IST-REx-ID: 688 |
Topological data analysis with Bregman divergences
H. Edelsbrunner, H. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, pp. 391–3916.
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, H. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, pp. 391–3916.
2017 | Journal Article | IST-REx-ID: 687 |
The critical CoHA of a quiver with potential
B. Davison, Quarterly Journal of Mathematics 68 (2017) 635–703.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
B. Davison, Quarterly Journal of Mathematics 68 (2017) 635–703.
2017 | Journal Article | IST-REx-ID: 686
D'Arcy Thompson's ‘on growth and form’: From soap bubbles to tissue self organization
C.-P.J. Heisenberg, Mechanisms of Development 145 (2017) 32–37.
View
| DOI
C.-P.J. Heisenberg, Mechanisms of Development 145 (2017) 32–37.
2017 | Journal Article | IST-REx-ID: 689
Rett syndrome modeling goes simian
G. Novarino, Science Translational Medicine 9 (2017).
View
| DOI
G. Novarino, Science Translational Medicine 9 (2017).
2017 | Journal Article | IST-REx-ID: 693 |
Numbers of presynaptic Ca2+ channel clusters match those of functionally defined vesicular docking sites in single central synapses
T. Miki, W. Kaufmann, G. Malagon, L. Gomez, K. Tabuchi, M. Watanabe, R. Shigemoto, A. Marty, PNAS 114 (2017) E5246–E5255.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
T. Miki, W. Kaufmann, G. Malagon, L. Gomez, K. Tabuchi, M. Watanabe, R. Shigemoto, A. Marty, PNAS 114 (2017) E5246–E5255.
2017 | Conference Paper | IST-REx-ID: 6932
LCL problems on grids
S. Brandt, J. Hirvonen, J.H. Korhonen, T. Lempiäinen, P.R.J. Östergård, C. Purcell, J. Rybicki, J. Suomela, P. Uznański, in:, ACM Press, 2017, pp. 101–110.
View
| DOI
S. Brandt, J. Hirvonen, J.H. Korhonen, T. Lempiäinen, P.R.J. Östergård, C. Purcell, J. Rybicki, J. Suomela, P. Uznański, in:, ACM Press, 2017, pp. 101–110.
2017 | Journal Article | IST-REx-ID: 694 |
A dual phenotype of MDA MB 468 cancer cells reveals mutual regulation of tensin3 and adhesion plasticity
A. Veß, U. Blache, L. Leitner, A. Kurz, A. Ehrenpfordt, M.K. Sixt, G. Posern, Journal of Cell Science 130 (2017) 2172–2184.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Veß, U. Blache, L. Leitner, A. Kurz, A. Ehrenpfordt, M.K. Sixt, G. Posern, Journal of Cell Science 130 (2017) 2172–2184.
2017 | Journal Article | IST-REx-ID: 695
A perfume collecting male oil bee? Evidences of a novel pollination system involving Anthurium acutifolium Araceae and Paratetrapedia chocoensis Apidae Tapinotaspidini
F. Etl, A. Franschitz, A. Aguiar, J. Schönenberger, S. Dötterl, Flora: Morphology, Distribution, Functional Ecology of Plants 232 (2017) 7–15.
View
| DOI
F. Etl, A. Franschitz, A. Aguiar, J. Schönenberger, S. Dötterl, Flora: Morphology, Distribution, Functional Ecology of Plants 232 (2017) 7–15.
2017 | Conference Paper | IST-REx-ID: 697 |
Non uniform attacks against pseudoentropy
K.Z. Pietrzak, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| Files available
| DOI
K.Z. Pietrzak, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Journal Article | IST-REx-ID: 698 |
Orientation and repositioning of chromosomes correlate with cell geometry dependent gene expression
Y. Wang, M. Nagarajan, C. Uhler, G. Shivashankar, Molecular Biology of the Cell 28 (2017) 1997–2009.
[Published Version]
View
| Files available
| DOI
Y. Wang, M. Nagarajan, C. Uhler, G. Shivashankar, Molecular Biology of the Cell 28 (2017) 1997–2009.
2017 | Journal Article | IST-REx-ID: 699 |
The red queen and king in finite populations
C. Veller, L. Hayward, M. Nowak, C. Hilbe, PNAS 114 (2017) E5396–E5405.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
C. Veller, L. Hayward, M. Nowak, C. Hilbe, PNAS 114 (2017) E5396–E5405.
2017 | Journal Article | IST-REx-ID: 700 |
Optomechanical proposal for monitoring microtubule mechanical vibrations
S. Barzanjeh, V. Salari, J. Tuszynski, M. Cifra, C. Simon, Physical Review E Statistical Nonlinear and Soft Matter Physics 96 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
S. Barzanjeh, V. Salari, J. Tuszynski, M. Cifra, C. Simon, Physical Review E Statistical Nonlinear and Soft Matter Physics 96 (2017).
2017 | Journal Article | IST-REx-ID: 701 |
On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4
J. Kynčl, Z. Patakova, The Electronic Journal of Combinatorics 24 (2017) 1–44.
[Submitted Version]
View
| Files available
J. Kynčl, Z. Patakova, The Electronic Journal of Combinatorics 24 (2017) 1–44.
2017 | Journal Article | IST-REx-ID: 702
The riddle of CHD8 haploinsufficiency in autism spectrum disorder
G. Novarino, Science Translational Medicine 9 (2017) eaao0972.
View
| DOI
G. Novarino, Science Translational Medicine 9 (2017) eaao0972.
2017 | Journal Article | IST-REx-ID: 706
Roles of afadin in functional differentiations of hippocampal mossy fiber synapse
X. Geng, T. Maruo, K. Mandai, I. Supriyanto, M. Miyata, S. Sakakibara, A. Mizoguchi, Y. Takai, M. Mori, Genes to Cells 22 (2017) 715–722.
View
| DOI
X. Geng, T. Maruo, K. Mandai, I. Supriyanto, M. Miyata, S. Sakakibara, A. Mizoguchi, Y. Takai, M. Mori, Genes to Cells 22 (2017) 715–722.
2017 | Journal Article | IST-REx-ID: 7064 |
Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates
K.A. Modic, B.J. Ramshaw, J.B. Betts, N.P. Breznay, J.G. Analytis, R.D. McDonald, A. Shekhter, Nature Communications 8 (2017).
[Published Version]
View
| Files available
| DOI
K.A. Modic, B.J. Ramshaw, J.B. Betts, N.P. Breznay, J.G. Analytis, R.D. McDonald, A. Shekhter, Nature Communications 8 (2017).
2017 | Journal Article | IST-REx-ID: 7067 |
Broken rotational symmetry on the Fermi surface of a high-Tc superconductor
B.J. Ramshaw, N. Harrison, S.E. Sebastian, S. Ghannadzadeh, K.A. Modic, D.A. Bonn, W.N. Hardy, R. Liang, P.A. Goddard, Npj Quantum Materials 2 (2017).
[Published Version]
View
| Files available
| DOI
B.J. Ramshaw, N. Harrison, S.E. Sebastian, S. Ghannadzadeh, K.A. Modic, D.A. Bonn, W.N. Hardy, R. Liang, P.A. Goddard, Npj Quantum Materials 2 (2017).
2017 | Journal Article | IST-REx-ID: 7066 |
Magnetic field tuning of an excitonic insulator between the weak and strong coupling regimes in quantum limit graphite
Z. Zhu, R.D. McDonald, A. Shekhter, B.J. Ramshaw, K.A. Modic, F.F. Balakirev, N. Harrison, Scientific Reports 7 (2017).
[Published Version]
View
| Files available
| DOI
Z. Zhu, R.D. McDonald, A. Shekhter, B.J. Ramshaw, K.A. Modic, F.F. Balakirev, N. Harrison, Scientific Reports 7 (2017).
2017 | Journal Article | IST-REx-ID: 7065
Thermodynamic constraints on the amplitude of quantum oscillations
A. Shekhter, K.A. Modic, R.D. McDonald, B.J. Ramshaw, Physical Review B 95 (2017).
View
| DOI
A. Shekhter, K.A. Modic, R.D. McDonald, B.J. Ramshaw, Physical Review B 95 (2017).
2017 | Journal Article | IST-REx-ID: 707 |
A tight estimate for the waist of the ball
A. Akopyan, R. Karasev, Bulletin of the London Mathematical Society 49 (2017) 690–693.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Akopyan, R. Karasev, Bulletin of the London Mathematical Society 49 (2017) 690–693.
2017 | Journal Article | IST-REx-ID: 708 |
Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum
B. Nagy, A. Hovhannisyan, R. Barzan, T. Chen, M. Kukley, PLoS Biology 15 (2017).
[Published Version]
View
| Files available
| DOI
B. Nagy, A. Hovhannisyan, R. Barzan, T. Chen, M. Kukley, PLoS Biology 15 (2017).
2017 | Journal Article | IST-REx-ID: 709
Gene expression changes of thermo sensitive transient receptor potential channels in obese mice
W. Sun, C. Li, Y. Zhang, C. Jiang, M.-Z. Zhai, Q. Zhou, L. Xiao, Q. Deng, Cell Biology International 41 (2017) 908–913.
View
| DOI
W. Sun, C. Li, Y. Zhang, C. Jiang, M.-Z. Zhai, Q. Zhou, L. Xiao, Q. Deng, Cell Biology International 41 (2017) 908–913.
2017 | Conference Paper | IST-REx-ID: 710 |
Renyi entropy estimation revisited
M. Obremski, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| Files available
| DOI
M. Obremski, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Journal Article | IST-REx-ID: 713 |
Mapping the mouse Allelome reveals tissue specific regulation of allelic expression
D. Andergassen, C. Dotter, D. Wenzel, V. Sigl, P. Bammer, M. Muckenhuber, D. Mayer, T. Kulinski, H. Theussl, J. Penninger, C. Bock, D. Barlow, F. Pauler, Q. Hudson, ELife 6 (2017).
[Published Version]
View
| Files available
| DOI
D. Andergassen, C. Dotter, D. Wenzel, V. Sigl, P. Bammer, M. Muckenhuber, D. Mayer, T. Kulinski, H. Theussl, J. Penninger, C. Bock, D. Barlow, F. Pauler, Q. Hudson, ELife 6 (2017).
2017 | Conference Paper | IST-REx-ID: 711 |
Bidirectional nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Journal Article | IST-REx-ID: 712 |
Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations
J.L. Fischer, Nonlinear Analysis: Theory, Methods and Applications 159 (2017) 181–207.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J.L. Fischer, Nonlinear Analysis: Theory, Methods and Applications 159 (2017) 181–207.
2017 | Journal Article | IST-REx-ID: 714 |
HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens
G. Brailoiu, E. Deliu, J. Barr, L. Console Bram, A. Ciuciu, M. Abood, E. Unterwald, E. Brǎiloiu, Drug and Alcohol Dependence 178 (2017) 7–14.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
G. Brailoiu, E. Deliu, J. Barr, L. Console Bram, A. Ciuciu, M. Abood, E. Unterwald, E. Brǎiloiu, Drug and Alcohol Dependence 178 (2017) 7–14.
2017 | Journal Article | IST-REx-ID: 715
More excitation for Rett syndrome
G. Novarino, Science Translational Medicine 9 (2017).
View
| DOI
G. Novarino, Science Translational Medicine 9 (2017).
2017 | Journal Article | IST-REx-ID: 716 |
The complexity of mean-payoff pushdown games
K. Chatterjee, Y. Velner, Journal of the ACM 64 (2017) 34.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, Y. Velner, Journal of the ACM 64 (2017) 34.
2017 | Journal Article | IST-REx-ID: 717 |
Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, Journal of Computer and System Sciences 88 (2017) 236–259.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, Y. Velner, Journal of Computer and System Sciences 88 (2017) 236–259.
2017 | Journal Article | IST-REx-ID: 719
Special issue: Synthesis and SYNT 2014
K. Chatterjee, R. Ehlers, Acta Informatica 54 (2017) 543–544.
View
| DOI
K. Chatterjee, R. Ehlers, Acta Informatica 54 (2017) 543–544.
2017 | Journal Article | IST-REx-ID: 720 |
Probabilistic models for neural populations that naturally capture global coupling and criticality
J. Humplik, G. Tkačik, PLoS Computational Biology 13 (2017).
[Published Version]
View
| Files available
| DOI
J. Humplik, G. Tkačik, PLoS Computational Biology 13 (2017).
2017 | Journal Article | IST-REx-ID: 721 |
Singularities of solutions to quadratic vector equations on the complex upper half plane
O.H. Ajanki, T.H. Krüger, L. Erdös, Communications on Pure and Applied Mathematics 70 (2017) 1672–1705.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
O.H. Ajanki, T.H. Krüger, L. Erdös, Communications on Pure and Applied Mathematics 70 (2017) 1672–1705.
2017 | Journal Article | IST-REx-ID: 722 |
Shaping 3D root system architecture
E. Morris, M. Griffiths, A. Golebiowska, S. Mairhofer, J. Burr Hersey, T. Goh, D. von Wangenheim, B. Atkinson, C. Sturrock, J. Lynch, K. Vissenberg, K. Ritz, D. Wells, S. Mooney, M. Bennett, Current Biology 27 (2017) R919–R930.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
E. Morris, M. Griffiths, A. Golebiowska, S. Mairhofer, J. Burr Hersey, T. Goh, D. von Wangenheim, B. Atkinson, C. Sturrock, J. Lynch, K. Vissenberg, K. Ritz, D. Wells, S. Mooney, M. Bennett, Current Biology 27 (2017) R919–R930.
2017 | Journal Article | IST-REx-ID: 725 |
Discrete modes of social information processing predict individual behavior of fish in a group
R. Harpaz, G. Tkačik, E. Schneidman, PNAS 114 (2017) 10149–10154.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
R. Harpaz, G. Tkačik, E. Schneidman, PNAS 114 (2017) 10149–10154.
2017 | Journal Article | IST-REx-ID: 724 |
Noninteracting central site model localization and logarithmic entanglement growth
D. Hetterich, M. Serbyn, F. Domínguez, F. Pollmann, B. Trauzettel, Physical Review B 96 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
D. Hetterich, M. Serbyn, F. Domínguez, F. Pollmann, B. Trauzettel, Physical Review B 96 (2017).
2017 | Journal Article | IST-REx-ID: 7289 |
Singlet oxygen during cycling of the aprotic sodium-O2 battery
L. Schafzahl, N. Mahne, B. Schafzahl, M. Wilkening, C. Slugovc, S.M. Borisov, S.A. Freunberger, Angewandte Chemie International Edition 56 (2017) 15728–15732.
[Published Version]
View
| Files available
| DOI
L. Schafzahl, N. Mahne, B. Schafzahl, M. Wilkening, C. Slugovc, S.M. Borisov, S.A. Freunberger, Angewandte Chemie International Edition 56 (2017) 15728–15732.
2017 | Journal Article | IST-REx-ID: 7288
Biredox ionic liquids: New opportunities toward high performance supercapacitors
C. Bodin, E. Mourad, D. Zigah, S. Le Vot, S.A. Freunberger, F. Favier, O. Fontaine, Faraday Discussions 206 (2017) 393–404.
View
| DOI
C. Bodin, E. Mourad, D. Zigah, S. Le Vot, S.A. Freunberger, F. Favier, O. Fontaine, Faraday Discussions 206 (2017) 393–404.
2017 | Journal Article | IST-REx-ID: 7290 |
Electron-deficient near-infrared Pt(II) and Pd(II) benzoporphyrins with dual phosphorescence and unusually efficient thermally activated delayed fluorescence: First demonstration of simultaneous oxygen and temperature sensing with a single emitter
P.W. Zach, S.A. Freunberger, I. Klimant, S.M. Borisov, ACS Applied Materials & Interfaces 9 (2017) 38008–38023.
[Submitted Version]
View
| Files available
| DOI
P.W. Zach, S.A. Freunberger, I. Klimant, S.M. Borisov, ACS Applied Materials & Interfaces 9 (2017) 38008–38023.
2017 | Journal Article | IST-REx-ID: 7292 |
Mechanism and performance of lithium–oxygen batteries – a perspective
N. Mahne, O. Fontaine, M.O. Thotiyl, M. Wilkening, S.A. Freunberger, Chemical Science 8 (2017) 6716–6729.
[Published Version]
View
| Files available
| DOI
N. Mahne, O. Fontaine, M.O. Thotiyl, M. Wilkening, S.A. Freunberger, Chemical Science 8 (2017) 6716–6729.
2017 | Journal Article | IST-REx-ID: 7291
An electrolyte for reversible cycling of sodium metal and intercalation compounds
L. Schafzahl, I. Hanzu, M. Wilkening, S.A. Freunberger, ChemSusChem 10 (2017) 401–408.
View
| DOI
L. Schafzahl, I. Hanzu, M. Wilkening, S.A. Freunberger, ChemSusChem 10 (2017) 401–408.
2017 | Journal Article | IST-REx-ID: 731
The science of love in ASD and ADHD
G. Novarino, Science Translational Medicine 9 (2017).
View
| DOI
G. Novarino, Science Translational Medicine 9 (2017).
2017 | Journal Article | IST-REx-ID: 7360 |
A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation
A. Smole, D. Lainšček, U. Bezeljak, S. Horvat, R. Jerala, Molecular Therapy 25 (2017) 102–119.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Smole, D. Lainšček, U. Bezeljak, S. Horvat, R. Jerala, Molecular Therapy 25 (2017) 102–119.
2017 | Book Chapter | IST-REx-ID: 748
'...beyond the invisible barrier at Portage and Main': Liminality in John Marlyn's Under the Ribs of Death
B. Wenzl, in:, S. Brandt (Ed.), In-Between - Liminal Spaces in Canadian Literature and Culture, Peter Lang GmbH, 2017, pp. 91–100.
View
| DOI
B. Wenzl, in:, S. Brandt (Ed.), In-Between - Liminal Spaces in Canadian Literature and Culture, Peter Lang GmbH, 2017, pp. 91–100.
2017 | Conference Paper | IST-REx-ID: 750
Optimal geospatial volunteer allocation needs realistic distances
J. Pielorz, M. Prandtstetter, M. Straub, C. Lampert, in:, 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–3763.
View
| DOI
J. Pielorz, M. Prandtstetter, M. Straub, C. Lampert, in:, 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–3763.
2017 | Journal Article | IST-REx-ID: 7728
Hidden heritability due to heterogeneity across seven populations
F.C. Tropf, S.H. Lee, R.M. Verweij, G. Stulp, P.J. van der Most, R. de Vlaming, A. Bakshi, D.A. Briley, C. Rahal, R. Hellpap, A.N. Iliadou, T. Esko, A. Metspalu, S.E. Medland, N.G. Martin, N. Barban, H. Snieder, M.R. Robinson, M.C. Mills, Nature Human Behaviour 1 (2017) 757–765.
View
| DOI
F.C. Tropf, S.H. Lee, R.M. Verweij, G. Stulp, P.J. van der Most, R. de Vlaming, A. Bakshi, D.A. Briley, C. Rahal, R. Hellpap, A.N. Iliadou, T. Esko, A. Metspalu, S.E. Medland, N.G. Martin, N. Barban, H. Snieder, M.R. Robinson, M.C. Mills, Nature Human Behaviour 1 (2017) 757–765.
2017 | Journal Article | IST-REx-ID: 7727
Major histocompatibility complex-linked social signalling affects female fertility
D. Burger, S. Thomas, H. Aepli, M. Dreyer, G. Fabre, E. Marti, H. Sieme, M.R. Robinson, C. Wedekind, Proceedings of the Royal Society B: Biological Sciences 284 (2017).
View
| DOI
| PubMed | Europe PMC
D. Burger, S. Thomas, H. Aepli, M. Dreyer, G. Fabre, E. Marti, H. Sieme, M.R. Robinson, C. Wedekind, Proceedings of the Royal Society B: Biological Sciences 284 (2017).