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.
384 Publications
2012 |
Published |
Conference Paper |
IST-REx-ID: 18350
Raviv, Dan, et al. “Equi-Affine Invariant Geometries of Articulated Objects.” 15th International Workshop on Theoretical Foundations of Computer Vision, vol. 7474, Springer Nature, 2012, pp. 177–90, doi:10.1007/978-3-642-34091-8_8.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 18364
Litman, R., et al. “Stable Volumetric Features in Deformable Shapes.” Computers & Graphics, vol. 36, no. 5, Elsevier, 2012, pp. 569–76, doi:10.1016/j.cag.2012.03.034.
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 18378
Kokkinos, I., et al. “Intrinsic Shape Context Descriptors for Deformable Shapes.” 2012 IEEE Conference on Computer Vision and Pattern Recognition, 6247671, IEEE, 2012, doi:10.1109/cvpr.2012.6247671.
View
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 18379
Rodola, E., et al. “A Game-Theoretic Approach to Deformable Shape Matching.” 2012 IEEE Conference on Computer Vision and Pattern Recognition, 6247674, IEEE, 2012, doi:10.1109/cvpr.2012.6247674.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 18412
Strecha, C., et al. “LDAHash: Improved Matching with Smaller Descriptors.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 34, no. 1, Institute of Electrical and Electronics Engineers, 2012, pp. 66–78, doi:10.1109/tpami.2011.103.
View
| DOI
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 22056 |
Killip, Rowan, et al. “On the Mass-Critical Generalized KdV Equation.” Discrete and Continuous Dynamical Systems, vol. 32, no. 1, American Institute of Mathematical Sciences, 2012, pp. 191–221, doi:10.3934/dcds.2012.32.191.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 |
Published |
Journal Article |
IST-REx-ID: 22075 |
Vişan, Monica. “Global Well-Posedness and Scattering for the Defocusing Cubic Nonlinear Schrödinger Equation in Four Dimensions.” International Mathematics Research Notices, vol. 2012, no. 5, Oxford University Press, 2012, pp. 1037–67, doi:10.1093/imrn/rnr051.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 |
Published |
Journal Article |
IST-REx-ID: 2318 |
Seiringer, Robert. “Absence of Bound States Implies Non-Negativity of the Scattering Length.” Journal of Spectral Theory, vol. 2, no. 3, EMS Press, 2012, pp. 321–28, doi:10.4171/JST/31.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2012 |
Published |
Journal Article |
IST-REx-ID: 2954 |
Pernia-Andrade, Alejandro, et al. “A Deconvolution Based Method with High Sensitivity and Temporal Resolution for Detection of Spontaneous Synaptic Currents in Vitro and in Vivo.” Biophysical Journal, vol. 103, no. 7, Biophysical Society, 2012, pp. 1429–39, doi:10.1016/j.bpj.2012.08.039.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 3160
Pantazis, Periklis, and Mark Tobias Bollenbach. “Transcription Factor Kinetics and the Emerging Asymmetry in the Early Mammalian Embryo.” Cell Cycle, vol. 11, no. 11, Taylor & Francis, 2012, pp. 2055–58, doi:10.4161/cc.20118.
View
| DOI
| WoS
2012 |
Published |
Conference Paper |
IST-REx-ID: 2048 |
Faust, Sebastian, et al. “Practical Leakage-Resilient Symmetric Cryptography.” Conference Proceedings CHES 2012, vol. 7428, Springer, 2012, pp. 213–32, doi:10.1007/978-3-642-33027-8_13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 |
Published |
Conference Paper |
IST-REx-ID: 2049 |
Heyse, Stefan, et al. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.” Conference Proceedings FSE 2012, vol. 7549, Springer, 2012, pp. 346–65, doi:10.1007/978-3-642-34047-5_20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 |
Published |
Conference Paper |
IST-REx-ID: 2942
Henzinger, Thomas A., and Dejan Nickovic. “Independent Implementability of Viewpoints.” Conference Proceedings Monterey Workshop 2012, vol. 7539, Springer, 2012, pp. 380–95, doi:10.1007/978-3-642-34059-8_20.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 3274
Rieckh, Georg, et al. “A 2.5D-Fourier-BEM Model for Vibrations in a Tunnel Running through Layered Anisotropic Soil.” Engineering Analysis with Boundary Elements, vol. 36, no. 6, Elsevier, 2012, pp. 960–67, doi:10.1016/j.enganabound.2011.12.014.
View
| DOI
| WoS
2012 |
Published |
Journal Article |
IST-REx-ID: 3331 |
Kerber, Michael, and Michael Sagraloff. “A Worst Case Bound for Topology Computation of Algebraic Curves.” Journal of Symbolic Computation, vol. 47, no. 3, Elsevier, 2012, pp. 239–58, doi:10.1016/j.jsc.2011.11.001.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
earlier version | 2012 |
Published |
Conference Paper |
IST-REx-ID: 2955 |
Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280436, IEEE, 2012, doi:10.1109/LICS.2012.28.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2012 |
Published |
Journal Article |
IST-REx-ID: 2967
Alur, Rajeev, et al. “Algorithmic Analysis of Array-Accessing Programs.” ACM Transactions on Computational Logic, vol. 13, no. 3, 27, ACM, 2012, doi:10.1145/2287718.2287727.
View
| Files available
| DOI
| WoS
2012 |
Published |
Journal Article |
IST-REx-ID: 494
Boker, Udi, and Orna Kupferman. “Translating to Co-Büchi Made Tight, Unified, and Useful.” ACM Transactions on Computational Logic, vol. 13, no. 4, 29, ACM, 2012, doi:10.1145/2362355.2362357.
View
| DOI
| WoS
earlier version | 2012 |
Published |
Conference Paper |
IST-REx-ID: 10905 |
Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” 20th Annual European Symposium on Algorithms , vol. 7501, Springer, 2012, pp. 301–12, doi:10.1007/978-3-642-33090-2_27.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |
Published |
Conference Paper |
IST-REx-ID: 2891 |
Boker, Udi, and Thomas A. Henzinger. “Approximate Determinization of Quantitative Automata.” Leibniz International Proceedings in Informatics, vol. 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–73, doi:10.4230/LIPIcs.FSTTCS.2012.362.
[Published Version]
View
| Files available
| DOI