_id,doi,title 4506,10.1007/3-540-57318-6_24,Towards refining temporal specifications into hybrid systems 4589,10.1006/inco.1993.1025,Real-time logics: Complexity and expressiveness 4616,10.1109/REAL.1993.393520 ,Automatic symbolic verification of embedded systems 4618,10.1007/3-540-57318-6_30,Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems 4619,10.1145/167088.167242,Parametric real-time reasoning 4620,10.1007/3-540-56922-7_16,Computing accumulated delays in real-time systems 3446,10.1109/82.222823,High-speed character recognition using a dual cellular neural network architecture (CNND) 3451,,Glutamate receptors in the central nervous system 3452,,AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS 3473,10.1159/000154691,Properties of Shaker-homologous potassium channels expressed in the mammalian brain. 3474,10.1113/jphysiol.1993.sp019965,Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus 3568,,Geometric algorithms 3569,10.1007/978-3-662-04245-8_1,Computational geometry 3643,10.1017/S0016672300031232,Group selection and the 'shifting balance' 3644,10.1017/S0016672300031098 ,Adaptation and the 'shifting balance' 4036,10.1137/0222077 ,Computing a face in an arrangement of line segments and related problems 4040,10.1007/BF02573974,An upper bound for conforming Delaunay triangulations 4041,10.1137/0222031,On the zone theorem for hyperplane arrangements 4042,10.1137/0222036 ,A quadratic time algorithm for the minmax length triangulation 4044,10.1007/BF02573962,Edge insertion for optimal triangulations 4045,10.1007/BF02573973,"Diameter, width, closest line pair, and parametric searching" 1945,,"Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms" 2484,10.1016/0896-6273(92)90118-W,A family of metabotropic glutamate receptors 2485,10.1210/en.130.4.1885,Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors 2486,10.1002/cne.903220110,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 2531,10.1016/0304-3940(92)90756-W,Expression of the mRNA for the rat NMDA receptor (NMDAR1) in the sensory and autonomic ganglion neurons 2532,,Distribution of the glucose transporters in human brain tumors 2533,,Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction 2534,10.1016/0896-6273(92)90101-I,Functional expression and tissue distribution of a novel receptor for vasoactive intestinal polypeptide 2535,10.1101/gad.6.12b.2620,Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split 2714,10.1007/BF00052086,On some problems of P. Turán concerning power sums of complex numbers 2722,10.1007/BF02099260,Central limit theorems for the one-dimensional Rayleigh gas with semipermeable barriers 4195,,Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons 4305,,A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus) 4306,10.1038/357440a0,Genetics and geography 4307,,The genetic consequences of dispersal 4308,,On the spread of new gene combinations in the third phase of Wright's shifting balance 4504,10.1007/3-540-55719-9_103,What good are digital clocks? 4505,10.1109/LICS.1992.185551,Symbolic model checking for real-time systems 4507,10.1007/BFb0031995,Timed transition systems 4517,10.1016/0020-0190(92)90005-G,Sooner Is Safer Than Later 4593,10.1007/BFb0031984,Logics and models of real time: A survey 4594,10.1109/SFCS.1992.267774,Back to the future: Towards a theory of timed regular languages 3469,10.1126/science.1317970,Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells. 3470,,Glutamate receptor channels in isolated patches from CA1 and CA3 pyramidal cells of rat hippocampal slices 3471,10.1113/jphysiol.1992.sp019417,Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices 3472,10.1007/BF00231893,A TEA-insensitive flickering potassium channel active around the resting potential in myelinated nerve 3581,10.1016/0925-7721(92)90009-H,Counting and cutting cycles of lines and rods in space 3645,,Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata 4043,10.1137/0913058,An O(n^2 log n) time algorithm for the MinMax angle triangulation 4046,10.1145/147508.147511,An optimal algorithm for intersecting line segments in the plane 4047,10.1016/0304-3975(92)90319-B,"Arrangements of curves in the plane - topology, combinatorics, and algorithms" 4048,10.1016/0020-0190(92)90133-G,Optimal time bounds for some proximity problems in the plane 4049,10.1007/BFb0023816,Edge insertion for optimal triangulations 4050,10.1007/BF02293046,Guest editor's foreword 4053,10.1007/BF01285815,The number of edges of many faces in a line segment arrangement 1946,10.1016/0014-5793(91)81109-L,Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide 2482,10.1038/349760a0,Sequence and expression of a metabotropic glutamate receptor 2483,10.1038/354031a0,Molecular cloning and characterization of the rat NMDA receptor 2529,10.1007/BF00229988,Topographical projections from the cerebral cortex to the nucleus of the solitary tract in the cat 2530,,Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel 4508,10.1145/99583.99629,Temporal proof methodologies for real-time systems 4516,,The Temporal Specification and Verification of Real-time Systems 4592,,Time for logic 4621,,The benefits of relaxing punctuality 3468,10.1007/BF00370453,ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability 3566,,A hyperplane incidence problem with applications to counting distances 3567,,"Lines in space – A collection of results" 3646,,The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci 3647,,Natural and sexual selection on many loci 3648,,The probability of fixation of a new karyotype in a continuous population 4051,10.1137/0220016 ,An O(n log^2 h) time algorithm for the three-dimensional convex hull problem 4052,10.1016/0304-3975(91)90261-Y,A singly exponential stratification scheme for real semi-algebraic varieties and its applications 4054,10.1007/BFb0038185,On the zone theorem for hyperplane arrangements 4055,10.1109/SFCS.1991.185400,A quadratic time algorithm for the minmax length triangulation 4056,10.1016/0097-3165(91)90042-F,A lower bound on the number of unit distances between the vertices of a convex polygon 4057,10.1016/0022-0000(91)90013-U,Corrigendum 4058,,Computing a face in an arrangement of line segments 4059,10.1007/3-540-54233-7_172,Ray shooting in polygons using geodesic triangulations 4061,10.1007/BF02574698,Euclidean minimum spanning trees and bichromatic closest pairs 4062,10.1007/BF02574700,Points and triangles in the plane and halving planes in space 2480,,Cloning and expression of a rat neuromedin K receptor cDNA 2481,10.1111/j.1432-1033.1990.tb19396.x,Tissue distribution and quantitation of the mRNAs for three rat tachykinin receptors 2528,10.1007/BF01869604,Immunohistochemical study of a rat membrane protein which induces a selective potassium permeation: Its localization in the apical membrane portion of epithelial cells 2721,10.1007/BF01334766,Ergodic properties of the multidimensional rayleigh gas with a semipermeable barrier 4310,10.1038/346415a0,The language of the genes 4311,,Population structure 4510,,An interleaving model for real time 4522,10.1145/93385.93429,Half-order modal logic: How to prove real-time properties 4597,10.1109/LICS.1990.113764,Real-time logics: Complexity and expressiveness 3467,10.1113/jphysiol.1990.sp017918,A K+ channel in Xenopus nerve fibres selectively blocked by bee and snake toxins: binding and voltage-clamp experiments 3565,10.1007/978-1-4613-8997-2_25,Probing convex polytopes 3649,10.1016/0040-5809(90)90002-D,Dynamics of polygenic characters under selection 3650,,Estimates of selection and gene flow from measures of cline width and linkage disequilibrium in Heliconius hybrid zones 3651,,Pleiotropic models of quantitative variation 4060,10.1016/S0747-7171(08)80068-5,Tetrahedrizing point sets in three dimensions 4063,10.1145/77635.77639,Simulation of simplicity: A technique to cope with degenerate cases in geometric algorithms 4064,10.1080/01621459.1990.10475313,Computing least median of squares regression lines and guided topological sweep 4065,10.1016/0012-365X(90)90147-A,Covering convex sets with non-overlapping polygons 4066,10.1007/BF02187785,The complexity of many cells in arrangements of planes and related problems 4067,10.1007/3-540-52921-7_91,A hyperplane Incidence problem with applications to counting distances 4068, 10.1007/BF02187778,"The maximum number of ways to stabn convex nonintersecting sets in the plane is 2n−2" 4069,10.1007/BF02122779,An acyclicity theorem for cell complexes in d dimension 4070,10.1080/00207169008803871,Ranking intervals under visibility constraints 4071,10.1145/98524.98535,An O(n^2log n) time algorithm for the MinMax angle triangulation 4072, 10.1007/BF02187784,The complexity and construction of many faces in arrangements of lines and of segments 4073,10.1109/FSCS.1990.89543,Counting and cutting cycles of lines and rods in space 4074,10.1007/BF02187783,Combinatorial complexity bounds for arrangements of curves and spheres 4075,10.1007/BF01840404,Searching for empty convex polygons 4076,10.1145/98524.98567, Euclidean minimum spanning trees and bichromatic closest pairs 4077,10.1145/98524.98548,Points and triangles in the plane and halving planes in space 4078,10.1145/98524.98551,Slimming down by adding; selecting heavily covered points 2479,10.1016/0306-4522(89)90109-7,Glutaminase-like immunoreactivity in the lower brainstem and cerebellum of the adult rat 2525,,Molecular characterization of a functional cDNA for rat substance P receptor 2526,10.1016/0006-8993(89)91346-2,Direct projections from Ammon's horn to the rostral raphe regions in the brainstem of the cat 2527,10.11405/nisshoshi1964.86.2627,Effect of endothelin on gastric mucosal blood flow in rat 4309,,A comparison of three methods for estimating average levels of gene flow 4312,10.1146/annurev.ge.23.120189.002005,Evolutionary quantitative genetics: how little do we know ? 4313,,Founder effect speciation 4314,10.1017/S0016672300028378,"The divergence of a polygenic system under stabilising selection, mutation and drift" 4596,10.1109/SFCS.1989.63473,A really temporal logic 3465,10.1007/BF01870958,Temperature dependence of gating current in myelinated nerve fibers 3466,,Single-channel recording in myelinated nerve fibers reveals one type of Na channel but different K channels 3549,,Spatial triangulations with dihedral angle conditions 3652,,Inference from clines stabilized by frequency-dependent selection 3653,10.2307/2409217 ,Strong natural selection in a warning color hybrid zone 3654,10.1038/341497a0,"Adaptation, speciation and hybrid zones" 4079,,On the number of furthest neighbor pairs in a point set 4080,10.1007/BF00181432,Circles through two points that always enclose many points 4081,10.1007/BF02187733,The upper envelope of piecewise linear functions: Algorithms and applications 4082,10.1016/0022-0000(89)90038-X,Topologically sweeping an arrangement 4083,10.1137/0218025,Partitioning space for range queries 4084,10.1016/0304-3975(89)90133-3,Testing the necklace condition for shortest tours and optimal factors in the plane 4085,10.1145/73833.73850,An acyclicity theorem for cell complexes in d dimension 4086,10.1007/BF02187734,The upper envelope of piecewise linear functions: Tight bounds on the number of faces 4087,10.1007/3-540-51084-2_31,Tetrahedrizing point sets in three dimensions 4088,10.1007/BF02187742,Implicitly representing arrangements of lines or segments 4089,10.1007/BF02187745,On arrangements of Jordan arcs with three intersections per pair 4092,10.1007/BFb0035760,A singly exponential stratification scheme for real semi-algebraic varieties and its applications 4093,10.1007/BF02187720,The complexity of cutting complexes 1941,,Mathematical model of photosynthesis regulation accounts for the effects of changes in external conditions and observed oscillations 2522,10.1016/0006-8993(88)91219-X,Direct projections of non-pyramidal neurons of Ammon's horn to the supramammillary region in the cat 2523,10.1016/0304-3940(88)90473-9,Direct projections from the subthalamic nucleus of Luys to the spinal cord in the Japanese monkey 2524,10.1016/0006-8993(88)90069-8,Metabolism of glutamate and ammonia in astrocyte an immunocytochemical study 4315,10.1038/331485a0,What do we know about speciation ? 4316,10.1038/332597a0,Molecular evolutionary genetics 4317,,Speciation 4318,10.1038/336013a0,No barriers to speciation 3655,,Interracial rDNA variation in the grasshopper Podisma pedestris 4090,10.1016/0890-5401(88)90049-1,Minimum polygonal separation 4091,10.1137/0217054 ,Probing convex polygons with X-Rays 4096,10.1007/3-540-19488-6_117,Geometric structures in computational geometry 4097,10.1007/3-540-19488-6_118,"Arrangements of curves in the plane - topology, combinatorics, and algorithms" 2521,,Meningoencephalitis during the pre-icteric phase of hepatitis A - a case report 4319,10.1038/hdy.1987.36,Differences in DNA content between two chromosomal races of the grasshopper Podisma pedestris 4320,10.1016/0378-4371(87)90064-1,Instantons and stochastic quantization 4322,10.1017/S0016672300023314,The probability of establishment of an advantageous mutation in a subdivided population 3514,10.1109/SFCS.1987.44,On the lower envelope of bivariate functions and its applications 3656,10.1016/S0022-5193(87)80100-5,The probability of peak shifts in a founder population 3657,10.1016/0040-5809(87)90016-5,Speciation and the "shifting balance" in a continuous population 3658,10.1038/hdy.1987.156,Homogamy in a hybrid zone in the alpine grasshopper Podisma pedestris 3659,,The relative rates of evolution of sex chromosomes and autosomes. 3660,10.1017/S0016672300026951,"Adaptive landscapes, genetic distance, and the evolution of quantitative characters" 3661,10.1016/S0022-5193(87)80210-2,The frequency of shifts between alternative equilibria 3900,,Algorithms in Combinatorial Geometry 4094,10.1016/0020-0190(87)90038-X,A tight lower bound on the size of visibility graphs 4095,10.1109/TC.1987.5009474,An improved algorithm for constructing kth-order Voronoi diagrams 4100,10.1007/BF02187875,Linear space data structures for two types of range search 4101,10.1016/0020-0190(87)90120-7,Zooming by repeated range detection 4102,10.1016/0196-6774(87)90015-0,Space searching for intersecting objects 4321,3786,"Genetic analysis of a hybrid zone between the fire-bellied toads Bombina bombina and B. variegata, near Cracow in Southern Poland" 4323,10.1016/S0022-5193(86)80033-9,Sibling competition and the advantage of mixed families 4324,10.1017/S0016672300023156,The maintenance of polygenic variation through a balance between mutation and stabilising selection 3464,10.1007/BF00580727,Toxin γ of the scorpion Tityus serrulatus modifies both activation and inactivation of sodium permeability of nerve membrane 3579,,How often can you see yourself in a convex configuration of mirrors? 3580,10.1007/BF01840438,Edge-skeletons in arrangements with applications 3602,,Methodology for testing the hypothesis of single locus control of host resistance to infection and malignancy 3662,10.1016/0040-5809(86)90017-1,"Intrachromosomal gene conversion, linkage, and the evolution of multigene families" 3663,10.1038/hdy.1986.63,A quasi-equilibrium theory of the distribution of rare alleles in a subdivided population 3664,,The barrier to genetic exchange between hybridising populations 3665,,The effects of linkage and density-dependent regulation on gene flow 4098,10.1016/0097-3165(86)90075-0,The number of extreme pairs of finite point-sets in Euclidean spaces 4099,10.1016/0020-0190(86)90088-8,Halfplanar range search in linear space and O(n0.695) query time 4103,10.1016/0097-3165(86)90078-6,On the maximal number of edges of many faces in an arrangement 4104,10.1137/0215023,Optimal point location in a monotone subdivision 4105,10.1137/0215024,Constructing arrangements of lines and hyperplanes with applications 4106,10.1016/S0747-7171(86)80020-7,Computing a ham-sandwich cut in two dimensions 4107,10.1016/0012-365X(86)90008-7,The complexity of cells in 3-dimensional arrangements 4108,10.1007/BF02187681,Voronoi diagrams and arrangements 4109,10.1093/comjnl/29.1.76,Rectangular point location in d-dimensions with applications 4110,10.1137/0215019,Constructing belts in two-dimensional arrangements with applications 4241,,Methodology for testing the hypothesis of single locus control of host resistance to infection and malignancy 4325,10.1038/314668a0,Haldane's Rule OK 4326,10.1146/annurev.es.16.110185.000553,Analysis of hybrid zones 4111,10.1016/0020-0190(85)90107-3,Finding extreme-points in 3-dimensions and solving the post-office problem in the plane 4112,10.1016/0196-6774(85)90030-6,Batched dynamic solutions to decomposable searching problems 4113,10.1016/0097-3165(85)90017-2,On the number of line separations of a finite set in the plane 4114,10.1007/BF01908077,Investigation of Proportional Link Linkage Clustering Methods 4115,10.1016/0196-6774(85)90039-2,Computing the extreme distances between two convex polygons 4116,10.1016/0304-3975(85)90005-2,Finding Transversals for Sets of Simple Geometric-Figures 4120,10.1016/S0747-7171(85)80028-6,Optimal solutions for a class of point retrieval problems 4327,10.1146/annurev.es.15.110184.001025,"Genetic revolutions, founder effects, and speciation" 3513,,Ham-sandwich theorems applied to intersection problems 4117,,Computing the connected components of simple rectilinear geometrical objects in D-Space 4118,10.1016/S0734-189X(84)80041-9,Stationing guards in rectilinear art galleries 4119,10.1007/BFb0030307,Monotone edge sequences in line arrangements and applications 4121,10.1007/BF01890115,Efficient algorithms for agglomerative hierarchical clustering methods 4122,10.1007/3-540-12920-0_1,Key-problems and key-methods in computational geometry 4123,10.1016/0734-189X(84)90142-7,Some methods of computational geometry applied to computer graphics 4125,10.1016/0031-3203(84)90064-5,An optimal algorithm for constructing the weighted Voronoi diagram in the plane 4328,3690,Hybrid zones as barriers to gene flow 4329,10.1016/S0003-3472(83)80100-6,The extended phenotype: the gene as the unit of selection (review of Dawkins R 1982) 4330,10.1038/hdy.1983.24,Gene flow and speciation (abstract) 3562,,On expected- and worst-case segment trees 3563,,Graphics in Flatland: a case study 3564,,Neue Entwicklungen im Bereich Datenstrukturen 3598,10.1038/306317a0,Mitochondrial DNA: new clues about evolution 3666,10.1111/j.1095-8312.1983.tb00776.x,Electrophoretic analysis of a chromosomal hybrid zone in the grasshopper Podisma pedestris 3667,10.1038/hdy.1983.15,Rare electrophoretic variants in a hybrid zone 3668,,Multilocus clines 4124,10.1007/BFb0036908,On the number of equal-sized semispaces of a set of points in the plane 4126,10.1080/00207168308803364,A new approach to rectangle intersections part 1 4127,10.1080/00207168308803365,A new approach to rectangle intersections part 2 4128,10.1109/TIT.1983.1056714 ,On the shape of a set of points in the plane 4331,,The structure of the hybrid zone in Uroderma bilobatum (Chiroptera: Phyllostomatidae) 3669,10.1038/hdy.1982.29,A measurement of dispersal in the grasshopper Podisma pedestris (Orthoptera: Acrididae) 4129,10.1007/BF01934440,Stabbing line segments 4130,10.1016/0020-0190(82)90090-4,Polygonal intersection searching 4131,10.1016/0020-0190(82)90068-0,On the equivalence of some rectangle problems 4332,,Hybrid zones and speciation 4333,10.1038/hdy.1981.98,The genetic basis of hybrid inviability between two chromosomal races of the grasshopper Podisma pedestris 3670,,A chromosomal cline in the grasshopper Podisma pedestris 3671,10.1038/hdy.1981.86,The width of the hybrid zone in Caledia captiva 4132,10.1016/0020-0190(81)90053-3,On the intersection of Orthogonal objects 4133,10.1016/0304-3975(81)90103-1,A space-optimal solution of general region location 4334,,The structure and maintenance of hybrid zones as exemplified by Podisma pedestris 4335,10.1038/hdy.1980.49,The fitness of hybrids between two chromosomal races of the grasshopper Podisma pedestris 3672,10.1038/hdy.1980.23,The hybrid sink effect 4336,10.1038/hdy.1979.87,The dynamics of hybrid zones 4337,,A hybrid zone in the alpine grasshopper Podisma pedestris 3673,10.1038/hdy.1979.86,Gene flow past a cline