Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2480 Publications


2016 | Conference Paper | IST-REx-ID: 1082 | OA
Chalk, M. J., Marre, O., & Tkačik, G. (2016). Relevant sparse codes with variational information bottleneck (Vol. 29, pp. 1965–1973). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain: Neural Information Processing Systems.
View | Files available | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Nested weighted limit-average automata of bounded width (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.24
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1093 | OA
Daca, P., Henzinger, T. A., Kretinsky, J., & Petrov, T. (2016). Linear distances between Markov chains (Vol. 59). Presented at the CONCUR: Concurrency Theory, Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2016.20
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095 | OA
Haas, A., Henzinger, T. A., Holzer, A., Kirsch, C., Lippautz, M., Payer, H., … Veith, H. (2016). Local linearizability for concurrent container-type data structures. In Leibniz International Proceedings in Informatics (Vol. 59). Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2016.6
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1097 | OA
Du, T., Schulz, A., Zhu, B., Bickel, B., & Matusik, W. (2016). Computational multicopter design (Vol. 35). Presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China: ACM. https://doi.org/10.1145/2980179.2982427
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1098 | OA
Pentina, A., & Urner, R. (2016). Lifelong learning with weighted majority votes (Vol. 29, pp. 3619–3627). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain: Neural Information Processing Systems.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1099 | OA
Malomo, L., Pietroni, N., Bickel, B., & Cignoni, P. (2016). FlexMolds: Automatic design of flexible shells for molding (Vol. 35). Presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China: ACM. https://doi.org/10.1145/2980179.2982397
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1102 | OA
Kolesnikov, A., & Lampert, C. (2016). Improving weakly-supervised object localization by micro-annotation. In Proceedings of the British Machine Vision Conference 2016 (Vol. 2016–September, p. 92.1-92.12). York, United Kingdom: BMVA Press. https://doi.org/10.5244/C.30.92
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1103 | OA
Gurung, A., Deka, A., Bartocci, E., Bogomolov, S., Grosu, R., & Ray, R. (2016). Parallel reachability analysis for hybrid systems. Presented at the MEMOCODE: International Conference on Formal Methods and Models for System Design, Kanpur, India : IEEE. https://doi.org/10.1109/MEMCOD.2016.7797741
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1115 | OA
Rueda, A., Sedlmeir, F., Collodo, M., Vogl, U., Stiller, B., Schunk, G., … Schwefel, H. (2016). Efficient single sideband microwave to optical conversion using a LiNbO inf 3 inf WGM-resonator. Presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, USA: IEEE. https://doi.org/10.1364/CLEO_SI.2016.SF2G.3
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1122 | OA
Bojsen-Hansen, M. (2016). Tracking, correcting and absorbing water surface waves. IST Austria. https://doi.org/10.15479/AT:ISTA:th_640
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1126 | OA
Pentina, A. (2016). Theoretical foundations of multi-task lifelong learning. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_776
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1128 | OA
Rieckh, G. (2016). Studying the complexities of transcriptional regulation. IST Austria.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1135 | OA
Avni, G., Guha, S., & Rodríguez Navas, G. (2016). Synthesizing time triggered schedules for switched networks with faulty links. In Proceedings of the 13th International Conference on Embedded Software . Pittsburgh, PA, USA: ACM. https://doi.org/10.1145/2968478.2968499
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1136 | OA
Manteaux, P., Vimont, U., Wojtan, C. J., Rohmer, D., & Cani, M. (2016). Space-time sculpting of liquid animation. In Proceedings of the 9th International Conference on Motion in Games . San Francisco, CA, USA: ACM. https://doi.org/10.1145/2994258.2994261
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1137 | OA
Salzer, E., Çaǧdaş, D., Hons, M., Mace, E., Garncarz, W., Petronczki, O., … Boztug, K. (2016). RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. Nature Publishing Group. https://doi.org/10.1038/ni.3575
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1138 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Quantitative automata under probabilistic semantics. In Proceedings of the 31st Annual ACM/IEEE Symposium (pp. 76–85). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2933588
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1140 | OA
Chatterjee, K., Dvoák, W., Henzinger, M., & Loitzenbauer, V. (2016). 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 (pp. 197–206). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2935304
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1142 | OA
Martins, R., Maier, J., Gorki, A., Huber, K., Sharif, O., Starkl, P., … Knapp, S. (2016). Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. Nature Publishing Group. https://doi.org/10.1038/ni.3590
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1143 | OA
Nam, P., Rougerie, N., & Seiringer, R. (2016). Ground states of large bosonic systems: The gross Pitaevskii limit revisited. Analysis and PDE. Mathematical Sciences Publishers. https://doi.org/10.2140/apde.2016.9.459
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1145 | OA
Nodzyński, T., Vanneste, S., Zwiewka, M., Pernisová, M., Hejátko, J., & Friml, J. (2016). Enquiry into the topology of plasma membrane localized PIN auxin transport components. Molecular Plant. Cell Press. https://doi.org/10.1016/j.molp.2016.08.010
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1147 | OA
Balla, J., Medved’Ová, Z., Kalousek, P., Matiješčuková, N., Friml, J., Reinöhl, V., & Procházka, S. (2016). Auxin flow mediated competition between axillary buds to restore apical dominance. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep35955
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1151 | OA
Simonini, S., Deb, J., Moubayidin, L., Stephenson, P., Valluru, M., Freire Rios, A., … Östergaard, L. (2016). A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.285361.116
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1153 | OA
Žádníková, P., Wabnik, K. T., Abuzeineh, A., Gallemí, M., Van Der Straeten, D., Smith, R., … Benková, E. (2016). A model of differential growth guided apical hook formation in plants. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.15.00569
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1154 | OA
Schwarz, J., Bierbaum, V., Merrin, J., Frank, T., Hauschild, R., Bollenbach, M. T., … Mehling, M. (2016). A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep36440
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1157 | OA
Lee, J., & Schnelli, K. (2016). Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population. Annals of Applied Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/16-AAP1193
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1158 | OA
Roux, C., Fraisse, C., Romiguier, J., Anciaux, Y., Galtier, N., & Bierne, N. (2016). Shedding light on the grey zone of speciation along a continuum of genomic divergence. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.2000234
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1164 | OA
Fulek, R., Pelsmajer, M., & Schaefer, M. (2016). Hanani-Tutte for radial planarity II (Vol. 9801, pp. 468–481). Presented at the GD: Graph Drawing and Network Visualization, Athens, Greece: Springer. https://doi.org/10.1007/978-3-319-50106-2_36
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1165 | OA
Fulek, R. (2016). C-planarity of embedded cyclic c-graphs (Vol. 9801, pp. 94–106). Presented at the GD: Graph Drawing and Network Visualization, Athens, Greece: Springer. https://doi.org/10.1007/978-3-319-50106-2_8
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1167 | OA
Zagórski, M. P., Burda, Z., & Wacław, B. (2016). Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005218
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1172 | OA
Sachdeva, H., Barma, M., & Rao, M. (2016). Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep38840
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1177 | OA
Kamath Hosdurg, C., & Chatterjee, S. (2016). A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound. Algorithmica. Springer. https://doi.org/10.1007/s00453-015-9997-6
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1179 | OA
Pietrzak, K. Z., & Maciej, S. (2016). Pseudoentropy: Lower-bounds for chain rules and transformations (Vol. 9985, pp. 183–203). Presented at the TCC: Theory of Cryptography Conference, Beijing, China: Springer. https://doi.org/10.1007/978-3-662-53641-4_8
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1182 | OA
Chatterjee, K., Ibsen-Jensen, R., & Tkadlec, J. (2016). Robust draws in balanced knockout tournaments (Vol. 2016–January, pp. 172–179). Presented at the IJCAI: International Joint Conference on Artificial Intelligence, New York, NY, USA: AAAI Press.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1184 | OA
Metzler, S., Heinze, J., & Schrempf, A. (2016). Mating and longevity in ant males. Ecology and Evolution. Wiley-Blackwell. https://doi.org/10.1002/ece3.2474
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1186 | OA
Gutierrez-Fernandez, J., Saleh, M., Alcorlo, M., Gómez Mejóa, A., Pantoja Uceda, D., Treviño, M., … Hermoso, J. (2016). Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep38094
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1188 | OA
De Martino, D., & Masoero, D. (2016). Asymptotic analysis of noisy fitness maximization, applied to metabolism & growth. Journal of Statistical Mechanics: Theory and Experiment. IOPscience. https://doi.org/10.1088/1742-5468/aa4e8f
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1193 | OA
Kolmogorov, V. (2016). Commutativity in the algorithmic Lovasz local lemma. In Proceedings - Annual IEEE Symposium on Foundations of Computer Science (Vol. 2016–December). New Brunswick, NJ, USA : IEEE. https://doi.org/10.1109/FOCS.2016.88
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1195 | OA
Franssen, S., Barton, N. H., & Schlötterer, C. (2016). Reconstruction of haplotype-blocks selected during experimental evolution. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msw210
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1197 | OA
Prentice, J., Marre, O., Ioffe, M., Loback, A., Tkačik, G., & Berry, M. (2016). Error-robust modes of the retinal population code. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005148
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1200 | OA
Hilbe, C., & Traulsen, A. (2016). 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. Elsevier. https://doi.org/10.1016/j.plrev.2016.10.004
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1202 | OA
Milutinovic, B., Peuß, R., Ferro, K., & Kurtz, J. (2016). Immune priming in arthropods: an update focusing on the red flour beetle. Zoology . Elsevier. https://doi.org/10.1016/j.zool.2016.03.006
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1203 | OA
Hu, F., Rishishwar, L., Sivadas, A., Mitchell, G., King, J., Murphy, T., … Wang, X. (2016). Comparative genomic analysis of Haemophilus haemolyticus and nontypeable Haemophilus influenzae and a new testing scheme for their discrimination. Journal of Clinical Microbiology. American Society for Microbiology. https://doi.org/10.1128/JCM.01511-16
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1204 | OA
Amir, A., Lemeshko, M., & Tokieda, T. (2016). Surprises in numerical expressions of physical constants. American Mathematical Monthly. Mathematical Association of America. https://doi.org/10.4169/amer.math.monthly.123.6.609
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1205 | OA
Jiang, Y., Liu, H., Song, H., Kong, H., Gu, M., Sun, J., & Sha, L. (2016). Safety assured formal model driven design of the multifunction vehicle bus controller (Vol. 9995, pp. 757–763). Presented at the FM: International Symposium on Formal Methods, Limassol, Cyprus: Springer. https://doi.org/10.1007/978-3-319-48989-6_47
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1206 | OA
Redchenko, E., & Lemeshko, M. (2016). Libration of strongly oriented polar molecules inside a superfluid. ChemPhysChem. Wiley-Blackwell. https://doi.org/10.1002/cphc.201601042
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1209 | OA
Letts, J. A., Degliesposti, G., Fiedorczuk, K., Skehel, M., & Sazanov, L. A. (2016). Purification of ovine respiratory complex i results in a highly active and stable preparation. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M116.735142
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1212 | OA
Rakusová, H., Abbas, M., Han, H., Song, S., Robert, H., & Friml, J. (2016). Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2016.08.067
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1216 | OA
Kasten, J., Reininghaus, J., Hotz, I., Hege, H., Noack, B., Daviller, G., & Morzyński, M. (2016). Acceleration feature points of unsteady shear flows. Archives of Mechanics. Polish Academy of Sciences Publishing House.
View | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1218 | OA
Angermayr, A., Van Alphen, P., Hasdemir, D., Kramer, G., Iqbal, M., Van Grondelle, W., … Hellingwerf, K. (2016). Culturing synechocystis sp. Strain pcc 6803 with N2 and CO2 in a diel regime reveals multiphase glycogen dynamics with low maintenance costs. Applied and Environmental Microbiology. American Society for Microbiology. https://doi.org/10.1128/AEM.00256-16
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications