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.
5039 Publications
2016 | Journal Article | IST-REx-ID: 1423 | 
Baek, S., Jeong, H., Hilbe, C., & Nowak, M. (2016). Comparing reactive and memory-one strategies of direct reciprocity. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep25676
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1422 |
Frank, R., Hainzl, C., Schlein, B., & Seiringer, R. (2016). Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-016-0847-5
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1421
Bak, S., Bogomolov, S., Henzinger, T. A., Johnson, T., & Prakash, P. (2016). Scalable static hybridization methods for analysis of nonlinear systems (pp. 155–164). Presented at the HSCC 2016: International Conference on Hybrid Systems: Computation and Control, Vienna, Austria: Springer. https://doi.org/10.1145/2883817.2883837
View
| DOI
2016 | Journal Article | IST-REx-ID: 1420 |
Bodova, K., Tkačik, G., & Barton, N. H. (2016). A general approximation for the dynamics of quantitative traits. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.115.184127
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1429 |
Husko, C., Wulf, M., Lefrançois, S., Combrié, S., Lehoucq, G., De Rossi, A., … Kuipers, L. (2016). Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms11332
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1431 |
Tartally, A., Kelager, A., Fürst, M., & Nash, D. (2016). Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon. PeerJ. PeerJ. https://doi.org/10.7717/peerj.1865
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1434 |
Bao, Z., Erdös, L., & Schnelli, K. (2016). Local stability of the free additive convolution. Journal of Functional Analysis. Academic Press. https://doi.org/10.1016/j.jfa.2016.04.006
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1436 |
Bach, V., Breteaux, S., Petrat, S. P., Pickl, P., & Tzaneteas, T. (2016). Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction. Journal de Mathématiques Pures et Appliquées. Elsevier. https://doi.org/10.1016/j.matpur.2015.09.003
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1435 |
Guzmán, J., & Gerevich, Z. (2016). P2Y receptors in synaptic transmission and plasticity: Therapeutic potential in cognitive dysfunction. Neural Plasticity. Hindawi Publishing Corporation. https://doi.org/10.1155/2016/1207393
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1439 |
Dragoi, C., Henzinger, T. A., & Zufferey, D. (2016). PSYNC: A partially synchronous language for fault-tolerant distributed algorithms (Vol. 20–22, pp. 400–415). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837650
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1440
Janovjak, H. L. (2016). Light at the end of the protein: Crystal structure of a C-terminal light-sensing domain. Structure. Cell Press. https://doi.org/10.1016/j.str.2016.01.002
View
| DOI
2016 | Journal Article | IST-REx-ID: 1446 |
Calatrava Moreno, M., Auzinger, T., & Werthner, H. (2016). On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics. Springer. https://doi.org/10.1007/s11192-016-1842-4
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1448 |
Fathi, M., & Maas, J. (2016). Entropic Ricci curvature bounds for discrete interacting systems. The Annals of Applied Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/15-AAP1133
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1476 |
Toshima, J., Horikomi, C., Okada, A., Hatori, M., Nagano, M., Masuda, A., … Toshima, J. (2016). Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.176651
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1475 |
Toshima, J., Furuya, E., Nagano, M., Kanno, C., Sakamoto, Y., Ebihara, M., … Toshima, J. (2016). Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.10276
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1478 |
Seiringer, R., & Warzel, S. (2016). Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/18/3/035002
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1480 |
Michałek, M., Sturmfels, B., Uhler, C., & Zwiernik, P. (2016). Exponential varieties. Proceedings of the London Mathematical Society. Oxford University Press. https://doi.org/10.1112/plms/pdv066
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1487 |
Grion, N., Akrami, A., Zuo, Y., Stella, F., & Diamond, M. (2016). Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002384
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1482 |
Adibi, M., Yoshida, S., Weijers, D., & Fleck, C. (2016). Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0147830
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1484 |
Chen, X., Wu, S., Liu, Z., & Friml, J. (2016). Environmental and endogenous control of cortical microtubule orientation. Trends in Cell Biology. Cell Press. https://doi.org/10.1016/j.tcb.2016.02.003
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1485 |
De Martino, D. (2016). Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis. Physical Biology. IOP Publishing Ltd. https://doi.org/10.1088/1478-3975/13/1/016003
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1486 |
Hainzl, C., & Seiringer, R. (2016). The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.4941723
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1488 |
Riccio, P., Cebrián, C., Zong, H., Hippenmeyer, S., & Costantini, F. (2016). Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002382
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1489 |
Ajanki, O. H., Erdös, L., & Krüger, T. H. (2016). Local spectral statistics of Gaussian matrices with correlated entries. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-016-1479-y
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1490 |
Russo, E., Teijeira, A., Vaahtomeri, K., Willrodt, A., Bloch, J., Nitschké, M., … Halin, C. (2016). Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2016.01.048
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1493 |
Petrat, S. P., & Pickl, P. (2016). A new method and a new scaling for deriving fermionic mean-field dynamics. Mathematical Physics, Analysis and Geometry. Springer. https://doi.org/10.1007/s11040-016-9204-2
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1492 |
Marhavý, P., Montesinos López, J. C., Abuzeineh, A., Van Damme, D., Vermeer, J., Duclercq, J., … Benková, E. (2016). Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.276964.115
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1496 |
Amaro, P., Fratini, F., Safari, L., Machado, J., Guerra, M., Indelicato, P., & Santos, J. (2016). Relativistic evaluation of the two-photon decay of the metastable 1s22s2p3P0 state in berylliumlike ions with an effective-potential model. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.93.032502
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1494
Lemoult, G. M., Shi, L., Avila, K., Jalikop, S. V., Avila, M., & Hof, B. (2016). Directed percolation phase transition to sustained turbulence in Couette flow. Nature Physics. Nature Publishing Group. https://doi.org/10.1038/nphys3675
View
| DOI
2016 | Journal Article | IST-REx-ID: 1491 |
Lewin, M., Nam, P., & Rougerie, N. (2016). The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases. Transactions of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/tran/6537
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1408 |
Franek, P., & Krcál, M. (2016). On computability and triviality of well groups. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-016-9794-2
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1518 |
Lohse, K., Chmelik, M., Martin, S., & Barton, N. H. (2016). Efficient strategies for calculating blockwise likelihoods under the coalescent. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.115.183814
[Preprint]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Conference Paper | IST-REx-ID: 1524 |
Beica, A., Guet, C. C., & Petrov, T. (2016). Efficient reduction of kappa models by static inspection of the rule-set (Vol. 9271, pp. 173–191). Presented at the HSB: Hybrid Systems Biology, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-319-26916-0_10
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1521
Berrisford, J., Baradaran, R., & Sazanov, L. A. (2016). Structure of bacterial respiratory complex I. Biochimica et Biophysica Acta - Bioenergetics. Elsevier. https://doi.org/10.1016/j.bbabio.2016.01.012
View
| DOI
2016 | Journal Article | IST-REx-ID: 1522 |
Avvakumov, S. (2016). The classification of certain linked 3-manifolds in 6-space. Moscow Mathematical Journal. Independent University of Moscow. https://doi.org/10.17323/1609-4514-2016-16-1-1-25
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1523 |
Gundert, A., & Wagner, U. (2016). On topological minors in random simplicial complexes. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/12824
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1526 |
Henzinger, T. A., Otop, J., & Samanta, R. (2016). Lipschitz robustness of timed I/O systems (Vol. 9583, pp. 250–267). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. https://doi.org/10.1007/978-3-662-49122-5_12
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1545 |
Nam, P., Napiórkowski, M. M., & Solovej, J. (2016). Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. Academic Press. https://doi.org/10.1016/j.jfa.2015.12.007
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1552 |
Qi, Q., Toll Riera, M., Heilbron, K., Preston, G., & Maclean, R. C. (2016). The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2015.2452
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1289 |
Dunaeva, O., Edelsbrunner, H., Lukyanov, A., Machin, M., Malkova, D., Kuvaev, R., & Kashin, S. (2016). The classification of endoscopy images with persistent homology. Pattern Recognition Letters. Elsevier. https://doi.org/10.1016/j.patrec.2015.12.012
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1164 |
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
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1592
Abe, M., Fuchsbauer, G., Groth, J., Haralambiev, K., & Ohkubo, M. (2016). Structure preserving signatures and commitments to group elements. Journal of Cryptology. Springer. https://doi.org/10.1007/s00145-014-9196-7
View
| DOI
2016 | Journal Article | IST-REx-ID: 1599 |
Kiermaier, E., Moussion, C., Veldkamp, C., Gerardy Schahn, R., de Vries, I., Williams, L., … Sixt, M. K. (2016). Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aad0512
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1597
Schwarz, J., & Sixt, M. K. (2016). Quantitative analysis of dendritic cell haptotaxis. Methods in Enzymology. Elsevier. https://doi.org/10.1016/bs.mie.2015.11.004
View
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1608 |
Sadel, C. (2016). Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/s00023-015-0456-3
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1612 |
Kazda, A. (2016). CSP for binary conservative relational structures. Algebra Universalis. Springer. https://doi.org/10.1007/s00012-015-0358-8
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1617 |
Pausinger, F., & Steinerberger, S. (2016). On the discrepancy of jittered sampling. Journal of Complexity. Academic Press. https://doi.org/10.1016/j.jco.2015.11.003
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1620 |
Frank, R., Hainzl, C., Seiringer, R., & Solovej, J. (2016). The external field dependence of the BCS critical temperature. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-015-2526-2
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1622 |
Lundholm, D., Nam, P., & Portmann, F. (2016). Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. Springer. https://doi.org/10.1007/s00205-015-0923-5
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1631 |
Kelleher, J., Etheridge, A., Véber, A., & Barton, N. H. (2016). Spread of pedigree versus genetic ancestry in spatially distributed populations. Theoretical Population Biology. Academic Press. https://doi.org/10.1016/j.tpb.2015.10.008
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1641 |
Zemová, R., Zwiewka, M., Bielach, A., Robert, H., & Friml, J. (2016). A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. Springer. https://doi.org/10.1007/s00344-015-9553-2
[Preprint]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1225 |
Fuchsbauer, G., Hanser, C., Kamath Hosdurg, C., & Slamanig, D. (2016). Practical round-optimal blind signatures in the standard model from weaker assumptions (Vol. 9841, pp. 391–408). Presented at the SCN: Security and Cryptography for Networks, Amalfi, Italy: Springer. https://doi.org/10.1007/978-3-319-44618-9_21
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1653 |
Okamoto, T., Pietrzak, K. Z., Waters, B., & Wichs, D. (2016). New realizations of somewhere statistically binding hashing and positional accumulators (Vol. 9452, pp. 121–145). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand: Springer. https://doi.org/10.1007/978-3-662-48797-6_6
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1148
Schilling, C., Bogomolov, S., Henzinger, T. A., Podelski, A., & Ruess, J. (2016). Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems. Elsevier. https://doi.org/10.1016/j.biosystems.2016.07.005
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1705 |
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
[Published Version]
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: 1833 |
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
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1881 |
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
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1411 |
Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2016). Untangling two systems of noncrossing curves. Israel Journal of Mathematics. Springer. https://doi.org/10.1007/s11856-016-1294-9
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1479 |
Krenn, S., Pietrzak, K. Z., Wadia, A., & Wichs, D. (2016). A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. Springer. https://doi.org/10.1007/s00037-015-0120-9
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 478 |
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
[Published Version]
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 |
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
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1379 |
Burton, B., de Mesmay, A. N., & Wagner, U. (2016). Finding non-orientable surfaces in 3-manifolds (Vol. 51, p. 24.1-24.15). Presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2016.24
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1477 |
Chatterjee, K., Chmelik, M., & Tracol, M. (2016). What is decidable about partially observable Markov decision processes with ω-regular objectives. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2016.02.009
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1529 |
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2016). Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. Elsevier. https://doi.org/10.1016/j.artint.2016.01.007
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Technical Report | IST-REx-ID: 5445 |
Chatterjee, K., Pavlogiannis, A., & Velner, Y. (2016). Quantitative interprocedural analysis. IST Austria. https://doi.org/10.15479/AT:IST-2016-523-v1-1
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee, K., Chmelik, M., & Davies, J. (2016). A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (Vol. 2016, pp. 3225–3232). Phoenix, AZ, USA: AAAI Press.
View
| Files available
2016 | Technical Report | IST-REx-ID: 5449 |
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
[Updated Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5453 |
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
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5451 |
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
[Published Version]
View
| Files available
| 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 Nature. https://doi.org/10.1007/978-3-319-32360-2_20
View
| 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 Nature. https://doi.org/10.1007/978-3-319-39441-1_23
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 Nature. https://doi.org/10.1007/978-3-319-26145-4_7
View
| DOI
2016 | Conference Paper | IST-REx-ID: 8094 |
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
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1197 |
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
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9720 |
Mcmahon, D., Fürst, M., Caspar, J., Theodorou, P., Brown, M., & Paxton, R. (2016). Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees. Dryad. https://doi.org/10.5061/dryad.4b565
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1158 |
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
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1167 |
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
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9867
Hilbe, C., Hagel, K., & Milinski, M. (2016). Experimental game instructions. Public Library of Science. https://doi.org/10.1371/journal.pone.0163867.s008
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9862
Roux, C., Fraisse, C., Romiguier, J., Anciaux, Y., Galtier, N., & Bierne, N. (2016). Simulation study to test the robustness of ABC in face of recent times of divergence. Public Library of Science. https://doi.org/10.1371/journal.pbio.2000234.s016
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9863
Roux, C., Fraisse, C., Romiguier, J., Anciaux, Y., Galtier, N., & Bierne, N. (2016). Accessions of surveyed individuals, geographic locations and summary statistics. Public Library of Science. https://doi.org/10.1371/journal.pbio.2000234.s017
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9866
Zagórski, M. P., Burda, Z., & Wacław, B. (2016). ZIP-archived directory containing all data and computer programs. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005218.s009
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 9456 |
Huff, J. T., Zilberman, D., & Roy, S. W. (2016). Mechanism for DNA transposons to generate introns on genomic scales. Nature. Springer Nature . https://doi.org/10.1038/nature20110
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2016 | Conference Paper | IST-REx-ID: 948
Monk, T., Savin, C., & Lücke, J. (2016). Neurons equipped with intrinsic plasticity learn stimulus intensity statistics (Vol. 29, pp. 4285–4293). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spaine: Neural Information Processing Systems.
View
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 1262 |
Mcmahon, D., Natsopoulou, M., Doublet, V., Fürst, M., Weging, S., Brown, M., … Paxton, R. (2016). Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2016.0811
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9704 |
Mcmahon, D., Natsopoulou, M., Doublet, V., Fürst, M., Weging, S., Brown, M., … Paxton, R. (2016). Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Dryad. https://doi.org/10.5061/dryad.cq7t1
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1322 |
Hilbe, C., Hagel, K., & Milinski, M. (2016). Asymmetric power boosts extortion in an economic experiment. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0163867
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1270 |
Hillenbrand, P., Gerland, U., & Tkačik, G. (2016). Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0163628
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1250 |
Boehm, A., Arnoldini, M., Bergmiller, T., Röösli, T., Bigosch, C., & Ackermann, M. (2016). Genetic manipulation of glycogen allocation affects replicative lifespan in E coli. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1005974
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9870
Hillenbrand, P., Gerland, U., & Tkačik, G. (2016). Computation of positional information in an Ising model. Public Library of Science. https://doi.org/10.1371/journal.pone.0163628.s002
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9873
Boehm, A., Arnoldini, M., Bergmiller, T., Röösli, T., Bigosch, C., & Ackermann, M. (2016). Quantification of the growth rate reduction as a consequence of age-specific mortality. Public Library of Science. https://doi.org/10.1371/journal.pgen.1005974.s015
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9869
Hillenbrand, P., Gerland, U., & Tkačik, G. (2016). Error bound on an estimator of position. Public Library of Science. https://doi.org/10.1371/journal.pone.0163628.s001
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9871
Hillenbrand, P., Gerland, U., & Tkačik, G. (2016). Computation of positional information in a discrete morphogen field. Public Library of Science. https://doi.org/10.1371/journal.pone.0163628.s003
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9868
Hilbe, C., Hagel, K., & Milinski, M. (2016). Experimental data. Public Library of Science. https://doi.org/10.1371/journal.pone.0163867.s009
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1101
Mitchell, J., Whitfield, J., Zhang, W., Henneberger, C., Janovjak, H. L., O’Mara, M., & Jackson, C. (2016). Rangefinder: A semisynthetic FRET sensor design algorithm. ACS SENSORS. American Chemical Society. https://doi.org/10.1021/acssensors.6b00576
View
| DOI
2016 | Journal Article | IST-REx-ID: 9477 |
Park, K., Kim, M. Y., Vickers, M., Park, J.-S., Hyun, Y., Okamoto, T., … Scholten, S. (2016). DNA demethylation is initiated in the central cells of Arabidopsis and rice. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1619047114
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 9473 |
Hsieh, P.-H., He, S., Buttress, T., Gao, H., Couchman, M., Fischer, R. L., … Feng, X. (2016). Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1619074114
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Conference Abstract | IST-REx-ID: 12903 |
Schlögl, A., & Stadlbauer, S. (2016). High performance computing at IST Austria: Modelling the human hippocampus. In AHPC16 - Austrian HPC Meeting 2016 (p. 37). Grundlsee, Austria: VSC - Vienna Scientific Cluster.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1341 |
Avni, G., Henzinger, T. A., & Kupferman, O. (2016). Dynamic resource allocation games (Vol. 9928, pp. 153–166). Presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-53354-3_13
[Preprint]
View
| Files available
| DOI