Please note that ISTA 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.

3934 Publications


2017 | Conference Paper | IST-REx-ID: 1000 | OA
Kolesnikov, A., & Lampert, C. (2017). PixelCNN models with auxiliary variables for natural image modeling. In 34th International Conference on Machine Learning (Vol. 70, pp. 1905–1914). Sydney, Australia: JMLR.
View | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1001 | OA
Guseinov, R., Miguel, E., & Bickel, B. (2017). CurveUps: Shaping objects from flat plates with tension-actuated curvature (Vol. 36). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/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. (2017). Functionality-aware retargeting of mechanisms to 3D shapes (Vol. 36). Presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States : ACM. https://doi.org/10.1145/3072959.3073710
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1003 | OA
Avni, G., Guha, S., & Kupferman, O. (2017). An abstraction-refinement methodology for reasoning about network games (pp. 70–76). Presented at the IJCAI: International Joint Conference on Artificial Intelligence , Melbourne, Australia: AAAI Press. https://doi.org/10.24963/ijcai.2017/11
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1004 | OA
Ötvös, K., & Benková, E. (2017). Spatiotemporal mechanisms of root branching. Current Opinion in Genetics & Development. Elsevier. https://doi.org/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., Behrens, S., Essar, D., Rosenstiel, P., … Kurtz, J. (2017). Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. BioMed Central. https://doi.org/10.1186/s12864-017-3705-7
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1007 | OA
Lang, M., & Sontag, E. (2017). Zeros of nonlinear systems with input invariances. Automatica. IFAC, the International Federation of Automatic Control. https://doi.org/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. (2017). Optimizing expectation with guarantees in POMDPs. In Proceedings of the 31st AAAI Conference on Artificial Intelligence (Vol. 5, pp. 3725–3732). San Francisco, CA, United States: AAAI Press.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1010 | OA
Alt, J., Erdös, L., & Krüger, T. H. (2017). Local law for random Gram matrices. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/17-EJP42
View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1011 | OA
Chatterjee, K., Kragl, B., Mishra, S., & Pavlogiannis, A. (2017). Faster algorithms for weighted recursive state machines. In H. Yang (Ed.) (Vol. 10201, pp. 287–313). Presented at the ESOP: European Symposium on Programming, Uppsala, Sweden: Springer. https://doi.org/10.1007/978-3-662-54434-1_11
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1015 | OA
Bighin, G., & Salasnich, L. (2017). Vortices and antivortices in two-dimensional ultracold Fermi gases. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep45702
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1016
Breuss, M., Nguyen, T., Srivatsan, A., Leca, I., Tian, G., Fritz, T., … Gleeson, J. (2017). Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/ddw383
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1017 | OA
Breuss, M., Leca, I., Gstrein, T., Hansen, A. H., & Keays, D. (2017). Tubulins and brain development: The origins of functional specification. Molecular and Cellular Neuroscience. Academic Press. https://doi.org/10.1016/j.mcn.2017.03.002
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1018
Dobisova, T., Hrdinova, V., Cuesta, C., Michlickova, S., Urbankova, I., Hejatkova, R., … Hejátko, J. (2017). Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.16.01964
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1019
Argyridou, E., Huylmans, A. K., Königer, A., & Parsch, J. (2017). X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. Heredity. Nature Publishing Group. https://doi.org/10.1038/hdy.2017.12
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1020 | OA
Caixeiro, S., Peruzzo, M., Onelli, O., Vignolini, S., & Sapienza, R. (2017). Disordered cellulose based nanostructures for enhanced light scattering. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.6b15986
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1021 | OA
Lopez Alonso, J. M., & Avila, M. (2017). Boundary layer turbulence in experiments on quasi Keplerian flows. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2017.109
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1022 | OA
Pranav, P., Edelsbrunner, H., Van De Weygaert, R., Vegter, G., Kerber, M., Jones, B., & Wintraecken, M. (2017). The topology of the cosmic web in terms of persistent Betti numbers. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stw2862
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1023 | OA
Nemish, Y. (2017). Local law for the product of independent non-Hermitian random matrices with independent entries. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/17-EJP38
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1025
Heisenberg, C.-P. J. (2017). Cell biology: Stretched divisions. Nature. Nature Publishing Group. https://doi.org/10.1038/nature21502
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1030 | OA
Villányi, M. (2017). Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library. Informationspraxis. Univ.-Bibliothek Heidelberg. https://doi.org/10.11588/ip.2017.1.35227
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 10416 | OA
Chatterjee, K., Choudhary, B., & Pavlogiannis, A. (2017). Optimal Dyck reachability for data-dependence and Alias analysis. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3158118
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 10417 | OA
Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., & Vaidya, K. (2017). Data-centric dynamic partial order reduction. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3158119
View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 10418 | OA
Mciver, A., Morgan, C., Kaminski, B. L., & Katoen, J. P. (2017). A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3158121
View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 2016 | OA
Martin Del Campo Sanchez, A., Cepeda Humerez, S. A., & Uhler, C. (2017). Exact goodness-of-fit testing for the Ising model. Scandinavian Journal of Statistics. Wiley-Blackwell. https://doi.org/10.1111/sjos.12251
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
Kolmogorov, V. (2017). A faster approximation algorithm for the Gibbs partition function. In Proceedings of the 31st Conference On Learning Theory (Vol. 75, pp. 228–249). PMLR.
View | Files available | arXiv
 

2017 | Thesis | IST-REx-ID: 938 | OA
Adamowski, M. (2017). Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . IST Austria. https://doi.org/10.15479/AT:ISTA:th_842
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 939 | OA
Midya, B., & Konotop, V. (2017). Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.119.033905
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 941
Le, X., Chu, D. H., Lo, D., Le Goues, C., & Visser, W. (2017). JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 376–379). Santa Barbara, CA, United States: ACM. https://doi.org/10.1145/3092703.3098225
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 942
Le, X., Chu, D. H., Lo, D., Le Goues, C., & Visser, W. (2017). S3: Syntax- and semantic-guided repair synthesis via programming by examples (Vol. F130154, pp. 593–604). Presented at the FSE: Foundations of Software Engineering, Paderborn, Germany: ACM. https://doi.org/10.1145/3106237.3106309
View | DOI
 

2017 | Journal Article | IST-REx-ID: 943 | OA
Zagórski, M. P., Tabata, Y., Brandenberg, N., Lutolf, M., Tkačik, G., Bollenbach, T., … Kicheva, A. (2017). Decoding of position in the developing neural tube from antiparallel morphogen gradients. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aam5887
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 944
Beattie, R. J., Postiglione, M. P., Burnett, L., Laukoter, S., Streicher, C., Pauler, F., … Hippenmeyer, S. (2017). Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells. Neuron. Cell Press. https://doi.org/10.1016/j.neuron.2017.04.012
View | DOI
 

2017 | Journal Article | IST-REx-ID: 945 | OA
Huylmans, A. K., Macon, A., & Vicoso, B. (2017). Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msx190
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 946 | OA
von Wangenheim, D., Hauschild, R., Fendrych, M., Barone, V., Benková, E., & Friml, J. (2017). Live tracking of moving samples in confocal microscopy for vertically grown roots. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.26792
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 947 | OA
De Martino, D., Capuani, F., & De Martino, A. (2017). Quantifying the entropic cost of cellular growth control. Physical Review E Statistical Nonlinear and Soft Matter Physics . American Institute of Physics. https://doi.org/10.1103/PhysRevE.96.010401
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 950 | OA
Avni, G., Henzinger, T. A., & Chonev, V. K. (2017). Infinite-duration bidding games (Vol. 85). Presented at the CONCUR: Concurrency Theory, Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2017.21
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 951 | OA
Schmidt, T., Barton, N. H., Rasic, G., Turley, A., Montgomery, B., Iturbe Ormaetxe, I., … Turelli, M. (2017). Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.2001894
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 952 | OA
Turelli, M., & Barton, N. H. (2017). Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti. Theoretical Population Biology. Elsevier. https://doi.org/10.1016/j.tpb.2017.03.003
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 953 | OA
Charlesworth, D., Barton, N. H., & Charlesworth, B. (2017). The sources of adaptive evolution. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2016.2864
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 954 | OA
Lagator, M., Paixao, T., Barton, N. H., Bollback, J. P., & Guet, C. C. (2017). On the mechanistic nature of epistasis in a canonical cis-regulatory element. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.25192
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 955 | OA
Friedlander, T., Prizak, R., Barton, N. H., & Tkačik, G. (2017). Evolution of new regulatory functions on biophysically realistic fitness landscapes. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-017-00238-8
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 956 | OA
Carlen, E., & Maas, J. (2017). Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance. Journal of Functional Analysis. Academic Press. https://doi.org/10.1016/j.jfa.2017.05.003
View | DOI | Download Submitted Version (ext.)
 

2017 | Book Chapter | IST-REx-ID: 957
Clifton, B., Whitfield, J., Sanchez-Romero, I., Herde, M., Henneberger, C., Janovjak, H. L., & Jackson, C. (2017). Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors. In V. Stein (Ed.), Synthetic Protein Switches (Vol. 1596, pp. 71–87). Springer. https://doi.org/10.1007/978-1-4939-6940-1_5
View | DOI
 

2017 | Book Chapter | IST-REx-ID: 958
Mitchell, J., Zhang, W., Herde, M., Henneberger, C., Janovjak, H. L., O’Mara, M., & Jackson, C. (2017). Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment. In V. Stein (Ed.), Synthetic Protein Switches (Vol. 1596, pp. 89–99). Springer. https://doi.org/10.1007/978-1-4939-6940-1_6
View | DOI
 

2017 | Journal Article | IST-REx-ID: 959 | OA
De Martino, D. (2017). Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics. Physical Review E Statistical Nonlinear and Soft Matter Physics . American Institute of Physics. https://doi.org/10.1103/PhysRevE.95.062419
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 960 | OA
Hansen, A. H., Düllberg, C. F., Mieck, C., Loose, M., & Hippenmeyer, S. (2017). Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. Frontiers in Cellular Neuroscience. Frontiers Research Foundation. https://doi.org/10.3389/fncel.2017.00176
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 962
Trinh, M., Chu, D. H., & Jaffar, J. (2017). Model counting for recursively-defined strings. In R. Majumdar & V. Kunčak (Eds.) (Vol. 10427, pp. 399–418). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer. https://doi.org/10.1007/978-3-319-63390-9_21
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 963 | OA
Avni, G., Guha, S., & Kupferman, O. (2017). Timed network games with clocks (Vol. 83). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2017.37
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9707
Riccio, P., Cebrián, C., Zong, H., Hippenmeyer, S., & Costantini, F. (2017). Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis. Dryad. https://doi.org/10.5061/dryad.pk16b
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. (2017). Data from: Error-robust modes of the retinal population code. Dryad. https://doi.org/10.5061/dryad.1f1rc
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9842
Etheridge, A., & Barton, N. H. (2017). Data for: Establishment in a new habitat by polygenic adaptation. Mendeley Data. https://doi.org/10.17632/nw68fxzjpm.1
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9844
Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S., … Ackermann, M. (2017). Source data for figures and tables. Public Library of Science. https://doi.org/10.1371/journal.pgen.1007122.s018
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9845
Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S., … Ackermann, M. (2017). Mathematical model. Public Library of Science. https://doi.org/10.1371/journal.pgen.1007122.s017
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9846
Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S., … Ackermann, M. (2017). Supplementary methods. Public Library of Science. https://doi.org/10.1371/journal.pgen.1007122.s016
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9849
Lukacisinova, M., Novak, S., & Paixao, T. (2017). Modelling and simulation details. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609.s001
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9850
Lukacisinova, M., Novak, S., & Paixao, T. (2017). Extensions of the model. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609.s002
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9851
Lukacisinova, M., Novak, S., & Paixao, T. (2017). Heuristic prediction for multiple stresses. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609.s003
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9852
Lukacisinova, M., Novak, S., & Paixao, T. (2017). Resistance frequencies for different combination strategies. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609.s004
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9853
Giehr, J., Grasse, A. V., Cremer, S., Heinze, J., & Schrempf, A. (2017). Raw data from ant queens increase their reproductive efforts after pathogen infection. The Royal Society. https://doi.org/10.6084/m9.figshare.5117788.v1
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9855
Chalk, M. J., Masset, P., Gutkin, B., & Denève, S. (2017). Supplementary appendix. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005582.s001
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9856
Schmidt, T., Barton, N. H., Rasic, G., Turley, A., Montgomery, B., Iturbe Ormaetxe, I., … Turelli, M. (2017). Supporting Information concerning additional likelihood analyses and results. Public Library of Science. https://doi.org/10.1371/journal.pbio.2001894.s014
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9857
Schmidt, T., Barton, N. H., Rasic, G., Turley, A., Montgomery, B., Iturbe Ormaetxe, I., … Turelli, M. (2017). Supporting information concerning observed wMel frequencies and analyses of habitat variables. Public Library of Science . https://doi.org/10.1371/journal.pbio.2001894.s015
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9858
Schmidt, T., Barton, N. H., Rasic, G., Turley, A., Montgomery, B., Iturbe Ormaetxe, I., … Turelli, M. (2017). Excel file with data on mosquito densities, Wolbachia infection status and housing characteristics. Public Library of Science. https://doi.org/10.1371/journal.pbio.2001894.s016
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9859
Greenwood, J., Milutinovic, B., Peuß, R., Behrens, S., Essar, D., Rosenstiel, P., … Kurtz, J. (2017). Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. Springer Nature. https://doi.org/10.6084/m9.figshare.c.3756974_d1.v1
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9860
Greenwood, J., Milutinovic, B., Peuß, R., Behrens, S., Essar, D., Rosenstiel, P., … Kurtz, J. (2017). Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. Springer Nature. https://doi.org/10.6084/m9.figshare.c.3756974_d5.v1
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9861
Argyridou, E., Huylmans, A. K., Königer, A., & Parsch, J. (2017). Data from: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. Dryad. https://doi.org/10.5061/dryad.02f6r
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 988 | OA
Nanda, G., Aguilera Servin, J. L., Rakyta, P., Kormányos, A., Kleiner, R., Koelle, D., … Goswami, S. (2017). Current-phase relation of ballistic graphene Josephson junctions. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.7b00097
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 989
Maas, J., Rumpf, M., & Simon, S. (2017). Transport based image morphing with intensity modulation. In F. Lauze, Y. Dong, & A. Bjorholm Dahl (Eds.) (Vol. 10302, pp. 563–577). Presented at the SSVM:  Scale Space and Variational Methods in Computer Vision, Kolding, Denmark: Springer. https://doi.org/10.1007/978-3-319-58771-4_45
View | DOI
 

2017 | Journal Article | IST-REx-ID: 990 | OA
Sachdeva, H., & Barton, N. H. (2017). Divergence and evolution of assortative mating in a polygenic trait model of speciation with gene flow. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/evo.13252
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 991
Chen, C., & Jonas, P. M. (2017). Synaptotagmins: That’s why so many. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2017.05.011
View | DOI
 

2017 | Thesis | IST-REx-ID: 992 | OA
Rolinek, M. (2017). Complexity of constraint satisfaction. IST Austria. https://doi.org/10.15479/AT:ISTA:th_815
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 993 | OA
Levina (Martius), A., & Priesemann, V. (2017). Subsampling scaling. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms15140
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 994 | OA
Cherepanov, I., & Lemeshko, M. (2017). Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules. Physical Review Materials. American Physical Society. https://doi.org/10.1103/PhysRevMaterials.1.035602
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 995 | OA
Bighin, G., & Lemeshko, M. (2017). Diagrammatic approach to orbital quantum impurities interacting with a many-particle environment. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.96.085410
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 996 | OA
Shepperson, B., Chatterley, A., Søndergaard, A., Christiansen, L., Lemeshko, M., & Stapelfeldt, H. (2017). Strongly aligned molecules inside helium droplets in the near-adiabatic regime. The Journal of Chemical Physics. AIP. https://doi.org/10.1063/1.4983703
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 997 | OA
Yakaboylu, E., Deuchert, A., & Lemeshko, M. (2017). Emergence of non-abelian magnetic monopoles in a quantum impurity problem. APS Physics, Physical Review Letters. American Physiological Society. https://doi.org/10.1103/PhysRevLett.119.235301
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 998 | OA
Rebuffi, S. A., Kolesnikov, A., Sperl, G., & Lampert, C. (2017). iCaRL: Incremental classifier and representation learning (Vol. 2017, pp. 5533–5542). Presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States: IEEE. https://doi.org/10.1109/CVPR.2017.587
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 999 | OA
Pentina, A., & Lampert, C. (2017). Multi-task learning with labeled and unlabeled tasks (Vol. 70, pp. 2807–2816). Presented at the ICML: International Conference on Machine Learning, Sydney, Australia: Omnipress.
View | Download Submitted Version (ext.)
 

2017 | Book Chapter | IST-REx-ID: 424 | OA
Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2017). Bounding helly numbers via betti numbers. In M. Loebl, J. Nešetřil, & R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek (pp. 407–447). Springer. https://doi.org/10.1007/978-3-319-44479-6_17
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 431 | OA
Alistarh, D.-A., Grubic, D., Li, J., Tomioka, R., & Vojnović, M. (2017). QSGD: Communication-efficient SGD via gradient quantization and encoding (Vol. 2017, pp. 1710–1721). Presented at the NIPS: Neural Information Processing System, Long Beach, CA, United States: Neural Information Processing Systems Foundation, Inc.
View | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 432 | OA
Zhang, H., Li, J., Kara, K., Alistarh, D.-A., Liu, J., & Zhang, C. (2017). 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, pp. 4035–4043). Sydney, Australia: PMLR.
View | Files available
 

2017 | Journal Article | IST-REx-ID: 481 | OA
Biedl, T., Huber, S., & Palfrader, P. (2017). Planar matchings for weighted straight skeletons. International Journal of Computational Geometry and Applications. World Scientific Publishing. https://doi.org/10.1142/S0218195916600050
View | Files available | DOI
 

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

2017 | Journal Article | IST-REx-ID: 1159 | OA
Steenackers, W., Klíma, P., Quareshy, M., Cesarino, I., Kumpf, R., Corneillie, S., … Vanholme, B. (2017). Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.16.00943
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Book Chapter | IST-REx-ID: 625 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2017). The cost of exactness in quantitative reachability. In L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, & R. Mardare (Eds.), Models, Algorithms, Logics and Tools (Vol. 10460, pp. 367–381). Springer. https://doi.org/10.1007/978-3-319-63121-9_18
View | Files available | DOI
 

2017 | Book | IST-REx-ID: 567
Erdös, L., & Yau, H. (2017). A Dynamical Approach to Random Matrix Theory (Vol. 28). American Mathematical Society. https://doi.org/10.1090/cln/028
View | DOI
 

2017 | Book Chapter | IST-REx-ID: 649
Maas, J. (2017). Entropic Ricci curvature for discrete spaces. In L. Najman & P. Romon (Eds.), Modern Approaches to Discrete Curvature (Vol. 2184, pp. 159–174). Springer. https://doi.org/10.1007/978-3-319-58002-9_5
View | DOI
 

2017 | Conference (Editor) | IST-REx-ID: 638
Bogomolov, S., Martel, M., & Prabhakar, P. (Eds.). (2017). Numerical Software Verification (Vol. 10152). Presented at the NSV: Numerical Software Verification, Toronto, ON, Canada: Springer. https://doi.org/10.1007/978-3-319-54292-8
View | DOI
 

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

2017 | Thesis | IST-REx-ID: 202 | OA
Pleska, M. (2017). Biology of restriction-modification systems at the single-cell and population level. IST Austria. https://doi.org/10.15479/AT:ISTA:th_916
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 561 | OA
Pleska, M., & Guet, C. C. (2017). Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. The Royal Society. https://doi.org/10.1098/rsbl.2017.0646
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1013 | OA
Fink, J. M. (2017). Viewpoint: Microwave quantum states beat the heat. Physics. American Physical Society. https://doi.org/10.1103/Physics.10.32
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9847
Pleska, M., & Guet, C. C. (2017). Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification. The Royal Society. https://doi.org/10.6084/m9.figshare.5633917.v1
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 653 | OA
Makohon Moore, A., Zhang, M., Reiter, J., Božić, I., Allen, B., Kundu, D., … Iacobuzio Donahue, C. (2017). Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer. Nature Genetics. Nature Publishing Group. https://doi.org/10.1038/ng.3764
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1228 | OA
Sauerzopf, U., Sacco, R., Novarino, G., Niello, M., Weidenauer, A., Praschak Rieder, N., … Willeit, M. (2017). Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/ejn.13418
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Thesis | IST-REx-ID: 961 | OA
Barone, V. (2017). Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. IST Austria. https://doi.org/10.15479/AT:ISTA:th_825
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1026
Agus, V., & Janovjak, H. L. (2017). Optogenetic methods in drug screening: Technologies and applications. Current Opinion in Biotechnology. Elsevier. https://doi.org/10.1016/j.copbio.2017.02.006
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1433 | OA
Bauer, U., Kerber, M., Reininghaus, J., & Wagner, H. (2017). Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. Academic Press. https://doi.org/10.1016/j.jsc.2016.03.008
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 840 | OA
Vukušić, L., Kukucka, J., Watzinger, H., & Katsaros, G. (2017). Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.7b02627
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 552 | OA
Chatterjee, K., Henzinger, M. H., & Svozil, A. (2017). Faster algorithms for mean-payoff parity games. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2017.39
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications