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.

5611 Publications


2014 | Published | Journal Article | IST-REx-ID: 2699 | OA
Erdös L, Bourgade P, Yau H. Universality of general β-ensembles. Duke Mathematical Journal. 2014;163(6):1127-1190. doi:10.1215/00127094-2649752
[Preprint] View | DOI | Download Preprint (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 2716 | OA
Chatterjee K, Randour M, Raskin J. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 2014;51(3-4):129-163. doi:10.1007/s00236-013-0182-6
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 2905 | OA
Edelsbrunner H, Morozovy D. Persistent homology: Theory and practice. In: European Mathematical Society Publishing House; 2014:31-50. doi:10.4171/120-1/3
[Submitted Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 3263 | OA
Tkačik G, Ghosh A, Schneidman E, Segev R. Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. 2014;9(1). doi:10.1371/journal.pone.0085841
[Published Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 10815 | OA
Hashimoto M, Morita H, Ueno N. Molecular and cellular mechanisms of development underlying congenital diseases. Congenital Anomalies. 2014;54(1):1-7. doi:10.1111/cga.12039
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2014 | Published | Conference Paper | IST-REx-ID: 10884 | OA
Aminof B, Jacobs S, Khalimov A, Rubin S. Parameterized model checking of token-passing systems. In: Verification, Model Checking, and Abstract Interpretation. Vol 8318. Springer Nature; 2014:262-281. doi:10.1007/978-3-642-54013-4_15
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 11080 | OA
Buchwalter A, Hetzer M. Nuclear pores set the speed limit for mitosis. Cell. 2014;156(5):868-869. doi:10.1016/j.cell.2014.02.004
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 11081 | OA
Hatch E, Hetzer M. Breaching the nuclear envelope in development and disease. Journal of Cell Biology. 2014;205(2):133-141. doi:10.1083/jcb.201402003
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 11082 | OA
Buchwalter AL, Liang Y, Hetzer M. Nup50 is required for cell differentiation and exhibits transcription-dependent dynamics. Molecular Biology of the Cell. 2014;25(16):2472-2484. doi:10.1091/mbc.e14-04-0865
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 11582 | OA
Stott JP, Sobral D, Swinbank AM, et al. A relationship between specific star formation rate and metallicity gradient within z ∼ 1 galaxies from KMOS-HiZELS. Monthly Notices of the Royal Astronomical Society. 2014;443(3):2695-2704. doi:10.1093/mnras/stu1343
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 11583 | OA
Matthee JJ, Sobral D, Swinbank AM, et al. A 10 deg2 Lyman α survey at z=8.8 with spectroscopic follow-up: Strong constraints on the luminosity function and implications for other surveys. Monthly Notices of the Royal Astronomical Society. 2014;440(3):2375-2387. doi:10.1093/mnras/stu392
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 11789 | OA
Charikar M, Henzinger MH, Nguyễn HL. Online bipartite matching with decomposable weights. In: 22nd Annual European Symposium on Algorithms. Vol 8737. Springer Nature; 2014:260-271. doi:10.1007/978-3-662-44777-2_22
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 7771 | OA
Goodrich CP, Liu AJ, Nagel SR. Comment on “Repulsive contact interactions make jammed particulate systems inherently nonharmonic.” Physical Review Letters. 2014;112(4). doi:10.1103/physrevlett.112.049801
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 8021 | OA
Araya R, Vogels TP, Yuste R. Activity-dependent dendritic spine neck changes are correlated with synaptic strength. Proceedings of the National Academy of Sciences. 2014;111(28):E2895-E2904. doi:10.1073/pnas.1321869111
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 8022 | OA
Hennequin G, Vogels TP, Gerstner W. Optimal control of transient dynamics in balanced networks supports generation of complex movements. Neuron. 2014;82(6):1394-1406. doi:10.1016/j.neuron.2014.04.045
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 8023 | OA
Tomm C, Avermann M, Petersen C, Gerstner W, Vogels TP. Connection-type-specific biases make uniform random network models consistent with cortical recordings. Journal of Neurophysiology. 2014;112(8):1801-1814. doi:10.1152/jn.00629.2013
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Published | Conference Paper | IST-REx-ID: 8044 | OA
Seiringer R. Structure of the excitation spectrum for many-body quantum systems. In: Proceeding of the International Congress of Mathematicans. Vol 3. International Congress of Mathematicians; 2014:1175-1194.
[Published Version] View | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 1629 | OA
Guerrero P, Jeschke S, Wimmer M, Wonka P. Edit propagation using geometric relationship functions. ACM Transactions on Graphics. 2014;33(2). doi:10.1145/2591010
[Submitted Version] View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 1643 | OA
Fuchsbauer G. Constrained Verifiable Random Functions . In: Abdalla M, De Prisco R, eds. SCN 2014. Vol 8642. Springer; 2014:95-114. doi:10.1007/978-3-319-10879-7_7
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Published | Conference Paper | IST-REx-ID: 1702 | OA
Gupta A, Popeea C, Rybalchenko A. Generalised interpolation by solving recursion free-horn clauses. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol 169. Open Publishing; 2014:31-38. doi:10.4204/EPTCS.169.5
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed