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).

MEL28/ELYS is required for the recruitment of nucleoporins to chromatin and postmitotic nuclear pore complex assembly
C. Franz, R. Walczak, S. Yavuz, R. Santarella, M. Gentzel, P. Askjaer, V. Galy, M. Hetzer, I.W. Mattaj, W. Antonin, EMBO Reports 8 (2007) 165–172.

Nuclear envelope formation by chromatin-mediated reorganization of the endoplasmic reticulum
D.J. Anderson, M. Hetzer, Nature Cell Biology 9 (2007) 1160–1166.

Search technologies for the internet
M.H. Henzinger, Science 317 (2007) 468–471.

Combinatorial algorithms for web search engines: three success stories
M.H. Henzinger, in:, 18th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial &; Applied Mathematics, 2007, pp. 1022–1026.

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).

Synaptic organization of lobula plate tangential cells in Drosophila: ;3-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.

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.

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).

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.

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.

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.

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.

Respiratory complex I: Mechanistic and structural insights provided by the crystal structure of the hydrophilic domain
L.A. Sazanov, Biochemistry 46 (2007) 2275–2288.

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.

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).

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.

On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions
J. Maas, J. Van Neerven, Archiv Der Mathematik 89 (2007) 226–236.

EXAFS studies of the local atomic structure of the lead-free piezoelectric ceramics KxNxNbO3 over the temperature range 10–1023K
M. Lemeshko, E. Nazarenko, A.. Gonchar, L. Reznichenko, T. Nedoseykina, A. Novakovich, O. Mathon, Y. Joly, R. Vedrinski0, Physical Review B - Condensed Matter and Materials Physics 76 (2007).

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. Vedrinski0, EPL 77 (2007).

EXAFS studies of the local atomic structure of the lead free piezoelectric ceramics Kx N-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. Vedrinski0, Physical Review B - Condensed Matter and Materials Physics 76 (2007).

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.

Counting rational points on cubic hypersurfaces
T.D. Browning, Mathematika 54 (2007) 93–112.

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.

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.

Density of integer solutions to diagonal quadratic forms
T.D. Browning, Monatshefte Fur Mathematik 152 (2007) 13–38.

On the failure of subadditivity of the Wigner-Yanase entropy
R. Seiringer, Letters in Mathematical Physics 80 (2007) 285–288.

Müller's exchange-correlation energy in density-matrix-functional theory
R. Frank, É. Lieb, R. Seiringer, H. Siedentop, Physical Review A - Atomic, Molecular, and Optical Physics 76 (2007).

Bose-Einstein condensation and spontaneous symmetry breaking
É. Lieb, R. Seiringer, J. Yngvason, Reports on Mathematical Physics 59 (2007) 389–399.

Number of bound states of Schrödinger operators with matrix-valued potentials
R. Frank, É. Lieb, R. Seiringer, Letters in Mathematical Physics 82 (2007) 107–116.

The critical temperature for the BCS equation at weak coupling
R. Frank, C. Hainzl, S. Naboko, R. Seiringer, Journal of Geometric Analysis 17 (2007) 559–567.

Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value
R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 275 (2007) 479–489.

Auxin - Universal development signal in plant life
J. Friml, diva 1 (2007).

Polar auxin transport and asymmetric auxin distribution
M. Michniewicz, P. Brewer, J. Friml, The Arabidopsis Book 5 (2007).

Metabotropic glutamate receptor 4-immunopositive terminals of medium-sized spiny neurons selectively form synapses with cholinergic interneurons in the rat neostriatum
E. Kuramoto, F. Fujiyama, T. Unzai, K. Nakamura, H. Hioki, T. Furuta, R. Shigemoto, F. Ferraguti, T. Kaneko, Journal of Comparative Neurology 500 (2007) 908–922.

Expression of group II metabotropic glutamate receptors in rat gustatory papillae
T. Toyono, S. Kataoka, Y. Seta, R. Shigemoto, K. Toyoshima, Cell and Tissue Research 328 (2007) 57–63.

Morphology and synaptic input of substance P receptor-immunoreactive interneurons in control and epileptic human hippocampus
K. Tóth, L. Wittner, Z. Urbán, W. Doyle, G. Buzsáki, R. Shigemoto, T. Freund, Z. Maglóczky, Neuroscience 144 (2007) 495–508.

Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration
K. Luyt, T. Slade, J. Dorward, C. Durant, Y. Wu, R. Shigemoto, S. Mundell, A. Váradi, E. Molnár, Journal of Neurochemistry 100 (2007) 822–840.

Functional presynaptic HCN channels in the rat globus pallidus
J. Boyes, J. Bolam, R. Shigemoto, I. Stanford, European Journal of Neuroscience 25 (2007) 2081–2092.

Number and density of AMPA receptors in individual synapses in the rat cerebellum as revealed by SDS-digested freeze-fracture replica labeling
M. Masugi Tokita, E. Tarusawa, M. Watanabe, E. Molnár, K. Fujimoto, R. Shigemoto, Journal of Neuroscience 27 (2007) 2135–2144.

Quantitative analysis and subcellular distribution of mRNA and protein expression of the hyperpolarization-activated cyclic nucleotide-gated channels throughout development in rat hippocampus
A. Brewster, Y. Chen, R. Bender, A. Yeh, R. Shigemoto, T. Baram, Cerebral Cortex 17 (2007) 702–712.

 The coexistence of multiple receptors in a single nerve terminal provides evidence for pre-synaptic integration
C. Ladera, M. Godino, R. Martín, R. Luján, R. Shigemoto, F. Ciruela, M. Torres, J. Sánchez Prieto, Journal of Neurochemistry 103 (2007) 2314–2326.

Localization of HCN1 channels to presynaptic compartments: Novel plasticity that may contribute to hippocampal maturation
R. Bender, T. Kirschstein, O. Kretz, A. Brewster, C. Richichi, C. Rüschenschmidt, R. Shigemoto, H. Beck, M. Frotscher, T. Baram, Journal of Neuroscience 27 (2007) 4697–4706.

HCN2 and HCN4 isoforms self-assemble and co-assemble with equal preference to form functional pacemaker channels
G. Whitaker, D. Angoli, H. Nazzari, R. Shigemoto, E. Accili, Journal of Biological Chemistry 282 (2007) 22900–22909.

High-resolution quantitative visualization of glutamate and GABA receptors at central synapses
M. Masugi Tokita, R. Shigemoto, Current Opinion in Neurobiology 17 (2007) 387–393.

Recent developments in quantum mechanics with magnetic fields
L. Erdös, in:, F. Gesztesy, P. Deift, P. Galvez, P. Perry, W. Schlag (Eds.), Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon’s 60th Birthday , American Mathematical Society, 2007, pp. 401–428.

Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams
L. Erdös, M. Salmhofer, H. Yau, Communications in Mathematical Physics 271 (2007) 1–53.

Quantum diffusion for the Anderson model in the scaling limit
L. Erdös, M. Salmhofer, H. Yau, Annales Henri Poincare 8 (2007) 621–685.

Decay of the Fourier transform of surfaces with vanishing curvature
L. Erdös, M. Salmhofer, Mathematische Zeitschrift 257 (2007) 261–294.

Derivation of the cubic non linear Schrödinger equation from quantum dynamics of many body systems
L. Erdös, B. Schlein, H. Yau, Inventiones Mathematicae 167 (2007) 515–614.

Rigorous derivation of the Gross-Pitaevskii equation
L. Erdös, B. Schlein, H. Yau, Physical Review Letters 98 (2007).

Turbulence transition in pipe flow
B. Eckhardt, T. Schneider, B. Hof, J. Westerweel, Annual Review of Fluid Mechanics 39 (2007) 447–468.

Lifetime of turbulence in pipe flow
B. Hof, W. Tax, J. Westerweel, in:, Springer, 2007, pp. 556–558.

When three is not a crowd a Crossregulation Model of the dynamics and repertoire selection of regulatory C T cells
J. Carneiro, K. Leon, Í. Caramalho, C. Van Den Dool, R. Gardner, V. Oliveira, M. Bergman, N. Sepúlveda, T. Paixao, J. Faro, J. Demengeot, Immunological Reviews 216 (2007) 48–68.

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.

An Analysis of Convex Relaxations for MAP Estimation
M.P. Kumar, V. Kolmogorov, P. Torr, in:, Neural Information Processing Systems, 2007.

Interactions among PIN FORMED and P glycoprotein auxin transporters in Arabidopsis
J. Blakeslee, A. Bandyopadhyay, R. Ok, J. Mravec, B. Titapiwatanakun, M. Sauer, S. Makam, Y. Cheng, R. Bouchard, J. Adamec, M. Geisler, A. Nagashima, T. Sakai, E. Martinoia, J. Friml, W. Peer, A. Murphy, Plant Cell 19 (2007) 131–147.

A unifying new model of cytokinesis for the dividing plant and animal cells
P. Dhonukshe, J. Samaj, F. Baluska, J. Friml, Bioessaysf: News and Reviews in Molecular, Cellular and Developmental Biology 29 (2007) 371–381.

Interactions of PIN and PGP auxin transport mechanisms
A. Bandyopadhyay, J. Blakeslee, O. Lee, J. Mravec, M. Sauer, B. Titapiwatanakun, S. Makam, R. Bouchard, M. Geisler, E. Martinoia, J. Friml, W. Peer, A. Murphy, in:, Portland Press, 2007, pp. 137–141.

Cytokinins act directly on lateral root founder cells to inhibit root initiation
L. Laplaze, E. Benková, I. Casimiro, L. Maes, S. Vanneste, R. Swarup, D. Weijers, V. Calvo, B. Parizot, M. Herrera Rodriguez, R. Offringa, N. Graham, P. Doumas, J. Friml, D. Bogusz, T. Beeckman, M. Bennett, Plant Cell 19 (2007) 3889–3900.

Ethylene regulates root growth through effects on auxin biosynthesis and transport dependent auxin distribution
K. Rfeidka, K. Ljung, S. Vanneste, R. Podhorská, T. Beeckman, J. Friml, E. Benková, Plant Cell 19 (2007) 2197–2212.

Antagonistic regulation of PIN phosphorylation by PA and PINOID directs auxin flux
M. Michniewicz, M. Zago, L. Abas, D. Weijers, A. Schweighofer, I. Meskiene, M. Heisler, C. Ohno, J. Zhang, F. Huang, R. Schwab, D. Weigel, E. Meyerowitz, C. Luschnig, R. Offringa, J. Friml, Cell 130 (2007) 1044–1056.

Molecular and cellular aspects of auxin-transport-mediated development
A. Vieten, M. Sauer, P. Brewer, J. Friml, Trends in Plant Science 12 (2007) 160–168.

Optimizing binary MRFs via extended roof duality
C. Rother, V. Kolmogorov, V. Lempitsky, M. Szummer, in:, IEEE, 2007.

Applications of parametric maxflow in computer vision
V. Kolmogorov, Y. Boykov, C. Rother, in:, IEEE, 2007.

Minimizing nonsubmodular functions with graph cuts - A review
V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 29 (2007) 1274–1279.

Fusion of stereo colour and contrast
A. Blake, A. Criminisi, G. Cross, V. Kolmogorov, C. Rother, Springer Tracts in Advanced Robotics 28 (2007) 295–304.

Non-trivial black-box combiners for collision-resistant hash-functions don't exist
K.Z. Pietrzak, in:, Springer, 2007, pp. 23–33.

Evolution can favor antagonistic epistasis
M. Desai, D. Weissman, M. Feldman, Genetics 177 (2007) 1001–10.

Free energy of membrane protein unfolding derived from single-molecule force measurements
J. Preiner, H.L. Janovjak, C. Rankl, H. Knaus, D. Cisneros, A. Kedrov, F. Kienberger, D. Mueller, P. Hinterdorfer, Biophysical Journal 93 (2007) 930–937.

Deciphering molecular interactions of native membrane proteins by single-molecule force spectroscopy
A. Kedrov, H.L. Janovjak, T. Sapra, D. Mueller, Annual Review of Biophysics 36 (2007) 233–260.

Morphogen transport in epithelia
M.T. Bollenbach, K. Kruse, P. Pantazis, M. Gonzalez Gaitan, F. Julicher, Physical Review E Statistical Nonlinear and Soft Matter Physics 75 (2007).

Place-selective firing contributes to the reverse-order reactivation of C pyramidal cells during sharp waves in open-field exploration
J.L. Csicsvari, J. O’Neill, K. Allen, T. Senior, European Journal of Neuroscience 26 (2007) 704–716.

Multiobjective optimal design of MEMS-based reconfigurable and evolvable sensor networks for space applications
E. Yang, N. Haridas, A. El Rayis, A. Erdogan, T. Arslan, N.H. Barton, in:, IEEE, 2007, pp. 27–34.

Efficient subwindow search for object localization
M. Blaschko, T. Hofmann, C. Lampert, Efficient Subwindow Search for Object Localization, Max-Planck-Institute for Biological Cybernetics, 2007.

Optimal dominant motion estimation using adaptive search of transformation space
A. Ulges, C. Lampert, D. Keysers, T. Breuel, in:, Springer, 2007, pp. 204–213.

Precise physical models of protein-DNA interaction from high-throughput data
J. Kinney, G. Tkadik, C. Callan, PNAS 104 (2007) 501–506.

A finite element method for animating large viscoplastic flow
A. Bargteil, C. Wojtan, J. Hodgins, G. Turk, ACM Transactions on Graphics 26 (2007).

Animating corrosion and erosion
C. Wojtan, M. Carlson, P. Mucha, G. Turk, in:, Eurographics Association, 2007, pp. 15–22.

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.

Social prophylaxis: group interaction promotes collective immunity in ant colonies
L.V. Ugelvig, S. Cremer, Current Biology 17 (2007) 1967–1971.

Social immunity
S. Cremer, S. Armitage, P. Schmid Hempel, Current Biology 17 (2007) 3–2.

Plasticity in anti-parasite behaviours and its suggested role in invasion biology
D. Hughes, S. Cremer, Animal Behaviour 74 (2007) 1593–1599.

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.

Alpha-beta witness complexes
D. Attali, H. Edelsbrunner, J. Harer, Y. Mileyko, in:, Springer, 2007, pp. 386–397.

Inferring local homology from sampled stratified spaces
P. Bendich, D. Cohen Steiner, H. Edelsbrunner, J. Harer, D. Morozov, in:, IEEE, 2007, pp. 536–546.

Inclusion-exclusion formulas from independent complexes
D. Attali, H. Edelsbrunner, Discrete &; Computational Geometry 37 (2007) 59–77.

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.

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.

Evolution and multilevel optimization of the genetic code
M.T. Bollenbach, K. Vetsigian, R. Kishony, Genome Research 17 (2007) 401–404.

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.

Library 2.0 and User-Generated Content - What can the users do for us?
P. Danowski, in:, IFLA, 2007.

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.

Bibliothek 2.0 ? Wird alles anders?
P. Danowski, L. Heller, Bibliothek - Forschung Und Praxis 31 (2007) 130–136.

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).

Genes under positive selection in Escherichia coli
L. Petersen, J.P. Bollback, M. Dimmic, M. Hubisz, R. Nielsen, Genome Research 17 (2007) 1336–1343.

Clonal interference is alleviated by high mutation rates in large populations
J.P. Bollback, J. Huelsenbeck, Molecular Biology and Evolution 24 (2007) 1397–1406.

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.

On synthesizing controllers from bounded-response properties
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2007, pp. 95–107.

AMT: a property-based monitoring tool for analog systems
D. Nickovic, O. Maler, in:, Springer, 2007, pp. 304–319.

Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis
P. Dhonukshe, F. Aniento, I. Hwang, D. Robinson, J. Mravec, Y. Stierhof, J. Friml, Current Biology 17 (2007) 520–527.

MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins
N. Malenica, L. Abas, R. Benjamins, S. Kitakura, H. Sigmund, K. Jun, M. Hauser, J. Friml, C. Luschnig, Plant Journal 51 (2007) 537–550.

ETS transcription factor Erm controls subsynaptic gene expression in skeletal muscles
S. Hippenmeyer, R. Huber, D. Ladle, K. Murphy, S. Arber, Neuron 55 (2007) 726–740.

Improving the security of MACs via randomized message preprocessing
Y. Dodis, K.Z. Pietrzak, in:, Springer, 2007, pp. 414–433.

Parallel repetition of computationally sound protocols revisited
K.Z. Pietrzak, D. Wikström, in:, Springer, 2007, pp. 86–102.

Intrusion resilient secret sharing
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2007, pp. 227–237.

Indistinguishability amplification
U. Maurer, K.Z. Pietrzak, R. Renner, in:, Springer, 2007, pp. 130–149.

Range extension for weak PRFs the good the bad and the ugly
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2007, pp. 517–533.

Behavioral paternity predicts genetic paternity in satin bowerbirds, a species with a non-resource-based mating system
S. Reynolds, K. Dryer, J.P. Bollback, J.A. Uy, G. Patricelli, T. Robson, G. Borgia, M. Braun, The Auk 124 (2007) 857–867.

Estimating the history of mutations on a phylogeny
J.P. Bollback, P. Gardner, R. Nielsen, in:, D. Liberles (Ed.), Ancestral Sequence Reconstruction, Oxford University Press, 2007, pp. 69–79.

Neural inhibition
P.M. Jonas, G. Buzsáki, Scholarpedia 2 (2007).

Weak witnesses for Delaunay triangulations of submanifolds
D. Attali, H. Edelsbrunner, Y. Mileyko, in:, ACM, 2007, pp. 143–150.

Optimal dominant motion estimation using adaptive search of transformation space
A. Ulges, C. Lampert, D. Keysers, T. Breuel, in:, Springer, 2007, pp. 204–213.

Evolution
N.H. Barton, D. Briggs, J. Eisen, D. Goldstein, N. Patel, Evolution, Cold Spring Harbor Laboratory Press, 2007.

Digital force-feedback for protein unfolding experiments using atomic force microscopy
C. Bippes, H.L. Janovjak, A. Kedrov, D. Mueller, Nanotechnology 18 (2007).

Transmembrane helices have rough energy surfaces
H.L. Janovjak, H. Knaus, D. Mueller, Journal of the American Chemical Society 129 (2007) 246–247.

Faster solutions of the inverse pairwise Ising problem
T. Broderick, M. Dudik, G. Tkadik, R. Schapire, W. Bialek, ArXiv q-QM (2007).

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.

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.

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.

Generalized parity games
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Springer, 2007, pp. 153–167.

Concurrent games with tail objectives
K. Chatterjee, Theoretical Computer Science 388 (2007) 181–198.

Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73.

Qualitative logics and equivalences for probabilistic systems
L. De Alfaro, K. Chatterjee, M. Faella, A. Legay, in:, IEEE, 2007, pp. 237–248.

Markov decision processes with multiple long-run average objectives
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–484.

Stochastic Müller games are PSPACE-complete
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–448.

Optimal strategy synthesis in stochastic Müller games
K. Chatterjee, in:, Springer, 2007, pp. 138–152.

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.

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.

Inequalities for the curvature of curves and surfaces
D. Cohen Steiner, H. Edelsbrunner, Foundations of Computational Mathematics 7 (2007) 391–404.

Stability of persistence diagrams
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Discrete &; Computational Geometry 37 (2007) 103–120.

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.

Determinism, noise, and spurious estimations in a generalised model of population growth
H. de Vladar, I. Pen, Physica A 373 (2007) 477–485.

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.

The relation between multilocus population genetics and social evolution theory
A. Gardner, S. West, N.H. Barton, American Naturalist 169 (2007) 207–226.

Do evolution and ecology need the Gaia hypothesis?
A. Free, N.H. Barton, Trends in Ecology and Evolution 22 (2007) 611–619.

Algorithms for interface synthesis
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.

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.

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.

Qualitative networks: A symbolic approach to analyze biological signaling networks
M. Schaub, T.A. Henzinger, J. Fisher, BMC Systems Biology 1 (2007).

Model Checking on Trees with Path Equivalences
R. Alur, P. Cerny, S. Chaudhuri, in:, Springer, 2007, pp. 664–678.

Abstract counterexample-based refinement for powerset domains
R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.

The embedded machine: Predictable, portable real-time code
T.A. Henzinger, C. Kirsch, ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2007).

Games, time, and probability: Graph models for system design and analysis
T.A. Henzinger, in:, Springer, 2007, pp. 103–110.

Quantitative generalizations of languages
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.

Predictive modeling of signaling crosstalk during C. elegans vulval development
J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).

Executable cell biology
J. Fisher, T.A. Henzinger, Nature Biotechnology 25 (2007) 1239–1249.

CSL: Computer Science Logic 
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.

Assume-guarantee synthesis
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.

Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.

Stochastic <9-Regular Games
K. Chatterjee, Stochastic <9-Regular Games, University of California, Berkeley, 2007.

A framework for compositional design and analysis of systems
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.

The software model checker BLAST: Applications to software engineering
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.

Minimum-time reachability in timed games
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.

Configurable software verification: Concretizing the convergence of model checking and program analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.

Invariant synthesis for combined theories
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.

Path invariants
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.

An application of web-service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.

Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.

Observing the spin hall effect of light via quantum weak measurements
O. Hosten, P. Kwiat, in:, OSA, 2007.

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.

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.

The Manin conjecture in dimension 2
T.D. Browning, ArXiv (n.d.).

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).

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.

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.

Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep
M.R. Robinson, L.E.. Kruuk, Biology Letters 3 (2007) 651–654.

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.

Single-molecule electrophoresis of ;2-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.

Gating deficits in model networks: A path to schizophrenia?
T.P. Vogels, L. Abbott, Pharmacopsychiatry 40 (2007) –.

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.

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.

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.

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.

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.

Conversion and compensatory evolution of the ;3-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.

Selection for functional uniformity of tuf duplicates in ;3-proteobacteria
F. Kondrashov, T. Gurbich, P. Vlasov, Trends in Genetics 23 (2007) 215–218.

Extensive parallelism in protein evolution
G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, A. Kondrashov, Biology Direct 2 (2007).

DNA demethylation in the Arabidopsis genome
J. Penterman, D. Zilberman, J.H. Huh, T. Ballinger, S. Henikoff, R.L. Fischer, Proceedings of the National Academy of Sciences 104 (2007) 6752–6757.

How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency
A. Gorodetski, V. Kaloshin, Advances in Mathematics 208 (2007) 710–797.

Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I
V. Kaloshin, B. Hunt, Annals of Mathematics 165 (2007) 89–170.

A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures
K. Popadin, L. Mamirova, F. Kondrashov, BMC Bioinformatics 8 (2007).

Instability and focusing of internal tides in the deep ocean
O. Bühler, C.J. Muller, Journal of Fluid Mechanics 588 (2007) 1–28.

The human promoter methylome
D. Zilberman, The Human Promoter Methylome, Nature Publishing Group, 2007.

Genome-wide analysis of DNA methylation patterns
D. Zilberman, S. Henikoff, Development 134 (2007) 3959–3965.

Packaging the male germline in plants
X. Feng, H.G. Dickinson, Trends in Genetics 23 (2007) 503–510.

Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres
R. Klajn, A.O. Pinchuk, G.C. Schatz, B.A. Grzybowski, Angewandte Chemie International Edition 46 (2007) 8363–8367.

Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures
R. Klajn, K.J.M. Bishop, B.A. Grzybowski, Proceedings of the National Academy of Sciences 104 (2007) 10305–10309.

Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates
R. Klajn, K.J.M. Bishop, M. Fialkowski, M. Paszewski, C.J. Campbell, T.P. Gray, B.A. Grzybowski, Science 316 (2007) 261–264.

Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin
M. Paszewski, S.K. Smoukov, R. Klajn, B.A. Grzybowski, Langmuir 23 (2007) 5419–5422.

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

Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons
T. Komiyama, L.B. Sweeney, O. Schuldiner, K.C. Garcia, L. Luo, Cell 128 (2007) 399–410.