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 | Journal Article | IST-REx-ID: 218
De La Bretèche R, Browning TD. Sums of arithmetic functions over values of binary forms. Acta Arithmetica. 2006;125(3):291-304. doi:10.4064/aa125-3-6
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2333 | OA
Lieb É, Seiringer R, Solovej J. Ground-state energy of a dilute Fermi gas. In: Vol 412. American Mathematical Society; 2006:239-248. doi:10.1090/conm/412
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 2334 | OA
Seiringer R, Lieb É, Yngvason J. One-dimensional behavior of dilute, trapped Bose gases in traps. In: Zambrini J, ed. World Scientific Publishing; 2006. doi:10.1007/s00220-003-0993-3
View | DOI | Download (ext.)
 

2006 | Book Review | IST-REx-ID: 2363 | OA
Lieb É, Seiringer R. Derivation of the Gross-Pitaevskii equation for rotating Bose gases. Communications in Mathematical Physics. 2006;264(2):505-537. doi:10.1007/s00220-006-1524-9
View | DOI | Download (ext.)
 

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

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

2006 | Journal Article | IST-REx-ID: 2366 | OA
Frank R, Laptev A, Lieb É, Seiringer R. Lieb-Thirring inequalities for Schrödinger operators with complex-valued potentials. Letters in Mathematical Physics. 2006;77(3):309-316. doi:10.1007/s11005-006-0095-1
View | DOI | Download (ext.)
 

2006 | Book Chapter | IST-REx-ID: 2368
Seiringer R. Dilute, trapped Bose gases and Bose-Einstein condensation. In: Dereziński J, Siedentop H, eds. Large Coulomb Systems. Vol 695. Springer; 2006:249-274. doi:10.1007/3-540-32579-4_6
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 2369 | OA
Aizenman M, Lieb É, Seiringer R, Solovej J, Yngvason J. Bose-Einstein condensation as a quantum phase transition in an optical lattice. In: Asch J, Joye A, eds. Mathematical Physics of Quantum Mechanics. Vol 690. Springer; 2006:199-215. doi:10.1007/b11573432
View | DOI | Download (ext.)
 

2006 | Book Chapter | IST-REx-ID: 2416
Bang Jensen J, Reed B, Schacht B, Šámal R, Toft B, Wagner U. On six problems posed by Jarik Nešetřil. In: Topics in Discrete Mathematics. Vol 26. Springer; 2006:613-627. doi:10.1007/3-540-33700-8_30
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2429
Matoušek J, Sharir M, Smorodinsky S, Wagner U. K-sets in four dimensions. Discrete & Computational Geometry. 2006;35(2):177-191. doi:10.1007/s00454-005-1200-4
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2430
Chent K, Fiat A, Kaplan H, et al. Online conflict-free coloring for intervals. SIAM Journal on Computing. 2006;36(5):1342-1359. doi:10.1137/S0097539704446682
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2431
Wagner U. On a geometric generalization of the Upper Bound Theorem. In: IEEE; 2006:635-645. doi:10.1109/FOCS.2006.53
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2657
Luján R, Shigemoto R. Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum. European Journal of Neuroscience. 2006;23(6):1479-1490. doi:10.1111/j.1460-9568.2006.04669.x
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2659
Inamura M, Itakura M, Okamoto H, et al. Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons. Neuroscience Research. 2006;55(1):45-53. doi:10.1016/j.neures.2006.01.004
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2660
Shaban H, Humeau Y, Herry C, et al. Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition. Nature Neuroscience. 2006;9(8):1028-1035. doi:10.1038/nn1732
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2661
Vigot R, Barbieri S, Bräuner Osborne H, et al. Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants. Neuron. 2006;50(4):589-601. doi:10.1016/j.neuron.2006.04.014
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2662
Kulik Á, Vida I, Fukazawa Y, et al. Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells. Journal of Neuroscience. 2006;26(16):4289-4297. doi:10.1523/JNEUROSCI.4178-05.2006
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2663
Kodama T, Itsukaichi Nishida Y, Fukazawa Y, et al. A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. European Journal of Neuroscience. 2006;24(11):2993-3007. doi:10.1111/j.1460-9568.2006.05191.x
View | DOI
 

2006 | Book Review | IST-REx-ID: 2664
Ferraguti F, Shigemoto R. Metabotropic glutamate receptors. Cell and Tissue Research. 2006;326(2):483-504. doi:10.1007/s00441-006-0266-5
View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 2746
Erdös L, Salmhofer M, Yau H. Towards the quantum Brownian motion. In: Vol 690. World Scientific Publishing; 2006:233-257. doi:10.1007/3-540-34273-7_18
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2747
Erdös L, Schlein B, Yau H. Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. Communications on Pure and Applied Mathematics. 2006;59(12):1659-1741. doi:10.1002/cpa.20123
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2791
Hof B, Westerweel J, Schneider T, Eckhardt B. Finite lifetime of turbulence in shear flows. Nature. 2006;443(7107):59-62. doi:10.1038/nature05089
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2792
Hof B, Van Doorne C, Westerweel J, Nieuwstadt F. Observation of nonlinear travelling waves in turbulent pipe flow. Fluid Mechanics and its Applications. 2006;78:109-114. doi:10.1007/1-4020-4159-4_11
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4173 | OA
Link V, Shevchenko A, Heisenberg C. Proteomics of early zebrafish embryos. BMC Developmental Biology. 2006;6:1-9. doi:10.1186/1471-213X-6-1
View | DOI | Download (ext.)
 

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

2006 | Journal Article | IST-REx-ID: 4178
Langenberg T, Dracz T, Oates A, Heisenberg C, Brand M. Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. 2006;235(4):928-933. doi:10.1002/dvdy.20692
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4184
Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C. Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development. 2006;133(14):2671-2681. doi:doi: 10.1242/dev.02439
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4218
Blaser H, Reichman Fried M, Castanon I, et al. Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. 2006;11(5):613-627. doi:10.1016/j.devcel.2006.09.023
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4235
Vladar H, González J. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. 2006:91-109.
View
 

2006 | Journal Article | IST-REx-ID: 4237
De Vladar H. Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. 2006;238(2):245-256. doi:3802
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4248
Roze D, Barton NH. The Hill-Robertson effect and the evolution of recombination. Genetics. 2006;173(3):1793-1811. doi:10.1534/genetics.106.058586
View | DOI
 

2006 | Book Review | IST-REx-ID: 4250
Barton NH. Evolutionary Biology: How did the human species form? Current Biology. 2006;16(16):647-650. doi:10.1016/j.cub.2006.07.032
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4345
Danowski P, Heller L. Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. 2006;40(11):1250-1271. doi:424
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4351
Bollback JP. SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics. 2006;7. doi:10.1186/1471-2105-7-88
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4352
Conn J, Vineis J, Bollback JP, Onyabe D, Wilkerson R, Povoa M. Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil. The American Journal of Tropical Medicine and Hygiene. 2006;74(5):798-806.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 4359
Wies T, Kuncak V, Lam P, Podelski A, Rinard M. Field Constraint Analysis. In: Springer; 2006:157-173. doi:1551
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4373
Maler O, Nickovic D, Pnueli A. Real Time Temporal Logic: Past, Present, Future. In: Springer; 2006:2-16. doi:1571
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4374
Maler O, Nickovic D, Pnueli A. From MITL to Timed Automata. In: Springer; 2006:274-289. doi:1570
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Alur R, Cerny P, Zdancewic S. Preserving Secrecy Under Refinement. In: Springer; 2006:107-118. doi:1543
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4406
De Wulf M, Doyen L, Henzinger TA, Raskin J. Antichains: A new algorithm for checking universality of finite automata. In: Vol 4144. Springer; 2006:17-30. doi:10.1007/11817963_5
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
Henzinger TA, Sifakis J. The embedded systems design challenge. In: Vol 4085. Springer; 2006:1-15. doi:10.1007/11813040_1
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
Henzinger TA, Prabhu V. Timed alternating-time temporal logic. In: Vol 4202. Springer; 2006:1-17. doi:10.1007/11867340_1
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
Henzinger TA, Matic S. An interface algebra for real-time components. In: IEEE; 2006:253-266. doi:10.1109/RTAS.2006.11
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
Henzinger TA, Piterman N. Solving games without determinization. In: Vol 4207. Springer; 2006:395-410. doi:10.1007/11874683_26
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
Henzinger TA, Kupferman O, Majumdar R. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 2006;354(2):173-186. doi:10.1016/j.tcs.2005.11.015
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4523
Gulavani B, Henzinger TA, Kannan Y, Nori A, Rajamani S. Synergy: A new algorithm for property checking. In: ACM; 2006:117-127. doi:10.1145/1181775.1181790
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. A hierarchical coordination language for interacting real-time tasks. In: ACM; 2006:132-141. doi:10.1145/1176887.1176907
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4528
Fisher J, Henzinger TA. Executable biology. In: IEEE; 2006:1675-1682. doi:10.1109/WSC.2006.322942
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications