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.

1481 Publications


2017 |Published| Journal Article | IST-REx-ID: 1407 | OA
Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. 2017;23(2):230-253. doi:10.1016/j.nahs.2016.04.006
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 1337 | OA
Ajanki OH, Erdös L, Krüger TH. Universality for general Wigner-type matrices. Probability Theory and Related Fields. 2017;169(3-4):667-727. doi:10.1007/s00440-016-0740-2
[Published Version] View | Files available | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1208 | OA
Zwiernik P, Uhler C, Richards D. Maximum likelihood estimation for linear Gaussian covariance models. Journal of the Royal Statistical Society Series B: Statistical Methodology. 2017;79(4):1269-1292. doi:10.1111/rssb.12217
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 1174 | OA
Skórski M. Lower bounds on key derivation for square-friendly applications. In: Vol 66. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.STACS.2017.57
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 1176 | OA
Alwen JF, Blocki J. Towards practical attacks on Argon2i and balloon hashing. In: IEEE; 2017. doi:10.1109/EuroSP.2017.47
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 1192 | OA
Kazda A, Kolmogorov V, Rolinek M. Even delta-matroids and the complexity of planar Boolean CSPs. In: SIAM; 2017:307-326. doi:10.1137/1.9781611974782.20
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 1178 | OA
Skórski M. Simulating auxiliary inputs, revisited. In: Vol 9985. Springer; 2017:159-179. doi:10.1007/978-3-662-53641-4_7
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1117 | OA
Chen C, Arai itaru, Satterield R, Young S, Jonas PM. Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse. Cell Reports. 2017;18(3):723-736. doi:10.1016/j.celrep.2016.12.067
[Published Version] View | Files available | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1110 | OA
Kuhn B, Nodzyński T, Errafi S, et al. Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific Reports. 2017;7. doi:10.1038/srep41906
[Published Version] View | Files available | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1061 | OA
Veetil V, Angermayr A, Hellingwerf K. Ethylene production with engineered Synechocystis sp PCC 6803 strains. Microbial Cell Factories. 2017;16(1). doi:10.1186/s12934-017-0645-5
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 |Published| Journal Article | IST-REx-ID: 1062
Guarina L, Vandael DH, Carabelli V, Carbone E. Low pH inf o boosts burst firing and catecholamine release by blocking TASK-1 and BK channels while preserving Cav1 channels in mouse chromaffin cells. Journal of Physiology. 2017;595(8):2587-2609. doi:10.1113/JP273735
View | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1066
Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative fair simulation games. Information and Computation. 2017;254(2):143-166. doi:10.1016/j.ic.2016.10.006
View | Files available | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1023 | OA
Nemish Y. Local law for the product of independent non-Hermitian random matrices with independent entries. Electronic Journal of Probability. 2017;22. doi:10.1214/17-EJP38
[Published Version] View | Files available | DOI | WoS
 

2017 | Research Data Reference | IST-REx-ID: 9859 | OA
Greenwood J, Milutinovic B, Peuß R, et al. Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. 2017. doi:10.6084/m9.figshare.c.3756974_d1.v1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 |Published| Conference Paper | IST-REx-ID: 1000 | OA
Kolesnikov A, Lampert C. PixelCNN models with auxiliary variables for natural image modeling. In: 34th International Conference on Machine Learning. Vol 70. JMLR; 2017:1905-1914.
[Submitted Version] View | Download Submitted Version (ext.) | WoS | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 995 | OA
Bighin G, Lemeshko M. Diagrammatic approach to orbital quantum impurities interacting with a many-particle environment. Physical Review B - Condensed Matter and Materials Physics. 2017;96(8). doi:10.1103/PhysRevB.96.085410
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 962
Trinh M, Chu DH, Jaffar J. Model counting for recursively-defined strings. In: Majumdar R, Kunčak V, eds. Vol 10427. Springer; 2017:399-418. doi:10.1007/978-3-319-63390-9_21
View | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 956 | OA
Carlen E, Maas J. Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance. Journal of Functional Analysis. 2017;273(5):1810-1869. doi:10.1016/j.jfa.2017.05.003
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 951 | OA
Schmidt T, Barton NH, Rasic G, et al. Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti. PLoS Biology. 2017;15(5). doi:10.1371/journal.pbio.2001894
[Published Version] View | Files available | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 751 | OA
Matsubayashi Y, Louani A, Dragu A, et al. A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. 2017;27(22):3526-3534e.4. doi:10.1016/j.cub.2017.10.001
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

isbn%3D978-161197478-2

Search

Filter Publications