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: 2048 | OA
Faust, S., Pietrzak, K. Z., & Schipper, J. (2012). Practical leakage-resilient symmetric cryptography. In Conference proceedings CHES 2012 (Vol. 7428, pp. 213–232). Leuven, Belgium: Springer. https://doi.org/10.1007/978-3-642-33027-8_13
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2049 | OA
Heyse, S., Kiltz, E., Lyubashevsky, V., Paar, C., & Pietrzak, K. Z. (2012). Lapin: An efficient authentication protocol based on ring-LPN. In Conference proceedings FSE 2012 (Vol. 7549, pp. 346–365). Washington, DC, USA: Springer. https://doi.org/10.1007/978-3-642-34047-5_20
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2073
Zhou, Q., Zhu, H., Huang, Q., Zhao, L., Zhang, G., Roy, S., … Bachtrog, D. (2012). Deciphering neo-sex and B chromosome evolution by the draft genome of Drosophila albomicans. BMC Genomics, 13(1). https://doi.org/10.1186/1471-2164-13-109
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2079
Hildebrand, K., Bickel, B., & Alexa, M. (2012). crdbrd: Shape fabrication by sliding planar slices. Computer Graphics Forum, 31(2pt3), 583–592. https://doi.org/10.1111/j.1467-8659.2012.03037.x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2101
Bac̈Her, M., Bickel, B., James, D., & Pfister, H. (2012). Fabricating articulated characters from skinned meshes. ACM Transactions on Graphics, 31(4). https://doi.org/10.1145/2185520.2185543
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2102
Bickel, B., Kaufmann, P., Skouras, M., Thomaszewski, B., Bradley, D., Beeler, T., … Groß, M. (2012). Physical face cloning. ACM Transactions on Graphics, 31(4). https://doi.org/10.1145/2185520.2185614
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2103
Beeler, T., Bickel, B., Noris, G., Beardsley, P., Marschner, S., Sumner, R., & Groß, M. (2012). Coupled 3D reconstruction of sparse facial hair and skin. ACM Transactions on Graphics, 31(4). https://doi.org/10.1145/2185520.2185613
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2104
Otaduy, M., Bickel, B., Bradley, D., & Wang, H. (2012). Data-driven simulation methods in computer graphics: Cloth, tissue and faces. Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM. https://doi.org/10.1145/2343483.2343495
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2105
Skouras, M., Thomaszewski, B., Bickel, B., & Groß, M. (2012). Computational design of rubber balloons (Vol. 31, pp. 835–844). Presented at the EUROGRAPHICS: European Association for Computer Graphics, Wiley-Blackwell. https://doi.org/10.1111/j.1467-8659.2012.03064.x
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2106
Miguel, E., Bradley, D., Thomaszewski, B., Bickel, B., Matusik, W., Otaduy, M., & Marschner, S. (2012). Data-driven estimation of cloth simulation models (Vol. 31, pp. 519–528). Presented at the Computer Graphics Forum, Wiley-Blackwell. https://doi.org/10.1111/j.1467-8659.2012.03031.x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2125 | OA
Hairer, M., & Maas, J. (2012). A spatial version of the Itô-Stratonovich correction. Annals of Probability, 40(4), 1675–1714. https://doi.org/10.1214/11-AOP662
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2127 | OA
Erbar, M., & Maas, J. (2012). Ricci curvature of finite Markov chains via convexity of the entropy. Archive for Rational Mechanics and Analysis, 206(3), 997–1038. https://doi.org/10.1007/s00205-012-0554-z
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2128 | OA
Maas, J., Van Neerven, J., & Portal, P. (2012). Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure. Arkiv För Matematik, 50(2), 379–395. https://doi.org/10.1007/s11512-010-0143-z
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2151 | OA
Lemeshko, M., Krems, R., & Weimer, H. (2012). Erratum: Nonadiabatic preparation of spin crystals with ultracold polar molecules. Physical Review Letters, 109(4). https://doi.org/10.1103/PhysRevLett.109.049901
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2201 | OA
Lemeshko, M., Krems, R., & Weimer, H. (2012). Nonadiabatic preparation of spin crystals with ultracold polar molecules. Physical Review Letters, 109(3). https://doi.org/10.1103/PhysRevLett.109.035301
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2202 | OA
Alyabyshev, S., Lemeshko, M., & Krems, R. (2012). Sensitive imaging of electromagnetic fields with paramagnetic polar molecules. Physical Review A - Atomic, Molecular, and Optical Physics, 86(1). https://doi.org/10.1103/PhysRevA.86.013409
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2203 | OA
Lemeshko, M., & Friedrich, B. (2012). Interaction between polar molecules subject to a far-off-resonant optical field: Entangled dipoles up- or down-holding each other. Molecular Physics, 110(15–16), 1873–1881. https://doi.org/10.1080/00268976.2012.689868
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2262
Tasic, B., Miyamichi, K., Hippenmeyer, S., Dani, V., Zeng, H., Joo, W., … Luo, L. (2012). Extensions of MADM (Mosaic Analysis with Double Markers) in Mice . PLoS One, 7(3). https://doi.org/10.1371/journal.pone.0033332
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2263 | OA
Liang, H., Hippenmeyer, S., & Ghashghaei, H. (2012). A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors. Biology Open, 1(12), 1200–1203. https://doi.org/10.1242/bio.20122287
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2267 | OA
Preiner, R., Jeschke, S., & Wimmer, M. (2012). Auto splats: Dynamic point cloud visualization on the GPU (pp. 139–148). Presented at the EGPGV: Eurographics Symposium on Parallel Graphics and Visualization, Calgari, Italy: Eurographics Association. https://doi.org/10.2312/EGPGV/EGPGV12/139-148
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2268 | OA
Auzinger, T., Guthe, M., & Jeschke, S. (2012). Analytic anti-aliasing of linear functions on polytopes (Vol. 31, pp. 335–344). Presented at the EUROGRAPHICS: European Association for Computer Graphics, Wiley-Blackwell. http://dx.doi.org/10.1111/j.1467-8659.2012.03012.x
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2302
Henzinger, T. A., & Mateescu, M. (2012). The propagation approach for computing biochemical reaction networks. IEEE ACM Transactions on Computational Biology and Bioinformatics, 10(2), 310–322. https://doi.org/10.1109/TCBB.2012.91
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2313
Dixon Salazar, T., Silhavy, J., Udpa, N., Schroth, J., Bielas, S., Schaffer, A., … Gleeson, J. (2012). Exome sequencing can improve diagnosis and alter patient management. Science Translational Medicine, 4(138). https://doi.org/10.1126/scitranslmed.3003544
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2314
Novarino, G., El Fishawy, P., Kayserili, H., Meguid, N., Scott, E., Schroth, J., … Gleeson, J. (2012). Mutations in BCKD-kinase lead to a potentially treatable form of autism with epilepsy. Science, 338(6105), 394–397. https://doi.org/10.1126/science.1224631
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2316 | OA
Frank, R., Lieb, É., Seiringer, R., & Thomas, L. (2012). Ground state properties of multi-polaron systems (pp. 477–485). Presented at the ICMP: International Congress on Mathematical Physics, World Scientific Publishing. https://doi.org/10.1142/9789814449243_0045
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2317 | OA
Frank, R., Hainzl, C., Seiringer, R., & Solovej, J. (2012). Microscopic derivation of the Ginzburg-Landau model (pp. 575–583). Presented at the ICMP: International Congress on Mathematical Physics, World Scientific Publishing. https://doi.org/10.1142/9789814449243_0060
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2318 | OA
Seiringer, R. (2012). Absence of bound states implies non-negativity of the scattering length. Journal of Spectral Theory, 2(3), 321–328. https://doi.org/10.4171/JST/31
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 237
De La Bretèche, R., Browning, T. D., & Peyre, E. (2012). On Manin’s conjecture for a family of Châtelet surfaces. Annals of Mathematics, 175(1), 297–343. https://doi.org/10.4007/annals.2012.175.1.8
View | DOI
 

2012 | Journal Article | IST-REx-ID: 238
Baier, S., & Browning, T. D. (2012). Inhomogeneous quadratic congruences. Functiones et Approximatio, Commentarii Mathematici, 47(2), 267–286. https://doi.org/10.7169/facm/2012.47.2.9
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2394
Freiji, A., Hainzl, C., & Seiringer, R. (2012). The gap equation for spin-polarized fermions. Journal of Mathematical Physics, 53(1). https://doi.org/10.1063/1.3670747
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2395 | OA
Frank, R., Hainzl, C., Seiringer, R., & Solovej, J. (2012). Microscopic derivation of Ginzburg-Landau theory. Journal of the American Mathematical Society, 25(3), 667–713. https://doi.org/10.1090/S0894-0347-2012-00735-8
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2396 | OA
Landon, B., & Seiringer, R. (2012). The scattering length at positive temperature. Letters in Mathematical Physics, 100(3), 237–243. https://doi.org/10.1007/s11005-012-0566-5
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2397 | OA
Hainzl, C., & Seiringer, R. (2012). Low density limit of BCS theory and Bose-Einstein condensation of Fermion pairs. Letters in Mathematical Physics, 100(2), 119–138. https://doi.org/10.1007/s11005-011-0535-4
View | DOI | Download (ext.)
 

2012 | Book Review | IST-REx-ID: 2398 | OA
Jakšić, V., Ogata, Y., Pillet, C., & Seiringer, R. (2012). Quantum hypothesis testing and non-equilibrium statistical mechanics. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/S0129055X12300026
View | DOI | Download (ext.)
 

2012 | Book Chapter | IST-REx-ID: 2399
Seiringer, R. (2012). Cold quantum gases and bose einstein condensation. In V. Rivasseau, R. Seiringer, J. Solovej, & T. Spencer (Eds.), Quantum Many Body Systems (Vol. 2051, pp. 55–92). Springer. https://doi.org/10.1007/978-3-642-29511-9_2
View | DOI
 

2012 | Journal Article | IST-REx-ID: 240
Browning, T. D., & Valckenborgh, K. V. (2012). Sums of three squareful numbers. Experimental Mathematics, 21(2), 204–211. https://doi.org/10.1080/10586458.2011.605733
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2400 | OA
Frank, R., Lieb, É., & Seiringer, R. (2012). Binding of polarons and atoms at threshold. Communications in Mathematical Physics, 313(2), 405–424. https://doi.org/10.1007/s00220-012-1436-9
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2401 | OA
Lieb, É., & Seiringer, R. (2012). Further implications of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics, 149(1), 86–91. https://doi.org/10.1007/s10955-012-0585-8
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2402 | OA
Frank, R., & Seiringer, R. (2012). Lieb-Thirring inequality for a model of particles with point interactions. Journal of Mathematical Physics, 53(9). https://doi.org/10.1063/1.3697416
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2403 | OA
Seiringer, R., Yngvason, J., & Zagrebnov, V. (2012). Disordered Bose-Einstein condensates with interaction in one dimension. Journal of Statistical Mechanics Theory and Experiment, 2012(11). https://doi.org/10.1088/1742-5468/2012/11/P11007
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 241
De La Bretèche, R., & Browning, T. D. (2012). Binary forms as sums of two squares and Châtelet surfaces. Israel Journal of Mathematics, 191(2), 973–1012. https://doi.org/10.1007/s11856-012-0019-y
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2411 | OA
Ebersberger, I., De Matos Simoes, R., Kupczok, A., Gube, M., Kothe, E., Voigt, K., & Von Haeseler, A. (2012). A consistent phylogenetic backbone for the fungi. Molecular Biology and Evolution, 29(5), 1319–1334. https://doi.org/10.1093/molbev/msr285
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 242 | OA
Baier, S., Browning, T. D., Marasingha, G., & Zhao, L. (2012). Averages of shifted convolutions of d3 (n). Proceedings of the Edinburgh Mathematical Society, 55(3), 551–576. https://doi.org/10.1017/S001309151100037X
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 243
Browning, T. D., & Heath Brown, R. (2012). Quadratic polynomials represented by norm forms. Geometric and Functional Analysis, 22(5), 1124–1190. https://doi.org/10.1007/s00039-012-0168-5
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2438
Matoušek, J., Tancer, M., & Wagner, U. (2012). A geometric proof of the colored Tverberg theorem. Discrete & Computational Geometry, 47(2), 245–265. https://doi.org/10.1007/s00454-011-9368-2
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2439
Chen, D., Morin, P., & Wagner, U. (2012). Absolute approximation of Tukey depth: Theory and experiments. Computational Geometry: Theory and Applications, 46(5), 566–573. https://doi.org/10.1016/j.comgeo.2012.03.001
View | DOI
 

2012 | Journal Article | IST-REx-ID: 244 | OA
Browning, T. D., & Haynes, A. (2012). Incomplete kloosterman sums and multiplicative inverses in short intervals. International Journal of Number Theory, 9(2), 481–486. https://doi.org/ https://doi.org/10.1142/S1793042112501448
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2440
Čadek, M., Krcál, M., Matoušek, J., Sergeraert, F., Vokřínek, L., & Wagner, U. (2012). Computing all maps into a sphere (pp. 1–10). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2441
Gundert, A., & Wagner, U. (2012). On Laplacians of random complexes (pp. 151–160). Presented at the SGC: Symposuim on Computational Geometry, ACM. https://doi.org/10.1145/2261250.2261272
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2453
Feraru, E., Feraru, M., Asaoka, R., Paciorek, T., De Rycke, R., Tanaka, H., … Friml, J. (2012). BEX5/RabA1b regulates trans-Golgi network-to-plasma membrane protein trafficking in Arabidopsis. Plant Cell, 24(7), 3074–3086. https://doi.org/10.1105/tpc.112.098152
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2456
Beeckman, T., & Friml, J. (2012). Plant developmental biologists meet on stairways in Matera. Development, 139(20), 3677–3682. https://doi.org/10.1242/dev.080861
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2458
Li, H., Friml, J., & Grunewald, W. (2012). Cell polarity: Stretching prevents developmental cramps. Current Biology, 22(16), R635–R637. https://doi.org/10.1016/j.cub.2012.06.053
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2459 | OA
Zwiewka, M., & Friml, J. (2012). Fluorescence imaging-based forward genetic screens to identify trafficking regulators in plants. Frontiers in Plant Science, 3(May). https://doi.org/10.3389/fpls.2012.00097
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2474
Abrahamsson, T., Cathala, L., Matsui, K., Shigemoto, R., & Digregorio, D. (2012). Thin dendrites of cerebellar interneurons confer sublinear synaptic integration and a gradient of short-term plasticity. Neuron, 73(6), 1159–1172. https://doi.org/10.1016/j.neuron.2012.01.027
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2475
Saito, Y., Inoue, T., Zhu, G., Kimura, N., Okada, M., Nishimura, M., … Suzuki, T. (2012). Hyperpolarization-activated cyclic nucleotide gated channels: A potential molecular link between epileptic seizures and Aβ generation in Alzheimer’s disease. Molecular Neurodegeneration, 7(1). https://doi.org/10.1186/1750-1326-7-50
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2476
Sümegi, M., Fukazawa, Y., Matsui, K., Lörincz, A., Eyre, M., Nusser, Z., & Shigemoto, R. (2012). Virus-mediated swapping of zolpidem-insensitive with zolpidem-sensitive GABA A receptors in cortical pyramidal cells. Journal of Physiology, 590(7), 1517–1534. https://doi.org/10.1113/jphysiol.2012.227538
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2477
Sasaki, T., Beppu, K., Tanaka, K., Fukazawa, Y., Shigemoto, R., & Matsui, K. (2012). Application of an optogenetic byway for perturbing neuronal activity via glial photostimulation. PNAS, 109(50), 20720–20725. https://doi.org/10.1073/pnas.1213458109
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2514
Budisantoso, T., Matsui, K., Kamasawa, N., Fukazawa, Y., & Shigemoto, R. (2012). Mechanisms underlying signal filtering at a multisynapse contact. Journal of Neuroscience, 32(7), 2357–2376. https://doi.org/10.1523/JNEUROSCI.5243-11.2012
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2515
Ballesteros Merino, C., Lin, M., Wu, W., Ferrándiz Huertas, C., Cabañero, M., Watanabe, M., … Luján, R. (2012). Developmental profile of SK2 channel expression and function in CA1 neurons. Hippocampus, 22(6), 1467–1480. https://doi.org/10.1002/hipo.20986
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, 135(1), 494–500. 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, 51(40), 9994–10024. 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, 337(6094), 563–566. 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, 134(18), 7952–7957. https://doi.org/10.1021/ja302178w
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, 15(6), 611–618. 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, 15(3), 260–266. 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, 109(9), 095704. https://doi.org/10.1103/physrevlett.109.095704
View | DOI
 

2012 | Journal Article | IST-REx-ID: 492 | OA
Galkovskyi, T., Mileyko, Y., Bucksch, A., Moore, B., Symonova, O., Price, C., … Weitz, J. (2012). GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology, 12. https://doi.org/10.1186/1471-2229-12-116
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 493 | OA
Tangermann, M., Müller, K., Aertsen, A., Birbaumer, N., Braun, C., Brunner, C., … Blankertz, B. (2012). Review of the BCI competition IV. Frontiers in Neuroscience, 6. https://doi.org/10.3389/fnins.2012.00055
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 494
Boker, U., & Kupferman, O. (2012). Translating to Co-Büchi made tight, unified, and useful. ACM Transactions on Computational Logic (TOCL), 13(4). https://doi.org/10.1145/2362355.2362357
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 495 | OA
Kruckman, A., Rubin, S., Sheridan, J., & Zax, B. (2012). A Myhill Nerode theorem for automata with advice. In Proceedings GandALF 2012 (Vol. 96, pp. 238–246). Napoli, Italy: Open Publishing Association. https://doi.org/10.4204/EPTCS.96.18
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 496 | OA
Rabinovich, A., & Rubin, S. (2012). Interpretations in trees with countably many branches. Presented at the LICS: Symposium on Logic in Computer Science, Dubrovnik, Croatia: IEEE. https://doi.org/10.1109/LICS.2012.65
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 497 | OA
Chatterjee, K., Chaubal, S., & Kamath, P. (2012). Faster algorithms for alternating refinement relations (Vol. 16, pp. 167–182). Presented at the EACSL: European Association for Computer Science Logic, Fontainebleau, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2012.167
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 498 | OA
Pickup, M., Field, D., Rowell, D., & Young, A. (2012). Predicting local adaptation in fragmented plant populations: Implications for restoration genetics. Evolutionary Applications, 5(8), 913–924. https://doi.org/10.1111/j.1752-4571.2012.00284.x
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 506 | OA
Sixt, M. K. (2012). Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology, 197(3), 347–349. https://doi.org/10.1083/jcb.201204039
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee, K., & Velner, Y. (2012). Mean-payoff pushdown games. IST Austria. https://doi.org/10.15479/AT:IST-2012-0002
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378 | OA
Chatterjee, K., Chaubal, S., & Kamath, P. (2012). Faster algorithms for alternating refinement relations. IST Austria. https://doi.org/10.15479/AT:IST-2012-0001
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 | 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, 4, 820–824. 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, 417(5), 387–394. 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, 15(4), 581–591. https://doi.org/10.1038/nn.3061
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2687
Shinohara, Y., Hosoya, A., Yamasaki, N., Ahmed, H., Hattori, S., Eguchi, M., … Shigemoto, R. (2012). Right-hemispheric dominance of spatial memory in split-brain mice. Hippocampus, 22(2), 117–121. https://doi.org/10.1002/hipo.20886
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2688
Fukazawa, Y., & Shigemoto, R. (2012). Intra-synapse-type and inter-synapse-type relationships between synaptic size and AMPAR expression. Current Opinion in Neurobiology, 22(3), 446–452. https://doi.org/10.1016/j.conb.2012.01.006
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2689
Parajuli, L., Nakajima, C., Kulik, Á., Matsui, K., Schneider, T., Shigemoto, R., & Fukazawa, Y. (2012). Quantitative regional and ultra structural localization of the Ca v2 3 subunit of R type calcium channel in mouse brain. Journal of Neuroscience, 32(39), 13555–13567. https://doi.org/10.1523/JNEUROSCI.1142-12.2012
View | DOI
 

2012 | Preprint | IST-REx-ID: 2696 | OA
Erdös, L. (2012). Universality for random matrices and log-gases. ArXiv. ArXiv.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2700 | OA
Erdös, L. (2012). Lecture notes on quantum Brownian motion (Vol. 95, pp. 3–98). Presented at the Les Houches Summer School 2010, Oxford University Press.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2715 | OA
Chatterjee, K., Joglekar, M., & Shah, N. (2012). Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives (Vol. 18, pp. 461–473). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.461
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2767
Erdös, L., Yau, H., & Yin, J. (2012). Bulk universality for generalized Wigner matrices. Probability Theory and Related Fields, 154(1–2), 341–407. https://doi.org/10.1007/s00440-011-0390-3
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2768
Erdös, L., & Hasler, D. (2012). Wegner estimate and Anderson localization for random magnetic fields. Communications in Mathematical Physics, 309(2), 507–542. https://doi.org/10.1007/s00220-011-1373-z
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2769
Erdös, L., Schlein, B., Yau, H., & Yin, J. (2012). The local relaxation flow approach to universality of the local statistics for random matrices. Annales de l’institut Henri Poincare (B) Probability and Statistics, 48(1), 1–46. https://doi.org/10.1214/10-AIHP388
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2770
Erdös, L., Yau, H., & Yin, J. (2012). Rigidity of eigenvalues of generalized Wigner matrices. Advances in Mathematics, 229(3), 1435–1515. https://doi.org/10.1016/j.aim.2011.12.010
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2771
Erdös, L., & Hasler, D. (2012). Anderson localization at band edges for random magnetic fields. Journal of Statistical Physics, 146(5), 900–923. https://doi.org/10.1007/s10955-012-0445-6
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2772
Erdös, L., Fournais, S., & Solovej, J. (2012). Second order semiclassics with self generated magnetic fields. Annales Henri Poincare, 13(4), 671–730. https://doi.org/10.1007/s00023-011-0150-z
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2773
Erdös, L., & Yau, H. (2012). A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices. Electronic Journal of Probability, 17. https://doi.org/10.1214/EJP.v17-1779
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2774
Erdös, L., Fournais, S., & Solovej, J. (2012). Scott correction for large atoms and molecules in a self-generated magnetic field. Communications in Mathematical Physics, 312(3), 847–882. https://doi.org/10.1007/s00220-012-1468-1
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2775
Erdös, L., & Yau, H. (2012). Universality of local spectral statistics of random matrices. Bulletin of the American Mathematical Society, 49(3), 377–414. https://doi.org/10.1090/S0273-0979-2012-01372-1
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2776
Erdös, L., Knowles, A., Yau, H., & Yin, J. (2012). Spectral statistics of Erdős-Rényi graphs II: Eigenvalue spacing and the extreme eigenvalues. Communications in Mathematical Physics, 314(3), 587–640. https://doi.org/10.1007/s00220-012-1527-7
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2777
Erdös, L., Fournais, S., & Solovej, J. (2012). Relativistic Scott correction in self-generated magnetic fields. Journal of Mathematical Physics, 53(9). https://doi.org/10.1063/1.3697417
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2778
Bourgade, P., Erdös, L., & Yau, H. (2012). Bulk universality of general β-ensembles with non-convex potential. Journal of Mathematical Physics, 53(9). https://doi.org/10.1063/1.4751478
View | DOI
 

Filters and Search Terms

year=2012

Search

Filter Publications