_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