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.

6514 Publications


2017 | Journal Article | IST-REx-ID: 9590 | OA
Krivelevich, M., Kwan, M. A., & Sudakov, B. (2017). Bounded-degree spanning trees in randomly perturbed graphs. SIAM Journal on Discrete Mathematics. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/15m1032910
View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Book Chapter | IST-REx-ID: 1213
Baranova, N. S., & Loose, M. (2017). Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers. In A. Echard (Ed.), Cytokinesis (Vol. 137, pp. 355–370). Academic Press. https://doi.org/10.1016/bs.mcb.2016.03.036
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9660 | OA
Cheng, B., Tribello, G. A., & Ceriotti, M. (2017). The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/1.4997180
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 9661 | OA
Cheng, B., & Ceriotti, M. (2017). Bridging the gap between atomistic and macroscopic models of homogeneous nucleation. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/1.4973883
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

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 | Journal Article | IST-REx-ID: 1199 | OA
Barton, N. H. (2017). How does epistasis influence the response to selection? Heredity. Nature Publishing Group. https://doi.org/10.1038/hdy.2016.109
View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1029 | OA
Lukacisin, M., Landon, M., & Jajoo, R. (2017). Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0174066
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 664
Assen, F. P., & Sixt, M. K. (2017). The dynamic cytokine niche. Immunity. Cell Press. https://doi.org/10.1016/j.immuni.2017.04.006
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 682 | OA
Ukai, H., Kawahara, A., Hirayama, K., Case, M. J., Aino, S., Miyabe, M., … Ito, I. (2017). PirB regulates asymmetries in hippocampal circuitry. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0179377
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 696 | OA
Lukacisinova, M., Novak, S., & Paixao, T. (2017). Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1027 | OA
Lukacisinova, M., & Bollenbach, M. T. (2017). Toward a quantitative understanding of antibiotic resistance evolution. Current Opinion in Biotechnology. Elsevier. https://doi.org/10.1016/j.copbio.2017.02.013
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1024 | OA
Hurny, A., & Benková, E. (2017). Methodological advances in auxin and cytokinin biology. Auxins and Cytokinins in Plant Biology. Springer. https://doi.org/10.1007/978-1-4939-6831-2_1
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 676 | OA
Krens, G., Veldhuis, J., Barone, V., Capek, D., Maître, J.-L., Brodland, W., & Heisenberg, C.-P. J. (2017). Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.144964
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 704 | OA
Steinrück, M., & Guet, C. C. (2017). Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.25100
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 661 | OA
Smutny, M., Ákos, Z., Grigolon, S., Shamipour, S., Ruprecht, V., Capek, D., … Heisenberg, C.-P. J. (2017). Friction forces position the neural anlage. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb3492
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Conference Paper | IST-REx-ID: 949 | OA
Chatterjee, K., Goharshady, A. K., & Pavlogiannis, A. (2017). JTDec: A tool for tree decompositions in soot. In D. D’Souza (Ed.) (Vol. 10482, pp. 59–66). Presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India: Springer. https://doi.org/10.1007/978-3-319-68167-2_4
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee, K., Fu, H., & Goharshady, A. K. (2017). Non-polynomial worst case analysis of recursive programs. In R. Majumdar & V. Kunčak (Eds.) (Vol. 10427, pp. 41–63). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer. https://doi.org/10.1007/978-3-319-63390-9_3
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 261
Browning, T. D., & Vinogradov, I. (2016). Effective ratner theorem for SL (2, R) ⋉R2 and gaps in √n modulo 1. Journal of the London Mathematical Society. John Wiley and Sons Ltd. https://doi.org/10.1112/jlms/jdw025
View | DOI
 

2016 | Journal Article | IST-REx-ID: 262 | OA
Browning, T. D., & Newton, R. (2016). The proportion of failures of the Hasse norm principle. Mathematika. Cambridge University Press. https://doi.org/10.1112/S0025579315000261
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 263 | OA
De La Bretèche, R., Browning, T. D., & Salberger, P. (2016). Counting rational points on the Cayley ruled cubic. European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-015-0049-1
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 264 | OA
Bright, M., Browning, T. D., & Loughran, D. (2016). Failures of weak approximation in families. Compositio Mathematica. Cambridge University Press. https://doi.org/10.1112/S0010437X16007405
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 8020 | OA
Barron, H. C., Vogels, T. P., Emir, U. E., Makin, T. R., O’Shea, J., Clare, S., … Behrens, T. E. J. (2016). Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2016.02.031
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 8094 | OA
Martius, G. S., Hostettler, R., Knoll, A., & Der, R. (2016). Self-organized control of an tendon driven arm by differential extrinsic plasticity. In Proceedings of the Artificial Life Conference 2016 (Vol. 28, pp. 142–143). Cancun, Mexico: MIT Press. https://doi.org/10.7551/978-0-262-33936-0-ch029
View | Files available | DOI
 

2016 | Preprint | IST-REx-ID: 8128 | OA
Clopath, C., Vogels, T. P., Froemke, R. C., & Sprekeler, H. (2016). Receptive field formation by interacting excitatory and inhibitory synaptic plasticity. bioRxiv. Cold Spring Harbor Laboratory.
View | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 813
Füzik, T., Píchalová, R., Schur, F. K., Strohalmová, K., Křížová, I., Hadravová, R., … Ruml, T. (2016). Nucleic acid binding by Mason-Pfizer monkey virus CA promotes virus assembly and genome packaging. Journal of Virology. ASM. https://doi.org/10.1128/JVI.03197-15
View | DOI
 

2016 | Journal Article | IST-REx-ID: 816
Schur, F. K., Obr, M., Hagen, W., Wan, W., Jakobi, A., Kirkpatrick, J., … Briggs, J. (2016). An atomic model of HIV-1 capsid-SP1 reveals structures regulating assembly and maturation. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aaf9620
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8241 | OA
Singer, J., Manzano-Szalai, K., Singer, J., Thell, K., Bentley-Lukschal, A., Stremnitzer, C., … Jensen-Jarolim, E. (2016). Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform. OncoImmunology. Taylor & Francis. https://doi.org/10.1080/2162402x.2016.1171446
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 8300
Kokoris Kogias, E., Voutyras, O., & Varvarigou, T. (2016). TRM-SIoT: A scalable hybrid trust & reputation model for the social Internet of Things. In 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation. Berlin, Germany: IEEE. https://doi.org/10.1109/etfa.2016.7733612
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 8302 | OA
Kokoris Kogias, E., Jovanovic, P., Gailly, N., Khoffi, I., Gasser, L., & Ford, B. (2016). Enhancing bitcoin security and performance with strong consistency via collective signing. In Proceedings of the 25th USENIX Conference on Security Symposium (pp. 279–296). Austin, TX, United States: USENIX Association.
View | Download Published Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 8452
Rodrigues, C. D. A., Henry, X., Neumann, E., Kurauskas, V., Bellard, L., Fichou, Y., … Morlot, C. (2016). A ring-shaped conduit connects the mother cell and forespore during sporulation in Bacillus subtilis. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1609604113
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8453
Kurauskas, V., Weber, E., Hessel, A., Ayala, I., Marion, D., & Schanda, P. (2016). Cross-correlated relaxation of dipolar coupling and chemical-shift anisotropy in magic-angle spinning R1ρ NMR measurements: Application to protein backbone dynamics measurements. The Journal of Physical Chemistry B. American Chemical Society. https://doi.org/10.1021/acs.jpcb.6b06129
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8454
Schanda, P., & Ernst, M. (2016). Studying dynamics by magic-angle spinning solid-state NMR spectroscopy: Principles and applications to biomolecules. Progress in Nuclear Magnetic Resonance Spectroscopy. Elsevier. https://doi.org/10.1016/j.pnmrs.2016.02.001
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8455
Kurauskas, V., Crublet, E., Macek, P., Kerfah, R., Gauto, D. F., Boisbouvier, J., & Schanda, P. (2016). Sensitive proton-detected solid-state NMR spectroscopy of large proteins with selective CH3labelling: Application to the 50S ribosome subunit. Chemical Communications. Royal Society of Chemistry. https://doi.org/10.1039/c6cc04484k
View | DOI
 

2016 | Journal Article | IST-REx-ID: 849
Saint Léger, A., Bello, C., Dans, P., Torres, A., Novoa, E., Camacho, N., … Ribas De Pouplana, L. (2016). Saturation of recognition elements blocks evolution of new tRNA identities. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.1501860
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8493
Guardia, M., Kaloshin, V., & Zhang, J. (2016). A second order expansion of the separatrix map for trigonometric perturbations of a priori unstable systems. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-016-2705-9
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8494
Bernard, P., Kaloshin, V., & Zhang, K. (2016). Arnold diffusion in arbitrary degrees of freedom and normally hyperbolic invariant cylinders. Acta Mathematica. Institut Mittag-Leffler. https://doi.org/10.1007/s11511-016-0141-5
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8496
Avila, A., De Simoi, J., & Kaloshin, V. (2016). An integrable deformation of an ellipse of small eccentricity is an ellipse. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2016.184.2.5
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8497
Féjoz, J., Guàrdia, M., Kaloshin, V., & Roldán, P. (2016). Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem. Journal of the European Mathematical Society. European Mathematical Society Publishing House. https://doi.org/10.4171/jems/642
View | DOI
 

2016 | Journal Article | IST-REx-ID: 850
Sarkisyan K, Bolotin D, Meer M, Usmanova D, Mishin A, Sharonov G, Ivankov D, Bozhanova N, Baranov M, Soylemez O, Bogatyreva N, Vlasov P, Egorov E, Logacheva M, Kondrashov A, Chudakov D, Putintseva E, Mamedov I, Tawfik D, Lukyanov K, Kondrashov F. 2016. Local fitness landscape of the green fluorescent protein. Nature. 533, 397–401.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 853
Rivkina, E., Petrovskaya, L., Vishnivetskaya, T., Krivushin, K., Shmakova, L., Tutukina, M., … Kondrashov, F. (2016). Metagenomic analyses of the late Pleistocene permafrost - Additional tools for reconstruction of environmental conditions. Biogeosciences. European Geosciences Union. https://doi.org/10.5194/bg-13-2207-2016
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1705 | OA
Bogomolov, S., Donzé, A., Frehse, G., Grosu, R., Johnson, T., Ladan, H., … Wehrle, M. (2016). Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. Springer. https://doi.org/10.1007/s10009-015-0393-y
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1707
Pielorz, J., & Lampert, C. (2016). Optimal geospatial allocation of volunteers for crisis management. Presented at the ICT-DM: Information and Communication Technologies for Disaster Management, Rennes, France: IEEE. https://doi.org/10.1109/ICT-DM.2015.7402041
View | DOI
 

2016 | Journal Article | IST-REx-ID: 173 | OA
Browning, T. D., & Booker, A. (2016). Square-free values of reducible polynomials. Discrete Analysis. https://doi.org/10.19086/da.732
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1794 | OA
Kolmogorov, V., & Takhanov, R. (2016). Inference algorithms for pattern-based CRFs on sequence data. Algorithmica. Springer. https://doi.org/10.1007/s00453-015-0017-7
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1833 | OA
Klimova, A., & Rudas, T. (2016). On the closure of relational models. Journal of Multivariate Analysis. Elsevier. https://doi.org/10.1016/j.jmva.2015.10.005
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1881 | OA
Lee, J., & Schnelli, K. (2016). Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-014-0610-8
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 7279 | OA
Mourad, E., Coustan, L., Lannelongue, P., Zigah, D., Mehdi, A., Vioux, A., … Fontaine, O. (2016). Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors. Nature Materials. Springer Nature. https://doi.org/10.1038/nmat4808
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 7293
Thimmappa, R., Chattanahalli Devendrachari, M., Shafi, S., Freunberger, S. A., & Ottakam Thotiyl, M. (2016). Proton conducting hollow graphene oxide cylinder as molecular fuel barrier for tubular H2-air fuel cell. International Journal of Hydrogen Energy. Elsevier. https://doi.org/10.1016/j.ijhydene.2016.08.057
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7294
Escamilla-Pérez, A. M., Louvain, N., Kaschowitz, M., Freunberger, S. A., Fontaine, O., Boury, B., … Mutin, P. H. (2016). Lithium insertion properties of mesoporous nanocrystalline TiO2 and TiO2–V2O5 microspheres prepared by non-hydrolytic sol–gel. Journal of Sol-Gel Science and Technology. Springer Nature. https://doi.org/10.1007/s10971-016-4037-9
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7295
Mourad, E., Coustan, L., Freunberger, S. A., Mehdi, A., Vioux, A., Favier, F., & Fontaine, O. (2016). Biredox ionic liquids: Electrochemical investigation and impact of ion size on electron transfer. Electrochimica Acta. Elsevier. https://doi.org/10.1016/j.electacta.2016.02.211
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7296
Volck, T., Sinz, W., Gstrein, G., Breitfuss, C., Heindl, S., Steffan, H., … Geier, A. (2016). Method for determination of the internal short resistance and heat evolution at different mechanical loads of a Lithium ion battery cell based on dummy pouch cells. Batteries. MDPI AG. https://doi.org/10.3390/batteries2020008
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7297 | OA
Freunberger, S. A. (2016). Batteries: Charging ahead rationally. Nature Energy. Springer Nature. https://doi.org/10.1038/nenergy.2016.74
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7298
Plaimer, M., Breitfuß, C., Sinz, W., Heindl, S. F., Ellersdorfer, C., Steffan, H., … Freunberger, S. A. (2016). Evaluating the trade-off between mechanical and electrochemical performance of separators for lithium-ion batteries: Methodology and application. Journal of Power Sources. Elsevier. https://doi.org/10.1016/j.jpowsour.2015.12.047
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7599 | OA
Tang, Y., Zhao, C.-Y., Tan, S., & Xue, H.-W. (2016). Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078. PLOS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1006252
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7734
Peyrot, W. J., Robinson, M. R., Penninx, B. W. J. H., & Wray, N. R. (2016). Exploring boundaries for the genetic consequences of assortative mating for psychiatric traits. JAMA Psychiatry. American Medical Association. https://doi.org/10.1001/jamapsychiatry.2016.2566
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7736
Chen, G.-B., Lee, S. H., Zhu, Z.-X., Benyamin, B., & Robinson, M. R. (2016). EigenGWAS: Finding loci under selection through genome-wide association studies of eigenvectors in structured populations. Heredity. Springer Nature. https://doi.org/10.1038/hdy.2016.25
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7737 | OA
Zhu, Z., Zhang, F., Hu, H., Bakshi, A., Robinson, M. R., Powell, J. E., … Yang, J. (2016). Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets. Nature Genetics. Springer Nature. https://doi.org/10.1038/ng.3538
View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 7760
Goodrich, C. P., Liu, A. J., & Sethna, J. P. (2016). Scaling ansatz for the jamming transition. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.1601858113
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7761
Graves, A. L., Nashed, S., Padgett, E., Goodrich, C. P., Liu, A. J., & Sethna, J. P. (2016). Pinning susceptibility: The effect of dilute, quenched disorder on jamming. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.116.235501
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7762
Rieser, J. M., Goodrich, C. P., Liu, A. J., & Durian, D. J. (2016). Divergence of Voronoi cell anisotropy vector: A threshold-free characterization of local structure in amorphous materials. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.116.088001
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7763
Lombardini, R., Acevedo, R., Kuczala, A., Keys, K. P., Goodrich, C. P., & Johnson, B. R. (2016). Higher-order wavelet reconstruction/differentiation filters and Gibbs phenomena. Journal of Computational Physics. Elsevier. https://doi.org/10.1016/j.jcp.2015.10.035
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7764
Sussman, D. M., Goodrich, C. P., & Liu, A. J. (2016). Spatial structure of states of self stress in jammed systems. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/c6sm00094k
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 785
Haider, S., Hasenplaugh, W., & Alistarh, D.-A. (2016). Lease/Release: Architectural support for scaling contended data structures (Vol. 12-16-March-2016). Presented at the PPoPP: Principles and Practice of Parallel Pogramming, ACM. https://doi.org/10.1145/2851141.2851155
View | DOI
 

2016 | Journal Article | IST-REx-ID: 786 | OA
Alistarh, D.-A., Censor Hillel, K., & Shavit, N. (2016). Are lock free concurrent algorithms practically wait free . Journal of the ACM. ACM. https://doi.org/10.1145/2903136
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 460 | OA
Willmann, K., Sacco, R., Martins, R., Garncarz, W., Krolo, A., Knapp, S., … Boztug, K. (2016). Expanding the interactome of the noncanonical NF-κB signaling pathway. Journal of Proteome Research. American Chemical Society. https://doi.org/10.1021/acs.jproteome.5b01004
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2016). The complexity of deciding legality of a single step of magic: The gathering (Vol. 285, pp. 1432–1439). Presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands: IOS Press. https://doi.org/10.3233/978-1-61499-672-9-1432
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 479
Jiang, Y., Liu, H., Kong, H., Wang, R., Hosseini, M., Sun, J., & Sha, L. (2016). Use runtime verification to improve the quality of medical care practice. In Proceedings of the 38th International Conference on Software Engineering Companion (pp. 112–121). Austin, TX, USA: IEEE. https://doi.org/10.1145/2889160.2889233
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee, K., & Doyen, L. (2016). Perfect-information stochastic games with generalized mean-payoff objectives (Vol. 05-08-July-2016, pp. 247–256). Presented at the LICS: Logic in Computer Science, New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2934513
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 482
Rueda, A., Sedlmeir, F., Collodo, M., Vogl, U., Stiller, B., Schunk, G., … Schwefel, H. (2016). Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. Presented at the NP: Nonlinear Photonics, Sydney, Australia: OSA. https://doi.org/10.1364/NP.2016.NTh3A.6
View | DOI
 

2016 | Journal Article | IST-REx-ID: 510 | OA
Liu, Z., Yang, N., Lv, Y., Pan, L., Lv, S., Han, H., & Wang, G. (2016). The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior. Landes Bioscience. https://doi.org/10.1080/15592324.2016.1191734
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 526
von Wangenheim, D., Fangerau, J., Schmitz, A., Smith, R., Leitte, H., Stelzer, E., & Maizel, A. (2016). Rules and self-organizing properties of post-embryonic plant organ cell division patterns. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2015.12.047
View | DOI
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee, K., Pavlogiannis, A., & Velner, Y. (2016). Quantitative interprocedural analysis. IST Austria. https://doi.org/10.15479/AT:IST-2016-523-v1-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
Anonymous, 1, Anonymous, 2, & Anonymous, 3. (2016). Termination and worst-case analysis of recursive programs. IST Austria.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5447 | OA
Anonymous, 1, Anonymous, 2, & Anonymous, 3. (2016). Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds. IST Austria.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5448 | OA
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2016). Data-centric dynamic partial order reduction. IST Austria.
View | Files available | arXiv
 

2016 | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Amplification on undirected population structures: Comets beat stars. IST Austria. https://doi.org/10.15479/AT:IST-2016-648-v1-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2016-728-v1-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5452 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-728-v2-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5453 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-749-v3-1
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5550 | OA
Ellis, T., & Field, D. (2016). Flower colour data and phylogeny (NEXUS) files. IST Austria. https://doi.org/10.15479/AT:ISTA:34
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5551 | OA
Ellis, T. (2016). Data on pollinator observations and offpsring phenotypes. IST Austria. https://doi.org/10.15479/AT:ISTA:35
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5552 | OA
Ellis, T. (2016). Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data. IST Austria. https://doi.org/10.15479/AT:ISTA:36
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5553 | OA
Field, D., & Ellis, T. (2016). Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012. IST Austria. https://doi.org/10.15479/AT:ISTA:37
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5555 | OA
Hauschild, R. (2016). Fiji script to determine average speed and direction of migration of cells. IST Austria. https://doi.org/10.15479/AT:ISTA:44
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5556 | OA
Lukacisin, M., Landon, M., & Jajoo, R. (2016). MATLAB analysis code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” IST Austria. https://doi.org/10.15479/AT:ISTA:45
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5557 | OA
Swoboda, P. (2016). Synthetic discrete tomography problems. IST Austria. https://doi.org/10.15479/AT:ISTA:46
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5558 | OA
Bojsen-Hansen, M. (2016). Tracking, Correcting and Absorbing Water Surface Waves. IST Austria. https://doi.org/10.15479/AT:ISTA:48
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 5771 | OA
Mattei, S., Schur, F. K., & Briggs, J. A. (2016). Retrovirus maturation—an extraordinary structural transformation. Current Opinion in Virology. Elsevier. https://doi.org/10.1016/j.coviro.2016.02.008
View | Files available | DOI
 

2016 | Book Chapter | IST-REx-ID: 5805
Sen, N., Biswas, R., & Bhowmick, P. (2016). On Some Local Topological Properties of Naive Discrete Sphere. In Computational Topology in Image Context (Vol. 9667, pp. 253–264). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-39441-1_23
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 5806
Biswas, R., & Bhowmick, P. (2016). On Functionality of Quadraginta Octants of Naive Sphere with Application to Circle Drawing. In Discrete Geometry for Computer Imagery (Vol. 9647, pp. 256–267). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-32360-2_20
View | DOI
 

2016 | Book Chapter | IST-REx-ID: 5809
Biswas, R., Bhowmick, P., & Brimkov, V. E. (2016). On the Connectivity and Smoothness of Discrete Spherical Circles. In Combinatorial image analysis (Vol. 9448, pp. 86–100). Cham: Springer. https://doi.org/10.1007/978-3-319-26145-4_7
View | DOI
 

2016 | Journal Article | IST-REx-ID: 587 | OA
Hosten, O., Krishnakumar, R., Engelsen, N., & Kasevich, M. (2016). Quantum phase magnification. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aaf3397
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 588
Hosten, O., Engelsen, N., Krishnakumar, R., & Kasevich, M. (2016). Measurement noise 100 times lower than the quantum-projection limit using entangled atoms. Nature. Nature Publishing Group. https://doi.org/10.1038/nature16176
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 592
Engelsen, N., Hosten, O., Krishnakumar, R., & Kasevich, M. (2016). Engineering spin squeezed states for quantum-enhanced atom interferometry. Presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, United States: IEEE.
View | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 602
Bernecky, C., Herzog, F., Baumeister, W., Plitzko, J., & Cramer, P. (2016). Structure of transcribing mammalian RNA polymerase II. Nature. Nature Publishing Group. https://doi.org/10.1038/nature16482
View | DOI
 

2016 | Journal Article | IST-REx-ID: 6732 | OA
Mondelli, M., Hassani, S. H., & Urbanke, R. L. (2016). Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/tit.2016.2616117
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 6733 | OA
Kudekar, S., Kumar, S., Mondelli, M., Pfister, H. D., & Urbankez, R. (2016). Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels. In 2016 IEEE International Symposium on Information Theory (pp. 1755–1759). Barcelona, Spain: IEEE. https://doi.org/10.1109/isit.2016.7541600
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 6770
Mondelli, M., Kudekar, S., Kumar, S., Pfister, H. D., Şaşoğlu, E., & Urbanke, R. (2016). Reed-Muller codes: Thresholds and weight distribution. In 24th International Zurich Seminar on Communications (p. 50). Zurich, Switzerland: ETH Zürich. https://doi.org/10.3929/ETHZ-A-010646484
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7068 | OA
Moll, P. J. W., Potter, A. C., Nair, N. L., Ramshaw, B. J., Modic, K. A., Riggs, S., … Analytis, J. G. (2016). Magnetic torque anomaly in the quantum limit of Weyl semimetals. Nature Communications. Springer Nature. https://doi.org/10.1038/ncomms12492
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7069
Chan, M. K., Harrison, N., McDonald, R. D., Ramshaw, B. J., Modic, K. A., Barišić, N., & Greven, M. (2016). Single reconstructed Fermi surface pocket in an underdoped single-layer cuprate superconductor. Nature Communications. Springer Nature. https://doi.org/10.1038/ncomms12244
View | DOI
 

Search

Filter Publications