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.

96 Publications


2004 | Journal Article | IST-REx-ID: 1963
Substrate-induced conformational change in bacterial complex I
A. Mamedova, P. Holt, J. Carroll, L.A. Sazanov, Journal of Biological Chemistry 279 (2004) 23830–23836.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 209
Equal sums of three powers
T.D. Browning, R. Heath Brown, Inventiones Mathematicae 157 (2004) 553–573.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2308
Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity
G. Novarino, C. Fabrizi, R. Tonini, M. Denti, A. Malchiodi, G. Lauro, B. Sacchetti, S. Paradisi, A. Ferroni, P. Curmi, S. Breit, M. Mazzanti, Journal of Neuroscience 24 (2004) 5322–5330.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2355 | OA
Equivalent forms of the Bessis-Moussa-Villani conjecture
É. Lieb, R. Seiringer, Journal of Statistical Physics 115 (2004) 185–190.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2356 | OA
One-dimensional behavior of dilute, trapped Bose gases
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 244 (2004) 347–393.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2360 | OA
Bose-Einstein quantum phase transition in an optical lattice model
M. Aizenman, É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, Physical Review A - Atomic, Molecular, and Optical Physics 70 (2004) 023612-1-0236121-2.
View | DOI | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 2417
Convex quadrilaterals and k-sets
L. Lovász, K. Vesztergombi, U. Wagner, E. Welzl, in:, J. Pach (Ed.), Towards a Theory of Geometric Graphs, American Mathematical Society, 2004, pp. 139–148.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2425
New constructions of weak ε-nets
J. Matoušek, U. Wagner, Discrete & Computational Geometry 32 (2004) 195–206.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2426
Shape dimension and intrinsic metric from samples of manifolds
J. Giesen, U. Wagner, Discrete & Computational Geometry 32 (2004) 245–267.
View | DOI
 

2004 | Book Review | IST-REx-ID: 2461
The Matryoshka dolls of plant polarity
M. Sauer, J. Friml, Development 131 (2004) 5774–5775.
View | DOI
 

2004 | Book Review | IST-REx-ID: 2636
Function and distribution of glutamate receptors in the central synapses
A. Momiyama, R. Shigemoto, Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme 49 (2004) 287–294.
View
 

2004 | Journal Article | IST-REx-ID: 2638
Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum
Á. Kulik, K. Nakadate, A. Hagiwara, Y. Fukazawa, R. Luján, H. Saito, N. Suzuki, A. Futatsugi, K. Mikoshiba, M. Frotscher, R. Shigemoto, European Journal of Neuroscience 19 (2004) 2169–2178.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2639
GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat
J. Somogyi, A. Baude, Y. Omori, H. Shimizu, S. El Mestikawy, M. Fukaya, R. Shigemoto, M. Watanabe, P. Somogyi, European Journal of Neuroscience 19 (2004) 552–569.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2640
Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain
T. Notomi, R. Shigemoto, Journal of Comparative Neurology 471 (2004) 241–276.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2641
Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic trigeminal neurons
Y. Kang, T. Notomi, M. Saito, W. Zhang, R. Shigemoto, Journal of Neuroscience 24 (2004) 3694–3702.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2642
Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus
F. Ferraguti, P. Cobden, M. Pollard, D. Cope, R. Shigemoto, M. Watanabe, P. Somogyi, Hippocampus 14 (2004) 193–215.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2643
Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat
R. Luján, R. Shigemoto, Á. Kulik, J. Juíz, Journal of Comparative Neurology 475 (2004) 36–46.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2644
Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat
N. Kogo, Y. Dalezios, M. Capogna, F. Ferraguti, R. Shigemoto, P. Somogyi, European Journal of Neuroscience 19 (2004) 2727–2740.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2645
HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons
S. Chan, R. Shigemoto, J. Mercer, J. Surmeier, Journal of Neuroscience 24 (2004) 9921–9932.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2646
Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development
G. López Bendito, R. Shigemoto, Á. Kulik, I. Vida, A. Fairén, R. Luján, Hippocampus 14 (2004) 836–848.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2706
Magnetic Lieb-Thirring inequalities with optimal dependence on the field strength
L. Erdös, J. Solovej, Journal of Statistical Physics 116 (2004) 475–506.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2707
On the quantum Boltzmann equation
L. Erdös, M. Salmhofer, H. Yau, Journal of Statistical Physics 116 (2004) 367–380.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2741 View | DOI
 

2004 | Journal Article | IST-REx-ID: 2742
Nonlinear Hartree equation as the mean field limit of weakly coupled fermions
A. Elgart, L. Erdös, B. Schlein, H. Yau, Journal de Mathématiques Pures et Appliquées 83 (2004) 1241–1273.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2786
Experimental observation of nonlinear traveling waves in turbulent pipe flow
B. Hof, C. Van Doorne, J. Westerweel, F. Nieuwstadt, H. Faisst, B. Eckhardt, H. Wedin, R. Kersweli, F. Waleffe, Science 305 (2004) 1594–1598.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2787
On the onset of oscillatory convection in molten gallium
B. Hof, A. Juel, L. Zhao, D. Henry, H. Ben Hadid, T. Mullin, Journal of Fluid Mechanics 515 (2004) 391–413.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4172
Gastrulation dynamics: cells move into focus
J. Montero, C. Heisenberg, Trends in Cell Biology 14 (2004) 620–627.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4224
Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model
K. Kruse, P. Pantazis, T. Bollenbach, F. Julicher, M. Gonzalez Gaitan, Development 131 (2004) 4843–4856.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
A mechanism for the prebiotic emergence of proteins
H. Vladar, R. Cipriani, B. Scharifker, J. Bubis, in:, A. Hanslmeier, S. Kempe, J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, Springer, 2004, pp. 83–87.
View
 

2004 | Thesis | IST-REx-ID: 4236
Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares
H. De Vladar, Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares, Centro de estudios avazados, IVIC, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4238
Dynamic response of cancer under the influence of immunological activity and therapy
H. De Vladar, J. González, Journal of Theoretical Biology 227 (2004) 335–348.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4239
A Mechanism for the Prebiotic Emergence of Proteins
H. Vladar, R. Cipriani, B. Scharifker, J. Bubis, in:, J. Seckbach, J. Chela Flores, T. Owen, F. Raulin (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, Springer, 2004, pp. 83–87.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
Coalescence in a Random Background
N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4372
Monitoring Temporal Properties of Continuous Signals
O. Maler, D. Nickovic, in:, Springer, 2004, pp. 152–166.
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Program verification by lazy abstraction
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
View
 

2004 | Conference Paper | IST-REx-ID: 4445
A typed assembly language for real-time programs
T.A. Henzinger, C. Kirsch, in:, ACM, 2004, pp. 104–113.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Abstractions from proofs
T.A. Henzinger, R. Jhala, R. Majumdar, K. Mcmillan, in:, ACM, 2004, pp. 232–244.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Race checking by context inference
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Extreme model checking
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer, 2004, pp. 332–358.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
Event-driven programming with logical execution times
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer, 2004, pp. 167–170.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Trading memory for randomness
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
Stack size analysis for interrupt-driven programs
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, Information and Computation 194 (2004) 144–174.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Quantitative stochastic parity games
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
View
 

2004 | Conference Paper | IST-REx-ID: 4577
An eclipse plug-in for model checking
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
The BLAST query language for software verification
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Generating tests from counterexamples
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 326–335.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4629
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 6155
Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior
B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology 14 (2004) 1105–1111.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 2997
A PINOID-dependent binary switch in apical-basal PIN polar targeting directs auxin efflux
J. Friml, X. Yang, M. Michniewicz, D. Weijers, A. Quint, O. Tietz, R. Benjamins, P. Ouwerkerk, K. Ljung, G. Sandberg, P. Hooykaas, K. Palme, R. Offringa, Science 306 (2004) 862–865.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2998
The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome
M. Duroux, A. Houben, K. Růžička, J. Friml, K. Grasser, Plant Journal 40 (2004) 660–671.
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications