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.

2064 Publications


2012 | Published | Journal Article | IST-REx-ID: 242 | OA
Baier S, Browning TD, Marasingha G, Zhao L. Averages of shifted convolutions of d3 (n). Proceedings of the Edinburgh Mathematical Society. 2012;55(3):551-576. doi:10.1017/S001309151100037X
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2689
Parajuli L, Nakajima C, Kulik Á, et al. Quantitative regional and ultra structural localization of the Ca v2 3 subunit of R type calcium channel in mouse brain. Journal of Neuroscience. 2012;32(39):13555-13567. doi:10.1523/JNEUROSCI.1142-12.2012
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2767
Erdös L, Yau H, Yin J. Bulk universality for generalized Wigner matrices. Probability Theory and Related Fields. 2012;154(1-2):341-407. doi:10.1007/s00440-011-0390-3
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2770
Erdös L, Yau H, Yin J. Rigidity of eigenvalues of generalized Wigner matrices. Advances in Mathematics. 2012;229(3):1435-1515. doi:10.1016/j.aim.2011.12.010
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2773
Erdös L, Yau H. A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices. Electronic Journal of Probability. 2012;17. doi:10.1214/EJP.v17-1779
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2774
Erdös L, Fournais S, Solovej J. Scott correction for large atoms and molecules in a self-generated magnetic field. Communications in Mathematical Physics. 2012;312(3):847-882. doi:10.1007/s00220-012-1468-1
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2776
Erdös L, Knowles A, Yau H, Yin J. Spectral statistics of Erdős-Rényi graphs II: Eigenvalue spacing and the extreme eigenvalues. Communications in Mathematical Physics. 2012;314(3):587-640. doi:10.1007/s00220-012-1527-7
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2777
Erdös L, Fournais S, Solovej J. Relativistic Scott correction in self-generated magnetic fields. Journal of Mathematical Physics. 2012;53(9). doi:10.1063/1.3697417
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 10903
Bouajjani A, Dragoi C, Enea C, Sighireanu M. Accurate invariant checking for programs manipulating lists and arrays with infinite data. In: Automated Technology for Verification and Analysis. Vol 7561. LNCS. Berlin, Heidelberg: Springer; 2012:167-182. doi:10.1007/978-3-642-33386-6_14
View | DOI
 

earlier version | 2012 | Published | Conference Paper | IST-REx-ID: 10904 | OA
Chatterjee K, Randour M, Raskin J-F. Strategy synthesis for multi-dimensional quantitative objectives. In: Koutny M, Ulidowski I, eds. CONCUR 2012 - Concurrency Theory. Vol 7454. Berlin, Heidelberg: Springer; 2012:115-131. doi:10.1007/978-3-642-32940-1_10
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

earlier version | 2012 | Published | Conference Paper | IST-REx-ID: 10905 | OA
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures. In: Algorithms – ESA 2012. Vol 7501. Springer; 2012:301-312. 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: 10906 | OA
Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. HSF(C): A software verifier based on Horn clauses. In: Flanagan C, König B, eds. Tools and Algorithms for the Construction and Analysis of Systems. Vol 7214. LNCS. Berlin, Heidelberg: Springer; 2012:549-551. doi:10.1007/978-3-642-28756-5_46
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 11751
Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 2012;47(15):5729-5734. doi:10.1007/s10853-012-6463-6
[Preprint] View | DOI | arXiv
 

earlier version | 2012 | Published | Conference Paper | IST-REx-ID: 11794 | OA
Dütting P, Henzinger M, Starnberger M. Auctions with heterogeneous items and budget limits. In: 8th International Workshop on Internet and Network Economics. Vol 7695. Springer Nature; 2012:44–57. doi:10.1007/978-3-642-35311-6_4
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

earlier version | 2012 | Published | Conference Paper | IST-REx-ID: 11795
Colini-Baldeschi R, Henzinger M, Leonardi S, Starnberger M. On multiple keyword sponsored search auctions with budgets. In: 39th International Colloquium on Automata, Languages, and Programming. Vol 7392. Springer Nature; 2012:1–12. doi:10.1007/978-3-642-31585-5_1
View | Files available | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 2048 | OA
Faust S, Pietrzak KZ, Schipper J. Practical leakage-resilient symmetric cryptography. In: Conference Proceedings CHES 2012. Vol 7428. Springer; 2012:213-232. doi:10.1007/978-3-642-33027-8_13
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Published | Book (Editor) | IST-REx-ID: 18340
Bruckstein AM, ter Haar Romeny BM, Bronstein A, Bronstein MM, eds. Scale Space and Variational Methods in Computer Vision. Vol 6667. 1st ed. Berlin, Heidelberg: Springer Nature; 2012. doi:10.1007/978-3-642-24785-9
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 18341
Wang C, Bronstein MM, Bronstein AM, Paragios N. Discrete minimum distortion correspondence problems for non-rigid shape matching. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Berlin, Heidelberg: Springer Nature; 2012:580-591. doi:10.1007/978-3-642-24785-9_49
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 18342
Pokrass J, Bronstein AM, Bronstein MM. A correspondence-less approach to matching of deformable shapes. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:592-603. doi:10.1007/978-3-642-24785-9_50
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 18343
Kovnatsky A, Bronstein MM, Bronstein AM, Kimmel R. Photometric heat kernel signatures. In: 3rd International Conference on Scale Space and Variational Methods in Computer Vision. Vol 6667. Springer Nature; 2012:616-627. doi:10.1007/978-3-642-24785-9_52
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed