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.

295 Publications


2012 | Conference Paper | IST-REx-ID: 2957 | OA
Chatterjee, K., & Tracol, M. (2012). Decidable problems for probabilistic automata on infinite words. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. Dubrovnik, Croatia : IEEE. https://doi.org/10.1109/LICS.2012.29
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3249
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2012). Simulation distances. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2011.08.002
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5396 | OA
Korc, F., Kolmogorov, V., & Lampert, C. (2012). Approximating marginals using discrete energy minimization. IST Austria. https://doi.org/10.15479/AT:IST-2012-0003
View | Files available | DOI
 

2012 | Report | IST-REx-ID: 5398 | OA
Porsche, J. (2012). Actual state of research data @ ISTAustria. IST Austria.
View | Files available
 

2012 | Conference Paper | IST-REx-ID: 3124 | OA
Korc, F., Kolmogorov, V., & Lampert, C. (2012). Approximating marginals using discrete energy minimization. Presented at the ICML: International Conference on Machine Learning, Edinburgh, Scotland: ICML.
View | Files available
 

2012 | Book Chapter | IST-REx-ID: 5745 | OA
Gupta, A. (2012). Improved Single Pass Algorithms for Resolution Proof Reduction. In Automated Technology for Verification and Analysis (Vol. 7561, pp. 107–121). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-33386-6_10
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 5839 | OA
Biswas, R., & Sil, J. (2012). An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets. Procedia Technology. Elsevier. https://doi.org/10.1016/j.protcy.2012.05.134
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 596 | OA
Bernecky, C., & Taatjes, D. (2012). Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2012.02.014
View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 6136 | OA
Busch, K. E., Laurent, P., Soltesz, Z., Murphy, R. J., Faivre, O., Hedwig, B., … de Bono, M. (2012). Tonic signaling from O2 sensors sets neural circuit activity and behavioral state. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/nn.3061
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 6588 | OA
Pausinger, F. (2012). Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. B. Verkin Institute for Low Temperature Physics and Engineering.
View | Download Published Version (ext.) | WoS
 

2012 | Conference Paper | IST-REx-ID: 6746
Mondelli, M., Zhou, Q., Ma, X., & Lottici, V. (2012). A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems. In 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (pp. 2905–2908). Kyoto, Japan: IEEE. https://doi.org/10.1109/icassp.2012.6288524
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7074
Lukas, K. C., Joshi, G., Modic, K. A., Ren, Z. F., & Opeil, C. P. (2012). Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. Springer Nature. https://doi.org/10.1007/s10853-012-6463-6
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7308
Ottakam Thotiyl, M. M., Freunberger, S. A., Peng, Z., & Bruce, P. G. (2012). The carbon electrode in nonaqueous Li–O2 cells. Journal of the American Chemical Society. ACS. https://doi.org/10.1021/ja310258x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7309
Choi, N.-S., Chen, Z., Freunberger, S. A., Ji, X., Sun, Y.-K., Amine, K., … Bruce, P. G. (2012). Challenges facing Lithium batteries and electrical double-layer capacitors. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.201201429
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7310
Peng, Z., Freunberger, S. A., Chen, Y., & Bruce, P. G. (2012). A reversible and higher-rate Li-O2 battery. Science. AAAS. https://doi.org/10.1126/science.1223985
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7311
Chen, Y., Freunberger, S. A., Peng, Z., Bardé, F., & Bruce, P. G. (2012). Li–O2 battery with a dimethylformamide electrolyte. Journal of the American Chemical Society. ACS. https://doi.org/10.1021/ja302178w
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 766
Alistarh, D.-A., Bender, M., Gilbert, S., & Guerraoui, R. (2012). How to allocate tasks asynchronously (pp. 331–340). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/FOCS.2012.41
View | DOI
 

2012 | Journal Article | IST-REx-ID: 767
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2012). Generating Fast Indulgent Algorithms. Theory of Computing Systems. Elsevier. https://doi.org/10.1007/s00224-012-9407-2
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7748
Robinson, M. R., Sander van Doorn, G., Gustafsson, L., & Qvarnström, A. (2012). Environment-dependent selection on mate choice in a natural population of birds. Ecology Letters. Wiley. https://doi.org/10.1111/j.1461-0248.2012.01780.x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7749
Robinson, M. R., Mar, K. U., & Lummaa, V. (2012). Senescence and age-specific trade-offs between reproduction and survival in female Asian elephants. Ecology Letters. Wiley. https://doi.org/10.1111/j.1461-0248.2011.01735.x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7776
Goodrich, C. P., Liu, A. J., & Nagel, S. R. (2012). Finite-size scaling at the jamming transition. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.109.095704
View | DOI
 

2012 | Journal Article | IST-REx-ID: 808 | OA
Vinzenz, M., Nemethova, M., Schur, F. K., Mueller, J., Narita, A., Urban, E., … Small, J. (2012). Actin branching in the initiation and maintenance of lamellipodia. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.107623
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 8246
Dengler, V., Meier, P. S., Heusser, R., Kupferschmied, P., Singer, J., Friebe, S., … McCallum, N. (2012). Deletion of hypothetical wall teichoic acid ligases in Staphylococcus aureus activates the cell wall stress response. FEMS Microbiology Letters. Oxford University Press. https://doi.org/10.1111/j.1574-6968.2012.02603.x
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 846
Soylemez, O., & Kondrashov, F. (2012). Estimating the rate of irreversibility in protein evolution. Genome Biology and Evolution. Oxford University Press. https://doi.org/10.1093/gbe/evs096
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8463
Asami, S., Szekely, K., Schanda, P., Meier, B. H., & Reif, B. (2012). Optimal degree of protonation for 1H detection of aliphatic sites in randomly deuterated proteins as a function of the MAS frequency. Journal of Biomolecular NMR. Springer Nature. https://doi.org/10.1007/s10858-012-9659-9
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8465
Tollinger, M., Sivertsen, A. C., Meier, B. H., Ernst, M., & Schanda, P. (2012). Site-resolved measurement of microsecond-to-millisecond conformational-exchange processes in proteins by solid-state NMR spectroscopy. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja303591y
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8466
Rennella, E., Cutuil, T., Schanda, P., Ayala, I., Forge, V., & Brutscher, B. (2012). Real-time NMR characterization of structure and dynamics in a transiently populated protein folding intermediate. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja302598j
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8467
Huber, M., With, O., Schanda, P., Verel, R., Ernst, M., & Meier, B. H. (2012). A supplementary coil for 2H decoupling with commercial HCN MAS probes. Journal of Magnetic Resonance. Elsevier. https://doi.org/10.1016/j.jmr.2011.10.010
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8502
Kaloshin, V., & Saprykina, M. (2012). An example of a nearly integrable Hamiltonian system with a trajectory dense in a set of maximal Hausdorff dimension. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-012-1532-x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8503
Albouy, A., & Kaloshin, V. (2012). Finiteness of central configurations of five bodies in the plane. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2012.176.1.10
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8504
Kaloshin, V., & KOZLOVSKI, O. S. (2012). A Cr unimodal map with an arbitrary fast growth of the number of periodic points. Ergodic Theory and Dynamical Systems. Cambridge University Press. https://doi.org/10.1017/s0143385710000817
View | DOI
 

2012 | Journal Article | IST-REx-ID: 858
Povolotskaya, I., Kondrashov, F., Ledda, A., & Vlasov, P. (2012). Stop codons in bacteria are not selectively equivalent. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-7-30
View | DOI
 

2012 | Journal Article | IST-REx-ID: 900
Breen, M., Kemena, C., Vlasov, P., Notredame, C., & Kondrashov, F. (2012). Epistasis as the primary factor in molecular evolution. Nature. Nature Publishing Group. https://doi.org/10.1038/nature11510
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3246
Barone, V., & Heisenberg, C.-P. J. (2012). Cell adhesion in embryo morphogenesis. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2011.11.006
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 966 | OA
Bieri, S., Serbyn, M., Senthil, T., & Lee, P. (2012). Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.86.224409
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 762
Alistarh, D.-A., Guerraoui, R., Kuznetsov, P., & Losa, G. (2012). On the cost of composing shared-memory algorithms (pp. 298–307). Presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, ACM. https://doi.org/10.1145/2312005.2312057
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 763
Alistarh, D.-A., Attiya, H., Guerraoui, R., & Travers, C. (2012). Early deciding synchronous renaming in O(log f) rounds or less (Vol. 7355 LNCS, pp. 195–206). Presented at the SIROCCO: Structural Information and Communication Complexity, Springer. https://doi.org/10.1007/978-3-642-31104-8_17
View | DOI
 

2012 | Journal Article | IST-REx-ID: 764
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2012). Of choices, failures and asynchrony: the many faces of set agreement. Algorithmica (New York). Springer. https://doi.org/10.1007/s00453-011-9581-7
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8024
Hennequin, G., Vogels, T. P., & Gerstner, W. (2012). Non-normal amplification in random balanced neuronal networks. Physical Review E. American Physical Society. https://doi.org/10.1103/physreve.86.011909
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 801
Engel, J., Schmalhorst, P. S., & Routier, F. (2012). Biosynthesis of the fungal cell wall polysaccharide galactomannan requires intraluminal GDP-mannose. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M112.398321
View | DOI
 

2012 | Journal Article | IST-REx-ID: 826
Vanstraelen, M., & Benková, E. (2012). Hormonal interactions in the regulation of plant development. Annual Review of Cell and Developmental Biology. Annual Reviews. https://doi.org/10.1146/annurev-cellbio-101011-155741
View | DOI
 

2012 | Journal Article | IST-REx-ID: 829
Bielach, A., Podlesakova, K., Marhavý, P., Duclercq, J., Cuesta, C., Muller, B., … Benková, E. (2012). Spatiotemporal regulation of lateral root organogenesis in Arabidopsis by cytokinin. The Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.112.103044
View | DOI
 

2012 | Journal Article | IST-REx-ID: 887
Kondrashov, F. (2012). Gene duplication as a mechanism of genomic adaptation to a changing environment. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2012.1108
View | DOI
 

2012 | Journal Article | IST-REx-ID: 922 | OA
Hannezo, E. B., Prost, J., & Joanny, J. (2012). Mechanical instabilities of biological tubes. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.109.018101
View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 91
Higginbotham, A. P., Cole, J., Blood Forsythe, M., & Hickstein, D. (2012). Identifying and evaluating organic nonlinear optical materials via molecular moments. Journal of Applied Physics. American Institute of Physics. https://doi.org/10.1063/1.3678593
View | DOI
 

Filters and Search Terms

year=2012

Search

Filter Publications