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.

6702 Publications


2007 | Journal Article | IST-REx-ID: 1035 | OA
Mark M, Ferlaino F, Knoop S, et al. Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 2007;76(4). doi:10.1103/PhysRevA.76.042514
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 904
Bazykin G, Kondrashov F, Brudno M, Poliakov A, Dubchak I, Kondrashov A. Extensive parallelism in protein evolution. Biology Direct. 2007;2. doi:10.1186/1745-6150-2-20
View | DOI
 

2007 | Journal Article | IST-REx-ID: 9149 | OA
BÜHLER O, MULLER CJ. Instability and focusing of internal tides in the deep ocean. Journal of Fluid Mechanics. 2007;588:1-28. doi:10.1017/s0022112007007410
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 3723
Janovjak HL, Knaus H, Mueller D. Transmembrane helices have rough energy surfaces. Journal of the American Chemical Society. 2007;129(2):246-247. doi:10.1021/ja065684a
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3727
Bippes C, Janovjak HL, Kedrov A, Mueller D. Digital force-feedback for protein unfolding experiments using atomic force microscopy. Nanotechnology. 2007;18(4). doi:10.1088/0957-4484/18/4/044022
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3731
Kinney J, Tkačik G, Callan C. Precise physical models of protein-DNA interaction from high-throughput data. PNAS. 2007;104(2):501-506. doi:10.1073/pnas.0609908104
View | DOI | Download (ext.)
 

2007 | Preprint | IST-REx-ID: 3742 | OA
Broderick T, Dudik M, Tkačik G, Schapire R, Bialek W. Faster solutions of the inverse pairwise Ising problem. ArXiv. 2007;q-QM.
View | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3762
Wojtan CJ, Carlson M, Mucha P, Turk G. Animating corrosion and erosion. In: Eurographics Association; 2007:15-22. doi:10.2312/NPH/NPH07/015-022
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 3765
Bargteil A, Wojtan CJ, Hodgins J, Turk G. A finite element method for animating large viscoplastic flow. ACM Transactions on Graphics. 2007;26(3). doi:10.1145/1276377.1276397
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3816
Bartos M, Vida I, Jonas PM. Synaptic mechanisms of synchronized gamma oscillations in inhibitory interneuron networks (Review). Nature Reviews Neuroscience. 2007;8(1):45-56. doi:10.1038/nrn2044
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3819
Li L, Bischofberger J, Jonas PM. Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons. Journal of Neuroscience. 2007;27(49):13420-13429. doi:10.1523/JNEUROSCI.1709-07.2007
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3820
Rollenhagen A, Satzler K, Rodriguez EP, Jonas PM, Frotscher M, Lubke J. Structural determinants of transmission at large hippocampal mossy fiber synapses. Journal of Neuroscience. 2007;27(39):10434-10444. doi:10.1523/JNEUROSCI.1946-07.2007
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3821
Schmidt Hieber C, Jonas PM, Bischofberger J. Subthreshold dendritic signal processing and coincidence detection in dentate gyrus granule cells. Journal of Neuroscience. 2007;27(31):8430-8441. doi:10.1523/JNEUROSCI.1787-07.2007
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3881
De Alfaro L, Chatterjee K, Faella M, Legay A. Qualitative logics and equivalences for probabilistic systems. In: IEEE; 2007:237-248. doi:10.1109/QEST.2007.15
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3882
Chatterjee K. Concurrent games with tail objectives. Theoretical Computer Science. 2007;388(1-3):181-198. doi:10.1016/j.tcs.2007.07.047
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3883
Chatterjee K, Henzinger TA, Piterman N. Generalized parity games. In: Vol 4423. Springer; 2007:153-167. doi:10.1007/978-3-540-71389-0_12
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3884
Chatterjee K, Henzinger TA, Piterman N. Strategy logic. In: Vol 4703. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:59-73. doi:10.1007/978-3-540-74407-8_5
View | Files available | DOI
 

2007 | Conference Paper | IST-REx-ID: 3885
Chatterjee K. Optimal strategy synthesis in stochastic Müller games. In: Vol 4423. Springer; 2007:138-152. doi:10.1007/978-3-540-71389-0_11
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3886
Chatterjee K. Stochastic Müller games are PSPACE-complete. In: Vol 4855. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:436-448. doi:10.1007/978-3-540-77050-3_36
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3887
Chatterjee K. Markov decision processes with multiple long-run average objectives. In: Vol 4855. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:473-484. doi:10.1007/978-3-540-77050-3_39
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3909
Cremer S, Armitage S, Schmid Hempel P. Social immunity. Current Biology. 2007;17(16):R693-R702. doi:10.1016/j.cub.2007.06.008
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3910
Hughes D, Cremer S. Plasticity in anti-parasite behaviours and its suggested role in invasion biology. Animal Behaviour. 2007;74(5):1593-1599. doi:10.1016/j.anbehav.2006.12.025
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3911
Ugelvig LV, Cremer S. Social prophylaxis: group interaction promotes collective immunity in ant colonies. Current Biology. 2007;17(22):1967-1971. doi:10.1016/j.cub.2007.10.029
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3937
Woolf E, Grigorova I, Sagiv A, et al. Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces. Nature Immunology. 2007;8(10):1076-1085. doi:10.1038/ni1499
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3938
Dorn T, Kuhn U, Bungartz G, et al. RhoH is important for positive thymocyte selection and T-cell receptor signaling. Blood. 2007;109(6):2346-2355. doi:10.1182/blood-2006-04-019034
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3972
Cohen Steiner D, Edelsbrunner H, Harer J. Stability of persistence diagrams. Discrete & Computational Geometry. 2007;37(1):103-120. doi:10.1007/s00454-006-1276-5
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3973
Cohen Steiner D, Edelsbrunner H. Inequalities for the curvature of curves and surfaces. Foundations of Computational Mathematics. 2007;7(4):391-404. doi:10.1007/s10208-005-0200-3
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3975
Bendich P, Cohen Steiner D, Edelsbrunner H, Harer J, Morozov D. Inferring local homology from sampled stratified spaces. In: IEEE; 2007:536-546. doi:10.1109/FOCS.2007.33
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3976
Headd J, Ban YEA, Brown P, Edelsbrunner H, Vaidya M, Rudolph J. Protein-protein interfaces: Properties, preferences, and projections. Journal of Proteome Research. 2007;6(7):2576-2586. doi:10.1021/pr070018+
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3977
Attali D, Edelsbrunner H. Inclusion-exclusion formulas from independent complexes. Discrete & Computational Geometry. 2007;37(1):59-77. doi:10.1007/s00454-006-1274-7
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3981
Attali D, Edelsbrunner H, Harer J, Mileyko Y. Alpha-beta witness complexes. In: Vol 4619. Springer; 2007:386-397. doi:10.1007/978-3-540-73951-7_34
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4152
Rohde L, Heisenberg C-PJ. Zebrafish gastrulation: Cell movements, signals, and mechanisms. International Review of Cytology - A Survey of Cell Biology. 2007;261:159-192. doi:10.1016/S0074-7696(07)61004-3
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4182
Krieg M, Arboleda Y, Müller D, Heisenberg C-PJ. The role of cell adhesion and contractility for germ layer morphogenesis during zebrafish gastrulation. European Journal of Cell Biology. 2007;86(Supplement 1):39-39. doi:10.1016/j.ejcb.2007.02.002
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4205
Von Der Hardt S, Bakkers J, Inbal A, et al. The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion. Current Biology. 2007;17(6):475-487. doi:10.1016/j.cub.2007.02.013
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4225
Bollenbach MT, Vetsigian K, Kishony R. Evolution and multilevel optimization of the genetic code. Genome Research. 2007;17(4):401-404. doi:10.1101/gr.6144007
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4226
Kicheva A, Pantazis P, Bollenbach T, et al. Kinetics of morphogen gradient formation. Science. 2007;315(5811):521-525. doi:10.1126/science.1135774
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4233
de Vladar H. Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas. In: Falcón N, Loyo De Sardi Y, eds. Consejo de Desarrollo Cientifico y Tecnologico; 2007:91-109. doi:3808
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4234 | OA
de Vladar H, Pen I. Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. 2007;373:477-485. doi:10.1016/j.physa.2006.06.025
View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 4246
Free A, Barton NH. Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. 2007;22(11):611-619. doi:10.1016/j.tree.2007.07.007
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4247
Gardner A, West S, Barton NH. The relation between multilocus population genetics and social evolution theory. American Naturalist. 2007;169(2):207-226. doi:10.1086/510602
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4342
Danowski P. Library 2.0 and User-Generated Content - What can the users do for us? In: IFLA; 2007. doi:601
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 4343
Danowski P, Pfeifer B. Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei. Bibliothek - Forschung Und Praxis. 2007;31(2):149-155. doi:485
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4344
Danowski P, Heller L. Bibliothek 2.0 ? Wird alles anders? Bibliothek - Forschung Und Praxis. 2007;31(2007):130-136. doi:45
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 4353
Binladen J, Gilbert MT, Bollback JP, et al. The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing. PLoS One. 2007;2(2). doi:10.1371/journal.pone.0000197
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4354
Freyhult E, Bollback JP, Gardner P. Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA. Genome Research. 2007;17(1):117-125. doi:10.1101/gr.5890907
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 4355
Bollback JP, Huelsenbeck J. Clonal interference is alleviated by high mutation rates in large populations. Molecular Biology and Evolution. 2007;24(6):1397-1406. doi:10.1093/molbev/msm056
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4356
Petersen L, Bollback JP, Dimmic M, Hubisz M, Nielsen R. Genes under positive selection in Escherichia coli. Genome Research. 2007;17(9):1336-1343. doi:10.1101/gr.6254707
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4368
Nickovic D, Maler O. AMT: a property-based monitoring tool for analog systems. In: Springer; 2007:304-319. doi:1567
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4370
Maler O, Nickovic D, Pnueli A. On synthesizing controllers from bounded-response properties. In: Springer; 2007:95-107. doi:1568
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4394
Bouillaguet C, Kuncak V, Wies T, Zee K, Rinard M. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. In: Springer; 2007:74-88. doi:1552
View | DOI
 

Search

Filter Publications