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.

191 Publications


2006 | Conference Paper | IST-REx-ID: 2333   OA
Lieb É, Seiringer R, Solovej J. 2006. Ground-state energy of a dilute Fermi gas. Differential Equations and Mathematical Physics, Contemporary Mathematics, vol. 412. 239–248.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 2364   OA
Seiringer R. 2006. A correlation estimate for quantum many-body systems at positive temperature. Reviews in Mathematical Physics. 18(3), 233–253.
View | DOI | Download (ext.)
 

2006 | Book Chapter | IST-REx-ID: 2369   OA
Aizenman M, Lieb É, Seiringer R, Solovej J, Yngvason J. 2006. Bose-Einstein condensation as a quantum phase transition in an optical lattice. Mathematical Physics of Quantum Mechanics. , LNP, vol. 690. 199–215.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 2662
Kulik Á, Vida I, Fukazawa Y, Guetg N, Kasugai Y, Marker C, Rigato F, Bettler B, Wickman K, Frotscher M, Shigemoto R. 2006. Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells. Journal of Neuroscience. 26(16), 4289–4297.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3002
Sauer M, Friml J. 2006. In vitro culture of Arabidopsis embryos. Somatic Embryogenesis. , Plant Cell Monographs, vol. 2. 343–354.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3007
Abas L, Benjamins R, Malenica N, Paciorek T, Wiśniewska J, Moulinier Anzola J, Sieberer T, Friml J, Luschnig C. 2006. Intracellular trafficking and proteolysis of the Arabidopsis auxin-efflux facilitator PIN2 are involved in root gravitropism. Nature Cell Biology. 8(3), 249–256.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3014
Brewer P, Heisler M, Hejátko J, Friml J, Benková E. 2006. In situ hybridization for mRNA detection in Arabidopsis tissue sections. Nature Protocols. 1(3), 1462–1467.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3184
Kolmogorov V, Rother C. 2006. Comparison of energy minimization algorithms for highly connected graphs. ECCV: European Conference on Computer Vision, LNCS, vol. 3952 LNCS. 1–15.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3189
Criminisi A, Cross G, Blake A, Kolmogorov V. 2006. Bilayer segmentation of live video. CVPR: Computer Vision and Pattern Recognition vol. 1. 53–60.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3216
Pietrzak KZ. 2006. A tight bound for EMAC. ICALP: Automata, Languages and Programming, LNCS, vol. 4052. 168–179.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3728
Cieplak M, Filipek S, Janovjak HL, Krzysko K. 2006. Pulling single bacteriorhodopsin out of a membrane: Comparison of simulation and experiment. Biochimica et Biophysica Acta (BBA) - Biomembranes. 1758(4), 537–544.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3413
Kessler M, Gottschalk K, Janovjak HL, Mueller D, Gaub H. 2006. Bacteriorhodopsin folds into the membrane against an external force. Journal of Molecular Biology. 357(2), 644–654.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3437
Betancourt A, Bollback JP. 2006. Fitness effects of beneficial mutations: the mutational landscape model in experimental evolution. Current Opinion in Genetics & Development. 16(6), 618–623.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3449
Chatterjee K, Jagadeesan R, Pitcher C. 2006. Games for controls. CSF: Computer Security Foundations 70–82.
View | DOI
 

2006 | Book Review | IST-REx-ID: 3463
Bischofberger J, Engel D, Frotscher M, Jonas PM. 2006. Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. (Review). Pflugers Archiv : European Journal of Physiology. 453(3), 361–372.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3608
Kirkpatrick M, Barton NH. 2006. Chromosome inversions, local adaptation, and speciation. Genetics. 173(1), 419–434.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3610
Hill W, Barton NH, Turelli M. 2006. Prediction of effects of genetic drift on variance components under a general model of epistasis. Theoretical Population Biology. 70(1), 56–62.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3677
Ulges A, Lampert C, Keysers D. 2006. Spatiogram-based shot distances for video retrieval. TRECVID Workshop, TRECVID Notebook Papers and Slides, 1–10.
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3545
Magill P, Pogosyan A, Sharott A, Csicsvari JL, Bolam J, Brown P. 2006. Changes in functional connectivity within the rat striatopallidal axis during global brain activation in vivo. Journal of Neuroscience. 26(23), 6318–6329.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3499
Chatterjee K. 2006. Nash equilibrium for upward-closed objectives. CSL: Computer Science Logic, LNCS , vol. 4207. 271–286.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3817
Frotscher M, Gundelfinger E, Jonas PM, Neher E, Seeburg P. 2006. The most important recent advances in synapse research from my point of view--and what remains to be done. Cell and Tissue Research. 326(2), 203–4.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3913
Heinze J, Cremer S, Eckl N, Schrempf A. 2006. Stealthy invaders: the biology of Cardiocondyla tramp ants. Insectes Sociaux. 53(1), 1–7.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3932
Henic E, Sixt MK, Hansson S, Høyer Hansen G, Casslén B. 2006. EGF-stimulated migration in ovarian cancer cells is associated with decreased internalization, increased surface expression, and increased shedding of the urokinase plasminogen activator receptor. Gynecologic Oncology. 101(1), 28–39.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
Beyer D, Henzinger TA, Théoduloz G. 2006. Lazy shape analysis. CAV: Computer Aided Verification, LNCS, vol. 4144. 532–546.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4550
Chatterjee K, Henzinger TA, Jurdziński M. 2006. Games with secure equilibria. Theoretical Computer Science. 365(1–2), 67–82.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 583
Rangarajan R, Peters N, Hosten O, Altepeter J, Jeffrey E, Kwiat P. 2006. Improved single-photon detection. CLEO/QELS: Conference on Lasers and Electro-Optics / Quantum Electronics and Laser Science Conference
View | DOI
 

2006 | Journal Article | IST-REx-ID: 6152
Rogers C, Persson A, Cheung B, de Bono M. 2006. Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans. Current Biology. 16(7), 649–659.
View | DOI | PubMed | Europe PMC
 

2006 | Conference Paper | IST-REx-ID: 7326
Büchi FN, Freunberger SA, Santis M. 2006. What is learned beyond the scale of single cells? ECS Transactions. ECS Meeting vol. 3. 963–968.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1033   OA
Kraemer T, Mark M, Waldburger P, Danzl J, Chin C, Engeser B, Lange A, Pilch K, Jaakkola A, Nägerl H, Grimm R. 2006. Evidence for Efimov quantum states in an ultracold gas of caesium atoms. Nature. 440(7082), 315–318.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 1716
Dudu V, Bittig T, Entchev E, Kicheva A, Julicher F, González Gaitán M. 2006. Erratum: Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology. 16(12).
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1747
Rastelli A, Stoffel M, Katsaros G, Tersoff J, Denker U, Merdzhanova T, Kar G, Costantini G, Kern K, Von Känel H, Schmidt O. 2006. Reading the footprints of strained islands. Microelectronics Journal. 37(12), 1471–1476.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2144
Vedrinskiǐ R, Nazarenko E, Lemeshko M, Nassif V, Proux O, Novakovich A, Joly Y. 2006. Temperature dependent XAFS studies of local atomic structure of the perovskite-type zirconates. Physical Review B - Condensed Matter and Materials Physics. 73(13).
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2663
Kodama T, Itsukaichi Nishida Y, Fukazawa Y, Wakamori M, Miyata M, Molnár E, Mori Y, Shigemoto R, Imoto K. 2006. A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. European Journal of Neuroscience. 24(11), 2993–3007.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2334   OA
Seiringer R, Lieb É, Yngvason J. 2006. One-dimensional behavior of dilute, trapped Bose gases in traps. ICMP: International Congress on Mathematical Physics
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 2365   OA
Seiringer R. 2006. The thermodynamic pressure of a dilute fermi gas. Communications in Mathematical Physics. 261(3), 729–757.
View | DOI | Download (ext.)
 

2006 | Book Chapter | IST-REx-ID: 2416
Bang Jensen J, Reed B, Schacht B, Šámal R, Toft B, Wagner U. 2006. On six problems posed by Jarik Nešetřil. Topics in Discrete Mathematics. , Algorithms and Combinatorics, vol. 26. 613–627.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2745
Elgart A, Erdös L, Schlein B, Yau H. 2006. Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons. Archive for Rational Mechanics and Analysis. 179(2), 265–283.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2430
Chent K, Fiat A, Kaplan H, Levy M, Matoušek J, Mossel E, Pach J, Sharir M, Smorodinsky S, Wagner U, Welzl E. 2006. Online conflict-free coloring for intervals. SIAM Journal on Computing. 36(5), 1342–1359.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3008
Xu J, Hofhuis H, Heidstra R, Sauer M, Friml J, Scheres B. 2006. A molecular framework for plant regeneration. Science. 311(5759), 385–388.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3010
Scarpella E, Marcos D, Friml J, Berleth T. 2006. Control of leaf vascular patterning by polar auxin transport. Genes and Development. 20(8), 1015–1027.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3015
Sauer M, Paciorek T, Benková E, Friml J. 2006. Immunocytochemical techniques for whole mount in situ protein localization in plants. Nature Protocols. 1(1), 98–103.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3180
Szeliski R, Zabih R, Scharstein D, Veksler O, Kolmogorov V, Agarwala A, Tappen M, Rother C. 2006. A comparative study of energy minimization methods for Markov random fields. ECCV: European Conference on Computer Vision vol. 3952. 16–29.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3185
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. 2006. Probabilistic fusion of stereo with color and contrast for bilayer segmentation. IEEE Transactions on Pattern Analysis and Machine Intelligence. 28(9), 1480–1492.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3217
Pietrzak KZ. 2006. Composition implies adaptive security in minicrypt. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 4004. 328–338.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3414
Kedrov A, Janovjak HL, Ziegler C, Kühlbrandt W, Mueller D. 2006. Observing folding pathways and kinetics of a single sodium-proton antiporter from Escherichia coli. Journal of Molecular Biology. 355(1), 2–8.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3729
Bippes C, Humphris A, Stark M, Mueller D, Janovjak HL. 2006. Direct measurement of single-molecule visco-elasticity in atomic force microscope force-extension experiments. European Biophysics Journal. 35(3), 287–292.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3750
Le T, Guet CC, Cluzel P. 2006. Protein expression enhancement in efflux-deleted mutant bacteria. Protein Expression and Purification. 48(1), 28–31.
View
 

2006 | Journal Article | IST-REx-ID: 3755   OA
Le T, Emonet T, Harlepp S, Guet CC, Cluzel P. 2006. Dynamical determinants of drug-inducible gene expression in a single bacterium. Biophysical Journal. 90(9), 3315–3321.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3767
Kupczok A, Dittrich P. 2006. Determinants of simulated RNA evolution. Journal of Theoretical Biology. 238(3), 726–35.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3609
Yanchukov A, Hofman S, Szymura J, Mezhzherin S, Morozov Leonov S, Barton NH, Nürnberger B. 2006. Hybridization of Bombina bombina and B. variegata (Anura, Discoglossidae) at a sharp ecotone in western Ukraine: comparisons across transects and over time. Evolution; International Journal of Organic Evolution. 60(3), 583–600.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3680
Lampert C, Mei L, Breuel T. 2006. Printing technique classification for document counterfeit detection. CIS: Computational Intelligence and Security vol. 1. 639–634.
View | DOI | Download (ext.)
 

2006 | Patent | IST-REx-ID: 3510
Edelsbrunner H, Fu P, Nekhayev D, Facello M, Williams S. 2006. Method, apparatus and computer program products for automatically generating NURBS models of triangulated surfaces using homeomorphism.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3522
O’Neill J, Senior T, Csicsvari JL. 2006. Place-selective firing of CA1 pyramidal cells during sharp wave/ripple network patterns in exploratory behavior. Neuron. 49(1), 143–155.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3560
Edelsbrunner H, Morozov D, Pascucci V. 2006. Persistence-sensitive simplification of functions on 2-manifolds. SCG: Symposium on Computational Geometry 127–134.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3813   OA
Aponte Y, Lien C, Reisinger E, Jonas PM. 2006. Hyperpolarization-activated cation channels in fast-spiking interneurons of rat hippocampus. Journal of Physiology. 574(Pt 1), 229–43.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3818
Bischofberger J, Engel D, Li L, Geiger J, Jonas PM. 2006. Patch-clamp recording from mossy fiber terminals in hippocampal slices. Nature Protocols. 1(4), 2075–81.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3685
Lampert C. 2006. Machine learning for video compression: Macroblock mode decision. ICPR: International Conference on Pattern Recognition 936–940.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3692
Keysers D, Lampert C, Breuel T. 2006. Color image dequantization by constrained diffusion. SPIE Electronic Imaging vol. 6058.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3914
Moder K, Schlick Steiner B, Steiner F, Cremer S, Christian E, Seifert B. 2006. Optimal species distinction by discriminant analysis: comparing established methods of character selection with a combination procedure using ant morphometrics as a case study. Journal of Zoological Systematics and Evolutionary Research. 45(1), 82–87.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4140
Witzel S, Zimyanin V, Carreira Barbosa F, Tada M, Heisenberg C. 2006. Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane. Journal of Cell Biology. 175(5), 791–802.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4145
Tonelli D, Calegari F, Fei J, Nomura T, Osumi N, Heisenberg C, Huttner W. 2006. Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid. Biotechniques. 41(6), 727–732.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4176
Link V, Carvalho L, Castanon I, Stockinger P, Shevchenko A, Heisenberg C. 2006. Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science. 119(10), 2073–2083.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
Henzinger TA, Sifakis J. 2006. The embedded systems design challenge. FM: Formal Methods, LNCS, vol. 4085. 1–15.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
Henzinger TA, Matic S. 2006. An interface algebra for real-time components. RTAS: Real-time and Embedded Technology and Applications Symposium 253–266.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4359
Wies T, Kuncak V, Lam P, Podelski A, Rinard M. 2006. Field Constraint Analysis. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS 3855, 157–173.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4373
Maler O, Nickovic D, Pnueli A. 2006. Real Time Temporal Logic: Past, Present, Future. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, 2–16.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee K, De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2006. Compositional quantitative reasoning. QEST: Quantitative Evaluation of Systems 179–188.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee K, Majumdar R, Henzinger TA. 2006. Markov decision processes with multiple objectives. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 3884. 325–336.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 577
Rangarajan R, Altepeter J, Jeffrey E, Stoutimore M, Peters N, Hosten O, Kwiat P. 2006. High-efficiency single-photon detectors. Unknown (978-081946470-5), Proceedings of SPIE, vol. 6372.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 868
Kondrashov F, Koonin E, Morgunov I, Finogenova T, Kondrashova M. 2006. Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation. Biology Direct. 1.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7327
Santis M, Freunberger SA, Papra M, Wokaun A, Büchi FN. 2006. Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks. Journal of Power Sources. 161(2), 1076–1083.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed