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.
332 Publications
2012 | Journal Article | IST-REx-ID: 2476
Sümegi M, Fukazawa Y, Matsui K, et al. Virus-mediated swapping of zolpidem-insensitive with zolpidem-sensitive GABA A receptors in cortical pyramidal cells. Journal of Physiology. 2012;590(7):1517-1534. doi:10.1113/jphysiol.2012.227538
View
| DOI
2012 | Journal Article | IST-REx-ID: 2475
Saito Y, Inoue T, Zhu G, et al. Hyperpolarization-activated cyclic nucleotide gated channels: A potential molecular link between epileptic seizures and Aβ generation in Alzheimer’s disease. Molecular Neurodegeneration. 2012;7(1). doi:10.1186/1750-1326-7-50
View
| DOI
2012 | Journal Article | IST-REx-ID: 2477
Sasaki T, Beppu K, Tanaka K, Fukazawa Y, Shigemoto R, Matsui K. Application of an optogenetic byway for perturbing neuronal activity via glial photostimulation. PNAS. 2012;109(50):20720-20725. doi:10.1073/pnas.1213458109
View
| DOI
2012 | Journal Article | IST-REx-ID: 2474
Abrahamsson T, Cathala L, Matsui K, Shigemoto R, Digregorio D. Thin dendrites of cerebellar interneurons confer sublinear synaptic integration and a gradient of short-term plasticity. Neuron. 2012;73(6):1159-1172. doi:10.1016/j.neuron.2012.01.027
View
| DOI
2012 | Journal Article | IST-REx-ID: 2515
Ballesteros Merino C, Lin M, Wu W, et al. Developmental profile of SK2 channel expression and function in CA1 neurons. Hippocampus. 2012;22(6):1467-1480. doi:10.1002/hipo.20986
View
| DOI
2012 | Journal Article | IST-REx-ID: 2514
Budisantoso T, Matsui K, Kamasawa N, Fukazawa Y, Shigemoto R. Mechanisms underlying signal filtering at a multisynapse contact. Journal of Neuroscience. 2012;32(7):2357-2376. doi:10.1523/JNEUROSCI.5243-11.2012
View
| DOI
2012 | Journal Article | IST-REx-ID: 2689
Parajuli L, Nakajima C, Kulik Á, et al. Quantitative regional and ultra structural localization of the Ca v2 3 subunit of R type calcium channel in mouse brain. Journal of Neuroscience. 2012;32(39):13555-13567. doi:10.1523/JNEUROSCI.1142-12.2012
View
| DOI
2012 | Journal Article | IST-REx-ID: 2687
Shinohara Y, Hosoya A, Yamasaki N, et al. Right-hemispheric dominance of spatial memory in split-brain mice. Hippocampus. 2012;22(2):117-121. doi:10.1002/hipo.20886
View
| DOI
2012 | Journal Article | IST-REx-ID: 2688
Fukazawa Y, Shigemoto R. Intra-synapse-type and inter-synapse-type relationships between synaptic size and AMPAR expression. Current Opinion in Neurobiology. 2012;22(3):446-452. doi:10.1016/j.conb.2012.01.006
View
| DOI
2012 | Preprint | IST-REx-ID: 2696 | 
Erdös L. Universality for random matrices and log-gases. ArXiv. 2012.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2700 |
Erdös L. Lecture notes on quantum Brownian motion. In: Vol 95. Oxford University Press; 2012:3-98.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2715 |
Chatterjee K, Joglekar M, Shah N. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. In: Vol 18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:461-473. doi:10.4230/LIPIcs.FSTTCS.2012.461
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 10904
Chatterjee K, Randour M, Raskin J-F. Strategy synthesis for multi-dimensional quantitative objectives. In: Koutny M, Ulidowski I, eds. CONCUR 2012 - Concurrency Theory. Vol 7454. Berlin, Heidelberg: Springer; 2012:115-131. doi:10.1007/978-3-642-32940-1_10
[Preprint]
View
| Files available
| DOI
| arXiv
2012 | Journal Article | IST-REx-ID: 2770
Erdös L, Yau H, Yin J. Rigidity of eigenvalues of generalized Wigner matrices. Advances in Mathematics. 2012;229(3):1435-1515. doi:10.1016/j.aim.2011.12.010
View
| DOI
2012 | Journal Article | IST-REx-ID: 2769
Erdös L, Schlein B, Yau H, Yin J. The local relaxation flow approach to universality of the local statistics for random matrices. Annales de l’institut Henri Poincare (B) Probability and Statistics. 2012;48(1):1-46. doi:10.1214/10-AIHP388
View
| DOI
2012 | Journal Article | IST-REx-ID: 2767
Erdös L, Yau H, Yin J. Bulk universality for generalized Wigner matrices. Probability Theory and Related Fields. 2012;154(1-2):341-407. doi:10.1007/s00440-011-0390-3
View
| DOI
2012 | Journal Article | IST-REx-ID: 2768
Erdös L, Hasler D. Wegner estimate and Anderson localization for random magnetic fields. Communications in Mathematical Physics. 2012;309(2):507-542. doi:10.1007/s00220-011-1373-z
View
| DOI
2012 | Journal Article | IST-REx-ID: 2775
Erdös L, Yau H. Universality of local spectral statistics of random matrices. Bulletin of the American Mathematical Society. 2012;49(3):377-414. doi:10.1090/S0273-0979-2012-01372-1
View
| DOI
2012 | Journal Article | IST-REx-ID: 2777
Erdös L, Fournais S, Solovej J. Relativistic Scott correction in self-generated magnetic fields. Journal of Mathematical Physics. 2012;53(9). doi:10.1063/1.3697417
View
| DOI
2012 | Journal Article | IST-REx-ID: 2772
Erdös L, Fournais S, Solovej J. Second order semiclassics with self generated magnetic fields. Annales Henri Poincare. 2012;13(4):671-730. doi:10.1007/s00023-011-0150-z
View
| DOI
2012 | Journal Article | IST-REx-ID: 2776
Erdös L, Knowles A, Yau H, Yin J. Spectral statistics of Erdős-Rényi graphs II: Eigenvalue spacing and the extreme eigenvalues. Communications in Mathematical Physics. 2012;314(3):587-640. doi:10.1007/s00220-012-1527-7
View
| DOI
2012 | Journal Article | IST-REx-ID: 2774
Erdös L, Fournais S, Solovej J. Scott correction for large atoms and molecules in a self-generated magnetic field. Communications in Mathematical Physics. 2012;312(3):847-882. doi:10.1007/s00220-012-1468-1
View
| DOI
2012 | Journal Article | IST-REx-ID: 2773
Erdös L, Yau H. A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices. Electronic Journal of Probability. 2012;17. doi:10.1214/EJP.v17-1779
View
| DOI
2012 | Journal Article | IST-REx-ID: 2771
Erdös L, Hasler D. Anderson localization at band edges for random magnetic fields. Journal of Statistical Physics. 2012;146(5):900-923. doi:10.1007/s10955-012-0445-6
View
| DOI
2012 | Journal Article | IST-REx-ID: 2778
Bourgade P, Erdös L, Yau H. Bulk universality of general β-ensembles with non-convex potential. Journal of Mathematical Physics. 2012;53(9). doi:10.1063/1.4751478
View
| DOI
2012 | Journal Article | IST-REx-ID: 2779
Erdös L, Hasler D. Wegner estimate for random magnetic Laplacian on ℤ 2. Annales Henri Poincare. 2012;13(8):1719-1731. doi:10.1007/s00023-012-0177-9
View
| DOI
2012 | Journal Article | IST-REx-ID: 2802
Lapp T, Rohloff M, Vollmer J, Hof B. Particle tracking for polydisperse sedimenting droplets in phase separation. Experiments in Fluids. 2012;52(5):1187-1200. doi:10.1007/s00348-011-1243-7
View
| DOI
2012 | Journal Article | IST-REx-ID: 2803
De Lózar A, Mellibovsky F, Avila M, Hof B. Edge state in pipe flow experiments. Physical Review Letters. 2012;108(21). doi:10.1103/PhysRevLett.108.214502
View
| DOI
2012 | Journal Article | IST-REx-ID: 2804
Blaschke J, Lapp T, Hof B, Vollmer J. Breath figures: Nucleation, growth, coalescence, and the size distribution of droplets. Physical Review Letters. 2012;109(6). doi:10.1103/PhysRevLett.109.068701
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2825
Lampert C. Dynamic pruning of factor graphs for maximum marginal prediction. In: Vol 1. Neural Information Processing Systems; 2012:82-90.
View
2012 | Journal Article | IST-REx-ID: 2848 |
Chatterjee K, Zufferey D, Nowak M. Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. 2012;301:161-173. doi:10.1016/j.jtbi.2012.02.021
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2849 |
Edelsbrunner H, Strelkova N. On the configuration space of Steiner minimal trees. Russian Mathematical Surveys. 2012;67(6):1167-1168. doi:10.1070/RM2012v067n06ABEH004820
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2876
Kiran N, Benková E, Reková A, et al. Retargeting a maize β-glucosidase to the vacuole - Evidence from intact plants that zeatin-O-glucoside is stored in the vacuole. Phytochemistry. 2012;79:67-77. doi:10.1016/j.phytochem.2012.03.012
View
| DOI
2012 | Journal Article | IST-REx-ID: 2875 |
Bielach A, Duclercq J, Marhavý P, Benková E. Genetic approach towards the identification of auxin - cytokinin crosstalk components involved in root development. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2012;367(1595):1469-1478. doi:10.1098/rstb.2011.0233
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2878
Guenot B, Bayer E, Kierzkowski D, et al. Pin1 independent leaf initiation in Arabidopsis. Plant Physiology. 2012;159(4):1501-1510. doi:10.1104/pp.112.200402
View
| DOI
2012 | Journal Article | IST-REx-ID: 2879
Bencivenga S, Simonini S, Benková E, Colombo L. The transcription factors BEL1 and SPL are required for cytokinin and auxin signaling during ovule development in Arabidopsis. Plant Cell. 2012;24(7):2886-2897. doi:10.1105/tpc.112.100164
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2891 |
Boker U, Henzinger TA. Approximate determinization of quantitative automata. In: Leibniz International Proceedings in Informatics. Vol 18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:362-373. doi:10.4230/LIPIcs.FSTTCS.2012.362
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2890
Cerny P, Gopi S, Henzinger TA, Radhakrishna A, Totla N. Synthesis from incompatible specifications. In: Proceedings of the Tenth ACM International Conference on Embedded Software. ACM; 2012:53-62. doi:10.1145/2380356.2380371
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2888
Henzinger TA. Quantitative reactive models. In: Conference Proceedings MODELS 2012. Vol 7590. Springer; 2012:1-2. doi:10.1007/978-3-642-33666-9_1
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2903 |
Edelsbrunner H, Symonova O. The adaptive topology of a digital image. In: IEEE; 2012:41-48. doi:10.1109/ISVD.2012.11
[Submitted Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2916 |
Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. Interface Simulation Distances. In: Electronic Proceedings in Theoretical Computer Science. Vol 96. EPTCS; 2012:29-42. doi:10.4204/EPTCS.96.3
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 2917
de Vladar H. The game of active search for extra terrestrial intelligence Breaking the Great Silence . International Journal of Astrobiology. 2012;12(1):53-62. doi:10.1017/S1473550412000407
View
| DOI
2012 | Journal Article | IST-REx-ID: 2911
Edelsbrunner H, Ivanov A, Karasev R. Open problems in discrete and computational geometry. Automatic Control and Computer Sciences. 2012;in print.
View
2012 | Conference Paper | IST-REx-ID: 2930 |
Huber A, Kolmogorov V. Towards minimizing k-submodular functions. In: Vol 7422. Springer; 2012:451-462. doi:10.1007/978-3-642-32147-4_40
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Preprint | IST-REx-ID: 2928 |
Kolmogorov V, Schoenemann T. Generalized sequential tree-reweighted message passing. arXiv. 2012.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2012 | Report | IST-REx-ID: 2929 |
Kolmogorov V. The Power of Linear Programming for Valued CSPs: A Constructive Characterization. Unknown; 2012.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2937 |
Almeida J, Barbosa M, Bangerter E, Barthe G, Krenn S, Béguelin S. Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols. In: Proceedings of the 2012 ACM Conference on Computer and Communications Security. ACM; 2012:488-500. doi:10.1145/2382196.2382249
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2012 | Conference Paper | IST-REx-ID: 2936 |
Chatterjee K, Henzinger TA, Prabhu V. Finite automata with time delay blocks. In: Roceedings of the Tenth ACM International Conference on Embedded Software. ACM; 2012:43-52. doi:10.1145/2380356.2380370
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2938
Ugelvig LV, Cremer S. Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies. Functional Ecology. 2012;26(6):1300-1312. doi:10.1111/1365-2435.12013
View
| DOI
2012 | Journal Article | IST-REx-ID: 2931
Torresani L, Kolmogorov V, Rother C. A dual decomposition approach to feature correspondence. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2012;35(2):259-271. doi:10.1109/TPAMI.2012.105
View
| DOI