[{"doi":"10.1007/PL00009412","year":"1999","title":"Deformable smooth surface design","volume":21,"publist_id":"2115","date_updated":"2022-09-06T09:02:23Z","article_processing_charge":"No","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","oa_version":"None","quality_controlled":"1","_id":"4014","publication_identifier":{"issn":["0179-5376"]},"extern":"1","publication_status":"published","citation":{"ama":"Edelsbrunner H. Deformable smooth surface design. Discrete & Computational Geometry. 1999;21(1):87-115. doi:10.1007/PL00009412","mla":"Edelsbrunner, Herbert. “Deformable Smooth Surface Design.” Discrete & Computational Geometry, vol. 21, no. 1, Springer, 1999, pp. 87–115, doi:10.1007/PL00009412.","ista":"Edelsbrunner H. 1999. Deformable smooth surface design. Discrete & Computational Geometry. 21(1), 87–115.","short":"H. Edelsbrunner, Discrete & Computational Geometry 21 (1999) 87–115.","apa":"Edelsbrunner, H. (1999). Deformable smooth surface design. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/PL00009412","ieee":"H. Edelsbrunner, “Deformable smooth surface design,” Discrete & Computational Geometry, vol. 21, no. 1. Springer, pp. 87–115, 1999.","chicago":"Edelsbrunner, Herbert. “Deformable Smooth Surface Design.” Discrete & Computational Geometry. Springer, 1999. https://doi.org/10.1007/PL00009412."},"author":[{"full_name":"Edelsbrunner, Herbert","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87"}],"abstract":[{"lang":"eng","text":"A new paradigm for designing smooth surfaces is described. A finite set of points with weights specifies a closed surface in space referred to as skin. It consists of one or more components, each tangent continuous and free of self-intersections and intersections with other components. The skin varies continuously with the weights and locations of the points, and the variation includes the possibility of a topology change facilitated by the violation of tangent continuity at a single point in space and time. Applications of the skin to molecular modeling and to geometric deformation are discussed."}],"date_created":"2018-12-11T12:06:26Z","date_published":"1999-01-01T00:00:00Z","article_type":"original","month":"01","language":[{"iso":"eng"}],"publisher":"Springer","scopus_import":"1","page":"87 - 115","issue":"1","publication":"Discrete & Computational Geometry","type":"journal_article","day":"01","status":"public","intvolume":" 21"},{"year":"1999","doi":"10.1242/dev.126.10.2129","title":"Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development","external_id":{"pmid":["10207138"]},"date_updated":"2022-09-06T08:38:01Z","volume":126,"publist_id":"1914","article_processing_charge":"No","acknowledgement":"We thank Corinne Houart, Michael Brand and the late Nigel Holder for comments and advice on this study, many colleagues for providing probes used in this analysis, other members of our laboratories for suggestions throughout the course of the work and Michael Brand, Jörg Rauch and Pascal Haffter for providing data prior to publication. We also would like to thank Christiane Nüsslein-Volhard in whose laboratory the mutant described in this study was initially isolated.\r\nThis study was supported by grants from The Wellcome Trust and\r\nBBSRC. C. P. H. was supported by Fellowships from EMBO and the\r\nEC, and S. W. W. is a Wellcome Trust Senior Research Fellow.\r\n","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","quality_controlled":"1","oa_version":"None","_id":"4204","pmid":1,"extern":"1","publication_identifier":{"issn":["0950-1991"]},"publication_status":"published","citation":{"ieee":"C.-P. J. Heisenberg, C. Brennan, and S. Wilson, “Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development,” Development, vol. 126, no. 10. Company of Biologists, pp. 2129–2140, 1999.","apa":"Heisenberg, C.-P. J., Brennan, C., & Wilson, S. (1999). Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development. Development. Company of Biologists. https://doi.org/10.1242/dev.126.10.2129","chicago":"Heisenberg, Carl-Philipp J, Caroline Brennan, and Stephen Wilson. “Zebrafish Aussicht Mutant Embryos Exhibit Widespread Overexpression of Ace (Fgf8) and Coincident Defects in CNS Development.” Development. Company of Biologists, 1999. https://doi.org/10.1242/dev.126.10.2129.","mla":"Heisenberg, Carl-Philipp J., et al. “Zebrafish Aussicht Mutant Embryos Exhibit Widespread Overexpression of Ace (Fgf8) and Coincident Defects in CNS Development.” Development, vol. 126, no. 10, Company of Biologists, 1999, pp. 2129–40, doi:10.1242/dev.126.10.2129.","ama":"Heisenberg C-PJ, Brennan C, Wilson S. Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development. Development. 1999;126(10):2129-2140. doi:10.1242/dev.126.10.2129","ista":"Heisenberg C-PJ, Brennan C, Wilson S. 1999. Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development. Development. 126(10), 2129–2140.","short":"C.-P.J. Heisenberg, C. Brennan, S. Wilson, Development 126 (1999) 2129–2140."},"author":[{"id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J","full_name":"Heisenberg, Carl-Philipp J","last_name":"Heisenberg","orcid":"0000-0002-0912-4566"},{"full_name":"Brennan, Caroline","last_name":"Brennan","first_name":"Caroline"},{"last_name":"Wilson","full_name":"Wilson, Stephen","first_name":"Stephen"}],"abstract":[{"text":"During the development of the zebrafish nervous system both noi, a zebrafish pax2 homolog, and ace, a zebrafish fgf8 homolog, are required for development of the midbrain and cerebellum. Here we describe a dominant mutation, aussicht (aus), in which the expression of noi and ace is upregulated, In aus mutant embryos, ace is upregulated at many sites in the embryo, while Itoi expression is only upregulated in regions of the forebrain and midbrain which also express ace. Subsequent to the alterations in noi and ace expression, aus mutants exhibit defects in the differentiation of the forebrain, midbrain and eyes. Within the forebrain, the formation of the anterior and postoptic commissures is delayed and the expression of markers within the pretectal area is reduced. Within the midbrain, En and wnt1 expression is expanded. In heterozygous aus embryos, there is ectopic outgrowth of neural retina in the temporal half of the eyes, whereas in putative homozygous aus embryos, the ventral retina is reduced and the pigmented retinal epithelium is expanded towards the midline, The observation that ans mutant embryos exhibit widespread upregulation of ace raised the possibility that aus might represent an allele of the ace gene itself. However, by crossing carriers for both aus and ace, we were able to generate homozygous ace mutant embryos that also exhibited the aus phenotype, This indicated that aus is not tightly linked to ace and is unlikely to be a mutation directly affecting the ace locus. However, increased Ace activity may underly many aspects of the aus phenotype and we show that the upregulation of noi in the forebrain of aus mutants is partially dependent upon functional Ace activity. Conversely, increased ace expression in the forebrain of arcs mutants is not dependent upon functional Noi activity. We conclude that aus represents a mutation involving a locus normally required for the regulation of ace expression during embryogenesis.","lang":"eng"}],"date_created":"2018-12-11T12:07:34Z","date_published":"1999-05-15T00:00:00Z","article_type":"original","month":"05","language":[{"iso":"eng"}],"publisher":"Company of Biologists","scopus_import":"1","page":"2129 - 2140","issue":"10","publication":"Development","type":"journal_article","day":"15","status":"public","intvolume":" 126"},{"publication":"Evolution; International Journal of Organic Evolution","issue":"5","page":"1611 - 1616","day":"01","type":"journal_article","intvolume":" 53","status":"public","date_created":"2018-12-11T12:08:00Z","month":"10","article_type":"original","date_published":"1999-10-01T00:00:00Z","scopus_import":"1","publisher":"Wiley-Blackwell","language":[{"iso":"eng"}],"article_processing_charge":"No","volume":53,"date_updated":"2022-09-06T08:20:03Z","publist_id":"1811","publication_identifier":{"issn":["0014-3820"]},"extern":"1","pmid":1,"_id":"4277","oa_version":"None","quality_controlled":"1","acknowledgement":"We thank the Perovic family for their generous hospitality in Croatia and B.Nurnberger, C.MacCallum, D.Howard, and ananonymous reviewer for comments on the manuscript. The work was supported by a Natural Environment Research Council studentship to LEBK.","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"chicago":"Kruuk, Loeske, Jason Gilchrist, and Nicholas H Barton. “Hybrid Dysfunction in Fire-Bellied Toads (Bombina).” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 1999. https://doi.org/10.2307/2640907.","ieee":"L. Kruuk, J. Gilchrist, and N. H. Barton, “Hybrid dysfunction in fire-bellied toads (Bombina),” Evolution; International Journal of Organic Evolution, vol. 53, no. 5. Wiley-Blackwell, pp. 1611–1616, 1999.","apa":"Kruuk, L., Gilchrist, J., & Barton, N. H. (1999). Hybrid dysfunction in fire-bellied toads (Bombina). Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.2307/2640907","ista":"Kruuk L, Gilchrist J, Barton NH. 1999. Hybrid dysfunction in fire-bellied toads (Bombina). Evolution; International Journal of Organic Evolution. 53(5), 1611–1616.","short":"L. Kruuk, J. Gilchrist, N.H. Barton, Evolution; International Journal of Organic Evolution 53 (1999) 1611–1616.","ama":"Kruuk L, Gilchrist J, Barton NH. Hybrid dysfunction in fire-bellied toads (Bombina). Evolution; International Journal of Organic Evolution. 1999;53(5):1611-1616. doi:10.2307/2640907","mla":"Kruuk, Loeske, et al. “Hybrid Dysfunction in Fire-Bellied Toads (Bombina).” Evolution; International Journal of Organic Evolution, vol. 53, no. 5, Wiley-Blackwell, 1999, pp. 1611–16, doi:10.2307/2640907."},"publication_status":"published","abstract":[{"text":"Reproductive isolation between two taxa may be due to endogenous selection, which is generated by incompatibilities between the respective genomes, to exogenous selection, which is generated by differential adaptations to alternative environments, or to both. The continuing debate over the relative importance of either mode of selection has highlighted the need for unambiguous data on the fitness of hybrid genotypes. The hybrid zone between the fire-bellied toad (Bombina bombina) and the yellow-bellied toad (B. variegata) in central Europe involves adaptation to different environments, but evidence of hybrid dysfunction is equivocal. In this study, we followed the development under laboratory conditions of naturally laid eggs collected from a transect across the Bombina hybrid zone in Croatia. Fitness was significantly reduced in hybrid populations: Egg batches from the center of the hybrid zone showed significantly higher embryonic and larval mortality and higher frequencies of morphological abnormalities relative to either parental type. Overall mortality from day of egg collection to three weeks after hatching reached 20% in central hybrid populations, compared to 2% in pure populations. There was no significant difference in fitness between two parental types. Within hybrid populations, there was considerable variation in fitness, with some genotypes showing no evidence of reduced viability. We discuss the implications of these findings for our understanding of barriers to gene flow between species.","lang":"eng"}],"author":[{"first_name":"Loeske","last_name":"Kruuk","full_name":"Kruuk, Loeske"},{"first_name":"Jason","full_name":"Gilchrist, Jason","last_name":"Gilchrist"},{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","last_name":"Barton","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240","first_name":"Nicholas H"}],"year":"1999","doi":"10.2307/2640907","title":"Hybrid dysfunction in fire-bellied toads (Bombina)","external_id":{"pmid":["28565554"]}},{"issue":"1","publication":"Genetics","page":"355 - 371","day":"01","type":"journal_article","intvolume":" 152","status":"public","date_created":"2018-12-11T12:08:01Z","month":"05","date_published":"1999-05-01T00:00:00Z","article_type":"original","publisher":"Genetics Society of America","scopus_import":"1","language":[{"iso":"eng"}],"date_updated":"2022-09-06T08:12:14Z","publist_id":"1809","volume":152,"article_processing_charge":"No","pmid":1,"_id":"4279","extern":"1","publication_identifier":{"issn":["0016-6731"]},"acknowledgement":"We are grateful to Forest Enterprise in Argyll for providing the samples used in this study. We also thank Loeske Kruuk plus the communicating editor and two anonymous referees for their helpful comments on the manuscript. This work was supported by a Natural Environment Research Council grant to N.B. and J.P. and by a University of Edinburgh postgraduate bursary to G.S.","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","oa_version":"None","quality_controlled":"1","publication_status":"published","citation":{"ieee":"S. Goodman, N. H. Barton, G. Swanson, K. Abernethy, and J. Pemberton, “Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland,” Genetics, vol. 152, no. 1. Genetics Society of America, pp. 355–371, 1999.","apa":"Goodman, S., Barton, N. H., Swanson, G., Abernethy, K., & Pemberton, J. (1999). Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/152.1.355","chicago":"Goodman, Simon, Nicholas H Barton, Graeme Swanson, Kate Abernethy, and Josephine Pemberton. “Introgression through Rare Hybridisation: A Genetic Study of a Hybrid Zone between Red and Sika Deer (Genus Cervus), in Argyll, Scotland.” Genetics. Genetics Society of America, 1999. https://doi.org/10.1093/genetics/152.1.355.","ama":"Goodman S, Barton NH, Swanson G, Abernethy K, Pemberton J. Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland. Genetics. 1999;152(1):355-371. doi:10.1093/genetics/152.1.355","mla":"Goodman, Simon, et al. “Introgression through Rare Hybridisation: A Genetic Study of a Hybrid Zone between Red and Sika Deer (Genus Cervus), in Argyll, Scotland.” Genetics, vol. 152, no. 1, Genetics Society of America, 1999, pp. 355–71, doi:10.1093/genetics/152.1.355.","short":"S. Goodman, N.H. Barton, G. Swanson, K. Abernethy, J. Pemberton, Genetics 152 (1999) 355–371.","ista":"Goodman S, Barton NH, Swanson G, Abernethy K, Pemberton J. 1999. Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland. Genetics. 152(1), 355–371."},"abstract":[{"text":"In this article we describe the structure of a hybrid zone in Argyll, Scotland, between native red deer (Cervus elaphus) and introduced Japanese sika deer (Cervus nippon), on the basis of a genetic analysis using 11 microsatellite markers and mitochondrial DNA. In contrast to the findings of a previous study of the same population, we conclude that the deer fall into two distinct genetic classes, corresponding to either a sika-like or red- like phenotype. Introgression is rare at any one locus, but where the taxa overlap up to 40% of deer carry apparently introgressed alleles. While most putative hybrids are heterozygous at only one locus, there are rare multiple heterozygotes, reflecting significant linkage disequilibrium within both sika- and red-like populations. The rate of backcrossing into the sika population is estimated as H = 0.002 per generation and into red, H = 0.001 per generation. On the basis of historical evidence that red deer entered Kintyre only recently, a diffusion model evaluated by maximum likelihood shows that sika have increased at ~9.2% yr-1 from low frequency and disperse at a rate of ~3.7 km yr-1. Introgression into the red-like population is greater in the south, while introgression into sika varies little along the transect. For both sika- and red-like populations, the degree of introgression is 30-40% of that predicted from the rates of current hybridization inferred from linkage disequilibria; however, in neither case is this statistically significant evidence for selection against introgression.","lang":"eng"}],"author":[{"first_name":"Simon","last_name":"Goodman","full_name":"Goodman, Simon"},{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","last_name":"Barton","orcid":"0000-0002-8548-5240","first_name":"Nicholas H"},{"full_name":"Swanson, Graeme","last_name":"Swanson","first_name":"Graeme"},{"last_name":"Abernethy","full_name":"Abernethy, Kate","first_name":"Kate"},{"first_name":"Josephine","full_name":"Pemberton, Josephine","last_name":"Pemberton"}],"doi":"10.1093/genetics/152.1.355","year":"1999","external_id":{"pmid":["10224266"]},"title":"Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland"},{"type":"dissertation","citation":{"short":"S. Qadeer, Algorithms and Methodology for Scalable Model Checking, University of California, Berkeley, 1999.","ista":"Qadeer S. 1999. Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley.","mla":"Qadeer, Shaz. Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley, 1999, pp. 1–150.","ama":"Qadeer S. Algorithms and Methodology for Scalable Model Checking. 1999:1-150.","chicago":"Qadeer, Shaz. “Algorithms and Methodology for Scalable Model Checking.” University of California, Berkeley, 1999.","ieee":"S. Qadeer, “Algorithms and Methodology for Scalable Model Checking,” University of California, Berkeley, 1999.","apa":"Qadeer, S. (1999). Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley."},"day":"01","publication_status":"published","status":"public","author":[{"first_name":"Shaz","full_name":"Qadeer, Shaz","last_name":"Qadeer"}],"supervisor":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"first_name":"Robert","last_name":"Bryton","full_name":"Bryton, Robert"},{"first_name":"John","last_name":"Steel","full_name":"Steel, John"}],"abstract":[{"text":"Model checking algorithms for the verification of reactive systems proceed by a systematic and exhaustive exploration of the system state space. They do not scale to large designs because of the state explosion problem --the number of states grows exponentially with the number of components in the design. Consequently, the model checking problem is PSPACE-hard in the size of the design description. This dissertation proposes three novel techniques to combat the state explosion problem.\r\n\r\nOne of the most important advances in model checking in recent years has been the discovery of symbolic methods, which use a calculus of expressions, such as binary decision diagrams, to represent the state sets encountered during state space exploration. Symbolic model checking has proved to be effective for verifying hardware designs. Traditionally, symbolic checking of temporal logic specifications is performed by backward fixpoint reasoning with the operator Pre. Backward reasoning can be wasteful since unreachable states are explored. We suggest the use of forward fixpoint reasoning based on the operator Post. We show how all linear temporal logic specifications can be model checked symbolically by forward reasoning. In contrast to backward reasoning, forward reasoning performs computations only on the reachable states.\r\n\r\nHeuristics that improve algorithms for application domains, such as symbolic methods for hardware designs, are useful but not enough to make model checking feasible on industrial designs. Currently, exhaustive state exploration is possible only on designs with about 50-100 boolean state variables. Assume-guarantee verification attempts to combat the state explosion problem by using the principle of "divide and conquer," where the components of the implementation are analyzed one at a time. Typically, an implementation component refines its specification only when its inputs are suitably constrained by other components in the implementation. The assume-guarantee principle states that instead of constraining the inputs by implementation components, it is sound to constrain them by the corresponding specification components, which can be significantly smaller. We extend the assume-guarantee proof rule to deal with the case where the specification operates at a coarser time scale than the implementation. Using our model checker Mocha, which implements this methodology, we verify VGI, a parallel DSP processor chip with 64 compute processors each containing approximately 800 state variables and 30K gates.\r\n\r\nOur third contribution is a systematic model checking methodology for verifying the abstract shared-memory interface of sequential consistency on multiprocessor systems with three parameters --number of processors, number of memory locations, and number of data values. Sequential consistency requires that some interleaving of the local temporal orders of read/write events at different processors be a trace of serial memory. Therefore, it suffices to construct a non-interfering serializer that watches and reorders read/write events so that a trace of serial memory is obtained. While in general such a serializer must be unbounded even for fixed values of the parameters --checking sequential consistency is undecidable!-- we show that the paradigmatic class of snoopy cache coherence protocols has finite-state serializers. In order to reduce the arbitrary-parameter problem to the fixed-parameter problem, we develop a novel framework for induction over the number of processors and use the notion of a serializer to reduce the problem of verifying sequential consistency to that of checking language inclusion between finite state machines.","lang":"eng"}],"article_processing_charge":"No","page":"1 - 150","date_updated":"2022-09-06T08:07:40Z","publist_id":"321","oa_version":"None","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","_id":"4411","date_published":"1999-10-01T00:00:00Z","month":"10","year":"1999","language":[{"iso":"eng"}],"title":"Algorithms and Methodology for Scalable Model Checking","publisher":"University of California, Berkeley","main_file_link":[{"url":"https://www.microsoft.com/en-us/research/publication/algorithms-methodology-scalable-model-checking/"}],"degree_awarded":"PhD","date_created":"2018-12-11T12:08:43Z"},{"scopus_import":"1","publisher":"Elsevier","language":[{"iso":"eng"}],"month":"01","article_type":"original","date_published":"1999-01-01T00:00:00Z","date_created":"2018-12-11T12:08:52Z","intvolume":" 221","status":"public","day":"01","type":"journal_article","publication":"Theoretical Computer Science","issue":"1-2","page":"369 - 392","title":"Discrete-time control for rectangular hybrid automata","year":"1999","doi":"10.1016/S0304-3975(99)00038-9","abstract":[{"text":"Rectangular hybrid automata model digital control programs of analog plant environments. We study rectangular hybrid automata where the plant state evolves continuously in real-numbered time, and the controller samples the plant state and changes the control state discretely, only at the integer points in time. We prove that rectangular hybrid automata have finite bisimilarity quotients when all control transitions happen at integer times, even if the constraints on the derivatives of the variables vary between control states. This is in contrast with the conventional model where control transitions may happen at any real time, and already the reachability problem is undecidable. Based on the finite bisimilarity quotients, we give an exponential algorithm for the symbolic sampling-controller synthesis of rectangular automata. We show our algorithm to be optimal by proving the problem to be EXPTIME-hard. We also show that rectangular automata form a maximal class of systems for which the sampling-controller synthesis problem can be solved algorithmically.","lang":"eng"}],"author":[{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Kopke, Peter","last_name":"Kopke","first_name":"Peter"}],"citation":{"chicago":"Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Theoretical Computer Science. Elsevier, 1999. https://doi.org/10.1016/S0304-3975(99)00038-9.","apa":"Henzinger, T. A., & Kopke, P. (1999). Discrete-time control for rectangular hybrid automata. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/S0304-3975(99)00038-9","ieee":"T. A. Henzinger and P. Kopke, “Discrete-time control for rectangular hybrid automata,” Theoretical Computer Science, vol. 221, no. 1–2. Elsevier, pp. 369–392, 1999.","short":"T.A. Henzinger, P. Kopke, Theoretical Computer Science 221 (1999) 369–392.","ista":"Henzinger TA, Kopke P. 1999. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science. 221(1–2), 369–392.","mla":"Henzinger, Thomas A., and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Theoretical Computer Science, vol. 221, no. 1–2, Elsevier, 1999, pp. 369–92, doi:10.1016/S0304-3975(99)00038-9.","ama":"Henzinger TA, Kopke P. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science. 1999;221(1-2):369-392. doi:10.1016/S0304-3975(99)00038-9"},"publication_status":"published","publication_identifier":{"issn":["0304-3975"]},"extern":"1","_id":"4442","oa_version":"None","quality_controlled":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","article_processing_charge":"No","publist_id":"290","volume":221,"date_updated":"2022-09-06T08:03:48Z"},{"_id":"4480","extern":"1","publication_identifier":{"issn":["1092-3152"]},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","quality_controlled":"1","oa_version":"None","date_updated":"2022-09-05T14:48:48Z","publist_id":"246","article_processing_charge":"No","page":"494 - 499","abstract":[{"text":"We describe the formal specification and verification of the VGI parallel DSP chip [1], which contains 64 compute processors with ~30K gates in each processor. Our effort coincided in time with the “informal” verification stage of the chip. By interacting with the designers, we produced an abstract but executable specification of the design which embodies the programmer's view of the system. Given the size of the design, an automatic check that even one of the 64 processors satisfies its specification is well beyond the scope of current verification tools. However, the check can be decomposed using assume-guarantee reasoning. For VGI, the implementation and specification operate at different time scales: several steps of the implementation correspond to a single step in the specification. We generalized both the assume-guarantee method and our model checker MOCHA to allow compositional verification for such applications. We used our proof rule to decompose the verification problem of the VGI chip into smaller proof obligations that were discharged automatically by MOCHA. Using our formal approach, we uncovered and fixed subtle bugs that were unknown to the designers.","lang":"eng"}],"author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"},{"full_name":"Liu, Xiaojun","last_name":"Liu","first_name":"Xiaojun"},{"first_name":"Shaz","full_name":"Qadeer, Shaz","last_name":"Qadeer"},{"first_name":"Sriram","last_name":"Rajamani","full_name":"Rajamani, Sriram"}],"status":"public","publication_status":"published","day":"01","citation":{"mla":"Henzinger, Thomas A., et al. Formal Specification and Verification of a Dataflow Processor Array. IEEE, 1999, pp. 494–99, doi:10.1109/ICCAD.1999.810700.","ama":"Henzinger TA, Liu X, Qadeer S, Rajamani S. Formal specification and verification of a dataflow processor array. In: IEEE; 1999:494-499. doi:10.1109/ICCAD.1999.810700","short":"T.A. Henzinger, X. Liu, S. Qadeer, S. Rajamani, in:, IEEE, 1999, pp. 494–499.","ista":"Henzinger TA, Liu X, Qadeer S, Rajamani S. 1999. Formal specification and verification of a dataflow processor array. ICCAD: Computer-Aided Design, 494–499.","ieee":"T. A. Henzinger, X. Liu, S. Qadeer, and S. Rajamani, “Formal specification and verification of a dataflow processor array,” presented at the ICCAD: Computer-Aided Design, San Jose, CA, United States of America, 1999, pp. 494–499.","apa":"Henzinger, T. A., Liu, X., Qadeer, S., & Rajamani, S. (1999). Formal specification and verification of a dataflow processor array (pp. 494–499). Presented at the ICCAD: Computer-Aided Design, San Jose, CA, United States of America: IEEE. https://doi.org/10.1109/ICCAD.1999.810700","chicago":"Henzinger, Thomas A, Xiaojun Liu, Shaz Qadeer, and Sriram Rajamani. “Formal Specification and Verification of a Dataflow Processor Array,” 494–99. IEEE, 1999. https://doi.org/10.1109/ICCAD.1999.810700."},"type":"conference","conference":{"name":"ICCAD: Computer-Aided Design","end_date":"1999-11-11","location":"San Jose, CA, United States of America","start_date":"1999-11-07"},"date_created":"2018-12-11T12:09:04Z","publisher":"IEEE","scopus_import":"1","title":"Formal specification and verification of a dataflow processor array","language":[{"iso":"eng"}],"year":"1999","month":"01","doi":"10.1109/ICCAD.1999.810700","date_published":"1999-01-01T00:00:00Z"},{"conference":{"start_date":"1999-07-06","name":"CAV: Computer Aided Verification","end_date":"1999-07-10","location":"Trento, Italy"},"date_created":"2018-12-11T12:09:05Z","alternative_title":["LNCS"],"publisher":"Springer","title":"Verifying sequential consistency on shared-memory multiprocessor systems","language":[{"iso":"eng"}],"doi":"10.1007/3-540-48683-6_27","year":"1999","month":"01","date_published":"1999-01-01T00:00:00Z","_id":"4484","publication_identifier":{"isbn":["9783540662020"]},"extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","oa_version":"None","quality_controlled":"1","publication":"Proceedings of the 11th International Conference on Computer Aided Verification","publist_id":"244","volume":1633,"date_updated":"2022-09-02T09:21:11Z","page":"301 - 315","article_processing_charge":"No","abstract":[{"lang":"eng","text":"In shared-memory multiprocessors sequential consistency offers a natural tradeoff between the flexibility afforded to the implementor and the complexity of the programmer’s view of the memory. Sequential consistency requires that some interleaving of the local temporal orders of read/write events at different processors be a trace of serial memory. We develop a systematic methodology for proving sequential consistency for memory systems with three parameters —number of processors, number of memory locations, and number of data values. From the definition of sequential consistency it suffices to construct a non-interfering observer that watches and reorders read/write events so that a trace of serial memory is obtained. While in general such an observer must be unbounded even for fixed values of the parameters —checking sequential consistency is undecidable!— we show that for two paradigmatic protocol classes—lazy caching and snoopy cache coherence—there exist finite-state observers. In these cases, sequential consistency for fixed parameter values can thus be checked by language inclusion between finite automata.\r\nIn order to reduce the arbitrary-parameter problem to the fixed-parameter problem, we develop a novel framework for induction over the number of processors. Classical induction schemas, which are based on process invariants that are inductive with respect to an implementation preorder that preserves the temporal sequence of events, are inadequate for our purposes, because proving sequential consistency requires the reordering of events. Hence we introduce merge invariants, which permit certain reorderings of read/write events. We show that under certain reasonable assumptions about the memory system, it is possible to conclude sequential consistency for any number of processors, memory locations, and data values by model checking two finite-state lemmas about process and merge invariants: they involve two processors each accessing a maximum of three locations, where each location stores at most two data values. For both lazy caching and snoopy cache coherence we are able to discharge the two lemmas using the model checker MOCHA."}],"intvolume":" 1633","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","first_name":"Thomas A"},{"first_name":"Shaz","full_name":"Qadeer, Shaz","last_name":"Qadeer"},{"full_name":"Rajamani, Sriram","last_name":"Rajamani","first_name":"Sriram"}],"status":"public","publication_status":"published","day":"01","citation":{"short":"T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 11th International Conference on Computer Aided Verification, Springer, 1999, pp. 301–315.","ista":"Henzinger TA, Qadeer S, Rajamani S. 1999. Verifying sequential consistency on shared-memory multiprocessor systems. Proceedings of the 11th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1633, 301–315.","mla":"Henzinger, Thomas A., et al. “Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.” Proceedings of the 11th International Conference on Computer Aided Verification, vol. 1633, Springer, 1999, pp. 301–15, doi:10.1007/3-540-48683-6_27.","ama":"Henzinger TA, Qadeer S, Rajamani S. Verifying sequential consistency on shared-memory multiprocessor systems. In: Proceedings of the 11th International Conference on Computer Aided Verification. Vol 1633. Springer; 1999:301-315. doi:10.1007/3-540-48683-6_27","chicago":"Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.” In Proceedings of the 11th International Conference on Computer Aided Verification, 1633:301–15. Springer, 1999. https://doi.org/10.1007/3-540-48683-6_27.","ieee":"T. A. Henzinger, S. Qadeer, and S. Rajamani, “Verifying sequential consistency on shared-memory multiprocessor systems,” in Proceedings of the 11th International Conference on Computer Aided Verification, Trento, Italy, 1999, vol. 1633, pp. 301–315.","apa":"Henzinger, T. A., Qadeer, S., & Rajamani, S. (1999). Verifying sequential consistency on shared-memory multiprocessor systems. In Proceedings of the 11th International Conference on Computer Aided Verification (Vol. 1633, pp. 301–315). Trento, Italy: Springer. https://doi.org/10.1007/3-540-48683-6_27"},"type":"conference"},{"author":[{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Benjamin","last_name":"Horowitz","full_name":"Horowitz, Benjamin"},{"full_name":"Majumdar, Ritankar","last_name":"Majumdar","first_name":"Ritankar"}],"abstract":[{"lang":"eng","text":"In order to study control problems for hybrid systems, we generalize hybrid automata to hybrid games —say, controller vs. plant. If we specify the continuous dynamics by constant lower and upper bounds, we obtain rectangular games. We show that for rectangular games with objectives expressed in Ltl (linear temporal logic), the winning states for each player can be computed, and winning strategies can be synthesized. Our result is sharp, as already reachability is undecidable for generalizations of rectangular systems, and optimal —singly exponential in the size of the game structure and doubly exponential in the size of the Ltl objective. Our proof systematically generalizes the theory of hybrid systems from automata (single-player structures) [9] to games (multi-player structures): we show that the successively more general infinite-state classes of timed, 2D rectangular, and rectangular games induce successively weaker, but still finite, quotient structures called game bisimilarity, game similarity, and game trace equivalence. These quotients can be used, in particular, to solve the Ltl control problem."}],"publication_status":"published","citation":{"apa":"Henzinger, T. A., Horowitz, B., & Majumdar, R. (1999). Rectangular hybrid games. In Proceedings of the 10th International Conference on Concurrency Theory (Vol. 1664, pp. 320–335). Eindhoven, The Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-48320-9_23","ieee":"T. A. Henzinger, B. Horowitz, and R. Majumdar, “Rectangular hybrid games,” in Proceedings of the 10th International Conference on Concurrency Theory, Eindhoven, The Netherlands, 1999, vol. 1664, pp. 320–335.","chicago":"Henzinger, Thomas A, Benjamin Horowitz, and Ritankar Majumdar. “Rectangular Hybrid Games.” In Proceedings of the 10th International Conference on Concurrency Theory, 1664:320–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999. https://doi.org/10.1007/3-540-48320-9_23.","ama":"Henzinger TA, Horowitz B, Majumdar R. Rectangular hybrid games. In: Proceedings of the 10th International Conference on Concurrency Theory. Vol 1664. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1999:320-335. doi:10.1007/3-540-48320-9_23","mla":"Henzinger, Thomas A., et al. “Rectangular Hybrid Games.” Proceedings of the 10th International Conference on Concurrency Theory, vol. 1664, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–35, doi:10.1007/3-540-48320-9_23.","short":"T.A. Henzinger, B. Horowitz, R. Majumdar, in:, Proceedings of the 10th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–335.","ista":"Henzinger TA, Horowitz B, Majumdar R. 1999. Rectangular hybrid games. Proceedings of the 10th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1664, 320–335."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","acknowledgement":"This research was supported in part by the NSF CAREER award CCR-9501708, by the NSF grant CCR-9504469, by the DARPA (NASA Ames) grant NAG2-1214, by the DARPA (Wright-Patterson AFB) grant F33615-98-C-3614, and by the ARO MURI grant DAAH-04-96-1-0341.","oa_version":"None","quality_controlled":"1","_id":"4485","extern":"1","publication_identifier":{"isbn":["9783540664253"]},"volume":1664,"date_updated":"2022-09-02T10:54:12Z","publist_id":"245","article_processing_charge":"No","title":"Rectangular hybrid games","year":"1999","doi":"10.1007/3-540-48320-9_23","alternative_title":["LNCS"],"status":"public","intvolume":" 1664","type":"conference","day":"01","page":"320 - 335","publication":"Proceedings of the 10th International Conference on Concurrency Theory","language":[{"iso":"eng"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","date_published":"1999-01-01T00:00:00Z","month":"01","date_created":"2018-12-11T12:09:05Z","conference":{"name":"CONCUR: Concurrency Theory","location":"Eindhoven, The Netherlands"}},{"language":[{"iso":"eng"}],"title":"Assume-guarantee refinement between different time scales","publisher":"Springer","date_published":"1999-01-01T00:00:00Z","month":"01","doi":"10.1007/3-540-48683-6_20","year":"1999","date_created":"2018-12-11T12:09:06Z","conference":{"start_date":"1999-07-06","name":"CAV: Computer Aided Verification","location":"Trento, Italy","end_date":"1999-07-10"},"alternative_title":["LNCS"],"author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"first_name":"Shaz","full_name":"Qadeer, Shaz","last_name":"Qadeer"},{"first_name":"Sriram","last_name":"Rajamani","full_name":"Rajamani, Sriram"}],"status":"public","abstract":[{"text":"Refinement checking is used to verify implementations against more abstract specifications. Assume-guarantee reasoning is used to decompose refinement proofs in order to avoid state-space explosion. In previous approaches, specifications are forced to operate on the same time scale as the implementation. This may lead to unnatural specifications and inefficiencies in verification. We introduce a novel methodology for decomposing refinement proofs of temporally abstract specifications, which specify implementation requirements only at certain sampling instances in time. Our new assume-guarantee rule allows separate refinement maps for specifying functionality and timing.We present the theory for the correctness of our methodology, and illustrate it using a simple example. Support for sampling and the generalized assume-guarantee rule have been implemented in the model checker Mocha and successfully applied to verify the VGI multiprocessor dataflow chip with 6 million transistors.","lang":"eng"}],"intvolume":" 1633","type":"conference","citation":{"ama":"Henzinger TA, Qadeer S, Rajamani S. Assume-guarantee refinement between different time scales. In: Proceedings of the 11th International Conference on Computer Aided Verification. Vol 1633. Springer; 1999:208-221. doi:10.1007/3-540-48683-6_20","mla":"Henzinger, Thomas A., et al. “Assume-Guarantee Refinement between Different Time Scales.” Proceedings of the 11th International Conference on Computer Aided Verification, vol. 1633, Springer, 1999, pp. 208–21, doi:10.1007/3-540-48683-6_20.","ista":"Henzinger TA, Qadeer S, Rajamani S. 1999. Assume-guarantee refinement between different time scales. Proceedings of the 11th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1633, 208–221.","short":"T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 11th International Conference on Computer Aided Verification, Springer, 1999, pp. 208–221.","apa":"Henzinger, T. A., Qadeer, S., & Rajamani, S. (1999). Assume-guarantee refinement between different time scales. In Proceedings of the 11th International Conference on Computer Aided Verification (Vol. 1633, pp. 208–221). Trento, Italy: Springer. https://doi.org/10.1007/3-540-48683-6_20","ieee":"T. A. Henzinger, S. Qadeer, and S. Rajamani, “Assume-guarantee refinement between different time scales,” in Proceedings of the 11th International Conference on Computer Aided Verification, Trento, Italy, 1999, vol. 1633, pp. 208–221.","chicago":"Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Assume-Guarantee Refinement between Different Time Scales.” In Proceedings of the 11th International Conference on Computer Aided Verification, 1633:208–21. Springer, 1999. https://doi.org/10.1007/3-540-48683-6_20."},"day":"01","publication_status":"published","oa_version":"None","quality_controlled":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publication_identifier":{"isbn":["9783540662020"]},"extern":"1","_id":"4487","page":"208 - 221","article_processing_charge":"No","publist_id":"243","volume":1633,"date_updated":"2022-09-02T09:04:26Z","publication":"Proceedings of the 11th International Conference on Computer Aided Verification"},{"status":"public","intvolume":" 30","type":"journal_article","day":"01","page":"219 - 225","issue":"3","publication":"Neuroscience Research","language":[{"iso":"eng"}],"publisher":"Elsevier","scopus_import":"1","article_type":"original","date_published":"1998-03-01T00:00:00Z","month":"03","date_created":"2018-12-11T11:58:31Z","author":[{"last_name":"Li","full_name":"Li, Jin","first_name":"Jin"},{"last_name":"Ding","full_name":"Ding, Yu","first_name":"Yu"},{"first_name":"Kang","full_name":"Xiong, Kang","last_name":"Xiong"},{"full_name":"Li, Ji","last_name":"Li","first_name":"Ji"},{"first_name":"Ryuichi","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Mizuno","full_name":"Mizuno, Noboru","first_name":"Noboru"}],"abstract":[{"text":"Substance P receptor (SPR)-immunoreactive neurons projecting to the periaqueductal gray (PAG) were examined in the rat spinal trigeminal nucleus and spinal cord by a retrograde tracing method combined with immunofluorescence histochemistry. After injection of Fluoro-gold (FG) into the PAG, SPR-immunoreactive neurons labeled with FG were observed mainly in the lateral spinal nucleus and lamina I of the medullary and spinal dorsal horns and additionally in laminae V and X of the spinal cord.","lang":"eng"}],"publication_status":"published","citation":{"ista":"Li J, Ding Y, Xiong K, Li J, Shigemoto R, Mizuno N. 1998. Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat. Neuroscience Research. 30(3), 219–225.","short":"J. Li, Y. Ding, K. Xiong, J. Li, R. Shigemoto, N. Mizuno, Neuroscience Research 30 (1998) 219–225.","ama":"Li J, Ding Y, Xiong K, Li J, Shigemoto R, Mizuno N. Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat. Neuroscience Research. 1998;30(3):219-225. doi:10.1016/S0168-0102(97)00132-6","mla":"Li, Jin, et al. “Substance P Receptor (NK1)-Immunoreactive Neurons Projecting to the Periaqueductal Gray: Distribution in the Spinal Trigeminal Nucleus and the Spinal Cord of the Rat.” Neuroscience Research, vol. 30, no. 3, Elsevier, 1998, pp. 219–25, doi:10.1016/S0168-0102(97)00132-6.","chicago":"Li, Jin, Yu Ding, Kang Xiong, Ji Li, Ryuichi Shigemoto, and Noboru Mizuno. “Substance P Receptor (NK1)-Immunoreactive Neurons Projecting to the Periaqueductal Gray: Distribution in the Spinal Trigeminal Nucleus and the Spinal Cord of the Rat.” Neuroscience Research. Elsevier, 1998. https://doi.org/10.1016/S0168-0102(97)00132-6.","ieee":"J. Li, Y. Ding, K. Xiong, J. Li, R. Shigemoto, and N. Mizuno, “Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat,” Neuroscience Research, vol. 30, no. 3. Elsevier, pp. 219–225, 1998.","apa":"Li, J., Ding, Y., Xiong, K., Li, J., Shigemoto, R., & Mizuno, N. (1998). Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat. Neuroscience Research. Elsevier. https://doi.org/10.1016/S0168-0102(97)00132-6"},"acknowledgement":"The authors are grateful for the support of Dr Kajitaro Morita of the Morita Clinic of Internal Medicine and Pediatrics at Kadoma, Osaka and for the help of Yue-Ping Yuan and Akira Uesugi with photography. This work was supported in part by Grants-in-Aid from the National Natural Science Foundation of China (39600045) and the Ministry of Education, Sci-\r\nence, Sports and Culture of Japan (09480211, 08458245).","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","oa_version":"None","quality_controlled":"1","pmid":1,"_id":"2583","extern":"1","publication_identifier":{"issn":["0168-0102"]},"date_updated":"2022-09-01T12:19:44Z","volume":30,"publist_id":"4315","article_processing_charge":"No","title":"Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat","external_id":{"pmid":["9593332"]},"year":"1998","doi":"10.1016/S0168-0102(97)00132-6"},{"intvolume":" 393","status":"public","day":"13","type":"journal_article","publication":"Journal of Comparative Neurology","issue":"3","page":"332 - 352","scopus_import":"1","publisher":"Wiley-Blackwell","language":[{"iso":"eng"}],"month":"03","date_published":"1998-03-13T00:00:00Z","article_type":"original","date_created":"2018-12-11T11:58:31Z","abstract":[{"text":"The distributions of two alternative splicing variants of metabotropic glutamate receptor mGluR7, mGluR7a and mGluR7b, were examined immunohistochemically in the rat and mouse by using variant-specific antibodies raised against C-terminal portions of rat mGluR7a and human mGluR7b. Many regions throughout the central nervous system (CNS) showed mGluR7-like immunoreactivities (LI). The distribution patterns of mGluR7-LI in the rat were substantially the same as those in the mouse, although some species differences were observed in a few regions. Intense mGluR7a-LI was seen in the main and accessory olfactory bulbs, anterior olfactory nucleus, islands of Calleja, superficial layers of the olfactory tubercle, piriform cortex and entorhinal cortex, periamygdaloid cortex, amygdalohippocampal area, hippocampus, layer I of the neocortical regions, globus pallidus, superficial layers of the superior colliculus, locus coeruleus, and superficial layers of the medullary and spinal dorsal horns. The distribution of mGluR7b was more restricted. It was intense in the islands of Calleja, substantia innominata, hippocampus, ventral pallidum, and globus pallidus. The medial habenular nucleus also showed intense mGluR7a-LI in the rat but not in the mouse. For both mGluR7a- and mGluR7b-LI, localization in the active zones of presynaptic axon terminals was confirmed electron microscopically at synapses of both the asymmetrical and symmetrical types. It is noteworthy that mGluR7a-LI is seen preferentially in relay nuclei of the sensory pathways and that both mGluR7a- and mGluR7b-LI are observed not only in presumed glutamatergic axon terminals, but also in non-glutamatergic axon terminals including presumed inhibitory ones. Thus, mGluR7 may play roles not only as an autoreceptor in glutamatergic axon terminals, but also as a presynaptic heteroreceptor in non-glutamatergic axon terminals in various CNS regions.","lang":"eng"}],"author":[{"last_name":"Kinoshita","full_name":"Kinoshita, Ayae","first_name":"Ayae"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","last_name":"Shigemoto","full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444"},{"full_name":"Ohishi, Hitoshi","last_name":"Ohishi","first_name":"Hitoshi"},{"full_name":"Van Der Putten, Herman","last_name":"Van Der Putten","first_name":"Herman"},{"first_name":"Noboru","full_name":"Mizuno, Noboru","last_name":"Mizuno"}],"citation":{"ama":"Kinoshita A, Shigemoto R, Ohishi H, Van Der Putten H, Mizuno N. Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study. Journal of Comparative Neurology. 1998;393(3):332-352. doi:10.1002/(SICI)1096-9861(19980413)393:3<332::AID-CNE6>3.0.CO;2-2","mla":"Kinoshita, Ayae, et al. “Immunohistochemical Localization of Metabotropic Glutamate Receptors, MGluR7a and MGluR7b, in the Central Nervous System of the Adult Rat and Mouse: A Light and Electron Microscopic Study.” Journal of Comparative Neurology, vol. 393, no. 3, Wiley-Blackwell, 1998, pp. 332–52, doi:10.1002/(SICI)1096-9861(19980413)393:3<332::AID-CNE6>3.0.CO;2-2.","short":"A. Kinoshita, R. Shigemoto, H. Ohishi, H. Van Der Putten, N. Mizuno, Journal of Comparative Neurology 393 (1998) 332–352.","ista":"Kinoshita A, Shigemoto R, Ohishi H, Van Der Putten H, Mizuno N. 1998. Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study. Journal of Comparative Neurology. 393(3), 332–352.","apa":"Kinoshita, A., Shigemoto, R., Ohishi, H., Van Der Putten, H., & Mizuno, N. (1998). Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19980413)393:3<332::AID-CNE6>3.0.CO;2-2","ieee":"A. Kinoshita, R. Shigemoto, H. Ohishi, H. Van Der Putten, and N. Mizuno, “Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study,” Journal of Comparative Neurology, vol. 393, no. 3. Wiley-Blackwell, pp. 332–352, 1998.","chicago":"Kinoshita, Ayae, Ryuichi Shigemoto, Hitoshi Ohishi, Herman Van Der Putten, and Noboru Mizuno. “Immunohistochemical Localization of Metabotropic Glutamate Receptors, MGluR7a and MGluR7b, in the Central Nervous System of the Adult Rat and Mouse: A Light and Electron Microscopic Study.” Journal of Comparative Neurology. Wiley-Blackwell, 1998. https://doi.org/10.1002/(SICI)1096-9861(19980413)393:3<332::AID-CNE6>3.0.CO;2-2."},"publication_status":"published","extern":"1","publication_identifier":{"issn":["0021-9967"]},"_id":"2584","pmid":1,"quality_controlled":"1","oa_version":"None","acknowledgement":"The authors are grateful for photographic help of Mr.Akira Uesugi, and the support of Dr. Kajitaro Morita inMorita Clinic of Internal Medicine and Pediatrics, Kadoma,Osaka, Japan. The authors also express gratitude for thesupport of Dr. Satoru Fukuchi, Dr. Ritsu Hayashi, Dr.Sohzaburo Hayashi, Dr. Mizuho Katsurada, Dr. HitoshiKawai, Dr. Yutaka Kitani, Dr. Toshihiko Kuroda, Dr. KeikoKumagai, Dr. Hiroshi Matsubara, Dr. Hiroshi Mat-sushima, Dr. Chisato Minakuchi, Dr. Gonpei Niwa, Dr.Hajime Oda, Dr. Mashiko Ohbayashi, Dr. Sei-ichi Ohbaya-shi, Dr. Hiroyasu Ohtsuka, Dr. Shigeo Tamaki, Dr. EizoWatanabe, Dr. Kazuo Yoshino, and Dr. Toshiaki Yoshino.","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","article_processing_charge":"No","publist_id":"4314","volume":393,"date_updated":"2022-09-01T12:11:04Z","external_id":{"pmid":["9548554"]},"title":"Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study","year":"1998","doi":"10.1002/(SICI)1096-9861(19980413)393:3<332::AID-CNE6>3.0.CO;2-2"},{"status":"public","intvolume":" 393","type":"journal_article","day":"20","page":"493 - 504","issue":"4","publication":"Journal of Comparative Neurology","language":[{"iso":"eng"}],"publisher":"Wiley-Blackwell","scopus_import":"1","date_published":"1998-04-20T00:00:00Z","article_type":"original","month":"04","date_created":"2018-12-11T11:58:31Z","author":[{"last_name":"Wada","full_name":"Wada, Eiki","first_name":"Eiki"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto","first_name":"Ryuichi"},{"first_name":"Ayae","full_name":"Kinoshita, Ayae","last_name":"Kinoshita"},{"last_name":"Ohishi","full_name":"Ohishi, Hitoshi","first_name":"Hitoshi"},{"last_name":"Mizuno","full_name":"Mizuno, Noboru","first_name":"Noboru"}],"abstract":[{"text":"Localization of metabetropic glutamate receptor subtypes, mGluR1, mGluRlu, mGluR2/3, mGluR4a, mGluR5, mGluR7a, mGluR7b, and mGluR8, was examined in some of the target areas of projection fibers from the main and accessory olfactory bulbs (MOB and AOB) by using subtype-specific antibodies. The superficial layer of the olfactory tubercle and layer Ia of the pitiform cortex, the target areas of MOB, showed marked mGluR1-, mGluR5-, mGluR7a-, and mGluR8-like immunoreactivities (-LI), and rather weak mGluR2/3-LI. The periamygdaloid cortical region including the target areas of both MOB and AOB showed intense mGluR2/3-LI as well as marked mGluRl-, mGluR5-, mGluR7a-, and mGluRS-LI. No significant mGluR1a-, mGluR4a-, or mGluR7b-LI was seen in these regions. After transection of the lateral olfactory tract, mGluR2/3-, mGluR7a-, and mGluR8-LI were reduced markedly in the target regions on the side ipsilateral to the transection; no significant changes were detected in mGluR1- or mGIuR5-LI. Double labeling experiments indicated light and electron microscopically colocalization of mGluR7a- and mGluRS-LI in axon terminals on dendritic shafts of presumed interneurons in the superficial layer of the olfactory tubercle and layer Ia of the piriform cortex. Electron microscopically mGluR2/3-LI was seen in preterminal and terminal portions of axons, whereas mGluR7a- and mGluRS-LI were associated with presynaptic membrane specialization. Immunolabeled axon terminals were filled with round synaptic vesicles and constituted asymmetric synapses with dendritic profiles. The results suggest that glutamate release from axon terminals of projection fibers from MOB and AOB is regulated presynaptically and differentially through mGluR2/3, mGluR7a, and/or mGluRS.","lang":"eng"}],"publication_status":"published","citation":{"ista":"Wada E, Shigemoto R, Kinoshita A, Ohishi H, Mizuno N. 1998. Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. 393(4), 493–504.","short":"E. Wada, R. Shigemoto, A. Kinoshita, H. Ohishi, N. Mizuno, Journal of Comparative Neurology 393 (1998) 493–504.","mla":"Wada, Eiki, et al. “Metabotropic Glutamate Receptor Subtypes in Axon Terminals of Projection Fibers from the Main and Accessory Olfactory Bulbs: A Light and Electron Microscopic Immunohistochemical Study in the Rat.” Journal of Comparative Neurology, vol. 393, no. 4, Wiley-Blackwell, 1998, pp. 493–504, doi:10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W.","ama":"Wada E, Shigemoto R, Kinoshita A, Ohishi H, Mizuno N. Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. 1998;393(4):493-504. doi:10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W","chicago":"Wada, Eiki, Ryuichi Shigemoto, Ayae Kinoshita, Hitoshi Ohishi, and Noboru Mizuno. “Metabotropic Glutamate Receptor Subtypes in Axon Terminals of Projection Fibers from the Main and Accessory Olfactory Bulbs: A Light and Electron Microscopic Immunohistochemical Study in the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 1998. https://doi.org/10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W.","ieee":"E. Wada, R. Shigemoto, A. Kinoshita, H. Ohishi, and N. Mizuno, “Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat,” Journal of Comparative Neurology, vol. 393, no. 4. Wiley-Blackwell, pp. 493–504, 1998.","apa":"Wada, E., Shigemoto, R., Kinoshita, A., Ohishi, H., & Mizuno, N. (1998). Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W"},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","acknowledgement":"The authors are grateful for photographic help of Mr.Akira Uesugi. The authors also express their gratitudesfor the support of Dr. Satoru Fukuchi, Dr. Ritsu Hayashi,Dr. Sohzaburo Hayashi, Dr. Mizuho Katsurada, Dr. Hitoshi Kawai, Dr. Yutaka Kitani, Dr. Toshihiko Kuroda, Dr.Keiko Kumagai, Dr. Hiroshi Matsubara, Dr. Hiroshi Matsushima, Dr. Chisato Minakuchi, Dr. Gonpei Niwa, Dr.Hajime Oda, Dr. Mashiko Ohbayashi, Dr. Seiichi Ohbayashi, Dr. Hiroyasu Ohtsuka, Dr. Shigeo Tamaki, Dr. EizoWatanabe, Dr. Kazuo Yoshino, and Dr. Toshiaki Yoshino.","oa_version":"None","quality_controlled":"1","_id":"2585","pmid":1,"extern":"1","publication_identifier":{"issn":["0021-9967"]},"publist_id":"4313","date_updated":"2022-08-31T14:53:58Z","volume":393,"article_processing_charge":"No","external_id":{"pmid":["9550154"]},"title":"Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat","year":"1998","doi":"10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W"},{"author":[{"last_name":"Watanabe","full_name":"Watanabe, Dai","first_name":"Dai"},{"last_name":"Inokawa","full_name":"Inokawa, Hitoshi","first_name":"Hitoshi"},{"last_name":"Hashimoto","full_name":"Hashimoto, Kouichi","first_name":"Kouichi"},{"first_name":"Noboru","full_name":"Suzuki, Noboru","last_name":"Suzuki"},{"last_name":"Kano","full_name":"Kano, Masanobu","first_name":"Masanobu"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto"},{"last_name":"Hirano","full_name":"Hirano, Tomoo","first_name":"Tomoo"},{"first_name":"Keisuke","full_name":"Toyama, Keisuke","last_name":"Toyama"},{"last_name":"Kaneko","full_name":"Kaneko, Satoshi","first_name":"Satoshi"},{"first_name":"Mineto","full_name":"Yokoi, Mineto","last_name":"Yokoi"},{"first_name":"Koki","last_name":"Moriyoshi","full_name":"Moriyoshi, Koki"},{"first_name":"Misao","last_name":"Suzuki","full_name":"Suzuki, Misao"},{"full_name":"Kobayashi, Kazuto","last_name":"Kobayashi","first_name":"Kazuto"},{"first_name":"Toshiharu","full_name":"Nagatsu, Toshiharu","last_name":"Nagatsu"},{"full_name":"Kreitman, Robert","last_name":"Kreitman","first_name":"Robert"},{"first_name":"Ira","full_name":"Pastan, Ira","last_name":"Pastan"},{"full_name":"Nakanishi, Shigetada","last_name":"Nakanishi","first_name":"Shigetada"}],"abstract":[{"lang":"eng","text":"The role of inhibitory Golgi cells in cerebellar function was investigated by selectively ablating Golgi cells expressing human interleukin-2 receptor α subunit in transgenic mice, using the immunotoxin- mediated cell targeting technique. Golgi cell disruption caused severe acute motor disorders. These mice showed gradual recovery but retained a continuing inability to perform compound movements. Optical and electrical recordings combined with immunocytological analysis indicated that elimination of Golgi cells not only reduces GABA-mediated inhibition but also attenuates functional NMDA receptors in granule cells. These results demonstrate that synaptic integration involving both GABA inhibition and NMDA receptor activation is essential for compound motor coordination. Furthermore, this integration can adapt after Golgi cell elimination so as not to evoke overexcitation by the reduction of NMDA receptors."}],"publication_status":"published","citation":{"mla":"Watanabe, Dai, et al. “Ablation of Cerebellar Golgi Cells Disrupts Synaptic Integration Involving GABA Inhibition and NMDA Receptor Activation in Motor Coordination.” Cell, vol. 95, no. 1, Cell Press, 1998, pp. 17–27, doi:10.1016/S0092-8674(00)81779-1.","ama":"Watanabe D, Inokawa H, Hashimoto K, et al. Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination. Cell. 1998;95(1):17-27. doi:10.1016/S0092-8674(00)81779-1","ista":"Watanabe D, Inokawa H, Hashimoto K, Suzuki N, Kano M, Shigemoto R, Hirano T, Toyama K, Kaneko S, Yokoi M, Moriyoshi K, Suzuki M, Kobayashi K, Nagatsu T, Kreitman R, Pastan I, Nakanishi S. 1998. Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination. Cell. 95(1), 17–27.","short":"D. Watanabe, H. Inokawa, K. Hashimoto, N. Suzuki, M. Kano, R. Shigemoto, T. Hirano, K. Toyama, S. Kaneko, M. Yokoi, K. Moriyoshi, M. Suzuki, K. Kobayashi, T. Nagatsu, R. Kreitman, I. Pastan, S. Nakanishi, Cell 95 (1998) 17–27.","ieee":"D. Watanabe et al., “Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination,” Cell, vol. 95, no. 1. Cell Press, pp. 17–27, 1998.","apa":"Watanabe, D., Inokawa, H., Hashimoto, K., Suzuki, N., Kano, M., Shigemoto, R., … Nakanishi, S. (1998). Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination. Cell. Cell Press. https://doi.org/10.1016/S0092-8674(00)81779-1","chicago":"Watanabe, Dai, Hitoshi Inokawa, Kouichi Hashimoto, Noboru Suzuki, Masanobu Kano, Ryuichi Shigemoto, Tomoo Hirano, et al. “Ablation of Cerebellar Golgi Cells Disrupts Synaptic Integration Involving GABA Inhibition and NMDA Receptor Activation in Motor Coordination.” Cell. Cell Press, 1998. https://doi.org/10.1016/S0092-8674(00)81779-1."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","acknowledgement":"We thank Kumlesh K Dev for careful reading of this manuscript, Peter Somogyi and Hirohide Sawada for invaluable advice, and Akira Uesugi for photographic assistance. This work was supported in part by research grants from the Ministry of Education, Science and Culture of Japan. the Sankyo Foundation. the Yamanouchi Founda-tion. the Biomolecular Engineering Research Institute, CREST and the International Resource Program of the National Cancer Institute. \r\n","quality_controlled":"1","oa_version":"None","_id":"2586","pmid":1,"publication_identifier":{"issn":["0092-8674"]},"extern":"1","date_updated":"2022-08-31T13:46:20Z","volume":95,"publist_id":"4312","article_processing_charge":"No","external_id":{"pmid":["9778244 "]},"title":"Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination","doi":"10.1016/S0092-8674(00)81779-1","year":"1998","status":"public","intvolume":" 95","type":"journal_article","day":"02","page":"17 - 27","issue":"1","publication":"Cell","language":[{"iso":"eng"}],"publisher":"Cell Press","scopus_import":"1","date_published":"1998-10-02T00:00:00Z","article_type":"original","month":"10","date_created":"2018-12-11T11:58:32Z"},{"external_id":{"pmid":["9872317"]},"title":" GABA(B)-receptor subtypes assemble into functional heteromeric complexes","year":"1998","doi":"10.1038/25360","quality_controlled":"1","oa_version":"None","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","acknowledgement":"We thank D. Ristig, A. Begrich, I. Meigel and S. Leonhard for technical assistance.","publication_identifier":{"issn":["0028-0836"]},"extern":"1","pmid":1,"_id":"2588","article_processing_charge":"No","volume":396,"date_updated":"2022-08-31T12:43:05Z","publist_id":"4309","author":[{"last_name":"Kaupmann","full_name":"Kaupmann, Klemens","first_name":"Klemens"},{"full_name":"Malitschek, Barbara","last_name":"Malitschek","first_name":"Barbara"},{"first_name":"Valérie","full_name":"Schuler, Valérie","last_name":"Schuler"},{"full_name":"Heid, Jacob","last_name":"Heid","first_name":"Jacob"},{"first_name":"Wolfgang","full_name":"Froestl, Wolfgang","last_name":"Froestl"},{"first_name":"Pascal","last_name":"Beck","full_name":"Beck, Pascal"},{"first_name":"Johannes","full_name":"Mosbacher, Johannes","last_name":"Mosbacher"},{"full_name":"Bischoff, Serge","last_name":"Bischoff","first_name":"Serge"},{"full_name":"Kulik, Ákos","last_name":"Kulik","first_name":"Ákos"},{"first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Karschin, Andreas","last_name":"Karschin","first_name":"Andreas"},{"last_name":"Bettler","full_name":"Bettler, Bernhard","first_name":"Bernhard"}],"abstract":[{"lang":"eng","text":"B-type receptors for the neurotransmitter GABA (γ-aminobutyric acid) inhibit neuronal activity through G-protein-coupled second-messenger systems, which regulate the release of neurotransmitters and the activity of ion channels and adenylyl cyclase. Physiological and biochemical studies show that there are differences in drug efficiencies at different GABA(B) receptors, so it is expected that GABA(B)-receptor (GABA(B)R) subtypes exist. Two GABA(B)-receptor splice variants have been cloned (GABA(B)R1a and GABA(B)R1b), but native GABA(B) receptors and recombinant receptors showed unexplained differences in agonist-binding potencies. Moreover, the activation of presumed effector ion channels in heterologous cells expressing the recombinant receptors proved difficult. Here we describe a new GABA(B) receptor subtype, GABA(B)R2, which does not bind available GABA(B) antagonists with measurable potency. GABA(B)R1a, GABA(B)R1b and GABA(B)R2 alone do not activate Kir3-type potassium channels efficiently, but co- expression of these receptors yields a robust coupling to activation of Kir3 channels. We provide evidence for the assembly of heteromeric GABA(B) receptors in vivo and show that GABA(B)R2 and GABA(B)R1a/b proteins immunoprecipitate and localize together at dendritic spines. The heteromeric receptor complexes exhibit a significant increase in agonist- and partial- agonist-binding potencies as compared with individual receptors and probably represent the predominant native GABA(B) receptor. Heteromeric assembly among G-protein-coupled receptors has not, to our knowledge, been described before.\r\n"}],"citation":{"ieee":"K. Kaupmann et al., “ GABA(B)-receptor subtypes assemble into functional heteromeric complexes,” Nature, vol. 396, no. 6712. Nature Publishing Group, pp. 683–687, 1998.","apa":"Kaupmann, K., Malitschek, B., Schuler, V., Heid, J., Froestl, W., Beck, P., … Bettler, B. (1998). GABA(B)-receptor subtypes assemble into functional heteromeric complexes. Nature. Nature Publishing Group. https://doi.org/10.1038/25360","chicago":"Kaupmann, Klemens, Barbara Malitschek, Valérie Schuler, Jacob Heid, Wolfgang Froestl, Pascal Beck, Johannes Mosbacher, et al. “ GABA(B)-Receptor Subtypes Assemble into Functional Heteromeric Complexes.” Nature. Nature Publishing Group, 1998. https://doi.org/10.1038/25360.","mla":"Kaupmann, Klemens, et al. “ GABA(B)-Receptor Subtypes Assemble into Functional Heteromeric Complexes.” Nature, vol. 396, no. 6712, Nature Publishing Group, 1998, pp. 683–87, doi:10.1038/25360.","ama":"Kaupmann K, Malitschek B, Schuler V, et al. GABA(B)-receptor subtypes assemble into functional heteromeric complexes. Nature. 1998;396(6712):683-687. doi:10.1038/25360","ista":"Kaupmann K, Malitschek B, Schuler V, Heid J, Froestl W, Beck P, Mosbacher J, Bischoff S, Kulik Á, Shigemoto R, Karschin A, Bettler B. 1998. GABA(B)-receptor subtypes assemble into functional heteromeric complexes. Nature. 396(6712), 683–687.","short":"K. Kaupmann, B. Malitschek, V. Schuler, J. Heid, W. Froestl, P. Beck, J. Mosbacher, S. Bischoff, Á. Kulik, R. Shigemoto, A. Karschin, B. Bettler, Nature 396 (1998) 683–687."},"publication_status":"published","date_created":"2018-12-11T11:58:32Z","language":[{"iso":"eng"}],"scopus_import":"1","publisher":"Nature Publishing Group","article_type":"original","date_published":"1998-12-17T00:00:00Z","month":"12","page":"683 - 687","publication":"Nature","issue":"6712","status":"public","intvolume":" 396","type":"journal_article","day":"17"},{"title":"Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study","external_id":{"pmid":["9845242 "]},"doi":"10.1002/(SICI)1096-9861(19981214)402:2<181::AID-CNE4>3.0.CO;2-B","year":"1998","abstract":[{"lang":"eng","text":"Immunoreactivity for the substance P receptor (NK1 receptor) has been investigated by light and electron microscopy in the dorsal vagal complexes of adult rats and cats. The general pattern of NK1 immunoreactivity was similar for both rat and cat. Numerous NK1-immunoreactive neurons were present in the area postrema, the nucleus of the solitary tract, and the dorsal motor nucleus of the vagus nerve. The density of labelled neurons differed between the subnuclei of the nucleus of the solitary tract. Overall, the efferent neurons of the dorsal motor nucleus of the vagus nerve highly expressed NK1 when compared to neurons in the nucleus of the solitary tract. The results are discussed with reference to the viscerotopic organisation of the dorsal vagal complex. Ultrastructural analysis demonstrated that NK1 immunoreactivity was present only at the membrane surface of somatic and dendritic profiles of neurons. No labelling was found in axon terminals, axons, or glial processes. NK1 immunoreactivity, as revealed by a preembedding immunogold technique in serial ultrathin sections; was preferentially located at nonsynaptic sites. A semiquantitative study suggested that the density of NK1 receptors is statistically higher at membrane sites free of any contact (synaptic or not) with axon terminals. The subcellular localisation of NK1 immunoreactivity was similar for neurons of both rat and cat. These results suggest that in the dorsal vagal complex, substance P might act on NK1 receptors through a process of volume transmission."}],"author":[{"first_name":"Agnès","full_name":"Baude, Agnès","last_name":"Baude"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto"}],"publication_status":"published","citation":{"chicago":"Baude, Agnès, and Ryuichi Shigemoto. “Cellular and Subcellular Distribution of Substance P Receptor Immunoreactivity in the Dorsal Vagal Complex of the Rat and Cat: A Light and Electron Microscope Study.” Journal of Comparative Neurology. Wiley-Blackwell, 1998. https://doi.org/10.1002/(SICI)1096-9861(19981214)402:2<181::AID-CNE4>3.0.CO;2-B.","ieee":"A. Baude and R. Shigemoto, “Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study,” Journal of Comparative Neurology, vol. 402, no. 2. Wiley-Blackwell, pp. 181–196, 1998.","apa":"Baude, A., & Shigemoto, R. (1998). Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19981214)402:2<181::AID-CNE4>3.0.CO;2-B","ista":"Baude A, Shigemoto R. 1998. Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study. Journal of Comparative Neurology. 402(2), 181–196.","short":"A. Baude, R. Shigemoto, Journal of Comparative Neurology 402 (1998) 181–196.","mla":"Baude, Agnès, and Ryuichi Shigemoto. “Cellular and Subcellular Distribution of Substance P Receptor Immunoreactivity in the Dorsal Vagal Complex of the Rat and Cat: A Light and Electron Microscope Study.” Journal of Comparative Neurology, vol. 402, no. 2, Wiley-Blackwell, 1998, pp. 181–96, doi:10.1002/(SICI)1096-9861(19981214)402:2<181::AID-CNE4>3.0.CO;2-B.","ama":"Baude A, Shigemoto R. Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study. Journal of Comparative Neurology. 1998;402(2):181-196. doi:10.1002/(SICI)1096-9861(19981214)402:2<181::AID-CNE4>3.0.CO;2-B"},"pmid":1,"_id":"2589","extern":"1","publication_identifier":{"issn":["0021-9967"]},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","acknowledgement":"The authors thank Dr. Wolfgang A.A. Kunze for his helpin the English reviewing of the manuscript. The authorsthank Drs. Nadine Clerc, Jean-Pierre Kessler, WolfgangA.A. Kunze, Jean-Jacques Puizillout, and Fabien Tell fortheir constructive discussions and critiques of the manu-script. This study was supported by CNRS (FR45/UPR9024).","quality_controlled":"1","oa_version":"None","date_updated":"2022-08-31T12:57:30Z","publist_id":"4310","volume":402,"article_processing_charge":"No","publisher":"Wiley-Blackwell","scopus_import":"1","language":[{"iso":"eng"}],"month":"12","article_type":"original","date_published":"1998-12-14T00:00:00Z","date_created":"2018-12-11T11:58:32Z","intvolume":" 402","status":"public","day":"14","type":"journal_article","issue":"2","publication":"Journal of Comparative Neurology","page":"181 - 196"},{"date_created":"2018-12-11T11:58:33Z","date_published":"1998-01-01T00:00:00Z","article_type":"original","month":"01","language":[{"iso":"eng"}],"publisher":"Kluwer","scopus_import":"1","page":"303 - 327","issue":"5","publication":"Journal of Neurocytology","type":"journal_article","day":"01","status":"public","intvolume":" 27","doi":"10.1023/A:1006982023657","year":"1998","title":" Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex","external_id":{"pmid":["9923978 "]},"publist_id":"4308","date_updated":"2022-08-31T12:30:14Z","volume":27,"article_processing_charge":"No","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","acknowledgement":"The authors wish to thank Dr R. L. Huganir and coworkers for kindly providing an aliquot of their mGluR1a antibody and Dr N. Traverse Slater for helpful comments on the manuscript. The study was supported by US-PHS grants NS 09904 and DC 01805 (to E.M.).","quality_controlled":"1","oa_version":"None","pmid":1,"_id":"2590","extern":"1","publication_identifier":{"issn":["0300-4864"]},"publication_status":"published","citation":{"ieee":"D. Jaarsma, M. Diño, H. Ohishi, R. Shigemoto, and E. Mugnaini, “ Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex,” Journal of Neurocytology, vol. 27, no. 5. Kluwer, pp. 303–327, 1998.","apa":"Jaarsma, D., Diño, M., Ohishi, H., Shigemoto, R., & Mugnaini, E. (1998). Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Journal of Neurocytology. Kluwer. https://doi.org/10.1023/A:1006982023657","chicago":"Jaarsma, Dick, Maria Diño, Hitoshi Ohishi, Ryuichi Shigemoto, and Enrico Mugnaini. “ Metabotropic Glutamate Receptors Are Associated with Non-Synaptic Appendages of Unipolar Brush Cells in Rat Cerebellar Cortex and Cochlear Nuclear Complex.” Journal of Neurocytology. Kluwer, 1998. https://doi.org/10.1023/A:1006982023657.","mla":"Jaarsma, Dick, et al. “ Metabotropic Glutamate Receptors Are Associated with Non-Synaptic Appendages of Unipolar Brush Cells in Rat Cerebellar Cortex and Cochlear Nuclear Complex.” Journal of Neurocytology, vol. 27, no. 5, Kluwer, 1998, pp. 303–27, doi:10.1023/A:1006982023657.","ama":"Jaarsma D, Diño M, Ohishi H, Shigemoto R, Mugnaini E. Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Journal of Neurocytology. 1998;27(5):303-327. doi:10.1023/A:1006982023657","ista":"Jaarsma D, Diño M, Ohishi H, Shigemoto R, Mugnaini E. 1998. Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Journal of Neurocytology. 27(5), 303–327.","short":"D. Jaarsma, M. Diño, H. Ohishi, R. Shigemoto, E. Mugnaini, Journal of Neurocytology 27 (1998) 303–327."},"author":[{"first_name":"Dick","full_name":"Jaarsma, Dick","last_name":"Jaarsma"},{"full_name":"Diño, Maria","last_name":"Diño","first_name":"Maria"},{"last_name":"Ohishi","full_name":"Ohishi, Hitoshi","first_name":"Hitoshi"},{"full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto","orcid":"0000-0001-8761-9444","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Mugnaini, Enrico","last_name":"Mugnaini","first_name":"Enrico"}],"abstract":[{"lang":"eng","text":"Unipolar brush cells (UBCs) are a class of small neurons that are densely concentrated in the granular layers of the vestibulocerebellar cortex and dorsal cochlear nucleus. The UBCs form giant synapses with individual mossy fibre rosettes on the dendrioles which make up their brush formations and are provided with numerous, unusual non-synaptic appendages. In accord with the glutamatergic nature of mossy fibres, our previous post-embedding immunocytochemical studies indicated that various ionotropic glutamate receptor subunits are localized at the post-synaptic densities of the giant synapses, whereas the non-synaptic appendages are immunonegative. On the contrary, the metabotropic glutamate receptors mGluR1α and mGluR2/3 are situated at the non-synaptic appendages and are lacking at the post-synaptic densities. Other authors, however, have shown that antibodies to these metabotropic receptors stain both appendages and post-synaptic densities. In the present study, we have re-evaluated the distribution of metabotropic glutamate receptors in the UBCs of the cerebellum and the cochlear nuclear complex by light and electron microscopic pre-embedding immunocytochemistry with subtype-specific antibodies. We confirm that UBCs dendritic brushes are densely immunostained by antibody to mGluR1α particularly in the cerebellum and that antibody to mGluR2/3 labels at least a percentage of the UBC brushes in both the cerebellum and cochlear nuclei. At the ultrastructural level, it appears that mGluR1α and mGluR2/3 immunoreactivities are not associated with the post-synaptic densities of the giant mossy fibre-UBC synapses, but instead are concentrated on the non-synaptic appendages of the cerebellar UBCs. The non-synaptic appendages, therefore, may be an important avenue for regulating the excitability of UBCs and mediating glutamate effects on their still unknown intracellular signal transduction cascades. We also show that the pre-synaptic densities of UBC dendrodendritic junctions are mGluR2/3 positive. As previously demonstrated, antibodies to mGluR1α and mGluR2/3 label subsets of Golgi cells. Antibody to mGluR5 does not stain UBCs in the cerebellum and cochlear nucleus and reveals the somatodendritic compartment of Golgi cells situated in the core of the cerebellar granular layer, whilst cochlear nucleus Golgi cells are mGluR5 negative."}]},{"date_updated":"2022-08-31T11:46:40Z","volume":217,"publist_id":"4202","page":"137 - 155","article_processing_charge":"No","publication":"Advances in Differential Equations and Mathematical Physics","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","quality_controlled":"1","oa_version":"None","_id":"2695","publication_identifier":{"issn":["0271-4132"]},"extern":"1","type":"book_chapter","publication_status":"published","citation":{"ama":"Erdös L, Yau H. Linear Boltzmann equation as scaling limit of quantum Lorentz gas. In: Advances in Differential Equations and Mathematical Physics. Vol 217. American Mathematical Society; 1998:137-155. doi:10.1090/conm/217","mla":"Erdös, László, and Horng Yau. “Linear Boltzmann Equation as Scaling Limit of Quantum Lorentz Gas.” Advances in Differential Equations and Mathematical Physics, vol. 217, American Mathematical Society, 1998, pp. 137–55, doi:10.1090/conm/217.","short":"L. Erdös, H. Yau, in:, Advances in Differential Equations and Mathematical Physics, American Mathematical Society, 1998, pp. 137–155.","ista":"Erdös L, Yau H. 1998.Linear Boltzmann equation as scaling limit of quantum Lorentz gas. In: Advances in Differential Equations and Mathematical Physics. Contemporary Mathematics, vol. 217, 137–155.","ieee":"L. Erdös and H. Yau, “Linear Boltzmann equation as scaling limit of quantum Lorentz gas,” in Advances in Differential Equations and Mathematical Physics, vol. 217, American Mathematical Society, 1998, pp. 137–155.","apa":"Erdös, L., & Yau, H. (1998). Linear Boltzmann equation as scaling limit of quantum Lorentz gas. In Advances in Differential Equations and Mathematical Physics (Vol. 217, pp. 137–155). American Mathematical Society. https://doi.org/10.1090/conm/217","chicago":"Erdös, László, and Horng Yau. “Linear Boltzmann Equation as Scaling Limit of Quantum Lorentz Gas.” In Advances in Differential Equations and Mathematical Physics, 217:137–55. American Mathematical Society, 1998. https://doi.org/10.1090/conm/217."},"day":"01","author":[{"last_name":"Erdös","full_name":"Erdös, László","orcid":"0000-0001-5366-9603","first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Horng","full_name":"Yau, Horng","last_name":"Yau"}],"status":"public","abstract":[{"text":"We study a quantum particle in a random potential in two scaling limits: the low density limit (or Boltzman-Grad) and the weak coupling limit. The low density limit is the quantum analogue of the Lorentz gas. In both cases, the phase space density of the quantum evolution defined through the Wigner transform or the Husimi function converges weakly to a linear Boltz-mann equation with collision kernel given by the quantum scattering cross section. ","lang":"eng"}],"intvolume":" 217","alternative_title":["Contemporary Mathematics"],"date_created":"2018-12-11T11:59:07Z","date_published":"1998-01-01T00:00:00Z","year":"1998","month":"01","doi":"10.1090/conm/217","language":[{"iso":"eng"}],"publisher":"American Mathematical Society","title":"Linear Boltzmann equation as scaling limit of quantum Lorentz gas"},{"date_created":"2018-12-11T11:59:17Z","language":[{"iso":"eng"}],"scopus_import":"1","publisher":"Springer","article_type":"original","date_published":"1998-11-01T00:00:00Z","month":"11","page":"321 - 371","publication":"Probability Theory and Related Fields","issue":"3","status":"public","intvolume":" 112","type":"journal_article","day":"01","title":"Lifschitz tail in a magnetic field: The nonclassical regime","year":"1998","doi":"10.1007/s004400050193","quality_controlled":"1","oa_version":"None","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","acknowledgement":"The author is grateful to Professor A.-S. Sznitman for explaining him his work and for fruitful discussions, and to the referee for pointing out errors and for many helpful comments.This work has been initiated and later on completed at the Forschungsinstitut für Mathematik, ETH Zürich.","publication_identifier":{"issn":["0044-3719"]},"extern":"1","_id":"2728","article_processing_charge":"No","publist_id":"4163","date_updated":"2022-08-30T08:17:54Z","volume":112,"author":[{"first_name":"László","full_name":"Erdös, László","last_name":"Erdös","orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"}],"abstract":[{"lang":"eng","text":"We obtain the Lifschitz tail, i.e. the exact low energy asymptotics of the integrated density of states (IDS) of the two-dimensional magnetic Schrödinger operator with a uniform magnetic field and random Poissonian impurities. The single site potential is repulsive and it has a finite but nonzero range. We show that the IDS is a continuous function of the energy at the bottom of the spectrum. This result complements the earlier (nonrigorous) calculations by Brézin, Gross and Itzykson which predict that the IDS is discontinuous at the bottom of the spectrum for zero range (Dirac delta) impurities at low density. We also elucidate the reason behind this apparent controversy. Our methods involve magnetic localization techniques (both in space and energy) in addition to a modified version of the "enlargement of obstacles" method developed by A.-S. Sznitman."}],"citation":{"chicago":"Erdös, László. “Lifschitz Tail in a Magnetic Field: The Nonclassical Regime.” Probability Theory and Related Fields. Springer, 1998. https://doi.org/10.1007/s004400050193.","apa":"Erdös, L. (1998). Lifschitz tail in a magnetic field: The nonclassical regime. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s004400050193","ieee":"L. Erdös, “Lifschitz tail in a magnetic field: The nonclassical regime,” Probability Theory and Related Fields, vol. 112, no. 3. Springer, pp. 321–371, 1998.","short":"L. Erdös, Probability Theory and Related Fields 112 (1998) 321–371.","ista":"Erdös L. 1998. Lifschitz tail in a magnetic field: The nonclassical regime. Probability Theory and Related Fields. 112(3), 321–371.","mla":"Erdös, László. “Lifschitz Tail in a Magnetic Field: The Nonclassical Regime.” Probability Theory and Related Fields, vol. 112, no. 3, Springer, 1998, pp. 321–71, doi:10.1007/s004400050193.","ama":"Erdös L. Lifschitz tail in a magnetic field: The nonclassical regime. Probability Theory and Related Fields. 1998;112(3):321-371. doi:10.1007/s004400050193"},"publication_status":"published"},{"title":"Average-case analysis of dynamic graph algorithms","doi":"10.1007/pl00009186","year":"1998","related_material":{"record":[{"status":"public","id":"11928","relation":"earlier_version"}]},"keyword":["Dynamic graph algorithm","Average-case analysis","Minimum spanning forest","Connectivity","Bipartiteness","Maximum matching."],"author":[{"full_name":"Alberts, D.","last_name":"Alberts","first_name":"D."},{"orcid":"0000-0002-5008-6530","last_name":"Henzinger","full_name":"Henzinger, Monika H","first_name":"Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"}],"abstract":[{"text":"We present a model for edge updates with restricted randomness in dynamic graph algorithms and a general technique for analyzing the expected running time of an update operation. This model is able to capture the average case in many applications, since (1) it allows restrictions on the set of edges which can be used for insertions and (2) the type (insertion or deletion) of each update operation is arbitrary, i.e., not random. We use our technique to analyze existing and new dynamic algorithms for the following problems: maximum cardinality matching, minimum spanning forest, connectivity, 2-edge connectivity, k -edge connectivity, k -vertex connectivity, and bipartiteness. Given a random graph G with m 0 edges and n vertices and a sequence of l update operations such that the graph contains m i edges after operation i , the expected time for performing the updates for any l is O(llogn+∑li=1n/m−−√i) in the case of minimum spanning forests, connectivity, 2-edge connectivity, and bipartiteness. The expected time per update operation is O(n) in the case of maximum matching. We also give improved bounds for k -edge and k -vertex connectivity. Additionally we give an insertions-only algorithm for maximum cardinality matching with worst-case O(n) amortized time per insertion.","lang":"eng"}],"citation":{"ieee":"D. Alberts and M. H. Henzinger, “Average-case analysis of dynamic graph algorithms,” Algorithmica, vol. 20. Springer Nature, pp. 31–60, 1998.","apa":"Alberts, D., & Henzinger, M. H. (1998). Average-case analysis of dynamic graph algorithms. Algorithmica. Springer Nature. https://doi.org/10.1007/pl00009186","chicago":"Alberts, D., and Monika H Henzinger. “Average-Case Analysis of Dynamic Graph Algorithms.” Algorithmica. Springer Nature, 1998. https://doi.org/10.1007/pl00009186.","mla":"Alberts, D., and Monika H. Henzinger. “Average-Case Analysis of Dynamic Graph Algorithms.” Algorithmica, vol. 20, Springer Nature, 1998, pp. 31–60, doi:10.1007/pl00009186.","ama":"Alberts D, Henzinger MH. Average-case analysis of dynamic graph algorithms. Algorithmica. 1998;20:31-60. doi:10.1007/pl00009186","short":"D. Alberts, M.H. Henzinger, Algorithmica 20 (1998) 31–60.","ista":"Alberts D, Henzinger MH. 1998. Average-case analysis of dynamic graph algorithms. Algorithmica. 20, 31–60."},"publication_status":"published","oa_version":"None","quality_controlled":"1","acknowledgement":"The authors would like to thank Emo Welzl for helpful discussions.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","publication_identifier":{"issn":["0178-4617"],"eissn":["1432-0541"]},"_id":"11680","article_processing_charge":"No","volume":20,"date_updated":"2023-02-21T16:33:27Z","language":[{"iso":"eng"}],"scopus_import":"1","publisher":"Springer Nature","article_type":"original","date_published":"1998-01-01T00:00:00Z","month":"01","date_created":"2022-07-28T06:50:51Z","status":"public","intvolume":" 20","type":"journal_article","day":"01","page":"31-60","publication":"Algorithmica"}]