Please note that ISTA 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.
9113 Publications
2012 | Conference Paper | IST-REx-ID: 2317 | 
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 | Conference Paper | IST-REx-ID: 2316 |
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 | 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. Princeton University Press. 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. Adam Mickiewicz University Press. https://doi.org/10.7169/facm/2012.47.2.9
View
| DOI
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: 2394
Freiji, A., Hainzl, C., & Seiringer, R. (2012). The gap equation for spin-polarized fermions. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.3670747
View
| DOI
2012 | Journal Article | IST-REx-ID: 2395 |
Frank, R., Hainzl, C., Seiringer, R., & Solovej, J. (2012). Microscopic derivation of Ginzburg-Landau theory. Journal of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/S0894-0347-2012-00735-8
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2396 |
Landon, B., & Seiringer, R. (2012). The scattering length at positive temperature. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-012-0566-5
View
| DOI
| Download (ext.)
2012 | Book Review | IST-REx-ID: 2398 |
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 | Journal Article | IST-REx-ID: 2397 |
Hainzl, C., & Seiringer, R. (2012). Low density limit of BCS theory and Bose-Einstein condensation of Fermion pairs. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-011-0535-4
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 240
Browning, T. D., & Valckenborgh, K. V. (2012). Sums of three squareful numbers. Experimental Mathematics. Taylor & Francis. https://doi.org/10.1080/10586458.2011.605733
View
| DOI
2012 | Journal Article | IST-REx-ID: 2400 |
Frank, R., Lieb, É., & Seiringer, R. (2012). Binding of polarons and atoms at threshold. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-012-1436-9
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2403 |
Seiringer, R., Yngvason, J., & Zagrebnov, V. (2012). Disordered Bose-Einstein condensates with interaction in one dimension. Journal of Statistical Mechanics Theory and Experiment. IOP Publishing Ltd. https://doi.org/10.1088/1742-5468/2012/11/P11007
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2402 |
Frank, R., & Seiringer, R. (2012). Lieb-Thirring inequality for a model of particles with point interactions. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.3697416
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2401 |
Lieb, É., & Seiringer, R. (2012). Further implications of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-012-0585-8
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2411 |
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. Oxford University Press. https://doi.org/10.1093/molbev/msr285
[Published Version]
View
| Files available
| DOI
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. Springer. https://doi.org/10.1007/s11856-012-0019-y
View
| DOI
2012 | Journal Article | IST-REx-ID: 242 |
Baier, S., Browning, T. D., Marasingha, G., & Zhao, L. (2012). Averages of shifted convolutions of d3 (n). Proceedings of the Edinburgh Mathematical Society. Cambridge University Press. 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. Springer Basel. https://doi.org/10.1007/s00039-012-0168-5
View
| DOI
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 | 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. Springer. https://doi.org/10.1007/s00454-011-9368-2
View
| DOI
2012 | Journal Article | IST-REx-ID: 244 |
Browning, T. D., & Haynes, A. (2012). Incomplete kloosterman sums and multiplicative inverses in short intervals. International Journal of Number Theory. World Scientific Publishing. https://doi.org/ https://doi.org/10.1142/S1793042112501448
View
| DOI
| Download (ext.)
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. Elsevier. https://doi.org/10.1016/j.comgeo.2012.03.001
View
| DOI
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. American Society of Plant Biologists. 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. Company of Biologists. https://doi.org/10.1242/dev.080861
View
| DOI
2012 | Journal Article | IST-REx-ID: 2459 |
Zwiewka, M., & Friml, J. (2012). Fluorescence imaging-based forward genetic screens to identify trafficking regulators in plants. Frontiers in Plant Science. Frontiers Research Foundation. https://doi.org/10.3389/fpls.2012.00097
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2458
Li, H., Friml, J., & Grunewald, W. (2012). Cell polarity: Stretching prevents developmental cramps. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2012.06.053
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. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2012.227538
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. BioMed Central. https://doi.org/10.1186/1750-1326-7-50
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. National Academy of Sciences. https://doi.org/10.1073/pnas.1213458109
View
| 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. Elsevier. https://doi.org/10.1016/j.neuron.2012.01.027
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. Wiley-Blackwell. https://doi.org/10.1002/hipo.20986
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. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.5243-11.2012
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. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1142-12.2012
View
| DOI
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. Wiley-Blackwell. 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. Elsevier. https://doi.org/10.1016/j.conb.2012.01.006
View
| DOI
2012 | Preprint | IST-REx-ID: 2696 |
Erdös, L. (2012). Universality for random matrices and log-gases. ArXiv. ArXiv.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2700 |
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 |
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
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 10904
Chatterjee, K., Randour, M., & Raskin, J.-F. (2012). Strategy synthesis for multi-dimensional quantitative objectives. In M. Koutny & I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory (Vol. 7454, pp. 115–131). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-32940-1_10
[Preprint]
View
| Files available
| DOI
| arXiv
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. Academic Press. https://doi.org/10.1016/j.aim.2011.12.010
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. Institute of Mathematical Statistics. https://doi.org/10.1214/10-AIHP388
View
| 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. Springer. 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. Springer. https://doi.org/10.1007/s00220-011-1373-z
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. American Mathematical Society. https://doi.org/10.1090/S0273-0979-2012-01372-1
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. American Institute of Physics. https://doi.org/10.1063/1.3697417
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. Birkhäuser. https://doi.org/10.1007/s00023-011-0150-z
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. Springer. https://doi.org/10.1007/s00220-012-1527-7
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. Springer. https://doi.org/10.1007/s00220-012-1468-1
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. Institute of Mathematical Statistics. https://doi.org/10.1214/EJP.v17-1779
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. Springer. https://doi.org/10.1007/s10955-012-0445-6
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. American Institute of Physics. https://doi.org/10.1063/1.4751478
View
| DOI
2012 | Journal Article | IST-REx-ID: 2779
Erdös, L., & Hasler, D. (2012). Wegner estimate for random magnetic Laplacian on ℤ 2. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/s00023-012-0177-9
View
| DOI
2012 | Journal Article | IST-REx-ID: 2802
Lapp, T., Rohloff, M., Vollmer, J., & Hof, B. (2012). Particle tracking for polydisperse sedimenting droplets in phase separation. Experiments in Fluids. Springer. https://doi.org/10.1007/s00348-011-1243-7
View
| DOI
2012 | Journal Article | IST-REx-ID: 2803
De Lózar, A., Mellibovsky, F., Avila, M., & Hof, B. (2012). Edge state in pipe flow experiments. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.108.214502
View
| DOI
2012 | Journal Article | IST-REx-ID: 2804
Blaschke, J., Lapp, T., Hof, B., & Vollmer, J. (2012). Breath figures: Nucleation, growth, coalescence, and the size distribution of droplets. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.109.068701
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2825
Lampert, C. (2012). Dynamic pruning of factor graphs for maximum marginal prediction (Vol. 1, pp. 82–90). Presented at the NIPS: Neural Information Processing Systems, Lake Tahoe, NV, United States: Neural Information Processing Systems.
View
2012 | Journal Article | IST-REx-ID: 2848 |
Chatterjee, K., Zufferey, D., & Nowak, M. (2012). Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2012.02.021
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2849 |
Edelsbrunner, H., & Strelkova, N. (2012). On the configuration space of Steiner minimal trees. Russian Mathematical Surveys. IOP Publishing Ltd. https://doi.org/10.1070/RM2012v067n06ABEH004820
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2876
Kiran, N., Benková, E., Reková, A., Dubová, J., Malbeck, J., Palme, K., & Brzobohatý, B. (2012). Retargeting a maize β-glucosidase to the vacuole - Evidence from intact plants that zeatin-O-glucoside is stored in the vacuole. Phytochemistry. Elsevier. https://doi.org/10.1016/j.phytochem.2012.03.012
View
| DOI
2012 | Journal Article | IST-REx-ID: 2875 |
Bielach, A., Duclercq, J., Marhavý, P., & Benková, E. (2012). Genetic approach towards the identification of auxin - cytokinin crosstalk components involved in root development. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2011.0233
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2878
Guenot, B., Bayer, E., Kierzkowski, D., Smith, R., Mandel, T., Žádníková, P., … Kuhlemeier, C. (2012). Pin1 independent leaf initiation in Arabidopsis. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.112.200402
View
| DOI
2012 | Journal Article | IST-REx-ID: 2879
Bencivenga, S., Simonini, S., Benková, E., & Colombo, L. (2012). The transcription factors BEL1 and SPL are required for cytokinin and auxin signaling during ovule development in Arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.112.100164
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2891 |
Boker, U., & Henzinger, T. A. (2012). Approximate determinization of quantitative automata. In Leibniz International Proceedings in Informatics (Vol. 18, pp. 362–373). Hyderabad, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2890
Cerny, P., Gopi, S., Henzinger, T. A., Radhakrishna, A., & Totla, N. (2012). Synthesis from incompatible specifications. In Proceedings of the tenth ACM international conference on Embedded software (pp. 53–62). Tampere, Finland: ACM. https://doi.org/10.1145/2380356.2380371
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2888
Henzinger, T. A. (2012). Quantitative reactive models. In Conference proceedings MODELS 2012 (Vol. 7590, pp. 1–2). Innsbruck, Austria: Springer. https://doi.org/10.1007/978-3-642-33666-9_1
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2903 |
Edelsbrunner, H., & Symonova, O. (2012). The adaptive topology of a digital image (pp. 41–48). Presented at the ISVD: International Symposium on Voronoi Diagrams in Science and Engineering, New Brunswick, NJ, USA : IEEE. https://doi.org/10.1109/ISVD.2012.11
[Submitted Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2916 |
Cerny, P., Chmelik, M., Henzinger, T. A., & Radhakrishna, A. (2012). Interface Simulation Distances. In Electronic Proceedings in Theoretical Computer Science (Vol. 96, pp. 29–42). Napoli, Italy: EPTCS. https://doi.org/10.4204/EPTCS.96.3
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 2917
de Vladar, H. (2012). The game of active search for extra terrestrial intelligence Breaking the Great Silence . International Journal of Astrobiology. Cambridge University Press. https://doi.org/10.1017/S1473550412000407
View
| DOI
2012 | Journal Article | IST-REx-ID: 2911
Edelsbrunner, H., Ivanov, A., & Karasev, R. (2012). Open problems in discrete and computational geometry. Automatic Control and Computer Sciences. Springer.
View
2012 | Conference Paper | IST-REx-ID: 2930 |
Huber, A., & Kolmogorov, V. (2012). Towards minimizing k-submodular functions (Vol. 7422, pp. 451–462). Presented at the ISCO: International Symposium on Combinatorial Optimization, Athens, Greece: Springer. https://doi.org/10.1007/978-3-642-32147-4_40
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Preprint | IST-REx-ID: 2928 |
Kolmogorov, V., & Schoenemann, T. (2012). Generalized sequential tree-reweighted message passing. arXiv. ArXiv.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2012 | Report | IST-REx-ID: 2929 |
Kolmogorov, V. (2012). The power of linear programming for valued CSPs: a constructive characterization. Unknown.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2937 |
Almeida, J., Barbosa, M., Bangerter, E., Barthe, G., Krenn, S., & Béguelin, S. (2012). Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols. In Proceedings of the 2012 ACM conference on Computer and communications security (pp. 488–500). Raleigh, NC, USA: ACM. https://doi.org/10.1145/2382196.2382249
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2012 | Conference Paper | IST-REx-ID: 2936 |
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2012). Finite automata with time delay blocks. In roceedings of the tenth ACM international conference on Embedded software (pp. 43–52). Tampere, Finland: ACM. https://doi.org/10.1145/2380356.2380370
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2938
Ugelvig, L. V., & Cremer, S. (2012). Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies. Functional Ecology. Wiley-Blackwell. https://doi.org/10.1111/1365-2435.12013
View
| DOI
2012 | Journal Article | IST-REx-ID: 2931
Torresani, L., Kolmogorov, V., & Rother, C. (2012). A dual decomposition approach to feature correspondence. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2012.105
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2942
Henzinger, T. A., & Nickovic, D. (2012). Independent implementability of viewpoints. In Conference proceedings Monterey Workshop 2012 (Vol. 7539, pp. 380–395). Oxford, UK: Springer. https://doi.org/10.1007/978-3-642-34059-8_20
View
| DOI
2012 | Journal Article | IST-REx-ID: 2943 |
Hadizadeh Yazdi, N., Guet, C. C., Johnson, R., & Marko, J. (2012). Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions. Molecular Microbiology. Wiley-Blackwell. https://doi.org/10.1111/mmi.12071
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2012 | Journal Article | IST-REx-ID: 2941 |
Dolbilin, N., Edelsbrunner, H., & Musin, O. (2012). On the optimality of functionals over triangulations of Delaunay sets. Russian Mathematical Surveys. IOP Publishing. https://doi.org/10.1070/RM2012v067n04ABEH004807
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2946 |
Dueck, A., Ziegler, C., Eichner, A., Berezikov, E., & Meister, G. (2012). MicroRNAs associated with the different human Argonaute proteins. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gks705
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2947 |
Chatterjee, K., Chmelik, M., & Majumdar, R. (2012). Equivalence of games with probabilistic uncertainty and partial observation games (Vol. 7561, pp. 385–399). Presented at the ATVA: Automated Technology for Verification and Analysis, Thiruvananthapuram, India: Springer. https://doi.org/10.1007/978-3-642-33386-6_30
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2945
Girard, J., Moussion, C., & Förster, R. (2012). HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes. Nature Reviews Immunology. Nature Publishing Group. https://doi.org/10.1038/nri3298
View
| DOI
2012 | Journal Article | IST-REx-ID: 2949
Dupret, D., & Csicsvari, J. L. (2012). The medial entorhinal cortex keeps Up. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.3245
View
| DOI
| Download None (ext.)
2012 | Journal Article | IST-REx-ID: 2954 |
Pernia-Andrade, A., Goswami, S., Stickler, Y., Fröbe, U., Schlögl, A., & Jonas, P. M. (2012). A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo. Biophysical Journal. Biophysical. https://doi.org/10.1016/j.bpj.2012.08.039
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2950
Behrndt, M., Salbreux, G., Campinho, P., Hauschild, R., Oswald, F., Roensch, J., … Heisenberg, C.-P. J. (2012). Forces driving epithelial spreading in zebrafish gastrulation. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1224143
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2951
Maître, J.-L., Berthoumieux, H., Krens, G., Salbreux, G., Julicher, F., Paluch, E., & Heisenberg, C.-P. J. (2012). Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1225399
View
| DOI
2012 | Journal Article | IST-REx-ID: 2952
Tada, M., & Heisenberg, C.-P. J. (2012). Convergent extension Using collective cell migration and cell intercalation to shape embryos. Development. Company of Biologists. https://doi.org/10.1242/dev.073007
View
| DOI
2012 | Journal Article | IST-REx-ID: 2953
Heisenberg, C.-P. J., & Fässler, R. (2012). Cell-cell adhesion and extracellular matrix diversity counts. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2012.09.002
View
| DOI
2012 | Journal Article | IST-REx-ID: 2958 |
Allen, K., Rawlins, J. N., Bannerman, D., & Csicsvari, J. L. (2012). Hippocampal place cells can encode multiple trial-dependent features through rate remapping. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.6175-11.2012
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2959 |
Uhler, C. (2012). Geometry of maximum likelihood estimation in Gaussian graphical models. Annals of Statistics. Institute of Mathematical Statistics. https://doi.org/10.1214/11-AOS957
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2966 |
Cremer, S., Suefuji, M., Schrempf, A., & Heinze, J. (2012). The dynamics of male-male competition in Cardiocondyla obscurior ants. BMC Ecology. BioMed Central. https://doi.org/10.1186/1472-6785-12-7
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2962 |
Aeschbacher, S., Beaumont, M., & Futschik, A. (2012). A novel approach for choosing summary statistics in approximate Bayesian computation. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.112.143164
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2965 |
Danowski, P. (2012). Kontext Open Access: Creative Commons. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare. VÖB.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2012 | Journal Article | IST-REx-ID: 2963
Jesse, F., & Riebel, K. (2012). Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata. Behavioural Processes. Elsevier. https://doi.org/10.1016/j.beproc.2012.09.006
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2974 |
Jain, A., Krenn, S., Pietrzak, K. Z., & Tentes, A. (2012). Commitments and efficient zero knowledge proofs from learning parity with noise. In X. Wang & K. Sako (Eds.) (Vol. 7658, pp. 663–680). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Beijing, China: Springer. https://doi.org/10.1007/978-3-642-34961-4_40
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2969 |
Goswami, S., Bucurenciu, I., & Jonas, P. M. (2012). Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.6104-11.2012
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2970
Kicheva, A., Bollenbach, M. T., Wartlick, O., Julicher, F., & Gonzalez Gaitan, M. (2012). Investigating the principles of morphogen gradient formation: from tissues to cells. Current Opinion in Genetics & Development. Elsevier. https://doi.org/10.1016/j.gde.2012.08.004
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2971
Zankl, G., Haxhimusa, Y., & Ion, A. (2012). Interactive labeling of image segmentation hierarchies (Vol. 7476, pp. 11–20). Presented at the Pattern Recognition, Graz, Austria: Springer. https://doi.org/10.1007/978-3-642-32717-9_2
View
| DOI