@article{1464,
abstract = {The moduli space of stable vector bundles on a Riemann surface is smooth when the rank and degree are coprime, and is diffeomorphic to the space of unitary connections of central constant curvature. A classic result of Newstead and Atiyah and Bott asserts that its rational cohomology ring is generated by the universal classes, that is, by the Kunneth components of the Chern classes of the universal bundle.
This paper studies the larger, non-compact moduli space of Higgs bundles, as introduced by Hitchin and Simpson, with values in the canonical bundle K. This is diffeomorphic to the space of all connections of central constant curvature, whether unitary or not. The main result of the paper is that, in the rank 2 case, the rational cohomology ring of this space is again generated by universal classes.
The spaces of Higgs bundles with values in K(n) for n > 0 turn out to be essential to the story. Indeed, we show that their direct limit has the homotopy type of the classifying space of the gauge group, and hence has cohomology generated by universal classes. 2000 Mathematics Subject Classification 14H60 (primary), 14D20, 14H81, 32Q55, 58D27 (secondary). },
author = {Tamas Hausel and Thaddeus, Michael},
journal = {Proceedings of the London Mathematical Society},
number = {3},
pages = {632 -- 658},
publisher = {Oxford University Press},
title = {{Generators for the cohomology ring of the moduli space of rank 2 higgs bundles}},
doi = {10.1112/S0024611503014618},
volume = {88},
year = {2004},
}
@article{2638,
abstract = {Among various types of low- and high-threshold calcium channels, the high voltage-activated P/Q-type channel is the most abundant in the cerebellum. These P/Q-type channels are involved in the regulation of neurotransmitter release and in the integration of dendritic inputs. We used an antibody specific for the α1A subunit of the P/Q-type channel in quantitative pre-embedding immunogold labelling combined with three-dimensional reconstruction to reveal the subcellular distribution of pre- and postsynaptic P/Q-type channels in the rat cerebellum. At the light microscopic level, immunoreactivity for the α1A protein was prevalent in the molecular layer, whereas immunostaining was moderate in the somata of Purkinje cells and weak in the granule cell layer. At the electron microscopic level, the most intense Immunoreactivity for the α1A subunit was found in the presynaptic active zone of parallel fibre varicosities. The dendritic spines of Purkinje cells were also strongly labelled with the highest density of immunoparticles detected within 180 nm from the edge of the asymmetrical parallel fibre-Purkinje cell synapses. By contrast, the immunolabelling was sparse in climbing fibre varicosities and axon terminals of GABAergic cells, and weak and diffuse in dendritic shafts of Purkinje cells. The association of the α1A subunit with the glutamatergic parallel fibre-Purkinje cell synapses suggests that presynaptic channels have a major role in the mediation of excitatory neurotransmission, whereas postsynaptic channels are likely to be involved in depolarization-induced generation of local calcium transients in Purkinje cells.},
author = {Kulik, Ákos and Nakadate, Kazuhiko and Hagiwara, Akari and Fukazawa, Yugo and Luján, Rafael and Saito, Hiromitsu and Suzuki, Noboru and Futatsugi, Akira and Mikoshiba, Katsuhiko and Frotscher, Michael and Ryuichi Shigemoto},
journal = {European Journal of Neuroscience},
number = {8},
pages = {2169 -- 2178},
publisher = {Wiley-Blackwell},
title = {{Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum}},
doi = {10.1111/j.0953-816X.2004.03319.x},
volume = {19},
year = {2004},
}
@article{2640,
abstract = {Hyperpolarization-activated cation currents (Ih) contribute to various physiological properties and functions in the brain, including neuronal pacemaker activity, setting of resting membrane potential, and dendritic integration of synaptic input. Four subunits of the Hyperpolarization-activated and Cyclic-Nucleotide-gated nonselective cation channels (HCN1-4), which generate Ih, have been cloned recently. To better understand the functional diversity of Ih in the brain, we examined precise immunohistochemical localization of four HCNs in the rat brain. Immunoreactivity for HCN1 showed predominantly cortical distribution, being intense in the neocortex, hippocampus, superior colliculus, and cerebellum, whereas those for HCN3 and HCN4 exhibited subcortical distribution mainly concentrated in the hypothalamus and thalamus, respectively. Immunoreactivity for HCN2 had a widespread distribution throughout the brain. Double immunofluorescence revealed colocalization of immunoreactivity for HCN1 and HCN2 in distal dendrites of pyramidal cells in the hippocampus and neocortex. At the electron microscopic level, immunogold particles for HCN1 and HCN2 had similar distribution patterns along plasma membrane of dendritic shafts in layer I of the neocortex and stratum lacunosum moleculare of the hippocampal CA1 area, suggesting that these subunits could form heteromeric channels. Our results further indicate that HCNs are localized not only in somato-dendritic compartments but also in axonal compartments of neurons. Immunoreactivity for HCNs often occurred in preterminal rather than terminal portions of axons and in specific populations of myelinated axons. We also found HCN2-immunopositive oligodendrocytes including perineuronal oligodendrocytes throughout the brain. These results support previous electrophysiological findings and further suggest unexpected roles of Ih channels in the brain.},
author = {Notomi, Takuya and Ryuichi Shigemoto},
journal = {Journal of Comparative Neurology},
number = {3},
pages = {241 -- 276},
publisher = {Wiley-Blackwell},
title = {{Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain}},
doi = {10.1002/cne.11039},
volume = {471},
year = {2004},
}
@article{2645,
abstract = {The globus pallidus (GP) is a critical component of the basal ganglia circuitry controlling motor behavior. Dysregulation of GP activity has been implicated in a number of psychomotor disorders, including Parkinson's disease (PD), in which a cardinal feature of the pathophysiology is an alteration in the pattern and synchrony of discharge in GP neurons. Yet the determinants of this activity in GP neurons are poorly understood. To help fill this gap, electrophysiological, molecular, and computational approaches were used to identify and characterize GABAergic GP neurons in tissue slices from rodents. In vitro, GABAergic GP neurons generate a regular, autonomous, single-spike pacemaker activity. Hyperpolarization-activated, cyclic nucleotide-gated cation (HCN) channels make an important contribution to this process: their blockade with ZD7288 significantly slowed discharge rate and decreased its regularity. HCN currents evoked by somatic voltage clamp had fast and slow components. Single-cell RT-PCR and immunohistochemical approaches revealed robust expression of HCN2 subunits as well as significant levels of HCN1 subunits in GABAergic GP neurons. Transient activation of striatal GABAergic input to GP neurons led to a resetting of rhythmic discharge that was dependent on HCN currents. Simulations suggested that the ability of transient striatal GABAergic input to reset pacemaking was dependent on dendritic HCN2/HCN1 channels. Together, these studies show that HCN channels in GABAergic GP neurons are key determinants of the regularity and rate of pacemaking as well as striatal resetting of this activity, implicating HCN channels in the emergence of synchrony in PD.},
author = {Chan, Savio and Ryuichi Shigemoto and Mercer, Jeff N and Surmeier, James D},
journal = {Journal of Neuroscience},
number = {44},
pages = {9921 -- 9932},
publisher = {Society for Neuroscience},
title = {{HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons}},
doi = {10.1523/JNEUROSCI.2162-04.2004},
volume = {24},
year = {2004},
}
@inbook{2417,
author = {Lovász, László and Vesztergombi, Katalin and Uli Wagner and Welzl, Emo},
booktitle = {Towards a Theory of Geometric Graphs},
editor = {Pach, János},
pages = {139 -- 148},
publisher = {American Mathematical Society},
title = {{Convex quadrilaterals and k-sets }},
doi = {10.1090/conm/342},
volume = {342},
year = {2004},
}
@article{2741,
abstract = {The Pauli operator describes the energy of a nonrelativistic quantum particle with spin 1/2 in a magnetic field and an external potential. A new Lieb-Thirring type inequality on the sum of the negative eigenvalues is presented. The main feature compared to earlier results is that in the large field regime the present estimate grows with the optimal (first) power of the strength of the magnetic field. As a byproduct of the method, we also obtain an optimal upper bound on the pointwise density of zero energy eigenfunctions of the Dirac operator. The main technical tools are: (i) a new localization scheme for the square of the resolvent of a general class of second order elliptic operators; (ii) a geometric construction of a Dirac operator with a constant magnetic field that approximates the original Dirac operator in a tubular neighborhood of a fixed field line. The errors may depend on the regularity of the magnetic field but they are uniform in the field strength.},
author = {László Erdös and Solovej, Jan P},
journal = {Annales Henri Poincare},
number = {4},
pages = {671 -- 741},
publisher = {Birkhäuser},
title = {{Uniform Lieb-Thirring inequality for the three-dimensional Pauli operator with a strong non-homogeneous magnetic field}},
doi = {10.1007/s00023-004-0180-x},
volume = {5},
year = {2004},
}
@article{2998,
abstract = {The packaging of the genomic DNA into chromatin in the cell nucleus requires machineries that facilitate DNA-dependent processes such as transcription in the presence of repressive chromatin structures. Using co-immunoprecipitation we have identified in Arabidopsis thaliana cells the FAcilitates Chromatin Transcription (FACT) complex, consisting of the 120-kDa Spt16 and the 71-kDa SSRP1 proteins. Indirect immunofluorecence analyses revealed that both FACT subunits co-localize to nuclei of the majority of cell types in embryos, shoots and roots, whereas FACT is not present in terminally differentiated cells such as mature trichoblasts or cells of the root cap. In the nucleus, Spt16 and SSRP1 are found in the cytologically defined euchromatin of interphase cells independent of the status of DNA replication, but the proteins are not associated with heterochromatic chromocentres and condensed mitotic chromosomes. FACT can be detected by chromatin immunoprecipitation over the entire transcribed region (5′-UTR, coding sequence, 3′-UTR) of actively transcribed genes, whereas it does not occur at transcriptionally inactive heterochromatic regions and intergenic regions. FACT localizes to inducible genes only after induction of transcription, and the association of the complex with the genes correlates with the level of transcription. Collectively, these results indicate that FACT assists transcription elongation through plant chromatin.},
author = {Duroux, Meg and Houben, Andreas and Růžička, Kamil and Jirí Friml and Grasser, Klaus D},
journal = {Plant Journal},
number = {5},
pages = {660 -- 671},
publisher = {Wiley-Blackwell},
title = {{The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome}},
doi = {10.1111/j.1365-313X.2004.02242.x},
volume = {40},
year = {2004},
}
@inproceedings{3179,
abstract = {The problem of efficient, interactive foreground/background segmentation in still images is of great practical importance in image editing. Classical image segmentation tools use either texture (colour) information, e.g. Magic Wand, or edge (contrast) information, e.g. Intelligent Scissors. Recently, an approach based on optimization by graph-cut has been developed which successfully combines both types of information. In this paper we extend the graph-cut approach in three respects. First, we have developed a more powerful, iterative version of the optimisation. Secondly, the power of the iterative algorithm is used to simplify substantially the user interaction needed for a given quality of result. Thirdly, a robust algorithm for "border matting" has been developed to estimate simultaneously the alpha-matte around an object boundary and the colours of foreground pixels. We show that for moderately difficult examples the proposed method outperforms competitive tools.},
author = {Rother, Carsten and Vladimir Kolmogorov and Blake, Andrew},
number = {3},
pages = {309 -- 314},
publisher = {ACM},
title = {{"GrabCut" - Interactive foreground extraction using iterated graph cuts }},
doi = {10.1145/1015706.1015720},
volume = {23},
year = {2004},
}
@article{3807,
abstract = {The time course of Mg(2+) block and unblock of NMDA receptors (NMDARs) determines the extent they are activated by depolarization. Here, we directly measure the rate of NMDAR channel opening in response to depolarizations at different times after brief (1 ms) and sustained (4.6 s) applications of glutamate to nucleated patches from neocortical pyramidal neurons. The kinetics of Mg(2+) unblock were found to be non-instantaneous and complex, consisting of a prominent fast component (time constant approximately 100 micros) and slower components (time constants 4 and approximately 300 ms), the relative amplitudes of which depended on the timing of the depolarizing pulse. Fitting a kinetic model to these data indicated that Mg(2+) not only blocks the NMDAR channel, but reduces both the open probability and affinity for glutamate, while enhancing desensitization. These effects slow the rate of NMDAR channel opening in response to depolarization in a time-dependent manner such that the slower components of Mg(2+) unblock are enhanced during depolarizations at later times after glutamate application. One physiological consequence of this is that brief depolarizations occurring earlier in time after glutamate application are better able to open NMDAR channels. This finding has important implications for spike-timing-dependent synaptic plasticity (STDP), where the precise (millisecond) timing of action potentials relative to synaptic inputs determines the magnitude and sign of changes in synaptic strength. Indeed, we find that STDP timing curves of NMDAR channel activation elicited by realistic dendritic action potential waveforms are narrower than expected assuming instantaneous Mg(2+) unblock, indicating that slow Mg(2+) unblock of NMDAR channels makes the STDP timing window more precise.},
author = {Kampa, Bjorn M and Clements, John and Peter Jonas and Stuart, Greg J},
journal = {Journal of Physiology},
number = {Pt 2},
pages = {337 -- 45},
publisher = {Wiley-Blackwell},
title = {{Kinetics of Mg(2+) unblock of NMDA receptors: implications for spike-timing dependent synaptic plasticity}},
doi = {10.1113/jphysiol.2003.058842 },
volume = {556},
year = {2004},
}
@article{3617,
abstract = {The coalescent process can describe the effects of selection at linked loci only if selection is so strong that genotype frequencies evolve deterministically. Here, we develop methods proposed by Kaplan, Darden, and Hudson to find the effects of weak selection. We show that the overall effect is given by an extension to Price's equation: the change in properties such as moments of coalescence times is equal to the covariance between those properties and the fitness of the sample of genes. The distribution of coalescence times differs substantially between allelic classes, even in the absence of selection. However, the average coalescence time between randomly chosen genes is insensitive to the current allele frequency and is affected significantly by purifying selection only if deleterious mutations are common and selection is strong (i.e., the product of population size and selection coefficient, Ns > 3). Balancing selection increases mean coalescence times, but the effect becomes large only when mutation rates between allelic classes are low and when selection is extremely strong. Our analysis supports previous simulations that show that selection has surprisingly little effect on genealogies. Moreover, small fluctuations in allele frequency due to random drift can greatly reduce any such effects. This will make it difficult to detect the action of selection from neutral variation alone.},
author = {Nicholas Barton and Etheridge, Alison M},
journal = {Genetics},
number = {2},
pages = {1115 -- 1131},
publisher = {Genetics Society of America},
title = {{The effect of selection on genealogies}},
doi = {10.1534/genetics.166.2.1115},
volume = {166},
year = {2004},
}
@inproceedings{3895,
abstract = {In 2-player non-zero-sum games, Nash equilibria capture the options for rational behavior if each player attempts to maximize her payoff. In contrast to classical game theory, we consider lexicographic objectives: first, each player tries to maximize her own payoff, and then, the player tries to minimize the opponent's payoff. Such objectives arise naturally in the verification of systems with multiple components. There, instead of proving that each component satisfies its specification no matter how the other components behave, it often suffices to prove that each component satisfies its specification provided that the other components satisfy their specifications. We say that a Nash equilibrium is secure if it is an equilibrium with respect to the lexicographic objectives of both players. We prove that in graph games with Borel objectives, which include the games that arise in verification, there may be several Nash equilibria, but there is always a unique maximal payoff profile of secure equilibria. We show how this equilibrium can be computed in the case of omega-regular objectives, and we characterize the memory requirements of strategies that achieve the equilibrium.},
author = {Krishnendu Chatterjee and Thomas Henzinger and Jurdziński, Marcin},
pages = {160 -- 169},
publisher = {IEEE},
title = {{Games with secure equilibria}},
doi = {10.1109/LICS.2004.1319610},
year = {2004},
}
@article{3984,
abstract = {We combine topological and geometric methods to construct a multiresolution representation for a function over a two-dimensional domain. In a preprocessing stage, we create the Morse-Smale complex of the function and progressively simplify its topology by cancelling pairs of critical points. Based on a simple notion of dependency among these cancellations, we construct a hierarchical data structure supporting traversal and reconstruction operations similarly to traditional geometry-based representations. We use this data structure to extract topologically valid approximations that satisfy error bounds provided at runtime.},
author = {Bremer, Peer-Timo and Herbert Edelsbrunner and Hamann, Bernd and Pascucci, Valerio},
journal = {IEEE Transactions on Visualization and Computer Graphics},
number = {4},
pages = {385 -- 396},
publisher = {IEEE},
title = {{A topological hierarchy for functions on triangulated surfaces}},
doi = {10.1109/TVCG.2004.3},
volume = {10},
year = {2004},
}
@inproceedings{3989,
abstract = {We introduce local and global comparison measures for a collection of k less than or equal to d real-valued smooth functions on a common d-dimensional Riemannian manifold. For k = d = 2 we relate the measures to the set of critical points of one function restricted to the level sets of the other. The definition of the measures extends to piecewise linear functions for which they ace easy to compute. The computation of the measures forms the centerpiece of a software tool which we use to study scientific datasets.},
author = {Herbert Edelsbrunner and Harer, John and Natarajan, Vijay and Pascucci, Valerio},
pages = {275 -- 280},
publisher = {IEEE},
title = {{Local and global comparison of continuous functions}},
doi = {10.1109/VISUAL.2004.68},
year = {2004},
}
@article{4172,
abstract = {During vertebrate gastrulation, a relatively limited number of blastodermal cells undergoes a stereotypical set of cellular movements that leads to formation of the three germ layers: ectoderm, mesoderm and endoderm. Gastrulation, therefore, provides a unique developmental system in which to study cell movements in vivo in a fairly simple cellular context. Recent advances have been made in elucidating the cellular and molecular mechanisms that underlie cell movements during zebrafish gastrulation. These findings can be compared with observations made in other model systems to identify potential general mechanisms of cell migration during development.},
author = {Montero, Juan-Antonio and Heisenberg, Carl-Philipp},
journal = {Trends in Cell Biology},
number = {11},
pages = {620 -- 627},
publisher = {Cell Press},
title = {{Gastrulation dynamics: cells move into focus}},
doi = {10.1016/j.tcb.2004.09.008},
volume = {14},
year = {2004},
}
@inbook{4230,
author = {Harold Vladar and Cipriani, Roberto and Scharifker, Benjamin and Bubis, Jose},
booktitle = {Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds},
editor = {Hanslmeier,A. and Kempe,S. and Seckbach,J.},
pages = {83 -- 87},
publisher = {Springer},
title = {{A mechanism for the prebiotic emergence of proteins}},
year = {2004},
}
@article{864,
abstract = {We present a method for prediction of functional sites in a set of aligned protein sequences. The method selects sites which are both well conserved and clustered together in space, as inferred from the 3D structures of proteins included in the alignment. We tested the method using 86 alignments from the NCBI CDD database, where the sites of experimentally determined ligand and/or macromolecular interactions are annotated. In agreement with earlier investigations, we found that functional site predictions are most successful when overall background sequence conservation is low, such that sites under evolutionary constraint become apparent. In addition, we found that averaging of conservation values across spatially clustered sites improves predictions under certain conditions: that is, when overall conservation is relatively high and when the site in question involves a large macromolecular binding interface. Under these conditions it is better to look for clusters of conserved sites than to look for particular conserved sites.},
author = {Panchenko, Anna R and Fyodor Kondrashov and Bryant, Stephen H},
journal = {Protein Science},
number = {4},
pages = {884 -- 892},
publisher = {Wiley-Blackwell},
title = {{Prediction of functional sites by analysis of sequence and structure conservation}},
doi = {10.1110/ps.03465504},
volume = {13},
year = {2004},
}
@article{2355,
abstract = {The BMV conjecture for traces, which states that Tr exp(A - λB) is the Laplace transform of a positive measure, is shown to be equivalent to two other statements: (i) The polynomial λ → Tr(A + λB) p has only non-negative coefficients for all A, B ≥ 0, p ∈ ℕ and (ii) λ → Tr(A + λB)-p is the Laplace transform of a positive measure for A, B ≥ 0, p > 0.},
author = {Lieb, Élliott H and Robert Seiringer},
journal = {Journal of Statistical Physics},
number = {1-2},
pages = {185 -- 190},
publisher = {Springer},
title = {{ Equivalent forms of the Bessis-Moussa-Villani conjecture}},
doi = {10.1023/B:JOSS.0000019811.15510.27},
volume = {115},
year = {2004},
}
@article{2639,
abstract = {Vesicular glutamate transporter type 3 (VGLUT3) containing neuronal elements were characterized using antibodies to VGLUT3 and molecular cell markers. All VGLUT3-positive somata were immunoreactive for CCK, and very rarely, also for calbindin; none was positive for parvalbumin, calretinin, VIP or somatostatin. In the CA1 area, 26.8 ± 0.7% of CCK-positive interneuron somata were VGLUT3-positive, a nonoverlapping 22.8 ± 1.9% were calbindin-positive, 10.7 ± 2.5% VIP-positive and the rest were only CCK-positive. The patterns of coexpression were similar in the CA3 area, the dentate gyrus and the isocortex. Immunoreactivity for VGLUT3 was undetectable in pyramidal and dentate granule cells. Boutons colabelled for VGLUT3, CCK and GAD were most abundant in the cellular layers of the hippocampus and in layers II-III of the isocortex. Large VGLUT3-labelled boutons at the border of strata radiatum and lacunosum-moleculare in the CA1 area were negative for GAD, but were labelled for vesicular monoamine transporter type 2, plasmalemmal serotonin transporter or serotonin. No colocalization was found in terminals between VGLUT3 and parvalbumin, vesicular acetylcholine transporter and group III (mGluR7a,b; mGluR8a,b) metabotropic glutamate receptors. In stratum radiatum and the isocortex, VGLUT3-positive but GAD-negative boutons heavily innervated the soma and proximal dendrites of some VGLUT3- or calbindin-positive interneurons. The results suggest that boutons coexpressing VGLUT3, CCK and GAD originate from CCK-positive basket cells, which are VIP-immunonegative. Other VGLUT3-positive boutons immunopositive for serotonergic markers but negative for GAD probably originate from the median raphe nucleus and innervate select interneurons. The presumed amino acid substrate of VGLUT3 may act on presynaptic kainate or group II metabotropic glutamate receptors.},
author = {Somogyi, Jozsef and Baude, Agnès and Omori, Yuko and Shimizu, Hidemi and El-Mestikawy, Salah and Fukaya, Masahiro and Ryuichi Shigemoto and Watanabe, Masahiko and Somogyi, Péter},
journal = {European Journal of Neuroscience},
number = {3},
pages = {552 -- 569},
publisher = {Wiley-Blackwell},
title = {{GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat}},
doi = {10.1111/j.0953-816X.2003.03091.x},
volume = {19},
year = {2004},
}
@article{2641,
abstract = {The Na+-K+ pump current (Ip) and the h-current (Ih) flowing through hyperpolarization-activated channels (h-channels) participate in generating the resting potential. These two currents are thought to be produced independently. We show here bidirectional interactions between Na+-K+ pumps and h-channels in mesencephalic trigeminal neurons. Activation of Ih leads to the generation of two types of ouabain-sensitive Ip with temporal profiles similar to those of instantaneous and slow components of I h, presumably reflecting Na+ transients in a restricted cellular space. Moreover, the Ip activated by instantaneous I h can facilitate the subsequent activation of slow Ih. Such counteractive and cooperative interactions were also disclosed by replacing extracellular Na+ with Li+, which is permeant through h-channels but does not stimulate the Na+-K+ pump as strongly as Na+ ions. These observations indicate that the interactions are bidirectional and mediated by Na+ ions. Also after substitution of extracellular Na+ with Li+, the tail Ih was reduced markedly despite an enhancement of Ih itself, attributable to a negative shift of the reversal potential for I h presumably caused by intracellular accumulation of Li+ ions. This suggests the presence of a microdomain where the interactions can take place. Thus, the bidirectional interactions between Na+-K + pumps and h-channels are likely to be mediated by Na+ microdomain. Consistent with these findings, hyperpolarization-activated and cyclic nucleotide-modulated subunits (HCN1/2) and the Na+-K + pump α3 isoform were colocalized in plasma membrane of mesencephalic trigeminal neurons having numerous spines.},
author = {Kang, Youngnam and Notomi, Takuya and Saito, Mitsuru and Zhang, Wei and Ryuichi Shigemoto},
journal = {Journal of Neuroscience},
number = {14},
pages = {3694 -- 3702},
publisher = {Society for Neuroscience},
title = {{Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic trigeminal neurons}},
doi = {10.1523/JNEUROSCI.5641-03.2004},
volume = {24},
year = {2004},
}
@article{2646,
abstract = {Metabotropic γ-aminobutyric acid receptors (GABAB) play modulatory roles in central synaptic transmission and are involved in controlling neuronal migration during development. We used immunohistochemical methods to elucidate the expression pattern as well as the cellular and the precise subcellular localization of the GABAB1a/b and GABAB2 subunits in the rat hippocampus during prenatal and postnatal development. At the light microscopic level, both GABABB1a/b and GABAB2 were expressed in the hippocampal primordium from embryonic day E14. During postnatal development, immunoreactivity for GABAB1a/b and GABAB2 was distributed mainly in pyramidal cells, with discrete GABABB1a/b-immunopositive cell bodies of interneurons present throughout the hippocampus. Using double immunofluorescence, we demonstrated that during the second week of postnatal development, GABAB1a/b but not GABAB2 was expressed in glial cells throughout the hippocampal formation. At the electron microscopic level, GABAB1a/b and GABAB2 showed a similar distribution pattern during postnatal development. Thus, at all ages the two receptor subunits were located postsynaptically in dendritic spines and shafts at extrasynaptic and perisynaptic sites in both pyramidal and nonpyramidal cells. We further demonstrated that the two subunits were localized presynaptically along the extrasynaptic plasma membrane of axon terminals and along the presynaptic active zone in both asymmetrical and, to a lesser extent, symmetrical synapses. These results suggest that GABAB receptors are widely expressed in the hippocampus throughout development and that GABABB1a/b and GABAB2 form both pre- and postsynaptic receptors.},
author = {López-Bendito, Guillermina and Ryuichi Shigemoto and Kulik, Ákos and Vida, Imre and Fairén, Alfonso and Luján, Rafael},
journal = {Hippocampus},
number = {7},
pages = {836 -- 848},
publisher = {Wiley-Blackwell},
title = {{ Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development}},
doi = {10.1002/hipo.10221},
volume = {14},
year = {2004},
}
@article{2742,
abstract = {We consider a system of N weakly interacting fermions with a real analytic pair interaction. We prove that for a general class of initial data there exists a fixed time T such that the difference between the one particle density matrix of this system and the solution of the nonlinear Hartree equation is of order N−1 for any time t⩽T.},
author = {Elgart, Alexander and László Erdös and Schlein, Benjamin and Yau, Horng-Tzer},
journal = {Journal de Mathématiques Pures et Appliquées},
number = {10},
pages = {1241 -- 1273},
publisher = {Elsevier},
title = {{Nonlinear Hartree equation as the mean field limit of weakly coupled fermions}},
doi = {10.1016/j.matpur.2004.03.006},
volume = {83},
year = {2004},
}
@article{2425,
abstract = {A finite set N ⊂ Rd is a weak ε-net for an n-point set X ⊂ Rd (with respect to convex sets) if N intersects every convex set K with |K ∩ X| ≥ εn. We give an alternative, and arguably simpler, proof of the fact, first shown by Chazelle et al., that every point set X in Rd admits a weak ε-net of cardinality O(ε-dpolylog(1/ε)). Moreover, for a number of special point sets (e.g., for points on the moment curve), our method gives substantially better bounds. The construction yields an algorithm to construct such weak ε-nets in time O(n ln(1/ε)).},
author = {Matoušek, Jiří and Uli Wagner},
journal = {Discrete & Computational Geometry},
number = {2},
pages = {195 -- 206},
publisher = {Springer},
title = {{New constructions of weak ε-nets}},
doi = {10.1007/s00454-004-1116-4},
volume = {32},
year = {2004},
}
@article{2999,
abstract = {Embryogenesis of flowering plants establishes a basic body plan with apical-basal, radial and bilateral patterns from the single-celled zygote. Arabidopsis embryogenesis exhibits a nearly invariant cell division pattern and therefore is an ideal system for studies of early plant development. However, plant embryos are difficult to access for experimental manipulation, as they develop deeply inside maternal tissues. Here we present a method for the culture of zygotic Arabidopsis embryos in vitro. The technique omits excision of the embryo by culturing the entire ovule, thus greatly facilitating the time and effort involved. It enables external manipulation of embryo development and culture from the earliest developmental stages up to maturity. Administration of various chemical treatments as well as the use of different molecular markers is demonstrated together with standard techniques for visualizing gene expression and protein localization in in vitro cultivated embryos. The presented set of techniques allows for so far unavailable molecular physiology approaches in the study of early plant development.},
author = {Sauer, Michael and Jirí Friml},
journal = {Plant Journal},
number = {5},
pages = {835 -- 843},
publisher = {Wiley-Blackwell},
title = {{In vitro culture of Arabidopsis embryos within their ovules}},
doi = {10.1111/j.1365-313X.2004.02248.x},
volume = {40},
year = {2004},
}
@inbook{3574,
author = {Herbert Edelsbrunner},
booktitle = {Handbook of Discrete and Computational Geometry},
pages = {1395 -- 1412},
publisher = {CRC Press},
title = {{Biological applications of computational topology}},
year = {2004},
}
@article{3810,
abstract = {Voltage-gated potassium (Kv) channels control action potential repolarization, interspike membrane potential, and action potential frequency in excitable cells. It is thought that the combinatorial association between distinct alpha and beta subunits determines whether Kv channels function as non-inactivating delayed rectifiers or as rapidly inactivating A-type channels. We show that membrane lipids can convert A-type channels into delayed rectifiers and vice versa. Phosphoinositides remove N-type inactivation from A-type channels by immobilizing the inactivation domains. Conversely, arachidonic acid and its amide anandamide endow delayed rectifiers with rapid voltage-dependent inactivation. The bidirectional control of Kv channel gating by lipids may provide a mechanism for the dynamic regulation of electrical signaling in the nervous system.},
author = {Oliver, Dominik and Lien, Cheng-Chang and Soom, Malle and Baukrowitz, Thomas and Peter Jonas and Fakler, Bernd},
journal = {Science},
number = {5668},
pages = {265 -- 70},
publisher = {American Association for the Advancement of Science},
title = {{Functional conversion between A-type and delayed rectifier K+ channels by membrane lipids}},
doi = {10.1126/science.1094113},
volume = {304},
year = {2004},
}
@article{3985,
abstract = {Given a Morse function f over a 2-manifold with or without boundary, the Reeb graph is obtained by contracting the connected components of the level sets to points. We prove tight upper and lower bounds on the number of loops in the Reeb graph that depend on the genus, the number of boundary components, and whether or not the 2-manifold is orientable. We also give an algorithm that constructs the Reeb graph in time O(n log n), where n is the number of edges in the triangulation used to represent the 2-manifold and the Morse function.},
author = {Cole-McLaughlin, Kree and Herbert Edelsbrunner and Harer, John and Natarajan, Vijay and Pascucci, Valerio},
journal = {Discrete & Computational Geometry},
number = {2},
pages = {231 -- 244},
publisher = {Springer},
title = {{Loops in Reeb graphs of 2-manifolds}},
doi = {10.1007/s00454-004-1122-6},
volume = {32},
year = {2004},
}
@article{4224,
abstract = {Developing cells acquire positional information by reading the graded distribution of morphogens. In Drosophila, the Dpp morphogen forms a long-range concentration gradient by spreading from a restricted source in the developing wing. It has been assumed that Dpp spreads by extracellular diffusion. Under this assumption, the main role of endocytosis in gradient formation is to downregulate receptors at the cell surface. These surface receptors bind to the ligand and thereby interfere with its long-range movement. Recent experiments indicate that Dpp spreading is mediated by Dynamin-dependent endocytosis in the target tissue, suggesting that extracellular diffusion alone cannot account for Dpp dispersal. Here, we perform a theoretical study of a model for morphogen spreading based on extracellular diffusion, which takes into account receptor binding and trafficking. We compare profiles of ligand and surface receptors obtained in this model with experimental data. To this end, we monitored directly the pool of surface receptors and extracellular Dpp with specific antibodies. We conclude that current models considering pure extracellular diffusion cannot explain the observed role of endocytosis during Dpp long-range movement.},
author = {Kruse, Karsten and Pantazis, Periklis and Bollenbach, Tobias and Julicher, Frank and Gonzalez-Gaitan, Marcos},
journal = {Development},
number = {19},
pages = {4843 -- 4856},
publisher = {Company of Biologists},
title = {{Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model}},
doi = {10.1242/dev.01335},
volume = {131},
year = {2004},
}
@phdthesis{4236,
author = {de Vladar,Harold Paul},
publisher = {Centro de estudios avazados, IVIC},
title = {{Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares}},
doi = {3810},
year = {2004},
}
@inproceedings{4445,
abstract = {We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each task, and the type system ensures that the deadlines are path-insensitive. We show that typed E programs allow, for given worst-case execution times of tasks, a simple schedulability analysis. Moreover, the real-time programming language Giotto can be compiled into typed E~code. This shows that typed E~code identifies an easily schedulable yet expressive class of real-time programs. We have extended the Giotto compiler to generate typed E code, and enabled the run-time system for E code to perform a type and schedulability check before executing the code.},
author = {Thomas Henzinger and Kirsch, Christoph M},
pages = {104 -- 113},
publisher = {ACM},
title = {{A typed assembly language for real-time programs}},
doi = {10.1145/1017753.1017774},
year = {2004},
}
@inproceedings{4558,
abstract = {We study perfect-information stochastic parity games. These are two-player nonterminating games which are played on a graph with turn-based probabilistic transitions. A play results in an infinite path and the conflicting goals of the two players are ω-regular path properties, formalized as parity winning conditions. The qualitative solution of such a game amounts to computing the set of vertices from which a player has a strategy to win with probability 1 (or with positive probability). The quantitative solution amounts to computing the value of the game in every vertex, i.e., the highest probability with which a player can guarantee satisfaction of his own objective in a play that starts from the vertex.For the important special case of one-player stochastic parity games (parity Markov decision processes) we give polynomial-time algorithms both for the qualitative and the quantitative solution. The running time of the qualitative solution is O(d · m3/2) for graphs with m edges and d priorities. The quantitative solution is based on a linear-programming formulation.For the two-player case, we establish the existence of optimal pure memoryless strategies. This has several important ramifications. First, it implies that the values of the games are rational. This is in contrast to the concurrent stochastic parity games of de Alfaro et al.; there, values are in general algebraic numbers, optimal strategies do not exist, and ε-optimal strategies have to be mixed and with infinite memory. Second, the existence of optimal pure memoryless strategies together with the polynomial-time solution forone-player case implies that the quantitative two-player stochastic parity game problem is in NP ∩ co-NP. This generalizes a result of Condon for stochastic games with reachability objectives. It also constitutes an exponential improvement over the best previous algorithm, which is based on a doubly exponential procedure of de Alfaro and Majumdar for concurrent stochastic parity games and provides only ε-approximations of the values.},
author = {Krishnendu Chatterjee and Jurdziński, Marcin and Thomas Henzinger},
pages = {121 -- 130},
publisher = {SIAM},
title = {{Quantitative stochastic parity games}},
year = {2004},
}
@inproceedings{4577,
abstract = {While model checking has been successful in uncovering subtle bugs in code, its adoption in software engineering practice has been hampered by the absence of a simple interface to the programmer in an integrated development environment. We describe an integration of the software model checker BLAST into the Eclipse development environment. We provide a verification interface for practical solutions for some typical program analysis problems - assertion checking, reachability analysis, dead code analysis, and test generation - directly on the source code. The analysis is completely automatic, and assumes no knowledge of model checking or formal notation. Moreover, the interface supports incremental program verification to support incremental design and evolution of code.},
author = {Beyer, Dirk and Thomas Henzinger and Jhala, Ranjit and Majumdar, Ritankar S},
pages = {251 -- 255},
publisher = {IEEE},
title = {{An eclipse plug-in for model checking}},
doi = {10.1109/WPC.2004.1311069 },
year = {2004},
}
@article{6155,
abstract = {The genome of the nematode Caenorhabditis elegans encodes seven soluble guanylate cyclases (sGCs) [1]. In mammals, sGCs function as α/β heterodimers activated by gaseous ligands binding to a haem prosthetic group 2, 3. The principal activator is nitric oxide, which acts through sGCs to regulate diverse cellular events. In C. elegans the function of sGCs is mysterious: the worm genome does not appear to encode nitric oxide synthase, and all C. elegans sGC subunits are more closely related to mammalian β than α subunits [1]. Here, we show that two of the seven C. elegans sGCs, GCY-35 and GCY-36, promote aggregation behavior. gcy-35 and gcy-36 are expressed in a small number of neurons. These include the body cavity neurons AQR, PQR, and URX, which are directly exposed to the blood equivalent of C. elegans and regulate aggregation behavior [4]. We show that GCY-35 and GCY-36 act as α-like and β-like sGC subunits and that their function in the URX sensory neurons is sufficient for strong nematode aggregation. Neither GCY-35 nor GCY-36 is absolutely required for C. elegans to aggregate. Instead, these molecules may transduce one of several pathways that induce C. elegans to aggregate or may modulate aggregation by responding to cues in C. elegans body fluid.},
author = {Cheung, Benny H.H and Arellano-Carbajal, Fausto and Rybicki, Irene and de Bono, Mario},
issn = {0960-9822},
journal = {Current Biology},
number = {12},
pages = {1105--1111},
publisher = {Elsevier},
title = {{Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior}},
doi = {10.1016/j.cub.2004.06.027},
volume = {14},
year = {2004},
}
@article{889,
abstract = {The function of protein and RNA molecules depends on complex epistatic interactions between sites. Therefore, the deleterious effect of a mutation can be suppressed by a compensatory second-site substitution. In relating a list of 86 pathogenic mutations in human IRNAs encoded by mitochondrial genes to the sequences of their mammalian orthologs, we noted that 52 pathogenic mutations were present in normal tRNAs of one or several nonhuman mammals. We found at least five mechanisms of compensation for 32 pathogenic mutations that destroyed a Watson-Crick pair in one of the four tRNA stems: restoration of the affected Watson-Crick interaction (25 cases), strengthening of another pair (4 cases), creation of a new pair (8 cases), changes of multiple interactions in the affected stem (11 cases) and changes involving the interaction between the loop and stem structures (3 cases). A pathogenic mutation and its compensating substitution are fixed in a lineage in rapid succession, and often a compensatory interaction evolves convergently in different clades. At least 10%, and perhaps as many as 50%, of all nucleotide substitutions in evolving mammalian (RNAs participate in such interactions, indicating that the evolution of tRNAs proceeds along highly epistatic fitness ridges.},
author = {Kern, Andrew D and Fyodor Kondrashov},
journal = {Nature Genetics},
number = {11},
pages = {1207 -- 1212},
publisher = {Nature Publishing Group},
title = {{Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs}},
doi = {10.1038/ng1451},
volume = {36},
year = {2004},
}
@article{2356,
abstract = {Recent experimental and theoretical work has shown that there are conditions in which a trapped, low-density Bose gas behaves like the one-dimensional delta-function Bose gas solved years ago by Lieb and Liniger. This is an intrinsically quantum-mechanical phenomenon because it is not necessary to have a trap width that is the size of an atom - as might have been supposed - but it suffices merely to have a trap width such that the energy gap for motion in the transverse direction is large compared to the energy associated with the motion along the trap. Up to now the theoretical arguments have been based on variational - perturbative ideas or numerical investigations. In contrast, this paper gives a rigorous proof of the one-dimensional behavior as far as the ground state energy and particle density are concerned. There are four parameters involved: the particle number, N, transverse and longitudinal dimensions of the trap, r and L, and the scattering length a of the interaction potential. Our main result is that if r/L → 0 and N → ∞ the ground state energy and density can be obtained by minimizing a one-dimensional density functional involving the Lieb-Liniger energy density with coupling constant ∼ a/r 2. This density functional simplifies in various limiting cases and we identify five asymptotic parameter regions altogether. Three of these, corresponding to the weak coupling regime, can also be obtained as limits of a three-dimensional Gross-Pitaevskii theory. We also show that Bose-Einstein condensation in the ground state persists in a part of this regime. In the strong coupling regime the longitudinal motion of the particles is strongly correlated. The Gross-Pitaevskii description is not valid in this regime and new mathematical methods come into play.},
author = {Lieb, Élliott H and Robert Seiringer and Yngvason, Jakob},
journal = {Communications in Mathematical Physics},
number = {2},
pages = {347 -- 393},
publisher = {Springer},
title = {{One-dimensional behavior of dilute, trapped Bose gases}},
doi = {10.1007/s00220-003-0993-3},
volume = {244},
year = {2004},
}
@article{2426,
abstract = {We introduce the adaptive neighborhood graph as a data structure for modeling a smooth manifold M embedded in some Euclidean space ℝ d. We assume that M is known to us only through a finite sample P ⊂ M, as is often the case in applications. The adaptive neighborhood graph is a geometric graph on P. Its complexity is at most min{2O(k)n, n2}, where n = P and k = dim M, as opposed to the n[d/2] complexity of the Delaunay triangulation, which is often used to model manifolds. We prove that we can correctly infer the connected components and the dimension of M from the adaptive neighborhood graph provided a certain standard sampling condition is fulfilled. The running time of the dimension detection algorithm is d20(k7 log k) for each connected component of M. If the dimension is considered constant, this is a constant-time operation, and the adaptive neighborhood graph is of linear size. Moreover, the exponential dependence of the constants is only on the intrinsic dimension k, not on the ambient dimension d. This is of particular interest if the co-dimension is high, i.e., if k is much smaller than d, as is the case in many applications. The adaptive neighborhood graph also allows us to approximate the geodesic distances between the points in P.},
author = {Giesen, Joachim and Uli Wagner},
journal = {Discrete & Computational Geometry},
number = {2},
pages = {245 -- 267},
publisher = {Springer},
title = {{Shape dimension and intrinsic metric from samples of manifolds}},
doi = {10.1007/s00454-004-1120-8},
volume = {32},
year = {2004},
}
@article{2642,
abstract = {In the hippocampal CA1 region, metabotropic glutamate subtype 1 (mGluR1) receptors have been implicated in a variety of physiological responses to glutamate, which include modulation of synaptic transmission and plasticity, as well as neuronal excitability and synchronization. The mGluR1α isoform is characteristically expressed only by nonprincipal cells, and it is particularly enriched in somatostatin (SS -containing interneurons in stratum oriens-alveus. Anatomical and physiological data have indicated the presence of mGluR1α in several distinct classes of interneurons with their somata located also in strata pyramidale, radiatum, and lacunosum moleculare. Each different interneuron subtype, as defined by functionally relevant criteria, including input/output characteristics and expression of selective molecular markers, subserves distinct functions in local hippocampal circuits. We have investigated which of the different CA1 interneuron classes express mGluR1α by immunofluorescent labeling, combining antibodies to mGluR1α, calcium-binding proteins, and neuropeptides, and by intracellular labeling in vitro. Several types of interneuron that are immunopositive for mGluR1α each targeted different domains of pyramidal cells and included (1) O-LM interneurons, found to coexpress both SS and parvalbumin (PV); (2) interneurons with target selectivity for other interneurons, expressing vasoactive intestinal polypeptide (VIP) and/or the calcium-binding protein calretinin; (3) procholecystokinin-immunopositive interneurons probably non-basket and dendrite-targeting; and (4) an as-yet unidentified SS-immunoreactive but PV-immunonegative interneuron class, possibly corresponding to oriensbistratified cells. Estimation of the relative proportion of mGluR1α-positive interneurons showed 43%, 46%, and 30% co-labeling with SS, VIP, or PV, respectively. The identification of the specific subclasses of CA1 interneurons expressing mGluR1α provides the network basis for assessing the contribution of this receptor to the excitability of the hippocampus.},
author = {Ferraguti, Francesco and Cobden, Philip M and Pollard, Marie and Cope, David W and Ryuichi Shigemoto and Watanabe, Masahiko and Somogyi, Péter},
journal = {Hippocampus},
number = {2},
pages = {193 -- 215},
publisher = {Wiley-Blackwell},
title = {{Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus}},
doi = {10.1002/hipo.10163},
volume = {14},
year = {2004},
}
@article{2786,
abstract = {Transition to turbulence in pipe flow is one of the most fundamental and longest- standing problems in fluid dynamics. Stability theory suggests that the flow remains laminar for all flow rates, but in practice pipe flow becomes turbulent even at moderate speeds. This transition drastically affects the transport efficiency of mass, momentum, and heat. On the basis of the recent discovery of unstable traveling waves in computational studies of the Navier-Stokes equations and ideas from dynamical systems theory, a model for the transition process has been suggested. We report experimental observation of these traveling waves in pipe flow, confirming the proposed transition scenario and suggesting that the dynamics associated with these unstable states may indeed capture the nature of fluid turbulence.},
author = {Björn Hof and van Doorne, Casimir W and Westerweel, Jerry and Nieuwstadt, Frans T and Faisst, Holger and Eckhardt, Bruno and Wedin, Håkan and Kersweli, Richard R and Waleffe, Fabian},
journal = {Science},
number = {5690},
pages = {1594 -- 1598},
publisher = {American Association for the Advancement of Science},
title = {{Experimental observation of nonlinear traveling waves in turbulent pipe flow}},
doi = {10.1126/science.1100393},
volume = {305},
year = {2004},
}
@inproceedings{3208,
abstract = {A new technique for proving the adaptive indistinguishability of two systems, each composed of some component systems, is presented, using only the fact that corresponding component systems are non-adaptively indistinguishable. The main tool is the definition of a special monotone condition for a random system F, relative to another random system G, whose probability of occurring for a given distinguisher D is closely related to the distinguishing advantage ε of D for F and G, namely it is lower and upper bounded by ε and (1+ln1), respectively.
A concrete instantiation of this result shows that the cascade of two random permutations (with the second one inverted) is indistinguishable from a uniform random permutation by adaptive distinguishers which may query the system from both sides, assuming the components’ security only against non-adaptive one-sided distinguishers.
As applications we provide some results in various fields as almost k-wise independent probability spaces, decorrelation theory and computational indistinguishability (i.e., pseudo-randomness).},
author = {Maurer, Ueli M and Krzysztof Pietrzak},
pages = {410 -- 427},
publisher = {Springer},
title = {{Composition of random systems: When two weak make one strong}},
doi = {10.1007/978-3-540-24638-1_23},
volume = {2951},
year = {2004},
}
@article{3614,
abstract = {We analyze the changes in the mean and variance components of a quantitative trait caused by changes in allele frequencies, concentrating on the effects of genetic drift. We use a general representation of epistasis and dominance that allows an arbitrary relation between genotype and phenotype for any number of diallelic loci. We assume initial and final Hardy-Weinberg and linkage equilibrium in our analyses of drift-induced changes. Random drift generates transient linkage disequilibria that cause correlations between allele frequency fluctuations at different loci. However, we show that these have negligible effects, at least for interactions among small numbers of loci. Our analyses are based on diffusion approximations that summarize the effects of drift in terms of F, the inbreeding coefficient, interpreted as the expected proportional decrease in heterozygosity at each locus. For haploids, the variance of the trait mean after a population bottleneck is var(Δz̄) =inline imagewhere n is the number of loci contributing to the trait variance, VA(1)=VA is the additive genetic variance, and VA(k) is the kth-order additive epistatic variance. The expected additive genetic variance after the bottleneck, denoted (V*A), is closely related to var(Δz̄); (V*A) (1 –F)inline imageThus, epistasis inflates the expected additive variance above VA(1 –F), the expectation under additivity. For haploids (and diploids without dominance), the expected value of every variance component is inflated by the existence of higher order interactions (e.g., third-order epistasis inflates (V*AA)). This is not true in general with diploidy, because dominance alone can reduce (V*A) below VA(1 –F) (e.g., when dominant alleles are rare). Without dominance, diploidy produces simple expressions: var(Δz̄)=inline image=1 (2F) kVA(k) and (V*A) = (1 –F)inline imagek(2F)k-1VA(k) With dominance (and even without epistasis), var(Δz̄)and (V*A) no longer depend solely on the variance components in the base population. For small F, the expected additive variance simplifies to (V*A)(1 –F) VA+ 4FVAA+2FVD+2FCAD, where CAD is a sum of two terms describing covariances between additive effects and dominance and additive × dominance interactions. Whether population bottlenecks lead to expected increases in additive variance depends primarily on the ratio of nonadditive to additive genetic variance in the base population, but dominance precludes simple predictions based solely on variance components. We illustrate these results using a model in which genotypic values are drawn at random, allowing extreme and erratic epistatic interactions. Although our analyses clarify the conditions under which drift is expected to increase VA, we question the evolutionary importance of such increases.},
author = {Nicholas Barton and Turelli, Michael},
journal = {Evolution; International Journal of Organic Evolution},
number = {10},
pages = {2111 -- 2132},
publisher = {Wiley-Blackwell},
title = {{Effects of allele frequency changes on variance components under a general model of epistasis}},
doi = {10.1111/j.0014-3820.2004.tb01591.x},
volume = {58},
year = {2004},
}
@inbook{3575,
abstract = {The Jacobi set of two Morse functions defined on a common - manifold is the set of critical points of the restrictions of one func- tion to the level sets of the other function. Equivalently, it is the set of points where the gradients of the functions are parallel. For a generic pair of Morse functions, the Jacobi set is a smoothly embed- ded 1-manifold. We give a polynomial-time algorithm that com- putes the piecewise linear analog of the Jacobi set for functions specified at the vertices of a triangulation, and we generalize all results to more than two but at most Morse functions.},
author = {Herbert Edelsbrunner and Harer, John},
booktitle = {Foundations of Computational Mathematics},
pages = {37 -- 57},
publisher = {Springer},
title = {{Jacobi sets of multiple Morse functions}},
doi = {10.1017/CBO9781139106962.003},
volume = {312},
year = {2004},
}
@inbook{3587,
author = {Ulrich, Florian and Heisenberg, Carl-Philipp},
booktitle = {Fish development and genetics : the zebrafish and medaka models},
editor = {Korzh, Vladimir and Gong, Zhiyuan},
pages = {39 -- 86},
publisher = {World Scientific Publishing},
title = {{Gastrulation in zebrafish}},
volume = {2},
year = {2004},
}
@inproceedings{3688,
abstract = {Capturing images of documents using handheld digital cameras has a variety of applications in academia, research, knowledge management, retail, and office settings. The ultimate goal of such systems is to achieve image quality comparable to that currently achieved with flatbed scanners even for curved, warped, or curled pages. This can be achieved by high-accuracy 3D modeling of the page surface, followed by a "flattening" of the surface. A number of previous systems have either assumed only perspective distortions, or used techniques like structured lighting, shading, or side-imaging for obtaining 3D shape. This paper describes a system for handheld camera-based document capture using general purpose stereo vision methods followed by a new document dewarping technique. Examples of shape modeling and dewarping of book images is shown.},
author = {Ulges, Adrian and Christoph Lampert and Breuel,Thomas M},
pages = {198 -- 200},
publisher = {ACM},
title = {{Document capture using stereo vision}},
doi = {10.1145/1030397.1030434},
year = {2004},
}
@article{3809,
abstract = {Neural stem cells in various regions of the vertebrate brain continuously generate neurons throughout life. In the mammalian hippocampus, a region important for spatial and episodic memory, thousands of new granule cells are produced per day, with the exact number depending on environmental conditions and physical exercise. The survival of these neurons is improved by learning and conversely learning may be promoted by neurogenesis. Although it has been suggested that newly generated neurons may have specific properties to facilitate learning, the cellular and synaptic mechanisms of plasticity in these neurons are largely unknown. Here we show that young granule cells in the adult hippocampus differ substantially from mature granule cells in both active and passive membrane properties. In young neurons, T-type Ca2+ channels can generate isolated Ca2+ spikes and boost fast Na+ action potentials, contributing to the induction of synaptic plasticity. Associative long-term potentiation can be induced more easily in young neurons than in mature neurons under identical conditions. Thus, newly generated neurons express unique mechanisms to facilitate synaptic plasticity, which may be important for the formation of new memories.},
author = {Schmidt-Hieber, Christoph and Peter Jonas and Bischofberger, Josef},
journal = {Nature},
number = {6988},
pages = {184 -- 7},
publisher = {Nature Publishing Group},
title = {{Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus}},
doi = {10.1038/nature02553},
volume = {429},
year = {2004},
}
@article{3929,
abstract = {The Nef protein of human and simian immunodeficiency virus (HIV/SIV) is believed to interfere with T cell activation signals by forming a signaling complex at the plasma membrane. Composition and function of the complex are not fully understood. Here we report that Nef recruits the Polycomb Group (PcG) protein Eed, so far known as a nuclear factor and repressor of transcription, to the membrane of cells. The Nef-induced translocation of Eed led to a potent stimulation of Tat-dependent HIV transcription, implying that Eed removal from the nucleus is required for optimal Tat function. Similar to Nef action, activation of integrin receptors recruited Eed to the plasma membrane, also leading to enhanced Tat/Nef-mediated transcription. Our results suggest a link between membrane-associated activation processes and transcriptional derepression and demonstrate how HIV exploits this mechanism.},
author = {Witte, Vanessa and Laffert, Bernd and Rosorius, Olaf and Lischka, Peter and Blume, Katja and Galler, Gunther and Stilper, Andrea and Willbold, Dieter and D'Aloja, Paola and Michael Sixt and Kolanus, Johanna and Ott, Melanie and Kolanus, Waldemar and Schuler, Gerold and Baur, Andreas S},
journal = {Molecular Cell},
number = {2},
pages = {179 -- 190},
publisher = {Cell Press},
title = {{HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane}},
doi = {10.1016/S1097-2765(04)00004-8},
volume = {13},
year = {2004},
}
@article{3931,
abstract = {Hyaluronan is an unsulfated glycosaminoglycan (GAG) that is ubiquitously expressed in the extracellular matrix (ECM) of all vertebrates, where hyaluronan rich matrices constitute a particular permissive environment for the development of complex biological structures and also for tumor progression. Because of its conserved structure and ubiquitous expression, antibodies for its histochemical detection cannot be produced. We have engineered a fusion protein, neurocan-GFP, and expressed it as a secreted molecule in mammalian cells. Neurocan-GFP fusion protein specifically binds to hyaluronan and directly visualizes hyaluronan on tissue sections, revealing a very detailed picture of hyaluronan distribution. The fluorescent fusion protein can be used in combination with antibodies and nuclear markers for double or triple staining. In addition, it is suitable to visualize hyaluronan on living cells by time-lapse video microscopy. The successful production and application of the neurocan-GFP fusion protein opens up new perspectives for using GFP fusion proteins as detection tools in histological and cytological studies complementing conventional antibody and biotin/avidin techniques.},
author = {Zhang, Hui and Baader, Stephan L and Michael Sixt and Kappler, Joachim and Rauch, Uwe},
journal = {Journal of Histochemistry and Cytochemistry},
number = {7},
pages = {915 -- 922},
publisher = {Histochemical Society},
title = {{Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells}},
doi = {10.1369/jhc.3A6221.2004},
volume = {52},
year = {2004},
}
@article{3986,
abstract = {The motion of a biomolecule greatly depends on the engulfing solution, which is mostly water. Instead of representing individual water molecules, it is desirable to develop implicit solvent models that nevertheless accurately represent the contribution of the solvent interaction to the motion. In such models, hydrophobicity is expressed as a weighted sum of atomic surface areas. The derivatives of these weighted areas contribute to the force that drives the motion. In this paper we give formulas for the weighted and unweighted area derivatives of a molecule modeled as a space-filling diagram made up of balls in motion. Other than the radii and the centers of the balls, the formulas are given in terms of the sizes of circular arcs of the boundary and edges of the power diagram. We also give inclusion-exclusion formulas for these sizes.},
author = {Bryant, Robert and Herbert Edelsbrunner and Koehl, Patrice and Levitt, Michael},
journal = {Discrete & Computational Geometry},
number = {3},
pages = {293 -- 308},
publisher = {Springer},
title = {{The area derivative of a space-filling diagram}},
doi = {10.1007/s00454-004-1099-1},
volume = {32},
year = {2004},
}
@inproceedings{4458,
abstract = {The success of model checking for large programs depends crucially on the ability to efficiently construct parsimonious abstractions. A predicate abstraction is parsimonious if at each control location, it specifies only relationships between current values of variables, and only those which are required for proving correctness. Previous methods for automatically refining predicate abstractions until sufficient precision is obtained do not systematically construct parsimonious abstractions: predicates usually contain symbolic variables, and are added heuristically and often uniformly to many or all control locations at once. We use Craig interpolation to efficiently construct, from a given abstract error trace which cannot be concretized, a parsominous abstraction that removes the trace. At each location of the trace, we infer the relevant predicates as an interpolant between the two formulas that define the past and the future segment of the trace. Each interpolant is a relationship between current values of program variables, and is relevant only at that particular program location. It can be found by a linear scan of the proof of infeasibility of the trace.We develop our method for programs with arithmetic and pointer expressions, and call-by-value function calls. For function calls, Craig interpolation offers a systematic way of generating relevant predicates that contain only the local variables of the function and the values of the formal parameters when the function was called. We have extended our model checker Blast with predicate discovery by Craig interpolation, and applied it successfully to C programs with more than 130,000 lines of code, which was not possible with approaches that build less parsimonious abstractions.},
author = {Thomas Henzinger and Jhala, Ranjit and Majumdar, Ritankar S and McMillan, Kenneth L},
pages = {232 -- 244},
publisher = {ACM},
title = {{Abstractions from proofs}},
doi = {10.1145/964001.964021},
year = {2004},
}
@inproceedings{4629,
abstract = {Temporal logic is two-valued: a property is either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, temporal logic is therefore fragile: even small changes in the model can lead to opposite truth values for a specification. We present a generalization of the branching-time logic Ctl which achieves robustness with respect to model perturbations by giving a quantitative interpretation to predicates and logical operators, and by discounting the importance of events according to how late they occur. In every state, the value of a formula is a real number in the interval [0,1], where 1 corresponds to truth and 0 to falsehood. The boolean operators and and or are replaced by min and max, the path quantifiers ∃ and ∀ determine sup and inf over all paths from a given state, and the temporal operators and □ specify sup and inf over a given path; a new operator averages all values along a path. Furthermore, all path operators are discounted by a parameter that can be chosen to give more weight to states that are closer to the beginning of the path. We interpret the resulting logic Dctl over transition systems, Markov chains, and Markov decision processes. We present two semantics for Dctl: a path semantics, inspired by the standard interpretation of state and path formulas in CTL, and a fixpoint semantics, inspired by the μ-calculus evaluation of CTL formulas. We show that, while these semantics coincide for CTL, they differ for Dctl, and we provide model-checking algorithms for both semantics.},
author = {de Alfaro, Luca and Faella, Marco and Thomas Henzinger and Majumdar, Ritankar S and Stoelinga, Mariëlle},
pages = {77 -- 92},
publisher = {Springer},
title = {{Model checking discounted temporal properties}},
doi = {10.1007/978-3-540-24730-2_6},
volume = {2988},
year = {2004},
}
@inproceedings{4578,
abstract = {BLAST is an automatic verification tool for checking temporal safety properties of C programs. Blast is based on lazy predicate abstraction driven by interpolation-based predicate discovery. In this paper, we present the Blast specification language. The language specifies program properties at two levels of precision. At the lower level, monitor automata are used to specify temporal safety properties of program executions (traces). At the higher level, relational reachability queries over program locations are used to combine lower-level trace properties. The two-level specification language can be used to break down a verification task into several independent calls of the model-checking engine. In this way, each call to the model checker may have to analyze only part of the program, or part of the specification, and may thus succeed in a reduction of the number of predicates needed for the analysis. In addition, the two-level specification language provides a means for structuring and maintaining specifications. },
author = {Beyer, Dirk and Chlipala, Adam J and Thomas Henzinger and Jhala, Ranjit and Majumdar, Ritankar S},
pages = {2 -- 18},
publisher = {Springer},
title = {{The BLAST query language for software verification}},
doi = {10.1007/978-3-540-27864-1_2},
volume = {3148},
year = {2004},
}
@article{209,
author = {Timothy Browning and Heath-Brown, Roger},
journal = {Inventiones Mathematicae},
number = {3},
pages = {553 -- 573},
publisher = {Unknown},
title = {{Equal sums of three powers}},
doi = {10.1007/s00222-004-0360-9},
volume = {157},
year = {2004},
}