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.

6487 Publications


2014 | Conference Paper | IST-REx-ID: 2173 | OA
Khamis, Sameh, and Christoph Lampert. “CoConut: Co-Classification with Output Space Regularization.” In Proceedings of the British Machine Vision Conference 2014. BMVA Press, 2014.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 2174 | OA
De Vladar, Harold, and Nicholas H Barton. “Stability and Response of Polygenic Traits to Stabilizing Selection and Mutation.” Genetics. Genetics Society of America, 2014. https://doi.org/10.1534/genetics.113.159111.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2175 | OA
Postiglione, Maria P, and Simon Hippenmeyer. “Monitoring Neurogenesis in the Cerebral Cortex: An Update.” Future Neurology. Future Medicine Ltd., 2014. https://doi.org/10.2217/fnl.14.18.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2176
Studer, Daniel, Shanting Zhao, Xuejun Chai, Peter M Jonas, Werner Graber, Sigrun Nestel, and Michael Frotscher. “Capture of Activity-Induced Ultrastructural Changes at Synapses by High-Pressure Freezing of Brain Tissue.” Nature Protocols. Nature Publishing Group, 2014. https://doi.org/10.1038/nprot.2014.099.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2177
Edelsbrunner, Herbert, and Salman Parsa. “On the Computational Complexity of Betti Numbers Reductions from Matrix Rank.” In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, 152–60. SIAM, 2014. https://doi.org/10.1137/1.9781611973402.11.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2178 | OA
Haws, David, Abraham Martin del Campo Sanchez, Akimichi Takemura, and Ruriko Yoshida. “Markov Degree of the Three-State Toric Homogeneous Markov Chain Model.” Beitrage Zur Algebra Und Geometrie. Springer, 2014. https://doi.org/10.1007/s13366-013-0178-y.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2179 | OA
Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Local Semicircle Law with Imprimitive Variance Matrix.” Electronic Communications in Probability. Institute of Mathematical Statistics, 2014. https://doi.org/10.1214/ECP.v19-3121.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2180 | OA
Bellet, Aurélien, Amaury Habrard, Emilie Morvant, and Marc Sebban. “Learning a Priori Constrained Weighted Majority Votes.” Machine Learning. Springer, 2014. https://doi.org/10.1007/s10994-014-5462-z.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2183 | OA
Botella Soler, Vicente, and Paul Glendinning. “Hierarchy and Polysynchrony in an Adaptive Network .” Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2014. https://doi.org/10.1103/PhysRevE.89.062809.
View | DOI | Download Preprint (ext.)
 

2014 | Journal Article | IST-REx-ID: 2184 | OA
Čadek, Martin, Marek Krcál, Jiří Matoušek, Francis Sergeraert, Lukáš Vokřínek, and Uli Wagner. “Computing All Maps into a Sphere.” Journal of the ACM. ACM, 2014. https://doi.org/10.1145/2597629.
View | DOI | Download Preprint (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2185 | OA
Dodis, Yevgeniy, Krzysztof Z Pietrzak, and Daniel Wichs. “Key Derivation without Entropy Waste.” edited by Phong Nguyen and Elisabeth Oswald, 8441:93–110. Springer, 2014. https://doi.org/10.1007/978-3-642-55220-5_6.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2186 | OA
Chen, Thomas, Christian Hainzl, Nataša Pavlović, and Robert Seiringer. “On the Well-Posedness and Scattering for the Gross-Pitaevskii Hierarchy via Quantum de Finetti.” Letters in Mathematical Physics. Springer, 2014. https://doi.org/10.1007/s11005-014-0693-2.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2187 | OA
Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, and Robert Könighofer. “Synthesizing Robust Systems.” Acta Informatica. Springer, 2014. https://doi.org/10.1007/s00236-013-0191-5.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2188 | OA
Kania, Urszula, Matyas Fendrych, and Jiří Friml. “Polar Delivery in Plants; Commonalities and Differences to Animal Epithelial Cells.” Open Biology. Royal Society, 2014. https://doi.org/10.1098/rsob.140017.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2189 | OA
Morvant, Emilie. “Adaptation de Domaine de Vote de Majorité Par Auto-Étiquetage Non Itératif,” 1:49–58. Elsevier, 2014.
View | Download Preprint (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2190 | OA
Esparza, Javier, and Jan Kretinsky. “From LTL to Deterministic Automata: A Safraless Compositional Approach,” 8559:192–208. Springer, 2014. https://doi.org/10.1007/978-3-319-08867-9_13.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2208 | OA
Lahrz, Martin, Mikhail Lemeshko, Klaus Sengstock, Christoph Becker, and Ludwig Mathey. “Detecting Quadrupole Interactions in Ultracold Fermi Gases.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2014. https://doi.org/10.1103/PhysRevA.89.043616.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2211 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” ACM Transactions on Computational Logic (TOCL). ACM, 2014. https://doi.org/10.1145/2579821.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2212
Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Youssouf Oualhadj. “Perfect-Information Stochastic Mean-Payoff Parity Games,” 8412:210–25. Springer, 2014. https://doi.org/10.1007/978-3-642-54830-7_14.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2213 | OA
Chatterjee, Krishnendu, Laurent Doyen, Sumit Nain, and Moshe Vardi. “The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies,” 8412:242–57. Springer, 2014. https://doi.org/10.1007/978-3-642-54830-7_16.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2214 | OA
Stoler Barak, Liat, Christine Moussion, Elias Shezen, Miki Hatzav, Michael K Sixt, and Ronen Alon. “Blood Vessels Pattern Heparan Sulfate Gradients between Their Apical and Basolateral Aspects.” PLoS One. Public Library of Science, 2014. https://doi.org/10.1371/journal.pone.0085699.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2215
Renkawitz, Jörg, Claudio Lademann, and Stefan Jentsch. “Mechanisms and Principles of Homology Search during Recombination.” Nature Reviews Molecular Cell Biology. Nature Publishing Group, 2014. https://doi.org/10.1038/nrm3805.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2216 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Ritankar Majumdar. “Edit Distance for Timed Automata,” 303–12. Springer, 2014. https://doi.org/10.1145/2562059.2562141.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2217
Henzinger, Thomas A, and Jan Otop. “Model Measuring for Hybrid Systems.” In Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, 213–22. Springer, 2014. https://doi.org/10.1145/2562059.2562130.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2219 | OA
Kiltz, Eike, Daniel Masny, and Krzysztof Z Pietrzak. “Simple Chosen-Ciphertext Security from Low Noise LPN,” 8383:1–18. Springer, 2014. https://doi.org/10.1007/978-3-642-54631-0_1.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2220 | OA
Vos, Marjon de, and Mark Tobias Bollenbach. “Suppressive Drug Interactions between Antifungals.” Chemistry and Biology. Cell Press, 2014. https://doi.org/10.1016/j.chembiol.2014.04.004.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2222
Naramoto, Satoshi, Tomasz Nodzyński, Tomoko Dainobu, Hirotomo Takatsuka, Teruyo Okada, Jiří Friml, and Hiroo Fukuda. “VAN4 Encodes a Putative TRS120 That Is Required for Normal Cell Growth and Vein Development in Arabidopsis.” Plant and Cell Physiology. Oxford University Press, 2014. https://doi.org/10.1093/pcp/pcu012.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2223 | OA
Tanaka, Hirokazu, Tomasz Nodzyński, Saeko Kitakura, Mugurel Feraru, Michiko Sasabe, Tomomi Ishikawa, Jürgen Kleine Vehn, Tatsuo Kakimoto, and Jiří Friml. “BEX1/ARF1A1C Is Required for BFA-Sensitive Recycling of PIN Auxin Transporters and Auxin-Mediated Development in Arabidopsis.” Plant and Cell Physiology. Oxford University Press, 2014. https://doi.org/10.1093/pcp/pct196.
View | Files available | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2224
Altmeyer, Sebastian. “On Secondary Instabilities Generating Footbridges between Spiral Vortex Flow.” Fluid Dynamics Research. IOP Publishing Ltd., 2014. https://doi.org/10.1088/0169-5983/46/2/025503.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2225 | OA
Bloemendal, Alex, László Erdös, Antti Knowles, Horng Yau, and Jun Yin. “Isotropic Local Laws for Sample Covariance and Generalized Wigner Matrices.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2014. https://doi.org/10.1214/EJP.v19-3054.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2226 | OA
Shi, Liang, Björn Hof, and Andreas Tilgner. “Transient Growth of Ekman-Couette Flow.” Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2014. https://doi.org/10.1103/PhysRevE.89.013001.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2227
Cires Rodriguez, Eduardo, Matthias Baltisberger, Candela Cuesta, Pablo Vargas, and José Prieto. “Allopolyploid Origin of the Balkan Endemic Ranunculus Wettsteinii (Ranunculaceae) Inferred from Nuclear and Plastid DNA Sequences.” Organisms Diversity and Evolution. Springer, 2014. https://doi.org/10.1007/s13127-013-0150-6.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2228 | OA
Hu, Hua, and Peter M Jonas. “A Supercritical Density of Na^+ Channels Ensures Fast Signaling in GABAergic Interneuron Axons.” Nature Neuroscience. Nature Publishing Group, 2014. https://doi.org/10.1038/nn.3678.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2229 | OA
Vyleta, Nicholas, and Peter M Jonas. “Loose Coupling between Ca^2+ Channels and Release Sensors at a Plastic Hippocampal Synapse.” Science. American Association for the Advancement of Science, 2014. https://doi.org/10.1126/science.1244811.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2230 | OA
Guzmán, José, Alois Schlögl, and Christoph Schmidt Hieber. “Stimfit: Quantifying Electrophysiological Data with Python.” Frontiers in Neuroinformatics. Frontiers Research Foundation, 2014. https://doi.org/10.3389/fninf.2014.00016.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2231 | OA
Rieckh, Georg, and Gašper Tkačik. “Noise and Information Transmission in Promoters with Multiple Internal States.” Biophysical Journal. Biophysical Society, 2014. https://doi.org/10.1016/j.bpj.2014.01.014.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2232 | OA
Song, Baofang, and Björn Hof. “Deterministic and Stochastic Aspects of the Transition to Turbulence.” Journal of Statistical Mechanics Theory and Experiment. IOP Publishing Ltd., 2014. https://doi.org/10.1088/1742-5468/2014/02/P02001.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2233 | OA
Boker, Udi, and Thomas A Henzinger. “Exact and Approximate Determinization of Discounted-Sum Automata.” Logical Methods in Computer Science. International Federation of Computational Logic, 2014. https://doi.org/10.2168/LMCS-10(1:10)2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2234 | OA
Brázdil, Tomáš, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Markov Decision Processes with Multiple Long-Run Average Objectives.” Logical Methods in Computer Science. International Federation of Computational Logic, 2014. https://doi.org/10.2168/LMCS-10(1:13)2014.
View | Files available | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2235 | OA
Fürst, Matthias, Dino Mcmahon, Juliet Osborne, Robert Paxton, and Mark Brown. “Disease Associations between Honeybees and Bumblebees as a Threat to Wild Pollinators.” Nature. Nature Publishing Group, 2014. https://doi.org/10.1038/nature12977.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2236 | OA
Jetchev, Dimitar, and Krzysztof Z Pietrzak. “How to Fake Auxiliary Input.” edited by Yehuda Lindell, 8349:566–90. Springer, 2014. https://doi.org/10.1007/978-3-642-54242-8_24.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2239
Boker, Udi, Thomas A Henzinger, and Arjun Radhakrishna. “Battery Transition Systems,” 49:595–606. ACM, 2014. https://doi.org/10.1145/2535838.2535875.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2240
Gadeyne A, Sánchez Rodríguez C, Vanneste S, Di Rubbo S, Zauber H, Vanneste K, Van Leene J, De Winne N, Eeckhout D, Persiau G, Van De Slijke E, Cannoot B, Vercruysse L, Mayers J, Adamowski M, Kania U, Ehrlich M, Schweighofer A, Ketelaar T, Maere S, Bednarek S, Friml J, Gevaert K, Witters E, Russinova E, Persson S, De Jaeger G, Van Damme D. 2014. The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants. Cell. 156(4), 691–704.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2241
Beppu, Kaoru, Takuya Sasaki, Kenji Tanaka, Akihiro Yamanaka, Yugo Fukazawa, Ryuichi Shigemoto, and Ko Matsui. “Optogenetic Countering of Glial Acidosis Suppresses Glial Glutamate Release and Ischemic Brain Damage.” Neuron. Elsevier, 2014. https://doi.org/10.1016/j.neuron.2013.11.011.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2242
Dueck, Anne, Alexander Eichner, Michael K Sixt, and Gunter Meister. “A MiR-155-Dependent MicroRNA Hierarchy in Dendritic Cell Maturation and Macrophage Activation.” FEBS Letters. Elsevier, 2014. https://doi.org/10.1016/j.febslet.2014.01.009.
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 2245
Simon, Sibu, Petr Skůpa, Petre Dobrev, Jan Petrášek, Eva Zažímalová, and Jiří Friml. “Analyzing the in Vivo Status of Exogenously Applied Auxins: A HPLC-Based Method to Characterize the Intracellularly Localized Auxin Transporters.” In Plant Chemical Genomics, edited by Glenn Hicks and Stéphanie Robert, 1056:255–64. Methods in Molecular Biology. Springer, 2014. https://doi.org/10.1007/978-1-62703-592-7_23.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2246 | OA
Grinshpun, Andrey, Pakawat Phalitnonkiat, Sasha Rubin, and Andrei Tarfulea. “Alternating Traps in Muller and Parity Games.” Theoretical Computer Science. Elsevier, 2014. https://doi.org/10.1016/j.tcs.2013.11.032.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2248
Capek, Daniel, Brian Metscher, and Gerd Müller. “Thumbs down: A Molecular-Morphogenetic Approach to Avian Digit Homology.” Journal of Experimental Zoology Part B: Molecular and Developmental Evolution. Wiley-Blackwell, 2014. https://doi.org/10.1002/jez.b.22545.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2249 | OA
Chen, Yani, Kyaw Aung, Jakub Rolčík, Kathryn Walicki, Jiří Friml, and Federica Brandizzí. “Inter-Regulation of the Unfolded Protein Response and Auxin Signaling.” Plant Journal. Wiley-Blackwell, 2014. https://doi.org/10.1111/tpj.12373.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2250 | OA
Kuchibhatla, Durga, Westley Sherman, Betty Chung, Shelley Cook, Georg Schneider, Birgit Eisenhaber, and David Karlin. “Powerful Sequence Similarity Search Methods and In-Depth Manual Analyses Can Identify Remote Homologs in Many Apparently ‘Orphan’ Viral Proteins.” Journal of Virology. ASM, 2014. https://doi.org/10.1128/JVI.02595-13.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2251 | OA
Csicsvari, Jozsef L, and David Dupret. “Sharp Wave/Ripple Network Oscillations and Learning-Associated Hippocampal Maps.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 2014. https://doi.org/10.1098/rstb.2012.0528.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2252
Phadke, Sujal, Tiago Paixao, Tuan Pham, Stephanie Pham, and Rebecca Zufall. “Genetic Background Alters Dominance Relationships between Mat Alleles in the Ciliate Tetrahymena Thermophila.” Journal of Heredity. Oxford University Press, 2014. https://doi.org/10.1093/jhered/est063.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2253 | OA
Bailly, Aurélien, Bangjun Wang, Marta Zwiewka, Stephan Pollmann, Daniel Schenck, Hartwig Lüthen, Alexander Schulz, Jiří Friml, and Markus Geisler. “Expression of TWISTED DWARF1 Lacking Its In-Plane Membrane Anchor Leads to Increased Cell Elongation and Hypermorphic Growth.” Plant Journal. Wiley-Blackwell, 2014. https://doi.org/10.1111/tpj.12369.
View | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2254 | OA
Pernia-Andrade, Alejandro, and Peter M Jonas. “Theta-Gamma-Modulated Synaptic Currents in Hippocampal Granule Cells in Vivo Define a Mechanism for Network Oscillations.” Neuron. Elsevier, 2014. https://doi.org/10.1016/j.neuron.2013.09.046.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2255 | OA
Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like Shapes.” Journal of Mathematical Imaging and Vision. Springer, 2014. https://doi.org/10.1007/s10851-013-0468-x.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2257 | OA
Tkačik, Gašper, Olivier Marre, Dario Amodei, Elad Schneidman, William Bialek, and Michael Berry. “Searching for Collective Behavior in a Large Network of Sensory Neurons.” PLoS Computational Biology. Public Library of Science, 2014. https://doi.org/10.1371/journal.pcbi.1003408.
View | Files available | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 7300
Aigner, Daniel, Stefan Alexander Freunberger, Martin Wilkening, Robert Saf, Sergey M. Borisov, and Ingo Klimant. “Enhancing Photoinduced Electron Transfer Efficiency of Fluorescent PH-Probes with Halogenated Phenols.” Analytical Chemistry. ACS, 2014. https://doi.org/10.1021/ac502513g.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7301
Li, Chunmei, Olivier Fontaine, Stefan Alexander Freunberger, Lee Johnson, Sylvie Grugeon, Stéphane Laruelle, Peter G. Bruce, and Michel Armand. “Aprotic Li–O2 Battery: Influence of Complexing Agents on Oxygen Reduction in an Aprotic Solvent.” The Journal of Physical Chemistry C. ACS, 2014. https://doi.org/10.1021/jp4093805.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7302
Dunst, A., V. Epp, I. Hanzu, Stefan Alexander Freunberger, and M. Wilkening. “Short-Range Li Diffusion vs. Long-Range Ionic Conduction in Nanocrystalline Lithium Peroxide Li2O2—the Discharge Product in Lithium-Air Batteries.” Energy & Environmental Science. RSC, 2014. https://doi.org/10.1039/c4ee00496e.
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 7303
Freunberger, Stefan Alexander, Yuhui Chen, Fanny Bardé, Kensuke Takechi, Fuminori Mizuno, and Peter G. Bruce. “Nonaqueous Electrolytes.” In The Lithium Air Battery: Fundamentals, edited by Nobuyuki Imanishi, Alan C. Luntz, and Peter Bruce, 23–58. New York, NY: Springer Nature, 2014. https://doi.org/10.1007/978-1-4899-8062-5_2.
View | DOI
 

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. CUP, 2014. 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. Springer Nature, 2014. 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. Springer Nature, 2014. 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. International Union of Crystallography, 2014. 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. Elsevier, 2014. https://doi.org/10.1016/j.celrep.2014.10.047.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 768
Alistarh, Dan-Adrian, James Aspnes, Michael Bender, Rati Gelashvili, and Seth Gilbert. “Dynamic Task Allocation in Asynchronous Shared Memory,” 416–35. SIAM, 2014. https://doi.org/10.1137/1.9781611973402.31.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 769
Alistarh, Dan-Adrian, James Aspnes, Keren Censor Hillel, Seth Gilbert, and Rachid Guerraoui. “Tight Bounds for Asynchronous Renaming.” Journal of the ACM. ACM, 2014. https://doi.org/10.1145/2597630.
View | 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. Elsevier, 2014. https://doi.org/10.1016/j.conb.2014.06.006.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 770
Alistarh, Dan-Adrian, Patrick Eugster, Maurice Herlihy, Alexander Matveev, and Nir Shavit. “StackTrack: An Automated Transactional Approach to Concurrent Memory Reclamation.” ACM, 2014. https://doi.org/10.1145/2592798.2592808.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 771
Alistarh, Dan-Adrian, Oksana Denysyuk, Luís Rodrígues, and Nir Shavit. “Balls-into-Leaves: Sub-Logarithmic Renaming in Synchronous Message-Passing Systems,” 232–41. ACM, 2014. https://doi.org/10.1145/2611462.2611499.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 772 | OA
Alistarh, Dan-Adrian, Keren Censor Hillel, and Nir Shavit. “Are Lock-Free Concurrent Algorithms Practically Wait-Free?,” 714–23. ACM, 2014. https://doi.org/10.1145/2591796.2591836.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 773
Alistarh, Dan-Adrian, James Aspnes, Valerie King, and Jared Saia. “Communication-Efficient Randomized Consensus.” edited by Fabian Kuhn, 8784:61–75. Springer, 2014. https://doi.org/10.1007/978-3-662-45174-8_5.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 774
Alistarh, Dan-Adrian, Keren Censor Hille, and Nir Shavit. “Brief Announcement: Are Lock-Free Concurrent Algorithms Practically Wait-Free?,” 50–52. ACM, 2014. https://doi.org/10.1145/2611462.2611502.
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. Elsevier, 2014. https://doi.org/10.1016/j.tig.2014.02.003.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 775 | OA
Alistarh, Dan-Adrian, Justin Kopinsky, Alexander Matveev, and Nir Shavit. “The Levelarray: A Fast, Practical Long-Lived Renaming Algorithm,” 348–57. IEEE, 2014. https://doi.org/10.1109/ICDCS.2014.43.
View | DOI | Download Preprint (ext.) | arXiv
 

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. American Physical Society, 2014. 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. American Physical Society, 2014. 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. American Physical Society, 2014. 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. American Physical Society, 2014. 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. American Physical Society, 2014. 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. Springer Nature, 2014. https://doi.org/10.1038/nphys3006.
View | DOI
 

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. Public Library of Science, 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. Springer, 2014. 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. Wiley-Blackwell, 2014. 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
 

Search

Filter Publications