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.
480 Publications
2015 |
Research Data |
IST-REx-ID: 5549 |
Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
A. Fellner, (2015).
[Published Version]
View
| Files available
| DOI
A. Fellner, (2015).
2015 |
Published |
Journal Article |
IST-REx-ID: 5804
From prima quadraginta octant to lattice sphere through primitive integer operations
R. Biswas, P. Bhowmick, Theoretical Computer Science 624 (2015) 56–72.
View
| DOI
R. Biswas, P. Bhowmick, Theoretical Computer Science 624 (2015) 56–72.
2015 |
Published |
Journal Article |
IST-REx-ID: 5807
On different topological classes of spherical geodesic paths and circles inZ3
R. Biswas, P. Bhowmick, Theoretical Computer Science 605 (2015) 146–163.
View
| DOI
R. Biswas, P. Bhowmick, Theoretical Computer Science 605 (2015) 146–163.
2015 |
Published |
Journal Article |
IST-REx-ID: 5808
Layer the sphere
R. Biswas, P. Bhowmick, The Visual Computer 31 (2015) 787–797.
View
| DOI
R. Biswas, P. Bhowmick, The Visual Computer 31 (2015) 787–797.
2015 |
Published |
Journal Article |
IST-REx-ID: 594
Structural basis of transcription initiation by RNA polymerase II
S. Sainsbury, C. Bernecky, P. Cramer, Nature Reviews Molecular Cell Biology 16 (2015) 129–143.
View
| DOI
| PubMed | Europe PMC
S. Sainsbury, C. Bernecky, P. Cramer, Nature Reviews Molecular Cell Biology 16 (2015) 129–143.
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: 19805 |
Nearly free electrons in a 5d delafossite oxide metal
P. Kushwaha, V. Sunko, P.J.W. Moll, L. Bawden, J.M. Riley, N. Nandi, H. Rosner, M.P. Schmidt, F. Arnold, E. Hassinger, T.K. Kim, M. Hoesch, A.P. Mackenzie, P.D.C. King, Science Advances 1 (2015).
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Kushwaha, V. Sunko, P.J.W. Moll, L. Bawden, J.M. Riley, N. Nandi, H. Rosner, M.P. Schmidt, F. Arnold, E. Hassinger, T.K. Kim, M. Hoesch, A.P. Mackenzie, P.D.C. King, Science Advances 1 (2015).
2015 |
Published |
Journal Article |
IST-REx-ID: 1981
Review and meta-analysis of natural selection in mitochondrial complex I in metazoans
M. Garvin, J. Bielawski, L.A. Sazanov, A. Gharrett, Journal of Zoological Systematics and Evolutionary Research 53 (2015) 1–17.
View
| DOI
M. Garvin, J. Bielawski, L.A. Sazanov, A. Gharrett, Journal of Zoological Systematics and Evolutionary Research 53 (2015) 1–17.
2015 |
Published |
Conference Paper |
IST-REx-ID: 1992 |
Succinct representation of concurrent trace sets
A. Gupta, T.A. Henzinger, A. Radhakrishna, R. Samanta, T. Tarrach, in:, ACM, 2015, pp. 433–444.
[Submitted Version]
View
| Files available
| DOI
A. Gupta, T.A. Henzinger, A. Radhakrishna, R. Samanta, T. Tarrach, in:, ACM, 2015, pp. 433–444.
2015 |
Published |
Journal Article |
IST-REx-ID: 1993 |
Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host
M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 282 (2015).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 282 (2015).
2015 |
Published |
Journal Article |
IST-REx-ID: 1997 |
The three-state toric homogeneous Markov chain model has Markov degree two
P. Noren, Journal of Symbolic Computation 68/Part 2 (2015) 285–296.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Noren, Journal of Symbolic Computation 68/Part 2 (2015) 285–296.
2015 |
Published |
Journal Article |
IST-REx-ID: 2006 |
The monotone secant conjecture in the real Schubert calculus
N. Hein, C. Hillar, A. Martin del Campo Sanchez, F. Sottile, Z. Teitler, Experimental Mathematics 24 (2015) 261–269.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
N. Hein, C. Hillar, A. Martin del Campo Sanchez, F. Sottile, Z. Teitler, Experimental Mathematics 24 (2015) 261–269.
2015 |
Published |
Journal Article |
IST-REx-ID: 2008 |
Iterative scaling in curved exponential families
A. Klimova, T. Rudas, Scandinavian Journal of Statistics 42 (2015) 832–847.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Klimova, T. Rudas, Scandinavian Journal of Statistics 42 (2015) 832–847.
2015 |
Published |
Journal Article |
IST-REx-ID: 2014 |
Faithfulness and learning hypergraphs from discrete distributions
A. Klimova, C. Uhler, T. Rudas, Computational Statistics & Data Analysis 87 (2015) 57–72.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Klimova, C. Uhler, T. Rudas, Computational Statistics & Data Analysis 87 (2015) 57–72.
2015 |
Published |
Journal Article |
IST-REx-ID: 2025 |
The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins
D. Kawada, H. Kobayashi, T. Tomita, E. Nakata, M. Nagano, D.E. Siekhaus, J. Toshima, J. Toshimaa, Biochimica et Biophysica Acta - Molecular Cell Research 1853 (2015) 144–156.
[Submitted Version]
View
| Files available
| DOI
| WoS
D. Kawada, H. Kobayashi, T. Tomita, E. Nakata, M. Nagano, D.E. Siekhaus, J. Toshima, J. Toshimaa, Biochimica et Biophysica Acta - Molecular Cell Research 1853 (2015) 144–156.
2015 |
Published |
Journal Article |
IST-REx-ID: 2030 |
A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow
L. Shi, M. Rampp, B. Hof, M. Avila, Computers and Fluids 106 (2015) 1–11.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
L. Shi, M. Rampp, B. Hof, M. Avila, Computers and Fluids 106 (2015) 1–11.
2015 |
Published |
Journal Article |
IST-REx-ID: 2034 |
Probabilistic opacity for Markov decision processes
B. Bérard, K. Chatterjee, N. Sznajder, Information Processing Letters 115 (2015) 52–59.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
B. Bérard, K. Chatterjee, N. Sznajder, Information Processing Letters 115 (2015) 52–59.
2015 |
Published |
Journal Article |
IST-REx-ID: 2035 |
The persistent homology of a self-map
H. Edelsbrunner, G. Jablonski, M. Mrozek, Foundations of Computational Mathematics 15 (2015) 1213–1244.
[Published Version]
View
| Files available
| DOI
| WoS
H. Edelsbrunner, G. Jablonski, M. Mrozek, Foundations of Computational Mathematics 15 (2015) 1213–1244.
2015 |
Published |
Conference Paper |
IST-REx-ID: 10748 |
Study of Fe (Se, Te) micron-sized rings by magnetic force microscopy
H. Polshyn, C. Zhang, T. Naibert, J. Eckstein, R. Budakian, in:, APS March Meeting 2015, American Physical Society, 2015.
[Published Version]
View
| Download Published Version (ext.)
H. Polshyn, C. Zhang, T. Naibert, J. Eckstein, R. Budakian, in:, APS March Meeting 2015, American Physical Society, 2015.