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.

3329 Publications


2017 | Book Chapter | IST-REx-ID: 604 | OA
Lemeshko M, Schmidt R. Molecular impurities interacting with a many-particle environment: From ultracold gases to helium nanodroplets. In: Dulieu O, Osterwalder A, eds. Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero . Vol 11. Theoretical and Computational Chemistry Series. The Royal Society of Chemistry; 2017:444-495. doi:10.1039/9781782626800-00444
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 605 | OA
Brody J, Dziembowski S, Faust S, Pietrzak KZ. Position based cryptography and multiparty communication complexity. In: Kalai Y, Reyzin L, eds. Vol 10677. Springer; 2017:56-81. doi:10.1007/978-3-319-70500-2_3
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 609 | OA
Alwen JF, Tackmann B. Moderately hard functions: Definition, instantiations, and applications. In: Kalai Y, Reyzin L, eds. Vol 10677. Springer; 2017:493-526. doi:10.1007/978-3-319-70500-2_17
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 610 | OA
Goaoc X, Mabillard I, Paták P, Patakova Z, Tancer M, Wagner U. On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result. Israel Journal of Mathematics. 2017;222(2):841-866. doi:10.1007/s11856-017-1607-7
View | Files available | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 6113 | OA
Oda S, Toyoshima Y, de Bono M. Modulation of sensory information processing by a neuroglobin in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 2017;114(23):E4658-E4665. doi:10.1073/pnas.1614596114
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 6115 | OA
Fenk LA, de Bono M. Memory of recent oxygen experience switches pheromone valence inCaenorhabditis elegans. Proceedings of the National Academy of Sciences. 2017;114(16):4195-4200. doi:10.1073/pnas.1618934114
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 6117 | OA
Chen C, Itakura E, Nelson GM, et al. IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses. Nature. 2017;542(7639):43-48. doi:10.1038/nature20818
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 613 | OA
Chait RP, Ruess J, Bergmiller T, Tkačik G, Guet CC. Shaping bacterial population behavior through computer interfaced control of individual cells. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-01683-1
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 614 | OA
Fraisse C, Picard MAL, Vicoso B. The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-01663-5
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 615 | OA
Erdös L, Schnelli K. Universality for random matrix flows with time dependent density. Annales de l’institut Henri Poincare (B) Probability and Statistics. 2017;53(4):1606-1656. doi:10.1214/16-AIHP765
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 618 | OA
Franke F, Armitage S, Kutzer M, Kurtz J, Scharsack J. Environmental temperature variation influences fitness trade-offs in a fish-tapeworm association . Parasites & Vectors. 2017;10(252). doi:10.1186/s13071-017-2192-7
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 6196 | OA
Gazi P, Pietrzak KZ, Rybar M. The exact security of PMAC. IACR Transactions on Symmetric Cryptology. 2017;2016(2):145-161. doi:10.13154/TOSC.V2016.I2.145-161
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 621 | OA
Beattie RJ, Hippenmeyer S. Mechanisms of radial glia progenitor cell lineage progression. FEBS letters. 2017;591(24):3993-4008. doi:10.1002/1873-3468.12906
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 624 | OA
Nikolic N, Didara Z, Moll I. MazF activation promotes translational heterogeneity of the grcA mRNA in Escherichia coli populations. PeerJ. 2017;2017(9). doi:10.7717/peerj.3830
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 625 | OA
Chatterjee K, Doyen L, Henzinger TA. The cost of exactness in quantitative reachability. In: Aceto L, Bacci G, Ingólfsdóttir A, Legay A, Mardare R, eds. Models, Algorithms, Logics and Tools. Vol 10460. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer; 2017:367-381. doi:10.1007/978-3-319-63121-9_18
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 626 | OA
Barton NH, Etheridge A, Véber A. The infinitesimal model: Definition derivation and implications. Theoretical Population Biology. 2017;118:50-73. doi:10.1016/j.tpb.2017.06.001
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 627 | OA
Jiang C, Zhai M-Z, Yan D, et al. Dietary menthol-induced TRPM8 activation enhances WAT “browning” and ameliorates diet-induced obesity. Oncotarget. 2017;8(43):75114-75126. doi:10.18632/oncotarget.20540
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 628 | OA
Chatterjee K, Fu H, Murhekar A. Automated recurrence analysis for almost linear expected runtime bounds. In: Majumdar R, Kunčak V, eds. Vol 10426. Springer; 2017:118-139. doi:10.1007/978-3-319-63387-9_6
View | DOI | Download Submitted Version (ext.)
 

2017 | Thesis | IST-REx-ID: 6287 | OA
Nikitenko A. Discrete Morse theory for random complexes . 2017. doi:10.15479/AT:ISTA:th_873
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 630 | OA
Sauermann S, David V, Schlögl A, et al. Biosignals standards and FHIR: The way to go. In: Vol 236. IOS Press; 2017:356-362. doi:10.3233/978-1-61499-759-7-356
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 631 | OA
Bogomolov S, Frehse G, Giacobbe M, Henzinger TA. Counterexample guided refinement of template polyhedra. In: Vol 10205. Springer; 2017:589-606. doi:10.1007/978-3-662-54577-5_34
View | Files available | DOI
 

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

2017 | Conference Paper | IST-REx-ID: 635 | OA
Alwen JF, Chen B, Pietrzak KZ, Reyzin L, Tessaro S. Scrypt is maximally memory hard. In: Coron J-S, Buus Nielsen J, eds. Vol 10212. Springer; 2017:33-62. doi:10.1007/978-3-319-56617-7_2
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 636 | OA
Bakhirkin A, Ferrere T, Maler O, Ulus D. On the quantitative semantics of regular expressions over real-valued signals. In: Abate A, Geeraerts G, eds. Vol 10419. Springer; 2017:189-206. doi:10.1007/978-3-319-65765-3_11
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 637 | OA
Jafargholi Z, Kamath Hosdurg C, Klein K, Komargodski I, Pietrzak KZ, Wichs D. Be adaptive avoid overcommitting. In: Katz J, Shacham H, eds. Vol 10401. Springer; 2017:133-163. doi:10.1007/978-3-319-63688-7_5
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 640 | OA
Alwen JF, Blocki J, Pietrzak KZ. Depth-robust graphs and their cumulative memory complexity. In: Coron J-S, Buus Nielsen J, eds. Vol 10212. Springer; 2017:3-32. doi:10.1007/978-3-319-56617-7_1
View | DOI | Download Submitted Version (ext.)
 

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

2017 | Technical Report | IST-REx-ID: 6426 | OA
Henzinger TA, Kragl B, Qadeer S. Synchronizing the Asynchronous. IST Austria; 2017. doi:10.15479/AT:IST-2018-853-v2-2
View | Files available | DOI
 

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

2017 | Conference Paper | IST-REx-ID: 645 | OA
Ashok P, Chatterjee K, Daca P, Kretinsky J, Meggendorfer T. Value iteration for long run average reward in markov decision processes. In: Majumdar R, Kunčak V, eds. Vol 10426. Springer; 2017:201-221. doi:10.1007/978-3-319-63387-9_10
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 646 | OA
Kuske J, Swoboda P, Petra S. A novel convex relaxation for non binary discrete tomography. In: Lauze F, Dong Y, Bjorholm Dahl A, eds. Vol 10302. Springer; 2017:235-246. doi:10.1007/978-3-319-58771-4_19
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 647 | OA
Bogomolov S, Giacobbe M, Henzinger TA, Kong H. Conic abstractions for hybrid systems. In: Vol 10419. Springer; 2017:116-132. doi:10.1007/978-3-319-65765-3_7
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 648 | OA
Skórski M. On the complexity of breaking pseudoentropy. In: Jäger G, Steila S, eds. Vol 10185. Springer; 2017:600-613. doi:10.1007/978-3-319-55911-7_43
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 650 | OA
Skórski M. A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds. In: Jäger G, Steila S, eds. Vol 10185. Springer; 2017:586-599. doi:10.1007/978-3-319-55911-7_42
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 6517 | OA
Fulek R. Embedding graphs into embedded graphs. In: Vol 92. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPICS.ISAAC.2017.34
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 6519 | OA
Chatterjee K, Dvorák W, Henzinger M, Loitzenbauer V. Improved set-based symbolic algorithms for parity games. In: Vol 82. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik; 2017. doi:10.4230/LIPICS.CSL.2017.18
View | Files available | DOI
 

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

2017 | Conference Paper | IST-REx-ID: 6527 | OA
Alwen JF, Blocki J, Harsha B. Practical graphs for optimal side-channel resistant memory-hard functions. In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. ACM Press; 2017:1001-1017. doi:10.1145/3133956.3134031
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 653 | OA
Makohon Moore A, Zhang M, Reiter J, et al. Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer. Nature Genetics. 2017;49(3):358-366. doi:10.1038/ng.3764
View | Files available | DOI
 

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

2017 | Journal Article | IST-REx-ID: 655 | OA
Renault T, Abraham A, Bergmiller T, et al. Bacterial flagella grow through an injection diffusion mechanism. eLife. 2017;6. doi:10.7554/eLife.23136
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 657 | OA
Möller B, Ten Hove C, Xiang D, et al. Auxin response cell autonomously controls ground tissue initiation in the early arabidopsis embryo. PNAS. 2017;114(12):E2533-E2539. doi:10.1073/pnas.1616493114
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 658 | OA
Der R, Martius GS. Self organized behavior generation for musculoskeletal robots. Frontiers in Neurorobotics. 2017;11(MAR). doi:10.3389/fnbot.2017.00008
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 659 | OA
Kage F, Winterhoff M, Dimchev V, et al. FMNL formins boost lamellipodial force generation. Nature Communications. 2017;8. doi:10.1038/ncomms14832
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 660 | OA
Rickman J, Düllberg CF, Cade N, Griffin L, Surrey T. Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation. PNAS. 2017;114(13):3427-3432. doi:10.1073/pnas.1620274114
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

2017 | Conference Paper | IST-REx-ID: 663 | OA
Kong H, Bogomolov S, Schilling C, Jiang Y, Henzinger TA. Safety verification of nonlinear hybrid systems based on invariant clusters. In: Proceedings of the 20th International Conference on Hybrid Systems. ACM; 2017:163-172. doi:10.1145/3049797.3049814
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 666 | OA
Mitosch K, Rieckh G, Bollenbach MT. Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment. Cell Systems. 2017;4(4):393-403. doi:10.1016/j.cels.2017.03.001
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 6679 | OA
Hashemi SA, Mondelli M, Hassani H, Urbanke R, Gross W. Partitioned list decoding of polar codes: Analysis and improvement of finite length performance. In: 2017 IEEE Global Communications Conference. IEEE; 2017:1-7. doi:10.1109/glocom.2017.8254940
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 668 | OA
Horsthemke M, Bachg A, Groll K, et al. Multiple roles of filopodial dynamics in particle capture and phagocytosis and phenotypes of Cdc42 and Myo10 deletion. Journal of Biological Chemistry. 2017;292(17):7258-7273. doi:10.1074/jbc.M116.766923
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 669 | OA
Synek L, Vukašinović N, Kulich I, et al. EXO70C2 is a key regulatory factor for optimal tip growth of pollen. Plant Physiology. 2017;174(1):223-240. doi:10.1104/pp.16.01282
View | Files available | DOI | PubMed | Europe PMC
 

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

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

2017 | Journal Article | IST-REx-ID: 672 | OA
Vaahtomeri K, Brown M, Hauschild R, et al. Locally triggered release of the chemokine CCL21 promotes dendritic cell transmigration across lymphatic endothelia. Cell Reports. 2017;19(5):902-909. doi:10.1016/j.celrep.2017.04.027
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 6729 | OA
Mondelli M, Hassani SH, Urbanke R. Construction of polar codes with sublinear complexity. In: 2017 IEEE International Symposium on Information Theory . IEEE; 2017:1853-1857. doi:10.1109/isit.2017.8006850
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

2017 | Journal Article | IST-REx-ID: 6730 | OA
Kudekar S, Kumar S, Mondelli M, Pfister HD, Sasoglu E, Urbanke RL. Reed–Muller codes achieve capacity on erasure channels. IEEE Transactions on Information Theory. 2017;63(7):4298-4316. doi:10.1109/tit.2017.2673829
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 6731 | OA
Mondelli M, Hassani H, Maric I, Hui D, Hong S-N. Capacity-achieving rate-compatible polar codes for general channels. In: 2017 IEEE Wireless Communications and Networking Conference Workshops . IEEE; 2017. doi:10.1109/wcncw.2017.7919107
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 677 | OA
Lademann C, Renkawitz J, Pfander B, Jentsch S. The INO80 complex removes H2A.Z to promote presynaptic filament formation during homologous recombination. Cell Reports. 2017;19(7):1294-1303. doi:10.1016/j.celrep.2017.04.051
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 679 | OA
Ebner F, Sedlyarov V, Tasciyan S, et al. The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection. The Journal of Clinical Investigation. 2017;127(6):2051-2065. doi:10.1172/JCI80631
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 680 | OA
Chalk MJ, Masset P, Gutkin B, Denève S. Sensory noise predicts divisive reshaping of receptive fields. PLoS Computational Biology. 2017;13(6). doi:10.1371/journal.pcbi.1005582
View | Files available | DOI
 

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

2017 | Conference Paper | IST-REx-ID: 683 | OA
Lubiw A, Masárová Z, Wagner U. A proof of the orbit conjecture for flipping edge labelled triangulations. In: Vol 77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.SoCG.2017.49
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 6841 | OA
Martius GS, Lampert C. Extrapolation and learning equations. 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
Briscoe J, Kicheva A. The physics of development 100 years after D’Arcy Thompson’s “on growth and form.” Mechanisms of Development. 2017;145:26-31. doi:10.1016/j.mod.2017.03.005
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 687 | OA
Davison B. The critical CoHA of a quiver with potential. Quarterly Journal of Mathematics. 2017;68(2):635-703. doi:10.1093/qmath/haw053
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 688 | OA
Edelsbrunner H, Wagner H. Topological data analysis with Bregman divergences. In: Vol 77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017:391-3916. doi:10.4230/LIPIcs.SoCG.2017.39
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 693 | OA
Miki T, Kaufmann W, Malagon G, et al. Numbers of presynaptic Ca2+ channel clusters match those of functionally defined vesicular docking sites in single central synapses. PNAS. 2017;114(26):E5246-E5255. doi:10.1073/pnas.1704470114
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 694 | OA
Veß A, Blache U, Leitner L, et al. A dual phenotype of MDA MB 468 cancer cells reveals mutual regulation of tensin3 and adhesion plasticity. Journal of Cell Science. 2017;130(13):2172-2184. doi:10.1242/jcs.200899
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Conference Paper | IST-REx-ID: 697 | OA
Pietrzak KZ, Skórski M. Non uniform attacks against pseudoentropy. In: Vol 80. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.ICALP.2017.39
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 698 | OA
Wang Y, Nagarajan M, Uhler C, Shivashankar G. Orientation and repositioning of chromosomes correlate with cell geometry dependent gene expression. Molecular Biology of the Cell. 2017;28(14):1997-2009. doi:10.1091/mbc.E16-12-0825
View | Files available | DOI
 

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

2017 | Journal Article | IST-REx-ID: 700 | OA
Barzanjeh S, Salari V, Tuszynski J, Cifra M, Simon C. Optomechanical proposal for monitoring microtubule mechanical vibrations. Physical Review E Statistical Nonlinear and Soft Matter Physics . 2017;96(1). doi:10.1103/PhysRevE.96.012404
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 701 | OA
Kynčl J, Patakova Z. On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4. The Electronic Journal of Combinatorics. 2017;24(3):1-44.
View | Files available
 

2017 | Journal Article | IST-REx-ID: 7064 | OA
Modic KA, Ramshaw BJ, Betts JB, et al. Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-00264-6
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 7066 | OA
Zhu Z, McDonald RD, Shekhter A, et al. Magnetic field tuning of an excitonic insulator between the weak and strong coupling regimes in quantum limit graphite. Scientific Reports. 2017;7. doi:10.1038/s41598-017-01693-5
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 7067 | OA
Ramshaw BJ, Harrison N, Sebastian SE, et al. Broken rotational symmetry on the Fermi surface of a high-Tc superconductor. npj Quantum Materials. 2017;2(1). doi:10.1038/s41535-017-0013-z
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 707 | OA
Akopyan A, Karasev R. A tight estimate for the waist of the ball . Bulletin of the London Mathematical Society. 2017;49(4):690-693. doi:10.1112/blms.12062
View | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 708 | OA
Nagy B, Hovhannisyan A, Barzan R, Chen T, Kukley M. Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum. PLoS Biology. 2017;15(8). doi:10.1371/journal.pbio.2001993
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 710 | OA
Obremski M, Skórski M. Renyi entropy estimation revisited. In: Vol 81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.APPROX-RANDOM.2017.20
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 711 | OA
Chatterjee K, Henzinger TA, Otop J. Bidirectional nested weighted automata. In: Vol 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.CONCUR.2017.5
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 712 | OA
Fischer JL. Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations. Nonlinear Analysis: Theory, Methods and Applications. 2017;159:181-207. doi:10.1016/j.na.2017.03.001
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 713 | OA
Andergassen D, Dotter C, Wenzel D, et al. Mapping the mouse Allelome reveals tissue specific regulation of allelic expression. eLife. 2017;6. doi:10.7554/eLife.25125
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 714 | OA
Brailoiu G, Deliu E, Barr J, et al. HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens. Drug and Alcohol Dependence. 2017;178:7-14. doi:10.1016/j.drugalcdep.2017.04.015
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1294 | OA
Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. 2017;84:144-170. doi:10.1016/j.jcss.2016.09.009
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1336 | OA
Paixao T, Pérez Heredia J, Sudholt D, Trubenova B. Towards a runtime comparison of natural and artificial evolution. Algorithmica. 2017;78(2):681-713. doi:10.1007/s00453-016-0212-1
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1337 | OA
Ajanki OH, Erdös L, Krüger TH. Universality for general Wigner-type matrices. Probability Theory and Related Fields. 2017;169(3-4):667-727. doi:10.1007/s00440-016-0740-2
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1338 | OA
Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. 2017;50(2-3):97-139. doi:10.1007/s10703-016-0256-5
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1351 | OA
Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking the evolution of gene regulatory networks. Acta Informatica. 2017;54(8):765-787. doi:10.1007/s00236-016-0278-x
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1367 | OA
Manteaux P, Wojtan CJ, Narain R, Redon S, Faure F, Cani M. Adaptive physically based models in computer graphics. Computer Graphics Forum. 2017;36(6):312-337. doi:10.1111/cgf.12941
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1407 | OA
Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. 2017;23(2):230-253. doi:10.1016/j.nahs.2016.04.006
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1528 | OA
Bao Z, Erdös L. Delocalization for a class of random block band matrices. Probability Theory and Related Fields. 2017;167(3-4):673-776. doi:10.1007/s00440-015-0692-y
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1000 | OA
Kolesnikov A, Lampert C. PixelCNN models with auxiliary variables for natural image modeling. In: Vol 70. Omnipress; 2017:1905-1914.
View | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1001 | OA
Guseinov R, Miguel E, Bickel B. CurveUps: Shaping objects from flat plates with tension-actuated curvature. In: Vol 36. ACM; 2017. doi:10.1145/3072959.3073709
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1002 | OA
Zhang R, Auzinger T, Ceylan D, Li W, Bickel B. Functionality-aware retargeting of mechanisms to 3D shapes. In: Vol 36. ACM; 2017. doi:10.1145/3072959.3073710
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1003 | OA
Avni G, Guha S, Kupferman O. An abstraction-refinement methodology for reasoning about network games. In: AAAI Press; 2017:70-76. doi:10.24963/ijcai.2017/11
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1004 | OA
Ötvös K, Benková E. Spatiotemporal mechanisms of root branching. Current Opinion in Genetics & Development. 2017;45:82-89. doi:10.1016/j.gde.2017.03.010
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1006 | OA
Greenwood J, Milutinovic B, Peuß R, et al. Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. 2017;18(1):329. doi:10.1186/s12864-017-3705-7
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1007 | OA
Lang M, Sontag E. Zeros of nonlinear systems with input invariances. Automatica. 2017;81C:46-55. doi:10.1016/j.automatica.2017.03.030
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1009 | OA
Chatterjee K, Novotný P, Pérez G, Raskin J, Zikelic D. Optimizing expectation with guarantees in POMDPs. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence. Vol 5. AAAI Press; 2017:3725-3732.
View | Download Submitted Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications