--- _id: '4014' 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. article_processing_charge: No article_type: original author: - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 citation: ama: Edelsbrunner H. Deformable smooth surface design. Discrete & Computational Geometry. 1999;21(1):87-115. doi:10.1007/PL00009412 apa: Edelsbrunner, H. (1999). Deformable smooth surface design. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/PL00009412 chicago: Edelsbrunner, Herbert. “Deformable Smooth Surface Design.” Discrete & Computational Geometry. Springer, 1999. 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. ista: Edelsbrunner H. 1999. Deformable smooth surface design. Discrete & Computational Geometry. 21(1), 87–115. mla: Edelsbrunner, Herbert. “Deformable Smooth Surface Design.” Discrete & Computational Geometry, vol. 21, no. 1, Springer, 1999, pp. 87–115, doi:10.1007/PL00009412. short: H. Edelsbrunner, Discrete & Computational Geometry 21 (1999) 87–115. date_created: 2018-12-11T12:06:26Z date_published: 1999-01-01T00:00:00Z date_updated: 2022-09-06T09:02:23Z day: '01' doi: 10.1007/PL00009412 extern: '1' intvolume: ' 21' issue: '1' language: - iso: eng month: '01' oa_version: None page: 87 - 115 publication: Discrete & Computational Geometry publication_identifier: issn: - 0179-5376 publication_status: published publisher: Springer publist_id: '2115' quality_controlled: '1' scopus_import: '1' status: public title: Deformable smooth surface design type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 21 year: '1999' ... --- _id: '4204' abstract: - lang: eng 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. 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" article_processing_charge: No article_type: original author: - first_name: Carl-Philipp J full_name: Heisenberg, Carl-Philipp J id: 39427864-F248-11E8-B48F-1D18A9856A87 last_name: Heisenberg orcid: 0000-0002-0912-4566 - first_name: Caroline full_name: Brennan, Caroline last_name: Brennan - first_name: Stephen full_name: Wilson, Stephen last_name: Wilson citation: 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 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. 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. 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. 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. short: C.-P.J. Heisenberg, C. Brennan, S. Wilson, Development 126 (1999) 2129–2140. date_created: 2018-12-11T12:07:34Z date_published: 1999-05-15T00:00:00Z date_updated: 2022-09-06T08:38:01Z day: '15' doi: 10.1242/dev.126.10.2129 extern: '1' external_id: pmid: - '10207138' intvolume: ' 126' issue: '10' language: - iso: eng month: '05' oa_version: None page: 2129 - 2140 pmid: 1 publication: Development publication_identifier: issn: - 0950-1991 publication_status: published publisher: Company of Biologists publist_id: '1914' quality_controlled: '1' scopus_import: '1' status: public title: Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 126 year: '1999' ... --- _id: '4277' abstract: - lang: eng 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.' 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. article_processing_charge: No article_type: original author: - first_name: Loeske full_name: Kruuk, Loeske last_name: Kruuk - first_name: Jason full_name: Gilchrist, Jason last_name: Gilchrist - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 citation: 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 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 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. 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. 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. short: L. Kruuk, J. Gilchrist, N.H. Barton, Evolution; International Journal of Organic Evolution 53 (1999) 1611–1616. date_created: 2018-12-11T12:08:00Z date_published: 1999-10-01T00:00:00Z date_updated: 2022-09-06T08:20:03Z day: '01' doi: 10.2307/2640907 extern: '1' external_id: pmid: - '28565554' intvolume: ' 53' issue: '5' language: - iso: eng month: '10' oa_version: None page: 1611 - 1616 pmid: 1 publication: Evolution; International Journal of Organic Evolution publication_identifier: issn: - 0014-3820 publication_status: published publisher: Wiley-Blackwell publist_id: '1811' quality_controlled: '1' scopus_import: '1' status: public title: Hybrid dysfunction in fire-bellied toads (Bombina) type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 53 year: '1999' ... --- _id: '4279' abstract: - lang: eng 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. 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. article_processing_charge: No article_type: original author: - first_name: Simon full_name: Goodman, Simon last_name: Goodman - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 - first_name: Graeme full_name: Swanson, Graeme last_name: Swanson - first_name: Kate full_name: Abernethy, Kate last_name: Abernethy - first_name: Josephine full_name: Pemberton, Josephine last_name: Pemberton citation: 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' 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.' 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.' 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.' 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. date_created: 2018-12-11T12:08:01Z date_published: 1999-05-01T00:00:00Z date_updated: 2022-09-06T08:12:14Z day: '01' doi: 10.1093/genetics/152.1.355 extern: '1' external_id: pmid: - '10224266' intvolume: ' 152' issue: '1' language: - iso: eng month: '05' oa_version: None page: 355 - 371 pmid: 1 publication: Genetics publication_identifier: issn: - 0016-6731 publication_status: published publisher: Genetics Society of America publist_id: '1809' quality_controlled: '1' scopus_import: '1' status: public title: 'Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 152 year: '1999' ... --- _id: '4411' abstract: - lang: eng 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." article_processing_charge: No author: - first_name: Shaz full_name: Qadeer, Shaz last_name: Qadeer citation: ama: Qadeer S. Algorithms and Methodology for Scalable Model Checking. 1999:1-150. apa: Qadeer, S. (1999). Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley. 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. 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. short: S. Qadeer, Algorithms and Methodology for Scalable Model Checking, University of California, Berkeley, 1999. date_created: 2018-12-11T12:08:43Z date_published: 1999-10-01T00:00:00Z date_updated: 2022-09-06T08:07:40Z day: '01' degree_awarded: PhD extern: '1' language: - iso: eng main_file_link: - url: https://www.microsoft.com/en-us/research/publication/algorithms-methodology-scalable-model-checking/ month: '10' oa_version: None page: 1 - 150 publication_status: published publisher: University of California, Berkeley publist_id: '321' status: public supervisor: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 - first_name: Robert full_name: Bryton, Robert last_name: Bryton - first_name: John full_name: Steel, John last_name: Steel title: Algorithms and Methodology for Scalable Model Checking type: dissertation user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '1999' ... --- _id: '4442' abstract: - lang: eng 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. article_processing_charge: No article_type: original author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Peter full_name: Kopke, Peter last_name: Kopke citation: 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 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 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. 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. 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. short: T.A. Henzinger, P. Kopke, Theoretical Computer Science 221 (1999) 369–392. date_created: 2018-12-11T12:08:52Z date_published: 1999-01-01T00:00:00Z date_updated: 2022-09-06T08:03:48Z day: '01' doi: 10.1016/S0304-3975(99)00038-9 extern: '1' intvolume: ' 221' issue: 1-2 language: - iso: eng month: '01' oa_version: None page: 369 - 392 publication: Theoretical Computer Science publication_identifier: issn: - 0304-3975 publication_status: published publisher: Elsevier publist_id: '290' quality_controlled: '1' scopus_import: '1' status: public title: Discrete-time control for rectangular hybrid automata type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 221 year: '1999' ... --- _id: '4480' abstract: - lang: eng 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.' article_processing_charge: No author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Xiaojun full_name: Liu, Xiaojun last_name: Liu - first_name: Shaz full_name: Qadeer, Shaz last_name: Qadeer - first_name: Sriram full_name: Rajamani, Sriram last_name: Rajamani citation: 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' 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. 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.' 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.' 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. short: T.A. Henzinger, X. Liu, S. Qadeer, S. Rajamani, in:, IEEE, 1999, pp. 494–499. conference: end_date: 1999-11-11 location: San Jose, CA, United States of America name: 'ICCAD: Computer-Aided Design' start_date: 1999-11-07 date_created: 2018-12-11T12:09:04Z date_published: 1999-01-01T00:00:00Z date_updated: 2022-09-05T14:48:48Z day: '01' doi: 10.1109/ICCAD.1999.810700 extern: '1' language: - iso: eng month: '01' oa_version: None page: 494 - 499 publication_identifier: issn: - 1092-3152 publication_status: published publisher: IEEE publist_id: '246' quality_controlled: '1' scopus_import: '1' status: public title: Formal specification and verification of a dataflow processor array type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '1999' ... --- _id: '4484' 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." alternative_title: - LNCS article_processing_charge: No author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Shaz full_name: Qadeer, Shaz last_name: Qadeer - first_name: Sriram full_name: Rajamani, Sriram last_name: Rajamani citation: 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' 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' 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. 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. short: T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 11th International Conference on Computer Aided Verification, Springer, 1999, pp. 301–315. conference: end_date: 1999-07-10 location: Trento, Italy name: 'CAV: Computer Aided Verification' start_date: 1999-07-06 date_created: 2018-12-11T12:09:05Z date_published: 1999-01-01T00:00:00Z date_updated: 2022-09-02T09:21:11Z day: '01' doi: 10.1007/3-540-48683-6_27 extern: '1' intvolume: ' 1633' language: - iso: eng month: '01' oa_version: None page: 301 - 315 publication: Proceedings of the 11th International Conference on Computer Aided Verification publication_identifier: isbn: - '9783540662020' publication_status: published publisher: Springer publist_id: '244' quality_controlled: '1' status: public title: Verifying sequential consistency on shared-memory multiprocessor systems type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1633 year: '1999' ... --- _id: '4485' 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.' 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. alternative_title: - LNCS article_processing_charge: No author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Benjamin full_name: Horowitz, Benjamin last_name: Horowitz - first_name: Ritankar full_name: Majumdar, Ritankar last_name: Majumdar citation: 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' 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' 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. 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. 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.' 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. conference: location: Eindhoven, The Netherlands name: 'CONCUR: Concurrency Theory' date_created: 2018-12-11T12:09:05Z date_published: 1999-01-01T00:00:00Z date_updated: 2022-09-02T10:54:12Z day: '01' doi: 10.1007/3-540-48320-9_23 extern: '1' intvolume: ' 1664' language: - iso: eng month: '01' oa_version: None page: 320 - 335 publication: Proceedings of the 10th International Conference on Concurrency Theory publication_identifier: isbn: - '9783540664253' publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik publist_id: '245' quality_controlled: '1' status: public title: Rectangular hybrid games type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1664 year: '1999' ... --- _id: '4487' abstract: - lang: eng 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. alternative_title: - LNCS article_processing_charge: No author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Shaz full_name: Qadeer, Shaz last_name: Qadeer - first_name: Sriram full_name: Rajamani, Sriram last_name: Rajamani 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' 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' 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. 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. 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.' 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. short: T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 11th International Conference on Computer Aided Verification, Springer, 1999, pp. 208–221. conference: end_date: 1999-07-10 location: Trento, Italy name: 'CAV: Computer Aided Verification' start_date: 1999-07-06 date_created: 2018-12-11T12:09:06Z date_published: 1999-01-01T00:00:00Z date_updated: 2022-09-02T09:04:26Z day: '01' doi: 10.1007/3-540-48683-6_20 extern: '1' intvolume: ' 1633' language: - iso: eng month: '01' oa_version: None page: 208 - 221 publication: Proceedings of the 11th International Conference on Computer Aided Verification publication_identifier: isbn: - '9783540662020' publication_status: published publisher: Springer publist_id: '243' quality_controlled: '1' status: public title: Assume-guarantee refinement between different time scales type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1633 year: '1999' ... --- _id: '2583' abstract: - lang: eng 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. 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)." article_processing_charge: No article_type: original author: - first_name: Jin full_name: Li, Jin last_name: Li - first_name: Yu full_name: Ding, Yu last_name: Ding - first_name: Kang full_name: Xiong, Kang last_name: Xiong - first_name: Ji full_name: Li, Ji last_name: Li - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Noboru full_name: Mizuno, Noboru last_name: Mizuno citation: 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' 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' 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.' 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.' 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.' short: J. Li, Y. Ding, K. Xiong, J. Li, R. Shigemoto, N. Mizuno, Neuroscience Research 30 (1998) 219–225. date_created: 2018-12-11T11:58:31Z date_published: 1998-03-01T00:00:00Z date_updated: 2022-09-01T12:19:44Z day: '01' doi: 10.1016/S0168-0102(97)00132-6 extern: '1' external_id: pmid: - '9593332' intvolume: ' 30' issue: '3' language: - iso: eng month: '03' oa_version: None page: 219 - 225 pmid: 1 publication: Neuroscience Research publication_identifier: issn: - 0168-0102 publication_status: published publisher: Elsevier publist_id: '4315' quality_controlled: '1' scopus_import: '1' status: public 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' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 30 year: '1998' ... --- _id: '2584' abstract: - lang: eng 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. 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. article_processing_charge: No article_type: original author: - first_name: Ayae full_name: Kinoshita, Ayae last_name: Kinoshita - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Hitoshi full_name: Ohishi, Hitoshi last_name: Ohishi - first_name: Herman full_name: Van Der Putten, Herman last_name: Van Der Putten - 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&lt;332::AID-CNE6&gt;3.0.CO;2-2' 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&lt;332::AID-CNE6&gt;3.0.CO;2-2' 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&lt;332::AID-CNE6&gt;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.' 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.' 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&lt;332::AID-CNE6&gt;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. date_created: 2018-12-11T11:58:31Z date_published: 1998-03-13T00:00:00Z date_updated: 2022-09-01T12:11:04Z day: '13' doi: 10.1002/(SICI)1096-9861(19980413)393:3<332::AID-CNE6>3.0.CO;2-2 extern: '1' external_id: pmid: - '9548554' intvolume: ' 393' issue: '3' language: - iso: eng month: '03' oa_version: None page: 332 - 352 pmid: 1 publication: Journal of Comparative Neurology publication_identifier: issn: - 0021-9967 publication_status: published publisher: Wiley-Blackwell publist_id: '4314' quality_controlled: '1' scopus_import: '1' status: public 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' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 393 year: '1998' ... --- _id: '2585' abstract: - lang: eng 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. 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. article_processing_charge: No article_type: original author: - first_name: Eiki full_name: Wada, Eiki last_name: Wada - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Ayae full_name: Kinoshita, Ayae last_name: Kinoshita - first_name: Hitoshi full_name: Ohishi, Hitoshi last_name: Ohishi - first_name: Noboru full_name: Mizuno, Noboru last_name: Mizuno citation: 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&lt;493::AID-CNE8&gt;3.0.CO;2-W' 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&lt;493::AID-CNE8&gt;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&lt;493::AID-CNE8&gt;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.' 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.' 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&lt;493::AID-CNE8&gt;3.0.CO;2-W.' short: E. Wada, R. Shigemoto, A. Kinoshita, H. Ohishi, N. Mizuno, Journal of Comparative Neurology 393 (1998) 493–504. date_created: 2018-12-11T11:58:31Z date_published: 1998-04-20T00:00:00Z date_updated: 2022-08-31T14:53:58Z day: '20' doi: 10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W extern: '1' external_id: pmid: - '9550154' intvolume: ' 393' issue: '4' language: - iso: eng month: '04' oa_version: None page: 493 - 504 pmid: 1 publication: Journal of Comparative Neurology publication_identifier: issn: - 0021-9967 publication_status: published publisher: Wiley-Blackwell publist_id: '4313' quality_controlled: '1' scopus_import: '1' status: public 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' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 393 year: '1998' ... --- _id: '2586' 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. 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" article_processing_charge: No article_type: original author: - first_name: Dai full_name: Watanabe, Dai last_name: Watanabe - first_name: Hitoshi full_name: Inokawa, Hitoshi last_name: Inokawa - first_name: Kouichi full_name: Hashimoto, Kouichi last_name: Hashimoto - first_name: Noboru full_name: Suzuki, Noboru last_name: Suzuki - first_name: Masanobu full_name: Kano, Masanobu last_name: Kano - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Tomoo full_name: Hirano, Tomoo last_name: Hirano - first_name: Keisuke full_name: Toyama, Keisuke last_name: Toyama - first_name: Satoshi full_name: Kaneko, Satoshi last_name: Kaneko - first_name: Mineto full_name: Yokoi, Mineto last_name: Yokoi - first_name: Koki full_name: Moriyoshi, Koki last_name: Moriyoshi - first_name: Misao full_name: Suzuki, Misao last_name: Suzuki - first_name: Kazuto full_name: Kobayashi, Kazuto last_name: Kobayashi - first_name: Toshiharu full_name: Nagatsu, Toshiharu last_name: Nagatsu - first_name: Robert full_name: Kreitman, Robert last_name: Kreitman - first_name: Ira full_name: Pastan, Ira last_name: Pastan - first_name: Shigetada full_name: Nakanishi, Shigetada last_name: Nakanishi citation: 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 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. 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. 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. 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. 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. date_created: 2018-12-11T11:58:32Z date_published: 1998-10-02T00:00:00Z date_updated: 2022-08-31T13:46:20Z day: '02' doi: 10.1016/S0092-8674(00)81779-1 extern: '1' external_id: pmid: - '9778244 ' intvolume: ' 95' issue: '1' language: - iso: eng month: '10' oa_version: None page: 17 - 27 pmid: 1 publication: Cell publication_identifier: issn: - 0092-8674 publication_status: published publisher: Cell Press publist_id: '4312' quality_controlled: '1' scopus_import: '1' status: public title: Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 95 year: '1998' ... --- _id: '2588' 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" acknowledgement: We thank D. Ristig, A. Begrich, I. Meigel and S. Leonhard for technical assistance. article_processing_charge: No article_type: original author: - first_name: Klemens full_name: Kaupmann, Klemens last_name: Kaupmann - first_name: Barbara full_name: Malitschek, Barbara last_name: Malitschek - first_name: Valérie full_name: Schuler, Valérie last_name: Schuler - first_name: Jacob full_name: Heid, Jacob last_name: Heid - first_name: Wolfgang full_name: Froestl, Wolfgang last_name: Froestl - first_name: Pascal full_name: Beck, Pascal last_name: Beck - first_name: Johannes full_name: Mosbacher, Johannes last_name: Mosbacher - first_name: Serge full_name: Bischoff, Serge last_name: Bischoff - first_name: Ákos full_name: Kulik, Ákos last_name: Kulik - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Andreas full_name: Karschin, Andreas last_name: Karschin - first_name: Bernhard full_name: Bettler, Bernhard last_name: Bettler citation: 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 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. 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. 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. 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. 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. date_created: 2018-12-11T11:58:32Z date_published: 1998-12-17T00:00:00Z date_updated: 2022-08-31T12:43:05Z day: '17' doi: 10.1038/25360 extern: '1' external_id: pmid: - '9872317' intvolume: ' 396' issue: '6712' language: - iso: eng month: '12' oa_version: None page: 683 - 687 pmid: 1 publication: Nature publication_identifier: issn: - 0028-0836 publication_status: published publisher: Nature Publishing Group publist_id: '4309' quality_controlled: '1' scopus_import: '1' status: public title: ' GABA(B)-receptor subtypes assemble into functional heteromeric complexes' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 396 year: '1998' ... --- _id: '2589' 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. 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). article_processing_charge: No article_type: original author: - first_name: Agnès full_name: Baude, Agnès last_name: Baude - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 citation: 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&lt;181::AID-CNE4&gt;3.0.CO;2-B' 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&lt;181::AID-CNE4&gt;3.0.CO;2-B' 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&lt;181::AID-CNE4&gt;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.' 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.' 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&lt;181::AID-CNE4&gt;3.0.CO;2-B.' short: A. Baude, R. Shigemoto, Journal of Comparative Neurology 402 (1998) 181–196. date_created: 2018-12-11T11:58:32Z date_published: 1998-12-14T00:00:00Z date_updated: 2022-08-31T12:57:30Z day: '14' doi: 10.1002/(SICI)1096-9861(19981214)402:2<181::AID-CNE4>3.0.CO;2-B extern: '1' external_id: pmid: - '9845242 ' intvolume: ' 402' issue: '2' language: - iso: eng month: '12' oa_version: None page: 181 - 196 pmid: 1 publication: Journal of Comparative Neurology publication_identifier: issn: - 0021-9967 publication_status: published publisher: Wiley-Blackwell publist_id: '4310' quality_controlled: '1' scopus_import: '1' status: public 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' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 402 year: '1998' ... --- _id: '2590' 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. 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.). article_processing_charge: No article_type: original author: - first_name: Dick full_name: Jaarsma, Dick last_name: Jaarsma - first_name: Maria full_name: Diño, Maria last_name: Diño - first_name: Hitoshi full_name: Ohishi, Hitoshi last_name: Ohishi - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Enrico full_name: Mugnaini, Enrico last_name: Mugnaini citation: 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 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. 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. 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. 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. short: D. Jaarsma, M. Diño, H. Ohishi, R. Shigemoto, E. Mugnaini, Journal of Neurocytology 27 (1998) 303–327. date_created: 2018-12-11T11:58:33Z date_published: 1998-01-01T00:00:00Z date_updated: 2022-08-31T12:30:14Z day: '01' doi: 10.1023/A:1006982023657 extern: '1' external_id: pmid: - '9923978 ' intvolume: ' 27' issue: '5' language: - iso: eng month: '01' oa_version: None page: 303 - 327 pmid: 1 publication: Journal of Neurocytology publication_identifier: issn: - 0300-4864 publication_status: published publisher: Kluwer publist_id: '4308' quality_controlled: '1' scopus_import: '1' status: public title: ' Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 27 year: '1998' ... --- _id: '2695' abstract: - lang: eng 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. ' alternative_title: - Contemporary Mathematics article_processing_charge: No author: - first_name: László full_name: Erdös, László id: 4DBD5372-F248-11E8-B48F-1D18A9856A87 last_name: Erdös orcid: 0000-0001-5366-9603 - first_name: Horng full_name: Yau, Horng last_name: Yau 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' 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. 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. 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.' 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. date_created: 2018-12-11T11:59:07Z date_published: 1998-01-01T00:00:00Z date_updated: 2022-08-31T11:46:40Z day: '01' doi: 10.1090/conm/217 extern: '1' intvolume: ' 217' language: - iso: eng month: '01' oa_version: None page: 137 - 155 publication: Advances in Differential Equations and Mathematical Physics publication_identifier: issn: - 0271-4132 publication_status: published publisher: American Mathematical Society publist_id: '4202' quality_controlled: '1' status: public title: Linear Boltzmann equation as scaling limit of quantum Lorentz gas type: book_chapter user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 217 year: '1998' ... --- _id: '2728' 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. 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. article_processing_charge: No article_type: original author: - first_name: László full_name: Erdös, László id: 4DBD5372-F248-11E8-B48F-1D18A9856A87 last_name: Erdös orcid: 0000-0001-5366-9603 citation: 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' 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' 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.' 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.' 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.' short: L. Erdös, Probability Theory and Related Fields 112 (1998) 321–371. date_created: 2018-12-11T11:59:17Z date_published: 1998-11-01T00:00:00Z date_updated: 2022-08-30T08:17:54Z day: '01' doi: 10.1007/s004400050193 extern: '1' intvolume: ' 112' issue: '3' language: - iso: eng month: '11' oa_version: None page: 321 - 371 publication: Probability Theory and Related Fields publication_identifier: issn: - 0044-3719 publication_status: published publisher: Springer publist_id: '4163' quality_controlled: '1' scopus_import: '1' status: public title: 'Lifschitz tail in a magnetic field: The nonclassical regime' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 112 year: '1998' ... --- _id: '11680' abstract: - lang: eng 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.' acknowledgement: The authors would like to thank Emo Welzl for helpful discussions. article_processing_charge: No article_type: original author: - first_name: D. full_name: Alberts, D. last_name: Alberts - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 citation: ama: Alberts D, Henzinger MH. Average-case analysis of dynamic graph algorithms. Algorithmica. 1998;20:31-60. doi:10.1007/pl00009186 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. ieee: D. Alberts and M. H. Henzinger, “Average-case analysis of dynamic graph algorithms,” Algorithmica, vol. 20. Springer Nature, pp. 31–60, 1998. ista: Alberts D, Henzinger MH. 1998. Average-case analysis of dynamic graph algorithms. Algorithmica. 20, 31–60. 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. short: D. Alberts, M.H. Henzinger, Algorithmica 20 (1998) 31–60. date_created: 2022-07-28T06:50:51Z date_published: 1998-01-01T00:00:00Z date_updated: 2023-02-21T16:33:27Z day: '01' doi: 10.1007/pl00009186 extern: '1' intvolume: ' 20' keyword: - Dynamic graph algorithm - Average-case analysis - Minimum spanning forest - Connectivity - Bipartiteness - Maximum matching. language: - iso: eng month: '01' oa_version: None page: 31-60 publication: Algorithmica publication_identifier: eissn: - 1432-0541 issn: - 0178-4617 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '11928' relation: earlier_version status: public scopus_import: '1' status: public title: Average-case analysis of dynamic graph algorithms type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 20 year: '1998' ...