Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5046 Publications
2016 | Conference Paper | IST-REx-ID: 1324
Chatterjee K, Chmelik M. 2016. Indefinite-horizon reachability in Goal-DEC-POMDPs. Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling. ICAPS: International Conference on Automated Planning and Scheduling vol. 2016–January, 88–96.
View
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 1329 | 
Huylmans AK, López Ezquerra A, Parsch J, Cordellier M. 2016. De novo transcriptome assembly and sex-biased gene expression in the cyclical parthenogenetic Daphnia galeata. Genome Biology and Evolution. 8(10), 3120–3139.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1327 |
Brázdil T, Chatterjee K, Chmelik M, Gupta A, Novotný P. 2016. Stochastic shortest path with energy constraints in POMDPs. Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems. AAMAS: Autonomous Agents & Multiagent Systems, 1465–1466.
[Preprint]
View
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1326 |
Brázdil T, Kučera A, Novotný P. 2016. Optimizing the expected mean payoff in Energy Markov Decision Processes. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 9938, 32–49.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1330 |
Akopyan A, Balitskiy A. 2016. Billiards in convex bodies with acute angles. Israel Journal of Mathematics. 216(2), 833–845.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1334 |
Schönenberger P, O’Neill J, Csicsvari JL. 2016. Activity dependent plasticity of hippocampal place maps. Nature Communications. 7, 11824.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1331 |
Zwack P, De Clercq I, Howton T, Hallmark HT, Hurny A, Keshishian E, Parish A, Benková E, Mukhtar MS, Van Breusegem F, Rashotte A. 2016. Cytokinin response factor 6 represses cytokinin-associated genes during oxidative stress. Plant Physiology. 172(2), 1249–1258.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1333 |
Milinski M, Hilbe C, Semmann D, Sommerfeld R, Marotzke J. 2016. Humans choose representatives who enforce cooperation in social dilemmas through extortion. Nature Communications. 7, 10915.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1332 |
Chait RP, Palmer A, Yelin I, Kishony R. 2016. Pervasive selection for and against antibiotic resistance in inhomogeneous multistress environments. Nature Communications. 7, 10333.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1335 |
Chatterjee K, Henzinger TA, Otop J. 2016. Quantitative monitor automata. SAS: Static Analysis Symposium, LNCS, vol. 9837, 23–38.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1344 |
Fendrych M, Leung J, Friml J. 2016. TIR1 AFB Aux IAA auxin perception mediates rapid cell wall acidification and growth of Arabidopsis hypocotyls. eLife. 5, e19048.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1343 |
Kaczmarczyk J, Weimer H, Lemeshko M. 2016. Dissipative preparation of antiferromagnetic order in the Fermi-Hubbard model. New Journal of Physics. 18(9), 093042.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1340 |
Hansen K, Ibsen-Jensen R, Koucký M. 2016. The big match in small space. SAGT: Symposium on Algorithmic Game Theory, LNCS, vol. 9928, 64–76.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1345 |
Molnar G, Fendrych M, Friml J. 2016. Plasma membrane: Negative attraction. Nature Plants. 2, 16102.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1342 |
Baym M, Lieberman T, Kelsic E, Chait RP, Gross R, Yelin I, Kishony R. 2016. Spatiotemporal microbial evolution on antibiotic landscapes. Science. 353(6304), 1147–1151.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1339 |
Verbiest G, Xu D, Goldsche M, Khodkov T, Barzanjeh S, Von Den Driesch N, Buca D, Stampfer C. 2016. Tunable mechanical coupling between driven microelectromechanical resonators. Applied Physics Letter. 109, 143507.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1349 |
Oliveto P, Paixao T, Heredia J, Sudholt D, Trubenova B. 2016. When non-elitism outperforms elitism for crossing fitness valleys. Proceedings of the Genetic and Evolutionary Computation Conference 2016 . GECCO: Genetic and evolutionary computation conference, 1163–1170.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1350 |
Guzmán J, Schlögl A, Frotscher M, Jonas PM. 2016. Synaptic mechanisms of pattern completion in the hippocampal CA3 network. Science. 353(6304), 1117–1123.
[Preprint]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1347 |
Schmidt R, Lemeshko M. 2016. Deformation of a quantum many-particle system by a rotating impurity. Physical Review X. 6(1), 011012.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1348 |
Fulek R. 2016. Bounded embeddings of graphs in the plane. IWOCA: International Workshop on Combinatorial Algorithms, LNCS, vol. 9843, 31–42.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1355 |
Fink JM, Kalaee M, Pitanti A, Norte R, Heinzle L, Davanço M, Srinivasan K, Painter O. 2016. Quantum electromechanics on silicon nitride nanomembranes. Nature Communications. 7, 12396.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1359 |
Paixao T, Barton NH. 2016. The effect of gene interactions on the long-term response to selection. PNAS. 113(16), 4422–4427.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1352 |
Kaczmarczyk J, Schickling T, Bünemann J. 2016. Coexistence of nematic order and superconductivity in the Hubbard model. Physical Review B - Condensed Matter and Materials Physics. 94(8), 085152.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1354 |
Dieterle P, Kalaee M, Fink JM, Painter O. 2016. Superconducting cavity electromechanics on a silicon-on-insulator platform. Physical Review Applied. 6(1), 014013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1356 |
Barton NH. 2016. Sewall Wright on evolution in Mendelian populations and the “Shifting Balance”. Genetics. 202(1), 3–4.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1357 |
Barton NH. 2016. Richard Hudson and Norman Kaplan on the coalescent process. Genetics. 202(3), 865–866.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1353 |
Barto L, Kazda A. 2016. Deciding absorption. International Journal of Algebra and Computation. 26(5), 1033–1060.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1363 |
Bojsen-Hansen M, Wojtan C. 2016. Generalized non-reflecting boundaries for fluid re-simulation. ACM SIGGRAPH, ACM Transactions on Graphics, vol. 35, 96.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1364 |
Miguel Villalba E, Lepoutre M, Bickel B. 2016. Computational design of stable planar-rod structures. ACM SIGGRAPH, ACM Transactions on Graphics, vol. 35, 86.
[Preprint]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1361 |
Da F, Hahn D, Batty C, Wojtan C, Grinspun E. 2016. Surface only liquids. ACM SIGGRAPH, ACM Transactions on Graphics, vol. 35, a78.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1365 |
Alwen JF, Blocki J. 2016. Efficiently computing data-independent memory-hard functions. CRYPTO: International Cryptology Conference, LNCS, vol. 9815, 241–271.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1366 |
Gazi P, Tessaro S. 2016. Provably robust sponge-based PRNGs and KDFs. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 9665, 87–116.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1360 |
Akopyan A, Balitskiy A, Karasev R, Sharipova A. 2016. Elementary approach to closed billiard trajectories in asymmetric normed spaces. Proceedings of the American Mathematical Society. 144(10), 4501–4513.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1372 |
Pernisová M, Prat T, Grones P, Haruštiaková D, Matonohova M, Spíchal L, Nodzyński T, Friml J, Hejátko J. 2016. Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis. New Phytologist. 212(2), 497–509.
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1369 |
Kolesnikov A, Lampert C. 2016. Seed, expand and constrain: Three principles for weakly-supervised image segmentation. ECCV: European Conference on Computer Vision, LNCS, vol. 9908, 695–711.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1368 |
Wysokiński M, Kaczmarczyk J, Spałek J. 2016. Correlation driven d wave superconductivity in Anderson lattice model: Two gaps. Physical Review B - Condensed Matter and Materials Physics. 94(2), 024517.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1370 |
Barzanjeh S, Vitali D. 2016. Phonon Josephson junction with nanomechanical resonators. Physical Review A - Atomic, Molecular, and Optical Physics. 93(3), 033846.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1373 |
Martin O, Zagórski MP. 2016. Network architectures and operating principles. Reply to comments on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function" Physics of Life Reviews. 17, 168–171.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1377 |
Kolmogorov V, Pock T, Rolinek M. 2016. Total variation on a tree. SIAM Journal on Imaging Sciences. 9(2), 605–636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1381 |
Mabillard I, Wagner U. 2016. Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 51.1-51.12.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1380 |
Chonev VK, Ouaknine J, Worrell J. 2016. On the complexity of the orbit problem. Journal of the ACM. 63(3), 23.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1389 |
Chonev VK, Ouaknine J, Worrell J. 2016. On recurrent reachability for continuous linear dynamical systems. LICS ’16. LICS: Logic in Computer Science, 515–524.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1394 |
De Martino D, Capuani F, De Martino A. 2016. Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli. Physical Biology. 13(3), 036005.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1412 |
Goldade R, Batty C, Wojtan C. 2016. A practical method for high-resolution embedded liquid surfaces. Computer Graphics Forum. 35(2), 233–242.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1410 |
Ugalde J, Rodríguez Furlán C, De Rycke R, Norambuena L, Friml J, León G, Tejos R. 2016. Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development. Plant Science. 250, 10–19.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1409 |
Abbott R, Barton NH, Good J. 2016. Genomics of hybridization and its evolutionary consequences. Molecular Ecology. 25(11), 2325–2332.
[Submitted Version]
View
| Files available
| DOI