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.

2467 Publications


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
 

2016 | Conference Paper | IST-REx-ID: 1099 | OA
Malomo L, Pietroni N, Bickel B, Cignoni P. FlexMolds: Automatic design of flexible shells for molding. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982397
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1102 | OA
Kolesnikov A, Lampert C. Improving weakly-supervised object localization by micro-annotation. In: Proceedings of the British Machine Vision Conference 2016. Vol 2016-September. BMVA Press; 2016:92.1-92.12. doi:10.5244/C.30.92
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1103 | OA
Gurung A, Deka A, Bartocci E, Bogomolov S, Grosu R, Ray R. Parallel reachability analysis for hybrid systems. In: IEEE; 2016. doi:10.1109/MEMCOD.2016.7797741
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1115 | OA
Rueda A, Sedlmeir F, Collodo M, et al. Efficient single sideband microwave to optical conversion using a LiNbO inf 3 inf WGM-resonator. In: IEEE; 2016. doi:10.1364/CLEO_SI.2016.SF2G.3
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1122 | OA
Bojsen-Hansen M. Tracking, correcting and absorbing water surface waves. 2016. doi:10.15479/AT:ISTA:th_640
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1126 | OA
Pentina A. Theoretical foundations of multi-task lifelong learning. 2016. doi:10.15479/AT:ISTA:TH_776
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1128 | OA
Rieckh G. Studying the complexities of transcriptional regulation. 2016.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1135 | OA
Avni G, Guha S, Rodríguez Navas G. Synthesizing time triggered schedules for switched networks with faulty links. In: Proceedings of the 13th International Conference on Embedded Software . ACM; 2016. doi:10.1145/2968478.2968499
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1136 | OA
Manteaux P, Vimont U, Wojtan CJ, Rohmer D, Cani M. Space-time sculpting of liquid animation. In: Proceedings of the 9th International Conference on Motion in Games . ACM; 2016. doi:10.1145/2994258.2994261
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1137 | OA
Salzer E, Çaǧdaş D, Hons M, et al. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 2016;17(12):1352-1360. doi:10.1038/ni.3575
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1138 | OA
Chatterjee K, Henzinger TA, Otop J. Quantitative automata under probabilistic semantics. In: Proceedings of the 31st Annual ACM/IEEE Symposium. IEEE; 2016:76-85. doi:10.1145/2933575.2933588
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1140 | OA
Chatterjee K, Dvoák W, Henzinger M, Loitzenbauer V. Model and objective separation with conditional lower bounds disjunction is harder than conjunction. In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2016:197-206. doi:10.1145/2933575.2935304
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1142 | OA
Martins R, Maier J, Gorki A, et al. Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. 2016;17(12):1361-1372. doi:10.1038/ni.3590
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1143 | OA
Nam P, Rougerie N, Seiringer R. Ground states of large bosonic systems: The gross Pitaevskii limit revisited. Analysis and PDE. 2016;9(2):459-485. doi:10.2140/apde.2016.9.459
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1145 | OA
Nodzyński T, Vanneste S, Zwiewka M, Pernisová M, Hejátko J, Friml J. Enquiry into the topology of plasma membrane localized PIN auxin transport components. Molecular Plant. 2016;9(11):1504-1519. doi:10.1016/j.molp.2016.08.010
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1147 | OA
Balla J, Medved’Ová Z, Kalousek P, et al. Auxin flow mediated competition between axillary buds to restore apical dominance. Scientific Reports. 2016;6. doi:10.1038/srep35955
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1151 | OA
Simonini S, Deb J, Moubayidin L, et al. A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis. Genes and Development. 2016;30(20):2286-2296. doi:10.1101/gad.285361.116
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1153 | OA
Žádníková P, Wabnik KT, Abuzeineh A, et al. A model of differential growth guided apical hook formation in plants. Plant Cell. 2016;28(10):2464-2477. doi:10.1105/tpc.15.00569
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1154 | OA
Schwarz J, Bierbaum V, Merrin J, et al. A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients. Scientific Reports. 2016;6. doi:10.1038/srep36440
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1157 | OA
Lee J, Schnelli K. Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population. Annals of Applied Probability. 2016;26(6):3786-3839. doi:10.1214/16-AAP1193
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1158 | OA
Roux C, Fraisse C, Romiguier J, Anciaux Y, Galtier N, Bierne N. Shedding light on the grey zone of speciation along a continuum of genomic divergence. PLoS Biology. 2016;14(12). doi:10.1371/journal.pbio.2000234
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1164 | OA
Fulek R, Pelsmajer M, Schaefer M. Hanani-Tutte for radial planarity II. In: Vol 9801. Springer; 2016:468-481. doi:10.1007/978-3-319-50106-2_36
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1165 | OA
Fulek R. C-planarity of embedded cyclic c-graphs. In: Vol 9801. Springer; 2016:94-106. doi:10.1007/978-3-319-50106-2_8
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1167 | OA
Zagórski MP, Burda Z, Wacław B. Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks. PLoS Computational Biology. 2016;12(12). doi:10.1371/journal.pcbi.1005218
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1172 | OA
Sachdeva H, Barma M, Rao M. Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae. Scientific Reports. 2016;6. doi:10.1038/srep38840
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications