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.

298 Publications


2012 | Journal Article | IST-REx-ID: 2954 | OA
A. Pernia-Andrade, S. Goswami, Y. Stickler, U. Fröbe, A. Schlögl, and P. M. Jonas, “A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo,” Biophysical Journal, vol. 103, no. 7. Biophysical, pp. 1429–1439, 2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 2955 | OA
K. Chatterjee and L. Doyen, “Partial-observation stochastic games: How to win when belief fails,” in Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, Dubrovnik, Croatia, 2012.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2956
K. Chatterjee and Y. Velner, “Mean payoff pushdown games,” in Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, Dubrovnik, Croatia , 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2957 | OA
K. Chatterjee and M. Tracol, “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 , 2012.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 2958 | OA
K. Allen, J. N. Rawlins, D. Bannerman, and J. L. Csicsvari, “Hippocampal place cells can encode multiple trial-dependent features through rate remapping,” Journal of Neuroscience, vol. 32, no. 42. Society for Neuroscience, pp. 14752–14766, 2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2959 | OA
C. Uhler, “Geometry of maximum likelihood estimation in Gaussian graphical models,” Annals of Statistics, vol. 40, no. 1. Institute of Mathematical Statistics, pp. 238–261, 2012.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2962 | OA
S. Aeschbacher, M. Beaumont, and A. Futschik, “A novel approach for choosing summary statistics in approximate Bayesian computation,” Genetics, vol. 192, no. 3. Genetics Society of America, pp. 1027–1047, 2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2963
F. Jesse and K. Riebel, “Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata,” Behavioural Processes, vol. 91, no. 3. Elsevier, pp. 262–266, 2012.
View | DOI
 

2012 | Thesis | IST-REx-ID: 2964
S. Kim, “Active properties of hippocampal CA3 pyramidal neuron dendrites,” IST Austria, 2012.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 2965 | OA
P. Danowski, “Kontext Open Access: Creative Commons,” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare, vol. 65, no. 2. VÖB, pp. 200–212, 2012.
View | Files available | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 2966 | OA
S. Cremer, M. Suefuji, A. Schrempf, and J. Heinze, “The dynamics of male-male competition in Cardiocondyla obscurior ants,” BMC Ecology, vol. 12. BioMed Central, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2967
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” ACM Transactions on Computational Logic (TOCL), vol. 13, no. 3. ACM, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2968 | OA
K. Lohse, N. H. Barton, G. Melika, and G. Stone, “A likelihood based comparison of population histories in a parasitoid guild,” Molecular Ecology, vol. 21, no. 18. Wiley-Blackwell, pp. 4605–4617, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2969 | OA
S. Goswami, I. Bucurenciu, and P. M. Jonas, “Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling,” Journal of Neuroscience, vol. 32, no. 41. Society for Neuroscience, pp. 14294–14304, 2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2970
A. Kicheva, M. T. Bollenbach, O. Wartlick, F. Julicher, and M. Gonzalez Gaitan, “Investigating the principles of morphogen gradient formation: from tissues to cells,” Current Opinion in Genetics & Development, vol. 22, no. 6. Elsevier, pp. 527–532, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2971
G. Zankl, Y. Haxhimusa, and A. Ion, “Interactive labeling of image segmentation hierarchies,” presented at the Pattern Recognition, Graz, Austria, 2012, vol. 7476, pp. 11–20.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2972 | OA
K. Chatterjee and L. Doyen, “Energy parity games,” Theoretical Computer Science, vol. 458. Elsevier, pp. 49–60, 2012.
View | Files available | DOI | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2974 | OA
A. Jain, S. Krenn, K. Z. Pietrzak, and A. Tentes, “Commitments and efficient zero knowledge proofs from learning parity with noise,” presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Beijing, China, 2012, vol. 7658, pp. 663–680.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 801
J. Engel, P. S. Schmalhorst, and F. Routier, “Biosynthesis of the fungal cell wall polysaccharide galactomannan requires intraluminal GDP-mannose,” Journal of Biological Chemistry, vol. 287, no. 53. American Society for Biochemistry and Molecular Biology, pp. 44418–44424, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8024
G. Hennequin, T. P. Vogels, and W. Gerstner, “Non-normal amplification in random balanced neuronal networks,” Physical Review E, vol. 86, no. 1. American Physical Society, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 808 | OA
M. Vinzenz et al., “Actin branching in the initiation and maintenance of lamellipodia,” Journal of Cell Science, vol. 125, no. 11. Company of Biologists, pp. 2775–2785, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 8246
V. Dengler et al., “Deletion of hypothetical wall teichoic acid ligases in Staphylococcus aureus activates the cell wall stress response,” FEMS Microbiology Letters, vol. 333, no. 2. Oxford University Press, pp. 109–120, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 826
M. Vanstraelen and E. Benková, “Hormonal interactions in the regulation of plant development,” Annual Review of Cell and Developmental Biology, vol. 28. Annual Reviews, pp. 463–487, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 829
A. Bielach et al., “Spatiotemporal regulation of lateral root organogenesis in Arabidopsis by cytokinin,” The Plant Cell, vol. 24, no. 10. American Society of Plant Biologists, pp. 3967–3981, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 846
O. Soylemez and F. Kondrashov, “Estimating the rate of irreversibility in protein evolution,” Genome Biology and Evolution, vol. 4, no. 12. Oxford University Press, pp. 1213–1222, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8463
S. Asami, K. Szekely, P. Schanda, B. H. Meier, and B. Reif, “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, vol. 54, no. 2. Springer Nature, pp. 155–168, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8465
M. Tollinger, A. C. Sivertsen, B. H. Meier, M. Ernst, and P. Schanda, “Site-resolved measurement of microsecond-to-millisecond conformational-exchange processes in proteins by solid-state NMR spectroscopy,” Journal of the American Chemical Society, vol. 134, no. 36. American Chemical Society, pp. 14800–14807, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8466
E. Rennella, T. Cutuil, P. Schanda, I. Ayala, V. Forge, and B. Brutscher, “Real-time NMR characterization of structure and dynamics in a transiently populated protein folding intermediate,” Journal of the American Chemical Society, vol. 134, no. 19. American Chemical Society, pp. 8066–8069, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8467
M. Huber, O. With, P. Schanda, R. Verel, M. Ernst, and B. H. Meier, “A supplementary coil for 2H decoupling with commercial HCN MAS probes,” Journal of Magnetic Resonance, vol. 214. Elsevier, pp. 76–80, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8502
V. Kaloshin and M. Saprykina, “An example of a nearly integrable Hamiltonian system with a trajectory dense in a set of maximal Hausdorff dimension,” Communications in Mathematical Physics, vol. 315, no. 3. Springer Nature, pp. 643–697, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8503
A. Albouy and V. Kaloshin, “Finiteness of central configurations of five bodies in the plane,” Annals of Mathematics, vol. 176, no. 1. Princeton University Press, pp. 535–588, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8504
V. Kaloshin and O. S. KOZLOVSKI, “A Cr unimodal map with an arbitrary fast growth of the number of periodic points,” Ergodic Theory and Dynamical Systems, vol. 32, no. 1. Cambridge University Press, pp. 159–165, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 858
I. Povolotskaya, F. Kondrashov, A. Ledda, and P. Vlasov, “Stop codons in bacteria are not selectively equivalent,” Biology Direct, vol. 7. BioMed Central, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 171 | OA
T. D. Browning and S. Baier, “Inhomogeneous cubic congruences and rational points on del Pezzo surfaces,” Journal fur die Reine und Angewandte Mathematik, vol. 2013, no. 680. Walter de Gruyter, pp. 1–65, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1725
A. Kicheva, M. Cohen, and J. Briscoe, “Developmental pattern formation: Insights from physics and biology,” Science, vol. 338, no. 6104. American Association for the Advancement of Science, pp. 210–212, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1756 | OA
M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, and S. De Franceschi, “Multifunctional devices and logic gates with undoped silicon nanowires,” Nano Letters, vol. 12, no. 6. American Chemical Society, pp. 3074–3079, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1757 | OA
J. Zhang et al., “Monolithic growth of ultrathin Ge nanowires on Si(001) ,” Physical Review Letters, vol. 109, no. 8. American Physical Society, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1758 | OA
E. Lee, X. Jiang, R. Aguado, G. Katsaros, C. Lieber, and S. De Franceschi, “Zero-bias anomaly in a nanowire quantum dot coupled to superconductors,” Physical Review Letters, vol. 109, no. 18. American Physical Society, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1782 | OA
M. Pechal et al., “Geometric phase and nonadiabatic effects in an electronic harmonic oscillator,” Physical Review Letters, vol. 108, no. 17. American Physical Society, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1783 | OA
J. Mlynek et al., “Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 5. American Physical Society, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1784
C. Eichler, C. Lang, J. M. Fink, J. Govenius, S. Filipp, and A. Wallraff, “Observation of entanglement between itinerant microwave photons and a superconducting qubit,” Physical Review Letters, vol. 109, no. 24. American Physical Society, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1801
S. Siegert et al., “Transcriptional code and disease map for adult retinal cell types,” Nature Neuroscience, vol. 15, no. 3. Nature Publishing Group, pp. 487–495, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1972
R. Efremov and L. A. Sazanov, “Structure of Escherichia coli OmpF porin from lipidic mesophase,” Journal of Structural Biology, vol. 178, no. 3. Academic Press, pp. 311–318, 2012.
View | DOI
 

2012 | Book Review | IST-REx-ID: 1976
R. Efremov and L. A. Sazanov, “The coupling mechanism of respiratory complex i - A structural and evolutionary perspective,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1817, no. 10. Elsevier, pp. 1785–1795, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1987
J. Schweizer, M. Loose, M. Bonny, K. Kruse, I. Mönch, and P. Schwille, “Geometry sensing by self-organized protein patterns,” PNAS, vol. 109, no. 38. National Academy of Sciences, pp. 15283–15288, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2048 | OA
S. Faust, K. Z. Pietrzak, and J. Schipper, “Practical leakage-resilient symmetric cryptography,” in Conference proceedings CHES 2012, Leuven, Belgium, 2012, vol. 7428, pp. 213–232.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2049 | OA
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, and K. Z. Pietrzak, “Lapin: An efficient authentication protocol based on ring-LPN,” in Conference proceedings FSE 2012, Washington, DC, USA, 2012, vol. 7549, pp. 346–365.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2073
Q. Zhou et al., “Deciphering neo-sex and B chromosome evolution by the draft genome of Drosophila albomicans,” BMC Genomics, vol. 13, no. 1. BioMed Central, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2079
K. Hildebrand, B. Bickel, and M. Alexa, “crdbrd: Shape fabrication by sliding planar slices,” Computer Graphics Forum, vol. 31, no. 2pt3. Wiley-Blackwell, pp. 583–592, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2101
M. Bac̈Her, B. Bickel, D. James, and H. Pfister, “Fabricating articulated characters from skinned meshes,” ACM Transactions on Graphics, vol. 31, no. 4. ACM, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2102
B. Bickel et al., “Physical face cloning,” ACM Transactions on Graphics, vol. 31, no. 4. ACM, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2103
T. Beeler et al., “Coupled 3D reconstruction of sparse facial hair and skin,” ACM Transactions on Graphics, vol. 31, no. 4. ACM, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2104
M. Otaduy, B. Bickel, D. Bradley, and H. Wang, “Data-driven simulation methods in computer graphics: Cloth, tissue and faces,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2105
M. Skouras, B. Thomaszewski, B. Bickel, and M. Groß, “Computational design of rubber balloons,” presented at the EUROGRAPHICS: European Association for Computer Graphics, 2012, vol. 31, no. 2, pp. 835–844.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2106
E. Miguel et al., “Data-driven estimation of cloth simulation models,” presented at the Computer Graphics Forum, 2012, vol. 31, no. 2, pp. 519–528.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2125 | OA
M. Hairer and J. Maas, “A spatial version of the Itô-Stratonovich correction,” Annals of Probability, vol. 40, no. 4. Institute of Mathematical Statistics, pp. 1675–1714, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2127 | OA
M. Erbar and J. Maas, “Ricci curvature of finite Markov chains via convexity of the entropy,” Archive for Rational Mechanics and Analysis, vol. 206, no. 3. Springer, pp. 997–1038, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2128 | OA
J. Maas, J. Van Neerven, and P. Portal, “Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure,” Arkiv för Matematik, vol. 50, no. 2. Springer, pp. 379–395, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2151 | OA
M. Lemeshko, R. Krems, and H. Weimer, “Erratum: Nonadiabatic preparation of spin crystals with ultracold polar molecules,” Physical Review Letters, vol. 109, no. 4. American Physical Society, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2201 | OA
M. Lemeshko, R. Krems, and H. Weimer, “Nonadiabatic preparation of spin crystals with ultracold polar molecules,” Physical Review Letters, vol. 109, no. 3. American Physical Society, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2202 | OA
S. Alyabyshev, M. Lemeshko, and R. Krems, “Sensitive imaging of electromagnetic fields with paramagnetic polar molecules,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 1. American Physical Society, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2203 | OA
M. Lemeshko and B. Friedrich, “Interaction between polar molecules subject to a far-off-resonant optical field: Entangled dipoles up- or down-holding each other,” Molecular Physics, vol. 110, no. 15–16. Taylor & Francis, pp. 1873–1881, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 7308
M. M. Ottakam Thotiyl, S. A. Freunberger, Z. Peng, and P. G. Bruce, “The carbon electrode in nonaqueous Li–O2 cells,” Journal of the American Chemical Society, vol. 135, no. 1. ACS, pp. 494–500, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7309
N.-S. Choi et al., “Challenges facing Lithium batteries and electrical double-layer capacitors,” Angewandte Chemie International Edition, vol. 51, no. 40. Wiley, pp. 9994–10024, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7310
Z. Peng, S. A. Freunberger, Y. Chen, and P. G. Bruce, “A reversible and higher-rate Li-O2 battery,” Science, vol. 337, no. 6094. AAAS, pp. 563–566, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7311
Y. Chen, S. A. Freunberger, Z. Peng, F. Bardé, and P. G. Bruce, “Li–O2 battery with a dimethylformamide electrolyte,” Journal of the American Chemical Society, vol. 134, no. 18. ACS, pp. 7952–7957, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 762
D.-A. Alistarh, R. Guerraoui, P. Kuznetsov, and G. Losa, “On the cost of composing shared-memory algorithms,” presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, 2012, pp. 298–307.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 763
D.-A. Alistarh, H. Attiya, R. Guerraoui, and C. Travers, “Early deciding synchronous renaming in O(log f) rounds or less,” presented at the SIROCCO: Structural Information and Communication Complexity, 2012, vol. 7355 LNCS, pp. 195–206.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 764
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Of choices, failures and asynchrony: the many faces of set agreement,” Algorithmica (New York), vol. 62, no. 1–2. Springer, pp. 595–629, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 766
D.-A. Alistarh, M. Bender, S. Gilbert, and R. Guerraoui, “How to allocate tasks asynchronously,” presented at the FOCS: Foundations of Computer Science, 2012, pp. 331–340.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 767
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Generating Fast Indulgent Algorithms,” Theory of Computing Systems, vol. 51, no. 4. Elsevier, pp. 404–424, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7748
M. R. Robinson, G. Sander van Doorn, L. Gustafsson, and A. Qvarnström, “Environment-dependent selection on mate choice in a natural population of birds,” Ecology Letters, vol. 15, no. 6. Wiley, pp. 611–618, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7749
M. R. Robinson, K. U. Mar, and V. Lummaa, “Senescence and age-specific trade-offs between reproduction and survival in female Asian elephants,” Ecology Letters, vol. 15, no. 3. Wiley, pp. 260–266, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7776
C. P. Goodrich, A. J. Liu, and S. R. Nagel, “Finite-size scaling at the jamming transition,” Physical Review Letters, vol. 109, no. 9. American Physical Society, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 492 | OA
T. Galkovskyi et al., “GiA Roots: Software for the high throughput analysis of plant root system architecture,” BMC Plant Biology, vol. 12. BioMed Central, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 493 | OA
M. Tangermann et al., “Review of the BCI competition IV,” Frontiers in Neuroscience, vol. 6. Frontiers Research Foundation, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 494
U. Boker and O. Kupferman, “Translating to Co-Büchi made tight, unified, and useful,” ACM Transactions on Computational Logic (TOCL), vol. 13, no. 4. ACM, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 495 | OA
A. Kruckman, S. Rubin, J. Sheridan, and B. Zax, “A Myhill Nerode theorem for automata with advice,” in Proceedings GandALF 2012, Napoli, Italy, 2012, vol. 96, pp. 238–246.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 496 | OA
A. Rabinovich and S. Rubin, “Interpretations in trees with countably many branches,” presented at the LICS: Symposium on Logic in Computer Science, Dubrovnik, Croatia, 2012.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 497 | OA
K. Chatterjee, S. Chaubal, and P. Kamath, “Faster algorithms for alternating refinement relations,” presented at the EACSL: European Association for Computer Science Logic, Fontainebleau, France, 2012, vol. 16, pp. 167–182.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 498 | OA
M. Pickup, D. Field, D. Rowell, and A. Young, “Predicting local adaptation in fragmented plant populations: Implications for restoration genetics,” Evolutionary Applications, vol. 5, no. 8. Wiley-Blackwell, pp. 913–924, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 506 | OA
M. K. Sixt, “Cell migration: Fibroblasts find a new way to get ahead,” Journal of Cell Biology, vol. 197, no. 3. Rockefeller University Press, pp. 347–349, 2012.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5377 | OA
K. Chatterjee and Y. Velner, Mean-payoff pushdown games. IST Austria, 2012.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378 | OA
K. Chatterjee, S. Chaubal, and P. Kamath, Faster algorithms for alternating refinement relations. IST Austria, 2012.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5396 | OA
F. Korc, V. Kolmogorov, and C. Lampert, Approximating marginals using discrete energy minimization. IST Austria, 2012.
View | Files available | DOI
 

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

2012 | Book Chapter | IST-REx-ID: 5745 | OA
A. Gupta, “Improved Single Pass Algorithms for Resolution Proof Reduction,” in Automated Technology for Verification and Analysis, vol. 7561, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 107–121.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 5839 | OA
R. Biswas and J. Sil, “An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets,” Procedia Technology, vol. 4. Elsevier, pp. 820–824, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 596 | OA
C. Bernecky and D. Taatjes, “Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly,” Journal of Molecular Biology, vol. 417, no. 5. Elsevier, pp. 387–394, 2012.
View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 6136 | OA
K. E. Busch et al., “Tonic signaling from O2 sensors sets neural circuit activity and behavioral state,” Nature Neuroscience, vol. 15, no. 4. Springer Nature, pp. 581–591, 2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

2012 | Conference Paper | IST-REx-ID: 6746
M. Mondelli, Q. Zhou, X. Ma, and V. Lottici, “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), Kyoto, Japan, 2012, pp. 2905–2908.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7074
K. C. Lukas, G. Joshi, K. A. Modic, Z. F. Ren, and C. P. Opeil, “Thermoelectric properties of Ho-doped Bi0.88Sb0.12,” Journal of Materials Science, vol. 47, no. 15. Springer Nature, pp. 5729–5734, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “Conditional model checking: A technique to pass information between verifiers,” in Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, Cary, NC, USA, 2012.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 1471 | OA
T. Hausel and C. Pauly, “Prym varieties of spectral covers,” Geometry and Topology, vol. 16, no. 3. University of Warwick, pp. 1609–1638, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1472 | OA
M. De Cataldo, T. Hausel, and L. Migliorini, “Topology of hitchin systems and Hodge theory of character varieties: The case A 1,” Annals of Mathematics, vol. 175, no. 3. Princeton University Press, pp. 1329–1407, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1055
B. Erne, M. Graff, W. Klemm, J. G. Danzl, and G. Leschber, “Bulla in the lung,” The Lancet, vol. 380, no. 9849. Elsevier, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1056 | OA
M. Mark et al., “Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions,” Physical Review Letters, vol. 108, no. 21. American Physical Society, 2012.
View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 113
S. R. Waitukaitis and H. Jaeger, “Impact-activated solidification of dense suspensions via dynamic jamming fronts,” Nature, vol. 487, no. 7406. Nature Publishing Group, pp. 205–209, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 114 | OA
S. R. Waitukaitis and H. Jaeger, “Solidification of a cornstarch and water suspension,” Revista Cubana de Fisica, vol. 29, no. 1E. Universidad de La Habana, p. 1E31-1E33, 2012.
View | Files available
 

Filters and Search Terms

year=2012

Search

Filter Publications