Please note that ISTA 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.

4143 Publications


2017 | Journal Article | IST-REx-ID: 1337 | OA
Universality for general Wigner-type matrices
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1338 | OA
From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1351 | OA
Model checking the evolution of gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1367 | OA
Adaptive physically based models in computer graphics
P. Manteaux, C.J. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1407 | OA
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1000 | OA
PixelCNN models with auxiliary variables for natural image modeling
A. Kolesnikov, C. Lampert, in:, 34th International Conference on Machine Learning, JMLR, 2017, pp. 1905–1914.
View | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1001 | OA
CurveUps: Shaping objects from flat plates with tension-actuated curvature
R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1002 | OA
Functionality-aware retargeting of mechanisms to 3D shapes
R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1003 | OA
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1004 | OA
Spatiotemporal mechanisms of root branching
K. Ötvös, E. Benková, Current Opinion in Genetics & Development 45 (2017) 82–89.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1006 | OA
Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, BMC Genomics 18 (2017) 329.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1007 | OA
Zeros of nonlinear systems with input invariances
M. Lang, E. Sontag, Automatica 81C (2017) 46–55.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1009 | OA
Optimizing expectation with guarantees in POMDPs
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1010 | OA
Local law for random Gram matrices
J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017).
View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1011 | OA
Faster algorithms for weighted recursive state machines
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 10126 | OA
Curvature mediated interactions in highly curved membranes
A. Vahid Belarghou, A. Šarić, T. Idema, Biophysical Journal 112 (2017).
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1014 | OA
Liouville principles and a large-scale regularity theory for random elliptic operators on the half-space
J.L. Fischer, C. Raithel, SIAM Journal on Mathematical Analysis 49 (2017) 82–114.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1015 | OA
Vortices and antivortices in two-dimensional ultracold Fermi gases
G. Bighin, L. Salasnich, Scientific Reports 7 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1017 | OA
Tubulins and brain development: The origins of functional specification
M. Breuss, I. Leca, T. Gstrein, A.H. Hansen, D. Keays, Molecular and Cellular Neuroscience 84 (2017) 58–67.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 10175 | OA
Homogenization of nonconvex unbounded singular integrals
O. Anza Hafsa, N. Clozeau, J.-P. Mandallena, Annales Mathématiques Blaise Pascal 24 (2017) 135–193.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1020 | OA
Disordered cellulose based nanostructures for enhanced light scattering
S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, R. Sapienza, ACS Applied Materials and Interfaces 9 (2017) 7885–7890.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1021 | OA
Boundary layer turbulence in experiments on quasi Keplerian flows
J.M. Lopez Alonso, M. Avila, Journal of Fluid Mechanics 817 (2017) 21–34.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1022 | OA
The topology of the cosmic web in terms of persistent Betti numbers
P. Pranav, H. Edelsbrunner, R. Van De Weygaert, G. Vegter, M. Kerber, B. Jones, M. Wintraecken, Monthly Notices of the Royal Astronomical Society 465 (2017) 4281–4310.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1023 | OA View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 103 | OA
Transport signatures of quasiparticle poisoning in a majorana island
S.M. Albrecht, E. Hansen, A.P. Higginbotham, F. Kuemmeth, T. Jespersen, J. Nygård, P. Krogstrup, J. Danon, K. Flensberg, C. Marcus, APS Physics, Physical Review Letters 118 (2017).
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1030 | OA View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 10369 | OA
Long-range organization of membrane-curving proteins
M. Simunovic, A. Šarić, J.M. Henderson, K.Y.C. Lee, G.A. Voth, ACS Central Science 3 (2017) 1246–1253.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 10370 | OA
Mechanical force induces mitochondrial fission
S.C.J. Helle, Q. Feng, M.J. Aebersold, L. Hirt, R.R. Grüter, A. Vahid, A. Sirianni, S. Mostowy, J.G. Snedeker, A. Šarić, T. Idema, T. Zambelli, B. Kornmann, ELife 6 (2017).
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 10373 | OA
Numerical evidence for thermally induced monopoles
P. Wirnsberger, D. Fijan, R.A. Lightwood, A. Šarić, C. Dellago, D. Frenkel, Proceedings of the National Academy of Sciences 114 (2017) 4911–4914.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 10374 | OA
Scaling behaviour and rate-determining steps in filamentous self-assembly
G. Meisl, L. Rajah, S.A.I. Cohen, M. Pfammatter, A. Šarić, E. Hellstrand, A.K. Buell, A. Aguzzi, S. Linse, M. Vendruscolo, C.M. Dobson, T.P.J. Knowles, Chemical Science 8 (2017) 7087–7097.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 10375 | OA
Curvature variation controls particle aggregation on fluid vesicles
A. Vahid, A. Šarić, T. Idema, Soft Matter 13 (2017) 4924–4930.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 10416 | OA
Optimal Dyck reachability for data-dependence and Alias analysis
K. Chatterjee, B. Choudhary, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 2 (2017).
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 10417 | OA
Data-centric dynamic partial order reduction
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Proceedings of the ACM on Programming Languages 2 (2017).
View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 10418 | OA
A new proof rule for almost-sure termination
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).
View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 2016 | OA
Exact goodness-of-fit testing for the Ising model
A. Martin Del Campo Sanchez, S.A. Cepeda Humerez, C. Uhler, Scandinavian Journal of Statistics 44 (2017) 285–306.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 266 | OA
Forms in many variables and differing degrees
T.D. Browning, R. Heath Brown, Journal of the European Mathematical Society 19 (2017) 357–394.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 268 | OA
A transference approach to a Roth-type theorem in the squares
T.D. Browning, S. Prendiville, International Mathematics Research Notices 2017 (2017) 2219–2248.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 269 | OA
Varieties with too many rational points
T.D. Browning, D. Loughran, Mathematische Zeitschrift 285 (2017) 1249–1267.
View | DOI | Download None (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 270 | OA
Power-free values of polynomials on symmetric varieties
T.D. Browning, A. Gorodnik, Proceedings of the London Mathematical Society 114 (2017) 1044–1080.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 271 | OA
Improvements in Birch's theorem on forms in many variables
T.D. Browning, S. Prendiville, Journal Fur Die Reine Und Angewandte Mathematik 2017 (2017) 203–234.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 272 | OA
Norm forms for arbitrary number fields as products of linear polynomials
T.D. Browning, L. Matthiesen, Annales Scientifiques de l’Ecole Normale Superieure 50 (2017) 1383–1446.
View | DOI | Download (ext.)
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
A faster approximation algorithm for the Gibbs partition function
V. Kolmogorov, in:, Proceedings of the 31st Conference On Learning Theory, PMLR, 2017, pp. 228–249.
View | Files available | arXiv
 

2017 | Journal Article | IST-REx-ID: 93 | OA
Reconfigurable re-entrant cavity for wireless coupling to an electro-optomechanical device
T. Menke, P. Burns, A.P. Higginbotham, N.S. Kampel, R. Peterson, K. Cicak, R. Simmonds, C. Regal, K. Lehnert, Review of Scientific Instruments 88 (2017).
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Thesis | IST-REx-ID: 938 | OA
Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 939 | OA View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 94 | OA
Breaking Lorentz reciprocity with frequency conversion and delay
E. Rosenthal, B. Chapman, A.P. Higginbotham, J. Kerckhoff, K. Lehnert, APS Physics, Physical Review Letters 119 (2017).
View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 943 | OA
Decoding of position in the developing neural tube from antiparallel morphogen gradients
M.P. Zagórski, Y. Tabata, N. Brandenberg, M. Lutolf, G. Tkačik, T. Bollenbach, J. Briscoe, A. Kicheva, Science 356 (2017) 1379–1383.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 9445 | OA View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 945 | OA
Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome
A.K. Huylmans, A. Macon, B. Vicoso, Molecular Biology and Evolution 34 (2017) 2637–2649.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 946 | OA
Live tracking of moving samples in confocal microscopy for vertically grown roots
D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, J. Friml, ELife 6 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 947 | OA
Quantifying the entropic cost of cellular growth control
D. De Martino, F. Capuani, A. De Martino, Physical Review E Statistical Nonlinear and Soft Matter Physics 96 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 950 | OA
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 9506 | OA View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 951 | OA
Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti
T. Schmidt, N.H. Barton, G. Rasic, A. Turley, B. Montgomery, I. Iturbe Ormaetxe, P. Cook, P. Ryan, S. Ritchie, A. Hoffmann, S. O’Neill, M. Turelli, PLoS Biology 15 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 952 | OA
Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti
M. Turelli, N.H. Barton, Theoretical Population Biology 115 (2017) 45–60.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 953 | OA
The sources of adaptive evolution
D. Charlesworth, N.H. Barton, B. Charlesworth, Proceedings of the Royal Society of London Series B Biological Sciences 284 (2017).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 954 | OA
On the mechanistic nature of epistasis in a canonical cis-regulatory element
M. Lagator, T. Paixao, N.H. Barton, J.P. Bollback, C.C. Guet, ELife 6 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 955 | OA
Evolution of new regulatory functions on biophysically realistic fitness landscapes
T. Friedlander, R. Prizak, N.H. Barton, G. Tkačik, Nature Communications 8 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 956 | OA
Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance
E. Carlen, J. Maas, Journal of Functional Analysis 273 (2017) 1810–1869.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 9574 | OA
Resilience for the Littlewood-Offord problem
A.S. Bandeira, A. Ferber, M.A. Kwan, Electronic Notes in Discrete Mathematics 61 (2017) 93–99.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 9588 | OA
Resilience for the Littlewood–Offord problem
A.S. Bandeira, A. Ferber, M.A. Kwan, Advances in Mathematics 319 (2017) 292–312.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 9589 | OA
The average number of spanning trees in sparse graphs with given degrees
C. Greenhill, M. Isaev, M.A. Kwan, B.D. McKay, European Journal of Combinatorics 63 (2017) 6–25.
View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 959 | OA
Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics
D. De Martino, Physical Review E Statistical Nonlinear and Soft Matter Physics 95 (2017) 062419.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 9590 | OA
Bounded-degree spanning trees in randomly perturbed graphs
M. Krivelevich, M.A. Kwan, B. Sudakov, SIAM Journal on Discrete Mathematics 31 (2017) 155–171.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 960 | OA
Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks
A.H. Hansen, C.F. Düllberg, C. Mieck, M. Loose, S. Hippenmeyer, Frontiers in Cellular Neuroscience 11 (2017).
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 963 | OA
Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 

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

2017 | Journal Article | IST-REx-ID: 9661 | OA
Bridging the gap between atomistic and macroscopic models of homogeneous nucleation
B. Cheng, M. Ceriotti, The Journal of Chemical Physics 146 (2017).
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Research Data Reference | IST-REx-ID: 9709 | OA
Data from: Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, (2017).
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 988 | OA
Current-phase relation of ballistic graphene Josephson junctions
G. Nanda, J.L. Aguilera Servin, P. Rakyta, A. Kormányos, R. Kleiner, D. Koelle, K. Watanabe, T. Taniguchi, L. Vandersypen, S. Goswami, Nano Letters 17 (2017) 3396–3401.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 990 | OA
Divergence and evolution of assortative mating in a polygenic trait model of speciation with gene flow
H. Sachdeva, N.H. Barton, Evolution; International Journal of Organic Evolution 71 (2017) 1478–1493.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Thesis | IST-REx-ID: 992 | OA
Complexity of constraint satisfaction
M. Rolinek, Complexity of Constraint Satisfaction, IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 993 | OA
Subsampling scaling
A. Levina (Martius), V. Priesemann, Nature Communications 8 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 994 | OA
Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules
I. Cherepanov, M. Lemeshko, Physical Review Materials 1 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 995 | OA
Diagrammatic approach to orbital quantum impurities interacting with a many-particle environment
G. Bighin, M. Lemeshko, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 996 | OA
Strongly aligned molecules inside helium droplets in the near-adiabatic regime
B. Shepperson, A. Chatterley, A. Søndergaard, L. Christiansen, M. Lemeshko, H. Stapelfeldt, The Journal of Chemical Physics 147 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 997 | OA
Emergence of non-abelian magnetic monopoles in a quantum impurity problem
E. Yakaboylu, A. Deuchert, M. Lemeshko, APS Physics, Physical Review Letters 119 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 998 | OA
iCaRL: Incremental classifier and representation learning
S.A. Rebuffi, A. Kolesnikov, G. Sperl, C. Lampert, in:, IEEE, 2017, pp. 5533–5542.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 999 | OA
Multi-task learning with labeled and unlabeled tasks
A. Pentina, C. Lampert, in:, Omnipress, 2017, pp. 2807–2816.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 392 | OA
Ultrafast dynamics in the presence of antiferromagnetic correlations in electron doped cuprate La2 xCexCuO4±δ
I. Vishik, F. Mahmood, Z. Alpichshev, N. Gedik, J. Higgins, R. Greene, Physical Review B 95 (2017).
View | DOI | Download None (ext.)
 

2017 | Journal Article | IST-REx-ID: 393 | OA
Origin of the exciton mass in the frustrated Mott insulator Na2IrO3
Z. Alpichshev, E. Sie, F. Mahmood, G. Cao, N. Gedik, Physical Review B 96 (2017).
View | DOI | Download None (ext.)
 

2017 | Book Chapter | IST-REx-ID: 424 | OA
Bounding helly numbers via betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nešetřil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447.
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 431 | OA
QSGD: Communication-efficient SGD via gradient quantization and encoding
D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, M. Vojnović, in:, Neural Information Processing Systems Foundation, Inc., 2017, pp. 1710–1721.
View | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 432 | OA
ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning
H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, C. Zhang, in:, Proceedings of Machine Learning Research, PMLR, 2017, pp. 4035–4043.
View | Files available
 

2017 | Journal Article | IST-REx-ID: 481 | OA
Planar matchings for weighted straight skeletons
T. Biedl, S. Huber, P. Palfrader, International Journal of Computational Geometry and Applications 26 (2017) 211–229.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 681 | OA
Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J. Raskin, Information and Computation 254 (2017) 296–315.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1159 | OA
Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation
W. Steenackers, P. Klíma, M. Quareshy, I. Cesarino, R. Kumpf, S. Corneillie, P. Araújo, T. Viaene, G. Goeminne, M. Nowack, K. Ljung, J. Friml, J. Blakeslee, O. Novák, E. Zažímalová, R. Napier, W. Boerjan, B. Vanholme, Plant Physiology 173 (2017) 552–565.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Book Chapter | IST-REx-ID: 625 | OA
The cost of exactness in quantitative reachability
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, R. Mardare (Eds.), Models, Algorithms, Logics and Tools, Springer, 2017, pp. 367–381.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1528 | OA
Delocalization for a class of random block band matrices
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 202 | OA
Biology of restriction-modification systems at the single-cell and population level
M. Pleska, Biology of Restriction-Modification Systems at the Single-Cell and Population Level, IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 561 | OA View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1013 | OA View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 653 | OA
Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer
A. Makohon Moore, M. Zhang, J. Reiter, I. Božić, B. Allen, D. Kundu, K. Chatterjee, F. Wong, Y. Jiao, Z. Kohutek, J. Hong, M. Attiyeh, B. Javier, L. Wood, R. Hruban, M. Nowak, N. Papadopoulos, K. Kinzler, B. Vogelstein, C. Iacobuzio Donahue, Nature Genetics 49 (2017) 358–366.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1228 | OA
Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence
U. Sauerzopf, R. Sacco, G. Novarino, M. Niello, A. Weidenauer, N. Praschak Rieder, H. Sitte, M. Willeit, European Journal of Neuroscience 45 (2017) 45–57.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Thesis | IST-REx-ID: 961 | OA
Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation
V. Barone, Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation, IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1433 | OA
Phat - Persistent homology algorithms toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 552 | OA
Faster algorithms for mean-payoff parity games
K. Chatterjee, M. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 11066 | OA
Nup98 recruits the Wdr82–Set1A/COMPASS complex to promoters to regulate H3K4 trimethylation in hematopoietic progenitor cells
T.M. Franks, A. McCloskey, M.N. Shokhirev, C. Benner, A. Rathore, M. Hetzer, Genes & Development 31 (2017) 2222–2234.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 11067 | OA
Nup153 interacts with Sox2 to enable bimodal gene regulation and maintenance of neural progenitor cells
T. Toda, J.Y. Hsu, S.B. Linker, L. Hu, S.T. Schafer, J. Mertens, F.V. Jacinto, M. Hetzer, F.H. Gage, Cell Stem Cell 21 (2017) 618–634.e7.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 11065 | OA
Nucleolar expansion and elevated protein translation in premature aging
A. Buchwalter, M. Hetzer, Nature Communications 8 (2017).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications