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 | Conference Paper | IST-REx-ID: 3270
C. Chen and M. Kerber, “Persistent homology computation with a twist,” presented at the EuroCG: European Workshop on Computational Geometry, Morschach, Switzerland, 2011, pp. 197–200.
View
 

2011 | Conference Paper | IST-REx-ID: 3298 | OA
K. Raveendran, C. Wojtan, and G. Turk, “Hybrid smoothed particle hydrodynamics,” presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Vancouver, Canada, 2011, pp. 33–42.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3297 | OA
C. Wojtan, M. Müller Fischer, and T. Brochu, “Liquid simulation with mesh-based surface tracking,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Vancouver, BC, Canada, 2011.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3290 | OA
K. Lohse, R. Harrison, and N. H. Barton, “A general method for calculating likelihoods under the coalescent process,” Genetics, vol. 189, no. 3. Genetics Society of America, pp. 977–987, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Poster | IST-REx-ID: 3312 | OA
Y. Zheng, S. Gu, H. Edelsbrunner, C. Tomasi, and P. Benfey, Detailed reconstruction of 3D plant root shape. IEEE, 2011.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3313 | OA
C. Chen and H. Edelsbrunner, “Diffusion runs low on persistence fast,” in Proceedings of the IEEE International Conference on Computer Vision, Barcelona, Spain, 2011.
[Submitted Version] View | Files available | DOI
 

2011 | Book Chapter | IST-REx-ID: 3311 | OA
H. Edelsbrunner, “Alpha shapes - a survey,” in Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, R. van de Weygaert, G. Vegter, J. Ritzerveld, and V. Icke, Eds. Springer.
[Submitted Version] View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3326 | OA
S. Almagor, U. Boker, and O. Kupferman, “What’s decidable about weighted automata ,” presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan, 2011, vol. 6996, pp. 482–491.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3325
R. Alur and P. Cerny, “Streaming transducers for algorithmic verification of single pass list processing programs,” presented at the POPL: Principles of Programming Languages, Texas, USA, 2011, vol. 46, no. 1, pp. 599–610.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3324 | OA
R. Piskac and T. Wies, “Decision procedures for automating termination proofs,” presented at the VMCAI: Verification Model Checking and Abstract Interpretation, Texas, USA, 2011, vol. 6538, pp. 371–386.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3327
U. Boker and O. Kupferman, “Co-Büching them all,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Saarbrücken, Germany, 2011, vol. 6604, pp. 184–198.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3337
Z. Wang, C. Lampert, K. Mülling, B. Schölkopf, and J. Peters, “Learning anticipation policies for robot table tennis,” presented at the IROS: RSJ International Conference on Intelligent Robots and Systems, San Francisco, USA, 2011, pp. 332–337.
View | DOI
 

2011 | Preprint | IST-REx-ID: 3339 | OA
K. Chatterjee, L. De Alfaro, and R. Pritam, “Magnifying lens abstraction for stochastic games with discounted and long-run average objectives,” arXiv. ArXiv, 2011.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3342 | OA
K. Chatterjee, M. H. Henzinger, M. Joglekar, and S. Nisarg, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 260–276.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3347 | OA
K. Chatterjee and N. Fijalkow, “Finitary languages,” presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain, 2011, vol. 6638, pp. 216–226.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3346 | OA
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, and A. Kučera, “Two views on multiple mean payoff objectives in Markov Decision Processes,” presented at the LICS: Logic in Computer Science, Toronto, Canada, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3348 | OA
K. Chatterjee and V. Prabhu, “Synthesis of memory efficient real time controllers for safety objectives,” presented at the HSCC: Hybrid Systems - Computation and Control, Chicago, USA, 2011, pp. 221–230.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3344
K. Chatterjee, “Graph games with reachability objectives,” presented at the RP: Reachability Problems, Genoa, Italy, 2011, vol. 6945, pp. 1–1.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3343 | OA
K. Chatterjee and M. H. Henzinger, “Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification,” presented at the SODA: Symposium on Discrete Algorithms, San Francisco, SA, United States, 2011, pp. 1318–1336.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3360 | OA
U. Boker and T. A. Henzinger, “Determinizing discounted-sum automata,” presented at the CSL: Computer Science Logic, Bergen, Norway, 2011, vol. 12, pp. 82–96.
[Published Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3361 | OA
P. Cerny, K. Chatterjee, and T. A. Henzinger, “The complexity of quantitative information flow problems,” presented at the CSF: Computer Security Foundations, Cernay-la-Ville, France, 2011, pp. 205–217.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3358 | OA
T. A. Henzinger, V. Singh, T. Wies, and D. Zufferey, “Scheduling large jobs by abstraction refinement,” presented at the EuroSys, Salzburg, Austria, 2011, pp. 329–342.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3359
P. Cerny and T. A. Henzinger, “From boolean to quantitative synthesis,” presented at the EMSOFT: Embedded Software , Taipei; Taiwan, 2011, pp. 149–154.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3357
K. Chatterjee, T. A. Henzinger, and F. Horn, “The complexity of request-response games,” presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain, 2011, vol. 6638, pp. 227–237.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 336
M. Ibáñez et al., “Growth kinetics of asymmetric Bi2S3 nanocrystals: Size distribution focusing in nanorods,” Journal of Physical Chemistry C, vol. 115, no. 16. American Chemical Society, pp. 7947–7955, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3379 | OA
R. Row, J.-L. Maître, B. Martin, P. Stockinger, C.-P. J. Heisenberg, and D. Kimelman, “Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail,” Developmental Biology, vol. 354, no. 1. Elsevier, pp. 102–110, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3376 | OA
M. T. Bollenbach and R. Kishony, “Resolution of gene regulatory conflicts caused by combinations of antibiotics,” Molecular Cell, vol. 42, no. 4. Cell Press, pp. 413–425, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3380 | OA
S. Logeswaran and N. H. Barton, “Mapping Mendelian traits in asexual progeny using changes in marker allele frequency,” Genetical Research, vol. 93, no. 3. Cambridge University Press, pp. 221–232, 2011.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3377 | OA
H. Edelsbrunner, D. Morozov, and A. Patel, “Quantifying transversality by measuring the robustness of intersections,” Foundations of Computational Mathematics, vol. 11, no. 3. Springer, pp. 345–361, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3378
P. Bendich and J. Harer, “Persistent intersection homology,” Foundations of Computational Mathematics, vol. 11, no. 3. Springer, pp. 305–336, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3388 | OA
L. V. Ugelvig, P. Nielsen, J. Boomsma, and D. Nash, “Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion,” BMC Evolutionary Biology, vol. 11, no. 201. BioMed Central, 2011.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3384 | OA
G. Tkačik et al., “Natural images from the birthplace of the human eye,” PLoS One, vol. 6, no. 6. Public Library of Science, 2011.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3387 | OA
A. Kupczok, “Split based computation of majority rule supertrees,” BMC Evolutionary Biology, vol. 11, no. 205. BioMed Central, 2011.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3389
M. Blaschko, J. Shelton, A. Bartels, C. Lampert, and A. Gretton, “Semi supervised kernel canonical correlation analysis with application to human fMRI,” Pattern Recognition Letters, vol. 32, no. 11. Elsevier, pp. 1572–1583, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3382
O. Kroemer, C. Lampert, and J. Peters, “Learning dynamic tactile sensing with robust vision based training,” IEEE Transactions on Robotics, vol. 27, no. 3. IEEE, pp. 545–557, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3386
A. Schrempf, S. Cremer, and J. Heinze, “Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies,” Journal of Evolutionary Biology, vol. 24, no. 7. Wiley-Blackwell, pp. 1455–1461, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3385
M. K. Sixt, “Interstitial locomotion of leukocytes,” Immunology Letters, vol. 138, no. 1. Elsevier, pp. 32–34, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3383
C.-P. J. Heisenberg, “Invited Lectures ‐ Symposia Area,” FEBS Journal, vol. 278, no. S1. Wiley-Blackwell, pp. 24–24, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3399 | OA
S. Cremer, A. Schrempf, and J. Heinze, “Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior,” PLoS One, vol. 6, no. 3. Public Library of Science, 2011.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3401
S. Little, G. Tkačik, T. Kneeland, E. Wieschaus, and T. Gregor, “The formation of the Bicoid morphogen gradient requires protein movement from anteriorly localized source,” PLoS Biology, vol. 9, no. 3. Public Library of Science, 2011.
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 3724
H. L. Janovjak and E. Isacoff, “Structure-based design of light-controlled proteins,” in Photosensitive Molecules for the Control of Biological Function, vol. 55, Springer, 2011, pp. 233–266.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3770
C. Hollatz, S. Vilaça, R. A. Fernandes Redondo, M. Marmontel, C. Baker, and F. Santos, “The Amazon River system as an ecological barrier driving genetic differentiation of the pink dolphin (Inia geoffrensis),” Biological Journal of the Linnean Society, vol. 102, no. 4. Wiley, pp. 812–827, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3771
A. Pavan, F. Martins, F. Santos, A. Ditchfield, and R. A. Fernandes Redondo, “Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests.,” Biological Journal of the Linnean Society, vol. 102, no. 3. Wiley-Blackwell, pp. 527–539, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3778 | OA
N. H. Barton, “Estimating linkage disequilibria,” Heredity, vol. 106, no. 2. Nature Publishing Group, pp. 205–206, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Book Chapter | IST-REx-ID: 3791
G. Krens and C.-P. J. Heisenberg, “Cell sorting in development,” in Forces and Tension in Development, vol. 95, M. Labouesse, Ed. Elsevier, 2011, pp. 189–213.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3364 | OA
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Approximation of event probabilities in noisy cellular processes,” Theoretical Computer Science, vol. 412, no. 21. Elsevier, pp. 2128–2141, 2011.
[Submitted Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 469 | OA
N. Vyleta and S. Smith, “Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor,” European Journal of Neuroscience, vol. 31, no. 12. Wiley-Blackwell, pp. 4593–4606, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 490 | OA
A. Schlögl, C. Vidaurre, and T. Sander, “BioSig: The free and open source software library for biomedical signal processing,” Computational Intelligence and Neuroscience, vol. 2011. Hindawi Publishing Corporation, 2011.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 491
A. Eichner and M. K. Sixt, “Setting the clock for recirculating lymphocytes,” Science Signaling, vol. 4, no. 198. American Association for the Advancement of Science, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 518 | OA
D. Schraivogel et al., “CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells,” EMBO Journal, vol. 30, no. 20. Wiley-Blackwell, pp. 4309–4322, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 531 | OA
R. Guerraoui, T. A. Henzinger, and V. Singh, “Verification of STM on relaxed memory models,” Formal Methods in System Design, vol. 39, no. 3. Springer, pp. 297–331, 2011.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Technical Report | IST-REx-ID: 5379 | OA
K. Chatterjee and M. H. Henzinger, An O(n2) time algorithm for alternating Büchi games. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5381 | OA
K. Chatterjee and L. Doyen, Partial-observation stochastic games: How to win when belief fails. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5380 | OA
K. Chatterjee, Bounded rationality in concurrent parity games. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5382 | OA
K. Chatterjee, Robustness of structurally equivalent concurrent parity games. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3338 | OA
K. Chatterjee, “Bounded rationality in concurrent parity games,” arXiv. ArXiv, pp. 1–51, 2011.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3356 | OA
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, “Temporal specifications with accumulative values,” presented at the LICS: Logic in Computer Science, Toronto, Canada, 2011.
[Submitted Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5385 | OA
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications with accumulative values. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5386 | OA
C. Chen, D. Freedman, and C. Lampert, Enforcing topological constraints in random field image segmentation. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5383 | OA
T. Wies, M. Muñiz, and V. Kuncak, On an efficient decision procedure for imperative tree data structures. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5384 | OA
K. Chatterjee and M. Tracol, Decidable problems for probabilistic automata on infinite words. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3336
C. Chen, D. Freedman, and C. Lampert, “Enforcing topological constraints in random field image segmentation,” in CVPR: Computer Vision and Pattern Recognition, Colorado Springs, CO, United States, 2011, pp. 2089–2096.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3323
T. Wies, M. Muñiz, and V. Kuncak, “An efficient decision procedure for imperative tree data structures,” presented at the CADE 23: Automated Deduction , Wrocław, Poland, 2011, vol. 6803, pp. 476–491.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3366 | OA
P. Cerny, K. Chatterjee, T. A. Henzinger, A. Radhakrishna, and R. Singh, “Quantitative synthesis for concurrent programs,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 243–259.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3345 | OA
K. Chatterjee and L. Doyen, “Energy and mean-payoff parity Markov Decision Processes,” presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland, 2011, vol. 6907, pp. 206–218.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Technical Report | IST-REx-ID: 5387 | OA
K. Chatterjee and L. Doyen, Energy and mean-payoff parity Markov decision processes. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 580
O. Hosten, “Quantum physics: How to catch a wave,” Nature, vol. 474, no. 7350. Nature Publishing Group, pp. 170–171, 2011.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 585
D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, and P. Kwiat, “Methods towards achieving precise birefringent focusing,” presented at the QELS: Quantum Electronics and Laser Science, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 586
G. Vrijsen, O. Hosten, J. Lee, S. Bernon, and M. Kasevich, “Raman lasing with a cold atom gain medium in a high-finesse optical cavity,” Physical Review Letters, vol. 107, no. 6. American Physical Society, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 597
C. Bernecky, P. Grob, C. Ebmeier, E. Nogales, and D. Taatjes, “Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly,” PLoS Biology, vol. 9, no. 3. Public Library of Science, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 6140 | OA
F. Arellano-Carbajal, L. Briseño-Roa, A. Couto, B. H. H. Cheung, M. Labouesse, and M. de Bono, “Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability,” PLoS Genetics, vol. 7, no. 3. Public Library of Science, 2011.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6137 | OA
K. Milward, K. E. Busch, R. J. Murphy, M. de Bono, and B. Olofsson, “Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans,” Proceedings of the National Academy of Sciences, vol. 108, no. 51. National Academy of Sciences, pp. 20672–20677, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6138 | OA
A. J. Bretscher et al., “Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior,” Neuron, vol. 69, no. 6. Elsevier BV, pp. 1099–1113, 2011.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6298 | OA
N. S. Baranova et al., “The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers,” Journal of Biological Chemistry, vol. 286, no. 29. American Society for Biochemistry & Molecular Biology, pp. 25675–25686, 2011.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 6496 | OA
H. Park, P. Oikonomou, C. C. Guet, and P. Cluzel, “Noise underlies switching behavior of the bacterial flagellum,” Biophysical Journal, vol. 101, no. 10. Elsevier, pp. 2336–2340, 2011.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6749 | OA
M. Mondelli and A. Ciomaga, “Finite difference schemes for MCM and AMSS,” Image Processing On Line, vol. 1. IPOL Image Processing On Line, pp. 127–177, 2011.
[Published Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 6767
M. Mondelli and A. Ciomaga, “On finite difference schemes for curvature motions,” in Proceedings of the International Student Conference on Pure and Applied Mathematics, Iasi, Romania, 2011, pp. 137–156.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7076
E. K. H. Salje et al., “Determination of iron sites and the amount of amorphization in radiation-damaged titanite (CaSiTiO5),” Journal of Physics: Condensed Matter, vol. 23, no. 10. IOP Publishing, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7077
J. Capps 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, vol. 509, no. 5. Elsevier, pp. 1544–1549, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7313
P. G. Bruce, S. A. Freunberger, L. J. Hardwick, and J.-M. Tarascon, “Li–O2 and Li–S batteries with high energy storage,” Nature Materials, vol. 11, no. 1. Springer Nature, pp. 19–29, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 7314
S. A. Freunberger, Y. Chen, N. E. Drewett, L. J. Hardwick, F. Bardé, and P. G. Bruce, “The Lithium-Oxygen battery with ether-based electrolytes,” Angewandte Chemie International Edition, vol. 50, no. 37. Wiley, pp. 8609–8613, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7317
L. Trahey et al., “Activated Lithium-Metal-Oxides as catalytic electrodes for Li–O2 cells,” Electrochemical and Solid-State Letters, vol. 14, no. 5. The Electrochemical Society, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7316
S. A. Freunberger et al., “Reactions in the rechargeable Lithium–O2 battery with alkyl carbonate electrolytes,” Journal of the American Chemical Society, vol. 133, no. 20. ACS, pp. 8040–8047, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7315
Z. Peng et al., “Oxygen reactions in a non-aqueous Li+ electrolyte,” Angewandte Chemie International Edition, vol. 50, no. 28. Wiley, pp. 6351–6355, 2011.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 757
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Generating fast indulgent algorithms,” presented at the ICDCN: International Conference on Distributed Computing and Networking, 2011, vol. 6522 LNCS, pp. 41–52.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 759
D.-A. Alistarh, J. Aspnes, S. Gilbert, and R. Guerraoui, “The complexity of renaming,” presented at the FOCS: Foundations of Computer Science, 2011, pp. 718–727.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 761
D.-A. Alistarh, J. Aspnes, K. Censor Hillel, S. Gilbert, and M. Zadimoghaddam, “Optimal-time adaptive strong renaming, with applications to counting,” presented at the PODC: Principles of Distributed Computing, 2011, pp. 239–248.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 760
D.-A. Alistarh and J. Aspnes, “Sub-logarithmic test-and-set against a weak adversary,” presented at the DISC: Distributed Computing, 2011, vol. 6950 LNCS, pp. 97–109.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7750
M. R. Robinson, “Understanding intrasexual competition and sexual selection requires an evolutionary ecology framework,” Behavioral Ecology, vol. 22, no. 6. Oxford University Press, pp. 1143–1144, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 8025 | OA
A. R. Woodruff, L. M. McGarry, T. P. Vogels, M. Inan, S. A. Anderson, and R. Yuste, “State-dependent function of neocortical chandelier cells,” Journal of Neuroscience, vol. 31, no. 49. Society for Neuroscience, pp. 17872–17886, 2011.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 8074
T. P. Vogels, H. Sprekeler, F. Zenke, C. Clopath, and W. Gerstner, “Inhibitory plasticity balances excitation and inhibition in sensory pathways and memory networks,” Science, vol. 334, no. 6062. American Association for the Advancement of Science, pp. 1569–1573, 2011.
View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 8469
P. Schanda, B. H. Meier, and M. Ernst, “Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR,” Journal of Magnetic Resonance, vol. 210, no. 2. Elsevier, pp. 246–259, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 8470
M. Huber et al., “A proton-detected 4D solid-state NMR experiment for protein structure determination,” ChemPhysChem, vol. 12, no. 5. Wiley, pp. 915–918, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 8464
P. Schanda, M. Huber, J. Boisbouvier, B. H. Meier, and M. Ernst, “Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion,” Angewandte Chemie International Edition, vol. 50, no. 46. Wiley, pp. 11005–11009, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 8468
D. Lalli et al., “Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins,” Journal of Biomolecular NMR, vol. 51, no. 4. Springer Nature, pp. 477–485, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 890
E. Koblik et al., “Acrocephalus orinus: A case of Mistaken identity,” PLoS One, vol. 6, no. 4. Public Library of Science, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 90
A. P. Higginbotham, A. Guillen, N. Jones, T. Donnelly, and A. Bernoff, “Evidence of the harmonic Faraday instability in ultrasonic atomization experiments with a deep, inviscid fluid,” Journal of the Acoustical Society of America, vol. 130, no. 5. Acoustical Society of America, pp. 2694–2699, 2011.
View | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 9144 | OA
C. J. Muller, P. A. O’Gorman, and L. E. Back, “Intensification of precipitation extremes with warming in a cloud-resolving model,” Journal of Climate, vol. 24, no. 11. American Meteorological Society, pp. 2784–2800, 2011.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 9143
C. J. Muller and P. A. O’Gorman, “An energetic perspective on the regional response of precipitation to climate change,” Nature Climate Change, vol. 1, no. 5. Springer Nature, pp. 266–271, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 923 | OA
S. Fré et al., “Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice,” PLoS One, vol. 6, no. 10. Public Library of Science, 2011.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

year=2011

Search

Filter Publications