@article{4021,
abstract = {A homeomorphism from R-2 to itself distorts metric quantities, such as distance and area. We describe an algorithm that constructs homeomorphisms with prescribed area distortion. Such homeomorphisms can be used to generate cartograms, which are geographic maps purposely distorted so their area distributions reflects a variable different from area, as for example population density. The algorithm generates the homeomorphism through a sequence of local piecewise linear homeomorphic changes. Sample results produced by the preliminary implementation of the method are included.},
author = {Herbert Edelsbrunner and Waupotitsch, Roman},
journal = {Computational Geometry: Theory and Applications},
number = {5-6},
pages = {343 -- 360},
publisher = {Elsevier},
title = {{A combinatorial approach to cartograms}},
doi = {387910.1016/S0925-7721(96)00006-5},
volume = {7},
year = {1997},
}
@article{4285,
abstract = {One of the oldest hypotheses for the advantage of recombination is that recombination allo rvs beneficial mutations that arise in different individuals to be placed together on the same chromosome. Unless recombination occurs, one of the beneficial alleles is doomed to extinction, slowing the rate at which adaptive mutations are incorporated within a population. We model the effects of a modifier of recombination on the fixation probability of beneficial mutations when beneficial alleles are segregating at other loci. We find that modifier alleles that increase recombination do increase the fixation probability of beneficial mutants and subsequently hitchhike along as the mutants rise in frequency. The strength of selection favoring a modifier that increases recombination is proportional to lambda(2)S delta r/r when linkage is tight and lambda(2)S(3) delta r/N when linkage is loose, where lambda is the beneficial mutation rate per genome per generation throughout a population of size N, S is the average mutant effect, r is the average recombination rate, and delta ris the amount that recombination is modified. We conclude that selection for recombination will be substantial only if there is tight linkage within the genome or if many loci are subject to directional selection as during periods of rapid evolutionary change.},
author = {Otto, Sarah P and Nicholas Barton},
journal = {Genetics},
number = {2},
pages = {879 -- 906},
publisher = {Genetics Society of America},
title = {{The evolution of recombination: Removing the limits to natural selection}},
volume = {147},
year = {1997},
}
@inproceedings{4494,
abstract = {A hybrid system consists of a collection of digital programs that interact with each other and with an analog environment. Examples of hybrid systems include medical equipment, manufacturing controllers, automotive controllers, and robots. The formal analysis of the mixed digital-analog nature of these systems requires a model that incorporates the discrete behavior of computer programs with the continuous behavior of environment variables, such as temperature and pressure. Hybrid automata capture both types of behavior by combining finite automata with differential inclusions (i.e. differential inequalities). HyTech is a symbolic model checker for linear hybrid automata, an expressive, yet automatically analyzable, subclass of hybrid automata. A key feature of HyTech is its ability to perform parametric analysis, i.e. to determine the values of design parameters for which a linear hybrid automaton satisfies a temporal requirement.},
author = {Thomas Henzinger and Ho, Pei-Hsin and Wong-Toi, Howard},
pages = {460 -- 463},
publisher = {Springer},
title = {{HyTech: A model checker for hybrid systems}},
doi = {10.1007/3-540-63166-6_48},
volume = {1254},
year = {1997},
}
@inproceedings{4583,
abstract = {In a trace-based world, the modular specification, verification, and control of live systems require each module to be receptive; that is, each module must be able to meet its liveness assumptions no matter how the other modules behave. In a real-time world, liveness is automatically present in the form of diverging time. The receptiveness condition, then, translates to the requirement that a module must be able to let time diverge no matter how the environment behaves. We study the receptiveness condition for real-time systems by extending the model of reactive modules to timed and hybrid modules. We define the receptiveness of such a module as the existence of a winning strategy in a game of the module against its environment. By solving the game on region graphs, we present an (optimal) Exptime algorithm for checking the receptiveness of prepositional timed modules. By giving a fixpoint characterization of the game, we present a symbolic procedure for checking the receptiveness of linear hybrid modules. Finally, we present an assume-guarantee principle for reasoning about timed and hybrid modules, and a method for synthesizing receptive controllers of timed and hybrid modules.},
author = {Alur, Rajeev and Thomas Henzinger},
pages = {74 -- 88},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
title = {{Modularity for timed and hybrid systems}},
doi = {10.1007/3-540-63141-0_6},
volume = {1243},
year = {1997},
}
@inproceedings{4608,
abstract = {State space explosion is a fundamental obstacle in formal verification of designs and protocols. Several techniques for combating this problem have emerged in the past few years, among which two are significant: partial-order reductions and symbolic state space search. In asynchronous systems, interleavings of independent concurrent events are equivalent, and only a representative interleaving needs to be explored to verify local properties. Partial-order methods exploit this redundancy and visit only a subset of the reachable states. Symbolic techniques, on the other hand, capture the transition relation of a system and the set of reachable states as boolean functions. In many cases, these functions can be represented compactly using binary decision diagrams (BDDs). Traditionally, the two techniques have been practiced by two different schools—partial-order methods with enumerative depth-first search for the analysis of asynchronous network protocols, and symbolic breadth-first search for the analysis of synchronous hardware designs. We combine both approaches and develop a method for using partial-order reduction techniques in symbolic BDD-based invariant checking. We present theoretical results to prove the correctness of the method, and experimental results to demonstrate its efficacy.},
author = {Alur, Rajeev and Brayton, Robert K and Thomas Henzinger and Qadeer,Shaz and Rajamani, Sriram K},
pages = {340 -- 351},
publisher = {Springer},
title = {{Partial-order reduction in symbolic state-space exploration}},
doi = {10.1007/3-540-63166-6_34},
volume = {1254},
year = {1997},
}
@article{2576,
abstract = {Primary afferent neurons containing substance P (SP) are apparently implicated in the transmission of noxious information from the periphery to the central nervous system, and SP released from primary afferent neurons acts on second-order neurons with the SP receptor (SPR). In the rat, nociceptive information reached the hypothalamus not only through indirect pathways but also directly through trigeminohypothalamic and spinohypothalamic pathways. Thus, in the present study, the distribution pattern of trigeminohypothalamic and spinohypothalamic tract neurons showing SPR-like immunoreactivity (SPR-LI) was examined in the rat by a retrograde tract-tracing method combined with immunofluorescence histochemistry for SPR. A substantial number of trigeminal and spinal neurons with SPR-LI were retrogradely labeled with Fluore-Gold (FG) injected into the hypothalamic regions. These neurons were distributed mainly in lamina I of the medullary and spinal dorsal horns, lateral spinal nucleus, regions around the central canal of the spinal cord, and the lateral aspect of the deep part of the spinal dorsal horn. A number of SPR-LI neurons in the spinal parasympathetic nucleus were labeled with FG injected into the area around the paraventricular hypothalamic nucleus. Some SPR-LI neurons in the lateral spinal nucleus and the lateral aspect of the deep part of the spinal dorsal horn were also labeled with FG injected into the septal region. On the basis of the distribution areas of SPR-LI trigeminal and spinal neurons projecting to the hypothalamic and septal regions, it is likely that these neurons are involved in the transmission of somatic and/or visceral noxious information.},
author = {Li, Jin-Lian and Kaneko, Takeshi and Ryuichi Shigemoto and Mizuno, Noboru},
journal = {Journal of Comparative Neurology},
number = {4},
pages = {508 -- 521},
publisher = {Wiley-Blackwell},
title = {{Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat}},
doi = {10.1002/(SICI)1096-9861(19970224)378:4<508::AID-CNE6>3.0.CO;2-6},
volume = {378},
year = {1997},
}
@article{3632,
abstract = {An important but controversial class of hypotheses concerning the evolution of female preferences for extreme male mating displays involves 'indirect selection.' Even in the absence of direct fitness effects, preference for males with high overall fitness can spread via a genetic correlation that develops between preference alleles and high fitness genotypes. Here we develop a quantitative expression for the force of indirect selection that (i) applies to any female mating behavior, (ii) is relatively insensitive to the underlying genetics, and (iii) is based on measurable quantities. In conjunction with the limited data now available, it suggests that the evolutionary force generated by indirect selection on preferences is weak in absolute terms. This finding raises the possibility that direct selection on preference genes may often be more important than indirect selection, but more data on the quantities identified by our model and on direct selection are needed to decide the question.},
author = {Kirkpatrick, Mark and Nicholas Barton},
journal = {PNAS},
number = {4},
pages = {1282 -- 1286},
publisher = {National Academy of Sciences},
title = {{The strength of indirect selection on female mating preferences}},
doi = {10.1073/pnas.94.4.1282},
volume = {94},
year = {1997},
}
@article{3485,
abstract = {1. GABAergic interneurones differ from glutamatergic principal neurones in their ability to discharge high-frequency trains of action potentials without adaptation. To examine whether Na+ channel gating contributed to these differences, Na+ currents were recorded in nucleated patches from interneurones (dentate gyrus basket cells, BCs) and principal neurones (CA1 pyramidal cells, PCs) of rat hippocampal slices. 2. The voltage dependence of Na+ channel activation in BCs and PCs was similar. The slope factors of the activation curves, fitted with Boltzmann functions raised to the third power, were 11.5 and 11.8 mV, and the mid-point potentials were -25.1 and -23.9 mV, respectively. 3. Whereas the time course of Na+ channel activation (-30 to +40 mV) was similar, the deactivation kinetics (-100 to -40 mV) were faster in BCs than in PCs (tail current decay time constants, 0.13 and 0.20 ms, respectively, at -40 mV). 4. Na+ channels in BCs and PCs differed in the voltage dependence of inactivation. The slope factors of the steady-state inactivation curves fitted with Boltzmann functions were 6.7 and 10.7 mV, and the mid-point potentials were -58.3 and -62.9 mV, respectively. 5. The onset of Na+ channel inactivation at -55 mV was slower in BC's than in PCs; the inactivation time constants were 18.6 and 9.3 ms, respectively. At more positive potentials the differences in inactivation onset were smaller. 6. The time course of recovery of Na+ channels from inactivation induced by a 30 ms pulse was fast and mono-exponential (τ = 2.0 ms at -120 mV) in BCs, whereas it was slower and biexponential in PCs (τ1 = 2.0 ms and τ2 = 133 ms; amplitude contribution of the slow component, 15%). 7. We conclude that Na+ channels of BCs and PCs differ in gating properties that contribute to the characteristic action potential patterns of the two types of neurones.},
author = {Martina, Marco and Peter Jonas},
journal = {Journal of Physiology},
number = {3},
pages = {593 -- 603},
publisher = {Wiley-Blackwell},
title = {{Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus}},
doi = {10.1111/j.1469-7793.1997.593ba.x},
volume = {505},
year = {1997},
}
@article{4022,
abstract = {A halving hyperplane of a set S of n points in R(d) contains d affinely independent points of S so that equally many of the points off the hyperplane lie in each of the two half-spaces. We prove bounds on the number of halving hyperplanes under the condition that the ratio of largest over smallest distance between any two points is at most delta n(1/d), delta some constant. Such a set S is called dense. In d = 2 dimensions the number of halving lines for a dense set can be as much as Omega(n log n), and it cannot exceed O (n(5/4)/log* n). The upper bound improves over the current best bound of O (n(3/2)/log* n) which holds more generally without any density assumption. In d = 3 dimensions we show that O (n(7/3)) is an upper bound on the number of halving planes for a dense set, The proof is based on a metric argument that can be extended to d greater than or equal to 4 dimensions, where it leads to O (n(d-2/d)) as an upper bound for the number of halving hyperplanes.},
author = {Herbert Edelsbrunner and Valtr, Pavel and Welzl, Emo},
journal = {Discrete & Computational Geometry},
number = {3},
pages = {243 -- 255},
publisher = {Springer},
title = {{Cutting dense point sets in half}},
doi = {10.1007/PL00009291},
volume = {17},
year = {1997},
}
@article{4286,
abstract = {A local barrier to gene flow will delay the spread of an advantageous allele. Exact calculations for the deterministic case show that an allele that is favorable when rare is delayed very little even by a strong barrier; its spread is allowed by a time proportional to log((B/σ)√2S)/S, where B is the barrier strength, σ the dispersal range, and fitnesses are 1:1 + S:1 + 2S. However, when there is selection against heterozytes, such that the allele cannot increase from low frequency, a barrier can cause a much greater delay. If gene flow is reduced below a critical value, spread is entirely prevented. Stochastic simulations show that with additive selection, random drift slows down the spread of the allele, below the deterministic speed of σ√2S. The delay to the advance of an advantageous allele caused by a strong barrier can be substantially increased by random drift and increases with B/(2Sρσ2) in a one-dimensional habitat of density ρ. However, with selection against heterozygotes, drift can facilitate the spread and can free an allele that would otherwise be trapped indefinitely by a strong barrier. We discuss the implications of these results for the evolution of chromosome rearrangements.},
author = {Piálek, Jaroslav and Nicholas Barton},
journal = {Genetics},
number = {2},
pages = {493 -- 504},
publisher = {Genetics Society of America},
title = {{The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes}},
volume = {145},
year = {1997},
}
@inbook{4293,
abstract = {Natural populations differ from the simplest models in ways which can significantly affect their evolution. Real populations are rarely all of the same size; the rates of migration into and out of populations vary in space and time; some populations go extinct, and new ones are established, while all populations fluctuate in size. Furthermore, the genetic properties of real species are not like those assumed in simple models. Alleles are exposed to a wide variety of selection mutation rarely creates novel genotypes with each mutation event, generations overlap, and environments vary from place to place. Evolution in a metapopulation can be substantially different from the predictions of single-population models and, indeed, very different from the simplest models of subdivided species.},
author = {Nicholas Barton and Whitlock, Michael},
booktitle = {Metapopulation Biology},
pages = {183 -- 210},
publisher = {Academic Press},
title = {{The evolution of metapopulations}},
doi = {10.1016/B978-012323445-2/50012-2},
year = {1997},
}
@inproceedings{4438,
abstract = {In temporal-logic model checking, we verify the correctness of a program with respect to a desired behavior by checking whether a structure that models the program satisfies a temporal-logic formula that specifies the behavior. The model-checking problem for the branching-time temporal logic CTL can be solved in linear running time, and model-checking tools for CTL are used successfully in industrial applications. The development of programs that must meet rigid real-time constraints has brought with it a need for real-time temporal logics that enable quantitative reference to time. Early research on real-time temporal logics uses the discrete domain of the integers to model time. Present research on real-time temporal logics focuses on continuous time and uses the dense domain of the reals to model time. There, model checking becomes significantly more complicated. For example, the model-checking problem for TCTL, a continuous-time extension of the logic CTL, is PSPACE-complete.
In this paper we suggest a reduction from TCTL model checking to CTL model checking. The contribution of such a reduction is twofold. Theoretically, while it has long been known that model-checking methods for untimed temporal logics can be extended quite easily to handle discrete time, it was not clear whether and how untimed methods can handle the reset quantifier of TCTL, which resets a realvalued clock. Practically, our reduction enables anyone who has a tool for CTL model checking to use it for TCTL model checking. The TCTL model-checking algorithm that follows from our reduction is in PSPACE, matching the known bound for this problem. In addition, it enjoys the wide distribution of CTL model-checking tools and the extensive and fruitful research efforts and heuristics that have been put into these tools.},
author = {Thomas Henzinger and Kupferman, Orna},
pages = {48 -- 62},
publisher = {Springer},
title = {{From quantity to quality}},
doi = { 10.1007/BFb0014712},
volume = {1201},
year = {1997},
}
@article{4584,
abstract = {This paper introduces, gently but rigorously, the clock approach to real-time programming. We present with mathematical precision, assuming no prerequisites other than familiarity with logical and programming notations, the concepts that are necessary for understanding, writing, and executing clock programs. In keeping with an expository style, all references are clustered in bibliographic remarks at the end of each section. The first appendix presents proof rules for verifying temporal properties of clock programs. The second appendix points to selected literature on formal methods and tools for programming with clocks. In particular, the timed automaton, which is a finite-state machine equipped with clocks, has become a standard paradigm for real-time model checking; it underlies the tools HyTech, Kronos, and Uppaal, which are discussed elsewhere in this volume.},
author = {Alur, Rajeev and Thomas Henzinger},
journal = {Software Tools For Technology Transfer},
number = {1-2},
pages = {86 -- 109},
publisher = {Springer},
title = {{Real-time system = discrete system + clock variables}},
doi = {10.1007/s100090050007},
volume = {1},
year = {1997},
}
@inproceedings{4609,
abstract = {Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by system moves; branching-time temporal logic allows explicit existential and universal quantification over all paths. We introduce a third, more general variety of temporal logic: alternating-time temporal logic offers selective quantification over those paths that are possible outcomes of games, such as the game in which the system and the environment alternate moves. While linear-time and branching-time logics are natural specification languages for closed systems, alternating-time logics are natural specification languages for open systems. For example, by preceding the temporal operator “eventually” with a selective path quantifier, we can specify that in the game between the system and the environment, the system has a strategy to reach a certain state. Also the problems of receptiveness, realizability, and controllability can be formulated as model-checking problems for alternating-time formulas},
author = {Alur, Rajeev and Thomas Henzinger and Kupferman, Orna},
pages = {100 -- 109},
publisher = {IEEE},
title = {{Alternating-time temporal logic}},
doi = { 10.1109/SFCS.1997.646098 },
year = {1997},
}
@article{2577,
abstract = {The cloned cDNA for rat prostacyclin synthase was found to contain a 1503-bp open reading frame which encoded a 501-amino acid protein sharing 84% identity with the human enzyme. RNA blot analysis revealed that the rat prostacyclin synthase mRNA, as a single species of 2.1 kb, is expressed abundantly in the aorta and uterus. High levels of expression were also observed in the stomach, lung, heart, testis, liver, and skeletal muscle. Low but significant expression was also seen in the brain and kidney. Furthermore, the regional distribution and cellular localization of prostacyclin synthase mRNA were examined by in situ hybridization analysis of rat tissue sections. The definitive signals for the mRNA were localized in smooth muscle cells of the arteries, bronchi and uterus, and in the cells of the fibrous tunic surrounding the seminiferous tubules, which are characterized as smooth muscle cells. Besides smooth muscle cells, signal were also detected in the fibroblasts of the heart myocardium, lung parenchyma cells and kidney inner medulla tubules and interstitial cells.},
author = {Tone, Yoshinori and Inoue, Hiroyasu and Hara, Shuntaro and Yokoyama, Chieko and Hatae, Toshihisa and Oida, Hiroji and Narumiya, Shuh and Ryuichi Shigemoto and Yukawa, Susumu and Tanabe, Tadashi},
journal = {European Journal of Cell Biology},
number = {3},
pages = {268 -- 277},
publisher = {Elsevier},
title = {{The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase}},
volume = {72},
year = {1997},
}
@article{2729,
abstract = {We give the leading order semiclassical asymptotics for the sum of the negative eigenvalues of the Pauli operator (in dimension two and three) with a strong non-homogeneous magnetic field. As in [LSY-II] for homogeneous field, this result can be used to prove that the magnetic Thomas-Fermi theory gives the leading order ground state energy of large atoms. We develop a new localization scheme well suited to the anisotropic character of the strong magnetic field. We also use the basic Lieb-Thirring estimate obtained in our companion paper [ES-I].},
author = {László Erdös and Solovej, Jan P},
journal = {Communications in Mathematical Physics},
number = {3},
pages = {599 -- 656},
publisher = {Springer},
title = {{Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates}},
doi = {10.1007/s002200050181},
volume = {188},
year = {1997},
}
@article{3633,
abstract = {Gene flow from the center of a species' range can stymie adaptation at the periphery and prevent the range from expanding outward. We study this process using simple models that track both demography and the evolution of a quantitative trait in a population that is continuously distributed in space. Stabilizing selection acts on the trait and favors an optimum phenotype that changes linearly across the habitat. One of three outcomes is possible: the species will become extinct, expand to fill all of the available habitat, or be confined to a limited range in which it is significantly adapted to allow population growth. When the environment changes rapidly in space, increased migration inhibits local adaptation and so decreases the species' total population size. Gene flow can cause enough maladaptation that the peripheral half of a species' range acts as an demographic sink. The trait's genetic variance has little effect on species persistence or the size of the range when gene flow is sufficiently strong to keep population densities far below the carrying capacity throughout the range, but it can increase the range width and population size of an abundant species. Under some conditions, a small parameter change can dramatically shift the balance between gene flow and local adaptation, allowing a species with a limited range to suddenly expand to fill all the available habitat.},
author = {Kirkpatrick, Mark and Nicholas Barton},
journal = {American Naturalist},
number = {1},
pages = {1 -- 23},
publisher = {University of Chicago Press},
title = {{Evolution of a species' range}},
doi = {10.1086/286054},
volume = {150},
year = {1997},
}
@article{3486,
abstract = {1. Dendritic patch-clamp recordings were obtained from mitral cells in rat olfactory bulb slices, up to 350 μm from the soma. Simultaneous dendritic and somatic whole-cell recordings indicated that action potentials (APs) evoked by somatic or dendritic current injection were initiated near the soma. Both the large amplitude (100.7 ± 1.1 mV) and the short duration (1.38 ± 0.07 ms) of the AP were maintained as the AP propagated back into the primary mitral cell dendrites. 2. Outside-out patches isolated from mitral cell dendrites contained voltage-gated Na+ channels (peak conductance density, 90 pS μm-2 at -10 mV). When an AP was used as a somatic voltage-clamp command in the presence of 1 μM tetrodotoxin (TTX), the amplitude of the dendritic potential was attenuated to 48 ± 14 mV. This shows that dendritic Na+ channels support the active back-propagation of APs. 3. Dendritic patches contained voltage-gated K+ channels with high density (conductance density, 513 pS μm-2 at 30 mV. Dendritic K+ currents were reduced to 35% by 1 mM external tetraethylammonium chloride (TEACl). When an AP was used as a somatic voltage clamp command in the presence of TEACl, the dendritic potential was markedly prolonged. This indicates that dendritic K+ channels mediate the fast repolarization of dendritic APs. 4. We conclude that voltage gated Na+ and K+ channels support dendritic APs with large amplitudes and short durations that may trigger fast transmitter release at dendrodendritic synapses in the olfactory bulb.},
author = {Bischofberger, Joseph and Peter Jonas},
journal = {Journal of Physiology},
number = {Pt 2},
pages = {359 -- 365},
publisher = {Wiley-Blackwell},
title = {{Action potential propagation into the presynaptic dendrites of rat mitral cells}},
doi = {10.1111/j.1469-7793.1997.359be.x},
volume = {504},
year = {1997},
}
@article{4023,
abstract = {Let B be a finite pseudodisk collection in the plane. By the principle of inclusion-exclusion, the area or any other measure of the union is [GRAPHICS] We show the existence of a two-dimensional abstract simplicial complex, X subset of or equal to 2(B), so the above relation holds even if X is substituted for 2(B). In addition, X can be embedded in R(2) SO its underlying space is homotopy equivalent to int Boolean OR B, and the frontier of X is isomorphic to the nerve of the set of boundary contributions.},
author = {Herbert Edelsbrunner and Ramos, Edgar A},
journal = {Discrete & Computational Geometry},
number = {3},
pages = {287 -- 306},
publisher = {Springer},
title = {{Inclusion-exclusion complexes for pseudodisk collections}},
doi = {10.1007/PL00009295},
volume = {17},
year = {1997},
}
@article{4174,
abstract = {The epiphysial region of the dorsal diencephalon is the first site at which neurogenesis occurs in the roof of the zebrafish forebrain. We show that the homeobox containing gene floating head (flh) is required for neurogenesis to proceed in the epiphysis. In flh(-) embryos, the first few epiphysial neurons are generated, but beyond the 18 somite stage, neuronal production ceases. In contrast, in masterblind(-) (mbl(-)) embryos, epiphysial neurons are generated throughout the dorsal forebrain. We show that mbl is required to prevent the expression of flh in dorsal forebrain cells rostral to the epiphysis. Furthermore, epiphysial neurons are not ectopically induced in mbl(-)/flh(-) embryos, demonstrating that the epiphysial phenotype of mbl(-) embryos is mediated by ectopic Flh activity. We propose a role for Flh in linking the signaling pathways that regulate regional patterning to the signaling pathways that regulate neurogenesis.},
author = {Masai, Ichiro and Heisenberg, Carl-Philipp and Barth, K Anukampa and Macdonald, Rachel E and Adamek, Sylwia and Wilson, Stephen W},
journal = {Neuron},
number = {1},
pages = {43 -- 57},
publisher = {Elsevier},
title = {{Floating head and masterblind regulate neuronal patterning in the roof of the forebrain}},
doi = {10.1016/S0896-6273(01)80045-3},
volume = {18},
year = {1997},
}