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: 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. Public Library of Science. 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. The Company of Biologists. 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. IEEE. 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. American Association for the Advancement of Science. 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. American Association for the Advancement of Science. 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. European Mathematical Society. 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. 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 | 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 | OA
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 | OA
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 | 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. Springer. 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. Taylor & Francis. 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. Springer. 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. Springer. 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. American Institute of Physics. 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. IOP Publishing Ltd. 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. Springer. 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. Oxford University Press. 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. 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 | 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: 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 | 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. World Scientific Publishing. 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. 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: 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: 2459 | OA
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
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. Elsevier. 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. BioMed Central. 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. Wiley-Blackwell. 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. National Academy of Sciences. 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. Society for Neuroscience. 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. Wiley-Blackwell. https://doi.org/10.1002/hipo.20986
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 | 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 | 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. 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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 | OA
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
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2849 | OA
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
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2875 | OA
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: 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: 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: 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: 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: 2891 | OA
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
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2902
Edelsbrunner, H., Musin, O., Ukhalov, A., Yakimova, O., Alexeev, V., Bogaevskaya, V., … Preobrazhenskaya, M. (2012). Fractal and computational geometry for generalizing cartographic objects. Modeling and Analysis of Information Systems. Technische Universität Darmstadt.
View | Download None (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2903 | OA
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
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2904 | OA
Pausinger, F. (2012). Weak multipliers for generalized van der Corput sequences. Journal de Theorie Des Nombres Des Bordeaux. Universite de Bordeaux. https://doi.org/10.5802/jtnb.819
View | Files available | 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 | Journal Article | IST-REx-ID: 2912
Edelsbrunner, H., & Strelkova, N. (2012). Configuration space for shortest networks . Uspekhi Mat. Nauk. Moscow Mathematical Society . https://doi.org/10.4213/rm9503
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2915
Kroemer, O., Lampert, C., & Peters, J. (2012). Multi-modal learning for dynamic tactile sensing. Deutsches Zentrum für Luft und Raumfahrt.
View
 

2012 | Conference Paper | IST-REx-ID: 2916 | OA
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
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 | Preprint | IST-REx-ID: 2928 | OA
Kolmogorov, V., & Schoenemann, T. (2012). Generalized sequential tree-reweighted message passing. arXiv. ArXiv.
View | Download Preprint (ext.) | arXiv
 

2012 | Report | IST-REx-ID: 2929 | OA
Kolmogorov, V. (2012). The power of linear programming for valued CSPs: a constructive characterization. Unknown.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2930 | OA
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
View | DOI | Download Preprint (ext.)
 

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: 2936 | OA
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
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2937 | OA
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
View | DOI | Download Submitted Version (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: 2941 | OA
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
View | Files available | 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 | OA
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
View | DOI | Download Submitted Version (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: 2946 | OA
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
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2947 | OA
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
View | DOI | Download Preprint (ext.)
 

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: 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
 

Filters and Search Terms

year=2012

Search

Filter Publications