@article{4057,
author = {Herbert Edelsbrunner},
journal = {Journal of Computer and System Sciences},
number = {2},
pages = {249 -- 251},
publisher = {Elsevier},
title = {{Corrigendum}},
doi = {10.1016/0022-0000(91)90013-U},
volume = {42},
year = {1991},
}
@inproceedings{4058,
abstract = {We present a randomized incremental algorithm for computing a single face in an arrangement of n line segments in the plane that is fairly simple to implement. The expected running
time of the algorithm is O (nα(n) log n). The analysis of the algorithm uses a novel approach that generalizes and extends the Clarkson-Shor analysis technique.},
author = {Chazelle, Bernard and Herbert Edelsbrunner and Guibas, Leonidas and Sharir, Micha and Snoeyink, Jack},
pages = {441 -- 448},
publisher = {SIAM},
title = {{Computing a face in an arrangement of line segments}},
year = {1991},
}
@inproceedings{4059,
abstract = {Let P be a simple polygon with n vertices. We present a simple decomposition scheme that partitions the interior of P into O(n) so-called geodesic triangles, so that any line segment interior to P crosses at most 2 log n of these triangles. This decomposition can be used to preprocess P in time O(n log n) and storage O(n), so that any ray-shooting query can be answered in time O(log n).The algorithms are fairly simple and easy to implement. We also extend this technique to the case of ray-shooting amidst k polygonal obstacles with a total of n edges, so that a query can be answered in O(radicklog n) time.},
author = {Chazelle, Bernard and Herbert Edelsbrunner and Grigni, Michelangelo and Guibas, Leonidas and Hershberger, John and Sharir, Micha and Snoeyink, Jack},
pages = {661 -- 673},
publisher = {Springer},
title = {{Ray shooting in polygons using geodesic triangulations}},
doi = {10.1007/3-540-54233-7_172},
volume = {510},
year = {1991},
}
@article{4061,
abstract = {We present an algorithm to compute a Euclidean minimum spanning tree of a given set S of N points in Ed in time O(Fd (N,N) logd N), where Fd (n,m) is the time required to compute a bichromatic closest pair among n red and m green points in Ed . If Fd (N,N)=Ω(N1+ε), for some fixed e{open}>0, then the running time improves to O(Fd (N,N)). Furthermore, we describe a randomized algorithm to compute a bichromatic closest pair in expected time O((nm log n log m)2/3+m log2 n+n log2 m) in E3, which yields an O(N4/3 log4/3 N) expected time, algorithm for computing a Euclidean minimum spanning tree of N points in E3. In d≥4 dimensions we obtain expected time O((nm)1-1/([d/2]+1)+ε+m log n+n log m) for the bichromatic closest pair problem and O(N2-2/([d/2]+1)ε) for the Euclidean minimum spanning tree problem, for any positive e{open}.},
author = {Agarwal, Pankaj K and Herbert Edelsbrunner and Schwarzkopf, Otfried and Welzl, Emo},
journal = {Discrete & Computational Geometry},
number = {1},
pages = {407 -- 422},
publisher = {Springer},
title = {{Euclidean minimum spanning trees and bichromatic closest pairs}},
doi = {10.1007/BF02574698},
volume = {6},
year = {1991},
}
@article{4062,
abstract = {We prove that for any set S of n points in the plane and n3-α triangles spanned by the points in S there exists a point (not necessarily in S) contained in at least n3-3α/(c log5 n) of the triangles. This implies that any set of n points in three-dimensional space defines at most {Mathematical expression} halving planes.},
author = {Aronov, Boris and Chazelle, Bernard and Herbert Edelsbrunner and Guibas, Leonidas J and Sharir, Micha and Wenger, Rephael},
journal = {Discrete & Computational Geometry},
number = {1},
pages = {435 -- 442},
publisher = {Springer},
title = {{Points and triangles in the plane and halving planes in space}},
doi = {10.1007/BF02574700},
volume = {6},
year = {1991},
}
@inproceedings{4508,
abstract = {We extend the specification language of temporal logic, the corresponding verification framework, and the underlying computational model to deal with real-time properties of concurrent and reactive systems. A global, discrete, and asynchronous clock is incorporated into the model by defining the abstract notion of a real-time transition system as a conservative extension of traditional transition systems: qualitative fairness requirements are replaced (and superseded) by quantitative lower-bound and upperbound real-time requirements for transitions. We show how to model real-time systems that communicate either through shared variables or by message passing, and how to represent the important real-time constructs of priorities (interrupts), scheduling, and timeouts in this framework. Two styles for the specification of real-time properties are presented. The first style uses bounded versions of the temporal operators; the real-time requirements expressed in this style are classified ...},
author = {Thomas Henzinger and Manna, Zohar and Pnueli,Amir},
pages = {353 -- 366},
publisher = {ACM},
title = {{Temporal proof methodologies for real-time systems}},
doi = {10.1145/99583.99629},
year = {1991},
}
@phdthesis{4516,
author = {Thomas Henzinger},
publisher = {Stanford University},
title = {{The Temporal Specification and Verification of Real-time Systems }},
year = {1991},
}
@article{4592,
author = {Alur, Rajeev and Thomas Henzinger},
journal = {SIGACT News},
number = {3},
pages = {6 -- 12},
publisher = {ACM},
title = {{Time for logic}},
volume = {22},
year = {1991},
}
@article{3468,
abstract = {Two types of metabolically regulated K channels have been identified for the first time in enzymatically demyelinated fibres of amphibian sciatic nerve using the patch-clamp technique. A maxi K channel with a single-channel conductance of 132 pS (105 mM K on both sides of the membrane, 15°C) is activated both by micromolar concentrations of internal Ca and by depolarization. A second type of K channel with a conductance of 44 pS is inhibited by intracellular adenosine 5'-triphosphate (ATP) with a half-maximal inhibitory concentration (IC50) of 35 μM. It is blocked by submicromolar concentrations of external glibenclamide. Both channels are sensitive to external tetraethylammonium chloride (IC50 = 0.2 mM for the maxi K channel and 4.2 mM for the ATP-sensitive channel). They may be part of a complex feedback system regulating axonal excitability under various metabolic conditions.
},
author = {Peter Jonas and Koh, Duk S and Kampe, Knut and Hermsteiner, Markus and Vogel, Werner},
journal = {Pflugers Archiv : European Journal of Physiology},
number = {1-2},
pages = {68 -- 73},
publisher = {Springer},
title = {{ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability}},
doi = {10.1007/BF00370453},
volume = {418},
year = {1991},
}
@inbook{3566,
author = {Herbert Edelsbrunner and Sharir, Micha},
booktitle = {Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift},
pages = {253 -- 263},
publisher = {American Mathematical Society},
title = {{A hyperplane incidence problem with applications to counting distances}},
volume = {4},
year = {1991},
}
@inbook{3567,
author = {Herbert Edelsbrunner},
booktitle = {Discrete & Computational Geometry},
pages = {77 -- 93},
publisher = {Springer},
title = {{Lines in space – A collection of results}},
volume = {6},
year = {1991},
}
@article{3646,
abstract = {We compare the pattern of morphological and electrophoretic variation in the hybrid zone between Bombina bombina and B. variegata across two transects: one near Cracow and one 200 km away, near Przemysl in southeastern Poland. Morphological variation across the Przemysl transect had been surveyed more than 50 years ago; though we found a significant shift at one site, there is no evidence for gross movement over this period. Morphological and electrophoretic changes coincide, and the average shape of the clines is the same across both transects. At the center, most of the change in frequency of six diagnostic allozymes occurs within w = 6.05 km (2-unit support limits 5.56-6.54 km). These steep gradients are generated not by selection on the allozymes themselves, but by associations with other loci: though these markers are unlinked, they are in strong linkage disequilibrium with each other [R = D/ = 0.22 (0.15-0.29) at the center]. Disequilibria are broken up as alleles diffuse away from the zone and flow into the new genetic background. The net barrier to the flow of genes from bombina into variegata, which is generated by these disequilibria, is B = 51 (22-81) km. The fitness of hybrids must be substantially reduced to produce such a barrier [W̄H/W̄P = 0.58 (0.54-0.68)], and this selection must be spread over many loci [N = 55 (26-88)]. Alleles introgress significantly less far than would be expected from the age of the zone and the estimated dispersal rate [σ = 0.99 (0.82-1.14) km gen.-1/2]: this implies selection of se = 0.37 (0.15-0.58)% on the enzymes themselves. There is weak but significant linkage disequilibrium well away from the center of the zone; this, together with the presence of parental and F1 genotypes, suggests some long-range migration. However, such migration is not likely to cause significant introgression.
},
author = {Szymura, Jacek M and Nicholas Barton},
journal = {Evolution},
number = {2},
pages = {237 -- 261},
publisher = {Wiley-Blackwell},
title = {{The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci}},
volume = {45},
year = {1991},
}
@article{3647,
abstract = {A method is developed that describes the effects on an arbitrary number of autosomal loci of selection on haploid and diploid stages, of nonrandom mating between haploid individuals, and of recombination. We provide exact recursions for the dynamics of allele frequencies and linkage disequilibria (nonrandom associations of alleles across loci). When selection is weak relative to recombination, our recursions provide simple approximations for the linkage disequilibria among arbitrary combinations of loci. We show how previous models of sex-independent natural selection on diploids, assortative mating between haploids, and sexual selection on haploids can be analyzed in this framework. Using our weak-selection approximations, we derive new results concerning the coevolution of male traits and female preferences under natural and sexual selection. In particular, we provide general expressions for the intensity of linkage-disequilibrium induced selection experienced by loci that contribute to female preferences for specific male traits. Our general results support the previous observation that these indirect selection forces are so weak that they are unlikely to dominate the evolution of preference-producing loci.},
author = {Nicholas Barton and Turelli, Michael},
journal = {Genetics},
number = {1},
pages = {229 -- 255},
publisher = {Genetics Society of America},
title = {{Natural and sexual selection on many loci}},
volume = {127},
year = {1991},
}
@article{3648,
abstract = {We investigate the probability of fixation of a chromosome rearrangement in a subdivided population, concentrating on the limit where migration is so large relative to selection (m ≫ s) that the population can be thought of as being continuously distributed. We study two demes, and one- and two-dimensional populations. For two demes, the probability of fixation in the limit of high migration approximates that of a population with twice the size of a single deme: migration therefore greatly reduces the fixation probability. However, this behavior does not extend to a large array of demes. Then, the fixation probability depends primarily on neighborhood size (Nb), and may be appreciable even with strong selection and free gene flow (≈exp(-B·Nb) in one dimension, ≈exp(-B\cdotNb) in two dimensions). Our results are close to those for the more tractable case of a polygenic character under disruptive selection.},
author = {Nicholas Barton and Rouhani, Shahin},
journal = {Evolution},
number = {3},
pages = {499 -- 517},
publisher = {Wiley-Blackwell},
title = {{The probability of fixation of a new karyotype in a continuous population}},
volume = {45},
year = {1991},
}
@article{2480,
abstract = {Functional cDNA clones for rat neuromedin K receptor were isolated from a rat brain cDNA library by cross-hybridization with the bovine substance K recepor cDNA. Injection of the mRNA synthesized in vitro from the cloned cDNA into Xenopus oocytes elicited electrophysiological responses to tachykinins, with the most potent sensitivity being to neuromedin K. Ligand-binding displacement in membranes of mammalian COS cells transfected with the cDNA indicated the rank order of affinity of the receptor to tachykinins; neuromedin K > substance K > substance P. The hybridization analysis showed that the neuromedin K receptor mRNA is expressed in both the brain and the peripheral tissues at different levels. The rat neuromedin K receptor consists of 452 amino acid residues and belongs to the family of G protein-coupled receptors, which are thought to have seven transmembrane domains. The sequence comparison of the rat neuromedin K, substance P, and substance K receptors revealed that these receptors are highly conserved in the seven transmembrane domains and the cytoplasmic sides of the receptors. They also show some structural characteristics, including the common presence of histidine residues in transmembrane segments V and VI and the difference in the numbers and distributions of serine and threonine residues as possible phosphorylation sites in the cytoplasmic regions. This paper thus presents the first comprehensive analysis of the molecular nature of the multiple peptide receptors that exhibit similar but pharmacologically distinguishable activities.},
author = {Ryuichi Shigemoto and Yokota, Yoshifumi and Tsuchida, Kunihiro and Nakanishi, Shigetada},
journal = {Journal of Biological Chemistry},
number = {2},
pages = {623 -- 628},
publisher = {American Society for Biochemistry and Molecular Biology},
title = {{Cloning and expression of a rat neuromedin K receptor cDNA}},
volume = {265},
year = {1990},
}
@article{2481,
abstract = {The family of mammalian tachykinin receptors consists of substance P receptor (SPR), neuromedin K receptor (NKR) and substance K receptor (SKR). In this investigation, tissue and regional distributions of the mRNAs for the three rat tachykinin receptors were investigated by blot-hybridization and RNase-protection analyses using the previously cloned receptor cDNAs. SPR mRNA is widely distributed in both the nervous system and peripheral tissues and is expressed abundantly in the hypothalamus and olfactory buld, as well as in the urinary bladder, salivary glands and small and large intestines. In contrast, NKR mRNA is predominantly expressed in the nervous system, particularly in the cortex, hypothalamus and cerebellum, whereas SKR mRNA expression is restricted to the peripheral tissues, being abundant in the urinary bladder, large intestine, stomach and adenal glands. Thus, the mRNAs for the three tachykinin receptors show distinct patterns of expression between the nervous system and peripheral tissues. Blot-hybridization analysis in combination with S1 nuclease protection and primer-extension analyses revealed that there are two large forms of SKR mRNA expressed commonly in the peripheral tissues, and two additional small forms of the mRNA expressed specifically in the adrenal gland and eye. These analyses also showed that the multiple forms of SKR mRNA differ in the lengths of the 5' mRNA portions, and that the two small forms of the mRNA, if translated, encode a truncated SKR polypeptide lacking the first two transmembrane domains. This investigation thus provides the comprehensive analysis of the distribution and mode of expression of the mRNAs for the multiple peptide receptors and offers a new basis on which to interpret the diverse functions of multiple tachykinin peptides in the CNS and peripheral tissues.},
author = {Tsuchida, Kunihiro and Ryuichi Shigemoto and Yokota, Yoshifumi and Nakanishi, Shigetada},
journal = {European Journal of Biochemistry},
number = {3},
pages = {751 -- 757},
publisher = {Wiley-Blackwell},
title = {{Tissue distribution and quantitation of the mRNAs for three rat tachykinin receptors}},
doi = {10.1111/j.1432-1033.1990.tb19396.x},
volume = {193},
year = {1990},
}
@article{2528,
abstract = {We previously reported a novel rat membrane protein that exhibits a voltage-dependent potassium channel activity on the basis of molecular cloning combined with an electrophysiological assay. This protein, termed I(sK) protein, is small and different from the conventional potassium channel proteins but induces selective permeation of potassium ions on its expression in Xenopus oocytes. In this investigation, we examined cellular localization of rat I(sK) protein by preparing three different types of antibody that specifically reacts with a distinct part of rat I(sK) protein. Immunohistochemical analysis using these antibody preparations demonstrated that rat I(sK) protein is confined to the apical membrane portion of epithelial cells in the proximal tubule of the kidney, the submandibular duct and the uterine endometrium. The observed tissue distribution of rat I(sK) protein was consistent with that of the I(sK) protein mRNA determined by blot hybridization analysis. In epithelial cells, the sodium, potassium-ATPase pump in the basolateral membrane generates a sodium gradient across the epithelial cell and allows sodium ions to enter the cell through the apical membrane. Thus, taking into account the cellular localization of the I(sK) protein, together with its electrophysiological properties, we discussed a possible function of the I(sK) protein, namely that this protein is involved in potassium permeation in the apical membrane of epithelial cells through the depolarizing effect of sodium entry.},
author = {Sugimoto, Tetsuo and Tanabe, Yasuto and Ryuichi Shigemoto and Iwai, Masazumi and Takumi, Toru and Ohkubo, Hiroaki and Nakanishi, Shigetada},
journal = {Journal of Membrane Biology},
number = {1},
pages = {39 -- 47},
publisher = {Springer},
title = {{Immunohistochemical study of a rat membrane protein which induces a selective potassium permeation: Its localization in the apical membrane portion of epithelial cells}},
doi = {10.1007/BF01869604},
volume = {113},
year = {1990},
}
@article{2721,
abstract = {We consider a multidimensional system consisting of a particle of mass M and radius r (molecule), surrounded by an infinite ideal gas of point particles of mass m (atoms). The molecule is confined to the unit ball and interacts with its boundary (barrier) via elastic collision, while the atoms are not affected by the boundary. We obtain convergence to equilibrium for the molecule from almost every initial distribution on its position and velocity. Furthermore, we prove that the infinite composite system of the molecule and the atoms is Bernoulli.},
author = {László Erdös and Tuyen, Dao Quang},
journal = {Journal of Statistical Physics},
number = {5-6},
pages = {1589 -- 1602},
publisher = {Springer},
title = {{Ergodic properties of the multidimensional rayleigh gas with a semipermeable barrier}},
doi = {10.1007/BF01334766},
volume = {59},
year = {1990},
}
@article{4060,
abstract = {This paper offers combinatorial results on extremum problems concerning the number of tetrahedra in a tetrahedrization of n points in general position in three dimensions, i.e. such that no four points are co-planar, It also presents an algorithm that in O(n log n) time constructs a tetrahedrization of a set of n points consisting of at most 3n-11 tetrahedra.},
author = {Herbert Edelsbrunner and Preparata, Franco P and West, Douglas B},
journal = {Journal of Symbolic Computation},
number = {3-4},
pages = {335 -- 347},
publisher = {Elsevier},
title = {{Tetrahedrizing point sets in three dimensions}},
doi = {10.1016/S0747-7171(08)80068-5},
volume = {10},
year = {1990},
}
@article{4063,
abstract = {This paper describes a general-purpose programming technique, called Simulation of Simplicity, that can be used to cope with degenerate input data for geometric algorithms. It relieves the programmer from the task of providing a consistent treatment for every single special case that can occur. The programs that use the technique tend to be considerably smaller and more robust than those that do not use it. We believe that this technique will become a standard tool in writing geometric software.},
author = {Herbert Edelsbrunner and Mücke, Ernst P},
journal = {ACM Transactions on Graphics},
number = {1},
pages = {66 -- 104},
publisher = {ACM},
title = {{Simulation of simplicity: A technique to cope with degenerate cases in geometric algorithms}},
doi = {10.1145/77635.77639},
volume = {9},
year = {1990},
}
@article{4064,
abstract = {Given a set of data points pi = (xi, yi ) for 1 ≤ i ≤ n, the least median of squares regression line is a line y = ax + b for which the median of the squared residuals is a minimum over all choices of a and b. An algorithm is described that computes such a line in O(n 2) time and O(n) memory space, thus improving previous upper bounds on the problem. This algorithm is an application of a general method built on top of the topological sweep of line arrangements.},
author = {Herbert Edelsbrunner and Souvaine, Diane L},
journal = {Journal of the American Statistical Association},
number = {409},
pages = {115 -- 119},
publisher = {American Statistical Association},
title = {{Computing least median of squares regression lines and guided topological sweep}},
doi = {10.1080/01621459.1990.10475313},
volume = {85},
year = {1990},
}
@article{4065,
abstract = {We prove that given n⩾3 convex, compact, and pairwise disjoint sets in the plane, they may be covered with n non-overlapping convex polygons with a total of not more than 6n−9 sides, and with not more than 3n−6 distinct slopes. Furthermore, we construct sets that require 6n−9 sides and 3n−6 slopes for n⩾3. The upper bound on the number of slopes implies a new bound on a recently studied transversal problem.},
author = {Herbert Edelsbrunner and Robison, Arch D and Shen, Xiao-Jun},
journal = {Discrete Mathematics},
number = {2},
pages = {153 -- 164},
publisher = {Elsevier},
title = {{Covering convex sets with non-overlapping polygons}},
doi = {10.1016/0012-365X(90)90147-A},
volume = {81},
year = {1990},
}
@article{4066,
abstract = {We consider several problems involving points and planes in three dimensions. Our main results are: (i) The maximum number of faces boundingm distinct cells in an arrangement ofn planes isO(m 2/3 n logn +n 2); we can calculatem such cells specified by a point in each, in worst-case timeO(m 2/3 n log3 n+n 2 logn). (ii) The maximum number of incidences betweenn planes andm vertices of their arrangement isO(m 2/3 n logn+n 2), but this number is onlyO(m 3/5– n 4/5+2 +m+n logm), for any>0, for any collection of points no three of which are collinear. (iii) For an arbitrary collection ofm points, we can calculate the number of incidences between them andn planes by a randomized algorithm whose expected time complexity isO((m 3/4– n 3/4+3 +m) log2 n+n logn logm) for any>0. (iv) Givenm points andn planes, we can find the plane lying immediately below each point in randomized expected timeO([m 3/4– n 3/4+3 +m] log2 n+n logn logm) for any>0. (v) The maximum number of facets (i.e., (d–1)-dimensional faces) boundingm distinct cells in an arrangement ofn hyperplanes ind dimensions,d>3, isO(m 2/3 n d/3 logn+n d–1). This is also an upper bound for the number of incidences betweenn hyperplanes ind dimensions andm vertices of their arrangement. The combinatorial bounds in (i) and (v) and the general bound in (ii) are almost tight.},
author = {Herbert Edelsbrunner and Guibas, Leonidas and Sharir, Micha},
journal = {Discrete & Computational Geometry},
number = {1},
pages = {197 -- 216},
publisher = {Springer},
title = {{The complexity of many cells in arrangements of planes and related problems}},
doi = {10.1007/BF02187785},
volume = {5},
year = {1990},
}
@inproceedings{4067,
abstract = {This paper proves an O(m 2/3 n 2/3+m+n) upper bound on the number of incidences between m points and n hyperplanes in four dimensions, assuming all points lie on one side of each hyperplane and the points and hyperplanes satisfy certain natural general position conditions. This result has application to various three-dimensional combinatorial distance problems. For example, it implies the same upper bound for the number of bichromatic minimum distance pairs in a set of m blue and n red points in three-dimensional space. This improves the best previous bound for this problem.},
author = {Herbert Edelsbrunner and Sharir, Micha},
pages = {419 -- 428},
publisher = {Springer},
title = {{A hyperplane Incidence problem with applications to counting distances}},
doi = {10.1007/3-540-52921-7_91},
volume = {450},
year = {1990},
}
@article{4068,
abstract = {LetS be a collection ofn convex, closed, and pairwise nonintersecting sets in the Euclidean plane labeled from 1 ton. A pair of permutations
(i1i2in−1in)(inin−1i2i1)
is called ageometric permutation of S if there is a line that intersects all sets ofS in this order. We prove thatS can realize at most 2n–2 geometric permutations. This upper bound is tight.},
author = {Herbert Edelsbrunner and Sharir, Micha},
journal = {Discrete & Computational Geometry},
number = {1},
pages = {35 -- 42},
publisher = {Springer},
title = {{The maximum number of ways to stabn convex nonintersecting sets in the plane is 2n−2}},
doi = { 10.1007/BF02187778},
volume = {5},
year = {1990},
}
@article{4069,
abstract = {Let C be a cell complex in d-dimensional Euclidean space whose faces are obtained by orthogonal projection of the faces of a convex polytope in d + 1 dimensions. For example, the Delaunay triangulation of a finite point set is such a cell complex. This paper shows that the in front/behind relation defined for the faces of C with respect to any fixed viewpoint x is acyclic. This result has applications to hidden line/surface removal and other problems in computational geometry.},
author = {Herbert Edelsbrunner},
journal = {Combinatorica},
number = {3},
pages = {251 -- 260},
publisher = {Springer},
title = {{An acyclicity theorem for cell complexes in d dimension}},
doi = {10.1007/BF02122779},
volume = {10},
year = {1990},
}
@article{4070,
abstract = {Let S be a set of n closed intervals on the x-axis. A ranking assigns to each interval, s, a distinct rank, p(s) [1, 2,…,n]. We say that s can see t if p(s)<p(t) and there is a point ps∩t so that pu for all u with p(s)<p(u)<p(t). It is shown that a ranking can be found in time O(n log n) such that each interval sees at most three other intervals. It is also shown that a ranking that minimizes the average number of endpoints visible from an interval can be computed in time O(n 5/2). The results have applications to intersection problems for intervals, as well as to channel routing problems which arise in layouts of VLSI circuits.},
author = {Herbert Edelsbrunner and Overmars, Mark H and Welzl, Emo and Hartman, Irith Ben-Arroyo and Feldman,Jack A},
journal = {International Journal of Computer Mathematics},
number = {3-4},
pages = {129 -- 144},
publisher = {Taylor & Francis},
title = {{Ranking intervals under visibility constraints}},
doi = {10.1080/00207169008803871},
volume = {34},
year = {1990},
}
@inproceedings{4071,
abstract = {We show that a triangulation of a set of n points in the plane that minimizes the maximum angle can be computed in time O(n2 log n) and space O(n). In the same amount of time and space we can also handle the constrained case where edges are prescribed. The algorithm iteratively improves an arbitrary initial triangulation and is fairly easy to implement.},
author = {Herbert Edelsbrunner and Tan, Tiow Seng and Waupotitsch, Roman},
pages = {44 -- 52},
publisher = {ACM},
title = {{An O(n^2log n) time algorithm for the MinMax angle triangulation}},
doi = {10.1145/98524.98535},
year = {1990},
}
@article{4072,
abstract = {We show that the total number of edges ofm faces of an arrangement ofn lines in the plane isO(m 2/3– n 2/3+2 +n) for any>0. The proof takes an algorithmic approach, that is, we describe an algorithm for the calculation of thesem faces and derive the upper bound from the analysis of the algorithm. The algorithm uses randomization and its expected time complexity isO(m 2/3– n 2/3+2 logn+n logn logm). If instead of lines we have an arrangement ofn line segments, then the maximum number of edges ofm faces isO(m 2/3– n 2/3+2 +n (n) logm) for any>0, where(n) is the functional inverse of Ackermann's function. We give a (randomized) algorithm that produces these faces and takes expected timeO(m 2/3– n 2/3+2 log+n(n) log2 n logm).},
author = {Herbert Edelsbrunner and Guibas, Leonidas J and Sharir, Micha},
journal = {Discrete & Computational Geometry},
number = {1},
pages = {161 -- 196},
publisher = {Springer},
title = {{The complexity and construction of many faces in arrangements of lines and of segments}},
doi = { 10.1007/BF02187784},
volume = {5},
year = {1990},
}
@inproceedings{4073,
abstract = {A number of rendering algorithms in computer graphics sort three-dimensional objects by depth and assume that there is no cycle that makes the sorting impossible. One way to resolve the problem caused by cycles is to cut the objects into smaller pieces. The problem of estimating how many such cuts are always sufficient is addressed. A few related algorithmic and combinatorial geometry problems are considered},
author = {Chazelle, Bernard and Herbert Edelsbrunner and Guibas, Leonidas J and Pollack, Richard and Seidel, Raimund and Sharir, Micha and Snoeyink, Jack},
pages = {242 -- 251},
publisher = {IEEE},
title = {{Counting and cutting cycles of lines and rods in space}},
doi = {10.1109/FSCS.1990.89543},
year = {1990},
}
@article{4074,
author = {Clarkson, Kenneth L and Herbert Edelsbrunner and Guibas, Leonidas J and Sharir, Micha and Welzl, Emo},
journal = {Discrete & Computational Geometry},
number = {1},
pages = {99 -- 160},
publisher = {Springer},
title = {{Combinatorial complexity bounds for arrangements of curves and spheres}},
doi = {10.1007/BF02187783},
volume = {5},
year = {1990},
}
@article{4075,
abstract = {A key problem in computational geometry is the identification of subsets of a point set having particular properties. We study this problem for the properties of convexity and emptiness. We show that finding empty triangles is related to the problem of determining pairs of vertices that see each other in a star-shaped polygon. A linear-time algorithm for this problem which is of independent interest yields an optimal algorithm for finding all empty triangles. This result is then extended to an algorithm for finding empty convex r-gons (r> 3) and for determining a largest empty convex subset. Finally, extensions to higher dimensions are mentioned.},
author = {Dobkin, David P and Herbert Edelsbrunner and Overmars, Mark H},
journal = {Algorithmica},
number = {4},
pages = {561 -- 571},
publisher = {Springer},
title = {{Searching for empty convex polygons}},
doi = {10.1007/BF01840404},
volume = {5},
year = {1990},
}
@inproceedings{4076,
abstract = {We present an algorithm to compute a Euclidean minimum spanning tree of a given set S of n points in Ed in time O(Td(N, N) logd N), where Td(n, m) is the time required to compute a bichromatic closest pair among n red and m blue points in Ed. If Td(N, N) = Ω(N1+ε), for some fixed ε > 0, then the running time improves to O(Td(N, N)). Furthermore, we describe a randomized algorithm to compute a bichromatic closets pair in expected time O((nm log n log m)2/3+m log2 n + n log2 m) in E3, which yields an O(N4/3log4/3 N) expected time algorithm for computing a Euclidean minimum spanning tree of N points in E3.},
author = {Agarwal, Pankaj K and Herbert Edelsbrunner and Schwarzkopf, Otfried and Welzl, Emo},
pages = {203 -- 210},
publisher = {ACM},
title = {{ Euclidean minimum spanning trees and bichromatic closest pairs}},
doi = {10.1145/98524.98567},
year = {1990},
}
@inproceedings{4077,
abstract = {We prove that for any set S of n points in the plane and n3-α triangles spanned by the points of S there exists a point (not necessarily of S) contained in at least n3-3α/(512 log25 n) of the triangles. This implies that any set of n points in three - dimensional space defines at most 6.4n8/3 log5/3 n halving planes.},
author = {Aronov, Boris and Chazelle, Bernard and Herbert Edelsbrunner and Guibas, Leonidas J and Sharir, Micha and Wenger, Rephael},
pages = {112 -- 115},
publisher = {ACM},
title = {{Points and triangles in the plane and halving planes in space}},
doi = {10.1145/98524.98548},
year = {1990},
}
@inproceedings{4078,
abstract = {In this paper we derived combinatorial point selection results for geometric objects defined by pairs of points. In a nutshell, the results say that if many pairs of a set of n points in some fixed dimension each define a geometric object of some type, then there is a point covered by many of these objects. Based on such a result for three-dimensional spheres we show that the combinatorial size of the Delaunay triangulation of a point set in space can be reduced by adding new points. We believe that from a practical point of view this is the most important result of this paper.},
author = {Chazelle, Bernard and Herbert Edelsbrunner and Guibas, Leonidas J and Hershberger, John E and Seidel, Raimund and Sharir, Micha},
pages = {116 -- 127},
publisher = {ACM},
title = {{Slimming down by adding; selecting heavily covered points}},
doi = {10.1145/98524.98551},
year = {1990},
}
@misc{4310,
author = {Nicholas Barton and Jones, Steve},
booktitle = {Nature},
pages = {415 -- 416},
publisher = {Nature Publishing Group},
title = {{The language of the genes}},
doi = {10.1038/346415a0},
volume = {346},
year = {1990},
}
@inbook{4311,
author = {Nicholas Barton and Clark,A.},
booktitle = {Population biology: ecological and evolutionary viewpoints},
editor = {Wöhrmann, Klaus and Jain, Subodh K},
pages = {115 -- 174},
publisher = {Springer},
title = {{Population structure}},
year = {1990},
}
@inproceedings{4510,
abstract = {The interleaving model is both adequate and sufficiently abstract to allow for the practical specification and verification of many properties of concurrent systems. We incorporate real time into this model by defining the abstract notion of a real-time transition system as a conservative extension of traditional transition systems: qualitative fairness requirements are replaced (and superseded) by quantitative lower-bound and upper-bound real-time requirements for transitions.
We present proof rules to establish lower and upper real-time bounds for response properties of real-time transition systems. This proof system can be used to verify bounded-invariance and bounded-response properties, such as timely termination of shared-variables multi-process systems, whose semantics is defined in terms of real-time transition systems.},
author = {Thomas Henzinger and Manna, Zohar and Pnueli,Amir},
pages = {717 -- 730},
publisher = {IEEE},
title = {{An interleaving model for real time}},
year = {1990},
}
@inproceedings{4522,
author = {Thomas Henzinger},
pages = {281 -- 296},
publisher = {ACM},
title = {{Half-order modal logic: How to prove real-time properties}},
doi = {10.1145/93385.93429},
year = {1990},
}
@inproceedings{4597,
abstract = {A unifying framework for the study of real-time logics is developed. In analogy to the untimed case, the underlying classical theory of timed state sequences is identified, it is shown to be nonelementarily decidable, and its complexity and expressiveness are used as a point of reference. Two orthogonal extensions of PTL (timed propositional temporal logic and metric temporal logic) that inherit its appeal are defined: they capture elementary, yet expressively complete, fragments of the theory of timed state sequences, and thus are excellent candidates for practical real-time specification languages},
author = {Alur, Rajeev and Thomas Henzinger},
pages = {390 -- 401},
publisher = {IEEE},
title = {{Real-time logics: Complexity and expressiveness}},
doi = {10.1109/LICS.1990.113764},
year = {1990},
}
@article{3467,
abstract = {The effects of mast cell degranulating peptide (MCDP), a toxin from the honey bee, and of dendrotoxin (DTX), a toxin from the green mamba snake, were studied in voltage-clamped experiments with myelinated nerve fibres of Xenopus. MCDP and DTX blocked part of the K+ current. About 20% of the K+ current, however, was resistant to the toxins even in high concentrations. In Ringer solution half-maximal block was reached with concentrations of 33 nM MCDP and 11 nM DTX. In high-K+ solution the potency of both toxins was lower. β-Bungarotoxin (β-BuTX), another snake toxin, also blocked part of the K+ current, but was less potent than MCDP and DTX. Tail currents in high-K+ solution were analysed and three K+ current components were separated according to Dubois (1981b). Both MCDP and DTX selectively blocked a fast deactivating, slowly inactivating K+ current component which steeply activates between E = -60 mV and E = -40 mV (component f1). In concentrations around 100 nM, MCDP and DTX blocked neither the slow K+ current (component s) nor the fast deactivating, rapidly inactivating K+ current which activates between E = -40 mV and E = 20 mV (component f2). Similar results could be derived from K+ outward currents in Ringer solution. In high-K+, IC50 of MCDP for component f1 was 99 nM, whereas it was 7.6 μM for f2. Corresponding values for DTX are 68 nM and 1.8 μM. Binding studies with nerve fibre membranes of Xenopus reveal high-affinity binding sites for 125I-labelled DTX )K(D) = 22 pM in Ringer solution and 81 pM in high-K+ solution). 125I-labelled DTX can be displaced from its sites completely by unlabelled DTX, toxin I (black mamba toxin), MCDP, and partially by β-BuTX. Immunocytochemical staining demonstrates that binding sites for DTX are present in nodal and paranodal regions of the axonal membrane. The axonal membrane of motor and sensory nerve fibres is equipped with three types of well-characterized K+ channels and constitutes so far the best preparation to study MCDP- and DTX-sensitive K+ channels with electrophysiological and biochemical methods.},
author = {Bräu, Michael E and Dreyer, Florian W and Peter Jonas and Repp, Holger and Vogel, Werner},
journal = {Journal of Physiology},
pages = {365 -- 385},
publisher = {Wiley-Blackwell},
title = {{A K+ channel in Xenopus nerve fibres selectively blocked by bee and snake toxins: binding and voltage-clamp experiments}},
doi = {10.1113/jphysiol.1990.sp017918},
volume = {420},
year = {1990},
}
@inbook{3565,
author = {Dobkin, David P and Herbert Edelsbrunner and Yap, Chee K},
booktitle = {Autonomous Robot Vehicles},
editor = {Cox, Ingemar J and Wilfong, Gordon T},
pages = {328 -- 341},
publisher = {Springer},
title = {{Probing convex polytopes}},
doi = {10.1007/978-1-4613-8997-2_25},
year = {1990},
}
@article{3649,
abstract = {Selection on polygenic characters is generally analyzed by statistical methods that assume a Gaussian (normal) distribution of breeding values. We present an alternative analysis based on multilocus population genetics. We use a general representation of selection, recombination, and drift to analyze an idealized polygenic system in which all genetic effects are additive (i.e., both dominance and epistasis are absent), but no assumptions are made about the distribution of breeding values or the numbers of loci or alleles. Our analysis produces three results. First, our equations reproduce the standard recursions for the mean and additive variance if breeding values are Gaussian; but they also reveal how non-Gaussian distributions of breeding values will alter these dynamics. Second, an approximation valid for weak selection shows that even if genetic variance is attributable to an effectively infinite number of loci with only additive effects, selection will generally drive the distribution of breeding values away from a Gaussian distribution by creating multilocus linkage disequilibria. Long-term dynamics of means can depart substantially from the predictions of the standard selection recursions, but the discrepancy may often be negligible for short-term selection. Third, by including mutation, we show that, for realistic parameter values, linkage disequilibrium has little effect on the amount of additive variance maintained at an equilibrium between stabilizing selection and mutation. Each of these analytical results is supported by numerical calculations.},
author = {Turelli, Michael and Nicholas Barton},
journal = {Theoretical Population Biology},
number = {1},
pages = {1 -- 57},
publisher = {Academic Press},
title = {{Dynamics of polygenic characters under selection}},
doi = {10.1016/0040-5809(90)90002-D},
volume = {38},
year = {1990},
}
@article{3650,
abstract = {Hybrid zones can yield estimates of natural selection and gene flow. The width of a cline in gene frequency is approximately proportional to gene flow (σ) divided by the square root of per-locus selection ( &s). Gene flow also causes gametic correlations (linkage disequilibria) between genes that differ across hybrid zones. Correlations are stronger when the hybrid zone is narrow, and rise to a maximum roughly equal to s. Thus cline width and gametic correlations combine to give estimates of gene flow and selection. These indirect measures of σ and s are especially useful because they can be made from collections, and require no field experiments. The method was applied to hybrid zones between color pattern races in a pair of Peruvian Heliconius butterfly species. The species are Mullerian mimics of one another, and both show the same changes in warning color pattern across their respective hybrid zones. The expectations of cline width and gametic correlation were generated using simulations of clines stabilized by strong frequency-dependent selection. In the hybrid zone in Heliconius erato, clines at three major color pattern loci were between 8.5 and 10.2 km wide, and the pairwise gametic correlations peaked at R & 0.35. These measures suggest that s & 0.23 per locus, and that σ & 2.6 km. In erato, the shapes of the clines agreed with that expected on the basis of dominance. Heliconius melpomene has a nearly coincident hybrid zone. In this species, cline widths at four major color pattern loci varied between 11.7 and 13.4 km. Pairwise gametic correlations peaked near R & 1.00 for tightly linked genes, and at R & 0.40 for unlinked genes, giving s & 0.25 per locus and σ & 3.7 km. In melpomene, cline shapes did not perfectly fit theoretical shapes based on dominance; this deviation might be explained by long-distance migration and/or strong epistasis. Compared with erato, sample sizes in melpomene are lower and the genetics of its color patterns are less well understood. In spite of these problems, selection and gene flow are clearly of the same order of magnitude in the two species. The relatively high per locus selection coefficients agree with ``major gene'' theories for the evolution of Mullerian mimicry, but the genetic architecture of the color patterns does not. These results show that the genetics and evolution of mimicry are still only sketchily understood.},
author = {Mallet, James L and Nicholas Barton and Lamas,Gerado M and Santisteban, José C and Muedas, Manuel M and Eeley, Harriet},
journal = {Genetics},
number = {4},
pages = {921 -- 936},
publisher = {Genetics Society of America},
title = {{Estimates of selection and gene flow from measures of cline width and linkage disequilibrium in Heliconius hybrid zones}},
volume = {124},
year = {1990},
}
@article{3651,
abstract = {It is widely held that each gene typically affects many characters, and that each character is affected by many genes. Moreover, strong stabilizing selection cannot act on an indefinitely large number of independent traits. This makes it likely that heritable variation in any one trait is maintained as a side effect of polymorphisms which have nothing to do with selection on that trait. This paper examines the idea that variation is maintained as the pleiotropic side effect of either deleterious mutation, or balancing selection. If mutation is responsible, it must produce alleles which are only mildly deleterious (s & 10(-3)), but nevertheless have significant effects on the trait. Balancing selection can readily maintain high heritabilities; however, selection must be spread over many weakly selected polymorphisms if large responses to artificial selection are to be possible. In both classes of pleiotropic model, extreme phenotypes are less fit, giving the appearance of stabilizing selection on the trait. However, it is shown that this effect is weak (of the same order as the selection on each gene): the strong stabilizing selection which is often observed is likely to be caused by correlations with a limited number of directly selected traits. Possible experiments for distinguishing the alternatives are discussed.},
author = {Nicholas Barton},
journal = {Genetics},
number = {3},
pages = {773 -- 782},
publisher = {Genetics Society of America},
title = {{Pleiotropic models of quantitative variation}},
volume = {124},
year = {1990},
}
@article{2479,
abstract = {Distribution of putative glutamatergic neurons in the lower brainstem and cerebellum of the rat was examined immunocytochemically by using a monoclonal antibody against phosphate-activated glutaminase, which has been proposed to be a major synthetic enzyme of transmitter glutamate and so may serve as a marker for glutamatergic neurons in the central nervous system. Intensely-immunolabeled neuronal cell bodies were densely distributed in the main precerebellar nuclei sending mossy fibers to the cerebellum; in the pontine nuclei, pontine tegmental reticular nucleus of Bechterew, external cuneate nucleus, and lateral reticular nucleus of the medulla oblongata. Phosphate-activated glutaminase-immunoreactive granular deposits were densely seen in the brachium pontis and restiform body, suggesting the immunolabeling of mossy fibers of passage. In the cerebellum, neuropil within the granule cell layer of the cerebellar cortex displayed intense phosphate-activated glutaminase-immunoreactivity, and that within the deep cerebellar nuclei showed moderate immunoreactivity. These results indicate that many mossy fiber terminals originate from phosphate-activated glutaminase-containing neurons and utilize phosphate-activated glutaminase for the synthesis of transmitter glutamate. Intensely-immunostained neuronal cell bodies were further observed in other regions which have been reported to contain neurons sending mossy fibers to the cerebellum; in the dorsal part of the principal sensory trigeminal nucleus, dorsomedial part of the oral subnucleus of the spinal trigeminal nucleus, interpolar subnucleus of the spinal trigeminal nucleus, paratrigeminal nucleus, supragenual nucleus, regions dorsal to the abducens nucleus and genu of the facial nerve, superior and medial vestibular nuclei, cell groups f, x and y, hypoglossal prepositus nucleus, intercalated nucleus, nucleus of Roller, reticular regions intercalated between the motor trigeminal and principal sensory trigeminal nuclei, linear nucleus, and gigantocellular and paramedian reticular formation. Neuronal cell bodies with intense phosphate-activated glutaminase-immunoreactivity were also found in other brainstem regions, such as the paracochlear glial substance, posterior ventral cochlear nucleus, and cell group e. Although it is still controversial whether all glutamatergic neurons use phosphate-activated glutaminase in a transmitter-related process and whether phosphate-activated glutaminase is involved in other metabolism-related processes, the neurons showing intense phosphate-activated glutaminase-immuno-reactivity in the present study were suggested to be putative glutamatergic neurons.},
author = {Kaneko, Takeshi and Itoh, Kazuo and Ryuichi Shigemoto and Mizuno, Noboru},
journal = {Neuroscience},
number = {1},
pages = {79 -- 98},
publisher = {Elsevier},
title = {{Glutaminase-like immunoreactivity in the lower brainstem and cerebellum of the adult rat}},
doi = {10.1016/0306-4522(89)90109-7},
volume = {32},
year = {1989},
}
@article{2525,
abstract = {This paper describes the amino acid sequence of the rat substance P receptor and its comparison with that of the rat substance K receptor on the basis of molecular cloning and sequence analysis. From a rat brain cDNA library constructed with an RNA expression vector, we identified a cDNA mixture containing a functional substance P receptor cDNA by examining electrophysiologically a receptor expression following injection of the mRNAs synthesized in vitro into Xenopus oocytes. A receptor cDNA clone was then isolated by cross-hybridization with the bovine substance K receptor DNA. The clone was confirmed by selective binding of substance P to the cloned receptor expressed in mammalian COS cells. The deduced amino acid sequence (407 amino acid residues) possesses seven putative membrane spanning domains and shows a sequence similarity to the members of G-protein-coupled receptors. The rat substance P and substance K receptor are very similar in both size and amino acid sequences, particularly in the putative transmembrane similarity is in marked contrast to the sequence divergence in the amino- and carboxyl-terminal regions and the third cytoplasmic loop. The observed sequence similarytity and divergence would thus contribute to the expression of similar but pharmacological regions and the first and second cytoplasmic loops. This distinguishable activities of the two tachykinin receptors.},
author = {Yokota, Yoshifumi and Sasai, Yoshiki and Tanaka, Kohichi and Fujiwara, Tsutomu and Tsuchida, Kunihiro and Ryuichi Shigemoto and Kakizuka, Akira and Ohkubo, Hiroaki and Nakanishi, Shigetada},
journal = {Journal of Biological Chemistry},
number = {30},
pages = {17649 -- 17652},
publisher = {American Society for Biochemistry and Molecular Biology},
title = {{Molecular characterization of a functional cDNA for rat substance P receptor}},
volume = {264},
year = {1989},
}
@article{2526,
abstract = {When WGA-HRP (wheat germ agglutinin-horseradish peroxidase conjugate) or HRP was injected into the regions around the superior central and/or the dorsal raphe nuclei in the cat, cell bodies of a number of non-pyramidal neurons were labeled in Ammon's horn. Thus the existence of direct projections from non-pyramidal neurons in Ammon's horn to the rostral raphe regions in the brainstem was suggested in the cat.},
author = {Ino, Tadashi and Itoh, Kazuo and Kamiya, Hiroto and Kaneko, Takeshi and Ryuichi Shigemoto and Akiguchi, Ichiro and Mizuno, Noboru},
journal = {Brain Research},
number = {1},
pages = {157 -- 161},
publisher = {Elsevier},
title = {{Direct projections from Ammon's horn to the rostral raphe regions in the brainstem of the cat}},
doi = {10.1016/0006-8993(89)91346-2},
volume = {479},
year = {1989},
}
@article{2527,
author = {Akimoto, Masumi and Ryuichi Shigemoto and Kawamura, Makiko and Yamagata, Hideharu and Kurihara, Takeshi and Takata, S and Miwa, Yoko and Akagami, N and Katsu, Kenichi and Yamauchi, D},
journal = {Japanese Journal of Gastroenterology},
number = {11},
publisher = {Japanese Society of Gastroenterology},
title = {{Effect of endothelin on gastric mucosal blood flow in rat}},
doi = {10.11405/nisshoshi1964.86.2627},
volume = {86},
year = {1989},
}
@article{4079,
author = {Herbert Edelsbrunner and Skiena, Steven Sol},
journal = {American Mathematical Monthly},
number = {7},
pages = {614 -- 618},
publisher = {Mathematical Association of America},
title = {{On the number of furthest neighbor pairs in a point set}},
volume = {96},
year = {1989},
}
@article{4080,
abstract = {This paper proves that any set of n points in the plane contains two points such that any circle through those two points encloses at least n12−112+O(1)n47 points of the set. The main ingredients used in the proof of this result are edge counting formulas for k-order Voronoi diagrams and a lower bound on the minimum number of semispaces of size at most k.},
author = {Herbert Edelsbrunner and Hasan, Nany and Seidel, Raimund and Shen, Xiao-Jun},
journal = {Geometriae Dedicata},
number = {1},
pages = {1 -- 12},
publisher = {Kluwer},
title = {{Circles through two points that always enclose many points}},
doi = {10.1007/BF00181432},
volume = {32},
year = {1989},
}
@article{4081,
abstract = {This paper studies applications of envelopes of piecewise linear functions to problems in computational geometry. Among these applications we find problems involving hidden line/surface elimination, motion planning, transversals of polytopes, and a new type of Voronoi diagram for clusters of points. All results are either combinatorial or computational in nature. They are based on the combinatorial analysis in two companion papers [PS] and [E2] and a divide-and-conquer algorithm for computing envelopes described in this paper.},
author = {Herbert Edelsbrunner and Guibas, Leonidas J and Sharir, Micha},
journal = {Discrete & Computational Geometry},
number = {1},
pages = {311 -- 336},
publisher = {Springer},
title = {{The upper envelope of piecewise linear functions: Algorithms and applications}},
doi = {10.1007/BF02187733},
volume = {4},
year = {1989},
}
@article{4082,
abstract = {Sweeping a collection of figures in the Euclidean plane with a straight line is one of the novel algorithmic paradigms that have emerged in the field of computational geometry. In this paper we demonstrate the advantages of sweeping with a topological line that is not necessarily straight. We show how an arrangement of n lines in the plane can be swept over in O(n2) time and O(n) space by a such a line. In the process each element, i.e., vertex, edge, or region, is visited once in a consistent ordering. Our technique makes use of novel data structures which exhibit interesting amortized complexity behavior; the result is an algorithm that improves upon all its predecessors either in the space or the time bounds, as well as being eminently practical. Numerous applications of the technique to problems in computational geometry are given—many through the use of duality transforms. Examples include solving visibility problems, detecting degeneracies in configurations, computing the extremal shadows of convex polytopes, and others. Even though our basic technique solves a planar problem, its applications include several problems in higher dimensions.},
author = {Herbert Edelsbrunner and Guibas, Leonidas J},
journal = {Journal of Computer and System Sciences},
number = {1},
pages = {165 -- 194},
publisher = {Elsevier},
title = {{Topologically sweeping an arrangement}},
doi = {10.1016/0022-0000(89)90038-X},
volume = {38},
year = {1989},
}
@article{4083,
abstract = {It is shown that, given a set S of n points in $R^3 $, one can always find three planes that form an eight-partition of S, that is, a partition where at most ${n / 8}$ points of S lie in each of the eight open regions. This theorem is used to define a data structure, called an octant tree, for representing any point set in $R^3 $. An octant tree for n points occupies $O(n)$ space and can be constructed in polynomial time. With this data structure and its refinements, efficient solutions to various range query problems in two and three dimensions can be obtained, including (1) half-space queries: find all points of S that lie to one side of any given plane; (2) polyhedron queries: find all points that lie inside (outside) any given polyhedron; and (3) circle queries in $R^2 $: for a planar set S, find all points that lie inside (outside) any given circle. The retrieval time for all these queries is $T(n) = O(n^\alpha + m)$, where $\alpha = 0.8988$ (or 0.8471 in case (3)), and m is the size of the output. This performance is the best currently known for linear-space data structures that can be deterministically constructed in polynomial time.},
author = {Yao, F. Frances and Dobkin, David P and Herbert Edelsbrunner and Paterson,Michael S},
journal = {SIAM Journal on Computing},
number = {2},
pages = {371 -- 384},
publisher = {SIAM},
title = {{Partitioning space for range queries}},
doi = {10.1137/0218025},
volume = {18},
year = {1989},
}
@article{4084,
abstract = {A tour of a finite set P of points is a necklace-tour if there are disks with the points in P as centers such that two disks intersect if and only if their centers are adjacent in . It has been observed by Sanders that a necklace-tour is an optimal traveling salesman tour.
In this paper, we present an algorithm that either reports that no necklace-tour exists or outputs a necklace-tour of a given set of n points in O(n2 log n) time. If a tour is given, then we can test in O(n2) time whether or not this tour is a necklace-tour. Both algorithms can be generalized to ƒ-factors of point sets in the plane. The complexity results rely on a combinatorial analysis of certain intersection graphs of disks defined for finite sets of points in the plane.},
author = {Herbert Edelsbrunner and Rote,Günter and Welzl, Emo},
journal = {Theoretical Computer Science},
number = {2},
pages = {157 -- 180},
publisher = {Elsevier},
title = {{Testing the necklace condition for shortest tours and optimal factors in the plane}},
doi = {10.1016/0304-3975(89)90133-3},
volume = {66},
year = {1989},
}
@inproceedings{4085,
abstract = {Let C be a cell complex in d-dimensional Euclidean space whose faces are obtained by orthogonal projection of the faces of a convex polytope in d + 1 dimensions. For example, the Delaunay triangulation of a finite point set is such a cell complex. This paper shows that the in_front/behind relation defined for the faces of C with respect to any fixed viewpoint x is acyclic. This result has applications to hidden line/surface removal and other problems in computational geometry.},
author = {Herbert Edelsbrunner},
pages = {145 -- 151},
publisher = {ACM},
title = {{An acyclicity theorem for cell complexes in d dimension}},
doi = {10.1145/73833.73850},
year = {1989},
}
@article{4086,
abstract = {This note proves that the maximum number of faces (of any dimension) of the upper envelope of a set ofn possibly intersectingd-simplices ind+1 dimensions is (n d (n)). This is an extension of a result of Pach and Sharir [PS] who prove the same bound for the number ofd-dimensional faces of the upper envelope.},
author = {Herbert Edelsbrunner},
journal = {Discrete & Computational Geometry},
number = {4},
pages = {337 -- 343},
publisher = {Springer},
title = {{The upper envelope of piecewise linear functions: Tight bounds on the number of faces }},
doi = {10.1007/BF02187734},
volume = {4},
year = {1989},
}
@inproceedings{4087,
abstract = {This paper offers combinatorial results on extremum problems concerning the number of tetrahedra in a tetrahedrization of n points in general position in three dimensions, i.e. such that no four points are coplanar. It also presents an algorithm that in O(nlog n) time constructs a tetrahedrization of a set of n points consisting of at most 3n–11 tetrahedra.},
author = {Herbert Edelsbrunner and Preparata, Franco P and West, Douglas B},
pages = {315 -- 331},
publisher = {Springer},
title = {{Tetrahedrizing point sets in three dimensions}},
doi = {10.1007/3-540-51084-2_31},
volume = {358},
year = {1989},
}
@article{4088,
abstract = {Anarrangement ofn lines (or line segments) in the plane is the partition of the plane defined by these objects. Such an arrangement consists ofO(n 2) regions, calledfaces. In this paper we study the problem of calculating and storing arrangementsimplicitly, using subquadratic space and preprocessing, so that, given any query pointp, we can calculate efficiently the face containingp. First, we consider the case of lines and show that with (n) space1 and (n 3/2) preprocessing time, we can answer face queries in (n)+O(K) time, whereK is the output size. (The query time is achieved with high probability.) In the process, we solve three interesting subproblems: (1) given a set ofn points, find a straight-edge spanning tree of these points such that any line intersects only a few edges of the tree, (2) given a simple polygonal path , form a data structure from which we can find the convex hull of any subpath of quickly, and (3) given a set of points, organize them so that the convex hull of their subset lying above a query line can be found quickly. Second, using random sampling, we give a tradeoff between increasing space and decreasing query time. Third, we extend our structure to report faces in an arrangement of line segments in (n 1/3)+O(K) time, given(n 4/3) space and (n 5/3) preprocessing time. Lastly, we note that our techniques allow us to computem faces in an arrangement ofn lines in time (m 2/3 n 2/3+n), which is nearly optimal.},
author = {Herbert Edelsbrunner and Guibas, Leonidas and Hershberger, John and Seidel, Raimund and Sharir, Micha and Snoeyink, Jack and Welzl, Emo},
journal = {Discrete & Computational Geometry},
number = {1},
pages = {433 -- 466},
publisher = {Springer},
title = {{Implicitly representing arrangements of lines or segments}},
doi = {10.1007/BF02187742},
volume = {4},
year = {1989},
}
@article{4089,
abstract = {Motivated by a number of motion-planning questions, we investigate in this paper some general topological and combinatorial properties of the boundary of the union ofn regions bounded by Jordan curves in the plane. We show that, under some fairly weak conditions, a simply connected surface can be constructed that exactly covers this union and whose boundary has combinatorial complexity that is nearly linear, even though the covered region can have quadratic complexity. In the case where our regions are delimited by Jordan acrs in the upper halfplane starting and ending on thex-axis such that any pair of arcs intersect in at most three points, we prove that the total number of subarcs that appear on the boundary of the union is only (n(n)), where(n) is the extremely slowly growing functional inverse of Ackermann's function.},
author = {Herbert Edelsbrunner and Guibas, Leonidas and Hershberger, John and Pach, János and Pollack, Richard and Seidel, Raimund and Sharir, Micha and Snoeyink, Jack},
journal = {Discrete & Computational Geometry},
number = {1},
pages = {523 -- 539},
publisher = {Springer},
title = {{On arrangements of Jordan arcs with three intersections per pair}},
doi = {10.1007/BF02187745},
volume = {4},
year = {1989},
}
@inproceedings{4092,
author = {Chazelle, Bernard and Herbert Edelsbrunner and Guibas, Leonidas J and Sharir, Micha},
pages = {179 -- 193},
publisher = {Springer},
title = {{A singly exponential stratification scheme for real semi-algebraic varieties and its applications}},
doi = {10.1007/BFb0035760},
volume = {372},
year = {1989},
}
@article{4093,
abstract = {This paper investigates the combinatorial and computational aspects of certain extremal geometric problems in two and three dimensions. Specifically, we examine the problem of intersecting a convex subdivision with a line in order to maximize the number of intersections. A similar problem is to maximize the number of intersected facets in a cross-section of a three-dimensional convex polytope. Related problems concern maximum chains in certain families of posets defined over the regions of a convex subdivision. In most cases we are able to prove sharp bounds on the asymptotic behavior of the corresponding extremal functions. We also describe polynomial algorithms for all the problems discussed.},
author = {Chazelle, Bernard and Herbert Edelsbrunner and Guibas, Leonidas J},
journal = {Discrete & Computational Geometry},
number = {1},
pages = {139 -- 181},
publisher = {Springer},
title = {{The complexity of cutting complexes}},
doi = {10.1007/BF02187720},
volume = {4},
year = {1989},
}
@article{4309,
abstract = {Three methods for estimating the average level of gene flow in natural population are discussed and compared. The three methods are FST, rare alleles, and maximum likelihood. All three methods yield estimates of the combination of parameters (the number of migrants [Nm] in a demic model or the neighborhood size [4πDσ2] in a continuum model) that determines the relative importance of gene flow and genetic drift. We review the theory underlying these methods and derive new analytic results for the expectation of FST in stepping-stone and continuum models when small sets of samples are taken. We also compare the effectiveness of the different methods using a variety of simulated data. We found that the FST and rare-alleles methods yield comparable estimates under a wide variety of conditions when the population being sampled is demographically stable. They are roughly equally sensitive to selection and to variation in population structure, and they approach their equilibrium values at approximately the same rate. We found that two different maximum-likelihood methods tend to yield biased estimates when relatively small numbers of locations are sampled but more accurate estimates when larger numbers are sampled. Our conclusion is that, although FST and rare-alleles methods are expected to be equally effective in analyzing ideal data, practical problems in estimating the frequencies of rare alleles in electrophoretic studies suggest that FST is likely to be more useful under realistic conditions.
},
author = {Slatkin, Montgomery and Nicholas Barton},
journal = {Evolution; International Journal of Organic Evolution},
number = {7},
pages = {1349 -- 1368},
publisher = {Wiley-Blackwell},
title = {{A comparison of three methods for estimating average levels of gene flow}},
volume = {43},
year = {1989},
}
@article{4312,
author = {Nicholas Barton and Turelli, Michael},
journal = {Annual Review of Genetics},
pages = {337 -- 370},
publisher = {Annual Reviews},
title = {{Evolutionary quantitative genetics: how little do we know ?}},
doi = {10.1146/annurev.ge.23.120189.002005},
volume = {23},
year = {1989},
}
@inbook{4313,
author = {Nicholas Barton},
booktitle = {Speciation and its consequences},
editor = {Otte, Daniel and Endler, John A},
publisher = {Sinauer Press},
title = {{Founder effect speciation}},
year = {1989},
}
@article{4314,
abstract = {Polygenic variation can be maintained by a balance between mutation and stabilizing selection. When the alleles responsible for variation are rare, many classes of equilibria may be stable. The rate at which drift causes shifts between equilibria is investigated by integrating the gene frequency distribution W2N II (pq)4N mu-1. This integral can be found exactly, by numerical integration, or can be approximated by assuming that the full distribution of allele frequencies is approximately Gaussian. These methods are checked against simulations. Over a wide range of population sizes, drift will keep the population near an equilibrium which minimizes the genetic variance and the deviation from the selective optimum. Shifts between equilibria in this class occur at an appreciable rate if the product of population size and selection on each locus is small (Ns alpha 2 less than 10). The Gaussian approximation is accurate even when the underlying distribution is strongly skewed. Reproductive isolation evolves as populations shift to new combinations of alleles: however, this process is slow, approaching the neutral rate (approximately mu) in small populations.},
author = {Nicholas Barton},
journal = {Genetical Research},
number = {1},
pages = {59 -- 77},
publisher = {Cambridge University Press},
title = {{The divergence of a polygenic system under stabilising selection, mutation and drift}},
doi = {10.1017/S0016672300028378},
volume = {54},
year = {1989},
}
@inproceedings{4596,
abstract = {A real-time temporal logic for the specification of reactive systems is introduced. The novel feature of the logic, TPTL, is the adoption of temporal operators as quantifiers over time variables; every modality binds a variable to the time(s) it refers to. TPTL is demonstrated to be both a natural specification language and a suitable formalism for verification and synthesis. A tableau-based decision procedure and model-checking algorithm for TPTL are presented. Several generalizations of TPTL are shown to be highly undecidable.},
author = {Alur, Rajeev and Thomas Henzinger},
pages = {164 -- 169},
publisher = {IEEE},
title = {{A really temporal logic}},
doi = {10.1109/SFCS.1989.63473},
year = {1989},
}
@article{3465,
abstract = {Asymmetrical displacement currents and Na currents of single myelinated nerve fibers of Xenopus laevis were studied in the temperature range from 5 to 24 degrees C. The time constant of the on-response at E = 4 mV, tau on, was strongly temperature dependent, whereas the amount of displaced charge at E = 39 mV, Qon, was only slightly temperature dependent. The mean Q10 for tau on-1 was 2.54, the mean Q10 for Qon was 1.07. The time constant of charge immobilization, tau i, at E = 4 mV varied significantly (alpha = 0.001) with temperature. The mean Q10 for tau i-1 was 2.71 +/- 0.38. The time constants of immobilization of gating charge and of fast inactivation of Na permeability were similar in the temperature range from 6 to 22 degrees C. The Qoff/Qon ratio for E = 4 mV pulses of 0.5 msec duration decreased with increasing temperature. The temperature dependence of the time constant of the off-response could not be described by a single Q10 value, since the Q10 depended on the duration of the test pulse. Increasing temperature shifted Qon (E) curves to more negative potentials by 0.51 mV K-1, but shifted PNa (E) curves and h infinity (E) curves to more positive potentials by 0.43 and 0.57 mV K-1, respectively. h infinity (E = -70 mV) increased monotonously with increasing temperature. The present data indicate that considerable entropy changes may occur when the Na channel molecule passes from closed through open to inactivated states.},
author = {Peter Jonas},
journal = {Journal of Membrane Biology},
number = {3},
pages = {277 -- 289},
publisher = {Springer},
title = {{Temperature dependence of gating current in myelinated nerve fibers}},
doi = {10.1007/BF01870958},
volume = {112},
year = {1989},
}
@article{3466,
abstract = {Amphibian myelinated nerve fibers were treated with collagenase and protease. Axons with retraction of the myelin sheath were patch-clamped in the nodal and paranodal region. One type of Na channel was found. It has a single-channel conductance of 11 pS (15 degrees C) and is blocked by tetrodotoxin. Averaged events show the typical activation and inactivation kinetics of macroscopic Na current. Three potential-dependent K channels were identified (I, F, and S channel). The I channel, being the most frequent type, has a single-channel conductance of 23 pS (inward current, 105 mM K on both sides of the membrane), activates between -60 and -30 mV, deactivates with intermediate kinetics, and is sensitive to dendrotoxin. The F channel has a conductance of 30 pS, activates between -40 and 60 mV, and deactivates with fast kinetics. The former inactivates within tens of seconds; the latter inactivates within seconds. The third type, the S channel, has a conductance of 7 pS and deactivates slowly. All three channels can be blocked by external tetraethylammonium chloride. We suggest that these distinct K channel types form the basis for the different components of macroscopic K current described previously.},
author = {Peter Jonas and Bräu, Michael E and Hermsteiner, Markus and Vogel, Werner},
journal = {PNAS},
number = {18},
pages = {7238 -- 7242},
publisher = {National Academy of Sciences},
title = {{Single-channel recording in myelinated nerve fibers reveals one type of Na channel but different K channels}},
volume = {86},
year = {1989},
}
@inproceedings{3549,
author = {Herbert Edelsbrunner},
pages = {83 -- 89},
publisher = {Institute of the Electronics, Information and Communication Enginneers},
title = {{Spatial triangulations with dihedral angle conditions}},
year = {1989},
}
@article{3652,
abstract = {Frequency-dependent selection against rare forms can maintain clines. For weak selection, s, in simple linear models of frequency-dependence, single locus clines are stabilized with a maximum slope of between {complex}s/{complex}8 {sigma} and {complex}s/{complex}12 {delta}, where {sigma} is the dispersal distance. These clines are similar to those maintained by heterozygote disadvantage. Using computer simulations, the weak-selection analytical results are extended to higher selection pressures with up to three unlinked genes. Graphs are used to display the effect of selection, migration, dominance, and number of loci on cline widths, speeds of cline movements, two-way gametic correlations (``linkage disequilibria''), and heterozygote deficits. The effects of changing the order of reproduction, migration, and selection, are also briefly explored. Epistasis can also maintain tension zones. We show that epistatic selection is similar in its effects to frequency-dependent selection, except that the disequilibria produced in the zone will be higher for a given level of selection. If selection consists of a mixture of frequency-dependence and epistasis, as is likely in nature, the error made in estimating selection is usually less than twofold. From the graphs, selection and migration can be estimated using knowledge of the dominance and number of genes, of gene frequences and of gametic correlations from a hybrid zone.},
author = {Mallet, James L and Nicholas Barton},
journal = {Genetics},
number = {4},
pages = {967 -- 976},
publisher = {Genetics Society of America},
title = {{Inference from clines stabilized by frequency-dependent selection}},
volume = {122},
year = {1989},
}
@article{3653,
abstract = {Frequency-dependent selection on warning color can maintain narrow hybrid zones between unpalatable prey taxa. To measure such selection, we transferred marked Heliconius erato (Lepidoptera: Nymphalidae) in both directions across a 10-km-wide hybrid zone between Peruvian races differing in color pattern. These experimental H. erato were released at four sites, along with control H. erato of the phenotype native to each site. Survival of experimental butterflies was significantly lower than that of controls at two sites and overall. Most selection, measured as differences in survival, occurred soon after release. Selection against foreign morphs was 52% (confidence limits: 25-71%) and was probably due to bird attacks on unusual warning-color morphs (more than 10% of the recaptures had beak marks). Since only three major loci determine the color-pattern differences, this suggests an average selection coefficient of 0.17 per locus, sufficient to maintain the narrow clines in H. erato.
},
author = {Mallet, James L and Nicholas Barton},
journal = {Evolution},
pages = {421 -- 431},
publisher = {Wiley-Blackwell},
title = {{Strong natural selection in a warning color hybrid zone}},
doi = {10.2307/2409217 },
volume = {43},
year = {1989},
}
@article{3654,
abstract = {Many species are divided into a mosaic of genetically distinct populations, separated by narrow zones of hybridization. Studies of hybrid zones allow us to quantify the genetic differences responsible for speciation, to measure the diffusion of genes between diverging taxa, and to understand the spread of alternative adaptations.},
author = {Nicholas Barton and Hewitt, Godfrey M},
journal = {Nature},
pages = {497 -- 503},
publisher = {Nature Publishing Group},
title = {{Adaptation, speciation and hybrid zones}},
doi = {10.1038/341497a0},
volume = {341},
year = {1989},
}
@article{2522,
abstract = {Non-pyramidal neurons in cat Ammon's horn were shown to send their axons to the supramammillary regions (SMR), i.e. the supramammillary nucleus and its vicinities including the supramammillary nucleus and the lateral, posterior and dorsal hypothalamic areas: wheat germ agglutinin-horseradish peroxidase (WGA-HRP) injection into Ammon's horn resulted in labeling of presumed axon terminals in the SMR; and after injecting HRP into the SMR, retrogradely labeled non-pyramidal neurons were seen in Ammon's horn.},
author = {Ino, Tadashi and Itoh, Kazuo and Kamiya, Hiroto and Ryuichi Shigemoto and Akiguchi, Ichiro and Mizuno, Noboru},
journal = {Brain Research},
number = {1},
pages = {173 -- 177},
publisher = {Elsevier},
title = {{Direct projections of non-pyramidal neurons of Ammon's horn to the supramammillary region in the cat}},
doi = {10.1016/0006-8993(88)91219-X},
volume = {460},
year = {1988},
}
@article{2523,
abstract = {Injection of large amounts of a mixture of horseradish peroxidase and wheat germ agglutinin-horseradish peroxidase conjugate into the upper cervical segments of the spinal cord in the Japanese monkey (Macaca fuscata) led to the retrograde labeling of a small number of neuronal cell bodies within the rostral part of the subthalamic nucleus of Luys. Direct projection from the subthalamic nucleus to the spinal cord appeared to be much less prominent in the Japanese monkey than in the cat and rat.},
author = {Mizuno, Noboru and Ueyama, Teizo and Itoh, Kazuo and Satoda, Takahiro and Tashiro, Takashi and Ryuichi Shigemoto},
journal = {Neuroscience Letters},
number = {1},
pages = {13 -- 18},
publisher = {Elsevier},
title = {{Direct projections from the subthalamic nucleus of Luys to the spinal cord in the Japanese monkey}},
doi = {10.1016/0304-3940(88)90473-9},
volume = {89},
year = {1988},
}
@article{2524,
abstract = {Alpha-ketoglutamate (α-KG) reductive amination activity in rat brain was found to be mostly absorbed with an antibody against liver glutamate dehydrogenase. With this and anti-glutamine synthetase antibodies, α-KG reductive amination activity was immunocytochemically shown to coexist with glutamine synthetase activity in astrocytes. The results suggest that astrocytes de novo synthesize glutamate from α-KG and ammonia, and metabolize it to glutamine.},
author = {Kaneko, Takeshi and Ryuichi Shigemoto and Mizuno, Noboru},
journal = {Brain Research},
number = {1},
pages = {160 -- 164},
publisher = {Elsevier},
title = {{Metabolism of glutamate and ammonia in astrocyte an immunocytochemical study}},
doi = {10.1016/0006-8993(88)90069-8},
volume = {457},
year = {1988},
}
@article{1941,
author = {Leonid Sazanov and Karavaev, V A and Kukushkin, A K},
journal = {J. Phys. Chem-Russia},
pages = {3351 -- 3354},
publisher = {Elsevier},
title = {{Mathematical model of photosynthesis regulation accounts for the effects of changes in external conditions and observed oscillations}},
volume = {52},
year = {1988},
}
@article{4090,
abstract = {In this paper we study the problem of polygonal separation in the plane, i.e., finding a convex polygon with minimum number k of sides separating two given finite point sets (k-separator), if it exists. We show that for k = Θ(n), is a lower bound to the running time of any algorithm for this problem, and exhibit two algorithms of distinctly different flavors. The first relies on an O(n log n)-time preprocessing task, which constructs the convex hull of the internal set and a nested star-shaped polygon determined by the external set; the k-separator is contained in the annulus between the boundaries of these two polygons and is constructed in additional linear time. The second algorithm adapts the prune-and-search approach, and constructs, in each iteration, one side of the separator; its running time is O(kn), but the separator may have one more side than the minimum.},
author = {Herbert Edelsbrunner and Preparata, Franco P},
journal = {Information and Computation},
number = {3},
pages = {218 -- 232},
publisher = {Elsevier},
title = {{Minimum polygonal separation}},
doi = {10.1016/0890-5401(88)90049-1},
volume = {77},
year = {1988},
}
@article{4091,
abstract = {An X-ray probe through a polygon measures the length of intersection between a line and the polygon. This paper considers the properties of various classes of X-ray probes, and shows how they interact to give finite strategies for completely describing convex n-gons. It is shown that (3n/2)+6 probes are sufficient to verify a specified n-gon, while for determining convex polygons (3n-1)/2 X-ray probes are necesssary and 5n+O(1) sufficient, with 3n+O(1) sufficient given that a lower bound on the size of the smallest edge of P is known.},
author = {Herbert Edelsbrunner and Skiena,Steven S},
journal = {SIAM Journal on Computing},
number = {5},
pages = {870 -- 882},
publisher = {SIAM},
title = {{Probing convex polygons with X-Rays}},
doi = {10.1137/0217054 },
volume = {17},
year = {1988},
}
@inproceedings{4096,
author = {Herbert Edelsbrunner},
pages = {201 -- 213},
publisher = {Springer},
title = {{Geometric structures in computational geometry}},
doi = {10.1007/3-540-19488-6_117},
volume = {317},
year = {1988},
}
@inproceedings{4097,
abstract = {Arrangements of curves in the plane are of fundamental significance in many problems of computational and combinatorial geometry (e.g. motion planning, algebraic cell decomposition, etc.). In this paper we study various topological and combinatorial properties of such arrangements under some mild assumptions on the shape of the curves, and develop basic tools for the construction, manipulation, and analysis of these arrangements. Our main results include a generalization of the zone theorem of [EOS], [CGL] to arrangements of curves (in which we show that the combinatorial complexity of the zone of a curve is nearly linear in the number of curves), and an application of (some weaker variant of) that theorem to obtain a nearly quadratic incremental algorithm for the construction of such arrangements.},
author = {Herbert Edelsbrunner and Guibas, Leonidas and Pach, János and Pollack, Richard and Seidel, Raimund and Sharir, Micha},
pages = {214 -- 229},
publisher = {Springer},
title = {{Arrangements of curves in the plane - topology, combinatorics, and algorithms}},
doi = {10.1007/3-540-19488-6_118},
volume = {317},
year = {1988},
}
@misc{4315,
author = {Coyne, Jerry A and Nicholas Barton},
booktitle = {Nature},
pages = {485 -- 486},
publisher = {Nature Publishing Group},
title = {{What do we know about speciation ?}},
doi = {10.1038/331485a0},
volume = {331},
year = {1988},
}
@misc{4316,
author = {Nicholas Barton and Jones, Steve},
booktitle = {Nature},
pages = {597 -- 597},
publisher = {Nature Publishing Group},
title = {{Molecular evolutionary genetics}},
doi = {10.1038/332597a0},
volume = {332},
year = {1988},
}
@inbook{4317,
author = {Nicholas Barton},
booktitle = {Analytical biogeography},
editor = {Myers, Alan A and Giller, Paul S},
pages = {185 -- 218},
publisher = {Chapman Hall},
title = {{Speciation}},
year = {1988},
}
@misc{4318,
author = {Nicholas Barton and Jones, Steve and Mallet, James L},
booktitle = {Nature},
pages = {13 -- 14},
publisher = {Nature Publishing Group},
title = {{No barriers to speciation}},
doi = {10.1038/336013a0},
volume = {336},
year = {1988},
}
@article{3655,
author = {Dallas, John F and Nicholas Barton and Dover, Gabriel A.},
journal = {Molecular Biology and Evolution},
number = {6},
pages = {660 -- 674},
publisher = {Oxford University Press},
title = {{Interracial rDNA variation in the grasshopper Podisma pedestris}},
volume = {5},
year = {1988},
}
@article{2521,
author = {Nishimura, Masaki and Ryuichi Shigemoto and Matsubayashi, K and Mimori, Y and Kameyama, Masakuni},
journal = {Clinical Neurology},
number = {11},
pages = {1441 -- 1444},
publisher = {Societas Neurologica Japonica},
title = {{Meningoencephalitis during the pre-icteric phase of hepatitis A - a case report}},
volume = {27},
year = {1987},
}
@book{3900,
abstract = {Computational geometry as an area of research in its own right emerged in the early seventies of this century. Right from the beginning, it was obvious that strong connections of various kinds exist to questions studied in the considerably older field of combinatorial geometry. For example, the combinatorial structure of a geometric problem usually decides which algorithmic method solves the problem most efficiently. Furthermore, the analysis of an algorithm often requires a great deal of combinatorial knowledge. As it turns out, however, the connection between the two research areas commonly referred to as computa tional geometry and combinatorial geometry is not as lop-sided as it appears. Indeed, the interest in computational issues in geometry gives a new and con structive direction to the combinatorial study of geometry. It is the intention of this book to demonstrate that computational and com binatorial investigations in geometry are doomed to profit from each other. To reach this goal, I designed this book to consist of three parts, acorn binatorial part, a computational part, and one that presents applications of the results of the first two parts. The choice of the topics covered in this book was guided by my attempt to describe the most fundamental algorithms in computational geometry that have an interesting combinatorial structure. In this early stage geometric transforms played an important role as they reveal connections between seemingly unrelated problems and thus help to structure the field.},
author = {Edelsbrunner, Herbert},
isbn = {9783540137221},
publisher = {Springer},
title = {{Algorithms in Combinatorial Geometry}},
volume = {10},
year = {1987},
}
@article{4094,
abstract = {The visibility graph of a finite set of line segments in the plane connects two endpoints u and v if and only if the straight line connection between u and v does not cross any line segment of the set. This article proves that 5n - 4 is a lower bound on the number of edges in the visibility graph of n nonintersecting line segments in the plane. This bound is tight.},
author = {Herbert Edelsbrunner and Shen, Xiaojun},
journal = {Information Processing Letters},
number = {2},
pages = {61 -- 64},
publisher = {Elsevier},
title = {{A tight lower bound on the size of visibility graphs}},
doi = {10.1016/0020-0190(87)90038-X},
volume = {26},
year = {1987},
}
@article{4095,
abstract = {he kth-order Voronoi diagram of a finite set of sites in the Euclidean plane E2 subdivides E2 into maximal regions such that all points within a given region have the same k nearest sites. Two versions of an algorithm are developed for constructing the kth-order Voronoi diagram of a set of n sites in O(n2 log n + k(n - k) log2 n) time, O(k(n - k)) storage, and in O(n2 + k(n - k) log2 n) time, O(n2) storage, respectively.},
author = {Chazelle, Bernard and Herbert Edelsbrunner},
journal = {IEEE Transactions on Computers},
number = {11},
pages = {1349 -- 1354},
publisher = {IEEE},
title = {{An improved algorithm for constructing kth-order Voronoi diagrams}},
doi = {10.1109/TC.1987.5009474},
volume = {36},
year = {1987},
}
@article{4100,
abstract = {This paper investigates the existence of linear space data structures for range searching. We examine thehomothetic range search problem, where a setS ofn points in the plane is to be preprocessed so that for any triangleT with sides parallel to three fixed directions the points ofS that lie inT can be computed efficiently. We also look atdomination searching in three dimensions. In this problem,S is a set ofn points inE 3 and the question is to retrieve all points ofS that are dominated by some query point. We describe linear space data structures for both problems. The query time is optimal in the first case and nearly optimal in the second.
},
author = {Chazelle, Bernard and Herbert Edelsbrunner},
journal = {Discrete & Computational Geometry},
number = {1},
pages = {113 -- 126},
publisher = {Springer},
title = {{Linear space data structures for two types of range search}},
doi = {10.1007/BF02187875},
volume = {2},
year = {1987},
}
@article{4101,
abstract = {In a number of recent papers, techniques from computational geometry (the field of algorithm design that deals with objects in multi-dimensional space) have been applied to some problems in the area of computer graphics. In this way, efficient solutions were obtained for the windowing problem that asks for those line segments in a planar set that lie in given window (range) and the moving problem that asks for the first line segment that comes into the window when moving the window in some direction. In this paper we show that also the zooming problem, which asks for the first line segment that comes into the window when we enlarge it, can be solved efficiently. This is done by repeatedly performing range queries with ranges of varying sizes. The obtained structure is dynamic and yields a query time of O(log2n) and an insertion and deletion time of O(log2n), where n is the number of line segments in the set. The amount of storage required is O(n log n). It is also shown that the technique of repeated range search can be used to solve several other problems efficiently.
},
author = {Herbert Edelsbrunner and Overmars, Mark H},
journal = {Information Processing Letters},
number = {6},
pages = {413 -- 417},
publisher = {Elsevier},
title = {{Zooming by repeated range detection}},
doi = {10.1016/0020-0190(87)90120-7},
volume = {24},
year = {1987},
}
@article{4102,
abstract = {Determining or counting geometric objects that intersect another geometric query object is at the core of algorithmic problems in a number of applied areas of computer science. This article presents a family of space-efficient data structures that realize sublinear query time for points, line segments, lines and polygons in the plane, and points, line segments, planes, and polyhedra in three dimensions.},
author = {Dobkin, David P and Herbert Edelsbrunner},
journal = {Journal of Algorithms},
number = {3},
pages = {348 -- 361},
publisher = {Academic Press},
title = {{Space searching for intersecting objects}},
doi = {10.1016/0196-6774(87)90015-0},
volume = {8},
year = {1987},
}
@article{4319,
abstract = {The grasshopper Podisma pedestris contains two chromosomal races, which differ by a Robertsonian fusion between the sex chromosome and an autosome, and which meet in a narrow hybrid zone in the Alpes Maritimes. DNA content variation across this hybrid zone was investigated by optical densitometry of Feulgen stained spermatids. Spermatids from males with the unfused sex chromosome stain more strongly than those from males with the fused chromosome. The difference between the karyotypes is greater in the centre of the hybrid zone, suggesting that it is not a pleiotropic effect of the fusion itself, but is due instead to differences at closely linked loci.},
author = {Westerman, Michael and Nicholas Barton and Hewitt, Godfrey M},
journal = {Heredity},
pages = {221 -- 228},
publisher = {Nature Publishing Group},
title = {{Differences in DNA content between two chromosomal races of the grasshopper Podisma pedestris}},
doi = {10.1038/hdy.1987.36},
volume = {58},
year = {1987},
}
@article{4320,
abstract = {Bosonic field theories may be formulated in terms of stochastic differential equations. The characteristic long term behaviour of these systems is a decay into the global minimum of their Hamiltonian. If local minima exist, the rate of this decay is determined by instanton effects. We calculate the decay rate and perform computer simulations on a 1 + 1 dimensional model to test the instanton approximation. We find the instanton approximations to be in very good agreement with the simulation results.
Copyright © 1987 Published by Elsevier B.V.},
author = {Rouhani, Shahin and Nicholas Barton},
journal = {Physica A},
number = {1-2},
pages = {220 -- 226},
publisher = {Elsevier},
title = {{Instantons and stochastic quantization}},
doi = {10.1016/0378-4371(87)90064-1},
volume = {143},
year = {1987},
}
@article{4322,
abstract = {A method is developed for calculating the probability of establishment of an allele which is favoured in some places, but not others, in a large subdivided population. This method is quite general, and could be used to calculate the chance that any system which is linear near an absorbing boundary will move away from that boundary. The results are applied to a population distributed along one dimension. Only mutants which arise within a distance σ/ √2s of the region in which they are favoured stand an appreciable chance of establishment. The net chance of establishment of mutations distributed randomly across the habitat will be decreased by gene flow if selection against them is sufficiently strong. However, if the mutations are only weakly deleterious outside some limited region, gene flow may increase the net chance of establishment.},
author = {Nicholas Barton},
journal = {Genetical Research},
number = {1},
pages = {35 -- 40},
publisher = {Cambridge University Press},
title = {{The probability of establishment of an advantageous mutation in a subdivided population}},
doi = {10.1017/S0016672300023314},
volume = {50},
year = {1987},
}
@inproceedings{3514,
abstract = {We consider the problem of obtaining sharp (nearly quadratic) bounds for the combinatorial complexity of the lower envelope (i.e. pointwise minimum) of a collection of n bivariate (or generally multi-variate) continuous and "simple" functions, and of designing efficient algorithms for the calculation of this envelope. This problem generalizes the well-studied univariate case (whose analysis is based on the theory of Davenport-Schinzel sequences), but appears to be much more difficult and still largely unsolved. It is a central problem that arises in many areas in computational and combinatorial geometry, and has numerous applications including generalized planar Voronoi diagrams, hidden surface elimination for intersecting surfaces, purely translational motion planning, finding common transversals of polyhedra, and more. In this abstract we provide several partial solutions and generalizations of this problem, and apply them to the problems mentioned above. The most significant of our results is that the lower envelope of n triangles in three dimensions has combinatorial complexity at most O(n2α(n)) (where α(n) is the extremely slowly growing inverse of Ackermann's function), that this bound is tight in the worst case, and that this envelope can be calculated in time O(n2α(n)).},
author = {Herbert Edelsbrunner and Pach, János and Schwartz, Jacob T and Sharir, Micha},
pages = {27 -- 37},
publisher = {IEEE},
title = {{On the lower envelope of bivariate functions and its applications}},
doi = {10.1109/SFCS.1987.44},
year = {1987},
}
@article{3656,
abstract = {We have analysed the role of sampling drift in inducing shifts between alternative adaptive peaks, in small and rapidly growing populations. Using a simple model of disruptive selection on a polygenic character, we calculate the net probabilityofapeakshift. If the growth rate is high, theprobabilityofashiftina growing population is insensitive to selection on the character. Assuming that the character is effectively neutral during the brief initial increase, we find that theprobabilityofapeakshift is given by theprobabilityof finding a standard normal variate greater than √2ΔV where ΔV is the reduction in additive genetic variance during the growth period. This result holds for arbitrary pattern of increase in size, provided that the rate of increase is high enough for selection to be negligible, and the character depends on a large number of loci. Comparing theprobabilityofpeakshiftsin founding populations with the rate ofshiftsin static and allopatric populations it appears that although strongly selected shifts are only likely to occur ina growing population, a static population is a more congenial setting for adaptive shifts.},
author = {Rouhani, Shahin and Nicholas Barton},
journal = {Journal of Theoretical Biology},
number = {1},
pages = {51 -- 62},
publisher = {Elsevier},
title = {{The probability of peak shifts in a founder population}},
doi = {10.1016/S0022-5193(87)80100-5},
volume = {126},
year = {1987},
}
@article{3657,
abstract = {Shifts between adaptive peaks, caused by sampling drift, are involved in both speciation and adaptation via Wright's “shiftingbalance.” We use techniques from statistical mechanics to calculate the rate of such transitions for apopulation in a single panmictic deme and for apopulation which is continuously distributed over one- and two-dimensional regions. This calculation applies in the limit where transitions are rare. Our results indicate that stochastic divergence is feasible despite free gene flow, provided that neighbourhood size is low enough. In two dimensions, the rate of transition depends primarily on neighbourhood size N and only weakly on selection pressure (≈sk exp(− cN)), where k is a number determined by the local population structure, in contrast with the exponential dependence on selection pressure in one dimension (≈exp(− cN √s)) or in a single deme (≈exp(− cNs)). Our calculations agree with simulations of a single deme and a one-dimensional population.},
author = {Rouhani, Shahin and Nicholas Barton},
journal = {Theoretical Population Biology},
number = {3},
pages = {465 -- 492},
publisher = {Academic Press},
title = {{Speciation and the "shifting balance" in a continuous population}},
doi = {10.1016/0040-5809(87)90016-5},
volume = {31},
year = {1987},
}
@article{3658,
abstract = {Females of the grasshopper Podisima pedestris were collected from the middle of a hybrid zone between two chromosomal races in the Alpes Maritimes. They had already mated in the field, and could therefore lay fertilised eggs in the laboratory. The embryos were karyotyped, and found to contain an excess of chromosomal homozygotes. No evidence of assortative mating was found from copulating pairs taken in the field. The excess appears to have been caused by a combination of multiple insemination and assortative fertilisation. The genetics of the assortment, and the implications for the evolution of reproductive isolation are discussed.},
author = {Hewitt, Godfrey M and Nichols, R. A. and Nicholas Barton},
journal = {Heredity},
number = {3},
pages = {457 -- 466},
publisher = {Nature Publishing Group},
title = {{Homogamy in a hybrid zone in the alpine grasshopper Podisma pedestris}},
doi = {10.1038/hdy.1987.156},
volume = {59},
year = {1987},
}