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.
9113 Publications
2007 | Conference Paper | IST-REx-ID: 3601
Yang E, Haridas N, El Rayis A, Erdogan A, Arslan T, Barton NH. 2007. Multiobjective optimal design of MEMS-based reconfigurable and evolvable sensor networks for space applications. AHS: NASA/ESA Conference on Adaptive Hardware and Systems, 27–34.
View
| DOI
2007 | Report | IST-REx-ID: 3687
Blaschko M, Hofmann T, Lampert C. 2007. Efficient subwindow search for object localization, Max-Planck-Institute for Biological Cybernetics,p.
View
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 3731
Kinney J, Tkačik G, Callan C. 2007. Precise physical models of protein-DNA interaction from high-throughput data. PNAS. 104(2), 501–506.
View
| DOI
| Download (ext.)
2007 | Conference Paper | IST-REx-ID: 3762
Wojtan C, Carlson M, Mucha P, Turk G. 2007. Animating corrosion and erosion. EGWNP: Eurographics Workshop on Natural Phenomena, 15–22.
View
| DOI
| Download None (ext.)
2007 | Conference Paper | IST-REx-ID: 4342
Danowski P. 2007. Library 2.0 and User-Generated Content - What can the users do for us? WLIC: World Library and Information Congress.
View
| DOI
| Download None (ext.)
2007 | Journal Article | IST-REx-ID: 4344
Danowski P, Heller L. 2007. Bibliothek 2.0 ? Wird alles anders? Bibliothek - Forschung Und Praxis. 31(2007), 130–136.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 4354
Freyhult E, Bollback JP, Gardner P. 2007. Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA. Genome Research. 17(1), 117–25.
View
| DOI
| Download (ext.)
2007 | Conference Paper | IST-REx-ID: 3561 |
Attali D, Edelsbrunner H, Mileyko Y. 2007. Weak witnesses for Delaunay triangulations of submanifolds. SPM: Symposium on Solid and Physical Modeling, 143–150.
View
| DOI
| Download (ext.)
2007 | Book | IST-REx-ID: 3674
Barton NH, Briggs D, Eisen J, Goldstein D, Patel N. 2007. Evolution, Cold Spring Harbor Laboratory Press, XIV, 833p.
View
| Files available
2007 | Preprint | IST-REx-ID: 3742 |
Broderick T, Dudik M, Tkačik G, Schapire R, Bialek W. 2007. Faster solutions of the inverse pairwise Ising problem. ArXiv, q-QM, .
View
| Download (ext.)
2007 | Conference Paper | IST-REx-ID: 3884
Chatterjee K, Henzinger TA, Piterman N. 2007. Strategy logic. CONCUR: Concurrency Theory, LNCS, vol. 4703, 59–73.
View
| Files available
| DOI
2007 | Journal Article | IST-REx-ID: 3938
Dorn T, Kuhn U, Bungartz G, Stiller S, Bauer M, Ellwart J, Peters T, Scharffetter Kochanek K, Semmrich M, Laschinger M, Holzmann B, Klinkert W, Straten P, Køllgaard T, Sixt MK, Brakebusch C. 2007. RhoH is important for positive thymocyte selection and T-cell receptor signaling. Blood. 109(6), 2346–2355.
View
| DOI
2007 | Journal Article | IST-REx-ID: 3937
Woolf E, Grigorova I, Sagiv A, Grabovsky V, Feigelson S, Shulman Z, Hartmann T, Sixt MK, Cyster J, Alon R. 2007. Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces. Nature Immunology. 8(10), 1076–1085.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4205
Von Der Hardt S, Bakkers J, Inbal A, Carvalho L, Solnica Krezel L, Heisenberg C-PJ, Hammerschmidt M. 2007. The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion. Current Biology. 17(6), 475–487.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4234 |
de Vladar H, Pen I. 2007. Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. 373, 477–485.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Journal Article | IST-REx-ID: 4405
Schaub M, Henzinger TA, Fisher J. 2007. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. 1(4).
View
| DOI
| Download (ext.)
2007 | Book Chapter | IST-REx-ID: 4417
Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. 2007.Abstract counterexample-based refinement for powerset domains. In: Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. LNCS, vol. 4444, 273–292.
View
| DOI
2007 | Thesis | IST-REx-ID: 4559
Chatterjee K. 2007. Stochastic ω-Regular Games. University of California, Berkeley.
View
| Download (ext.)
2007 | Thesis | IST-REx-ID: 4566
Chakrabarti A. 2007. A framework for compositional design and analysis of systems. University of California, Berkeley.
View
2007 | Journal Article | IST-REx-ID: 6150
Gumienny TL, MacNeil LT, Wang H, de Bono M, Wrana JL, Padgett RW. 2007. Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. 17(2), 159–164.
View
| DOI
| PubMed | Europe PMC
2007 | Book Chapter | IST-REx-ID: 6323 |
Browning TD. 2007.An overview of Manin’s conjecture for del Pezzo surfaces. In: A Tribute to Gauss and Dirichlet. Clay Mathemetics Proceedings, vol. 7, 39–56.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 | Preprint | IST-REx-ID: 6321 |
Browning TD. The Manin conjecture in dimension 2. arXiv, 0704.1217.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 | Journal Article | IST-REx-ID: 7323
Büchi FN, Paganelli G, Dietrich P, Laurent D, Tsukada A, Varenne P, Delfino A, Kötz R, Freunberger SA, Magne P-A, Walser D, Olsommer D. 2007. Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain. Fuel Cells. 7(4), 329–335.
View
| DOI
2007 | Journal Article | IST-REx-ID: 7753 |
Robinson MR, Kruuk LE. 2007. Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. Biology Letters. 3(6), 651–654.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 7780
Goodrich CP, Kirmizialtin S, Huyghues-Despointes BM, Zhu A, Scholtz JM, Makarov DE, Movileanu L. 2007. Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations. The Journal of Physical Chemistry B. 111(13), 3332–3335.
View
| DOI
2007 | Journal Article | IST-REx-ID: 8027
Vogels TP, Abbott L. 2007. Gating deficits in model networks: A path to schizophrenia? Pharmacopsychiatry. 40(S 1), S73–S77.
View
| DOI
| PubMed | Europe PMC