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.
309 Publications
2011 | Technical Report | IST-REx-ID: 5384 | 
Chatterjee K, Tracol M. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria; 2011. doi:10.15479/AT:IST-2011-0004
[Published Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3336
Chen C, Freedman D, Lampert C. Enforcing topological constraints in random field image segmentation. In: CVPR: Computer Vision and Pattern Recognition. IEEE; 2011:2089-2096. doi:10.1109/CVPR.2011.5995503
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3323
Wies T, Muñiz M, Kuncak V. An efficient decision procedure for imperative tree data structures. In: Vol 6803. Springer; 2011:476-491. doi:10.1007/978-3-642-22438-6_36
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3366 |
Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. Quantitative synthesis for concurrent programs. In: Gopalakrishnan G, Qadeer S, eds. Vol 6806. Springer; 2011:243-259. doi:10.1007/978-3-642-22110-1_20
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3345 |
Chatterjee K, Doyen L. Energy and mean-payoff parity Markov Decision Processes. In: Vol 6907. Springer; 2011:206-218. doi:10.1007/978-3-642-22993-0_21
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Technical Report | IST-REx-ID: 5387 |
Chatterjee K, Doyen L. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria; 2011. doi:10.15479/AT:IST-2011-0001
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 580
Hosten O. Quantum physics: How to catch a wave. Nature. 2011;474(7350):170-171. doi:10.1038/474170a
View
| DOI
2011 | Conference Paper | IST-REx-ID: 585
Schmid D, Hazrat S, Rangarajan R, Hosten O, Quint S, Kwiat P. Methods towards achieving precise birefringent focusing. In: OSA; 2011. doi:10.1364/CLEO_AT.2011.JThB130
View
| DOI
2011 | Journal Article | IST-REx-ID: 586
Vrijsen G, Hosten O, Lee J, Bernon S, Kasevich M. Raman lasing with a cold atom gain medium in a high-finesse optical cavity. Physical Review Letters. 2011;107(6). doi:10.1103/PhysRevLett.107.063904
View
| DOI
2011 | Journal Article | IST-REx-ID: 597
Bernecky C, Grob P, Ebmeier C, Nogales E, Taatjes D. Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly. PLoS Biology. 2011;9(3). doi:10.1371/journal.pbio.1000603
View
| DOI
2011 | Journal Article | IST-REx-ID: 6140 |
Arellano-Carbajal F, Briseño-Roa L, Couto A, Cheung BHH, Labouesse M, de Bono M. Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability. PLoS Genetics. 2011;7(3). doi:10.1371/journal.pgen.1001341
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 6137 |
Milward K, Busch KE, Murphy RJ, de Bono M, Olofsson B. Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 2011;108(51):20672-20677. doi:10.1073/pnas.1106134109
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 6138 |
Bretscher AJ, Kodama-Namba E, Busch KE, et al. Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior. Neuron. 2011;69(6):1099-1113. doi:10.1016/j.neuron.2011.02.023
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 6298 |
Baranova NS, Nilebäck E, Haller FM, et al. The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers. Journal of Biological Chemistry. 2011;286(29):25675-25686. doi:10.1074/jbc.m111.247395
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 6496 |
Park H, Oikonomou P, Guet CC, Cluzel P. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 2011;101(10):2336-2340. doi:10.1016/j.bpj.2011.09.040
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 6749 |
Mondelli M, Ciomaga A. Finite difference schemes for MCM and AMSS. Image Processing On Line. 2011;1:127-177. doi:10.5201/ipol.2011.cm_fds
[Published Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 6767
Mondelli M, Ciomaga A. On finite difference schemes for curvature motions. In: Proceedings of the International Student Conference on Pure and Applied Mathematics. Editura Universitãtii „Alexandru Ioan Cuza” Iasi; 2011:137-156. doi:10.13140/2.1.1862.4646
View
| DOI
2011 | Journal Article | IST-REx-ID: 7076
Salje EKH, Safarik DJ, Taylor RD, et al. Determination of iron sites and the amount of amorphization in radiation-damaged titanite (CaSiTiO5). Journal of Physics: Condensed Matter. 2011;23(10). doi:10.1088/0953-8984/23/10/105402
View
| DOI
2011 | Journal Article | IST-REx-ID: 7077
Capps J, Ma B, Drye T, et al. The effect of Ag concentration on the structural, electrical and thermal transport behavior of Pb:Te:Ag:Se mixtures and improvement of thermoelectric performance via Cu doping. Journal of Alloys and Compounds. 2011;509(5):1544-1549. doi:10.1016/j.jallcom.2010.10.187
View
| DOI
2011 | Journal Article | IST-REx-ID: 7313
Bruce PG, Freunberger SA, Hardwick LJ, Tarascon J-M. Li–O2 and Li–S batteries with high energy storage. Nature Materials. 2011;11(1):19-29. doi:10.1038/nmat3191
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 7314
Freunberger SA, Chen Y, Drewett NE, Hardwick LJ, Bardé F, Bruce PG. The Lithium-Oxygen battery with ether-based electrolytes. Angewandte Chemie International Edition. 2011;50(37):8609-8613. doi:10.1002/anie.201102357
View
| DOI
2011 | Journal Article | IST-REx-ID: 7317
Trahey L, Johnson CS, Vaughey JT, et al. Activated Lithium-Metal-Oxides as catalytic electrodes for Li–O2 cells. Electrochemical and Solid-State Letters. 2011;14(5). doi:10.1149/1.3555366
View
| DOI
2011 | Journal Article | IST-REx-ID: 7316
Freunberger SA, Chen Y, Peng Z, et al. Reactions in the rechargeable Lithium–O2 battery with alkyl carbonate electrolytes. Journal of the American Chemical Society. 2011;133(20):8040-8047. doi:10.1021/ja2021747
View
| DOI
2011 | Journal Article | IST-REx-ID: 7315
Peng Z, Freunberger SA, Hardwick LJ, et al. Oxygen reactions in a non-aqueous Li+ electrolyte. Angewandte Chemie International Edition. 2011;50(28):6351-6355. doi:10.1002/anie.201100879
View
| DOI
2011 | Conference Paper | IST-REx-ID: 757
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Generating fast indulgent algorithms. In: Vol 6522 LNCS. Springer; 2011:41-52. doi:10.1007/978-3-642-17679-1_4
View
| DOI
2011 | Conference Paper | IST-REx-ID: 759
Alistarh D-A, Aspnes J, Gilbert S, Guerraoui R. The complexity of renaming. In: IEEE; 2011:718-727. doi:10.1109/FOCS.2011.66
View
| DOI
2011 | Conference Paper | IST-REx-ID: 761
Alistarh D-A, Aspnes J, Censor Hillel K, Gilbert S, Zadimoghaddam M. Optimal-time adaptive strong renaming, with applications to counting. In: ACM; 2011:239-248. doi:10.1145/1993806.1993850
View
| DOI
2011 | Conference Paper | IST-REx-ID: 760
Alistarh D-A, Aspnes J. Sub-logarithmic test-and-set against a weak adversary. In: Vol 6950 LNCS. Springer; 2011:97-109. doi:10.1007/978-3-642-24100-0_7
View
| DOI
2011 | Journal Article | IST-REx-ID: 7750
Robinson MR. Understanding intrasexual competition and sexual selection requires an evolutionary ecology framework. Behavioral Ecology. 2011;22(6):1143-1144. doi:10.1093/beheco/arr110
View
| DOI
2011 | Journal Article | IST-REx-ID: 8025 |
Woodruff AR, McGarry LM, Vogels TP, Inan M, Anderson SA, Yuste R. State-dependent function of neocortical chandelier cells. Journal of Neuroscience. 2011;31(49):17872-17886. doi:10.1523/jneurosci.3894-11.2011
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 8074
Vogels TP, Sprekeler H, Zenke F, Clopath C, Gerstner W. Inhibitory plasticity balances excitation and inhibition in sensory pathways and memory networks. Science. 2011;334(6062):1569-1573. doi:10.1126/science.1211095
View
| Files available
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 8469
Schanda P, Meier BH, Ernst M. Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR. Journal of Magnetic Resonance. 2011;210(2):246-259. doi:10.1016/j.jmr.2011.03.015
View
| DOI
2011 | Journal Article | IST-REx-ID: 8470
Huber M, Hiller S, Schanda P, et al. A proton-detected 4D solid-state NMR experiment for protein structure determination. ChemPhysChem. 2011;12(5):915-918. doi:10.1002/cphc.201100062
View
| DOI
2011 | Journal Article | IST-REx-ID: 8464
Schanda P, Huber M, Boisbouvier J, Meier BH, Ernst M. Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion. Angewandte Chemie International Edition. 2011;50(46):11005-11009. doi:10.1002/anie.201103944
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 8468
Lalli D, Schanda P, Chowdhury A, et al. Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins. Journal of Biomolecular NMR. 2011;51(4):477-485. doi:10.1007/s10858-011-9578-1
View
| DOI
2011 | Journal Article | IST-REx-ID: 890
Koblik E, Red’Kin Y, Meer M, et al. Acrocephalus orinus: A case of Mistaken identity. PLoS One. 2011;6(4). doi:10.1371/journal.pone.0017716
View
| DOI
2011 | Journal Article | IST-REx-ID: 90
Higginbotham AP, Guillen A, Jones N, Donnelly T, Bernoff A. Evidence of the harmonic Faraday instability in ultrasonic atomization experiments with a deep, inviscid fluid. Journal of the Acoustical Society of America. 2011;130(5):2694-2699. doi:10.1121/1.3643816
View
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 9144 |
Muller CJ, O’Gorman PA, Back LE. Intensification of precipitation extremes with warming in a cloud-resolving model. Journal of Climate. 2011;24(11):2784-2800. doi:10.1175/2011jcli3876.1
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 9143
Muller CJ, O’Gorman PA. An energetic perspective on the regional response of precipitation to climate change. Nature Climate Change. 2011;1(5):266-271. doi:10.1038/nclimate1169
View
| DOI
2011 | Journal Article | IST-REx-ID: 923 |
Fré S, Hannezo EB, Šale S, et al. Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice. PLoS One. 2011;6(10). doi:10.1371/journal.pone.0025785
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 9483 |
Hsieh T-F, Shin J, Uzawa R, et al. Regulation of imprinted gene expression in Arabidopsis endosperm. Proceedings of the National Academy of Sciences. 2011;108(5):1755-1762. doi:10.1073/pnas.1019273108
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 967 |
Serbyn M, Senthil T, Lee P. Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. 2011;84(18). doi:10.1103/PhysRevB.84.180403
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 969 |
Serbyn M, Lee P. Isotope effect on the superfluid density in conventional and high-temperature superconductors. Physical Review B - Condensed Matter and Materials Physics. 2011;83(2). doi:10.1103/PhysRevB.83.024506
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 8471
Van Melckebeke H, Schanda P, Gath J, et al. Probing water accessibility in HET-s(218–289) amyloid fibrils by solid-state NMR. Journal of Molecular Biology. 2011;405(3):765-772. doi:10.1016/j.jmb.2010.11.004
View
| DOI
2011 | Journal Article | IST-REx-ID: 8505
Galante J, Kaloshin V. Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action. Duke Mathematical Journal. 2011;159(2):275-327. doi:10.1215/00127094-1415878
View
| DOI
2011 | Book Chapter | IST-REx-ID: 881
Kondrashov F. Gene Dosage and Duplication. In: Evolution after Gene Duplication. Wiley-Blackwell; 2011:57-76. doi:10.1002/9780470619902.ch4
View
| DOI
2011 | Journal Article | IST-REx-ID: 919
Angelini T, Hannezo EB, Trepatc X, Marquez M, Fredberg J, Weitz D. Glass-like dynamics of collective cell migration. Proceedings of the National Academy of Sciences of the United States of America. 2011;108(12):4714-4719. doi:10.1073/pnas.1010059108
View
| DOI
2011 | Journal Article | IST-REx-ID: 918
Hannezo EB, Prost J, Joanny J. Instabilities of monolayered epithelia Shape and structure of villi and crypts. Physical Review Letters. 2011;107(7). doi:10.1103/PhysRevLett.107.078104
View
| DOI
2011 | Other Publication | IST-REx-ID: 9522 |
Zilberman D. Balancing Parental Contributions in Plant Embryonic Gene Activation. Vol 20. Elsevier; 2011:735-736. doi:10.1016/j.devcel.2011.05.018
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Conference Paper | IST-REx-ID: 9648 |
Gonzalez-Diaz R, Ion A, Jimenez MJ, Poyatos R. Incremental-decremental algorithm for computing AT-models and persistent homology. In: Computer Analysis of Images and Patterns. Vol 6854. Springer Nature; 2011:286-293. doi:10.1007/978-3-642-23672-3_35
[Published Version]
View
| DOI
| Download Published Version (ext.)