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.
4938 Publications
2017 | Journal Article | IST-REx-ID: 909 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Akopyan A, Vysotsky V. On the lengths of curves passing through boundary points of a planar convex shape. The American Mathematical Monthly. 2017;124(7):588-596. doi:10.4169/amer.math.monthly.124.7.588
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 | Conference Paper | IST-REx-ID: 431 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alistarh D-A, Grubic D, Li J, Tomioka R, Vojnović M. QSGD: Communication-efficient SGD via gradient quantization and encoding. In: Vol 2017. Neural Information Processing Systems Foundation; 2017:1710-1721.
[Submitted Version]
View
| Download Submitted Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 549 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Finkbeiner B, Kupriyanov A. Causality-based model checking. In: Electronic Proceedings in Theoretical Computer Science. Vol 259. Open Publishing Association; 2017:31-38. doi:10.4204/EPTCS.259.3
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 999 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pentina A, Lampert C. Multi-task learning with labeled and unlabeled tasks. In: Vol 70. ML Research Press; 2017:2807-2816.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 485
Rueda Sanchez AR, Sedlmeir F, Collodo M, et al. Single sideband microwave to optical photon conversion-an-electro-optic-realization. In: Optics InfoBase Conference Papers. Vol F54. Optica Publishing Group; 2017. doi:10.1364/NLO.2017.NM3A.1
View
| DOI
2017 | Journal Article | IST-REx-ID: 459 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cremer S. Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. Rundgespräche Forum Ökologie. 2017;46:105-116.
[Published Version]
View
| Files available
2017 | Conference Paper | IST-REx-ID: 432 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zhang H, Li J, Kara K, Alistarh D-A, Liu J, Zhang C. ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. In: Proceedings of Machine Learning Research. Vol 70. ML Research Press; 2017:4035-4043.
[Submitted Version]
View
| Files available
2017 | Conference Paper | IST-REx-ID: 274 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kolmogorov V. A faster approximation algorithm for the Gibbs partition function. In: Proceedings of the 31st Conference On Learning Theory. Vol 75. ML Research Press; 2017:228-249.
[Published Version]
View
| Files available
| arXiv
2017 | Journal Article | IST-REx-ID: 558
Futo M, Sell M, Kutzer M, Kurtz J. Specificity of oral immune priming in the red flour beetle Tribolium castaneum. Biology Letters. 2017;13(12). doi:10.1098/rsbl.2017.0632
View
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 12193 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Walker J, Gao H, Zhang J, et al. Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. Nature Genetics. 2017;50(1):130-137. doi:10.1038/s41588-017-0008-5
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2017 | Conference Paper | IST-REx-ID: 1194 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Novotný P, Zikelic D. Stochastic invariants for probabilistic termination. In: Vol 52. ACM; 2017:145-160. doi:10.1145/3009837.3009873
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Book Chapter | IST-REx-ID: 545 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mazur E, Friml J. Vascular tissue development and regeneration in the model plant arabidopsis. In: Jurić S, ed. Plant Engineering. Plant Engineering. InTech; 2017:113-140. doi:10.5772/intechopen.69712
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 621 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Research Data | IST-REx-ID: 5562 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Marre O, Tkačik G, Amodei D, Schneidman E, Bialek W, Berry M. Multi-electrode array recording from salamander retinal ganglion cells. 2017. doi:10.15479/AT:ISTA:61
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5561 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kainmueller D, Jug F, Rother C, Meyers G. Graph matching problems for annotating C. Elegans. 2017. doi:10.15479/AT:ISTA:57
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5563 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lukacisin M. MATLAB analysis code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” 2017. doi:10.15479/AT:ISTA:64
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hahn D. Brittle fracture simulation with boundary elements for computer graphics. 2017. doi:10.15479/AT:ISTA:th_855
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 614 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Research Data | IST-REx-ID: 5564 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Steinrück M, Guet CC. Fastq files for “Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection.” 2017. doi:10.15479/AT:ISTA:65
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5568 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hahn D. Source codes: Brittle fracture simulation with boundary elements for computer graphics. 2017. doi:10.15479/AT:ISTA:73
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 7163 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fraisse C. Supplementary Files for “The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W.” 2017. doi:10.15479/AT:ISTA:7163
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5567 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Leithner AF. Immunological synapse DC-Tcells. 2017. doi:10.15479/AT:ISTA:71
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5560 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bergmiller T, Andersson AM, Tomasek K, et al. Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity. 2017. doi:10.15479/AT:ISTA:53
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 665
Bergmiller T, Andersson AM, Tomasek K, et al. Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity. Science. 2017;356(6335):311-315. doi:10.1126/science.aaf4762
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5571 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vicoso B. Data for “The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.” 2017. doi:10.15479/AT:ISTA:78
[Submitted Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5559 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Strong amplifiers of natural selection. 2017. doi:10.15479/AT:ISTA:51
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5572 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vicoso B. Code for “The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.” 2017. doi:10.15479/AT:ISTA:79
[Submitted Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 946 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
von Wangenheim D, Hauschild R, Fendrych M, Barone V, Benková E, Friml J. Live tracking of moving samples in confocal microscopy for vertically grown roots. eLife. 2017;6. doi:10.7554/eLife.26792
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1078 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
von Wangenheim D, Hauschild R, Friml J. Light sheet fluorescence microscopy of plant roots growing on the surface of a gel. Journal of visualized experiments JoVE. 2017;2017(119). doi:10.3791/55044
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Research Data | IST-REx-ID: 5565 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
von Wangenheim D, Hauschild R, Friml J. Light Sheet Fluorescence microscopy of plant roots growing on the surface of a gel. 2017. doi:10.15479/AT:ISTA:66
[Published Version]
View
| Files available
| DOI
2017 | Book Chapter | IST-REx-ID: 424 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. Bounding helly numbers via betti numbers. In: Loebl M, Nešetřil J, Thomas R, eds. A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. A Journey Through Discrete Mathematics. Springer; 2017:407-447. doi:10.1007/978-3-319-44479-6_17
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 463 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Altmeyer S, Do Y, Ryu S. Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow. Chaos. 2017;27(11). doi:10.1063/1.5002771
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 996 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shepperson B, Chatterley A, Søndergaard A, Christiansen L, Lemeshko M, Stapelfeldt H. Strongly aligned molecules inside helium droplets in the near-adiabatic regime. The Journal of Chemical Physics. 2017;147(1). doi:10.1063/1.4983703
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 912 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Deuchert A. A lower bound for the BCS functional with boundary conditions at infinity. Journal of Mathematical Physics. 2017;58(8). doi:10.1063/1.4996580
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1029 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lukacisin M, Landon M, Jajoo R. Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. PLoS One. 2017;12(3). doi:10.1371/journal.pone.0174066
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 664
Assen FP, Sixt MK. The dynamic cytokine niche. Immunity. 2017;46(4):519-520. doi:10.1016/j.immuni.2017.04.006
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 682 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ukai H, Kawahara A, Hirayama K, et al. PirB regulates asymmetries in hippocampal circuitry. PLoS One. 2017;12(6). doi:10.1371/journal.pone.0179377
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1028 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kainrath S, Stadler M, Gschaider-Reichhart E, Distel M, Janovjak HL. Green-light-induced inactivation of receptor signaling using cobalamin-binding domains. Angewandte Chemie - International Edition. 2017;56(16):4608-4611. doi:10.1002/anie.201611998
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1024 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hurny A, Benková E. Methodological advances in auxin and cytokinin biology. Auxins and Cytokinins in Plant Biology. 2017;1569:1-29. doi:10.1007/978-1-4939-6831-2_1
[Submitted Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 679 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 676 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Krens G, Veldhuis J, Barone V, et al. Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation. Development. 2017;144(10):1798-1806. doi:10.1242/dev.144964
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 704 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Steinrück M, Guet CC. Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection. eLife. 2017;6. doi:10.7554/eLife.25100
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 696 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lukacisinova M, Novak S, Paixao T. Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes. PLoS Computational Biology. 2017;13(7). doi:10.1371/journal.pcbi.1005609
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1027 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lukacisinova M, Bollenbach MT. Toward a quantitative understanding of antibiotic resistance evolution. Current Opinion in Biotechnology. 2017;46:90-97. doi:10.1016/j.copbio.2017.02.013
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 639 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Fu H, Goharshady AK. Non-polynomial worst case analysis of recursive programs. In: Majumdar R, Kunčak V, eds. Vol 10427. Springer; 2017:41-63. doi:10.1007/978-3-319-63390-9_3
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 949 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Goharshady AK, Pavlogiannis A. JTDec: A tool for tree decompositions in soot. In: D’Souza D, ed. Vol 10482. Springer; 2017:59-66. doi:10.1007/978-3-319-68167-2_4
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 661 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Smutny M, Ákos Z, Grigolon S, et al. Friction forces position the neural anlage. Nature Cell Biology. 2017;19:306-317. doi:10.1038/ncb3492
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 735
Barone V, Lang M, Krens G, et al. An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate. Developmental Cell. 2017;43(2):198-211. doi:10.1016/j.devcel.2017.09.014
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 960 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hansen AH, Düllberg CF, Mieck C, Loose M, Hippenmeyer S. Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. Frontiers in Cellular Neuroscience. 2017;11. doi:10.3389/fncel.2017.00176
[Published Version]
View
| Files available
| DOI
| WoS
2016 | Journal Article | IST-REx-ID: 1008
Gnügge R, Dharmarajan L, Lang M, Stelling J. An orthogonal permease–inducer–repressor feedback loop shows bistability. ACS Synthetic Biology. 2016;5(10):1098-1107. doi:10.1021/acssynbio.6b00013
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1068 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Dvorák W, Henzinger MH, 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
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1069 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1070 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1081 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ł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
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1082 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalk MJ, Marre O, Tkačik G. Relevant sparse codes with variational information bottleneck. In: Vol 29. Neural Information Processing Systems; 2016:1965-1973.
[Preprint]
View
| Files available
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1083
Booker S, Althof D, Gross A, et al. KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. 2016;27(3):2318-2334. doi:10.1093/cercor/bhw090
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1090 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1095 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1097 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Du T, Schulz A, Zhu B, Bickel B, Matusik W. Computational multicopter design. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982427
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1098 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pentina A, Urner R. Lifelong learning with weighted majority votes. In: Vol 29. Neural Information Processing Systems; 2016:3619-3627.
[Published Version]
View
| Files available
2016 | Conference Paper | IST-REx-ID: 1099 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1102 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1103 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1105
Savin C, Tkačik G. Estimating nonlinear neural response functions using GP priors and Kronecker methods. In: Vol 29. Neural Information Processing Systems; 2016:3610-3618.
View
| Download None (ext.)
2016 | Conference Paper | IST-REx-ID: 1115 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rueda A, Sedlmeir F, Collodo M, et al. Efficient single sideband microwave to optical conversion using a LiNbO₃ WGM-resonator. In: IEEE; 2016. doi:10.1364/CLEO_SI.2016.SF2G.3
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1135 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1134
Duggirala P, Fan C, Potok M, et al. Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP. In: 2016 IEEE Conference on Control Applications. IEEE; 2016. doi:10.1109/CCA.2016.7587948
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1136 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Manteaux P, Vimont U, Wojtan C, 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
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1137 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Salzer E, Çaǧdaş D, Hons M, Mace E, Garncarz W, Petronczki O, Platzer R, Pfajfer L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 17(12), 1352–1360.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2016 | Conference Paper | IST-REx-ID: 1138 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 1140 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Dvoák W, Henzinger MH, 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
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1142 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Martins R, Maier J, Gorki A, Huber K, Sharif O, Starkl P, Saluzzo S, Quattrone F, Gawish R, Lakovits K, Aichinger M, Radic Sarikas B, Lardeau C, Hladik A, Korosec A, Brown M, Vaahtomeri K, Duggan M, Kerjaschki D, Esterbauer H, Colinge J, Eisenbarth S, Decker T, Bennett K, Kubicek S, Sixt MK, Superti Furga G, Knapp S. 2016. Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. 17(12), 1361–1372.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1141
Łazarz R, Idzik M, Gądek K, Gajda-Zagorska EP. Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization. Journal of Computational Science. 2016;17(1):249-260. doi:10.1016/j.jocs.2016.03.004
View
| DOI
2016 | Journal Article | IST-REx-ID: 1143 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1145 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1147 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1149
Miyaji T, Pilarczyk P, Gameiro M, Kokubu H, Mischaikow K. A study of rigorous ODE integrators for multi scale set oriented computations. Applied Numerical Mathematics. 2016;107:34-47. doi:10.1016/j.apnum.2016.04.005
View
| DOI
2016 | Journal Article | IST-REx-ID: 1150
Renkawitz J, Sixt MK. A Radical Break Restraining Neutrophil Migration. Developmental Cell. 2016;38(5):448-450. doi:10.1016/j.devcel.2016.08.017
View
| DOI
2016 | Journal Article | IST-REx-ID: 1151 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1153 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Žá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
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1154 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1157 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1170
Lang M, Stelling J. Modular parameter identification of biomolecular networks. SIAM Journal on Scientific Computing. 2016;38(6):B988-B1008. doi:10.1137/15M103306X
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1171
Tkačik G. Understanding regulatory networks requires more than computing a multitude of graph statistics: Comment on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function" by O. C. Martin et al. Physics of Life Reviews. 2016;17:166-167. doi:10.1016/j.plrev.2016.06.005
View
| DOI
2016 | Journal Article | IST-REx-ID: 1172 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1177 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kamath Hosdurg C, Chatterjee S. A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound. Algorithmica. 2016;74(4):1321-1362. doi:10.1007/s00453-015-9997-6
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1179 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pietrzak KZ, Maciej S. Pseudoentropy: Lower-bounds for chain rules and transformations. In: Vol 9985. Springer; 2016:183-203. doi:10.1007/978-3-662-53641-4_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1181
Dwyer N, Chen B, Chou S, Hippenmeyer S, Nguyen L, Ghashghaei T. Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity. Journal of Neuroscience. 2016;36(45):11394-11401. doi:10.1523/JNEUROSCI.2359-16.2016
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1182 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Ibsen-Jensen R, Tkadlec J. Robust draws in balanced knockout tournaments. In: Vol 2016-January. AAAI Press; 2016:172-179.
[Preprint]
View
| Files available
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1184 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Metzler S, Heinze J, Schrempf A. Mating and longevity in ant males. Ecology and Evolution. 2016;6(24):8903-8906. doi:10.1002/ece3.2474
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1185
Cucinotta M, Manrique S, Guazzotti A, et al. Cytokinin response factors integrate auxin and cytokinin pathways for female reproductive organ development. Development. 2016;143(23):4419-4424. doi:10.1242/dev.143545
View
| DOI
2016 | Journal Article | IST-REx-ID: 1186 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gutierrez-Fernandez J, Saleh M, Alcorlo M, et al. Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis. Scientific Reports. 2016;6. doi:10.1038/srep38094
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1188 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
De Martino D, Masoero D. Asymptotic analysis of noisy fitness maximization, applied to metabolism & growth. Journal of Statistical Mechanics: Theory and Experiment. 2016;2016(12). doi:10.1088/1742-5468/aa4e8f
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1195 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Franssen S, Barton NH, Schlötterer C. Reconstruction of haplotype-blocks selected during experimental evolution. Molecular Biology and Evolution. 2016;34(1):174-184. doi:10.1093/molbev/msw210
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1200 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hilbe C, Traulsen A. Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on “Evolutionary game theory using agent-based methods” by C. Adami, J. Schossau and A. Hintze. Physics of Life Reviews. 2016;19:29-31. doi:10.1016/j.plrev.2016.10.004
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1201
Renkawitz J, Sixt MK. Formin’ a nuclear protection. Cell. 2016;167(6):1448-1449. doi:10.1016/j.cell.2016.11.024
View
| DOI
2016 | Journal Article | IST-REx-ID: 1202 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Milutinovic B, Peuß R, Ferro K, Kurtz J. Immune priming in arthropods: an update focusing on the red flour beetle. Zoology . 2016;119(4):254-261. doi:10.1016/j.zool.2016.03.006
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1203 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hu F, Rishishwar L, Sivadas A, et al. Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination. Journal of Clinical Microbiology. 2016;54(12):3010-3017. doi:10.1128/JCM.01511-16
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1204 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Amir A, Lemeshko M, Tokieda T. Surprises in numerical expressions of physical constants. American Mathematical Monthly. 2016;123(6):609-612. doi:10.4169/amer.math.monthly.123.6.609
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1206 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Redchenko E, Lemeshko M. Libration of strongly oriented polar molecules inside a superfluid. ChemPhysChem. 2016;17(22):3649-3654. doi:10.1002/cphc.201601042
[Preprint]
View
| DOI
| Download Preprint (ext.)