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.

1482 Publications


2017 |Published| Conference Paper | IST-REx-ID: 645 | OA
P. Ashok, K. Chatterjee, P. Daca, J. Kretinsky, and T. Meggendorfer, “Value iteration for long run average reward in markov decision processes,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10426, pp. 201–221.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 |Published| Book Chapter | IST-REx-ID: 649
J. Maas, “Entropic Ricci curvature for discrete spaces,” in Modern Approaches to Discrete Curvature, vol. 2184, L. Najman and P. Romon, Eds. Springer, 2017, pp. 159–174.
View | DOI
 

2017 |Published| Conference Paper | IST-REx-ID: 6519 | OA
K. Chatterjee, W. Dvorák, M. H. Henzinger, and V. Loitzenbauer, “Improved set-based symbolic algorithms for parity games,” presented at the CSL: Conference on Computer Science Logic, Stockholm, Sweden, 2017, vol. 82.
[Published Version] View | Files available | DOI
 

2017 |Published| Conference Paper | IST-REx-ID: 6729 | OA
M. Mondelli, S. H. Hassani, and R. Urbanke, “Construction of polar codes with sublinear complexity,” in 2017 IEEE International Symposium on Information Theory , Aachen, Germany, 2017, pp. 1853–1857.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 |Published| Conference Paper | IST-REx-ID: 6731 | OA
M. Mondelli, H. Hassani, I. Maric, D. Hui, and S.-N. Hong, “Capacity-achieving rate-compatible polar codes for general channels,” in 2017 IEEE Wireless Communications and Networking Conference Workshops , San Francisco, CA, USA, 2017.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 693 | OA
T. Miki et al., “Numbers of presynaptic Ca2+ channel clusters match those of functionally defined vesicular docking sites in single central synapses,” PNAS, vol. 114, no. 26. National Academy of Sciences, pp. E5246–E5255, 2017.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 |Published| Conference Paper | IST-REx-ID: 6932
S. Brandt et al., “LCL problems on grids,” presented at the PODC: Principles of Distributed Computing, Washington, DC, United States, 2017, pp. 101–110.
View | DOI
 

2017 |Published| Conference Paper | IST-REx-ID: 697 | OA
K. Z. Pietrzak and M. Skórski, “Non uniform attacks against pseudoentropy,” presented at the ICALP: International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, 2017, vol. 80.
[Published Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 701 | OA
J. Kynčl and Z. Patakova, “On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4,” The Electronic Journal of Combinatorics, vol. 24, no. 3. International Press, pp. 1–44, 2017.
[Submitted Version] View | Files available
 

2017 |Published| Conference Paper | IST-REx-ID: 710 | OA
M. Obremski and M. Skórski, “Renyi entropy estimation revisited,” presented at the 20th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX, Berkeley, USA, 2017, vol. 81.
[Published Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 716 | OA
K. Chatterjee and Y. Velner, “The complexity of mean-payoff pushdown games,” Journal of the ACM, vol. 64, no. 5. ACM, p. 34, 2017.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 717 | OA
K. Chatterjee and Y. Velner, “Hyperplane separation technique for multidimensional mean-payoff games,” Journal of Computer and System Sciences, vol. 88. Academic Press, pp. 236–259, 2017.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2017 |Published| Journal Article | IST-REx-ID: 720 | OA
J. Humplik and G. Tkačik, “Probabilistic models for neural populations that naturally capture global coupling and criticality,” PLoS Computational Biology, vol. 13, no. 9. Public Library of Science, 2017.
[Published Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 7291
L. Schafzahl, I. Hanzu, M. Wilkening, and S. A. Freunberger, “An electrolyte for reversible cycling of sodium metal and intercalation compounds,” ChemSusChem, vol. 10, no. 2. Wiley, pp. 401–408, 2017.
View | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 9574 | OA
A. S. Bandeira, A. Ferber, and M. A. Kwan, “Resilience for the Littlewood-Offord problem,” Electronic Notes in Discrete Mathematics, vol. 61. Elsevier, pp. 93–99, 2017.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 9588 | OA
A. S. Bandeira, A. Ferber, and M. A. Kwan, “Resilience for the Littlewood–Offord problem,” Advances in Mathematics, vol. 319. Elsevier, pp. 292–312, 2017.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Research Data Reference | IST-REx-ID: 9845
N. Nikolic et al., “Mathematical model.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 8451
B. Bersch, J. M. Dörr, A. Hessel, J. A. Killian, and P. Schanda, “Proton-detected solid-state NMR spectroscopy of a Zinc diffusion facilitator protein in native nanodiscs,” Angewandte Chemie International Edition, vol. 56, no. 9. Wiley, pp. 2508–2512, 2017.
View | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 9137 | OA
P. Zuidema, G. Torri, C. J. Muller, and A. Chandra, “A survey of precipitation-induced atmospheric cold pools over oceans and their interactions with the larger-scale environment,” Surveys in Geophysics, vol. 38, no. 6. Springer Nature, pp. 1283–1305, 2017.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 |Published| Journal Article | IST-REx-ID: 9506 | OA
D. Zilberman, “An evolutionary case for functional gene body methylation in plants and animals,” Genome Biology, vol. 18, no. 1. Springer Nature, 2017.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

isbn%3D978-161197478-2

Search

Filter Publications