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.

3012 Publications


2016 | Conference Paper | IST-REx-ID: 1349 | OA
P. Oliveto, T. Paixao, J. Heredia, D. Sudholt, and B. Trubenova, “When non-elitism outperforms elitism for crossing fitness valleys,” in Proceedings of the Genetic and Evolutionary Computation Conference 2016 , Denver, CO, USA, 2016, pp. 1163–1170.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1350 | OA
J. Guzmán, A. Schlögl, M. Frotscher, and P. M. Jonas, “Synaptic mechanisms of pattern completion in the hippocampal CA3 network,” Science, vol. 353, no. 6304, pp. 1117–1123, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1352 | OA
J. Kaczmarczyk, T. Schickling, and J. Bünemann, “Coexistence of nematic order and superconductivity in the Hubbard model,” Physical Review B - Condensed Matter and Materials Physics, vol. 94, no. 8, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1353 | OA
L. Barto and A. Kazda, “Deciding absorption,” International Journal of Algebra and Computation, vol. 26, no. 5, pp. 1033–1060, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1354 | OA
P. Dieterle, M. Kalaee, J. M. Fink, and O. Painter, “Superconducting cavity electromechanics on a silicon-on-insulator platform,” Physical Review Applied, vol. 6, no. 1, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1355 | OA
J. M. Fink et al., “Quantum electromechanics on silicon nitride nanomembranes,” Nature Communications, vol. 7, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1356 | OA
N. H. Barton, “Sewall Wright on evolution in Mendelian populations and the ‘Shifting Balance,’” Genetics, vol. 202, no. 1, pp. 3–4, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1357 | OA
N. H. Barton, “Richard Hudson and Norman Kaplan on the coalescent process,” Genetics, vol. 202, no. 3, pp. 865–866, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1358 | OA
T. Friedlander, R. Prizak, C. C. Guet, N. H. Barton, and G. Tkačik, “Intrinsic limits to gene regulation by global crosstalk,” Nature Communications, vol. 7, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1359 | OA
T. Paixao and N. H. Barton, “The effect of gene interactions on the long-term response to selection,” PNAS, vol. 113, no. 16, pp. 4422–4427, 2016.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1360 | OA
A. Akopyan, A. Balitskiy, R. Karasev, and A. Sharipova, “Elementary approach to closed billiard trajectories in asymmetric normed spaces,” Proceedings of the American Mathematical Society, vol. 144, no. 10, pp. 4501–4513, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1361 | OA
F. Da, D. Hahn, C. Batty, C. J. Wojtan, and E. Grinspun, “Surface only liquids,” presented at the ACM SIGGRAPH, Anaheim, CA, USA, 2016, vol. 35, no. 4.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1362 | OA
D. Hahn and C. J. Wojtan, “Fast approximations for boundary element based brittle fracture simulation,” presented at the ACM SIGGRAPH, Anaheim, CA, USA, 2016, vol. 35, no. 4.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1363 | OA
M. Bojsen-Hansen and C. J. Wojtan, “Generalized non-reflecting boundaries for fluid re-simulation,” presented at the ACM SIGGRAPH, Anaheim, CA, USA, 2016, vol. 35, no. 4.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1364 | OA
E. Miguel Villalba, M. Lepoutre, and B. Bickel, “Computational design of stable planar-rod structures,” presented at the ACM SIGGRAPH, Anaheim, CA, USA, 2016, vol. 35, no. 4.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1365 | OA
J. F. Alwen and J. Blocki, “Efficiently computing data-independent memory-hard functions,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, USA, 2016, vol. 9815, pp. 241–271.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1366 | OA
P. Gazi and S. Tessaro, “Provably robust sponge-based PRNGs and KDFs,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Vienna, Austria, 2016, vol. 9665, pp. 87–116.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1368 | OA
M. Wysokiński, J. Kaczmarczyk, and J. Spałek, “Correlation driven d wave superconductivity in Anderson lattice model: Two gaps,” Physical Review B - Condensed Matter and Materials Physics, vol. 94, no. 2, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1369 | OA
A. Kolesnikov and C. Lampert, “Seed, expand and constrain: Three principles for weakly-supervised image segmentation,” presented at the ECCV: European Conference on Computer Vision, Amsterdam, The Netherlands, 2016, vol. 9908, pp. 695–711.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1370 | OA
S. Barzanjeh and D. Vitali, “Phonon Josephson junction with nanomechanical resonators,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 93, no. 3, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1372 | OA
M. Pernisová et al., “Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis,” New Phytologist, vol. 212, no. 2, pp. 497–509, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1373 | OA
O. Martin and M. P. Zagórski, “Network architectures and operating principles. Reply to comments on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function",” Physics of Life Reviews, vol. 17, pp. 168–171, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1377 | OA
V. Kolmogorov, T. Pock, and M. Rolinek, “Total variation on a tree,” SIAM Journal on Imaging Sciences, vol. 9, no. 2, pp. 605–636, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1378 | OA
D. Dotterrer, T. Kaufman, and U. Wagner, “On expansion and topological overlap,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 35.1-35.10.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1379 | OA
B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 24.1-24.15.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1380 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On the complexity of the orbit problem,” Journal of the ACM, vol. 63, no. 3, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1381 | OA
I. Mabillard and U. Wagner, “Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range,” presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA, 2016, vol. 51, p. 51.1-51.12.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1386 | OA
K. Chatterjee, H. Fu, and A. Goharshady, “Termination analysis of probabilistic programs through Positivstellensatz’s,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9779, pp. 3–22.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1389 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On recurrent reachability for continuous linear dynamical systems,” in LICS ’16, New York, NY, USA, 2016, pp. 515–524.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1391 | OA
P. Daca, T. A. Henzinger, and A. Kupriyanov, “Array folds logic,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9780, pp. 230–248.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1394 | OA
D. De Martino, F. Capuani, and A. De Martino, “Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli,” Physical Biology, vol. 13, no. 3, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1398 | OA
T. Ellis, The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone. IST Austria, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1408 | OA
P. Franek and M. Krcál, “On computability and triviality of well groups,” Discrete & Computational Geometry, vol. 56, no. 1, pp. 126–164, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1409 | OA
R. Abbott, N. H. Barton, and J. Good, “Genomics of hybridization and its evolutionary consequences,” Molecular Ecology, vol. 25, no. 11, pp. 2325–2332, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1410 | OA
J. Ugalde et al., “Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development,” Plant Science, vol. 250, pp. 10–19, 2016.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1411 | OA
J. Matoušek, E. Sedgwick, M. Tancer, and U. Wagner, “Untangling two systems of noncrossing curves,” Israel Journal of Mathematics, vol. 212, no. 1, pp. 37–79, 2016.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1412 | OA
R. Goldade, C. Batty, and C. J. Wojtan, “A practical method for high-resolution embedded liquid surfaces,” Computer Graphics Forum, vol. 35, no. 2, pp. 233–242, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1415 | OA
F. Ferstl, R. Ando, C. J. Wojtan, R. Westermann, and N. Thuerey, “Narrow band FLIP for liquid simulations,” Computer Graphics Forum, vol. 35, no. 2, pp. 225–232, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1416 | OA
E. Van Loon, M. Katsnelson, L. Chomaz, and M. Lemeshko, “Interaction-driven Lifshitz transition with dipolar fermions in optical lattices,” Physical Review B - Condensed Matter and Materials Physics, vol. 93, no. 19, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1417 | OA
S. Simon et al., “PIN6 auxin transporter at endoplasmic reticulum and plasma membrane mediates auxin homeostasis and organogenesis in Arabidopsis,” New Phytologist, vol. 211, no. 1, pp. 65–74, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1420 | OA
K. Bod’ová, G. Tkacik, and N. H. Barton, “A general approximation for the dynamics of quantitative traits,” Genetics, vol. 202, no. 4, pp. 1523–1548, 2016.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1422 | OA
R. Frank, C. Hainzl, B. Schlein, and R. Seiringer, “Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations,” Letters in Mathematical Physics, vol. 106, no. 7, pp. 913–923, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1423 | OA
S. Baek, H. Jeong, C. Hilbe, and M. Nowak, “Comparing reactive and memory-one strategies of direct reciprocity,” Scientific Reports, vol. 6, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1426 | OA
M. Chakra, C. Hilbe, and A. Traulsen, “Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites,” Royal Society Open Science, vol. 3, no. 5, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1427 | OA
M. Lagator, C. Igler, A. Moreno, C. C. Guet, and J. P. Bollback, “Epistatic interactions in the arabinose cis-regulatory element,” Molecular Biology and Evolution, vol. 33, no. 3, pp. 761–769, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1428 | OA
M. Könenberg, T. Moser, R. Seiringer, and J. Yngvason, “Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential,” in Journal of Physics: Conference Series, Shanghai, China, 2016, vol. 691, no. 1.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1429 | OA
C. Husko et al., “Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides,” Nature Communications, vol. 7, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1431 | OA
A. Tartally, A. Kelager, M. Fürst, and D. Nash, “Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon,” PeerJ, vol. 2016, no. 3, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1432 | OA
R. K. Mishra, S. Kim, J. Guzmán, and P. M. Jonas, “Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks,” Nature Communications, vol. 7, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1434 | OA
Z. Bao, L. Erdös, and K. Schnelli, “Local stability of the free additive convolution,” Journal of Functional Analysis, vol. 271, no. 3, pp. 672–719, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1435 | OA
J. Guzmán and Z. Gerevich, “P2Y receptors in synaptic transmission and plasticity: Therapeutic potential in cognitive dysfunction,” Neural Plasticity, vol. 2016, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1436 | OA
V. Bach, S. Breteaux, S. P. Petrat, P. Pickl, and T. Tzaneteas, “Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction,” Journal de Mathématiques Pures et Appliquées, vol. 105, no. 1, pp. 1–30, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1437 | OA
K. Chatterjee, A. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Algorithms for algebraic path properties in concurrent systems of constant treewidth components,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 733–747.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1438 | OA
K. Chatterjee, H. Fu, P. Novotny, and R. Hasheminezhad, “Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 327–342.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1439 | OA
C. Dragoi, T. A. Henzinger, and D. Zufferey, “PSYNC: A partially synchronous language for fault-tolerant distributed algorithms,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 400–415.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1441 | OA
E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, and H. L. Janovjak, “A phytochrome sensory domain permits receptor activation by red light,” Angewandte Chemie - International Edition, vol. 55, no. 21, pp. 6339–6342, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1446 | OA
M. Calatrava Moreno, T. Auzinger, and H. Werthner, “On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data,” Scientometrics, vol. 107, no. 1, pp. 213–232, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1448 | OA
M. Fathi and J. Maas, “Entropic Ricci curvature bounds for discrete interacting systems,” The Annals of Applied Probability, vol. 26, no. 3, pp. 1774–1806, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1475 | OA
J. Toshima et al., “Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton,” eLife, vol. 5, no. February 2016, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1476 | OA
J. Toshima et al., “Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis,” Journal of Cell Science, vol. 129, no. 2, pp. 367–379, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477 | OA
K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially observable Markov decision processes with ω-regular objectives,” Journal of Computer and System Sciences, vol. 82, no. 5, pp. 878–911, 2016.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1478 | OA
R. Seiringer and S. Warzel, “Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas,” New Journal of Physics, vol. 18, no. 3, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1479 | OA
S. Krenn, K. Z. Pietrzak, A. Wadia, and D. Wichs, “A counterexample to the chain rule for conditional HILL entropy,” Computational Complexity, vol. 25, no. 3, pp. 567–605, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1480 | OA
M. Michałek, B. Sturmfels, C. Uhler, and P. Zwiernik, “Exponential varieties,” Proceedings of the London Mathematical Society, vol. 112, no. 1, pp. 27–56, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1482 | OA
M. Adibi, S. Yoshida, D. Weijers, and C. Fleck, “Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization,” PLoS One, vol. 11, no. 2, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1484 | OA
X. Chen, S. Wu, Z. Liu, and J. Friml, “Environmental and endogenous control of cortical microtubule orientation,” Trends in Cell Biology, vol. 26, no. 6, pp. 409–419, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1485 | OA
D. De Martino, “Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis,” Physical Biology, vol. 13, no. 1, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1486 | OA
C. Hainzl and R. Seiringer, “The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties,” Journal of Mathematical Physics, vol. 57, no. 2, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1487 | OA
N. Grion, A. Akrami, Y. Zuo, F. Stella, and M. Diamond, “Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination,” PLoS Biology, vol. 14, no. 2, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1488 | OA
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis,” PLoS Biology, vol. 14, no. 2, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1489 | OA
O. H. Ajanki, L. Erdös, and T. H. Krüger, “Local spectral statistics of Gaussian matrices with correlated entries,” Journal of Statistical Physics, vol. 163, no. 2, pp. 280–302, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1490 | OA
E. Russo et al., “Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels,” Cell Reports, vol. 14, no. 7, pp. 1723–1734, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1491 | OA
M. Lewin, P. Nam, and N. Rougerie, “The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases,” Transactions of the American Mathematical Society, vol. 368, no. 9, pp. 6131–6157, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1492 | OA
P. Marhavý et al., “Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation,” Genes and Development, vol. 30, no. 4, pp. 471–483, 2016.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1493 | OA
S. P. Petrat and P. Pickl, “A new method and a new scaling for deriving fermionic mean-field dynamics,” Mathematical Physics, Analysis and Geometry, vol. 19, no. 1, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1496 | OA
P. Amaro et al., “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, vol. 93, no. 3, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1518 | OA
K. Lohse, M. Chmelik, S. Martin, and N. H. Barton, “Efficient strategies for calculating blockwise likelihoods under the coalescent,” Genetics, vol. 202, no. 2, pp. 775–786, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1522 | OA
S. Avvakumov, “The classification of certain linked 3-manifolds in 6-space,” Moscow Mathematical Journal, vol. 16, no. 1, pp. 1–25, 2016.
View | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1523 | OA
A. Gundert and U. Wagner, “On topological minors in random simplicial complexes,” Proceedings of the American Mathematical Society, vol. 144, no. 4, pp. 1815–1828, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1524 | OA
A. Beica, C. C. Guet, and T. Petrov, “Efficient reduction of kappa models by static inspection of the rule-set,” presented at the HSB: Hybrid Systems Biology, Madrid, Spain, 2016, vol. 9271, pp. 173–191.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526 | OA
T. A. Henzinger, J. Otop, and R. Samanta, “Lipschitz robustness of timed I/O systems,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 250–267.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1529 | OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” Artificial Intelligence, vol. 234, pp. 26–48, 2016.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 100 | OA
D. Aasen et al., “Milestones toward Majorana-based quantum computing,” Physical Review X, vol. 6, no. 3, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 101 | OA
S. M. Albrecht et al., “Exponential protection of zero modes in Majorana islands,” Nature, vol. 531, no. 7593, pp. 206–209, 2016.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 102 | OA
R. Mishmash, D. Aasen, A. P. Higginbotham, and J. Alicea, “Approaching a topological phase transition in Majorana nanowires,” Physical Review B, vol. 93, no. 24, 2016.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
K. Chatterjee, W. Dvorák, M. Henzinger, and V. Loitzenbauer, “Conditionally optimal algorithms for generalized Büchi Games,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow, Poland, 2016, vol. 58.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1069 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On the skolem problem for continuous linear dynamical systems,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
K. Chatterjee and L. Doyen, “Computation tree logic for synchronization properties,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs,” presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark, 2016, vol. 57.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Ł. Łangowski et al., “Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells,” Cell Discovery, vol. 2, 2016.
View | Files available | DOI
 

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

2016 | Conference Paper | IST-REx-ID: 1090 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted limit-average automata of bounded width,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland, 2016, vol. 58.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1093 | OA
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Linear distances between Markov chains,” presented at the CONCUR: Concurrency Theory, Quebec City; Canada, 2016, vol. 59.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095 | OA
A. Haas et al., “Local linearizability for concurrent container-type data structures,” in Leibniz International Proceedings in Informatics, Quebec City; Canada, 2016, vol. 59.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1097 | OA
T. Du, A. Schulz, B. Zhu, B. Bickel, and W. Matusik, “Computational multicopter design,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
View | Files available | DOI
 

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

2016 | Conference Paper | IST-REx-ID: 1099 | OA
L. Malomo, N. Pietroni, B. Bickel, and P. Cignoni, “FlexMolds: Automatic design of flexible shells for molding,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1100 | OA
K. Sako et al., “Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation,” Cell Reports, vol. 16, no. 3, pp. 866–877, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1102 | OA
A. Kolesnikov and C. Lampert, “Improving weakly-supervised object localization by micro-annotation,” in Proceedings of the British Machine Vision Conference 2016, York, United Kingdom, 2016, vol. 2016–September, p. 92.1-92.12.
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1103 | OA
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, and R. Ray, “Parallel reachability analysis for hybrid systems,” presented at the MEMOCODE: International Conference on Formal Methods and Models for System Design, Kanpur, India , 2016.
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications