TY - CONF
AB - The edge-insertion paradigm improves a triangulation of a finite point set in R2
iteratively by adding a new edge, deleting intersecting old edges, and retriangulating
the resulting two polygonal regions. After presenting an abstract view of the paradigm,
this paper shows that it can be used to obtain polynomial time algorithms for several
types of optimal triangulations.
AU - Bern, Marshall
AU - Herbert Edelsbrunner
AU - Eppstein, David
AU - Mitchell, Stephen
AU - Tan, Tiow Seng
ID - 4049
TI - Edge insertion for optimal triangulations
VL - 583
ER -
TY - JOUR
AU - Herbert Edelsbrunner
ID - 4050
IS - 1
JF - Discrete & Computational Geometry
TI - Guest editor's foreword
VL - 8
ER -
TY - JOUR
AB - We show that the maximum number of edges bounding m faces in an arrangement of n line segments in the plane is O(m2/3n2/3+nα(n)+nlog m). This improves a previous upper bound of Edelsbrunner et al. [5] and almost matches the best known lower bound which is Ω(m2/3n2/3+nα(n)). In addition, we show that the number of edges bounding any m faces in an arrangement of n line segments with a total of t intersecting pairs is O(m2/3t1/3+nα(t/n)+nmin{log m,log t/n}), almost matching the lower bound of Ω(m2/3t1/3+nα(t/n)) demonstrated in this paper.
AU - Aronov, Boris
AU - Herbert Edelsbrunner
AU - Guibas, Leonidas J
AU - Sharir, Micha
ID - 4053
IS - 3
JF - Combinatorica
TI - The number of edges of many faces in a line segment arrangement
VL - 12
ER -
TY - JOUR
AB - The effects of tri-iodothyronine (T3), which are known to affect cerebellar development, were tested on neuronal survival and differentiation of cultured cerebellar granule neurons. T3 in physiological concentrations increased both granule neuron survival after three days in culture and synaptic vesicle protein formation, as shown by immunostaining with antibodies against synaptophysin. Likewise, T3 increased the mRNA level for synapsin(I), but not that for GAP43 in granule neurons. Antibodies against microtubule associated protein Tau, which is expressed in developing neurites, showed that T3 also enhanced neurite formation.
AU - Heisenberg, Carl-Philipp J
AU - Thoenen, Hans
AU - Lindholm, Dan
ID - 4195
IS - 8
JF - Neuroreport
TI - Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons
VL - 3
ER -
TY - JOUR
AB - The common shrew (Sorex araneus) is subdivided into several karyotypic races in Britain. Two of these races meet near Oxford to form the "Oxford-Hermitage" hybrid zone. We present a model which describes this system as a "tension zone," i.e., a set of clines maintained by a balance between dispersal and selection against chromosomal heterozygotes. The Oxford and Hermitage races differ by Robertsonian fusions with monobrachial homology (kq, no versus ko), and so F1 hybrids between them would have low fertility. However, the acrocentric karyotype is found at high frequency within the hybrid zone, so that complex Robertsonian heterozygotes (kq no/q ko n) are replaced by more fertile combinations, such as (kq no/k q n o). This suggests that the hybrid zone has been modified so as to increase hybrid fitness. Mathematical analysis and simulation show that, if selection against complex heterozygotes is sufficiently strong relative to selection against simple heterozygotes, acrocentrics increase, and displace the clines for kq and no from the cline for ko. Superimposed on this separation is a tendency for the hybrid zone to move m favor of the Oxford (kq no) race. We compare the model with estimates of linkage disequilibrium and cline shape made from field data.
AU - Hatfield, Todd
AU - Nicholas Barton
AU - Searle, Jeremy B
ID - 4305
IS - 4
JF - Evolution; International Journal of Organic Evolution
TI - A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus)
VL - 46
ER -
TY - GEN
AU - Nicholas Barton
AU - Goldman, Nick G
ID - 4306
T2 - Nature
TI - Genetics and geography
VL - 357
ER -
TY - CHAP
AU - Nicholas Barton
ED - Stenseth, Nils C
ED - Lidicker, William Z
ID - 4307
T2 - Animal dispersal: small mammals as a model
TI - The genetic consequences of dispersal
ER -
TY - JOUR
AU - Nicholas Barton
ID - 4308
IS - 2
JF - Evolution; International Journal of Organic Evolution
TI - On the spread of new gene combinations in the third phase of Wright's shifting balance
VL - 46
ER -
TY - CONF
AU - Thomas Henzinger
AU - Manna, Zohar
AU - Pnueli,Amir
ID - 4504
TI - What good are digital clocks?
VL - 623
ER -
TY - CONF
AB - We describe finite-state programs over real-numbered time in a guarded-command language with real-valued clocks or, equivalently, as finite automata with real-valued clocks. Model checking answers the question which states of a real-time program satisfy a branching-time specification (given in an extension of CTL with clock variables). We develop an algorithm that computes this set of states symbolically as a fixpoint of a functional on state predicates, without constructing the state space.
For this purpose, we introduce a mu-calculus on computation trees over real-numbered time. Unfortunately, many standard program properties, such as response for all nonzeno execution sequences (during which time diverges), cannot be characterized by fixpoints: we show that the expressiveness of the timed mu-calculus is incomparable to the expressiveness of timed CTL. Fortunately, this result does not impair the symbolic verification of "implementable" real-time programs--those whose safety constraints are machine-closed with respect to diverging time and whose fairness constraints are restricted to finite upper bounds on clock values. All timed CTL properties of such programs are shown to be computable as finitely approximable fixpoints in a simple decidable theory.
AU - Thomas Henzinger
AU - Nicollin, Xavier
AU - Sifakis, Joseph
AU - Yovine, Sergio
ID - 4505
TI - Symbolic model checking for real-time systems
ER -