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 |
Journal Article |
IST-REx-ID: 1834 |
Chen, C., Wang, C., Zhao, X., Zhou, T., Xu, D., Wang, Z., & Wang, Y. (2015). Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats. ASN Neuro. SAGE Publications. https://doi.org/10.1177/1759091415575845
[Published Version]
View
| Files available
| DOI
| WoS
2015 |
Published |
Conference Paper |
IST-REx-ID: 1835 |
Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., & Petrov, T. (2015). Model checking gene regulatory networks. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/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, P., Henzinger, T. A., Kovács, L., Radhakrishna, A., & Zwirchmayr, J. (2015). Segment abstraction for worst-case execution time analysis. Presented at the ESOP: European Symposium on Programming, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46669-8_5
View
| DOI
| WoS
2015 |
Published |
Journal Article |
IST-REx-ID: 18365 |
Simpson-Lavy, K. J., Bronstein, A. M., Kupiec, M., & Johnston, M. (2015). Cross-talk between carbon cetabolism and the DNA camage response in S. cerevisiae. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2015.08.025
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |
Published |
Journal Article |
IST-REx-ID: 1837 |
Kühnen, J., Braunshier, P., Schwegel, M., Kuhlmann, H., & Hof, B. (2015). Subcritical versus supercritical transition to turbulence in curved pipes. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2015.184
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2015 |
Published |
Journal Article |
IST-REx-ID: 18371
Aflalo, Y., Bronstein, A. M., & Kimmel, R. (2015). On convex relaxation of graph isomorphism. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1401651112
View
| DOI
| PubMed | Europe PMC
2015 |
Published |
Conference Paper |
IST-REx-ID: 1838 |
Bloem, R., Chatterjee, K., Jacobs, S., & Könighofer, R. (2015). Assume-guarantee synthesis for concurrent reactive programs with partial information (Vol. 9035, pp. 517–532). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_50
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |
Published |
Conference Paper |
IST-REx-ID: 18380
Litman, R., Korman, S., Bronstein, A. M., & Avidan, S. (2015). Inverting RANSAC: Global model detection via inlier rate estimation. In 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). Boston, MA, United States: IEEE. https://doi.org/10.1109/cvpr.2015.7299161
View
| DOI
2015 |
Published |
Conference Paper |
IST-REx-ID: 18387
Bian, X., Krim, H., Bronstein, A. M., & Dai, L. (2015). Sparse null space basis pursuit and analysis dictionary learning for high-dimensional data analysis. In 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). South Brisbane, QLD, Australia: IEEE. https://doi.org/10.1109/icassp.2015.7178678
View
| DOI
2015 |
Published |
Conference Paper |
IST-REx-ID: 1839 |
Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2015). Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_12
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |
Published |
Journal Article |
IST-REx-ID: 1840 |
Geiger, B., Petrov, T., Kubin, G., & Koeppl, H. (2015). Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control. IEEE. https://doi.org/10.1109/TAC.2014.2364971
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2015 |
Published |
Conference Paper |
IST-REx-ID: 18400
Menashe, O., & Bronstein, A. M. (2015). Real-time compressed imaging of scattering volumes. In 2014 IEEE International Conference on Image Processing (ICIP). Paris, France: IEEE. https://doi.org/10.1109/icip.2014.7025264
View
| DOI
2015 |
Published |
Conference Paper |
IST-REx-ID: 18401
Draelos, M., Qiu, Q., Bronstein, A. M., & Sapiro, G. (2015). Intel realsense = Real low cost gaze. In 2015 IEEE International Conference on Image Processing (ICIP). Quebec City, QC, Canada: IEEE. https://doi.org/10.1109/icip.2015.7351256
View
| DOI
2015 |
Published |
Journal Article |
IST-REx-ID: 1841 |
Kolmogorov, V. (2015). A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2014.2363465
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2015 |
Published |
Journal Article |
IST-REx-ID: 18415 |
Sprechmann, P., Bronstein, A. M., & Sapiro, G. (2015). Learning efficient sparse and low rank models. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/tpami.2015.2392779
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2015 |
Published |
Journal Article |
IST-REx-ID: 18416
Eynard, D., Kovnatsky, A., Bronstein, M. M., Glashoff, K., & Bronstein, A. M. (2015). Multimodal manifold snalysis by simultaneous diagonalization of Laplacians. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/tpami.2015.2408348
View
| DOI
| PubMed | Europe PMC
2015 |
Published |
Journal Article |
IST-REx-ID: 18424 |
Korman, S., Litman, R., Avidan, S., & Bronstein, A. M. (2015). Probably approximately symmetric: Fast rigid symmetry detection with global guarantees. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.12454
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |
Published |
Journal Article |
IST-REx-ID: 18425
Biasotti, S., Cerri, A., Bronstein, A. M., & Bronstein, M. (2015). Recent trends, applications, and perspectives in 3D shape similarity assessment. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.12734
View
| DOI
2015 |
Published |
Journal Article |
IST-REx-ID: 18436 |
Haim, H., Bronstein, A. M., & Marom, E. (2015). Computational multi-focus imaging combining sparse model with color dependent phase mask. Optics Express. Optica Publishing Group. https://doi.org/10.1364/oe.23.024547
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |
Published |
Conference Paper |
IST-REx-ID: 18439 |
Qiu, Q., Chang, Z., Draelos, M., Chen, J., Bronstein, A. M., & Sapiro, G. (2015). Low-cost gaze and pulse analysis using realsense. In Proceedings of the 5th EAI International Conference on Wireless Mobile Communication and Healthcare. London, United Kingdom: ICST. https://doi.org/10.4108/eai.14-10-2015.2261657
[Published Version]
View
| DOI
| Download Published Version (ext.)