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.

2068 Publications


2011 | Published | Book Chapter | IST-REx-ID: 3796 | OA
H. Edelsbrunner and M. Kerber, “Covering and packing with spheres by diagonal distortion in R^n,” in Rainbow of Computer Science, vol. 6570, C. Calude, G. Rozenberg, and A. Salomaa, Eds. Springer, 2011, pp. 20–35.
[Submitted Version] View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 2321 | OA
R. Frank, A. Laptev, and R. Seiringer, “ A sharp bound on eigenvalues of Schrödinger operators on the halfline with complex-valued potentials,” presented at the OTAMP: Operator Theory, Analysis and Mathematical Physics, 2011, vol. 214, pp. 39–44.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 2436
J. Matoušek, M. Tancer, and U. Wagner, “Hardness of embedding simplicial complexes in Rd,” Journal of the European Mathematical Society, vol. 13, no. 2. European Mathematical Society, pp. 259–295, 2011.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 2766
L. Erdös and A. Knowles, “Quantum diffusion and delocalization for band matrices with general distribution,” Annales Henri Poincare, vol. 12, no. 7. Birkhäuser, pp. 1227–1319, 2011.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 10907
N. M. Artner, A. Ion, and W. G. Kropatsch, “Spatio-temporal extraction of articulated models in a graph pyramid,” in Graph-Based Representations in Pattern Recognition, Münster, Germany, 2011, vol. 6658, pp. 215–224.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 11673
E. Baykan, M. Henzinger, L. Marian, and I. Weber, “A comprehensive study of features and algorithms for URL-based topic classification,” ACM Transactions on the Web, vol. 5, no. 3. Association for Computing Machinery, 2011.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 11796
M. Henzinger and A. Vidali, “Multi-parameter mechanism design under budget and matroid constraints,” in 19th Annual European Symposium on Algorithms, Saarbrücken, Germany, 2011, vol. 6942, pp. 192–202.
View | DOI
 

2011 | Published | Book Chapter | IST-REx-ID: 2116 | OA
J. Maas and J. Van Neerven, “Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators,” in Parabolic Problems, vol. 80, Birkhäuser, 2011, pp. 463–477.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 17690 | OA
J. Wolcott-Green, Z. Haiman, and G. L. Bryan, “Photodissociation of H2 in protogalaxies: Modelling self-shielding in three-dimensional simulations,” Monthly Notices of the Royal Astronomical Society, vol. 418, no. 2. Oxford University Press, pp. 838–852, 2011.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Book Chapter | IST-REx-ID: 8506
B. R. Hunt and V. Kaloshin, “Prevalence,” in Handbook of Dynamical Systems, vol. 3, Elsevier, 2010, pp. 43–87.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 862
M. Meer, A. Kondrashov, Y. Artzy Randrup, and F. Kondrashov, “Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness,” Nature, vol. 464, no. 7286. Nature Publishing Group, pp. 279–282, 2010.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 9146 | OA
P. A. O’Gorman and C. J. Muller, “How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations?,” Environmental Research Letters, vol. 5, no. 2. IOP Publishing, 2010.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 754
D.-A. Alistarh, H. Attiya, S. Gilbert, A. Giurgiu, and R. Guerraoui, “Fast randomized test-and-set and renaming,” presented at the DISC: Distributed Computing, 2010, vol. 6343 LNCS, pp. 94–108.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 755
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and M. Zadimoghaddam, “How efficient can gossip be? (On the cost of resilient information exchange),” presented at the ICALP: International Colloquium on Automota, Languages and Programming, 2010, vol. 6199 LNCS, no. PART 2, pp. 115–126.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 758
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Brief announcement: New bounds for partially synchronous set agreement,” presented at the DISC: Distributed Computing, 2010, vol. 6343 LNCS, pp. 404–405.
View | DOI
 

2010 | Published | Book Chapter | IST-REx-ID: 5940
G. Juhás, I. Kazlov, and A. Juhásová, “Instance Deadlock: A Mystery behind Frozen Programs,” in Applications and Theory of Petri Nets, Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp. 1–17.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 7078 | OA
E. K. H. Salje et al., “Tin telluride: A weakly co-elastic metal,” Physical Review B, vol. 82, no. 18. APS, 2010.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Conference Paper | IST-REx-ID: 3839 | OA
T. A. Henzinger, T. Hottelier, L. Kovács, and A. Voronkov, “Invariant and type inference for matrices,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 163–179.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 3845 | OA
T. A. Henzinger, T. Hottelier, L. Kovács, and A. Rybalchenko, “Aligators for arrays,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia, 2010, vol. 6397, pp. 348–356.
[Submitted Version] View | Files available | DOI | WoS
 

2010 | Published | Conference Paper | IST-REx-ID: 3848
P. Bendich, H. Edelsbrunner, D. Morozov, and A. Patel, “The robustness of level sets,” presented at the ESA: European Symposium on Algorithms, Liverpool, UK, 2010, vol. 6346, pp. 1–10.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed