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.




4929 Publications

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
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 
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
[Published Version] View | Files available | DOI
 
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
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 686
Heisenberg C-PJ. D’Arcy Thompson’s ‘on growth and form’: From soap bubbles to tissue self organization. Mechanisms of Development. 2017;145:32-37. doi:10.1016/j.mod.2017.03.006
View | DOI
 
2017 | Journal Article | IST-REx-ID: 689
Novarino G. Rett syndrome modeling goes simian. Science Translational Medicine. 2017;9(393). doi:10.1126/scitranslmed.aan8196
View | 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Published Version] 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
[Submitted Version] 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
[Submitted Version] 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.
[Submitted Version] View | Files available
 
2017 | Journal Article | IST-REx-ID: 702
Novarino G. The riddle of CHD8 haploinsufficiency in autism spectrum disorder. Science Translational Medicine. 2017;9(399):eaao0972. doi:10.1126/scitranslmed.aao0972
View | DOI
 
2017 | Journal Article | IST-REx-ID: 706
Geng X, Maruo T, Mandai K, et al. Roles of afadin in functional differentiations of hippocampal mossy fiber synapse. Genes to Cells. 2017;22(8):715-722. doi:10.1111/gtc.12508
View | 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
[Preprint] 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
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 709
Sun W, Li C, Zhang Y, et al. Gene expression changes of thermo sensitive transient receptor potential channels in obese mice. Cell Biology International. 2017;41(8):908-913. doi:10.1002/cbin.10783
View | 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
[Published Version] View | Files available | DOI
 
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
[Published Version] 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
[Published Version] 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
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
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
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 715
Novarino G. More excitation for Rett syndrome. Science Translational Medicine. 2017;9(405). doi:10.1126/scitranslmed.aao4218
View | DOI
 
2017 | Journal Article | IST-REx-ID: 716 | OA
Chatterjee K, Velner Y. The complexity of mean-payoff pushdown games. Journal of the ACM. 2017;64(5):34. doi:10.1145/3121408
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 717 | OA
Chatterjee K, Velner Y. Hyperplane separation technique for multidimensional mean-payoff games. Journal of Computer and System Sciences. 2017;88:236-259. doi:10.1016/j.jcss.2017.04.005
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 719
Chatterjee K, Ehlers R. Special issue: Synthesis and SYNT 2014. Acta Informatica. 2017;54(6):543-544. doi:10.1007/s00236-017-0299-0
View | DOI
 
2017 | Journal Article | IST-REx-ID: 720 | OA
Humplik J, Tkačik G. Probabilistic models for neural populations that naturally capture global coupling and criticality. PLoS Computational Biology. 2017;13(9). doi:10.1371/journal.pcbi.1005763
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 721 | OA
Ajanki OH, Krüger TH, Erdös L. Singularities of solutions to quadratic vector equations on the complex upper half plane. Communications on Pure and Applied Mathematics. 2017;70(9):1672-1705. doi:10.1002/cpa.21639
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 722 | OA
Morris E, Griffiths M, Golebiowska A, et al. Shaping 3D root system architecture. Current Biology. 2017;27(17):R919-R930. doi:10.1016/j.cub.2017.06.043
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 725 | OA
Harpaz R, Tkačik G, Schneidman E. Discrete modes of social information processing predict individual behavior of fish in a group. PNAS. 2017;114(38):10149-10154. doi:10.1073/pnas.1703817114
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 724 | OA
Hetterich D, Serbyn M, Domínguez F, Pollmann F, Trauzettel B. Noninteracting central site model localization and logarithmic entanglement growth. Physical Review B. 2017;96(10). doi:10.1103/PhysRevB.96.104203
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 731
Novarino G. The science of love in ASD and ADHD. Science Translational Medicine. 2017;9(411). doi:10.1126/scitranslmed.aap8168
View | DOI
 
2017 | Journal Article | IST-REx-ID: 7360 | OA
Smole A, Lainšček D, Bezeljak U, Horvat S, Jerala R. A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation. Molecular Therapy. 2017;25(1):102-119. doi:10.1016/j.ymthe.2016.10.005
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Conference Paper | IST-REx-ID: 750
Pielorz J, Prandtstetter M, Straub M, Lampert C. Optimal geospatial volunteer allocation needs realistic distances. In: 2017 IEEE International Conference on Big Data. IEEE; 2017:3760-3763. doi:10.1109/BigData.2017.8258375
View | DOI
 
2017 | Journal Article | IST-REx-ID: 795 | OA
Fulek R, Kynčl J, Pálvölgyi D. Unified Hanani Tutte theorem. Electronic Journal of Combinatorics. 2017;24(3). doi:10.37236/6663
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 797
Fink JM. Photonenblockade aufgelöst. Physik in unserer Zeit. 2017;48(3):111-113. doi:10.1002/piuz.201770305
View | DOI
 
2017 | Journal Article | IST-REx-ID: 9445 | OA
Lyons DB, Zilberman D. DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes. eLife. 2017;6. doi:10.7554/elife.30674
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Book Chapter | IST-REx-ID: 957
Clifton B, Whitfield J, Sanchez-Romero I, et al. Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors. In: Stein V, ed. Synthetic Protein Switches. Vol 1596. Synthetic Protein Switches. Springer; 2017:71-87. doi:10.1007/978-1-4939-6940-1_5
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 963 | OA
Avni G, Guha S, Kupferman O. Timed network games with clocks. In: Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.MFCS.2017.37
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9709 | OA
Prentice J, Marre O, Ioffe M, Loback A, Tkačik G, Berry M. Data from: Error-robust modes of the retinal population code. 2017. doi:10.5061/dryad.1f1rc
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 541 | OA
Nikolic N, Schreiber F, Dal Co A, et al. Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations. PLoS Genetics. 2017;13(12). doi:10.1371/journal.pgen.1007122
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9847 | OA
Pleska M, Guet CC. Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification. 2017. doi:10.6084/m9.figshare.5633917.v1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9845
Nikolic N, Schreiber F, Dal Co A, et al. Mathematical model. 2017. doi:10.1371/journal.pgen.1007122.s017
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9849
Lukacisinova M, Novak S, Paixao T. Modelling and simulation details. 2017. doi:10.1371/journal.pcbi.1005609.s001
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9850
Lukacisinova M, Novak S, Paixao T. Extensions of the model. 2017. doi:10.1371/journal.pcbi.1005609.s002
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9846
Nikolic N, Schreiber F, Dal Co A, et al. Supplementary methods. 2017. doi:10.1371/journal.pgen.1007122.s016
[Published Version] View | Files available | DOI
 
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
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9851
Lukacisinova M, Novak S, Paixao T. Heuristic prediction for multiple stresses. 2017. doi:10.1371/journal.pcbi.1005609.s003
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9852
Lukacisinova M, Novak S, Paixao T. Resistance frequencies for different combination strategies. 2017. doi:10.1371/journal.pcbi.1005609.s004
[Published Version] View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9855
Chalk MJ, Masset P, Gutkin B, Denève S. Supplementary appendix. 2017. doi:10.1371/journal.pcbi.1005582.s001
[Published Version] View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 941
Le X, Chu DH, Lo D, Le Goues C, Visser W. JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM; 2017:376-379. doi:10.1145/3092703.3098225
View | DOI
 
2017 | Journal Article | IST-REx-ID: 9506 | OA
Zilberman D. An evolutionary case for functional gene body methylation in plants and animals. Genome Biology. 2017;18(1). doi:10.1186/s13059-017-1230-2
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Book Chapter | IST-REx-ID: 958
Mitchell J, Zhang W, Herde M, et al. Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment. In: Stein V, ed. Synthetic Protein Switches. Vol 1596. Synthetic Protein Switches. Springer; 2017:89-99. doi:10.1007/978-1-4939-6940-1_6
View | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9707 | OA
Riccio P, Cebrián C, Zong H, Hippenmeyer S, Costantini F. Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis. 2017. doi:10.5061/dryad.pk16b
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9844
Nikolic N, Schreiber F, Dal Co A, et al. Source data for figures and tables. 2017. doi:10.1371/journal.pgen.1007122.s018
[Published Version] View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 13160 | OA
Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record for transforming Rabin automata into parity automata. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 10205. Springer; 2017:443-460. doi:10.1007/978-3-662-54577-5_26
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 950 | OA
Avni G, Henzinger TA, Chonev VK. Infinite-duration bidding games. In: Vol 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.CONCUR.2017.21
[Published Version] View | Files available | DOI | arXiv
 
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
[Published Version] View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 1155 | OA
Daca P. Statistical and logical methods for property checking. 2017. doi:10.15479/AT:ISTA:TH_730
[Published Version] View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 6291 | OA
Payne P. Bacterial herd and social immunity to phages. 2017.
[Published Version] View | Files available
 
2017 | Journal Article | IST-REx-ID: 561 | OA
Pleska M, Guet CC. Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. 2017;13(12). doi:10.1098/rsbl.2017.0646
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2017 | Thesis | IST-REx-ID: 818 | OA
Mitosch K. Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. 2017. doi:10.15479/AT:ISTA:th_862
[Published Version] 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
[Published Version] View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 821 | OA
Pavlogiannis A. Algorithmic advances in program analysis and their applications. 2017. doi:10.15479/AT:ISTA:th_854
[Published Version] View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 820 | OA
Jesse F. The lac operon in the wild. 2017. doi:10.15479/AT:ISTA:th_857
[Published Version] View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 838 | OA
Rybar M. (The exact security of) Message authentication codes. 2017. doi:10.15479/AT:ISTA:th_828
[Published Version] 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
[Published Version] View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 837 | OA
Xu H. Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. 2017. doi:10.15479/AT:ISTA:th_858
[Published Version] View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 938 | OA
Adamowski M. Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . 2017. doi:10.15479/AT:ISTA:th_842
[Published Version] View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 992 | OA
Rolinek M. Complexity of constraint satisfaction. 2017. doi:10.15479/AT:ISTA:th_815
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 718 | OA
Edelsbrunner H, Nikitenko A, Reitzner M. Expected sizes of poisson Delaunay mosaics and their discrete Morse functions. Advances in Applied Probability. 2017;49(3):745-767. doi:10.1017/apr.2017.20
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 559 | OA
Abusalah HM, Alwen JF, Cohen B, Khilko D, Pietrzak KZ, Reyzin L. Beyond Hellman’s time-memory trade-offs with applications to proofs of space. In: Vol 10625. Springer; 2017:357-379. doi:10.1007/978-3-319-70697-9_13
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 550 | OA
Alt J. Singularities of the density of states of random Gram matrices. Electronic Communications in Probability. 2017;22. doi:10.1214/17-ECP97
[Published Version] View | Files available | DOI
 
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
[Submitted Version] 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
[Submitted Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1144 | OA
Erdös L, Schröder DJ. Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. 2017;21. doi:10.1214/16-ECP38
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 486 | OA
Elek O, Sumin D, Zhang R, et al. Scattering-aware texture reproduction for 3D printing. ACM Transactions on Graphics. 2017;36(6). doi:10.1145/3130800.3130890
[Submitted Version] View | Files available | DOI
 
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
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9842 | OA
Etheridge A, Barton NH. Data for: Establishment in a new habitat by polygenic adaptation. 2017. doi:10.17632/nw68fxzjpm.1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 14206 | OA
Locatello F, Tschannen M, Rätsch G, Jaggi M. Greedy algorithms for cone constrained optimization with convergence guarantees. In: Advances in Neural Information Processing Systems. ; 2017.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 14205 | OA
Locatello F, Khanna R, Tschannen M, Jaggi M. A unified optimization view on generalized matching pursuit and Frank-Wolfe. In: Proceedings of the 20th International Conference on Artificial Intelligence and Statistics. Vol 54. ML Research Press; 2017:860-868.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2017 | Thesis | IST-REx-ID: 202 | OA
Pleska M. Biology of restriction-modification systems at the single-cell and population level. 2017. doi:10.15479/AT:ISTA:th_916
[Published Version] View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 6287 | OA
Nikitenko A. Discrete Morse theory for random complexes . 2017. doi:10.15479/AT:ISTA:th_873
[Published Version] View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 1127 | OA
Prat T. Identification of novel regulators of PIN polarity and development of novel auxin sensor. 2017.
[Published Version] View | Files available
 
2017 | Journal Article | IST-REx-ID: 2016 | OA
Martin Del Campo Sanchez A, Cepeda Humerez SA, Uhler C. Exact goodness-of-fit testing for the Ising model. Scandinavian Journal of Statistics. 2017;44(2):285-306. doi:10.1111/sjos.12251
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | 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
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 1433 | OA
Bauer U, Kerber M, Reininghaus J, Wagner H. Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. 2017;78:76-90. doi:10.1016/j.jsc.2016.03.008
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
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
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Journal Article | IST-REx-ID: 1367 | OA
Manteaux P, Wojtan C, 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
[Submitted Version] View | Files available | DOI | WoS
 
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
[Published Version] View | Files available | DOI | WoS
 
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
[Published Version] View | Files available | DOI | WoS
 
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
[Published Version] View | Files available | DOI | WoS
 
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
[Published Version] View | Files available | DOI | WoS
 
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
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 1228 | OA
Sauerzopf U, Sacco R, Novarino G, et al. Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. European Journal of Neuroscience. 2017;45(1):45-57. doi:10.1111/ejn.13418
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2017 | Book Chapter | IST-REx-ID: 1213
Baranova NS, Loose M. Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers. In: Echard A, ed. Cytokinesis. Vol 137. Academic Press; 2017:355-370. doi:10.1016/bs.mcb.2016.03.036
View | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 1198 | OA
Moser T, Seiringer R. Triviality of a model of particles with point interactions in the thermodynamic limit. Letters in Mathematical Physics. 2017;107(3):533-552. doi:10.1007/s11005-016-0915-x
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 1207 | OA
Bao Z, Erdös L, Schnelli K. Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics. 2017;349(3):947-990. doi:10.1007/s00220-016-2805-6
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 1196
Henzinger TA, Otop J. Model measuring for discrete and hybrid systems. Nonlinear Analysis: Hybrid Systems. 2017;23:166-190. doi:10.1016/j.nahs.2016.09.001
View | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 1199 | OA
Barton NH. How does epistasis influence the response to selection? Heredity. 2017;118:96-109. doi:10.1038/hdy.2016.109
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

Search

Filter Publications