Please note that ISTA 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.

132 Publications


2003 | Published | Conference Paper | IST-REx-ID: 4561
Chakrabarti A, De Alfaro L, Henzinger TA, Stoelinga M. 2003. Resource interfaces. Third International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2855, 117–133.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. 2003. Discounting the future in systems theory. Proceedings of the 30th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 1022–1037.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4630
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2003. The element of surprise in timed games. Proceedings of the 14th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2761, 144–158.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 576
Hosten O, Vignolo P, Minguzzi A, Tanatar B, Tosi M. 2003. Free expansion of two-dimensional condensates with a vortex. Journal of Physics B: Atomic, Molecular and Optical Physics. 36(12), 2455–2463.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 6156
Rogers C, Reale V, Kim K, Chatwin H, Li C, Evans P, de Bono M. 2003. Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience. 6(11), 1178–1185.
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 6157
de Bono M. 2003. Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology. 54(1), 78–92.
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 847
Sunyaev S, Kondrashov F, Bork P, Ramensky V. 2003. Impact of selection, mutation rate and genetic drift on human genetic variation. Human Molecular Genetics. 12(24), 3325–3330.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 18324
Bronstein AM, Bronstein MM, Kimmel R. 2003. Expression-invariant 3D face recognition. 4th International Conference on Audio- and Video-Based Biometric Person Authentication. AVBPA: Conference on Audio- and Video-Based Biometric Person Authentication, LNCS, vol. 2688, 62–70.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 18410
Bronstein AM, Bronstein MM, Zibulevsky M, Zeevi YY. 2003. Optimal nonlinear line-of-flight estimation in positron emission tomography. IEEE Transactions on Nuclear Science. 50(3), 421–426.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 1959
Holt P, Morgan D, Sazanov LA. 2003. The location of NuoL and NuoM subunits in the membrane domain of the Escherichia coli Complex I: implications for the mechanism of proton pumping. Journal of Biological Chemistry. 278(44), 43114–43120.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 1960
Sazanov LA, Carroll J, Holt P, Toime L, Fearnley I. 2003. A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I). Journal of Biological Chemistry. 278(21), 19483–19491.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 205
Browning TD. 2003. Counting rational points on cubic and quartic surfaces. Acta Arithmetica. 108(3), 275–295.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 206
Browning TD. 2003. A note on the distribution of rational points on threefolds. Quarterly Journal of Mathematics. 54(1), 33–39.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 207
Browning TD. 2003. Sums of four biquadrates. Mathematical Proceedings of the Cambridge Philosophical Society. 134(3), 385–395.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 208
Browning TD. 2003. Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. 54(1), 11–31.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 3150
Siekhaus DE, Drubin D. 2003. Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant. Nature Cell Biology. 5(3), 231–235.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 3151
Rayburn L, Gooding H, Choksi S, Maloney D, Kidd A, Siekhaus DE, Bender M. 2003. Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development. Genetics. 163(1), 227–237.
View
 

2003 | Published | Conference Paper | IST-REx-ID: 3170
Boykov Y, Kolmogorov V. 2003. Computing geodesics and minimal surfaces via graph cuts. ICCV: International Conference on Computer Vision vol. 1, 26–33.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 3171
Kolmogorov V, Zabih R, Gortler S. 2003. Generalized multi camera scene reconstruction using graph cuts. EMMCVPR: Energy Minimization Methods in Computer Vision and Pattern Recognition, LNCS, vol. 2683, 501–516.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 3174
Kim J, Kolmogorov V, Zabih R. 2003. Visual correspondence using energy minimization and mutual information. ICCV: International Conference on Computer Vision vol. 2, 1033–1040.
View | DOI
 

Filters and Search Terms

year=2003

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed