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.

12149 Publications


2014 | Published | Book Chapter | IST-REx-ID: 1829
Muelling K, Kroemer O, Lampert C, Schölkopf B. Movement templates for learning of hitting and batting. In: Kober J, Peters J, eds. Learning Motor Skills. Vol 97. From Algorithms to Robot Experiments. Springer; 2014:69-82. doi:10.1007/978-3-319-03194-1_3
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 18353
Raviv D, Bronstein AM, Bronstein MM, Waisman D, Sochen N, Kimmel R. Equi-affine invariant geometry for shape analysis. Journal of Mathematical Imaging and Vision. 2014;50:144-163. doi:10.1007/s10851-013-0467-y
View | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 18384
Sprechmann P, Bronstein AM, Sapiro G. Supervised non-euclidean sparse NMF via bilevel optimization with applications to speech enhancement. In: 2014 4th Joint Workshop on Hands-Free Speech Communication and Microphone Arrays (HSCMA). IEEE; 2014. doi:10.1109/hscma.2014.6843241
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 18413
Litman R, Bronstein AM. Learning spectral descriptors for deformable shape correspondence. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2014;36(1):171-180. doi:10.1109/tpami.2013.148
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 18414 | OA
Masci J, Bronstein MM, Bronstein AM, Schmidhuber J. Multimodal similarity-preserving hashing. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2014;36(4):824-830. doi:10.1109/tpami.2013.225
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 1842 | OA
Cibulka J, Gao P, Krcál M, Valla T, Valtr P. On the geometric ramsey number of outerplanar graphs. Discrete & Computational Geometry. 2014;53(1):64-79. doi:10.1007/s00454-014-9646-x
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 18423
Litman R, Bronstein AM, Bronstein M, Castellani U. Supervised learning of bag‐of‐features shape descriptors using sparse coding. Computer Graphics Forum. 2014;33(5):127-136. doi:10.1111/cgf.12438
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1844 | OA
Risso V, Manssour Triedo F, Delgado Delgado A, et al. Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history. Molecular Biology and Evolution. 2014;32(2):440-455. doi:10.1093/molbev/msu312
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Book | IST-REx-ID: 22092
Koch H, Tataru D, Vişan M. Dispersive Equations and Nonlinear Waves: Generalized Korteweg–de Vries, Nonlinear Schrödinger, Wave and Schrödinger Maps. Vol 45. 1st ed. Basel: Springer; 2014. doi:10.1007/978-3-0348-0736-4
View | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 2905 | OA
Edelsbrunner H, Morozovy D. Persistent homology: Theory and practice. In: EMS Press; 2014:31-50. doi:10.4171/120-1/3
[Submitted Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1904 | OA
Frank R, Lewin M, Lieb É, Seiringer R. Strichartz inequality for orthonormal functions. Journal of the European Mathematical Society. 2014;16(7):1507-1526. doi:10.4171/JEMS/467
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 2233 | OA
Boker U, Henzinger TA. Exact and approximate determinization of discounted-sum automata. Logical Methods in Computer Science. 2014;10(1). doi:10.2168/LMCS-10(1:10)2014
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 2234 | OA
Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science. 2014;10(1). doi:10.2168/LMCS-10(1:13)2014
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Book Chapter | IST-REx-ID: 2265
Hippenmeyer S. Molecular pathways controlling the sequential steps of cortical projection neuron migration. In: Nguyen L, ed. Cellular and Molecular Control of Neuronal Migration. Vol 800. Springer; 2014:1-24. doi:10.1007/978-94-007-7687-6_1
View | DOI | WoS
 

2014 | Published | Conference Paper | IST-REx-ID: 2027 | OA
Brázdil T, Chatterjee K, Chmelik M, et al. Verification of Markov decision processes using learning algorithms. In: 12th International Symposium on Automated Technology for Verification and Analysis. Vol 8837. Springer; 2014:98-114. doi:10.1007/978-3-319-11936-6_8
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 2028 | OA
Bodova K, Paydarfar D, Forger D. Characterizing spiking in noisy type II neurons. Journal of Theoretical Biology. 2014;365:40-54. doi:10.1016/j.jtbi.2014.09.041
[Published Version] View | Files available | DOI | WoS
 

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2014. doi:10.15479/AT:IST-2014-170-v1-1
[Published Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 2038 | OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values. ACM Transactions on Computational Logic. 2014;15(4). doi:10.1145/2629686
[Submitted Version] View | Files available | DOI | WoS
 

earlier version | 2014 | Published | Conference Paper | IST-REx-ID: 1903 | OA
Chatterjee K. Partial-observation stochastic reachability and parity games. In: Vol 8634. Springer; 2014:1-4. doi:10.1007/978-3-662-44522-8_1
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 2211 | OA
Chatterjee K, Doyen L. Partial-observation stochastic games: How to win when belief fails. ACM Transactions on Computational Logic. 2014;15(2). doi:10.1145/2579821
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed