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

A. Chakrabarti, “A framework for compositional design and analysis of systems,” University of California, Berkeley, 2007.

D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “The software model checker BLAST: Applications to software engineering,” International Journal on Software Tools for Technology Transfer, vol. 9, no. 5. Springer, pp. 505–525, 2007.

T. Brihaye, T. A. Henzinger, V. Prabhu, and J. Raskin, “Minimum-time reachability in timed games,” presented at the ICALP: Automata, Languages and Programming, 2007, vol. 4596, pp. 825–837.

D. Beyer, T. A. Henzinger, and G. Théoduloz, “Configurable software verification: Concretizing the convergence of model checking and program analysis,” presented at the CAV: Computer Aided Verification, 2007, vol. 4590, pp. 504–518.

D. Beyer, T. A. Henzinger, R. Majumdar, and A. Rybalchenko, “Invariant synthesis for combined theories,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, 2007, vol. 4349, pp. 378–394.

D. Beyer, T. A. Henzinger, R. Majumdar, and A. Rybalchenko, “Path invariants,” presented at the PLDI: Programming Languages Design and Implementation, 2007, pp. 300–309.

D. Beyer, A. Chakrabarti, T. A. Henzinger, and S. Seshia, “An application of web-service interfaces,” presented at the ICWS: International Conference on Web Service, 2007, pp. 831–838.

L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” Theoretical Computer Science, vol. 386, no. 3. Elsevier, pp. 188–217, 2007.

O. Hosten and P. Kwiat, “Observing the spin hall effect of light via quantum weak measurements,” presented at the OMD: Organic Materials and Devices for Displays and Energy Conversion, 2007.

T. L. Gumienny, L. T. MacNeil, H. Wang, M. de Bono, J. L. Wrana, and R. W. Padgett, “Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans,” Current Biology, vol. 17, no. 2. Elsevier, pp. 159–164, 2007.

T. D. Browning, “An overview of Manin’s conjecture for del Pezzo surfaces,” in A Tribute to Gauss and Dirichlet, vol. 7, American Mathematical Society, 2007, pp. 39–56.

T. D. Browning, “The Manin conjecture in dimension 2,” arXiv. .

I. A. Schneider, S. A. Freunberger, D. Kramer, A. Wokaun, and G. G. Scherer, “Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs,” Journal of The Electrochemical Society, vol. 154, no. 4. The Electrochemical Society, 2007.

F. N. Büchi et al., “Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain,” Fuel Cells, vol. 7, no. 4. Wiley, pp. 329–335, 2007.

F. N. Büchi et al., “On the efficiency of an advanced automotive fuel cell system,” Fuel Cells, vol. 7, no. 2. Wiley, pp. 159–164, 2007.

M. R. Robinson and L. E. . Kruuk, “Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep,” Biology Letters, vol. 3, no. 6. The Royal Society, pp. 651–654, 2007.

M. R. Robinson, J. G. Pilkington, T. H. Clutton-Brock, J. M. Pemberton, and L. E. B. Kruuk, “Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep,” Evolution, vol. 60, no. 10. Wiley, pp. 2168–2181, 2007.

C. P. Goodrich et al., “Single-molecule electrophoresis of ;2-hairpin peptides by electrical recordings and Langevin dynamics simulations,” The Journal of Physical Chemistry B, vol. 111, no. 13. American Chemical Society, pp. 3332–3335, 2007.

T. P. Vogels and L. Abbott, “Gating deficits in model networks: A path to schizophrenia?,” Pharmacopsychiatry, vol. 40, no. S 1. Thieme, pp. –, 2007.

P. Schanda, V. Forge, and B. Brutscher, “Protein folding and unfolding studied at atomic resolution by fast two-dimensional NMR spectroscopy,” Proceedings of the National Academy of Sciences, vol. 104, no. 27. National Academy of Sciences, pp. 11257–11262, 2007.

M. Gal, P. Schanda, B. Brutscher, and L. Frydman, “UltraSOFAST HMQC NMR and the repetitive acquisition of 2D protein spectra at Hz rates,” Journal of the American Chemical Society, vol. 129, no. 5. American Chemical Society, pp. 1372–1377, 2007.

P. Schanda, E. Lescop, M. Falge, R. Sounier, J. Boisbouvier, and B. Brutscher, “Sensitivity-optimized experiment for the measurement of residual dipolar couplings between amide protons,” Journal of Biomolecular NMR, vol. 38. Springer Nature, pp. 47–55, 2007.

E. Lescop, P. Schanda, R. Rasia, and B. Brutscher, “Automated spectral compression for fast multidimensional NMR and increased time resolution in real-time NMR spectroscopy,” Journal of the American Chemical Society, vol. 129, no. 10. American Chemical Society, pp. 2756–2757, 2007.

E. Lescop, P. Schanda, and B. Brutscher, “A set of BEST triple-resonance experiments for time-optimized protein resonance assignment,” Journal of Magnetic Resonance, vol. 187, no. 1. Elsevier, pp. 163–169, 2007.

O. Plotnikova, F. Kondrashov, P. Vlasov, A. Grigorenko, E. Ginter, and E. Rogaev, “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,” American Journal of Human Genetics, vol. 81, no. 1. Cell Press, pp. 32–43, 2007.

F. Kondrashov, T. Gurbich, and P. Vlasov, “Selection for functional uniformity of tuf duplicates in ;3-proteobacteria,” Trends in Genetics, vol. 23, no. 5. Elsevier, pp. 215–218, 2007.

G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, and A. Kondrashov, “Extensive parallelism in protein evolution,” Biology Direct, vol. 2. BioMed Central, 2007.

J. Penterman, D. Zilberman, J. H. Huh, T. Ballinger, S. Henikoff, and R. L. Fischer, “DNA demethylation in the Arabidopsis genome,” Proceedings of the National Academy of Sciences, vol. 104, no. 16. National Academy of Sciences, pp. 6752–6757, 2007.

A. Gorodetski and V. Kaloshin, “How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency,” Advances in Mathematics, vol. 208, no. 2. Elsevier, pp. 710–797, 2007.

V. Kaloshin and B. Hunt, “Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I,” Annals of Mathematics, vol. 165, no. 1. Princeton University Press, pp. 89–170, 2007.

K. Popadin, L. Mamirova, and F. Kondrashov, “A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures,” BMC Bioinformatics, vol. 8. BioMed Central, 2007.

O. Bühler and C. J. Muller, “Instability and focusing of internal tides in the deep ocean,” Journal of Fluid Mechanics, vol. 588. Cambridge University Press, pp. 1–28, 2007.

D. Zilberman, The human promoter methylome, vol. 39, no. 4. Nature Publishing Group, 2007, pp. 442–443.

D. Zilberman and S. Henikoff, “Genome-wide analysis of DNA methylation patterns,” Development, vol. 134, no. 22. The Company of Biologists, pp. 3959–3965, 2007.

X. Feng and H. G. Dickinson, “Packaging the male germline in plants,” Trends in Genetics, vol. 23, no. 10. Elsevier BV, pp. 503–510, 2007.

R. Klajn, A. O. Pinchuk, G. C. Schatz, and B. A. Grzybowski, “Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres,” Angewandte Chemie International Edition, vol. 46, no. 44. Wiley, pp. 8363–8367, 2007.

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

R. Klajn et al., “Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates,” Science, vol. 316, no. 5822. American Association for the Advancement of Science, pp. 261–264, 2007.

M. Paszewski, S. K. Smoukov, R. Klajn, and B. A. Grzybowski, “Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin,” Langmuir, vol. 23, no. 10. American Chemical Society, pp. 5419–5422, 2007.

L. B. Sweeney et al., “Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions,” Neuron, vol. 53, no. 2. Elsevier, pp. 185–200, 2007.

T. Komiyama, L. B. Sweeney, O. Schuldiner, K. C. Garcia, and L. Luo, “Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons,” Cell, vol. 128, no. 2. Elsevier, pp. 399–410, 2007.

T. Kraemer et al., “Evidence for Efimov quantum states in an ultracold gas of caesium atoms,” Nature, vol. 440, no. 7082. Nature Publishing Group, pp. 315–318, 2006.

H. Nägerl et al., “Experimental evidence for Efimov quantum states,” presented at the ICAP: International Conference on Atomic Physics, 2006, vol. 869, pp. 269–277.

J. R. Harris et al., “In Vitro Techniques,” in Cell Biology Protocols, R. Harris, J. Graham, and D. Rickwood, Eds. Chichester, UK: Wiley, 2006, pp. 201–378.

M. A. D’Angelo and M. Hetzer, “The role of the nuclear envelope in cellular organization,” Cellular and Molecular Life Sciences, vol. 63, no. 3. Springer Nature, pp. 316–332, 2006.

M. A. D’Angelo, D. J. Anderson, E. Richard, and M. Hetzer, “Nuclear pores form de novo from both sides of the nuclear envelope,” Science, vol. 312, no. 5772. American Association for the Advancement of Science, pp. 440–443, 2006.

M. H. Henzinger, “Finding near-duplicate web pages: A large-scale evaluation of algorithms,” in 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Seattle, WA, United States, 2006, pp. 284–291.

T. Hausel, “Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform,” PNAS, vol. 103, no. 16. National Academy of Sciences, pp. 6120–6124, 2006.

T. Hausel and E. Swartz, “Intersection forms of toric hyperkähler varieties,” Proceedings of the American Mathematical Society, vol. 134, no. 8. American Mathematical Society, pp. 2403–2409, 2006.

V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, and M. González Gaitán, “Postsynaptic mad signaling at the Drosophila neuromuscular junction,” Current Biology, vol. 16, no. 7. Cell Press, pp. 625–635, 2006.

G. Katsaros et al., “Investigating the lateral motion of SiGe islands by selective chemical etching,” Surface Science, vol. 600, no. 12. Elsevier, pp. 2608–2613, 2006.

A. Rastelli et al., “Reading the footprints of strained islands,” Microelectronics Journal, vol. 37, no. 12. Elsevier, pp. 1471–1476, 2006.

G. Costantini et al., “Interplay between thermodynamics and kinetics in the capping of InAs/GaAs (001) quantum dots,” Physical Review Letters, vol. 96, no. 22. American Physical Society, 2006.

G. Katsaros et al., “Evolution of buried semiconductor nanostructures and origin of stepped surface mounds during capping,” Applied Physics Letters, vol. 89, no. 25. American Institute of Physics, 2006.

S. Siegert, P. Schnierle, and B. Schnierle, “Novel anti-viral therapy: Drugs that block HIV entry at different target sites,” Mini-Reviews in Medicinal Chemistry, vol. 6, no. 5. Bentham Science Publishers, pp. 557–562, 2006.

L. A. Sazanov and P. Hinchliffe, “Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus,” Science, vol. 311, no. 5766. American Association for the Advancement of Science, pp. 1430–1436, 2006.

P. Hinchliffe, J. Carroll, and L. A. Sazanov, “Identification of a novel subunit of respiratory complex I from Thermus thermophilus,” Biochemistry, vol. 45, no. 14. ACS, pp. 4413–4420, 2006.

B. Vicoso and B. Charlesworth, “Evolution on the X chromosome: Unusual patterns and processes,” Nature Reviews Genetics, vol. 7, no. 8. Nature Publishing Group, pp. 645–653, 2006.

B. Bickel, M. Wicke, and M. Gross, “Adaptive simulation of electrical discharges,” presented at the VMV: Vision, Modeling, and Visualization, 2006.

T. Weyrich et al., “Analysis of human faces using a measurement-based skin reflectance model,” ACM Transactions on Graphics, vol. 25, no. 3. ACM, pp. 1013–1024, 2006.

T. Weyrich et al., “Analysis of human faces using a measurement-based skin reflectance model,” presented at the ACM SIGGRAPH, 2006, pp. 1013–1024.

B. Bickel et al., “Processing and editing of faces using a measurement-based skin reflectance model,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, 2006.

A. Ehresmann et al., “Predissociation of the N+2(C 2:3+u) state observed via C 2:3+u  X 2:3+g fluorescence after resonant 1<0* excitation of N2 molecule,” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 39, no. 6. IOP Publishing Ltd., pp. L119–L126, 2006.

T. D. Browning, R. Heath Brown, and J. Starr, “The density of rational points on non-singular hypersurfaces, II,” Proceedings of the London Mathematical Society, vol. 93, no. 2. John Wiley and Sons Ltd, pp. 273–303, 2006.

R. Vedrinski0 et al., “Temperature dependent XAFS studies of local atomic structure of the perovskite-type zirconates,” Physical Review B - Condensed Matter and Materials Physics, vol. 73, no. 13. American Physical Society, 2006.

A. Ehresmann et al., “Studying the N+2(:3+u  :3+g) fluorescence excited via the 1<0* resonance,” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 39, no. 2. IOP Publishing Ltd., pp. 283–304, 2006.

T. D. Browning and R. Heath Brown, “The density of rational points on non-singular hypersurfaces, I,” Bulletin of the London Mathematical Society, vol. 38, no. 3. Wiley-Blackwell, pp. 401–410, 2006.

T. D. Browning, R. Heath Brown, and P. Salberger, “Counting rational points on algebraic varieties,” Duke Mathematical Journal, vol. 132, no. 3. Unknown, pp. 545–578, 2006.

R. De La Bretèche and T. D. Browning, “Sums of arithmetic functions over values of binary forms,” Acta Arithmetica, vol. 125, no. 3. Instytut Matematyczny, pp. 291–304, 2006.

É. Lieb, R. Seiringer, and J. Solovej, “Ground-state energy of a dilute Fermi gas,” presented at the Differential Equations and Mathematical Physics, 2006, vol. 412, pp. 239–248.

R. Seiringer, É. Lieb, and J. Yngvason, “One-dimensional behavior of dilute, trapped Bose gases in traps,” presented at the ICMP: International Congress on Mathematical Physics, 2006.

É. Lieb and R. Seiringer, “Derivation of the Gross-Pitaevskii equation for rotating Bose gases,” Communications in Mathematical Physics, vol. 264, no. 2. Springer, pp. 505–537, 2006.

R. Seiringer, “A correlation estimate for quantum many-body systems at positive temperature,” Reviews in Mathematical Physics, vol. 18, no. 3. World Scientific Publishing, pp. 233–253, 2006.

R. Seiringer, “The thermodynamic pressure of a dilute fermi gas,” Communications in Mathematical Physics, vol. 261, no. 3. Springer, pp. 729–757, 2006.

R. Frank, A. Laptev, É. Lieb, and R. Seiringer, “Lieb-Thirring inequalities for Schrödinger operators with complex-valued potentials,” Letters in Mathematical Physics, vol. 77, no. 3. Springer, pp. 309–316, 2006.

R. Seiringer, “Dilute, trapped Bose gases and Bose-Einstein condensation,” in Large Coulomb Systems, vol. 695, J. Dereziski and H. Siedentop, Eds. Springer, 2006, pp. 249–274.

M. Aizenman, É. Lieb, R. Seiringer, J. Solovej, and J. Yngvason, “Bose-Einstein condensation as a quantum phase transition in an optical lattice,” in Mathematical Physics of Quantum Mechanics, vol. 690, J. Asch and A. Joye, Eds. Springer, 2006, pp. 199–215.

J. Bang Jensen, B. Reed, B. Schacht, R. Sámal, B. Toft, and U. Wagner, “On six problems posed by Jarik Nesetil,” in Topics in Discrete Mathematics, vol. 26, Springer, 2006, pp. 613–627.

K. Chent et al., “Online conflict-free coloring for intervals,” SIAM Journal on Computing, vol. 36, no. 5. SIAM, pp. 1342–1359, 2006.

U. Wagner, “On a geometric generalization of the Upper Bound Theorem,” presented at the FOCS: Foundations of Computer Science, 2006, pp. 635–645.

J. Matousek, M. Sharir, S. Smorodinsky, and U. Wagner, “K-sets in four dimensions,” Discrete &; Computational Geometry, vol. 35, no. 2. Springer, pp. 177–191, 2006.

M. Inamura et al., “Differential localization and regulation of stargazin-like protein, ;3-8 and stargazin in the plasma membrane of hippocampal and cortical neurons,” Neuroscience Research, vol. 55, no. 1. Elsevier, pp. 45–53, 2006.

R. Luján and R. Shigemoto, “Localization of metabotropic GABA receptor subunits GABA and GABA relative to synaptic sites in the rat developing cerebellum,” European Journal of Neuroscience, vol. 23, no. 6. Wiley-Blackwell, pp. 1479–1490, 2006.

T. Kodama et al., “A Ca.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses,” European Journal of Neuroscience, vol. 24, no. 11. Wiley-Blackwell, pp. 2993–3007, 2006.

R. Vigot et al., “Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants,” Neuron, vol. 50, no. 4. Elsevier, pp. 589–601, 2006.

Á. Kulik et al., “Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells,” Journal of Neuroscience, vol. 26, no. 16. Society for Neuroscience, pp. 4289–4297, 2006.

H. Shaban et al., “Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition,” Nature Neuroscience, vol. 9, no. 8. Nature Publishing Group, pp. 1028–1035, 2006.

F. Ferraguti and R. Shigemoto, “Metabotropic glutamate receptors,” Cell and Tissue Research, vol. 326, no. 2. Springer, pp. 483–504, 2006.

L. Erdös, B. Schlein, and H. Yau, “Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate,” Communications on Pure and Applied Mathematics, vol. 59, no. 12. Wiley-Blackwell, pp. 1659–1741, 2006.

A. Elgart, L. Erdös, B. Schlein, and H. Yau, “Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons,” Archive for Rational Mechanics and Analysis, vol. 179, no. 2. Springer, pp. 265–283, 2006.

L. Erdös, M. Salmhofer, and H. Yau, “Towards the quantum Brownian motion,” presented at the QMath: Mathematical Results in Quantum Physics, 2006, vol. 690, pp. 233–257.

B. Hof, J. Westerweel, T. Schneider, and B. Eckhardt, “Finite lifetime of turbulence in shear flows,” Nature, vol. 443, no. 7107. Nature Publishing Group, pp. 59–62, 2006.

B. Hof, C. Van Doorne, J. Westerweel, and F. Nieuwstadt, “Observation of nonlinear travelling waves in turbulent pipe flow,” Fluid Mechanics and its Applications, vol. 78. Springer, pp. 109–114, 2006.

D. Calado, T. Paixao, D. Holmberg, and M. Haury, “Stochastic Monoallelic Expression of IL 10 in T Cells,” Journal of Immunology, vol. 177, no. 8. American Association of Immunologists, pp. 5358–5364, 2006.

V. Kolmogorov and R. Zabih, “Graph cut algorithms for binocular stereo with occlusions,” in Handbook of Mathematical Models in Computer Vision, Springer, 2006, pp. 423–427.

M. Sauer and J. Friml, “In vitro culture of Arabidopsis embryos,” in Somatic Embryogenesis, vol. 2, A. Mujib and J. Samaj, Eds. Springer, 2006, pp. 343–354.

J. Petrásek et al., “PIN proteins perform a rate-limiting function in cellular auxin efflux,” Science, vol. 312, no. 5775. American Association for the Advancement of Science, pp. 914–918, 2006.

E. Scarpella, D. Marcos, J. Friml, and T. Berleth, “Control of leaf vascular patterning by polar auxin transport,” Genes and Development, vol. 20, no. 8. Cold Spring Harbor Laboratory Press, pp. 1015–1027, 2006.

L. Abas et al., “Intracellular trafficking and proteolysis of the Arabidopsis auxin-efflux facilitator PIN2 are involved in root gravitropism,” Nature Cell Biology, vol. 8, no. 3. Nature Publishing Group, pp. 249–256, 2006.