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.

643 Publications


2017 | Published | Journal Article | IST-REx-ID: 483 | OA
Bourgade, Paul, László Erdös, Horng Yau, and Jun Yin. “Universality for a Class of Random Band Matrices.” Advances in Theoretical and Mathematical Physics. International Press, 2017. https://doi.org/10.4310/ATMP.2017.v21.n3.a5.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 745 | OA
Xu, Duo, Sascha Warnecke, Baofang Song, Xingyu Ma, and Björn Hof. “Transition to Turbulence in Pulsating Pipe Flow.” Journal of Fluid Mechanics. Cambridge University Press, 2017. https://doi.org/10.1017/jfm.2017.620.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 791 | OA
Alistarh, Dan-Adrian, Justin Kopinsky, Jerry Li, and Giorgi Nadiradze. “The Power of Choice in Priority Scheduling.” In Proceedings of the ACM Symposium on Principles of Distributed Computing, Part F129314:283–92. ACM, 2017. https://doi.org/10.1145/3087801.3087810.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 610 | OA
Goaoc, Xavier, Isaac Mabillard, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “On Generalized Heawood Inequalities for Manifolds: A van Kampen–Flores Type Nonembeddability Result.” Israel Journal of Mathematics. Springer, 2017. https://doi.org/10.1007/s11856-017-1607-7.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 792 | OA
Budanur, Nazmi B, Kimberly Short, Mohammad Farazmand, Ashley Willis, and Predrag Cvitanović. “Relative Periodic Orbits Form the Backbone of Turbulent Pipe Flow.” Journal of Fluid Mechanics. Cambridge University Press, 2017. https://doi.org/10.1017/jfm.2017.699.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1208 | OA
Zwiernik, Piotr, Caroline Uhler, and Donald Richards. “Maximum Likelihood Estimation for Linear Gaussian Covariance Models.” Journal of the Royal Statistical Society. Series B: Statistical Methodology. Wiley-Blackwell, 2017. https://doi.org/10.1111/rssb.12217.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 739 | OA
Nam, Phan, and Marcin M Napiórkowski. “A Note on the Validity of Bogoliubov Correction to Mean Field Dynamics.” Journal de Mathématiques Pures et Appliquées. Elsevier, 2017. https://doi.org/10.1016/j.matpur.2017.05.013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 615 | OA
Erdös, László, and Kevin Schnelli. “Universality for Random Matrix Flows with Time Dependent Density.” Annales de l’institut Henri Poincare (B) Probability and Statistics. Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/16-AIHP765.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 793 | OA
Fulek, Radoslav, Hossein Mojarrad, Márton Naszódi, József Solymosi, Sebastian Stich, and May Szedlák. “On the Existence of Ordinary Triangles.” Computational Geometry: Theory and Applications. Elsevier, 2017. https://doi.org/10.1016/j.comgeo.2017.07.002.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 645 | OA
Ashok, Pranav, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretinsky, and Tobias Meggendorfer. “Value Iteration for Long Run Average Reward in Markov Decision Processes.” edited by Rupak Majumdar and Viktor Kunčak, 10426:201–21. Springer, 2017. https://doi.org/10.1007/978-3-319-63387-9_10.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 646 | OA
Kuske, Jan, Paul Swoboda, and Stefanie Petra. “A Novel Convex Relaxation for Non Binary Discrete Tomography.” edited by François Lauze, Yiqiu Dong, and Anders Bjorholm Dahl, 10302:235–46. Springer, 2017. https://doi.org/10.1007/978-3-319-58771-4_19.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 700 | OA
Barzanjeh, Shabir, Vahid Salari, Jack Tuszynski, Michal Cifra, and Christoph Simon. “Optomechanical Proposal for Monitoring Microtubule Mechanical Vibrations.” Physical Review E Statistical Nonlinear and Soft Matter Physics . American Institute of Physics, 2017. https://doi.org/10.1103/PhysRevE.96.012404.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 662 | OA
Shi, Liang, Björn Hof, Markus Rampp, and Marc Avila. “Hydrodynamic Turbulence in Quasi Keplerian Rotating Flows.” Physics of Fluids. American Institute of Physics, 2017. https://doi.org/10.1063/1.4981525.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 684 | OA
Chatterjee, Krishnendu, and Nir Piterman. “Obligation Blackwell Games and P-Automata.” Journal of Symbolic Logic. Cambridge University Press, 2017. https://doi.org/10.1017/jsl.2016.71.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 687 | OA
Davison, Ben. “The Critical CoHA of a Quiver with Potential.” Quarterly Journal of Mathematics. Oxford University Press, 2017. https://doi.org/10.1093/qmath/haw053.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 642 | OA
Gerencser, Mate, and István Gyöngy. “Localization Errors in Solving Stochastic Partial Differential Equations in the Whole Space.” Mathematics of Computation. American Mathematical Society, 2017. https://doi.org/10.1090/mcom/3201.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 707 | OA
Akopyan, Arseniy, and Roman Karasev. “A Tight Estimate for the Waist of the Ball .” Bulletin of the London Mathematical Society. Wiley, 2017. https://doi.org/10.1112/blms.12062.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 471 | OA
Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties.” ACM Transactions on Computational Logic. ACM, 2017. https://doi.org/10.1145/3060139.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Thesis | IST-REx-ID: 1155 | OA
Daca, Przemyslaw. “Statistical and Logical Methods for Property Checking.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:TH_730.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1351 | OA
Giacobbe, Mirco, Model checking the evolution of gene regulatory networks. Acta Informatica 54 (8). 2017
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

year=2017

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed