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.




3874 Publications

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
 

Search

Filter Publications