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 | Published | Conference Paper | IST-REx-ID: 1820 | OA
Optimal cost almost-sure reachability in POMDPs
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , AAAI Press, 2015, pp. 3496–3502.
[Preprint] View | Files available | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 1823 | OA
Systematic discovery of drug interaction mechanisms
G. Chevereau, M.T. Bollenbach, Molecular Systems Biology 11 (2015).
[Published Version] View | Files available | DOI | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 1824 | OA
Evolutionary games of condensates in coupled birth-death processes
J. Knebel, M. Weber, T.H. Krüger, E. Frey, Nature Communications 6 (2015).
[Published Version] View | Files available | DOI | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 1827 | OA
Evolution of bow-tie architectures in biology
T. Friedlander, A. Mayo, T. Tlusty, U. Alon, PLoS Computational Biology 11 (2015).
[Published Version] View | Files available | DOI | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 1828 | OA
Invariant measures of genetic recombination process
A. Akopyan, S. Pirogov, A. Rybko, Journal of Statistical Physics 160 (2015) 163–167.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 1830 | OA
Opposing effects of allogrooming on disease transmission in ant societies
F. Theis, L.V. Ugelvig, C. Marr, S. Cremer, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 1831 | OA
Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies
P. Kappeler, S. Cremer, C. Nunn, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 1832 | OA
Aspect-oriented linearizability proofs
S. Chakraborty, T.A. Henzinger, A. Sezgin, V. Vafeiadis, Logical Methods in Computer Science 11 (2015).
[Published Version] View | Files available | DOI | WoS
 

2015 | Published | Book Chapter | IST-REx-ID: 18326
Manifold Intrinsic Similarity
A.M. Bronstein, M.M. Bronstein, in:, O. Scherzer (Ed.), Handbook of Mathematical Methods in Imaging, 2nd ed., Springer Nature, New York, 2015, pp. 1859–1908.
View | DOI
 

2015 | Published | Book Chapter | IST-REx-ID: 18327
Supervised non-negative matrix factorization for audio source separation
P. Sprechmann, A.M. Bronstein, G. Sapiro, in:, Excursions in Harmonic Analysis, Volumne 4, 1st ed., Springer Nature, Cham, 2015, pp. 407–420.
View | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 1834 | OA
Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats
C. Chen, C. Wang, X. Zhao, T. Zhou, D. Xu, Z. Wang, Y. Wang, ASN Neuro 7 (2015).
[Published Version] View | Files available | DOI | WoS
 

2015 | Published | Conference Paper | IST-REx-ID: 1835 | OA
Model checking gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 1836
Segment abstraction for worst-case execution time analysis
P. Cerny, T.A. Henzinger, L. Kovács, A. Radhakrishna, J. Zwirchmayr, 9032 (2015) 105–131.
View | DOI | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 18365 | OA
Cross-talk between carbon cetabolism and the DNA camage response in S. cerevisiae
K.J. Simpson-Lavy, A.M. Bronstein, M. Kupiec, M. Johnston, Cell Reports 12 (2015) 1865–1875.
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 1837 | OA
Subcritical versus supercritical transition to turbulence in curved pipes
J. Kühnen, P. Braunshier, M. Schwegel, H. Kuhlmann, B. Hof, Journal of Fluid Mechanics 770 (2015).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 18371
On convex relaxation of graph isomorphism
Y. Aflalo, A.M. Bronstein, R. Kimmel, Proceedings of the National Academy of Sciences 112 (2015) 2942–2947.
View | DOI | PubMed | Europe PMC
 

2015 | Published | Conference Paper | IST-REx-ID: 1838 | OA
Assume-guarantee synthesis for concurrent reactive programs with partial information
R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 18380
Inverting RANSAC: Global model detection via inlier rate estimation
R. Litman, S. Korman, A.M. Bronstein, S. Avidan, in:, 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), IEEE, 2015.
View | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 18387
Sparse null space basis pursuit and analysis dictionary learning for high-dimensional data analysis
X. Bian, H. Krim, A.M. Bronstein, L. Dai, in:, 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, 2015.
View | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 1839 | OA
Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, 9035 (2015) 181–187.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Export / Embed