Please note that IST 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.

6062 Publications


2014 | Journal Article | IST-REx-ID: 7304
Kwabi, D.G., N. Ortiz-Vitoriano, Stefan Alexander Freunberger, Y. Chen, N. Imanishi, P.G. Bruce, and Y. Shao-Horn. “Materials Challenges in Rechargeable Lithium-Air Batteries.” MRS Bulletin 39, no. 5 (2014): 443–52. https://doi.org/10.1557/mrs.2014.87.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7305
Johnson, Lee, Chunmei Li, Zheng Liu, Yuhui Chen, Stefan Alexander Freunberger, Praveen C. Ashok, Bavishna B. Praveen, Kishan Dholakia, Jean-Marie Tarascon, and Peter G. Bruce. “The Role of LiO2 Solubility in O2 Reduction in Aprotic Solvents and Its Consequences for Li–O2 Batteries.” Nature Chemistry 6, no. 12 (2014): 1091–99. https://doi.org/10.1038/nchem.2101.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7361
Lebar, Tina, Urban Bezeljak, Anja Golob, Miha Jerala, Lucija Kadunc, Boštjan Pirš, Martin Stražar, et al. “A Bistable Genetic Switch Based on Designable DNA-Binding Domains.” Nature Communications 5, no. 1 (2014): 5007. https://doi.org/10.1038/ncomms6007.
View | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 7455
Costanzo, Tommaso, Federico Benzi, Paolo Ghigna, Sonia Pin, Giorgio Spinolo, and Francesco d’Acapito. “Studying the Surface Reaction between NiO and Al2O3viatotal Reflection EXAFS (ReflEXAFS).” Journal of Synchrotron Radiation 21, no. 2 (2014): 395–400. https://doi.org/10.1107/s1600577513031299.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7598 | OA
Tan, Shutang, and Hong-Wei Xue. “Casein Kinase 1 Regulates Ethylene Synthesis by Phosphorylating and Promoting the Turnover of ACS5.” Cell Reports 9, no. 5 (2014): 1692–1702. https://doi.org/10.1016/j.celrep.2014.10.047.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7699
Sweeney, Lora Beatrice Jaeger, and Darcy B Kelley. “Harnessing Vocal Patterns for Social Communication.” Current Opinion in Neurobiology 28, no. 10 (2014): 34–41. https://doi.org/10.1016/j.conb.2014.06.006.
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 7743
Robinson, Matthew Richard, and Anna Qvarnström. “Influence of the Environment on the Genetic Architecture of Traits Involved in Sexual Selection within Wild Populations.” In Genotype-by-Environment Interactions and Sexual Selection, edited by John Hunt and David Hosken, 137–68. Chichester, UK: Wiley, 2014. https://doi.org/10.1002/9781118912591.ch6.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7744
Robinson, Matthew Richard, Naomi R. Wray, and Peter M. Visscher. “Explaining Additional Genetic Variation in Complex Traits.” Trends in Genetics 30, no. 4 (2014): 124–32. https://doi.org/10.1016/j.tig.2014.02.003.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7768
Lohr, Matthew A., Tim Still, Raman Ganti, Matthew D. Gratale, Zoey S. Davidson, Kevin B. Aptowicz, Carl Peter Goodrich, Daniel M. Sussman, and A. G. Yodh. “Vibrational and Structural Signatures of the Crossover between Dense Glassy and Sparse Gel-like Attractive Colloidal Packings.” Physical Review E 90, no. 6 (2014): 062305. https://doi.org/10.1103/physreve.90.062305.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7769
Goodrich, Carl Peter, Simon Dagois-Bohy, Brian P. Tighe, Martin van Hecke, Andrea J. Liu, and Sidney R. Nagel. “Jamming in Finite Systems: Stability, Anisotropy, Fluctuations, and Scaling.” Physical Review E 90, no. 2 (2014): 022138. https://doi.org/10.1103/physreve.90.022138.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7770
Goodrich, Carl Peter, Andrea J. Liu, and Sidney R. Nagel. “Contact Nonlinearities and Linear Response in Jammed Particulate Packings.” Physical Review E 90, no. 2 (2014): 022201. https://doi.org/10.1103/physreve.90.022201.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7771 | OA
Goodrich, Carl Peter, Andrea J. Liu, and Sidney R. Nagel. “Comment on ‘Repulsive Contact Interactions Make Jammed Particulate Systems Inherently Nonharmonic.’” Physical Review Letters 112, no. 4 (2014): 049801. https://doi.org/10.1103/physrevlett.112.049801.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 7772
Still, Tim, Carl Peter Goodrich, Ke Chen, Peter J. Yunker, Samuel Schoenholz, Andrea J. Liu, and A. G. Yodh. “Phonon Dispersion and Elastic Moduli of Two-Dimensional Disordered Colloidal Packings of Soft Particles with Frictional Interactions.” Physical Review E 89, no. 1 (2014): 012301. https://doi.org/10.1103/physreve.89.012301.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7773
Goodrich, Carl Peter, Andrea J. Liu, and Sidney R. Nagel. “Solids between the Mechanical Extremes of Order and Disorder.” Nature Physics 10, no. 8 (2014): 578–81. https://doi.org/10.1038/nphys3006.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 451 | OA
Pilarczyk, Pawel, and Pedro Real. “Computation of Cubical Homology, Cohomology, and (Co)Homological Operations via Chain Contraction.” Advances in Computational Mathematics 41, no. 1 (2014): 253–75. https://doi.org/10.1007/s10444-014-9356-1.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 468 | OA
Cimadom, Arno, Angel Ulloa, Patrick Meidl, Markus Zöttl, Elisabet Zöttl, Birgit Fessl, Erwin Nemeth, Michael Dvorak, Francesca Cunninghame, and Sabine Tebbich. “Invasive Parasites Habitat Change and Heavy Rainfall Reduce Breeding Success in Darwin’s Finches.” PLoS One 9, no. 9 (2014). https://doi.org/10.1371/journal.pone.0107518.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 475 | OA
Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.” In Electronic Proceedings in Theoretical Computer Science, EPTCS, 146:83–90. Open Publishing Association, 2014. https://doi.org/10.4204/EPTCS.146.11.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 535 | OA
Chatterjee, Krishnendu, Monika Henzinger, Sebastian Krinninger, and Danupon Nanongkai. “Polynomial Time Algorithms for Energy Games with Special Weight Structures.” Algorithmica 70, no. 3 (2014): 457–92. https://doi.org/10.1007/s00453-013-9843-7.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 537 | OA
Prizak, Roshan, Thomas Ezard, and Rebecca Hoyle. “Fitness Consequences of Maternal and Grandmaternal Effects.” Ecology and Evolution 4, no. 15 (2014): 3139–45. https://doi.org/10.1002/ece3.1150.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5411 | OA
Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. Compositional Specifications for IOCO Testing. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-148-v2-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5412 | OA
Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v2-2.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v3-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-170-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5416 | OA
Henzinger, Thomas A, and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-171-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5417 | OA
Henzinger, Thomas A, and Jan Otop. From Model Checking to Model Measuring. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-172-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5418 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Games with a Weak Adversary. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-176-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5419 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-187-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-191-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5421 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolution on Graphs. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-190-v2-2.
View | Files available | DOI
 

2014 | Report | IST-REx-ID: 5422 | OA
Porsche, Jana. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5423 | OA
Chatterjee, Krishnendu, Alexander Kössler, Andreas Pavlogiannis, and Ulrich Schmid. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-300-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5424 | OA
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-305-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5425 | OA
Anonymous, 1, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria, 2014.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5426 | OA
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-305-v2-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5427 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-314-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5428 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Yaron Velner. Quantitative Fair Simulation Games. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-315-v1-1.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 5810
Biswas, Ranita, and Partha Bhowmick. “On Finding Spherical Geodesic Paths and Circles in ℤ3.” Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2014. https://doi.org/10.1007/978-3-319-09955-2_33.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 5813 | OA
Dereziński, Jan, and Marcin M Napiórkowski. “Excitation Spectrum of Interacting Bosons in the Mean-Field Infinite-Volume Limit.” Annales Henri Poincaré 15, no. 12 (2014): 2409–39. https://doi.org/10.1007/s00023-013-0302-4.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 589 | OA
Lee, Jongmin, Geert Vrijsen, Igor Teper, Onur Hosten, and Mark Kasevich. “Many-Atom-Cavity QED System with Homogeneous Atom-Cavity Coupling.” Optics Letters 39, no. 13 (2014): 4005–8. https://doi.org/10.1364/OL.39.004005.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 6122 | OA
Linneweber, Gerit A., Jake Jacobson, Karl Emanuel Busch, Bruno Hudry, Christo P. Christov, Dirk Dormann, Michaela Yuan, et al. “Neuronal Control of Metabolism through Nutrient-Dependent Modulation of Tracheal Branching.” Cell 156, no. 1–2 (2014): 69–83. https://doi.org/10.1016/j.cell.2013.12.008.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6124 | OA
Chen, Changchun, Eisuke Itakura, Katherine P. Weber, Ramanujan S. Hegde, and Mario de Bono. “An ER Complex of ODR-4 and ODR-8/Ufm1 Specific Protease 2 Promotes GPCR Maturation by a Ufm1-Independent Mechanism.” PLoS Genetics 10, no. 3 (2014). https://doi.org/10.1371/journal.pgen.1004082.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6126 | OA
Gross, E., Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, and Mario de Bono. “GLOBIN-5-Dependent O2 Responses Are Regulated by PDL-1/PrBP That Targets Prenylated Soluble Guanylate Cyclases to Dendritic Endings.” Journal of Neuroscience 34, no. 50 (2014): 16726–38. https://doi.org/10.1523/jneurosci.5368-13.2014.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Book Chapter | IST-REx-ID: 6178
Smutny, Michael, Martin Behrndt, Pedro Campinho, Verena Ruprecht, and Carl-Philipp J Heisenberg. “UV Laser Ablation to Measure Cell and Tissue-Generated Forces in the Zebrafish Embryo in Vivo and Ex Vivo.” In Tissue Morphogenesis, edited by Celeste Nelson, 1189:219–35. Methods in Molecular Biology. New York, NY: Springer, 2014. https://doi.org/10.1007/978-1-4939-1164-6_15.
View | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2699 | OA
Erdös, László, Paul Bourgade, and Horng Yau. “Universality of General β-Ensembles.” Duke Mathematical Journal 163, no. 6 (2014): 1127–90. https://doi.org/10.1215/00127094-2649752.
View | DOI | Download Preprint (ext.)
 

2014 | Journal Article | IST-REx-ID: 2716 | OA
Chatterjee, Krishnendu, Mickael Randour, and Jean Raskin. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” Acta Informatica 51, no. 3–4 (2014): 129–63. https://doi.org/10.1007/s00236-013-0182-6.
View | DOI | Download Preprint (ext.)
 

2014 | Journal Article | IST-REx-ID: 2852
Fischlin, Marc, Anja Lehmann, and Krzysztof Z Pietrzak. “Robust Multi-Property Combiners for Hash Functions.” Journal of Cryptology 27, no. 3 (2014): 397–428. https://doi.org/10.1007/s00145-013-9148-7.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2905 | OA
Edelsbrunner, Herbert, and Dmitriy Morozovy. “Persistent Homology: Theory and Practice,” 31–50. European Mathematical Society Publishing House, 2014. https://doi.org/10.4171/120-1/3.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 6319 | OA
Bretèche, Régis de la, and Timothy D Browning. “Contre-Exemples Au Principe de Hasse Pour Certains Tores Coflasques.” Journal de Théorie Des Nombres de Bordeaux 26, no. 1 (2014): 25–44. https://doi.org/10.5802/jtnb.857.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 6739 | OA
Mondelli, Marco, Hamed Hassani, and Rudiger Urbanke. “From Polar to Reed-Muller Codes: A Technique to Improve the Finite-Length Performance.” IEEE Transactions on Communications 62, no. 9 (2014): 3084–91. https://doi.org/10.1109/tcomm.2014.2345069.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 6740 | OA
Mondelli, Marco, Rudiger Urbanke, and Hamed Hassani. “How to Achieve the Capacity of Asymmetric Channels.” In 52nd Annual Allerton Conference on Communication, Control, and Computing, 789–96. IEEE, 2014. https://doi.org/10.1109/allerton.2014.7028535.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 6744
Mondelli, Marco, Qi Zhou, Vincenzo Lottici, and Xiaoli Ma. “Joint Power Allocation and Path Selection for Multi-Hop Noncoherent Decode and Forward UWB Communications.” IEEE Transactions on Wireless Communications 13, no. 3 (2014): 1397–1409. https://doi.org/10.1109/twc.2014.020914.130669.
View | DOI
 

2014 | Book | IST-REx-ID: 6853
Edelsbrunner, Herbert. A Short Course in Computational Geometry and Topology. SpringerBriefs in Mathematical Methods. Cham: Springer International Publishing, 2014. https://doi.org/10.1007/978-3-319-05957-0.
View | Files available | DOI
 

2014 | Working Paper | IST-REx-ID: 7038 | OA
Huszár, Kristóf, and Michal Rolinek. Playful Math - An Introduction to Mathematical Games. IST Austria, n.d.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 7071 | OA
Modic, Kimberly A, Tess E. Smidt, Itamar Kimchi, Nicholas P. Breznay, Alun Biffin, Sungkyun Choi, Roger D. Johnson, et al. “Realization of a Three-Dimensional Spin–Anisotropic Harmonic Honeycomb Iridate.” Nature Communications 5 (2014). https://doi.org/10.1038/ncomms5203.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7072
Lancaster, T., P. A. Goddard, S. J. Blundell, F. R. Foronda, S. Ghannadzadeh, J. S. Möller, P. J. Baker, et al. “Controlling Magnetic Order and Quantum Disorder in Molecule-Based Magnets.” Physical Review Letters 112, no. 20 (2014). https://doi.org/10.1103/physrevlett.112.207201.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1629 | OA
Guerrero, Paul, Stefan Jeschke, Michael Wimmer, and Peter Wonka. “Edit Propagation Using Geometric Relationship Functions.” ACM Transactions on Graphics 33, no. 2 (2014). https://doi.org/10.1145/2591010.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1643 | OA
Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” In SCN 2014, edited by Michel Abdalla and Roberto De Prisco, 8642:95–114. Springer, 2014. https://doi.org/10.1007/978-3-319-10879-7_7.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1702 | OA
Gupta, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Generalised Interpolation by Solving Recursion Free-Horn Clauses.” In Electronic Proceedings in Theoretical Computer Science, EPTCS, 169:31–38. Open Publishing, 2014. https://doi.org/10.4204/EPTCS.169.5.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1708
Savin, Cristina, and Sophie Denève. “Spatio-Temporal Representations of Uncertainty in Spiking Neural Networks,” 3:2024–32. Neural Information Processing Systems, 2014.
View | Download None (ext.)
 

2014 | Journal Article | IST-REx-ID: 1733 | OA
Cerny, Pavol, Martin Chmelik, Thomas A Henzinger, and Arjun Radhakrishna. “Interface Simulation Distances.” Theoretical Computer Science 560, no. 3 (2014): 348–63. https://doi.org/10.1016/j.tcs.2014.08.019.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1761 | OA
Mongillo, Massimo, Panayotis Spathis, Georgios Katsaros, Silvano De Franceschi, Pascal Gentile, Riccardo Rurali, and Xavier Cartoixà. “PtSi Clustering in Silicon Probed by Transport Spectroscopy.” Physical Review X 3, no. 4 (2014). https://doi.org/10.1103/PhysRevX.3.041025.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1791
Baek, Seungtae, Géraldine Kerjan, Stephanie Bielas, Jieun Lee, Ali Fenstermaker, Gaia Novarino, and Joseph Gleeson. “Off-Target Effect of Doublecortin Family ShRNA on Neuronal Migration Associated with Endogenous MicroRNA Dysregulation.” Neuron 82, no. 6 (2014): 1255–62. https://doi.org/10.1016/j.neuron.2014.04.036.
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 1806
Baster, Pawel, and Jiří Friml. “Auxin on the Road Navigated by Cellular PIN Polarity.” In Auxin and Its Role in Plant Development, edited by Eva Zažímalová, Jan Petrášek, and Eva Benková, 143–70. Springer, 2014. https://doi.org/10.1007/978-3-7091-1526-8_8.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1816 | OA
Huber, Stefan, Martin Held, Peter Meerwald, and Roland Kwitt. “Topology-Preserving Watermarking of Vector Graphics.” International Journal of Computational Geometry and Applications 24, no. 1 (2014): 61–86. https://doi.org/10.1142/S0218195914500034.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1821 | OA
Seiringer, Robert. “Bose Gases, Bose-Einstein Condensation, and the Bogoliubov Approximation.” Journal of Mathematical Physics 55, no. 7 (2014). https://doi.org/10.1063/1.4881536.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1822
Jakšić, Vojkan, Claude Pillet, and Robert Seiringer. “Introduction.” Journal of Mathematical Physics 55, no. 7 (2014). https://doi.org/10.1063/1.4884877.
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 1829
Muelling, Katharina, Oliver Kroemer, Christoph Lampert, and Bernhard Schölkopf. “Movement Templates for Learning of Hitting and Batting.” In Learning Motor Skills, edited by Jens Kober and Jan Peters, 97:69–82. From Algorithms to Robot Experiments. Springer, 2014. https://doi.org/10.1007/978-3-319-03194-1_3.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1842 | OA
Cibulka, Josef, Pu Gao, Marek Krcál, Tomáš Valla, and Pavel Valtr. “On the Geometric Ramsey Number of Outerplanar Graphs.” Discrete & Computational Geometry 53, no. 1 (2014): 64–79. https://doi.org/10.1007/s00454-014-9646-x.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1844 | OA
Risso, Valeria, Fadia Manssour Triedo, Asuncion Delgado Delgado, Rocio Arco, Alicia Barroso Deljesús, Álvaro Inglés Prieto, Raquel Godoy Ruiz, et al. “Mutational Studies on Resurrected Ancestral Proteins Reveal Conservation of Site-Specific Amino Acid Preferences throughout Evolutionary History.” Molecular Biology and Evolution 32, no. 2 (2014): 440–55. https://doi.org/10.1093/molbev/msu312.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1852 | OA
Sassi, Massimiliano, Olivier Ali, Frédéric Boudon, Gladys Cloarec, Ursula Abad, Coralie Cellier, Xu Chen, et al. “An Auxin-Mediated Shift toward Growth Isotropy Promotes Organ Formation at the Shoot Meristem in Arabidopsis.” Current Biology 24, no. 19 (2014): 2335–42. https://doi.org/10.1016/j.cub.2014.08.036.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1853
Jha, Susmit, Stavros Tripakis, Sanjit Seshia, and Krishnendu Chatterjee. “Game Theoretic Secure Localization in Wireless Sensor Networks,” 85–90. IEEE, 2014. https://doi.org/10.1109/IOT.2014.7030120.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1854 | OA
Guerrero, Paul, Thomas Auzinger, Michael Wimmer, and Stefan Jeschke. “Partial Shape Matching Using Transformation Parameter Similarity.” Computer Graphics Forum 34, no. 1 (2014): 239–52. https://doi.org/10.1111/cgf.12509.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1862 | OA
Chen, Xu, Laurie Grandont, Hongjiang Li, Robert Hauschild, Sébastien Paque, Anas Abuzeineh, Hana Rakusová, Eva Benková, Catherine Perrot Rechenmann, and Jirí Friml. “Inhibition of Cell Expansion by Rapid ABP1-Mediated Auxin Effect on Microtubules.” Nature 516, no. 729 (2014): 90–93. https://doi.org/10.1038/nature13889.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1869
Hofferek, Georg, and Ashutosh Gupta. “Suraq - a Controller Synthesis Tool Using Uninterpreted Functions.” In HVC 2014, edited by Eran Yahav, 8855:68–74. Springer, 2014. https://doi.org/10.1007/978-3-319-13338-6_6.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1870 | OA
Henzinger, Thomas A, Jan Otop, and Roopsha Samanta. “Lipschitz Robustness of Finite-State Transducers.” In Leibniz International Proceedings in Informatics, LIPIcs, 29:431–43. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1872 | OA
Gupta, Ashutosh, Laura Kovács, Bernhard Kragl, and Andrei Voronkov. “Extensional Crisis and Proving Identity.” In ATVA 2014, edited by Franck Cassez and Jean-François Raskin, 8837:185–200. Springer, 2014. https://doi.org/10.1007/978-3-319-11936-6_14.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1875 | OA
Samanta, Roopsha, Oswaldo Olivo, and Emerson Allen. “Cost-Aware Automatic Program Repair.” edited by Markus Müller-Olm and Helmut Seidl, 8723:268–84. Springer, 2014. https://doi.org/10.1007/978-3-319-10936-7_17.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1876 | OA
Dolbilin, Nikolai, Herbert Edelsbrunner, Alexey Glazyrin, and Oleg Musin. “Functionals on Triangulations of Delaunay Sets.” Moscow Mathematical Journal 14, no. 3 (2014): 491–504.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1877
Sixt, Michael K, and Kari Vaahtomeri. “Physiology: Relax and Come In.” Nature 514, no. 7523 (2014): 441–42. https://doi.org/10.1038/514441a.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1884
Landau, Dan, Chip Stewart, Johannes Reiter, Michael Lawrence, Carrie Sougnez, Jennifer Brown, Armando Lopez Guillermo, et al. “Novel Putative Driver Gene Mutations in Chronic Lymphocytic Leukemia (CLL): Results from a Combined Analysis of Whole Exome Sequencing of 262 Primary CLL Aamples.” Blood 124, no. 21 (2014): 1952–1952.
View | Download None (ext.)
 

2014 | Journal Article | IST-REx-ID: 1886 | OA
Hermundstad, Ann, John Briguglio, Mary Conte, Jonathan Victor, Vijay Balasubramanian, and Gašper Tkačik. “Variance Predicts Salience in Central Sensory Processing.” ELife, no. November (2014). https://doi.org/10.7554/eLife.03722.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1887
Cremer, Sylvia. “Gemeinsame Krankheitsabwehr in Ameisengesellschaften.” Zoologie, 2014, 23–30.
View | Download None (ext.)
 

2014 | Book Chapter | IST-REx-ID: 1888
Cremer, Sylvia. “Soziale Immunität: Wie Sich Der Staat Gegen Pathogene Wehrt  Bayerische Akademie Der Wissenschaften.” In Soziale Insekten in Einer Sich Wandelnden Welt, 43:65–72. Pfeil, 2014.
View
 

2014 | Journal Article | IST-REx-ID: 1889 | OA
Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “Translation-Invariant Quasi-Free States for Fermionic Systems and the BCS Approximation.” Reviews in Mathematical Physics 26, no. 7 (2014). https://doi.org/10.1142/S0129055X14500123.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1890 | OA
Körner, Christof, Verena Braunstein, Matthias Stangl, Alois Schlögl, Christa Neuper, and Anja Ischebeck. “Sequential Effects in Continued Visual Search: Using Fixation-Related Potentials to Compare Distractor Processing before and after Target Detection.” Psychophysiology 51, no. 4 (2014): 385–95. https://doi.org/10.1111/psyp.12062.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1891
Chwastyk, Mateusz, Albert Galera Prat, Mateusz K Sikora, Àngel Gómez Sicilia, Mariano Carrión Vázquez, and Marek Cieplak. “Theoretical Tests of the Mechanical Protection Strategy in Protein Nanomechanics.” Proteins: Structure, Function and Bioinformatics 82, no. 5 (2014): 717–26. https://doi.org/10.1002/prot.24436.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1892 | OA
Ocana, Sabine, Patrick Meidl, Danielle Bonfils, and Michael Taborsky. “Y-Linked Mendelian Inheritance of Giant and Dwarf Male Morphs in Shell-Brooding Cichlids.” Proceedings of the Royal Society of London Series B Biological Sciences 281, no. 1794 (2014). https://doi.org/10.1098/rspb.2014.0253.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893 | OA
Nováková, Petra, Sibylle Hirsch, Elena Feraru, Ricardo Tejos, Ringo Van Wijk, Tom Viaene, Mareike Heilmann, et al. “SAC Phosphoinositide Phosphatases at the Tonoplast Mediate Vacuolar Function in Arabidopsis.” PNAS 111, no. 7 (2014): 2818–23. https://doi.org/10.1073/pnas.1324264111.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1894 | OA
Grabowska, Anna, Ewa Wywiał, Stanislaw Dunin Horkawicz, Anna Łasica, Marc Wösten, Anna A Nagy-Staron, Renata Godlewska, et al. “Functional and Bioinformatics Analysis of Two Campylobacter Jejuni Homologs of the Thiol-Disulfide Oxidoreductase, DsbA.” PLoS One 9, no. 9 (2014). https://doi.org/10.1371/journal.pone.0106247.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1895 | OA
Edamura, Mitsuhiro, Gen Murakami, Hongrui Meng, Makoto Itakura, Ryuichi Shigemoto, Atsuo Fukuda, and Daiichiro Nakahara. “Functional Deficiency of MHC Class i Enhances LTP and Abolishes LTD in the Nucleus Accumbens of Mice.” PLoS One 9, no. 9 (2014). https://doi.org/10.1371/journal.pone.0107099.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1896 | OA
Kollár, Richard, Katarína Bod’ová, Jozef Nosek, and Ľubomír Tomáška. “Mathematical Model of Alternative Mechanism of Telomere Length Maintenance.” Physical Review E Statistical Nonlinear and Soft Matter Physics 89, no. 3 (2014). https://doi.org/10.1103/PhysRevE.89.032701.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1897 | OA
Naramoto, Satoshi, Marisa Otegui, Natsumaro Kutsuna, Riet De Rycke, Tomoko Dainobu, Michael Karampelias, Masaru Fujimoto, et al. “Insights into the Localization and Function of the Membrane Trafficking Regulator GNOM ARF-GEF at the Golgi Apparatus in Arabidopsis.” Plant Cell 26, no. 7 (2014): 3062–76. https://doi.org/10.1105/tpc.114.125880.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1898
Ritzau Jost, Andreas, Igor Delvendahl, Annika Rings, Niklas Byczkowicz, Harumi Harada, Ryuichi Shigemoto, Johannes Hirrlinger, Jens Eilers, and Stefan Hallermann. “Ultrafast Action Potentials Mediate Kilohertz Signaling at a Central Synapse.” Neuron 84, no. 1 (2014): 152–63. https://doi.org/10.1016/j.neuron.2014.08.036.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1899 | OA
Williams, Scott, Lyndsay Ratliff, Maria P Postiglione, Juergen Knoblich, and Elaine Fuchs. “Par3-MInsc and Gα I3 Cooperate to Promote Oriented Epidermal Cell Divisions through LGN.” Nature Cell Biology 16, no. 8 (2014): 758–69. https://doi.org/10.1038/ncb3001.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1900
Behrndt, Martin, and Carl-Philipp J Heisenberg. “Lateral Junction Dynamics Lead the Way Out.” Nature Cell Biology 16, no. 2 (2014): 127–29. https://doi.org/10.1038/ncb2913.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1901
Tian, Huiyu, Krzysztof T Wabnik, Tiantian Niu, Hongjiang Li, Qianqian Yu, Stephan Pollmann, Steffen Vanneste, et al. “WOX5-IAA17 Feedback Circuit-Mediated Cellular Auxin Response Is Crucial for the Patterning of Root Stem Cell Niches in Arabidopsis.” Molecular Plant 7, no. 2 (2014): 277–89. https://doi.org/10.1093/mp/sst118.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1902
Hall, Barry, Hande Acar, Anna Nandipati, and Miriam Barlow. “Growth Rates Made Easy.” Molecular Biology and Evolution 31, no. 1 (2014): 232–38. https://doi.org/10.1093/molbev/mst187.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1903
Chatterjee, Krishnendu. “Partial-Observation Stochastic Reachability and Parity Games,” 8634:1–4. Springer, 2014. https://doi.org/10.1007/978-3-662-44522-8_1.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1904 | OA
Frank, Rupert, Mathieu Lewin, Élliott Lieb, and Robert Seiringer. “Strichartz Inequality for Orthonormal Functions.” Journal of the European Mathematical Society 16, no. 7 (2014): 1507–26. https://doi.org/10.4171/JEMS/467.
View | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications