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: 3987
Natarajan V, Edelsbrunner H. Simplification of three-dimensional density maps. IEEE Transactions on Visualization and Computer Graphics. 2004;10(5):587-597. doi:10.1109/TVCG.2004.32
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3918
Heinze J, Böttcher A, Cremer S. Production of winged and wingless males in the ant, Cardiocondyla minutior. Insectes Sociaux. 2004;51(3):275-278. doi:10.1007/s00040-004-0740-6
View | DOI
 

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

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. Race checking by context inference. In: ACM; 2004:1-13. doi:10.1145/996841.996844
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger TA, Jhala R, Majumdar R, Sanvido M. Extreme model checking. In: Verification: Theory and Practice. Vol 2772. Springer; 2004:332-358. doi:10.1007/978-3-540-39910-0_16
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4372
Maler O, Nickovic D. Monitoring Temporal Properties of Continuous Signals. In: Springer; 2004:152-166. doi:1572
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. Generating tests from counterexamples. In: IEEE; 2004:326-335. doi:10.1109/ICSE.2004.1317455
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee K, De Alfaro L, Henzinger TA. Trading memory for randomness. In: IEEE; 2004:206-217. doi:10.1109/QEST.2004.10051
View | DOI
 

2004 | Journal Article | IST-REx-ID: 898
Bazykin G, Kondrashov F, Ogurtsov A, Sunyaev S, Kondrashov A. Positive selection at sites of multiple amino acid replacements since rat-mouse divergence. Nature. 2004;429(6991):558-562. doi:10.1038/nature02601
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7333
Santis M, Schmid D, Ruge M, Freunberger SA, Büchi FN. Modular stack-internal air humidification concept-verification in a 1 kW stack. Fuel Cells. 2004;4(3):214-218. doi:10.1002/fuce.200400028
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7706
Brunet A, Sweeney LBJ, Sturgill JF, et al. Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. Science. 2004;303(5666):2011-2015. doi:10.1126/science.1094637
View | DOI
 

2004 | Journal Article | IST-REx-ID: 1456   OA
Hausel T, Hunsicker E, Mazzeo R. Hodge cohomology of gravitational instantons. Duke Mathematical Journal. 2004;122(3):485-548. doi:10.1215/S0012-7094-04-12233-X
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 1963
Mamedova A, Holt P, Carroll J, Sazanov LA. Substrate-induced conformational change in bacterial complex I. Journal of Biological Chemistry. 2004;279(22):23830-23836. doi:10.1074/jbc.M401539200
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2308
Novarino G, Fabrizi C, Tonini R, et al. Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity. Journal of Neuroscience. 2004;24(23):5322-5330. doi:10.1523/JNEUROSCI.1170-04.2004
View | DOI
 

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

2004 | Book Review | IST-REx-ID: 2461
Sauer M, Friml J. The Matryoshka dolls of plant polarity. Development. 2004;131(23):5774-5775. doi:10.1242/dev.01463
View | DOI
 

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

2004 | Journal Article | IST-REx-ID: 2707
Erdös L, Salmhofer M, Yau H. On the quantum Boltzmann equation. Journal of Statistical Physics. 2004;116(1-4):367-380. doi:10.1023/B:JOSS.0000037224.56191.ed
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2997
Friml J, Yang X, Michniewicz M, et al. A PINOID-dependent binary switch in apical-basal PIN polar targeting directs auxin efflux. Science. 2004;306(5697):862-865. doi:10.1126/science.1100618
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3173
Kolmogorov V, Zabih R. What energy functions can be minimized via graph cuts? . IEEE Transactions on Pattern Analysis and Machine Intelligence. 2004;26(2):147-159. doi:10.1109/TPAMI.2004.1262177
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed