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.
10763 Publications
2019 | Research Data | IST-REx-ID: 7154 |

Supplementary data for "Programming temporal morphing of self-actuated shells"
R. Guseinov, (2019).
[Published Version]
View
| Files available
| DOI
R. Guseinov, (2019).
2019 | Published | Conference Paper | IST-REx-ID: 6747 |

On the connection between learning two-layers neural networks and tensor decomposition
M. Mondelli, A. Montanari, in:, Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, Proceedings of Machine Learning Research, 2019, pp. 1051–1060.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
M. Mondelli, A. Montanari, in:, Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, Proceedings of Machine Learning Research, 2019, pp. 1051–1060.
2019 | Published | Journal Article | IST-REx-ID: 7550 |

Penalization via global functionals of optimal-control problems for dissipative evolution
L. Portinale, U. Stefanelli, Advances in Mathematical Sciences and Applications 28 (2019) 425–447.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
L. Portinale, U. Stefanelli, Advances in Mathematical Sciences and Applications 28 (2019) 425–447.
2019 | Draft | Preprint | IST-REx-ID: 7524 |

The free energy of the two-dimensional dilute Bose gas. I. Lower bound
A. Deuchert, S. Mayer, R. Seiringer, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. Deuchert, S. Mayer, R. Seiringer, ArXiv (n.d.).
2019 | Submitted | Preprint | IST-REx-ID: 8314 |

Brick: Asynchronous payment channels
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, ArXiv (n.d.).
2019 | Submitted | Preprint | IST-REx-ID: 8315 |

Divide and scale: Formalization of distributed ledger sharding protocols
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, ArXiv (n.d.).
2019 | Published | Journal Article | IST-REx-ID: 6759 |

On grounded L-graphs and their relatives
V. Jelínek, M. Töpfer, Electronic Journal of Combinatorics 26 (2019).
[Published Version]
View
| Files available
| DOI
| arXiv
V. Jelínek, M. Töpfer, Electronic Journal of Combinatorics 26 (2019).
2019 | Published | Conference Paper | IST-REx-ID: 6989 |

Folding polyominoes with holes into a cube
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, in:, Proceedings of the 31st Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2019, pp. 164–170.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, in:, Proceedings of the 31st Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2019, pp. 164–170.
2019 | Published | Conference Paper | IST-REx-ID: 7035 |

Dirac masses and isometric rigidity
G.P. Geher, T. Titkos, D. Virosztek, in:, Kyoto RIMS Kôkyûroku, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.
[Submitted Version]
View
| Download Submitted Version (ext.)
G.P. Geher, T. Titkos, D. Virosztek, in:, Kyoto RIMS Kôkyûroku, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.
2019 | Published | Journal Article | IST-REx-ID: 6659 |

Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins
N. Zenmyo, H. Tokumaru, S. Uchinomiya, H. Fuchida, S. Tabata, I. Hamachi, R. Shigemoto, A. Ojida, Bulletin of the Chemical Society of Japan 92 (2019) 995–1000.
[Published Version]
View
| DOI
| Download Published Version (ext.)
N. Zenmyo, H. Tokumaru, S. Uchinomiya, H. Fuchida, S. Tabata, I. Hamachi, R. Shigemoto, A. Ojida, Bulletin of the Chemical Society of Japan 92 (2019) 995–1000.
2019 | Published | Conference Paper | IST-REx-ID: 5948 |

Termination of nondeterministic probabilistic programs
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
2019 | Published | Book Chapter | IST-REx-ID: 6726 |

Sampling the integers with low relative error
M. Walter, in:, J. Buchmann, A. Nitaj, T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019, Springer Nature, Cham, 2019, pp. 157–180.
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Walter, in:, J. Buchmann, A. Nitaj, T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019, Springer Nature, Cham, 2019, pp. 157–180.
2019 | Published | Thesis | IST-REx-ID: 6179 |

From Dyson to Pearcey: Universal statistics in random matrix theory
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, Institute of Science and Technology Austria, 2019.
2019 | Published | Journal Article | IST-REx-ID: 175 |

Sieving rational points on varieties
T.D. Browning, D. Loughran, Transactions of the American Mathematical Society 371 (2019) 5757–5785.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
T.D. Browning, D. Loughran, Transactions of the American Mathematical Society 371 (2019) 5757–5785.
2019 | Published | Journal Article | IST-REx-ID: 19473 |

Leptin’s hunger-suppressing effects are mediated by the hypothalamic–pituitary–adrenocortical axis in rodents
R.J. Perry, J.M. Resch, A.M. Douglass, J.C. Madara, A. Rabin-Court, H. Kucukdereli, C. Wu, J.D. Song, B.B. Lowell, G.I. Shulman, Proceedings of the National Academy of Sciences 116 (2019) 13670–13679.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R.J. Perry, J.M. Resch, A.M. Douglass, J.C. Madara, A. Rabin-Court, H. Kucukdereli, C. Wu, J.D. Song, B.B. Lowell, G.I. Shulman, Proceedings of the National Academy of Sciences 116 (2019) 13670–13679.
2019 | Published | Journal Article | IST-REx-ID: 19493 |

Ranks, 2-Selmer groups, and Tamagawa numbers of elliptic curves with ℤ∕2ℤ × ℤ∕8ℤ-torsion
S. Chan, J. Hanselman, W. Li, The Open Book Series 2 (2019) 173–189.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Chan, J. Hanselman, W. Li, The Open Book Series 2 (2019) 173–189.
2019 | Published | Journal Article | IST-REx-ID: 7093 |

On the treewidth of triangulated 3-manifolds
K. Huszár, J. Spreer, U. Wagner, Journal of Computational Geometry 10 (2019) 70–98.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Huszár, J. Spreer, U. Wagner, Journal of Computational Geometry 10 (2019) 70–98.
2019 | Research Data Reference | IST-REx-ID: 9839 |

Data from: Is the sky the limit? On the expansion threshold of a species' range
J. Polechova, (2019).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Polechova, (2019).
2019 | Published | Journal Article | IST-REx-ID: 5857 |

Thrackles: An improved upper bound
R. Fulek, J. Pach, Discrete Applied Mathematics 259 (2019) 266–231.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Fulek, J. Pach, Discrete Applied Mathematics 259 (2019) 266–231.
2019 | Research Data Reference | IST-REx-ID: 9805 |

Data from: The consequences of an introgression event
N.H. Barton, (2019).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N.H. Barton, (2019).