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.

2474 Publications


2016 | Journal Article | IST-REx-ID: 1446 | OA
Calatrava Moreno M, Auzinger T, Werthner H. On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics. 2016;107(1):213-232. doi:10.1007/s11192-016-1842-4
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1448 | OA
Fathi M, Maas J. Entropic Ricci curvature bounds for discrete interacting systems. The Annals of Applied Probability. 2016;26(3):1774-1806. doi:10.1214/15-AAP1133
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1475 | OA
Toshima J, Furuya E, Nagano M, et al. Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton. eLife. 2016;5(February 2016). doi:10.7554/eLife.10276
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1476 | OA
Toshima J, Horikomi C, Okada A, et al. Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis. Journal of Cell Science. 2016;129(2):367-379. doi:10.1242/jcs.176651
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477 | OA
Chatterjee K, Chmelik M, Tracol M. What is decidable about partially observable Markov decision processes with ω-regular objectives. Journal of Computer and System Sciences. 2016;82(5):878-911. doi:10.1016/j.jcss.2016.02.009
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1478 | OA
Seiringer R, Warzel S. Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas. New Journal of Physics. 2016;18(3). doi:10.1088/1367-2630/18/3/035002
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1479 | OA
Krenn S, Pietrzak KZ, Wadia A, Wichs D. A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. 2016;25(3):567-605. doi:10.1007/s00037-015-0120-9
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1480 | OA
Michałek M, Sturmfels B, Uhler C, Zwiernik P. Exponential varieties. Proceedings of the London Mathematical Society. 2016;112(1):27-56. doi:10.1112/plms/pdv066
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1482 | OA
Adibi M, Yoshida S, Weijers D, Fleck C. Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization. PLoS One. 2016;11(2). doi:10.1371/journal.pone.0147830
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1484 | OA
Chen X, Wu S, Liu Z, Friml J. Environmental and endogenous control of cortical microtubule orientation. Trends in Cell Biology. 2016;26(6):409-419. doi:10.1016/j.tcb.2016.02.003
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1485 | OA
De Martino D. Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis. Physical Biology. 2016;13(1). doi:10.1088/1478-3975/13/1/016003
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1486 | OA
Hainzl C, Seiringer R. The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties. Journal of Mathematical Physics. 2016;57(2). doi:10.1063/1.4941723
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1487 | OA
Grion N, Akrami A, Zuo Y, Stella F, Diamond M. Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination. PLoS Biology. 2016;14(2). doi:10.1371/journal.pbio.1002384
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1488 | OA
Riccio P, Cebrián C, Zong H, Hippenmeyer S, Costantini F. Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis. PLoS Biology. 2016;14(2). doi:10.1371/journal.pbio.1002382
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1489 | OA
Ajanki OH, Erdös L, Krüger TH. Local spectral statistics of Gaussian matrices with correlated entries. Journal of Statistical Physics. 2016;163(2):280-302. doi:10.1007/s10955-016-1479-y
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1490 | OA
Russo E, Teijeira A, Vaahtomeri K, et al. Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels. Cell Reports. 2016;14(7):1723-1734. doi:10.1016/j.celrep.2016.01.048
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1491 | OA
Lewin M, Nam P, Rougerie N. The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases. Transactions of the American Mathematical Society. 2016;368(9):6131-6157. doi:10.1090/tran/6537
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1492 | OA
Marhavý P, Montesinos López JC, Abuzeineh A, et al. Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation. Genes and Development. 2016;30(4):471-483. doi:10.1101/gad.276964.115
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1493 | OA
Petrat SP, Pickl P. A new method and a new scaling for deriving fermionic mean-field dynamics. Mathematical Physics, Analysis and Geometry. 2016;19(1). doi:10.1007/s11040-016-9204-2
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1496 | OA
Amaro P, Fratini F, Safari L, et al. Relativistic evaluation of the two-photon decay of the metastable 1s22s2p3P0 state in berylliumlike ions with an effective-potential model. Physical Review A - Atomic, Molecular, and Optical Physics. 2016;93(3). doi:10.1103/PhysRevA.93.032502
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1518 | OA
Lohse K, Chmelik M, Martin S, Barton NH. Efficient strategies for calculating blockwise likelihoods under the coalescent. Genetics. 2016;202(2):775-786. doi:10.1534/genetics.115.183814
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1522 | OA
Avvakumov S. The classification of certain linked 3-manifolds in 6-space. Moscow Mathematical Journal. 2016;16(1):1-25.
View | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1523 | OA
Gundert A, Wagner U. On topological minors in random simplicial complexes. Proceedings of the American Mathematical Society. 2016;144(4):1815-1828. doi:10.1090/proc/12824
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1524 | OA
Beica A, Guet CC, Petrov T. Efficient reduction of kappa models by static inspection of the rule-set. In: Vol 9271. Springer; 2016:173-191. doi:10.1007/978-3-319-26916-0_10
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526 | OA
Henzinger TA, Otop J, Samanta R. Lipschitz robustness of timed I/O systems. In: Vol 9583. Springer; 2016:250-267. doi:10.1007/978-3-662-49122-5_12
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1529 | OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. 2016;234:26-48. doi:10.1016/j.artint.2016.01.007
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1545 | OA
Nam P, Napiórkowski MM, Solovej J. Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. 2016;270(11):4340-4368. doi:10.1016/j.jfa.2015.12.007
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1552 | OA
Qi Q, Toll Riera M, Heilbron K, Preston G, Maclean RC. The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa. Proceedings of the Royal Society of London Series B Biological Sciences. 2016;283(1822). doi:10.1098/rspb.2015.2452
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1599 | OA
Kiermaier E, Moussion C, Veldkamp C, et al. Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. 2016;351(6269):186-190. doi:10.1126/science.aad0512
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1608 | OA
Sadel C. Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. 2016;17(7):1631-1675. doi:10.1007/s00023-015-0456-3
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1612 | OA
Kazda A. CSP for binary conservative relational structures. Algebra Universalis. 2016;75(1):75-84. doi:10.1007/s00012-015-0358-8
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1616 | OA
Kowalski J, Gan J, Jonas PM, Pernia-Andrade A. Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. Hippocampus. 2016;26(5):668-682. doi:10.1002/hipo.22550
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1617 | OA
Pausinger F, Steinerberger S. On the discrepancy of jittered sampling. Journal of Complexity. 2016;33:199-216. doi:10.1016/j.jco.2015.11.003
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1620 | OA
Frank R, Hainzl C, Seiringer R, Solovej J. The external field dependence of the BCS critical temperature. Communications in Mathematical Physics. 2016;342(1):189-216. doi:10.1007/s00220-015-2526-2
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1622 | OA
Lundholm D, Nam P, Portmann F. Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. 2016;219(3):1343-1382. doi:10.1007/s00205-015-0923-5
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1631 | OA
Kelleher J, Etheridge A, Véber A, Barton NH. Spread of pedigree versus genetic ancestry in spatially distributed populations. Theoretical Population Biology. 2016;108:1-12. doi:10.1016/j.tpb.2015.10.008
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1641 | OA
Zemová R, Zwiewka M, Bielach A, Robert H, Friml J. A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. 2016;35(2):465-476. doi:10.1007/s00344-015-9553-2
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1653 | OA
Okamoto T, Pietrzak KZ, Waters B, Wichs D. New realizations of somewhere statistically binding hashing and positional accumulators. In: Vol 9452. Springer; 2016:121-145. doi:10.1007/978-3-662-48797-6_6
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1662 | OA
Edelsbrunner H, Pausinger F. Approximation and convergence of the intrinsic volume. Advances in Mathematics. 2016;287:674-703. doi:10.1016/j.aim.2015.10.004
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee K, Dvorák W, Henzinger M, Loitzenbauer V. Conditionally optimal algorithms for generalized Büchi Games. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.MFCS.2016.25
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1069 | OA
Chonev VK, Ouaknine J, Worrell J. On the skolem problem for continuous linear dynamical systems. In: Vol 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.100
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee K, Doyen L. Computation tree logic for synchronization properties. In: Vol 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.98
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. In: Vol 57. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ESA.2016.28
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Łangowski Ł, Wabnik KT, Li H, et al. Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells. Cell Discovery. 2016;2. doi:10.1038/celldisc.2016.18
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1082 | OA
Chalk MJ, Marre O, Tkačik G. Relevant sparse codes with variational information bottleneck. In: Vol 29. Neural Information Processing Systems; 2016:1965-1973.
View | Files available | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee K, Henzinger TA, Otop J. Nested weighted limit-average automata of bounded width. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.MFCS.2016.24
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1093 | OA
Daca P, Henzinger TA, Kretinsky J, Petrov T. Linear distances between Markov chains. In: Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.CONCUR.2016.20
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095 | OA
Haas A, Henzinger TA, Holzer A, et al. Local linearizability for concurrent container-type data structures. In: Leibniz International Proceedings in Informatics. Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.CONCUR.2016.6
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1097 | OA
Du T, Schulz A, Zhu B, Bickel B, Matusik W. Computational multicopter design. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982427
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1098 | OA
Pentina A, Urner R. Lifelong learning with weighted majority votes. In: Vol 29. Neural Information Processing Systems; 2016:3619-3627.
View | Files available
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications