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.

8978 Publications


2012 | Journal Article | IST-REx-ID: 2477
Application of an optogenetic byway for perturbing neuronal activity via glial photostimulation
T. Sasaki, K. Beppu, K. Tanaka, Y. Fukazawa, R. Shigemoto, K. Matsui, PNAS 109 (2012) 20720–20725.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2474
Thin dendrites of cerebellar interneurons confer sublinear synaptic integration and a gradient of short-term plasticity
T. Abrahamsson, L. Cathala, K. Matsui, R. Shigemoto, D. Digregorio, Neuron 73 (2012) 1159–1172.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2515
Developmental profile of SK2 channel expression and function in CA1 neurons
C. Ballesteros Merino, M. Lin, W. Wu, C. Ferrándiz Huertas, M. Cabañero, M. Watanabe, Y. Fukazawa, R. Shigemoto, J. Maylie, J. Adelman, R. Luján, Hippocampus 22 (2012) 1467–1480.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2514
Mechanisms underlying signal filtering at a multisynapse contact
T. Budisantoso, K. Matsui, N. Kamasawa, Y. Fukazawa, R. Shigemoto, Journal of Neuroscience 32 (2012) 2357–2376.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2689
Quantitative regional and ultra structural localization of the Ca v2 3 subunit of R type calcium channel in mouse brain
L. Parajuli, C. Nakajima, Á. Kulik, K. Matsui, T. Schneider, R. Shigemoto, Y. Fukazawa, Journal of Neuroscience 32 (2012) 13555–13567.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2687
Right-hemispheric dominance of spatial memory in split-brain mice
Y. Shinohara, A. Hosoya, N. Yamasaki, H. Ahmed, S. Hattori, M. Eguchi, S. Yamaguchi, T. Miyakawa, H. Hirase, R. Shigemoto, Hippocampus 22 (2012) 117–121.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2688
Intra-synapse-type and inter-synapse-type relationships between synaptic size and AMPAR expression
Y. Fukazawa, R. Shigemoto, Current Opinion in Neurobiology 22 (2012) 446–452.
View | DOI
 

2012 | Preprint | IST-REx-ID: 2696 | OA View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2700 | OA
Lecture notes on quantum Brownian motion
L. Erdös, in:, Oxford University Press, 2012, pp. 3–98.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2715 | OA
Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
K. Chatterjee, M. Joglekar, N. Shah, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 461–473.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 10904
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
[Preprint] View | Files available | DOI | arXiv
 

2012 | Journal Article | IST-REx-ID: 2770
Rigidity of eigenvalues of generalized Wigner matrices
L. Erdös, H. Yau, J. Yin, Advances in Mathematics 229 (2012) 1435–1515.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2769
The local relaxation flow approach to universality of the local statistics for random matrices
L. Erdös, B. Schlein, H. Yau, J. Yin, Annales de l’institut Henri Poincare (B) Probability and Statistics 48 (2012) 1–46.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2767
Bulk universality for generalized Wigner matrices
L. Erdös, H. Yau, J. Yin, Probability Theory and Related Fields 154 (2012) 341–407.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2768
Wegner estimate and Anderson localization for random magnetic fields
L. Erdös, D. Hasler, Communications in Mathematical Physics 309 (2012) 507–542.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2775
Universality of local spectral statistics of random matrices
L. Erdös, H. Yau, Bulletin of the American Mathematical Society 49 (2012) 377–414.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2777
Relativistic Scott correction in self-generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Journal of Mathematical Physics 53 (2012).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2772
Second order semiclassics with self generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Annales Henri Poincare 13 (2012) 671–730.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2776
Spectral statistics of Erdős-Rényi graphs II: Eigenvalue spacing and the extreme eigenvalues
L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics 314 (2012) 587–640.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2774
Scott correction for large atoms and molecules in a self-generated magnetic field
L. Erdös, S. Fournais, J. Solovej, Communications in Mathematical Physics 312 (2012) 847–882.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2773
A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices
L. Erdös, H. Yau, Electronic Journal of Probability 17 (2012).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2771
Anderson localization at band edges for random magnetic fields
L. Erdös, D. Hasler, Journal of Statistical Physics 146 (2012) 900–923.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2778
Bulk universality of general β-ensembles with non-convex potential
P. Bourgade, L. Erdös, H. Yau, Journal of Mathematical Physics 53 (2012).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2779
Wegner estimate for random magnetic Laplacian on ℤ 2
L. Erdös, D. Hasler, Annales Henri Poincare 13 (2012) 1719–1731.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2802
Particle tracking for polydisperse sedimenting droplets in phase separation
T. Lapp, M. Rohloff, J. Vollmer, B. Hof, Experiments in Fluids 52 (2012) 1187–1200.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2803
Edge state in pipe flow experiments
A. De Lózar, F. Mellibovsky, M. Avila, B. Hof, Physical Review Letters 108 (2012).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2804
Breath figures: Nucleation, growth, coalescence, and the size distribution of droplets
J. Blaschke, T. Lapp, B. Hof, J. Vollmer, Physical Review Letters 109 (2012).
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2825
Dynamic pruning of factor graphs for maximum marginal prediction
C. Lampert, in:, Neural Information Processing Systems, 2012, pp. 82–90.
View
 

2012 | Journal Article | IST-REx-ID: 2848 | OA
Evolutionary game dynamics in populations with different learners
K. Chatterjee, D. Zufferey, M. Nowak, Journal of Theoretical Biology 301 (2012) 161–173.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2849 | OA
On the configuration space of Steiner minimal trees
H. Edelsbrunner, N. Strelkova, Russian Mathematical Surveys 67 (2012) 1167–1168.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2876
Retargeting a maize β-glucosidase to the vacuole - Evidence from intact plants that zeatin-O-glucoside is stored in the vacuole
N. Kiran, E. Benková, A. Reková, J. Dubová, J. Malbeck, K. Palme, B. Brzobohatý, Phytochemistry 79 (2012) 67–77.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2875 | OA
Genetic approach towards the identification of auxin - cytokinin crosstalk components involved in root development
A. Bielach, J. Duclercq, P. Marhavý, E. Benková, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 367 (2012) 1469–1478.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2878
Pin1 independent leaf initiation in Arabidopsis
B. Guenot, E. Bayer, D. Kierzkowski, R. Smith, T. Mandel, P. Žádníková, E. Benková, C. Kuhlemeier, Plant Physiology 159 (2012) 1501–1510.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2879
The transcription factors BEL1 and SPL are required for cytokinin and auxin signaling during ovule development in Arabidopsis
S. Bencivenga, S. Simonini, E. Benková, L. Colombo, Plant Cell 24 (2012) 2886–2897.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2891 | OA
Approximate determinization of quantitative automata
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2890
Synthesis from incompatible specifications
P. Cerny, S. Gopi, T.A. Henzinger, A. Radhakrishna, N. Totla, in:, Proceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 53–62.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2888
Quantitative reactive models
T.A. Henzinger, in:, Conference Proceedings MODELS 2012, Springer, 2012, pp. 1–2.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2903 | OA
The adaptive topology of a digital image
H. Edelsbrunner, O. Symonova, in:, IEEE, 2012, pp. 41–48.
[Submitted Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2916 | OA
Interface Simulation Distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, 2012, pp. 29–42.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 2917
The game of active search for extra terrestrial intelligence Breaking the Great Silence
H. de Vladar, International Journal of Astrobiology 12 (2012) 53–62.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2911
Open problems in discrete and computational geometry
H. Edelsbrunner, A. Ivanov, R. Karasev, Automatic Control and Computer Sciences in print (2012).
View
 

2012 | Conference Paper | IST-REx-ID: 2930 | OA
Towards minimizing k-submodular functions
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Preprint | IST-REx-ID: 2928 | OA
Generalized sequential tree-reweighted message passing
V. Kolmogorov, T. Schoenemann, ArXiv (2012).
[Preprint] View | Download Preprint (ext.) | arXiv
 

2012 | Report | IST-REx-ID: 2929 | OA
The power of linear programming for valued CSPs: a constructive characterization
V. Kolmogorov, The Power of Linear Programming for Valued CSPs: A Constructive Characterization, Unknown, 2012.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2937 | OA
Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols
J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, S. Béguelin, in:, Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2936 | OA
Finite automata with time delay blocks
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2938 View | DOI
 

2012 | Journal Article | IST-REx-ID: 2931
A dual decomposition approach to feature correspondence
L. Torresani, V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 35 (2012) 259–271.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2942
Independent implementability of viewpoints
T.A. Henzinger, D. Nickovic, in:, Conference Proceedings Monterey Workshop 2012, Springer, 2012, pp. 380–395.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2943 | OA
Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions
N. Hadizadeh Yazdi, C.C. Guet, R. Johnson, J. Marko, Molecular Microbiology 86 (2012) 1318–1333.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications