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
Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.” Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , vol. 5, AAAI Press, 2015, pp. 3496–502.
[Preprint] View | Files available | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 1823 | OA
Chevereau, Guillaume, and Mark Tobias Bollenbach. “Systematic Discovery of Drug Interaction Mechanisms.” Molecular Systems Biology, vol. 11, no. 4, 807, Nature Publishing Group, 2015, doi:10.15252/msb.20156098.
[Published Version] View | Files available | DOI | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 1824 | OA
Knebel, Johannes, et al. “Evolutionary Games of Condensates in Coupled Birth-Death Processes.” Nature Communications, vol. 6, 6977, Nature Publishing Group, 2015, doi:10.1038/ncomms7977.
[Published Version] View | Files available | DOI | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 1827 | OA
Friedlander, Tamar, et al. “Evolution of Bow-Tie Architectures in Biology.” PLoS Computational Biology, vol. 11, no. 3, Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004055.
[Published Version] View | Files available | DOI | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 1828 | OA
Akopyan, Arseniy, et al. “Invariant Measures of Genetic Recombination Process.” Journal of Statistical Physics, vol. 160, no. 1, Springer, 2015, pp. 163–67, doi:10.1007/s10955-015-1238-5.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 1830 | OA
Theis, Fabian, et al. “Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669, Royal Society, The, 2015, doi:10.1098/rstb.2014.0108.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 1831 | OA
Kappeler, Peter, et al. “Sociality and Health: Impacts of Sociality on Disease Susceptibility and Transmission in Animal and Human Societies.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669, 20140116, Royal Society, 2015, doi:10.1098/rstb.2014.0116.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 1832 | OA
Chakraborty, Soham, et al. “Aspect-Oriented Linearizability Proofs.” Logical Methods in Computer Science, vol. 11, no. 1, 20, International Federation of Computational Logic, 2015, doi:10.2168/LMCS-11(1:20)2015.
[Published Version] View | Files available | DOI | WoS
 

2015 | Published | Book Chapter | IST-REx-ID: 18326
Bronstein, Alex M., and Michael M. Bronstein. “Manifold Intrinsic Similarity.” Handbook of Mathematical Methods in Imaging, edited by Otmar Scherzer, 2nd ed., Springer Nature, 2015, pp. 1859–908, doi:10.1007/978-1-4939-0790-8_57.
View | DOI
 

2015 | Published | Book Chapter | IST-REx-ID: 18327
Sprechmann, Pablo, et al. “Supervised Non-Negative Matrix Factorization for Audio Source Separation.” Excursions in Harmonic Analysis, Volumne 4, 1st ed., Springer Nature, 2015, pp. 407–20, doi:10.1007/978-3-319-20188-7_16.
View | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 1834 | OA
Chen, Chong, et al. “Low-Dose Sevoflurane Promoteshippocampal Neurogenesis and Facilitates the Development of Dentate Gyrus-Dependent Learning in Neonatal Rats.” ASN Neuro, vol. 7, no. 2, SAGE Publications, 2015, doi:10.1177/1759091415575845.
[Published Version] View | Files available | DOI | WoS
 

2015 | Published | Conference Paper | IST-REx-ID: 1835 | OA
Giacobbe, Mirco, et al. Model Checking Gene Regulatory Networks. Vol. 9035, Springer, 2015, pp. 469–83, doi:10.1007/978-3-662-46681-0_47.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 1836
Cerny, Pavol, et al. Segment Abstraction for Worst-Case Execution Time Analysis. Vol. 9032, Springer, 2015, pp. 105–31, doi:10.1007/978-3-662-46669-8_5.
View | DOI | WoS
 

2015 | Published | Journal Article | IST-REx-ID: 18365 | OA
Simpson-Lavy, Kobi J., et al. “Cross-Talk between Carbon Cetabolism and the DNA Camage Response in S. Cerevisiae.” Cell Reports, vol. 12, no. 11, Elsevier, 2015, pp. 1865–75, doi:10.1016/j.celrep.2015.08.025.
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 1837 | OA
Kühnen, Jakob, et al. “Subcritical versus Supercritical Transition to Turbulence in Curved Pipes.” Journal of Fluid Mechanics, vol. 770, no. 5, R3, Cambridge University Press, 2015, doi:10.1017/jfm.2015.184.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 18371
Aflalo, Yonathan, et al. “On Convex Relaxation of Graph Isomorphism.” Proceedings of the National Academy of Sciences, vol. 112, no. 10, National Academy of Sciences, 2015, pp. 2942–47, doi:10.1073/pnas.1401651112.
View | DOI | PubMed | Europe PMC
 

2015 | Published | Conference Paper | IST-REx-ID: 1838 | OA
Bloem, Roderick, et al. Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. Vol. 9035, Springer, 2015, pp. 517–32, doi:10.1007/978-3-662-46681-0_50.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 18380
Litman, Roee, et al. “Inverting RANSAC: Global Model Detection via Inlier Rate Estimation.” 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 7299161, IEEE, 2015, doi:10.1109/cvpr.2015.7299161.
View | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 18387
Bian, Xiao, et al. “Sparse Null Space Basis Pursuit and Analysis Dictionary Learning for High-Dimensional Data Analysis.” 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 7178678, IEEE, 2015, doi:10.1109/icassp.2015.7178678.
View | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 1839 | OA
Brázdil, Tomáš, et al. Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. Vol. 9035, Springer, 2015, pp. 181–87, doi:10.1007/978-3-662-46681-0_12.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed