_id,title
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"