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.

6065 Publications


2017 | Journal Article | IST-REx-ID: 6196 | OA
The exact security of PMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, IACR Transactions on Symmetric Cryptology 2016 (2017) 145–161.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 621 | OA
Mechanisms of radial glia progenitor cell lineage progression
R.J. Beattie, S. Hippenmeyer, FEBS Letters 591 (2017) 3993–4008.
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 623
Extracerebral dysfunction in animal models of autism spectrum disorder
E. Hill Yardin, S. Mckeown, G. Novarino, A. Grabrucker, in:, M. Schmeisser, T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder, Springer, 2017, pp. 159–187.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 624 | OA View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 625 | OA
The cost of exactness in quantitative reachability
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, R. Mardare (Eds.), Models, Algorithms, Logics and Tools, Springer, 2017, pp. 367–381.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 626 | OA
The infinitesimal model: Definition derivation and implications
N.H. Barton, A. Etheridge, A. Véber, Theoretical Population Biology 118 (2017) 50–73.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 265
Rational curves on smooth hypersurfaces of low degree
T.D. Browning, P. Vishe, Geometric Methods in Algebra and Number Theory 11 (2017) 1657–1675.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 266 | OA
Forms in many variables and differing degrees
T.D. Browning, R. Heath Brown, Journal of the European Mathematical Society 19 (2017) 357–394.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 267
Many cubic surfaces contain rational points
T.D. Browning, Mathematika 63 (2017) 818–839.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 268 | OA
A transference approach to a Roth-type theorem in the squares
T.D. Browning, S. Prendiville, International Mathematics Research Notices 2017 (2017) 2219–2248.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 269 | OA
Varieties with too many rational points
T.D. Browning, D. Loughran, Mathematische Zeitschrift 285 (2017) 1249–1267.
View | DOI | Download None (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 270 | OA
Power-free values of polynomials on symmetric varieties
T.D. Browning, A. Gorodnik, Proceedings of the London Mathematical Society 114 (2017) 1044–1080.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 271 | OA
Improvements in Birch's theorem on forms in many variables
T.D. Browning, S. Prendiville, Journal Fur Die Reine Und Angewandte Mathematik 2017 (2017) 203–234.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 272 | OA
Norm forms for arbitrary number fields as products of linear polynomials
T.D. Browning, L. Matthiesen, Annales Scientifiques de l’Ecole Normale Superieure 50 (2017) 1383–1446.
View | DOI | Download (ext.)
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
A faster approximation algorithm for the Gibbs partition function
V. Kolmogorov, in:, Proceedings of the 31st Conference On Learning Theory, PMLR, 2017, pp. 228–249.
View | Files available | arXiv
 

2017 | Conference Paper | IST-REx-ID: 313 | OA
Experimental evidence for Wigner's tunneling time
N. Camus, E. Yakaboylu, L. Fechner, M. Klaiber, M. Laux, Y. Mi, K. Hatsagortsyan, T. Pfeifer, C. Keitel, R. Moshammer, in:, American Physical Society, 2017.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 627 | OA
Dietary menthol-induced TRPM8 activation enhances WAT “browning” and ameliorates diet-induced obesity
C. Jiang, M.-Z. Zhai, D. Yan, D. Li, C. Li, Y. Zhang, L. Xiao, D. Xiong, Q. Deng, W. Sun, Oncotarget 8 (2017) 75114–75126.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 628 | OA
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.
View | DOI | Download Submitted Version (ext.)
 

2017 | Thesis | IST-REx-ID: 6287 | OA
Discrete Morse theory for random complexes
A. Nikitenko, Discrete Morse Theory for Random Complexes , IST Austria, 2017.
View | Files available | DOI
 

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
 

2017 | Thesis | IST-REx-ID: 6291
Bacterial herd and social immunity to phages
P. Payne, Bacterial Herd and Social Immunity to Phages, IST Austria, 2017.
View | Files available
 

2017 | Conference Paper | IST-REx-ID: 630 | OA
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.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 631 | OA
Counterexample guided refinement of template polyhedra
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 632 | OA
A note on 2D focusing many boson systems
M. Lewin, P. Nam, N. Rougerie, Proceedings of the American Mathematical Society 145 (2017) 2441–2454.
View | DOI | Download Submitted Version (ext.)
 

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
 

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
 

2017 | Conference Paper | IST-REx-ID: 635 | OA
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.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 636 | OA
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.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 637 | OA
Be adaptive avoid overcommitting
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K.Z. Pietrzak, D. Wichs, in:, J. Katz, H. Shacham (Eds.), Springer, 2017, pp. 133–163.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference (Editor) | IST-REx-ID: 638
Numerical Software Verification
S. Bogomolov, M. Martel, P. Prabhakar, eds., Numerical Software Verification, Springer, 2017.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 640 | OA
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.
View | DOI | Download Submitted Version (ext.)
 

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
 

2017 | Journal Article | IST-REx-ID: 642 | OA
Localization errors in solving stochastic partial differential equations in the whole space
M. Gerencser, I. Gyöngy, Mathematics of Computation 86 (2017) 2373–2397.
View | DOI | Download Submitted Version (ext.)
 

2017 | Technical Report | IST-REx-ID: 6426 | OA
Synchronizing the asynchronous
T.A. Henzinger, B. Kragl, S. Qadeer, Synchronizing the Asynchronous, IST Austria, 2017.
View | Files available | DOI
 

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.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 644 | OA
The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110.
View | Files available | DOI | Download Preprint (ext.)
 

2017 | Conference Paper | IST-REx-ID: 645 | OA
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.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 646 | OA
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.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 647 | OA
Conic abstractions for hybrid systems
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 648 | OA
On the complexity of breaking pseudoentropy
M. Skórski, in:, G. Jäger, S. Steila (Eds.), Springer, 2017, pp. 600–613.
View | DOI | Download Submitted Version (ext.)
 

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
 

2017 | Conference Paper | IST-REx-ID: 650 | OA
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.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 651
Fluid dynamics: Water flows out of touch
B. Hof, Nature 541 (2017) 161–162.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 6517 | OA
Embedding graphs into embedded graphs
R. Fulek, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 6519 | OA
Improved set-based symbolic algorithms for parity games
K. Chatterjee, W. Dvorák, M. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 652 View | DOI
 

2017 | Conference Paper | IST-REx-ID: 6526 | OA
On the complexity of estimating Rènyi divergences
M. Skórski, in:, 2017 IEEE International Symposium on Information Theory (ISIT), IEEE, 2017.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 6527 | OA
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.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 653 | OA
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.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 654 | OA
Creating to understand – developmental biology meets engineering in Paris
A. Kicheva, N. Rivron, Development 144 (2017) 733–736.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 655 | OA
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).
View | Files available | DOI
 

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
 

2017 | Journal Article | IST-REx-ID: 657 | OA
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.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 658 | OA
Self organized behavior generation for musculoskeletal robots
R. Der, G.S. Martius, Frontiers in Neurorobotics 11 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 659 | OA
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).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 660 | OA
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.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 661 | OA
Friction forces position the neural anlage
M. Smutny, Z. Ákos, S. Grigolon, S. Shamipour, V. Ruprecht, D. Capek, M. Behrndt, E. Papusheva, M. Tada, B. Hof, T. Vicsek, G. Salbreux, C.-P.J. Heisenberg, Nature Cell Biology 19 (2017) 306–317.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 662 | OA
Hydrodynamic turbulence in quasi Keplerian rotating flows
L. Shi, B. Hof, M. Rampp, M. Avila, Physics of Fluids 29 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 663 | OA
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.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 665
Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity
T. Bergmiller, A.M. Andersson, K. Tomasek, E. Balleza, D. Kiviet, R. Hauschild, G. Tkacik, C.C. Guet, Science 356 (2017) 311–315.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 666 | OA
Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment
K. Mitosch, G. Rieckh, M.T. Bollenbach, Cell Systems 4 (2017) 393–403.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 667
The antisocial side of antibiotics
G. Novarino, Science Translational Medicine 9 (2017).
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 6679 | OA
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.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 668 | OA
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.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 669 | OA
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.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 670 | OA
Interactive paper tearing
C. Schreck, D. Rohmer, S. Hahmann, Computer Graphics Forum 36 (2017) 95–106.
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 671 | OA
Memory-n strategies of direct reciprocity
C. Hilbe, V. Martinez, K. Chatterjee, M. Nowak, PNAS 114 (2017) 4715–4720.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 672 | OA
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.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 6729 | OA
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.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 673 | OA
Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow
S. Altmeyer, R. Lueptow, Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 95 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 6730 | OA
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.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 6731 | OA
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.
View | DOI | Download Preprint (ext.) | arXiv
 

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, T. Bollenbach, M.K. Sixt, Current Biology 27 (2017) 1314–1325.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 675
Surface enhanced infrared absorption of chemisorbed carbon monoxide using plasmonic nanoantennas
J. Haase, S. Bagiante, H. Sigg, J. Van Bokhoven, Optics Letters 42 (2017) 1931–1934.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 676 | OA
Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation
G. Krens, J. Veldhuis, V. Barone, D. Capek, J.-L. Maître, W. Brodland, C.-P.J. Heisenberg, Development 144 (2017) 1798–1806.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 677 | OA
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.
View | Files available | DOI
 

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
 

2017 | Journal Article | IST-REx-ID: 679 | OA
The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection
F. Ebner, V. Sedlyarov, S. Tasciyan, M. Ivin, F. Kratochvill, N. Gratz, L. Kenner, A. Villunger, M.K. Sixt, P. Kovarik, The Journal of Clinical Investigation 127 (2017) 2051–2065.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 680 | OA
Sensory noise predicts divisive reshaping of receptive fields
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, PLoS Computational Biology 13 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 681 | OA
Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J. Raskin, Information and Computation 254 (2017) 296–315.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 682 | OA
PirB regulates asymmetries in hippocampal circuitry
H. Ukai, A. Kawahara, K. Hirayama, M.J. Case, S. Aino, M. Miyabe, K. Wakita, R. Oogi, M. Kasayuki, S. Kawashima, S. Sugimoto, K. Chikamatsu, N. Nitta, T. Koga, R. Shigemoto, T. Takai, I. Ito, PLoS One 12 (2017).
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 683 | OA
A proof of the orbit conjecture for flipping edge labelled triangulations
A. Lubiw, Z. Masárová, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 684 | OA
Obligation blackwell games and p-automata
K. Chatterjee, N. Piterman, Journal of Symbolic Logic 82 (2017) 420–452.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 6841 | OA
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.
View | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 685 | OA
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.
View | Files available | DOI | PubMed | Europe PMC
 

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
 

2017 | Journal Article | IST-REx-ID: 687 | OA
The critical CoHA of a quiver with potential
B. Davison, Quarterly Journal of Mathematics 68 (2017) 635–703.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 688 | OA
Topological data analysis with Bregman divergences
H. Edelsbrunner, H. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, pp. 391–3916.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 689
Rett syndrome modeling goes simian
G. Novarino, Science Translational Medicine 9 (2017).
View | DOI
 

2017 | Journal Article | IST-REx-ID: 693 | OA
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.
View | Files available | DOI | PubMed | Europe PMC
 

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
 

2017 | Journal Article | IST-REx-ID: 694 | OA
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.
View | Files available | DOI | PubMed | Europe PMC
 

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
 

2017 | Journal Article | IST-REx-ID: 696 | OA
Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes
M. Lukacisinova, S. Novak, T. Paixao, PLoS Computational Biology 13 (2017).
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 697 | OA
Non uniform attacks against pseudoentropy
K.Z. Pietrzak, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 698 | OA
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.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 699 | OA
The red queen and king in finite populations
C. Veller, L. Hayward, M. Nowak, C. Hilbe, PNAS 114 (2017) E5396–E5405.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 700 | OA
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).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 701 | OA
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.
View | Files available
 

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
 

Search

Filter Publications