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.
5947 Publications
2014 |Published| Journal Article | IST-REx-ID: 2186 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Letters in Mathematical Physics 104 (2014) 871–891.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Letters in Mathematical Physics 104 (2014) 871–891.
2014 |Published| Journal Article | IST-REx-ID: 2187 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Synthesizing robust systems
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, G. Hofferek, B. Jobstmann, B. Könighofer, R. Könighofer, Acta Informatica 51 (2014) 193–220.
[Submitted Version]
View
| Files available
| DOI
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, G. Hofferek, B. Jobstmann, B. Könighofer, R. Könighofer, Acta Informatica 51 (2014) 193–220.
2014 |Published| Journal Article | IST-REx-ID: 2188 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Polar delivery in plants; commonalities and differences to animal epithelial cells
U. Kania, M. Fendrych, J. Friml, Open Biology 4 (2014).
[Published Version]
View
| Files available
| DOI
U. Kania, M. Fendrych, J. Friml, Open Biology 4 (2014).
2014 |Published| Conference Paper | IST-REx-ID: 2189 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Adaptation de domaine de vote de majorité par auto-étiquetage non itératif
E. Morvant, in:, Elsevier, 2014, pp. 49–58.
[Preprint]
View
| Download Preprint (ext.)
E. Morvant, in:, Elsevier, 2014, pp. 49–58.
2014 |Published| Conference Paper | IST-REx-ID: 2190 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
From LTL to deterministic automata: A safraless compositional approach
J. Esparza, J. Kretinsky, in:, Springer, 2014, pp. 192–208.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J. Esparza, J. Kretinsky, in:, Springer, 2014, pp. 192–208.
2014 |Published| Journal Article | IST-REx-ID: 2208 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Detecting quadrupole interactions in ultracold Fermi gases
M. Lahrz, M. Lemeshko, K. Sengstock, C. Becker, L. Mathey, Physical Review A - Atomic, Molecular, and Optical Physics 89 (2014).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Lahrz, M. Lemeshko, K. Sengstock, C. Becker, L. Mathey, Physical Review A - Atomic, Molecular, and Optical Physics 89 (2014).
2014 |Published| Journal Article | IST-REx-ID: 2214 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects
L. Stoler Barak, C. Moussion, E. Shezen, M. Hatzav, M.K. Sixt, R. Alon, PLoS One 9 (2014).
[Published Version]
View
| Files available
| DOI
L. Stoler Barak, C. Moussion, E. Shezen, M. Hatzav, M.K. Sixt, R. Alon, PLoS One 9 (2014).
2014 |Published| Journal Article | IST-REx-ID: 2223 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis
H. Tanaka, T. Nodzyński, S. Kitakura, M. Feraru, M. Sasabe, T. Ishikawa, J. Kleine Vehn, T. Kakimoto, J. Friml, Plant and Cell Physiology 55 (2014) 737–749.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
H. Tanaka, T. Nodzyński, S. Kitakura, M. Feraru, M. Sasabe, T. Ishikawa, J. Kleine Vehn, T. Kakimoto, J. Friml, Plant and Cell Physiology 55 (2014) 737–749.
2014 |Published| Journal Article | IST-REx-ID: 2225 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Isotropic local laws for sample covariance and generalized Wigner matrices
A. Bloemendal, L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 19 (2014).
[Published Version]
View
| Files available
| DOI
A. Bloemendal, L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 19 (2014).
2014 |Published| Conference Paper | IST-REx-ID: 2219 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Simple chosen-ciphertext security from low noise LPN
E. Kiltz, D. Masny, K.Z. Pietrzak, in:, Springer, 2014, pp. 1–18.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
E. Kiltz, D. Masny, K.Z. Pietrzak, in:, Springer, 2014, pp. 1–18.
2014 |Published| Journal Article | IST-REx-ID: 2220 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Suppressive drug interactions between antifungals
M. de Vos, M.T. Bollenbach, Chemistry and Biology 21 (2014) 439–440.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. de Vos, M.T. Bollenbach, Chemistry and Biology 21 (2014) 439–440.
2014 |Published| Journal Article | IST-REx-ID: 2233 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Exact and approximate determinization of discounted-sum automata
U. Boker, T.A. Henzinger, Logical Methods in Computer Science 10 (2014).
[Published Version]
View
| Files available
| DOI
U. Boker, T.A. Henzinger, Logical Methods in Computer Science 10 (2014).
2014 |Published| Journal Article | IST-REx-ID: 2230 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stimfit: Quantifying electrophysiological data with Python
J. Guzmán, A. Schlögl, C. Schmidt Hieber, Frontiers in Neuroinformatics 8 (2014).
[Published Version]
View
| Files available
| DOI
J. Guzmán, A. Schlögl, C. Schmidt Hieber, Frontiers in Neuroinformatics 8 (2014).
2014 |Published| Journal Article | IST-REx-ID: 2228 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons
H. Hu, P.M. Jonas, Nature Neuroscience 17 (2014) 686–693.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
H. Hu, P.M. Jonas, Nature Neuroscience 17 (2014) 686–693.
2014 |Published| Journal Article | IST-REx-ID: 2229 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse
N. Vyleta, P.M. Jonas, Science 343 (2014) 665–670.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
N. Vyleta, P.M. Jonas, Science 343 (2014) 665–670.
2014 |Published| Journal Article | IST-REx-ID: 2232 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Deterministic and stochastic aspects of the transition to turbulence
B. Song, B. Hof, Journal of Statistical Mechanics Theory and Experiment 2014 (2014).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
B. Song, B. Hof, Journal of Statistical Mechanics Theory and Experiment 2014 (2014).
2014 |Published| Journal Article | IST-REx-ID: 2231 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Noise and information transmission in promoters with multiple internal states
G. Rieckh, G. Tkačik, Biophysical Journal 106 (2014) 1194–1204.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
G. Rieckh, G. Tkačik, Biophysical Journal 106 (2014) 1194–1204.
2014 |Published| Journal Article | IST-REx-ID: 2226 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Transient growth of Ekman-Couette flow
L. Shi, B. Hof, A. Tilgner, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
L. Shi, B. Hof, A. Tilgner, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
2014 |Published| Journal Article | IST-REx-ID: 2234 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Markov decision processes with multiple long-run average objectives
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, Logical Methods in Computer Science 10 (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, Logical Methods in Computer Science 10 (2014).
2014 |Published| Conference Paper | IST-REx-ID: 2236 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
How to fake auxiliary input
D. Jetchev, K.Z. Pietrzak, in:, Y. Lindell (Ed.), Springer, 2014, pp. 566–590.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
D. Jetchev, K.Z. Pietrzak, in:, Y. Lindell (Ed.), Springer, 2014, pp. 566–590.