_id,title
3448,"Implementation of shape grammar for plan analysis"
3621,"General models of multilocus evolution"
3924,"A transitional stage between the ergatoid and winged male morph in the ant Cardiocondyla obscurior"
3998,"An experimental study of sliver exudation"
4148,"Non-canonical Wnt signalling and regulation of gastrulation movements"
4263,"Neutral evolution in spatially continuous populations"
4422,"Trading probability for fairness"
4472,"Temporal safety proofs for systems code"
4631,"Timed interfaces"
859,"Evolution of the mouse polyubiquitin C gene"
885,"Dobzhansky-Muller incompatibilities in protein evolution"
897,"Selection for short introns in highly expressed genes"
1032,"ICln ion channel splice variants in Caenorhabditis elegans: Voltage dependence and interaction with an operon partner protein"
1739,"Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells"
204,"Equal Sums of Two kth Powers"
2338,"The ground state of the Bose gas"
2352,"General decomposition of radial functions on ℝn and applications to N-body quantum systems"
2617,"Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones"
2624,"Distinct localization of GABAB receptors relative to synaptic sites in the rat cerebellum and ventrobasal thalamus"
2737,"Derivation of the Schrödinger-Poisson equation from the quantum N-body problem"
2927,"Multi-camera scene reconstruction via graph cuts"
2989,"AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis"
2991,"Polar auxin transport - Old questions and new concepts?"
3800,"Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks"
3533,"Homeostatic maintenance of neuronal excitability by burst discharges in vivo"
4000,"Fast software for box intersections"
3920,"A method for analysing small-size specimens in GC-MS"
3925,"Chemical mimicry: Male ants disguised by the queen's bouquet"
4194,"Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling"
4199,"Wnt signalling: A moving picture emerges from van gogh"
4207,"Wnt signalling: Refocusing on Strabismus"
4423,"Embedded software design and system integration for rotorcraft UAV using platforms"
4473,"An assume-guarantee rule for checking simulation"
4562,"Synchronous and bidirectional component interfaces"
1451,"Toric hyperkähler varieties"
2613,"Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins"
2618,"Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum"
2620,"Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites"
2339,"Symmetry breaking in a model of a rotating Bose gas"
2353,"Superfluidity in dilute trapped Bose gases"
2738,"Linear Boltzmann equation as the long time dynamics of an electron weakly coupled to a phonon field"
2740,"Spectral shift and multiplicity of the first eigenvalue of the magnetic Schrödinger operator in two dimensions"
2694,"Scaling limits of Schrödinger quantum mechanics"
3421,"Observing structure, function and assembly of single proteins by AFM"
3801,"Presynaptic short-term depression is maintained during regulation of transmitter release at a GABAergic synapse in rat hippocampus"
3508,"Methods of generating three-dimensional digital models of objects by wrapping point cloud data points"
3919,"Adaptive production of fighter males: queens of the ant Cardiocondyla adjust the sex ratio under local mate competition"
3995,"Algorithmic issues in modeling motion"
4258,"The effects of multilocus balancing selection on neutral variability"
4260,"The effect of deleterious alleles on adaptation in asexual populations"
4474,"Fair simulation"
4347,"Inferring the root of a phylogenetic tree"
4563,"Interface compatibility checking for software modules"
6158,"Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans"
1452,"Examples of mirror partners arising from integrable systems"
2607,"Bidirectional regulation of neurite elaboration by alternatively spliced metabotropic glutamate receptor 5 (mGluR5) isoforms"
2347,"A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas"
2734,"The kernel of Dirac operators on S3 and R3"
2981,"Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth"
3434,"Application of the likelihood function in phylogenetic analysis"
3439,"Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi"
3496,"PTP and LTP at a hippocampal mossy fiber-interneuron synapse"
3927,"TNF-α-induced expression of adhesion molecules in the liver is under the control of TNFR1--relevance for concanavalin A-induced hepatitis"
4002,"Design and analysis of planar shape deformation"
4007,"Dynamic skin triangulation"
4278,"The evolutionary consequences of gene flow and local adaptation: Future approaches"
4266,"The role of hybridisation in evolution"
4449,"EMSOFT: Embedded Software"
4475,"Some lessons from the HYTECH experience"
4564,"A reusable and platform-independent framework for distributed control systems"
4622,"Interface automata"
4634,"The control of synchronous systems, Part II"
888,"Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins "
1453,"Geometric construction of new Yang-Mills instantons over Taub-NUT space"
2348,"A discrete density matrix theory for atoms in strong magnetic fields"
2608,"Developmental changes in the localisation of the mGluR1α subtype of metabotropic glutamate receptors in Purkinje cells"
2610,"Increased seizure susceptibility in mice lacking metabotropic glutamate receptor 7"
2735,"Lifschitz tail in a magnetic field: Coexistence of classical and quantum behavior in the borderline case"
2709,"Long time dynamics of an electron in a weakly coupled phonon field"
2982,"BIG: A calossin-like protein required for polar auxin transport in Arabidopsis"
3447,"Weighted quantified computation tree logic"
3517,"The application of printed circuit board technology for fabrication of multi-channel micro-drives"
3586,"Geometry and Topology for Mesh Generation"
3928,"Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation"
3930,"Endothelial cell laminin isoforms, laminins 8 and 10, play decisive roles in T cell recruitment across the blood-brain barrier in experimental autoimmune encephalomyelitis"
4200,"A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon"
4267,"Adaptation at the edge of a species' range"
4229,"Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae)"
4623,"Interface theories for component-based design"
4635,"MCWEB: A model-checking tool for web-site debugging"
841,"Footprints of primordial introns on the eukaryotic genome: still no clear traces "
1454,"Geometric interpretation of Schwarzschild instantons"
2419,"A continuous analogue of the Upper Bound Theorem"
2604,"Light and electron microscopic study of the distribution of substance P-immunoreactive fibers and neurokinin-1 receptors in the skin of the rat lower lip"
2609,"Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites"
2611,"Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin"
2736,"Derivation of the nonlinear Schrödinger equation from a many body Coulomb system"
2983,"Auxin transport inhibitors block PIN1 cycling and vesicle trafficking"
3169,"Computing visual correspondence with occlusions using graph cuts"
3493,"Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists"
4477,"Assume-guarantee reasoning for hierarchical hybrid systems"
4636,"From verification to control: dynamic programs for omega-regular objectives"
4600,"jMocha: A model-checking tool that exploits design structure"
2340,"Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula"
2345,"On the maximal ionization of atoms in strong magnetic fields"
2605,"Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum"
2612,"Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat"
2984,"Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex"
3622,"Genetic variation for preadult viability in Drosophila melanogaster"
3507,"Molecular classification for property prediction"
3540,"Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience"
3494,"Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network."
4005,"Dynamic skin triangulation"
4264,"Theory and speciation"
4478,"Embedded control systems development with Giotto"
4632,"Compositional methods for probabilistic systems"
874,"Multidimensional epistasis and the disadvantage of sex"
855,"Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a 'weak'context of the start codon"
867,"Origin of alternative splicing by tandem exon duplication"
2606,"Cajal-Retzius cells in early postnatal mouse cortex selectively express functional metabotropic glutamate receptors"
2341,"Atoms with bosonic "electrons" in strong magnetic fields"
2346,"Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics"
2985,"Elimination voltammetry of adenine and cytosine mixtures"
3438,"Bayesian inference of phylogeny and its impact on evolutionary biology"
3440,"Empirical and hierarchical Bayesian estimation of ancestral states"
3596,"Mendel and mathematics"
3546,"Behavior-dependent states of the hippocampal network affect functional clustering of neurons"
3495,"Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression"
4001,"Shape space from deformation"
4006,"180 wrapped tubes"
4265,"Selection for recombination in small populations"
4479,"Giotto: A time-triggered language for embedded programming"
4599,"Partial-order reduction in symbolic state-space exploration"
4633,"Symbolic algorithms for infinite-state games"
851,"Use of mutation spectra analysis software"
1736,"Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems"
1957,"Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms"
2602,"Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons"
2599,"Relationship between neurokinin-1 receptor and substance P in the striatum: Light and electron microscopic immunohistochemical study in the rat"
2342,"The ground state energy and density of interacting bosons in a trap"
2710,"The kernel of Dirac operators on S3 and R3"
3542,"Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events"
3624,"Estimating multilocus linkage disequilibria"
3489,"Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse"
3491,"Distal initiation and active propagation of action potentials in interneuron dendrites"
4273,"Limits to natural selection"
4482,"Abstract interpretation of game properties"
4627,"Concurrent omega-regular games"
1958,"Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme"
2343,"On the ordering of energy levels in homogeneous magnetic fields"
2418,"Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem"
2603,"Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site"
2494,"Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses"
3149,"Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion"
3548,"Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements"
3555,"Smoothing and cleaning up slivers"
3492,"Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons"
3923,"Paternity analysis with AFLPs in Cardiocondyla ants"
4008,"Topological persistance and simplification"
4010,"Sliver exudation"
4147,"A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata)"
4197,"Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation"
4274,"Genetic hitchhiking"
4433,"Fair bisimulation"
4483,"Decomposing refinement proofs using assume-guarantee reasoning"
1031,"Structure and function of the ion channel ICln"
2344,"Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional"
2325,"Inequalities for Schrödinger operators and applications to the stability of matter problem "
2731,"Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation"
3532,"Intracellular features predicted by extracellular recordings in the hippocampus in vivo"
4004,"Edgewise subdivision of a simplex"
4009,"Adaptive simplicial grids from cross-sections of monotone complexes"
4268,"Evolving evolvability"
4270,"Detecting bottlenecks and selective sweeps from DNA sequence polymorphism"
4275,Differentiation
4434,"Robust undecidability of timed and hybrid systems"
4439,"A classification of symbolic transition systems"
842,"No footprints of primordial introns in a eukaryotic genome"
1455,"Inscribing cubes and covering by rhombic dodecahedra via equivariant topology"
2600,"The relationship between neurokinin-1 receptor and substance P in the medullary dorsal horn: A light and electron microscopic immunohistochemical study in the rat"
2732,"Fokker-Planck equations as scaling limits of reversible quantum systems"
3583,"Triangulations and meshes in computational geometry"
4276,"Population genetics of multiple loci"
4269,"Is Wright’s shifting balance process important in evolution?"
4271,"The effects of epistasis on the structure of hybrid zones"
4435,"Symbolic model checking for rectangular hybrid systems"
4512,"Masaccio: A formal model for embedded components"
4637,"The control of synchronous systems"
4598,"Discrete abstractions of hybrid systems"
2601,"mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination"
2598,"Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor"
2733,"Diamagnetic behavior of sums Dirichlet eigenvalues"
3798,"The time course of signaling at central glutamatergic synapses"
3623,"Measuring fitness by means of balancer chromosomes"
3572,"Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung"
3490,"Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels"
4272,"The stability of symmetrical solutions to polygenic models"
4481,"Beyond HyTech: Hybrid systems analysis using interval numerical methods"
4513,"The theory of hybrid automata"
4638,"Detecting errors before reaching them"
2594,"The distribution of substance P receptor (NK1)-like immunoreactive neurons in the newborn and adult human spinal cord"
3148,"A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior"
3554,"Mesh association: formulation and algorithms"
4014,"Deformable smooth surface design"
4204,"Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development"
4487,"Assume-guarantee refinement between different time scales"
883,"Interactions among quantitative traits in the course of sympatric speciation"
2595,"mGluR7-like receptor and GABA(B) receptor activation enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones"
2730,"Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate"
2711,"Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation"
3137,"Ionotropic Glutamate Receptors in the CNS"
3625,"Clines in polygenic traits"
3524,"Oscillatory coupling of hippocampal pyramidal cells and interneurons in the behaving rat"
3531,"Interactions between hippocampus and medial septum during sharp waves and theta oscillation in the behaving rat"
4279,"Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland"
2591,"Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve"
2596,"Spatial distribution of GABA(B)R1 receptor mRNA and binding sites in the rat brain^"
3626,"A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids"
3518,"Replay and time compression of recurring spike sequences in the hippocampus"
3582,"Topology preserving edge contraction"
4484,"Verifying sequential consistency on shared-memory multiprocessor systems"
2592,"Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion"
2597,"Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses"
2864,"Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry"
3444,"Fast network oscillations in the hippocampal CA1 region of the behaving rat"
3456,"Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS"
3519,"Sustained activation of hippocampal pyramidal cells by ‘space clamping' in a running wheel"
3571,"Computational topology"
4411,"Algorithms and Methodology for Scalable Model Checking"
4442,"Discrete-time control for rectangular hybrid automata"
4480,"Formal specification and verification of a dataflow processor array"
4485,"Rectangular hybrid games"
4601,"Alternating-time temporal logic"
2593,"NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord"
2783,"Flow state multiplicity in convection"
2865,"Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment"
3445,"Hippocampomedial septal interactions during sharp waves and theta oscillation in the behaving rat"
3457,"Glutamate-mediated synaptic excitation of cortical interneurons"
3515,"Ultra-slow oscillation (0.025 Hz) triggers hippocampal afterdischarges in Wistar rats"
3539,"Firing rate and theta-phase coding by hippocampal pyramidal neurons during ‘space clamping’"
4277,"Hybrid dysfunction in fire-bellied toads (Bombina)"
4582,"Reactive modules"
4602,"Automating modular verification"
2587,"Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex"
2695,"Linear Boltzmann equation as scaling limit of quantum Lorentz gas"
3535,"Hippocampal pyramidal neutrons “space-clamped” in a running wheel task: Place cells or path integrators?"
3629,"Habitat preference in the Bombina hybrid zone in Croatia"
4019,"Shape space from deformation"
4280,"Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton"
4603,"Alternating refinement relations"
4639,"Concurrent reachability games"
2583,"Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat"
2588," GABA(B)-receptor subtypes assemble into functional heteromeric complexes"
2590," Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex"
2728,"Lifschitz tail in a magnetic field: The nonclassical regime"
4015,"Shape reconstruction with Delaunay complex"
4281,"Why sex and recombination?"
4488,"You assume, we guarantee: Methodology and case studies"
4490,"The regular real-time languages"
4515,"It's about time: Real-time logics reviewed"
4604,"Mocha: Modularity in model checking"
1954,"The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves"
2584,"Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study"
2589,"Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study"
3506,"Apparatus and method for geometric morphing"
3525,"Persistence and temporal compression of spike sequences during fast field oscillation in the hippocampus"
3570,"Auditory Morse analysis of triangulated manifolds"
4011,"Analytical shape computation of macromolecules: I. molecular area and volume through alpha shape"
4016,"Wrapping 3D scanning data"
4282,"Genetics and analysis of quantitative traits"
4408,"Axioms for real-time logics"
4410,"An algorithm for the approximative analysis of rectangular automata"
4489,"From pre-historic to post-modern symbolic model checking"
4491,"Algorithmic analysis of nonlinear hybrid systems"
1450,"Vanishing of intersection numbers on the moduli space of Higgs bundles"
1955,"Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes"
2585,"Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat"
3627,"The effect of hitch-hiking on neutral genealogies"
3521,"Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat"
3487,"Corelease of two fast neurotransmitters at a central synapse"
4012,"Analytical shape computation of macromolecules: II. Inaccessible cavities in proteins"
4017,"Anatomy of protein pockets and cavities: Measurement of binding site geometry and implications for ligand design"
4283,"The geometry of adaptation"
4430,"HSCC: Hybrid Systems—Computation and Control"
4492,"What's decidable about hybrid automata?"
4606,"Symbolic exploration of transition hierarchies"
1449,"Compactification of moduli of Higgs bundles"
1956,"The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes"
2586,"Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination"
3628,"Testing for epistasis between deleterious mutations"
3527,"Monosynaptic interactions between CA1 Pyramidal cells and interneuron in the behaving rat"
3488,"Functional and molecular differences between voltage-gated K+ channels of fast-spiking interneurons and pyramidal neurons of rat hippocampus"
4020,"Geometry for modeling biomolecules"
3926,"Partitioning the components of sexual selection: attractiveness and agonistic behaviour in male wax moths, Achroia grisella (Lepidoptera, Pyralidae)"
4013,"On the definition and the construction of pockets in macromolecules"
4429,"Reachability verification for hybrid automata"
4486,"An assume-guarantee rule for checking simulation"
6160,"Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans"
2575,"Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat"
2582,"Differential presynaptic localization of metabotropic glutamate receptor subtypes in the rat hippocampus"
2493,"Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus"
2727,"Dia- and paramagnetism for nonhomogeneous magnetic fields"
3631,"Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation"
3484,"Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse"
4021,"A combinatorial approach to cartograms"
4285,"The evolution of recombination: Removing the limits to natural selection"
4494,"HyTech: A model checker for hybrid systems"
4583,"Modularity for timed and hybrid systems"
4608,"Partial-order reduction in symbolic state-space exploration"
2576,"Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat"
3632,"The strength of indirect selection on female mating preferences"
3485,"Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus"
4022,"Cutting dense point sets in half"
4286,"The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes"
4293,"The evolution of metapopulations"
4438,"From quantity to quality"
4584,"Real-time system = discrete system + clock variables"
4609,"Alternating-time temporal logic"
2577,"The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase"
2729,"Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates"
3633,"Evolution of a species' range"
3486,"Action potential propagation into the presynaptic dendrites of rat mitral cells"
4023,"Inclusion-exclusion complexes for pseudodisk collections"
4174,"Floating head and masterblind regulate neuronal patterning in the roof of the forebrain"
4201,"The function of silberblick in the positioning of the eye anlage in the zebrafish embryo"
4287,"Perspective: A critique of Sewall Wright's shifting balance theory of evolutionight's shifting balance theory of evolution"
4441,"Discrete-time control for rectangular hybrid automata"
4496,"Fair simulation"
4605,"Symbolic analysis of hybrid systems"
2578,"Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord"
2580,"Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites"
3482,"Functional properties of AMPA and NMDA receptors expressed in identified types of basal ganglia neurons"
4288,"Genetic variation for total fitness in Drosophila melanogaster"
4290,"Natural hybridization and evolution"
2579,"Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract"
2581,"Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat"
3630,"The effective size of a subdivided population"
3541,"Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies"
3483,"A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus."
4018,"Triangulating topological spaces"
4284,"Natural selection and random genetic drift as causes of evolution on islands"
4289,"Population genetics: A new apportionment of human diversity"
4291,"The ccological detective: Confronting models with data"
4607,"Computing accumulated delays in real-time systems"
4493,"HyTech: A model checker for hybrid systems"
4520,"Robust timed automata"
1952,"Estimation of the H+/H- ratio of the reaction catalysed by the nicotinamide nucleotide transhydrogenase in chromatophores from over-expressing strains of Rhodospirillum rubrum and in liposomes inlaid with the purified bovine enzyme"
2568,"Presynaptic localization of a metabotropic glutamate receptor, mGluR4a, in the cerebellar cortex: A light and electron microscope study in the rat"
2570,"Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone"
3756,"Influence of M-phase chromatin on the anisotropy of microtubule asters"
4026,"Incremental topological flipping works for regular triangulations"
4189,"The zebrafish early arrest mutants"
4191,"Mutations affecting neurogenesis and brain morphology in the zebrafish, Danio rerio"
4211,"dino and mercedes, two genes regulating dorsal development in the zebrafish embryo"
4216,"Mutations affecting development of the midline and general body shape during zebrafish embryogenesis"
4292,"On measuring the rate of ageing"
4519,"The theory of hybrid automata"
4588,"Reactive modules"
4610,"The benefits of relaxing punctuality"
6161,"Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences"
2564,"Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat"
2569,"GABAergic synapses upon neurons expressing substance P receptors in the nucleus of the solitary tract: An immunocytochemical electron microscope study in the rat"
2571,"Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2"
4027,"Lines in space: Combinatorics and algorithms"
4142,"Mutations affecting development of the zebrafish inner ear and lateral line"
4154,"Characterization of zebrafish mutants with defects in embryonic hematopoiesis"
4166,"Mutations affecting the formation of the notochord in the zebrafish, Danio rerio"
4212,"The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio"
4419,"The Theory of Rectangular Hybrid Automata"
4426,"Linear phase-portrait approximations for nonlinear hybrid systems"
4495,"A space-efficient on-the-fly algorithm for real-time model checking"
4611,"Automatic symbolic verification of embedded systems"
1942,"Presence of a large protein complex containing the ndhK gene product and possessing NADH-specific dehydrogenase activity in thylakoid membranes of higher plant chloroplasts"
2565,"Immunohistochemical localization of a metabotropic glutamate receptor, mGluR7, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons"
2572,"Distribution of the mRNA for a pituitary adenylate cyclase-activating polypeptide receptor in the rat brain: An in situ hybridization study"
3462,"Analysis of molecular determinants in native AMPA receptors"
4030,"Effects of molecular shape representations on boundary element method for protein electrostatics computations"
4186,"Zebrafish pigmentation mutations and the processes of neural crest development"
4213,"Neural degeneration mutants in the zebrafish, Danio rerio"
4220,"Genetic analysis of fin formation in the zebrafish, Danio rerio"
4294,"Genealogies and geography"
4427,"Using HyTech to synthesize control parameters for a steam boiler"
4612,"Hybrid Systems III: Verification and Control"
4585,"CAV: Computer Aided Verification"
2566,"Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat"
2573,"Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum"
2725,"Rayleigh-type isoperimetric inequality with a homogeneous magnetic field"
3634,"Natural selection and random genetic drift as causes of evolution on islands"
4024,"Viewing geometric protein structures from inside a CAVE"
4031,"Analytical method for molecular shapes: Area, volume, cavities, interface and pockets"
4151,"Jaw and branchial arch mutants in zebrafish I: Branchial arches"
4156,"Jaw and branchial arch mutants in zebrafish II: Anterior arches and cartilage differentiation"
4170,"Genes establishing dorsoventral pattern formation in the zebrafish embryo: The ventral specifying genes"
4214,"Genes controlling and mediating locomotion behavior of the zebrafish embryo and larva"
4219,"Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain"
4295,"Speciation: more than the sum of its parts"
1951,"Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids"
2492,"Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum"
2562,"Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody"
2567,"Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat"
2574," Perisynaptic location of metabotropic glutamate receptors mGluR1 and mGluR5 on dendrites and dendritic spines in the rat hippocampus"
2726,"Gaussian decay of the magnetic eigenfunctions"
3635,"Recombination load associated with selection for increased recombination"
3553,"Geometric modeling in CAVE"
4025,"Triangulating the surface of a molecule"
4188,"The zebrafish epiboly mutants"
4203,"Genes involved in forebrain development in the zebrafish, Danio rerio"
4208,"Mutations affecting morphogenesis during gastrulation and tail formation in the zebrafish, Danio rerio"
4210,"Mutations affecting pigmentation and shape of the adult zebrafish"
4215,"Mutations affecting the cardiovascular system and other internal organs in zebrafish"
4164,"Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio"
4222,"Mutations affecting somite formation and patterning in the zebrafish, Danio rerio"
4443,"State equivalences for rectangular hybrid automata"
2556,"Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat"
2563,"Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat"
3597,"Déjà vu all over again"
3636,"Natural selection on quantitative traits in the Bombina hybrid zone"
4153,"Hematopoietic mutants identified in a saturation screen of the zebrafish genome"
4297,"The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico"
4499,"HyTech: The next generation"
4502,"What's decidable about hybrid automata?"
3454,"Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices"
3461,"Molecular mechanisms controlling calcium entry through AMPA-type glutamate receptor channels"
3637,"Experimental evidence for habitat dependent selection in a Bombina hybrid zone"
3478,"Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons"
3480,"Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS"
4034,"Algebraic decomposition of non-convex polyhedra"
4298,"Appendix to "The mixing of genotypes in hybrid zones: a simulation study of multilocus clines", by S J E Baird"
6162,"Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1"
2558,"Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents"
2560,"Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat"
2724,"Magnetic Lieb-Thirring inequalities"
2712,"Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals"
3455,"Fast application of agonists to isolated membrane patches"
3638,"Genealogies and geography"
3640,"Linkage and the limits to natural selection"
3551,"Measuring proteins and voids in proteins"
3479,"Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus"
3481,"Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification"
4028,"The union of balls and its dual shape"
4035,"Improved bounds on weak ε-nets for convex sets"
1943,"Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation"
2559,"Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene"
2561,"Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat"
2465,"Auxin transport"
2491,"Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain"
3639,"A general model for the evolution of recombination"
3552,"Alpha shapes: definition and software"
4029,"An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere"
4428,"Automatic Analysis of Hybrid Systems"
4447,"HyTech: The Cornell Hybrid Technology Tool"
4497,"A user guide to HyTech"
4500,"The expressive power of clocks"
4613,"The algorithmic analysis of hybrid systems"
4296,"Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature"
4448,"A note on abstract-interpretation strategies for hybrid automata"
4450,"Algorithmic analysis of nonlinear hybrid systems"
4587,"Local liveness for compositional modeling of fair reactive systems"
4498,"Computing simulations on finite and infinite graphs"
4518,"Hybrid automata with finite bisimulations"
2549,"Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat"
2551,"Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina"
3453,"Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse"
3460,"Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS"
3477,"Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression"
4033,"Selecting heavily covered points"
4038,"Algorithms for bichromatic line-segment problems and polyhedral terrains"
4420,"Proving safety properties of hybrid systems"
4590,"Real-time system = discrete system + clock variables"
4615,"A determinizable class of timed automata"
1953,"Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism"
2545,"Molecular diversity of glutamate receptors and their physiological functions"
2552,"Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat"
2557,"Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex"
3550,"Modeling with simplicial complexes (topology, geometry and algorithms)"
4039,"Ray shooting in polygons using geodesic triangulations"
4440,"Verification methods for the divergent runs of clock systems"
4503,"Symbolic model checking for real-time systems"
4591,"A really temporal logic"
6167,"Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1"
2488,"Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex"
2490,"Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system"
2553,"Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney"
4179,"Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons"
4299,"Evolution of aging: Testing the theory using Drosophila"
4617,"The algorithmic analysis of hybrid systems"
2547,"Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney"
2554,"Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells"
2489,"Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats"
2713,"Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator"
3641,"The reduction in fixation probability caused by substitutions at linked loci"
3475,"Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus"
4202,"NMDA potentiates NGF-induced sprouting of septal cholinergic fibres"
4586,"Finitary fairness"
1949,"Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria"
2548,"Induction mechanism of long term depression in cultured Purkinje neurons"
2550,"Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction"
2555,"Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells"
3642,"Genetic and statistical analyses of strong selection on polygenic traits: What, me normal?"
3476,"Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices"
4032,"Counting triangle crossings and halving planes"
4037,"Three-dimensional alpha shapes"
4501,"Temporal proof methodologies for timed transition systems"
4614,"The observational power of clocks"
2537,"Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4"
2544,"Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb"
3446,"High-speed character recognition using a dual cellular neural network architecture (CNND)"
3643,"Group selection and the 'shifting balance'"
4040,"An upper bound for conforming Delaunay triangulations"
4045,"Diameter, width, closest line pair, and parametric searching"
4177,"Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation"
4300,"Optimality, mutation and the evolution of ageing"
2538,"Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization"
2540,"Distribution of the messenger RNA for a metabotropic glutamate receptor, mGluR2, in the central nervous system of the rat"
2487," Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study"
2723,"Ground-state density of the Pauli operator in the large field limit"
3644,"Adaptation and the 'shifting balance'"
3473,"Properties of Shaker-homologous potassium channels expressed in the mammalian brain."
4041,"On the zone theorem for hyperplane arrangements"
4301,"Genetic analysis of hybrid zones"
4589,"Real-time logics: Complexity and expressiveness"
4616,"Automatic symbolic verification of embedded systems"
1947,"Activation and inhibition of mitochondrial transhydrogenase by metal ions"
2539,"Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits"
2541,"Immunocytochemical localization of rat substance P receptor in the striatum"
2546,"Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons"
3568,"Geometric algorithms"
3474,"Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus"
4042,"A quadratic time algorithm for the minmax length triangulation"
4302,"Review of "The causes of molecular evolution" by J.H. Gillespie"
1948,"Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria "
1950,"Proton-translocating transhydrogenase in bacteria"
2542,"Immunohistochemical localization of a metabotropic glutamate receptor, mGluR5, in the rat brain"
3451,"Glutamate receptors in the central nervous system"
3569,"Computational geometry"
4036,"Computing a face in an arrangement of line segments and related problems"
4175,"Brain-derived neurotrophic factor is a survival factor for cultured rat cerebellar granule neurons and protects them against glutamate-induced neurotoxicity"
4303,"The probability of fixation of a favoured allele in a subdivided population"
4618,"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems"
4620,"Computing accumulated delays in real-time systems"
2536,"Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate"
2543," Molecular cloning and tissue distribution of a receptor for pituitary adenylate cyclase-activating polypeptide"
3452,"AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS"
4044,"Edge insertion for optimal triangulations"
4304,"Why species and subspecies?"
4506,"Towards refining temporal specifications into hybrid systems"
4619,"Parametric real-time reasoning"
1945,"Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms"
2532,"Distribution of the glucose transporters in human brain tumors"
2486,"Distribution of the mRNA for a metabotropic glutamate receptor (mGluR1) in the central nervous system: An in situ hybridization study in adult and developing rat"
2722,"Central limit theorems for the one-dimensional Rayleigh gas with semipermeable barriers"
3472,"A TEA-insensitive flickering potassium channel active around the resting potential in myelinated nerve"
4305,"A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus)"
4507,"Timed transition systems"
2533,"Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction"
3581,"Counting and cutting cycles of lines and rods in space"
4046,"An optimal algorithm for intersecting line segments in the plane"
4053,"The number of edges of many faces in a line segment arrangement"
4306,"Genetics and geography"
2534,"Functional expression and tissue distribution of a novel receptor for vasoactive intestinal polypeptide"
3645,"Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata"
4047,"Arrangements of curves in the plane - topology, combinatorics, and algorithms"
4307,"The genetic consequences of dispersal"
4504,"What good are digital clocks?"
2535,"Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split"
2484,"A family of metabotropic glutamate receptors"
3470,"Glutamate receptor channels in isolated patches from CA1 and CA3 pyramidal cells of rat hippocampal slices"
4043,"An O(n^2 log n) time algorithm for the MinMax angle triangulation"
4048,"Optimal time bounds for some proximity problems in the plane"
4050,"Guest editor's foreword"
4308,"On the spread of new gene combinations in the third phase of Wright's shifting balance"
4505,"Symbolic model checking for real-time systems"
4517,"Sooner Is Safer Than Later"
4593,"Logics and models of real time: A survey"
2485,"Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors"
2531,"Expression of the mRNA for the rat NMDA receptor (NMDAR1) in the sensory and autonomic ganglion neurons"
2714,"On some problems of P. Turán concerning power sums of complex numbers"
3469,"Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells."
3471,"Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices"
4049,"Edge insertion for optimal triangulations"
4195,"Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons"
4594,"Back to the future: Towards a theory of timed regular languages"
3566,"A hyperplane incidence problem with applications to counting distances"
3648,"The probability of fixation of a new karyotype in a continuous population"
4052,"A singly exponential stratification scheme for real semi-algebraic varieties and its applications"
4057,Corrigendum
1946,"Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide"
2482,"Sequence and expression of a metabotropic glutamate receptor"
3567,"Lines in space – A collection of results"
4058,"Computing a face in an arrangement of line segments"
4508,"Temporal proof methodologies for real-time systems"
2483,"Molecular cloning and characterization of the rat NMDA receptor"
4054,"On the zone theorem for hyperplane arrangements"
4059,"Ray shooting in polygons using geodesic triangulations"
4061,"Euclidean minimum spanning trees and bichromatic closest pairs"
4516,"The Temporal Specification and Verification of Real-time Systems "
4592,"Time for logic"
2530,"Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel"
3468,"ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability"
3646,"The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci"
4055,"A quadratic time algorithm for the minmax length triangulation"
4062,"Points and triangles in the plane and halving planes in space"
2529,"Topographical projections from the cerebral cortex to the nucleus of the solitary tract in the cat"
3647,"Natural and sexual selection on many loci"
4051,"An O(n log^2 h) time algorithm for the three-dimensional convex hull problem"
4056,"A lower bound on the number of unit distances between the vertices of a convex polygon"
4621,"The benefits of relaxing punctuality"
2481,"Tissue distribution and quantitation of the mRNAs for three rat tachykinin receptors"
3650,"Estimates of selection and gene flow from measures of cline width and linkage disequilibrium in Heliconius hybrid zones"
4064,"Computing least median of squares regression lines and guided topological sweep"
4069,"An acyclicity theorem for cell complexes in d dimension"
4071,"An O(n^2log n) time algorithm for the MinMax angle triangulation"
4076," Euclidean minimum spanning trees and bichromatic closest pairs"
3649,"Dynamics of polygenic characters under selection"
3651,"Pleiotropic models of quantitative variation"
4060,"Tetrahedrizing point sets in three dimensions"
4065,"Covering convex sets with non-overlapping polygons"
4072,"The complexity and construction of many faces in arrangements of lines and of segments"
4077,"Points and triangles in the plane and halving planes in space"
4510,"An interleaving model for real time"
4522,"Half-order modal logic: How to prove real-time properties"
3467,"A K+ channel in Xenopus nerve fibres selectively blocked by bee and snake toxins: binding and voltage-clamp experiments"
4066,"The complexity of many cells in arrangements of planes and related problems"
4073,"Counting and cutting cycles of lines and rods in space"
4078,"Slimming down by adding; selecting heavily covered points"
4597,"Real-time logics: Complexity and expressiveness"
2528,"Immunohistochemical study of a rat membrane protein which induces a selective potassium permeation: Its localization in the apical membrane portion of epithelial cells"
4067,"A hyperplane Incidence problem with applications to counting distances"
4074,"Combinatorial complexity bounds for arrangements of curves and spheres"
4310,"The language of the genes"
2480,"Cloning and expression of a rat neuromedin K receptor cDNA"
2721,"Ergodic properties of the multidimensional rayleigh gas with a semipermeable barrier"
3565,"Probing convex polytopes"
4063,"Simulation of simplicity: A technique to cope with degenerate cases in geometric algorithms"
4068,"The maximum number of ways to stabn convex nonintersecting sets in the plane is 2n−2"
4070,"Ranking intervals under visibility constraints"
4075,"Searching for empty convex polygons"
4311,"Population structure"
2525,"Molecular characterization of a functional cDNA for rat substance P receptor"
2479,"Glutaminase-like immunoreactivity in the lower brainstem and cerebellum of the adult rat"
3465,"Temperature dependence of gating current in myelinated nerve fibers"
4083,"Partitioning space for range queries"
4088,"Implicitly representing arrangements of lines or segments"
4312,"Evolutionary quantitative genetics: how little do we know ?"
2526,"Direct projections from Ammon's horn to the rostral raphe regions in the brainstem of the cat"
3466,"Single-channel recording in myelinated nerve fibers reveals one type of Na channel but different K channels"
4084,"Testing the necklace condition for shortest tours and optimal factors in the plane"
4089,"On arrangements of Jordan arcs with three intersections per pair"
4313,"Founder effect speciation"
4596,"A really temporal logic"
2527,"Effect of endothelin on gastric mucosal blood flow in rat"
3652,"Inference from clines stabilized by frequency-dependent selection"
3549,"Spatial triangulations with dihedral angle conditions"
4080,"Circles through two points that always enclose many points"
4085,"An acyclicity theorem for cell complexes in d dimension"
4092,"A singly exponential stratification scheme for real semi-algebraic varieties and its applications"
4314,"The divergence of a polygenic system under stabilising selection, mutation and drift"
3653,"Strong natural selection in a warning color hybrid zone"
4079,"On the number of furthest neighbor pairs in a point set"
4081,"The upper envelope of piecewise linear functions: Algorithms and applications"
4086,"The upper envelope of piecewise linear functions: Tight bounds on the number of faces "
4093,"The complexity of cutting complexes"
3654,"Adaptation, speciation and hybrid zones"
4082,"Topologically sweeping an arrangement"
4087,"Tetrahedrizing point sets in three dimensions"
4309,"A comparison of three methods for estimating average levels of gene flow"
3655,"Interracial rDNA variation in the grasshopper Podisma pedestris"
4090,"Minimum polygonal separation"
4317,Speciation
1941,"Mathematical model of photosynthesis regulation accounts for the effects of changes in external conditions and observed oscillations"
4091,"Probing convex polygons with X-Rays"
4096,"Geometric structures in computational geometry"
4318,"No barriers to speciation"
2522,"Direct projections of non-pyramidal neurons of Ammon's horn to the supramammillary region in the cat"
4097,"Arrangements of curves in the plane - topology, combinatorics, and algorithms"
2523,"Direct projections from the subthalamic nucleus of Luys to the spinal cord in the Japanese monkey"
4315,"What do we know about speciation ?"
2524,"Metabolism of glutamate and ammonia in astrocyte an immunocytochemical study"
4316,"Molecular evolutionary genetics"
4095,"An improved algorithm for constructing kth-order Voronoi diagrams"
2521,"Meningoencephalitis during the pre-icteric phase of hepatitis A - a case report"
3656,"The probability of peak shifts in a founder population"
4320,"Instantons and stochastic quantization"
3657,"Speciation and the "shifting balance" in a continuous population"
3900,"Algorithms in Combinatorial Geometry"
4100,"Linear space data structures for two types of range search"
4319,"Differences in DNA content between two chromosomal races of the grasshopper Podisma pedestris"
3658,"Homogamy in a hybrid zone in the alpine grasshopper Podisma pedestris"
3660,"Adaptive landscapes, genetic distance, and the evolution of quantitative characters"
3514,"On the lower envelope of bivariate functions and its applications"
4101,"Zooming by repeated range detection"
4322,"The probability of establishment of an advantageous mutation in a subdivided population"
3659,"The relative rates of evolution of sex chromosomes and autosomes."
3661,"The frequency of shifts between alternative equilibria"
4094,"A tight lower bound on the size of visibility graphs"
4102,"Space searching for intersecting objects"
3580,"Edge-skeletons in arrangements with applications"
3662,"Intrachromosomal gene conversion, linkage, and the evolution of multigene families"
4103,"On the maximal number of edges of many faces in an arrangement"
4108,"Voronoi diagrams and arrangements"
4110,"Constructing belts in two-dimensional arrangements with applications"
4324,"The maintenance of polygenic variation through a balance between mutation and stabilising selection"
3663,"A quasi-equilibrium theory of the distribution of rare alleles in a subdivided population"
3579,"How often can you see yourself in a convex configuration of mirrors?"
4104,"Optimal point location in a monotone subdivision"
4109,"Rectangular point location in d-dimensions with applications"
3602,"Methodology for testing the hypothesis of single locus control of host resistance to infection and malignancy"
3664,"The barrier to genetic exchange between hybridising populations"
4105,"Constructing arrangements of lines and hyperplanes with applications"
4321,"Genetic analysis of a hybrid zone between the fire-bellied toads Bombina bombina and B. variegata, near Cracow in Southern Poland"
3665,"The effects of linkage and density-dependent regulation on gene flow"
4098,"The number of extreme pairs of finite point-sets in Euclidean spaces"
4106,"Computing a ham-sandwich cut in two dimensions"
3464,"Toxin γ of the scorpion Tityus serrulatus modifies both activation and inactivation of sodium permeability of nerve membrane"
4099,"Halfplanar range search in linear space and O(n0.695) query time"
4107,"The complexity of cells in 3-dimensional arrangements"
4323,"Sibling competition and the advantage of mixed families"
4115,"Computing the extreme distances between two convex polygons"
4111,"Finding extreme-points in 3-dimensions and solving the post-office problem in the plane"
4116,"Finding Transversals for Sets of Simple Geometric-Figures"
4325,"Haldane's Rule OK"
4112,"Batched dynamic solutions to decomposable searching problems"
4326,"Analysis of hybrid zones"
4120,"Optimal solutions for a class of point retrieval problems"
4113,"On the number of line separations of a finite set in the plane"
4114,"Investigation of Proportional Link Linkage Clustering Methods"
4241,"Methodology for testing the hypothesis of single locus control of host resistance to infection and malignancy"
4122,"Key-problems and key-methods in computational geometry"
4123,"Some methods of computational geometry applied to computer graphics"
3513,"Ham-sandwich theorems applied to intersection problems"
4117,"Computing the connected components of simple rectilinear geometrical objects in D-Space"
4125,"An optimal algorithm for constructing the weighted Voronoi diagram in the plane"
4118,"Stationing guards in rectilinear art galleries"
4327,"Genetic revolutions, founder effects, and speciation"
4119,"Monotone edge sequences in line arrangements and applications"
4121,"Efficient algorithms for agglomerative hierarchical clustering methods"
3667,"Rare electrophoretic variants in a hybrid zone"
4127,"A new approach to rectangle intersections part 2"
4329,"The extended phenotype: the gene as the unit of selection (review of Dawkins R 1982)"
3598,"Mitochondrial DNA: new clues about evolution"
3668,"Multilocus clines"
3562,"On expected- and worst-case segment trees"
4128,"On the shape of a set of points in the plane"
3563,"Graphics in Flatland: a case study"
4124,"On the number of equal-sized semispaces of a set of points in the plane"
3564,"Neue Entwicklungen im Bereich Datenstrukturen"
3666,"Electrophoretic analysis of a chromosomal hybrid zone in the grasshopper Podisma pedestris"
4328,"Hybrid zones as barriers to gene flow"
4330,"Gene flow and speciation (abstract)"
4126,"A new approach to rectangle intersections part 1"
4331,"The structure of the hybrid zone in Uroderma bilobatum (Chiroptera: Phyllostomatidae)"
4130,"Polygonal intersection searching"
3669,"A measurement of dispersal in the grasshopper Podisma pedestris (Orthoptera: Acrididae)"
4129,"Stabbing line segments"
4131,"On the equivalence of some rectangle problems"
3670,"A chromosomal cline in the grasshopper Podisma pedestris"
4332,"Hybrid zones and speciation"
3671,"The width of the hybrid zone in Caledia captiva"
4333,"The genetic basis of hybrid inviability between two chromosomal races of the grasshopper Podisma pedestris"
4132,"On the intersection of Orthogonal objects"
4133,"A space-optimal solution of general region location"
3672,"The hybrid sink effect"
4334,"The structure and maintenance of hybrid zones as exemplified by Podisma pedestris"
4335,"The fitness of hybrids between two chromosomal races of the grasshopper Podisma pedestris"
4336,"The dynamics of hybrid zones"
4337,"A hybrid zone in the alpine grasshopper Podisma pedestris"
3673,"Gene flow past a cline"