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.
4553 Publications
2017 | Conference Paper | IST-REx-ID: 637 | 
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K. Z. Pietrzak, and D. Wichs, “Be adaptive avoid overcommitting,” presented at the CRYPTO: Cryptology, Santa Barbara, CA, United States, 2017, vol. 10401, pp. 133–163.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Research Data Reference | IST-REx-ID: 9842 |
A. Etheridge and N. H. Barton, “Data for: Establishment in a new habitat by polygenic adaptation.” Mendeley Data, 2017.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Conference Paper | IST-REx-ID: 14206 |
F. Locatello, M. Tschannen, G. Rätsch, and M. Jaggi, “Greedy algorithms for cone constrained optimization with convergence guarantees,” in Advances in Neural Information Processing Systems, Long Beach, CA, United States, 2017.
View
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 14205 |
F. Locatello, R. Khanna, M. Tschannen, and M. Jaggi, “A unified optimization view on generalized matching pursuit and Frank-Wolfe,” in Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, Fort Lauderdale, FL, United States, 2017, vol. 54, pp. 860–868.
View
| Download Preprint (ext.)
| arXiv
2017 | Thesis | IST-REx-ID: 202 |
M. Pleska, “Biology of restriction-modification systems at the single-cell and population level,” Institute of Science and Technology Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 6287 |
A. Nikitenko, “Discrete Morse theory for random complexes ,” Institute of Science and Technology Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 819 |
C. Pull, “Disease defence in garden ants,” Institute of Science and Technology Austria, 2017.
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1127 |
T. Prat, “Identification of novel regulators of PIN polarity and development of novel auxin sensor,” Institute of Science and Technology Austria, 2017.
View
| Files available
2017 | Journal Article | IST-REx-ID: 665
T. Bergmiller et al., “Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity,” Science, vol. 356, no. 6335. American Association for the Advancement of Science, pp. 311–315, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 2016 |
A. Martin Del Campo Sanchez, S. A. Cepeda Humerez, and C. Uhler, “Exact goodness-of-fit testing for the Ising model,” Scandinavian Journal of Statistics, vol. 44, no. 2. Wiley-Blackwell, pp. 285–306, 2017.
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 | Journal Article | IST-REx-ID: 1528 |
Z. Bao and L. Erdös, “Delocalization for a class of random block band matrices,” Probability Theory and Related Fields, vol. 167, no. 3–4. Springer, pp. 673–776, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1433 |
U. Bauer, M. Kerber, J. Reininghaus, and H. Wagner, “Phat - Persistent homology algorithms toolbox,” Journal of Symbolic Computation, vol. 78. Academic Press, pp. 76–90, 2017.
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1407 |
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” Nonlinear Analysis: Hybrid Systems, vol. 23, no. 2. Elsevier, pp. 230–253, 2017.
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 | Journal Article | IST-REx-ID: 1367 |
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, and M. Cani, “Adaptive physically based models in computer graphics,” Computer Graphics Forum, vol. 36, no. 6. Wiley-Blackwell, pp. 312–337, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1338 |
P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” Formal Methods in System Design, vol. 50, no. 2–3. Springer, pp. 97–139, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1351 |
M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking the evolution of gene regulatory networks,” Acta Informatica, vol. 54, no. 8. Springer, pp. 765–787, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1336 |
T. Paixao, J. Pérez Heredia, D. Sudholt, and B. Trubenova, “Towards a runtime comparison of natural and artificial evolution,” Algorithmica, vol. 78, no. 2. Springer, pp. 681–713, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1337 |
O. H. Ajanki, L. Erdös, and T. H. Krüger, “Universality for general Wigner-type matrices,” Probability Theory and Related Fields, vol. 169, no. 3–4. Springer, pp. 667–727, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1294 |
T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Trading performance for stability in Markov decision processes,” Journal of Computer and System Sciences, vol. 84. Elsevier, pp. 144–170, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1228 |
U. Sauerzopf et al., “Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence,” European Journal of Neuroscience, vol. 45, no. 1. Wiley-Blackwell, pp. 45–57, 2017.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1198 |
T. Moser and R. Seiringer, “Triviality of a model of particles with point interactions in the thermodynamic limit,” Letters in Mathematical Physics, vol. 107, no. 3. Springer, pp. 533–552, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1207 |
Z. Bao, L. Erdös, and K. Schnelli, “Local law of addition of random matrices on optimal scale,” Communications in Mathematical Physics, vol. 349, no. 3. Springer, pp. 947–990, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1199 |
N. H. Barton, “How does epistasis influence the response to selection?,” Heredity, vol. 118. Nature Publishing Group, pp. 96–109, 2017.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1208 |
P. Zwiernik, C. Uhler, and D. Richards, “Maximum likelihood estimation for linear Gaussian covariance models,” Journal of the Royal Statistical Society. Series B: Statistical Methodology, vol. 79, no. 4. Wiley-Blackwell, pp. 1269–1292, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 1174 |
M. Skórski, “Lower bounds on key derivation for square-friendly applications,” presented at the STACS: Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 2017, vol. 66.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 1194 |
K. Chatterjee, P. Novotný, and D. Zikelic, “Stochastic invariants for probabilistic termination,” presented at the POPL: Principles of Programming Languages, Paris, France, 2017, vol. 52, no. 1, pp. 145–160.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 1176 |
J. F. Alwen and J. Blocki, “Towards practical attacks on Argon2i and balloon hashing,” presented at the EuroS&P: European Symposium on Security and Privacy, Paris, France, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1187 |
E. Kiltz, K. Z. Pietrzak, D. Venturi, D. Cash, and A. Jain, “Efficient authentication from hard learning problems,” Journal of Cryptology, vol. 30, no. 4. Springer, pp. 1238–1275, 2017.
View
| Files available
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 1192 |
A. Kazda, V. Kolmogorov, and M. Rolinek, “Even delta-matroids and the complexity of planar Boolean CSPs,” presented at the SODA: Symposium on Discrete Algorithms, Barcelona, Spain, 2017, pp. 307–326.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1180 |
A. Akopyan, I. Bárány, and S. Robins, “Algebraic vertices of non-convex polyhedra,” Advances in Mathematics, vol. 308. Academic Press, pp. 627–644, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1159 |
W. Steenackers et al., “Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation,” Plant Physiology, vol. 173, no. 1. American Society of Plant Biologists, pp. 552–565, 2017.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1169 |
S. Novak and R. Kollár, “Spatial gene frequency waves under genotype dependent dispersal,” Genetics, vol. 205, no. 1. Genetics Society of America, pp. 367–374, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1160 |
S. Altmeyer, Y. Do, and Y. Lai, “Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio,” Scientific Reports, vol. 7. Nature Publishing Group, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1162 |
J. Spałek, M. Zegrodnik, and J. Kaczmarczyk, “Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment,” Physical Review B - Condensed Matter and Materials Physics, vol. 95, no. 2. American Physical Society, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1152 |
E. P. Gajda-Zagorska, R. Schaefer, M. Smołka, D. Pardo, and J. Alvarez Aramberri, “A multi objective memetic inverse solver reinforced by local optimization methods,” Journal of Computational Science, vol. 18. Elsevier, pp. 85–94, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1168 |
E. Perrone, A. Rappold, and W. Müller, “D inf s optimality in copula models,” Statistical Methods and Applications, vol. 26, no. 3. Springer, pp. 403–418, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1173 |
H. Edelsbrunner, A. Glazyrin, O. Musin, and A. Nikitenko, “The Voronoi functional is maximized by the Delaunay triangulation in the plane,” Combinatorica, vol. 37, no. 5. Springer, pp. 887–910, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 1116 |
G. Avni, S. Goel, T. A. Henzinger, and G. Rodríguez Navas, “Computing scores of forwarding schemes in switched networks with probabilistic faults,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10206, pp. 169–187.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1118 |
J. Gan, S.-M. Weng, A. Pernia-Andrade, J. L. Csicsvari, and P. M. Jonas, “Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo,” Neuron, vol. 93, no. 2. Elsevier, pp. 308–314, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1117 |
C. Chen, itaru Arai, R. Satterield, S. Young, and P. M. Jonas, “Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse,” Cell Reports, vol. 18, no. 3. Cell Press, pp. 723–736, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1132 |
J. O’Neill, C. N. Boccara, F. Stella, P. Schönenberger, and J. L. Csicsvari, “Superficial layers of the medial entorhinal cortex replay independently of the hippocampus,” Science, vol. 355, no. 6321. American Association for the Advancement of Science, pp. 184–188, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1120 |
X. Li, R. Seiringer, and M. Lemeshko, “Angular self-localization of impurities rotating in a bosonic bath,” Physical Review A, vol. 95, no. 3. American Physical Society, 2017.
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1133 |
E. Yakaboylu and M. Lemeshko, “Anomalous screening of quantum impurities by a neutral environment,” Physical Review Letters, vol. 118, no. 8. American Physical Society, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1119 |
M. Lemeshko, “Quasiparticle approach to molecules interacting with quantum solvents,” Physical Review Letters, vol. 118, no. 9. American Physical Society, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1110 |
B. Kuhn et al., “Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity,” Scientific Reports, vol. 7. Nature Publishing Group, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1104 |
S. Deny et al., “Multiplexed computations in retinal ganglion cells of a single type,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1114 |
J. M. Fink, A. Dombi, A. Vukics, A. Wallraff, and P. Domokos, “Observation of the photon blockade breakdown phase transition,” Physical Review X, vol. 7, no. 1. American Physical Society, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1111 |
J. Heredia, B. Trubenova, D. Sudholt, and T. Paixao, “Selection limits to adaptive walks on correlated landscapes,” Genetics, vol. 205, no. 2. Genetics Society of America, pp. 803–825, 2017.
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1109 |
B. Shepperson et al., “Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free,” Physical Review Letters, vol. 118, no. 20. American Physical Society, 2017.
View
| DOI
| Download Preprint (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1087 |
B. Song, D. Barkley, B. Hof, and M. Avila, “Speed and structure of turbulent fronts in pipe flow,” Journal of Fluid Mechanics, vol. 813. Cambridge University Press, pp. 1045–1059, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 1108 |
A. Zimin and C. Lampert, “Learning theory for conditional risk minimization,” presented at the AISTATS: Artificial Intelligence and Statistics, Fort Lauderdale, FL, United States, 2017, vol. 54, pp. 213–222.
View
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1089 |
S. Fallat, S. Lauritzen, K. Sadeghi, C. Uhler, N. Wermuth, and P. Zwiernik, “Total positivity in Markov structures,” Annals of Statistics, vol. 45, no. 3. Institute of Mathematical Statistics, pp. 1152–1184, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1080 |
J. Reiter et al., “Reconstructing metastatic seeding patterns of human cancers,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1078 |
D. von Wangenheim, R. Hauschild, and J. Friml, “Light sheet fluorescence microscopy of plant roots growing on the surface of a gel,” Journal of visualized experiments JoVE, vol. 2017, no. 119. Journal of Visualized Experiments, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1085 |
A. Wright et al., “Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1079 |
P. Nam and H. Van Den Bosch, “Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges,” Mathematical Physics, Analysis and Geometry, vol. 20, no. 2. Springer, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1077 |
R. A. Fernandes Redondo, H. de Vladar, T. Włodarski, and J. P. Bollback, “Evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family,” Journal of the Royal Society Interface, vol. 14, no. 126. Royal Society of London, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1067 |
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, and C.-P. J. Heisenberg, “The physical basis of coordinated tissue spreading in zebrafish gastrulation,” Developmental Cell, vol. 40, no. 4. Cell Press, pp. 354–366, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1074 |
H. Ringbauer, G. Coop, and N. H. Barton, “Inferring recent demography from isolation by distance of long shared sequence blocks,” Genetics, vol. 205, no. 3. Genetics Society of America, pp. 1335–1351, 2017.
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1076 |
M. Klaiber, J. Daněk, E. Yakaboylu, K. Hatsagortsyan, and C. Keitel, “Strong-field ionization via a high-order Coulomb-corrected strong-field approximation,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 95, no. 2. American Physical Society, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1072 |
U. Bauer and H. Edelsbrunner, “The Morse theory of Čech and delaunay complexes,” Transactions of the American Mathematical Society, vol. 369, no. 5. American Mathematical Society, pp. 3741–3762, 2017.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 | Journal Article | IST-REx-ID: 1073 |
M. Čadek, M. Krcál, and L. Vokřínek, “Algorithmic solvability of the lifting extension problem,” Discrete & Computational Geometry, vol. 54, no. 4. Springer, pp. 915–965, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1065 |
K. Chatterjee and G. F. Osang, “Pushdown reachability with constant treewidth,” Information Processing Letters, vol. 122. Elsevier, pp. 25–29, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1063 |
H. Uecker, “Evolutionary rescue in randomly mating, selfing, and clonal populations,” Evolution, vol. 71, no. 4. Wiley-Blackwell, pp. 845–858, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1066
K. Chatterjee, T. A. Henzinger, J. Otop, and Y. Velner, “Quantitative fair simulation games,” Information and Computation, vol. 254, no. 2. Elsevier, pp. 143–166, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1023 |
Y. Nemish, “Local law for the product of independent non-Hermitian random matrices with independent entries,” Electronic Journal of Probability, vol. 22. Institute of Mathematical Statistics, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1022 |
P. Pranav et al., “The topology of the cosmic web in terms of persistent Betti numbers,” Monthly Notices of the Royal Astronomical Society, vol. 465, no. 4. Oxford University Press, pp. 4281–4310, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1020 |
S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, and R. Sapienza, “Disordered cellulose based nanostructures for enhanced light scattering,” ACS Applied Materials and Interfaces, vol. 9, no. 9. American Chemical Society, pp. 7885–7890, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1021 |
J. M. Lopez Alonso and M. Avila, “Boundary layer turbulence in experiments on quasi Keplerian flows,” Journal of Fluid Mechanics, vol. 817. Cambridge University Press, pp. 21–34, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1017 |
M. Breuss, I. Leca, T. Gstrein, A. H. Hansen, and D. Keays, “Tubulins and brain development: The origins of functional specification,” Molecular and Cellular Neuroscience, vol. 84. Academic Press, pp. 58–67, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1015 |
G. Bighin and L. Salasnich, “Vortices and antivortices in two-dimensional ultracold Fermi gases,” Scientific Reports, vol. 7. Nature Publishing Group, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1019
E. Argyridou, A. K. Huylmans, A. Königer, and J. Parsch, “X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster,” Heredity, vol. 119, no. 1. Nature Publishing Group, pp. 27–34, 2017.
View
| Files available
| DOI
| WoS
2017 | Research Data Reference | IST-REx-ID: 9861 |
E. Argyridou, A. K. Huylmans, A. Königer, and J. Parsch, “Data from: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster.” Dryad, 2017.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 1006 |
J. Greenwood et al., “Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae,” BMC Genomics, vol. 18, no. 1. BioMed Central, p. 329, 2017.
View
| Files available
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 1011 |
K. Chatterjee, B. Kragl, S. Mishra, and A. Pavlogiannis, “Faster algorithms for weighted recursive state machines,” presented at the ESOP: European Symposium on Programming, Uppsala, Sweden, 2017, vol. 10201, pp. 287–313.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1007 |
M. Lang and E. Sontag, “Zeros of nonlinear systems with input invariances,” Automatica, vol. 81C. IFAC, the International Federation of Automatic Control, pp. 46–55, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1004 |
K. Ötvös and E. Benková, “Spatiotemporal mechanisms of root branching,” Current Opinion in Genetics & Development, vol. 45. Elsevier, pp. 82–89, 2017.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1010 |
J. Alt, L. Erdös, and T. H. Krüger, “Local law for random Gram matrices,” Electronic Journal of Probability, vol. 22. Institute of Mathematical Statistics, 2017.
View
| Files available
| DOI
| WoS
| arXiv
2017 | Conference Paper | IST-REx-ID: 1009 |
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, and D. Zikelic, “Optimizing expectation with guarantees in POMDPs,” in Proceedings of the 31st AAAI Conference on Artificial Intelligence, San Francisco, CA, United States, 2017, vol. 5, pp. 3725–3732.
View
| Download Submitted Version (ext.)
| WoS
2017 | Research Data Reference | IST-REx-ID: 9859 |
J. Greenwood et al., “Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae.” Springer Nature, 2017.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Research Data Reference | IST-REx-ID: 9860 |
J. Greenwood et al., “Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae.” Springer Nature, 2017.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Conference Paper | IST-REx-ID: 1002 |
R. Zhang, T. Auzinger, D. Ceylan, W. Li, and B. Bickel, “Functionality-aware retargeting of mechanisms to 3D shapes,” presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States , 2017, vol. 36, no. 4.
View
| Files available
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 1001 |
R. Guseinov, E. Miguel, and B. Bickel, “CurveUps: Shaping objects from flat plates with tension-actuated curvature,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2017, vol. 36, no. 4.
View
| Files available
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 1003 |
G. Avni, S. Guha, and O. Kupferman, “An abstraction-refinement methodology for reasoning about network games,” presented at the IJCAI: International Joint Conference on Artificial Intelligence , Melbourne, Australia, 2017, pp. 70–76.
View
| Files available
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 1000 |
A. Kolesnikov and C. Lampert, “PixelCNN models with auxiliary variables for natural image modeling,” in 34th International Conference on Machine Learning, Sydney, Australia, 2017, vol. 70, pp. 1905–1914.
View
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 | Conference Paper | IST-REx-ID: 998 |
S. A. Rebuffi, A. Kolesnikov, G. Sperl, and C. Lampert, “iCaRL: Incremental classifier and representation learning,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 5533–5542.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 999 |
A. Pentina and C. Lampert, “Multi-task learning with labeled and unlabeled tasks,” presented at the ICML: International Conference on Machine Learning, Sydney, Australia, 2017, vol. 70, pp. 2807–2816.
View
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 990 |
H. Sachdeva and N. H. Barton, “Divergence and evolution of assortative mating in a polygenic trait model of speciation with gene flow,” Evolution; International Journal of Organic Evolution, vol. 71, no. 6. Wiley-Blackwell, pp. 1478–1493, 2017.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 988 |
G. Nanda et al., “Current-phase relation of ballistic graphene Josephson junctions,” Nano Letters, vol. 17, no. 6. American Chemical Society, pp. 3396–3401, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 993 |
A. Levina (Martius) and V. Priesemann, “Subsampling scaling,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 995 |
G. Bighin and M. Lemeshko, “Diagrammatic approach to orbital quantum impurities interacting with a many-particle environment,” Physical Review B - Condensed Matter and Materials Physics, vol. 96, no. 8. American Physical Society, 2017.
View
| DOI
| Download Submitted Version (ext.)
| WoS