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.

6386 Publications


2007 | Journal Article | IST-REx-ID: 2896
Quantitative insights into stochastic monoallelic expression of cytokine genes
T. Paixao, T. Carvalho, D. Calado, J. Carneiro, Immunology and Cell Biology 85 (2007) 315–322.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 2933
An Analysis of Convex Relaxations for MAP Estimation
M.P. Kumar, V. Kolmogorov, P. Torr, in:, Neural Information Processing Systems, 2007.
View
 

2007 | Journal Article | IST-REx-ID: 8027
Gating deficits in model networks: A path to schizophrenia?
T.P. Vogels, L. Abbott, Pharmacopsychiatry 40 (2007) S73–S77.
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 8483
Protein folding and unfolding studied at atomic resolution by fast two-dimensional NMR spectroscopy
P. Schanda, V. Forge, B. Brutscher, Proceedings of the National Academy of Sciences 104 (2007) 11257–11262.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8484
A set of BEST triple-resonance experiments for time-optimized protein resonance assignment
E. Lescop, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 187 (2007) 163–169.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8485
Sensitivity-optimized experiment for the measurement of residual dipolar couplings between amide protons
P. Schanda, E. Lescop, M. Falge, R. Sounier, J. Boisbouvier, B. Brutscher, Journal of Biomolecular NMR 38 (2007) 47–55.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8486
Automated spectral compression for fast multidimensional NMR and increased time resolution in real-time NMR spectroscopy
E. Lescop, P. Schanda, R. Rasia, B. Brutscher, Journal of the American Chemical Society 129 (2007) 2756–2757.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8487
UltraSOFAST HMQC NMR and the repetitive acquisition of 2D protein spectra at Hz rates
M. Gal, P. Schanda, B. Brutscher, L. Frydman, Journal of the American Chemical Society 129 (2007) 1372–1377.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 8511 View | DOI
 

2007 | Journal Article | IST-REx-ID: 8512 View | DOI
 

2007 | Journal Article | IST-REx-ID: 860
Conversion and compensatory evolution of the γ-crystallin genes and identification of a cataractogenic mutation that reverses the sequence of the human CRYGD gene to an ancestral state
O. Plotnikova, F. Kondrashov, P. Vlasov, A. Grigorenko, E. Ginter, E. Rogaev, American Journal of Human Genetics 81 (2007) 32–43.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 861
A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures
K. Popadin, L. Mamirova, F. Kondrashov, BMC Bioinformatics 8 (2007).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 879
Selection for functional uniformity of tuf duplicates in γ-proteobacteria
F. Kondrashov, T. Gurbich, P. Vlasov, Trends in Genetics 23 (2007) 215–218.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1750
Three-dimensional isocompositional profiles of buried SiGeSi (001) islands
G. Katsaros, M. Stoffel, A. Rastelli, O. Schmidt, K. Kern, J. Tersoff, Applied Physics Letters 91 (2007).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1762 | OA
Observation of Berry's phase in a solid-state qubit
P. Leek, J.M. Fink, A. Blais, R. Bianchetti, M. Göppl, J. Gambetta, D. Schuster, L. Frunzio, R. Schoelkopf, A. Wallraff, Science 318 (2007) 1889–1892.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 1797
Local retinal circuits of melanopsin-containing ganglion cells identified by transsynaptic viral tracing
T. Viney, K. Bálint, D. Hillier, S. Siegert, Z. Boldogköi, L. Enquist, M. Meister, C. Cepko, B. Roska, Current Biology 17 (2007) 981–988.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1964 View | DOI
 

2007 | Journal Article | IST-REx-ID: 1965
Projection structure of the membrane domain of Escherichia coli respiratory Complex I at 8 Å resolution
E. Baranova, P. Holt, L.A. Sazanov, Journal of Molecular Biology 366 (2007) 140–154.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 1969
Single particle analysis confirms distal location of subunits NuoL and NuoM in Escherichia coli complex I
E. Baranova, D. Morgan, L.A. Sazanov, Journal of Structural Biology 159 (2007) 238–242.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 2091 | OA
Multi scale capture of facial geometry and motion
B. Bickel, M. Botsch, R. Angst, W. Matusik, M. Otaduy, H. Pfister, M. Groß, in:, ACM, 2007.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2092
Texturing internal surfaces from a few cross-sections
N. Pietroni, M. Otaduy, B. Bickel, F. Ganovelli, M. Groß, Computer Graphics Forum 26 (2007) 637–644.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2093 | OA
Multi scale capture of facial geometry and motion
B. Bickel, M. Botsch, R. Angst, W. Matusik, M. Otaduy, H. Pfister, M. Groß, ACM Transactions on Graphics 26 (2007).
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2118 | OA
On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions
J. Maas, J. Van Neerven, Archiv Der Mathematik 89 (2007) 226–236.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2135
EXAFS studies of the local atomic structure of the lead-free piezoelectric ceramics KxNa1−xNbO3 over the temperature range 10–1023K
M. Lemeshko, E. Nazarenko, A.. Gonchar, L. Reznichenko, T. Nedoseykina, A. Novakovich, O. Mathon, Y. Joly, R. Vedrinskiǐ, Physical Review B - Condensed Matter and Materials Physics 76 (2007).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2143
Phase transitions in lead-free piezoelectric ceramics: Study of local atomic structure
M. Lemeshko, E. Nazarenko, A. Gonchar, L. Reznichenko, O. Mathon, Y. Joly, R. Vedrinskiǐ, EPL 77 (2007).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2145
EXAFS studies of the local atomic structure of the lead free piezoelectric ceramics Kx Na1-x Nb O3 over the temperature range 10-1023 K
M. Lemeshko, E. Nazarenko, A. Gonchar, L. Reznichenko, T. Nedoseykina, A. Novakovich, O. Mathon, Y. Joly, R. Vedrinskiǐ, Physical Review B - Condensed Matter and Materials Physics 76 (2007).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 219
On Manin's conjecture for a certain singular cubic surface
R. De La Bretèche, T.D. Browning, U. Derenthal, Annales Scientifiques de l’Ecole Normale Superieure 40 (2007) 1–50.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 220
Counting rational points on cubic hypersurfaces
T.D. Browning, Mathematika 54 (2007) 93–112.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 221 | OA
On Manin's conjecture for singular del Pezzo surfaces of degree four, I
R. De La Bretèche, T.D. Browning, Michigan Mathematical Journal 55 (2007) 51–80.
View | Files available | DOI | arXiv
 

2007 | Journal Article | IST-REx-ID: 222 | OA
On Manin's conjecture for singular del Pezzo surfaces of degree four, II
R. De La Bretèche, T.D. Browning, Mathematical Proceedings of the Cambridge Philosophical Society 143 (2007) 579–605.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 223 | OA
Density of integer solutions to diagonal quadratic forms
T.D. Browning, Monatshefte Fur Mathematik 152 (2007) 13–38.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 7323
Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain
F.N. Büchi, G. Paganelli, P. Dietrich, D. Laurent, A. Tsukada, P. Varenne, A. Delfino, R. Kötz, S.A. Freunberger, P.-A. Magne, D. Walser, D. Olsommer, Fuel Cells 7 (2007) 329–335.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7324
On the efficiency of an advanced automotive fuel cell system
F.N. Büchi, S.A. Freunberger, M. Reum, G. Paganelli, A. Tsukada, P. Dietrich, A. Delfino, Fuel Cells 7 (2007) 159–164.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7325
Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs
I.A. Schneider, S.A. Freunberger, D. Kramer, A. Wokaun, G.G. Scherer, Journal of The Electrochemical Society 154 (2007).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7704
Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons
T. Komiyama, L.B.J. Sweeney, O. Schuldiner, K.C. Garcia, L. Luo, Cell 128 (2007) 399–410.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7705
Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions
L.B.J. Sweeney, A. Couto, Y.-H. Chou, D. Berdnik, B.J. Dickson, L. Luo, T. Komiyama, Neuron 53 (2007) 185–200.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7753 | OA View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 7777
Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations
C.P. Goodrich, S. Kirmizialtin, B.M. Huyghues-Despointes, A. Zhu, J.M. Scholtz, D.E. Makarov, L. Movileanu, The Journal of Physical Chemistry B 111 (2007) 3332–3335.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7780
Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations
C.P. Goodrich, S. Kirmizialtin, B.M. Huyghues-Despointes, A. Zhu, J.M. Scholtz, D.E. Makarov, L. Movileanu, The Journal of Physical Chemistry B 111 (2007) 3332–3335.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7781
Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Evolution 60 (2007) 2168–2181.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4626
Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 582 View | DOI
 

2007 | Journal Article | IST-REx-ID: 6150
Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans
T.L. Gumienny, L.T. MacNeil, H. Wang, M. de Bono, J.L. Wrana, R.W. Padgett, Current Biology 17 (2007) 159–164.
View | DOI | PubMed | Europe PMC
 

2007 | Preprint | IST-REx-ID: 6321 | OA
The Manin conjecture in dimension 2
T.D. Browning, ArXiv (n.d.).
View | Download Preprint (ext.) | arXiv
 

2007 | Book Chapter | IST-REx-ID: 6323 | OA
An overview of Manin's conjecture for del Pezzo surfaces
T.D. Browning, in:, A Tribute to Gauss and Dirichlet, American Mathematical Society, 2007, pp. 39–56.
View | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 128 | OA
Cover slip external cavity diode laser
A. Carr, Y. Serchest, S.R. Waitukaitis, J. Perreault, V. Lonij, A. Cronin, Review of Scientific Instruments 78 (2007).
View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 1297
Synaptic organization of lobula plate tangential cells in Drosophila: γ-aminobutyric acid receptors and chemical release sites
S. Raghu, M.A. Jösch, A. Borst, D. Reiff, Journal of Comparative Neurology 502 (2007) 598–610.
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 167 | OA
Simultaneous equal sums of three powers
T.D. Browning, R. Heath Brown, in:, U. Zannier (Ed.), Diophantine Geometry, Edizioni della Normale, 2007, pp. 93–100.
View | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 1035 | OA
Spectroscopy of ultracold trapped cesium Feshbach molecules
M. Mark, F. Ferlaino, S. Knoop, J.G. Danzl, T. Kraemer, C. Chin, H. Nägerl, R. Grimm, Physical Review A - Atomic, Molecular, and Optical Physics 76 (2007).
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 904
Extensive parallelism in protein evolution
G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, A. Kondrashov, Biology Direct 2 (2007).
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 3723
Transmembrane helices have rough energy surfaces
H.L. Janovjak, H. Knaus, D. Mueller, Journal of the American Chemical Society 129 (2007) 246–247.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3727
Digital force-feedback for protein unfolding experiments using atomic force microscopy
C. Bippes, H.L. Janovjak, A. Kedrov, D. Mueller, Nanotechnology 18 (2007).
View | DOI
 

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

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

2007 | Conference Paper | IST-REx-ID: 3762
Animating corrosion and erosion
C.J. Wojtan, M. Carlson, P. Mucha, G. Turk, in:, Eurographics Association, 2007, pp. 15–22.
View | DOI | Download None (ext.)
 

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

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

2007 | Journal Article | IST-REx-ID: 3819
Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons
L. Li, J. Bischofberger, P.M. Jonas, Journal of Neuroscience 27 (2007) 13420–9.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3820
Structural determinants of transmission at large hippocampal mossy fiber synapses
A. Rollenhagen, K. Satzler, E.P. Rodriguez, P.M. Jonas, M. Frotscher, J. Lubke, Journal of Neuroscience 27 (2007) 10434–44.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3821
Subthreshold dendritic signal processing and coincidence detection in dentate gyrus granule cells
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Journal of Neuroscience 27 (2007) 8430–8441.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3881
Qualitative logics and equivalences for probabilistic systems
L. De Alfaro, K. Chatterjee, M. Faella, A. Legay, in:, IEEE, 2007, pp. 237–248.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3882
Concurrent games with tail objectives
K. Chatterjee, Theoretical Computer Science 388 (2007) 181–198.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3883
Generalized parity games
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Springer, 2007, pp. 153–167.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3884
Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73.
View | Files available | DOI
 

2007 | Conference Paper | IST-REx-ID: 3885
Optimal strategy synthesis in stochastic Müller games
K. Chatterjee, in:, Springer, 2007, pp. 138–152.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3886
Stochastic Müller games are PSPACE-complete
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–448.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3887
Markov decision processes with multiple long-run average objectives
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–484.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3909
Social immunity
S. Cremer, S. Armitage, P. Schmid Hempel, Current Biology 17 (2007) R693–R702.
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 3911
Social prophylaxis: group interaction promotes collective immunity in ant colonies
L.V. Ugelvig, S. Cremer, Current Biology 17 (2007) 1967–1971.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3937
Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces
E. Woolf, I. Grigorova, A. Sagiv, V. Grabovsky, S. Feigelson, Z. Shulman, T. Hartmann, M.K. Sixt, J. Cyster, R. Alon, Nature Immunology 8 (2007) 1076–1085.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3938
RhoH is important for positive thymocyte selection and T-cell receptor signaling
T. Dorn, U. Kuhn, G. Bungartz, S. Stiller, M. Bauer, J. Ellwart, T. Peters, K. Scharffetter Kochanek, M. Semmrich, M. Laschinger, B. Holzmann, W. Klinkert, P. Straten, T. Køllgaard, M.K. Sixt, C. Brakebusch, Blood 109 (2007) 2346–2355.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3972
Stability of persistence diagrams
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Discrete & Computational Geometry 37 (2007) 103–120.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3973
Inequalities for the curvature of curves and surfaces
D. Cohen Steiner, H. Edelsbrunner, Foundations of Computational Mathematics 7 (2007) 391–404.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3975
Inferring local homology from sampled stratified spaces
P. Bendich, D. Cohen Steiner, H. Edelsbrunner, J. Harer, D. Morozov, in:, IEEE, 2007, pp. 536–546.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3976
Protein-protein interfaces: Properties, preferences, and projections
J. Headd, Y.E.A. Ban, P. Brown, H. Edelsbrunner, M. Vaidya, J. Rudolph, Journal of Proteome Research 6 (2007) 2576–2586.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3977
Inclusion-exclusion formulas from independent complexes
D. Attali, H. Edelsbrunner, Discrete & Computational Geometry 37 (2007) 59–77.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3981
Alpha-beta witness complexes
D. Attali, H. Edelsbrunner, J. Harer, Y. Mileyko, in:, Springer, 2007, pp. 386–397.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4152
Zebrafish gastrulation: Cell movements, signals, and mechanisms
L. Rohde, C.-P.J. Heisenberg, International Review of Cytology - A Survey of Cell Biology 261 (2007) 159–192.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4182
The role of cell adhesion and contractility for germ layer morphogenesis during zebrafish gastrulation
M. Krieg, Y. Arboleda, D. Müller, C.-P.J. Heisenberg, European Journal of Cell Biology 86 (2007) 39–39.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4205
The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion
S. Von Der Hardt, J. Bakkers, A. Inbal, L. Carvalho, L. Solnica Krezel, C.-P.J. Heisenberg, M. Hammerschmidt, Current Biology 17 (2007) 475–487.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4225
Evolution and multilevel optimization of the genetic code
M.T. Bollenbach, K. Vetsigian, R. Kishony, Genome Research 17 (2007) 401–404.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4226
Kinetics of morphogen gradient formation
A. Kicheva, P. Pantazis, T. Bollenbach, Y. Kalaidzidis, T. Bittig, F. Julicher, M. Gonzalez Gaitan, Science 315 (2007) 521–525.
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 4234 | OA View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 4246
Do evolution and ecology need the Gaia hypothesis?
A. Free, N.H. Barton, Trends in Ecology and Evolution 22 (2007) 611–619.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4247
The relation between multilocus population genetics and social evolution theory
A. Gardner, S. West, N.H. Barton, American Naturalist 169 (2007) 207–226.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4342 View | DOI | Download None (ext.)
 

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

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

2007 | Journal Article | IST-REx-ID: 4353
The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing
J. Binladen, M.T. Gilbert, J.P. Bollback, F. Panitz, C. Bendixen, R. Nielsen, E. Willerslev, PLoS One 2 (2007).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4354
Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA
E. Freyhult, J.P. Bollback, P. Gardner, Genome Research 17 (2007) 117–25.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 4355
Clonal interference is alleviated by high mutation rates in large populations
J.P. Bollback, J. Huelsenbeck, Molecular Biology and Evolution 24 (2007) 1397–1406.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4356
Genes under positive selection in Escherichia coli
L. Petersen, J.P. Bollback, M. Dimmic, M. Hubisz, R. Nielsen, Genome Research 17 (2007) 1336–1343.
View | DOI
 

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

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

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

2007 | Conference Paper | IST-REx-ID: 4398
Shape Analysis for Composite Data Structures
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, Springer, 2007, pp. 178–192.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4399
Algorithms for interface synthesis
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.
View | DOI
 

Search

Filter Publications