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.
7158 Publications
2015 | Published | Journal Article | IST-REx-ID: 6118 |
Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity
L.A. Fenk, M. de Bono, Proceedings of the National Academy of Sciences 112 (2015) E3525–E3534.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
L.A. Fenk, M. de Bono, Proceedings of the National Academy of Sciences 112 (2015) E3525–E3534.
2015 | Published | Journal Article | IST-REx-ID: 6120 |
Decoding a neural circuit controlling global animal state in C. elegans
P. Laurent, Z. Soltesz, G.M. Nelson, C. Chen, F. Arellano-Carbajal, E. Levy, M. de Bono, ELife 4 (2015).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
P. Laurent, Z. Soltesz, G.M. Nelson, C. Chen, F. Arellano-Carbajal, E. Levy, M. de Bono, ELife 4 (2015).
2015 | Published | Journal Article | IST-REx-ID: 121 |
Origami multistability: From single vertices to metasheets
S.R. Waitukaitis, R. Menaut, B. Chen, M. Van Hecke, APS Physics, Physical Review Letters 114 (2015).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.R. Waitukaitis, R. Menaut, B. Chen, M. Van Hecke, APS Physics, Physical Review Letters 114 (2015).
2015 | Published | Conference Paper | IST-REx-ID: 12881 |
Quantifying self-organizing behavior of autonomous robots
G.S. Martius, E. Olbrich, in:, Proceedings of the 13th European Conference on Artificial Life, MIT Press, 2015, p. 78.
[Published Version]
View
| Files available
| DOI
G.S. Martius, E. Olbrich, in:, Proceedings of the 13th European Conference on Artificial Life, MIT Press, 2015, p. 78.
2015 | Published | Journal Article | IST-REx-ID: 1311
Finite speed of propagation and waiting times for the stochastic porous medium equation: A unifying approach
J.L. Fischer, G. Grün, SIAM Journal on Mathematical Analysis 47 (2015) 825–854.
View
| DOI
J.L. Fischer, G. Grün, SIAM Journal on Mathematical Analysis 47 (2015) 825–854.
2015 | Published | Book Review | IST-REx-ID: 1473 |
Cohomology of large semiprojective hyperkähler varieties
T. Hausel, F. Rodríguez Villegas, Asterisque 2015 (2015) 113–156.
View
| Download (ext.)
T. Hausel, F. Rodríguez Villegas, Asterisque 2015 (2015) 113–156.
2015 | Published | Conference Paper | IST-REx-ID: 1474 |
Policy privacy in cryptographic access control
A. Ferrara, G. Fuchsbauer, B. Liu, B. Warinschi, in:, IEEE, 2015, pp. 46–60.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
A. Ferrara, G. Fuchsbauer, B. Liu, B. Warinschi, in:, IEEE, 2015, pp. 46–60.
2015 | Published | Conference Paper | IST-REx-ID: 1481 |
Automatic generation of alternative starting positions for simple traditional board games
U. Ahmed, K. Chatterjee, S. Gulwani, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, AAAI Press, 2015, pp. 745–752.
View
| Files available
| Download None (ext.)
U. Ahmed, K. Chatterjee, S. Gulwani, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, AAAI Press, 2015, pp. 745–752.
2015 | Published | Conference Paper | IST-REx-ID: 1483 |
A stable multi-scale kernel for topological machine learning
J. Reininghaus, S. Huber, U. Bauer, R. Kwitt, in:, IEEE, 2015, pp. 4741–4748.
[Preprint]
View
| DOI
| Download Preprint (ext.)
J. Reininghaus, S. Huber, U. Bauer, R. Kwitt, in:, IEEE, 2015, pp. 4741–4748.
2015 | Published | Conference Paper | IST-REx-ID: 1495 |
Relaxed disk packing
H. Edelsbrunner, M. Iglesias Ham, V. Kurlin, in:, Proceedings of the 27th Canadian Conference on Computational Geometry, Queen’s University, 2015, pp. 128–135.
[Submitted Version]
View
| Download Submitted Version (ext.)
H. Edelsbrunner, M. Iglesias Ham, V. Kurlin, in:, Proceedings of the 27th Canadian Conference on Computational Geometry, Queen’s University, 2015, pp. 128–135.
2015 | Published | Journal Article | IST-REx-ID: 1497 |
Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data
D. Andergassen, C. Dotter, T. Kulinski, P. Guenzl, P. Bammer, D. Barlow, F. Pauler, Q. Hudson, Nucleic Acids Research 43 (2015).
[Published Version]
View
| Files available
| DOI
D. Andergassen, C. Dotter, T. Kulinski, P. Guenzl, P. Bammer, D. Barlow, F. Pauler, Q. Hudson, Nucleic Acids Research 43 (2015).
2015 | Published | Conference Paper | IST-REx-ID: 1498 |
The need for language support for fault-tolerant distributed systems
C. Dragoi, T.A. Henzinger, D. Zufferey, 32 (2015) 90–102.
[Published Version]
View
| Files available
| DOI
C. Dragoi, T.A. Henzinger, D. Zufferey, 32 (2015) 90–102.
2015 | Published | Conference Paper | IST-REx-ID: 1499 |
Polynomial time decidability of weighted synchronization under partial observability
J. Kretinsky, K. Larsen, S. Laursen, J. Srba, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–154.
[Published Version]
View
| Files available
| DOI
J. Kretinsky, K. Larsen, S. Laursen, J. Srba, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–154.
2015 | Published | Conference Poster | IST-REx-ID: 1500
Poster: HyRG: A random generation tool for affine hybrid automata
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata, Springer, 2015.
View
| DOI
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata, Springer, 2015.
2015 | Published | Journal Article | IST-REx-ID: 1503 |
A Herman-Avila-Bochi formula for higher-dimensional pseudo-unitary and Hermitian-symplectic-cocycles
C. Sadel, Ergodic Theory and Dynamical Systems 35 (2015) 1582–1591.
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Sadel, Ergodic Theory and Dynamical Systems 35 (2015) 1582–1591.
2015 | Published | Journal Article | IST-REx-ID: 1504 |
Spectral statistics of large dimensional spearman s rank correlation matrix and its application
Z. Bao, L. Lin, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 2588–2623.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Z. Bao, L. Lin, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 2588–2623.
2015 | Published | Journal Article | IST-REx-ID: 1505 |
Universality for the largest eigenvalue of sample covariance matrices with general population
Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.
[Preprint]
View
| DOI
| Download Preprint (ext.)
Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.
2015 | Published | Journal Article | IST-REx-ID: 1506 |
The logarithmic law of random determinant
Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.
[Preprint]
View
| DOI
| Download Preprint (ext.)
Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.
2015 | Published | Journal Article | IST-REx-ID: 1508 |
Gap universality of generalized Wigner and β ensembles
L. Erdös, H. Yau, Journal of the European Mathematical Society 17 (2015) 1927–2036.
[Preprint]
View
| DOI
| Download Preprint (ext.)
L. Erdös, H. Yau, Journal of the European Mathematical Society 17 (2015) 1927–2036.
2015 | Published | Journal Article | IST-REx-ID: 1509 |
Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene
J. Michalko, M. Lukacisinova, M.T. Bollenbach, J. Friml, F1000 Research 4 (2015).
[Published Version]
View
| Files available
| DOI
J. Michalko, M. Lukacisinova, M.T. Bollenbach, J. Friml, F1000 Research 4 (2015).