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.

12121 Publications


2014 | Published | Conference Paper | IST-REx-ID: 18384
Sprechmann, Pablo, et al. “Supervised Non-Euclidean Sparse NMF via Bilevel Optimization with Applications to Speech Enhancement.” 2014 4th Joint Workshop on Hands-Free Speech Communication and Microphone Arrays (HSCMA), 6843241, IEEE, 2014, doi:10.1109/hscma.2014.6843241.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 18413
Litman, R., and Alex M. Bronstein. “Learning Spectral Descriptors for Deformable Shape Correspondence.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 36, no. 1, IEEE, 2014, pp. 171–80, doi:10.1109/tpami.2013.148.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 18414 | OA
Masci, Jonathan, et al. “Multimodal Similarity-Preserving Hashing.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 36, no. 4, IEEE, 2014, pp. 824–30, 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, Josef, et al. “On the Geometric Ramsey Number of Outerplanar Graphs.” Discrete & Computational Geometry, vol. 53, no. 1, Springer, 2014, pp. 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, Roee, et al. “Supervised Learning of Bag‐of‐features Shape Descriptors Using Sparse Coding.” Computer Graphics Forum, vol. 33, no. 5, Wiley, 2014, pp. 127–36, doi:10.1111/cgf.12438.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1844 | OA
Risso, Valeria, et al. “Mutational Studies on Resurrected Ancestral Proteins Reveal Conservation of Site-Specific Amino Acid Preferences throughout Evolutionary History.” Molecular Biology and Evolution, vol. 32, no. 2, Oxford University Press, 2014, pp. 440–55, doi:10.1093/molbev/msu312.
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Book | IST-REx-ID: 22092
Koch, Herbert, et al. Dispersive Equations and Nonlinear Waves: Generalized Korteweg–de Vries, Nonlinear Schrödinger, Wave and Schrödinger Maps. 1st ed., vol. 45, Springer, 2014, doi:10.1007/978-3-0348-0736-4.
View | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 2905 | OA
Edelsbrunner, Herbert, and Dmitriy Morozovy. Persistent Homology: Theory and Practice. EMS Press, 2014, pp. 31–50, doi:10.4171/120-1/3.
[Submitted Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1904 | OA
Frank, Rupert, et al. “Strichartz Inequality for Orthonormal Functions.” Journal of the European Mathematical Society, vol. 16, no. 7, EMS Press, 2014, pp. 1507–26, 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, Udi, and Thomas A. Henzinger. “Exact and Approximate Determinization of Discounted-Sum Automata.” Logical Methods in Computer Science, vol. 10, no. 1, International Federation for Computational Logic, 2014, 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, Tomáš, et al. “Markov Decision Processes with Multiple Long-Run Average Objectives.” Logical Methods in Computer Science, vol. 10, no. 1, International Federation for Computational Logic, 2014, doi:10.2168/LMCS-10(1:13)2014.
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Book Chapter | IST-REx-ID: 2265
Hippenmeyer, Simon. “Molecular Pathways Controlling the Sequential Steps of Cortical Projection Neuron Migration.” Cellular and Molecular Control of Neuronal Migration, edited by Laurent Nguyen, vol. 800, Springer, 2014, pp. 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, Tomáš, et al. “Verification of Markov Decision Processes Using Learning Algorithms.” 12th International Symposium on Automated Technology for Verification and Analysis, vol. 8837, Springer, 2014, pp. 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, Katarina, et al. “Characterizing Spiking in Noisy Type II Neurons.” Journal of Theoretical Biology, vol. 365, Academic Press, 2014, pp. 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, Krishnendu, et al. 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, Udi, et al. “Temporal Specifications with Accumulative Values.” ACM Transactions on Computational Logic, vol. 15, no. 4, 27, ACM, 2014, doi:10.1145/2629686.
[Submitted Version] View | Files available | DOI | WoS
 

earlier version | 2014 | Published | Conference Paper | IST-REx-ID: 1903 | OA
Chatterjee, Krishnendu. Partial-Observation Stochastic Reachability and Parity Games. Vol. 8634, no. PART 1, Springer, 2014, pp. 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, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” ACM Transactions on Computational Logic, vol. 15, no. 2, 16, ACM, 2014, doi:10.1145/2579821.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 2054
Chatterjee, Krishnendu. “Qualitative Concurrent Parity Games: Bounded Rationality.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, vol. 8704, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–59, doi:10.1007/978-3-662-44584-6_37.
View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 535 | OA
Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” Algorithmica, vol. 70, no. 3, Springer, 2014, pp. 457–92, doi:10.1007/s00453-013-9843-7.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed