--- _id: '4430' alternative_title: - LNCS article_processing_charge: No citation: ama: 'Henzinger TA, ed. HSCC: Hybrid Systems—Computation and Control. Vol 1386. Springer; 1998. doi:10.1007/3-540-64358-3' apa: 'Henzinger, T. A. (Ed.). (1998). HSCC: Hybrid Systems—Computation and Control (Vol. 1386). Presented at the HSCC: Hybrid Systems: Computation and Control, Berkeley, CA, United States of America: Springer. https://doi.org/10.1007/3-540-64358-3' chicago: 'Henzinger, Thomas A, ed. HSCC: Hybrid Systems—Computation and Control. Vol. 1386. Springer, 1998. https://doi.org/10.1007/3-540-64358-3.' ieee: 'T. A. Henzinger, Ed., HSCC: Hybrid Systems—Computation and Control, vol. 1386. Springer, 1998.' ista: 'Henzinger TA ed. 1998. HSCC: Hybrid Systems—Computation and Control, Springer,p.' mla: 'Henzinger, Thomas A., editor. HSCC: Hybrid Systems—Computation and Control. Vol. 1386, Springer, 1998, doi:10.1007/3-540-64358-3.' short: 'T.A. Henzinger, ed., HSCC: Hybrid Systems—Computation and Control, Springer, 1998.' conference: end_date: 1998-04-15 location: Berkeley, CA, United States of America name: 'HSCC: Hybrid Systems: Computation and Control' start_date: 1998-04-13 date_created: 2018-12-11T12:08:49Z date_published: 1998-01-01T00:00:00Z date_updated: 2022-08-24T11:36:03Z day: '01' doi: 10.1007/3-540-64358-3 editor: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 extern: '1' intvolume: ' 1386' language: - iso: eng month: '01' oa_version: None publication_identifier: isbn: - 978-3-540-64358-6 publication_status: published publisher: Springer publist_id: '300' status: public title: 'HSCC: Hybrid Systems—Computation and Control' type: conference_editor user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1386 year: '1998' ... --- _id: '4486' abstract: - lang: eng text: 'The simulation preorder on state transition systems is widely accepted as a useful notion of refinement, both in its own right and as an efficiently checkable sufficient condition for trace containment. For composite systems, due to the exponential explosion of the state space, there is a need for decomposing a simulation check of the form P< s Q into simpler simulation checks on the components of P and Q. We present an assume-guarantee rule that enables such a decomposition. To the best of our knowledge, this is the first assume-guarantee rule that applies to a refinement relation different from trace containment. Our rule is circular, and its soundness proof requires induction on trace trees. The proof is constructive: given simulation relations that witness the simulation preorder between corresponding components of P and Q, we provide a procedure for constructing a witness relation for P< s Q. We also extend our assume-guarantee rule to account for fairness assumptions on transition systems' acknowledgement: This research was supported in part by the Office of Naval Research Young Investigator award N00014-95-1-0520, by the National Science Foundation CAREER award CCR-9501708, by the National Science Foundation grant CCR-9504469, by the Defense Advanced Research Projects Agency grant NAG2-1214, by the Army Research Office MURI grant DAAH-04-96-1-0341, and by the Semiconductor Research Corporation contract 97-DC-324.041. 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 - first_name: Serdar full_name: Tasiran, Serdar last_name: Tasiran citation: ama: 'Henzinger TA, Qadeer S, Rajamani S, Tasiran S. An assume-guarantee rule for checking simulation. In: Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design. Vol 1522. Springer; 1998:421-432. doi:10.1007/3-540-49519-3_27' apa: 'Henzinger, T. A., Qadeer, S., Rajamani, S., & Tasiran, S. (1998). An assume-guarantee rule for checking simulation. In Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design (Vol. 1522, pp. 421–432). Palo Alto, CA, United States of America: Springer. https://doi.org/10.1007/3-540-49519-3_27' chicago: Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.” In Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, 1522:421–32. Springer, 1998. https://doi.org/10.1007/3-540-49519-3_27. ieee: T. A. Henzinger, S. Qadeer, S. Rajamani, and S. Tasiran, “An assume-guarantee rule for checking simulation,” in Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, Palo Alto, CA, United States of America, 1998, vol. 1522, pp. 421–432. ista: 'Henzinger TA, Qadeer S, Rajamani S, Tasiran S. 1998. An assume-guarantee rule for checking simulation. Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, LNCS, vol. 1522, 421–432.' mla: Henzinger, Thomas A., et al. “An Assume-Guarantee Rule for Checking Simulation.” Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, vol. 1522, Springer, 1998, pp. 421–32, doi:10.1007/3-540-49519-3_27. short: T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, in:, Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, Springer, 1998, pp. 421–432. conference: end_date: 1998-11-06 location: Palo Alto, CA, United States of America name: 'FMCAD: Formal Methods in Computer-Aided Design' start_date: 1998-11-04 date_created: 2018-12-11T12:09:06Z date_published: 1998-01-01T00:00:00Z date_updated: 2022-08-24T10:00:50Z day: '01' doi: 10.1007/3-540-49519-3_27 extern: '1' intvolume: ' 1522' language: - iso: eng month: '01' oa_version: None page: 421 - 432 publication: Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design publication_identifier: isbn: - '9783540651918' publication_status: published publisher: Springer publist_id: '242' quality_controlled: '1' scopus_import: '1' status: public title: An assume-guarantee rule for checking simulation type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1522 year: '1998' ... --- _id: '4488' abstract: - lang: eng text: Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system verification. Refinement mappings (homomorphisms) have long been advertised as an important method for solving the language-inclusion problem in practice. When confronted with large verification problems, we therefore attempted to make use of both techniques. We soon found that rather than offering instant solutions, the success of assume-guarantee reasoning depends critically on the construction of suitable abstraction modules, and the success of refinement checking depends critically on the construction of suitable witness modules. Moreover, as abstractions need to be witnessed, and witnesses abstracted, the process must be iterated. We present here the main lessons we learned from our experiments, in limn of a systematic and structured discipline for the compositional verification of reactive modules. An infrastructure to support this discipline, and automate parts of the verification, has been implemented in the tool Mocha. acknowledgement: This work is supported in part by ONR YIP award N00014-95-1-0520, by NSF CAREER award CCR-9501708, by NSF grant CCR-9504469, by ARO MURI grant DAAH-04-96-1-0341, and by the SRC contract 97-DC-324.041. 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. You assume, we guarantee: Methodology and case studies. In: Proceedings of the 10th International Conference on Computer Aided Verification. Vol 1427. Springer; 1998:440-451. doi:10.1007/BFb0028765' apa: 'Henzinger, T. A., Qadeer, S., & Rajamani, S. (1998). You assume, we guarantee: Methodology and case studies. In Proceedings of the 10th International Conference on Computer Aided Verification (Vol. 1427, pp. 440–451). Vancouver, Canada: Springer. https://doi.org/10.1007/BFb0028765' chicago: 'Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “You Assume, We Guarantee: Methodology and Case Studies.” In Proceedings of the 10th International Conference on Computer Aided Verification, 1427:440–51. Springer, 1998. https://doi.org/10.1007/BFb0028765.' ieee: 'T. A. Henzinger, S. Qadeer, and S. Rajamani, “You assume, we guarantee: Methodology and case studies,” in Proceedings of the 10th International Conference on Computer Aided Verification, Vancouver, Canada, 1998, vol. 1427, pp. 440–451.' ista: 'Henzinger TA, Qadeer S, Rajamani S. 1998. You assume, we guarantee: Methodology and case studies. Proceedings of the 10th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1427, 440–451.' mla: 'Henzinger, Thomas A., et al. “You Assume, We Guarantee: Methodology and Case Studies.” Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 440–51, doi:10.1007/BFb0028765.' short: T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 10th International Conference on Computer Aided Verification, Springer, 1998, pp. 440–451. conference: end_date: 1998-07-02 location: Vancouver, Canada name: 'CAV: Computer Aided Verification' start_date: 1998-06-28 date_created: 2018-12-11T12:09:06Z date_published: 1998-01-01T00:00:00Z date_updated: 2022-09-05T07:31:52Z day: '01' doi: 10.1007/BFb0028765 extern: '1' intvolume: ' 1427' language: - iso: eng month: '01' oa_version: None page: 440 - 451 publication: Proceedings of the 10th International Conference on Computer Aided Verification publication_identifier: isbn: - '9783540646082' publication_status: published publisher: Springer publist_id: '239' quality_controlled: '1' scopus_import: '1' status: public title: 'You assume, we guarantee: Methodology and case studies' type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1427 year: '1998' ... --- _id: '4489' abstract: - lang: eng text: "Symbolic model checking, which enables the automatic verification of large systems, proceeds by calculating with expressions that represent state sets. Traditionally, symbolic model-checking tools arc based on backward state traversal; their basic operation is the function pre, which given a set of states, returns the set of all predecessor states. This is because specifiers usally employ formalisms with future-time modalities. which are naturally evaluated by iterating applications of pre. It has been recently shown experimentally that symbolic model checking can perform significantly better if it is based, instead, on forward state traversal; in this case, the basic operation is the function post, which given a set of states, returns the set of all successor states. This is because forward state traversal can ensure that only those parts of the state space are explored which are reachable from an initial state and relevant for satisfaction or violation of the specification; that is, errors can be detected as soon as possible.\r\nIn this paper, we investigate which specifications can be checked by symbolic forward state traversal. We formulate the problems of symbolic backward and forward model checking by means of two -calculi. The pre- calculus is based on the pre operation; the post- calculus, on the post operation. These two -calculi induce query logics, which augment fixpoint expressions with a boolean emptiness query. Using query logics, we are able to relate and compare the symbolic backward and forward approaches. In particular, we prove that all -regular (linear-time) specifications can be expressed as post- queries, and therefore checked using symbolic forward state traversal. On the other hand, we show that there are simple branching-time specifications that cannot be checked in this way." acknowledgement: This work is supported in part by ONR YIP award N00014-95-1-0520, by NSF CAREER award CCR-9501708, by NSF grant CCR-9504469, by ARO MURI grant DAAH-04-96-1-0341, and by the SRC contract 97-DC-324.041. 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: Orna full_name: Kupferman, Orna last_name: Kupferman - first_name: Shaz full_name: Qadeer, Shaz last_name: Qadeer citation: ama: 'Henzinger TA, Kupferman O, Qadeer S. From pre-historic to post-modern symbolic model checking. In: Proceedings of the 10th International Conference on Computer Aided Verification. Vol 1427. Springer; 1998:195-206. doi:10.1007/BFb0028745' apa: 'Henzinger, T. A., Kupferman, O., & Qadeer, S. (1998). From pre-historic to post-modern symbolic model checking. In Proceedings of the 10th International Conference on Computer Aided Verification (Vol. 1427, pp. 195–206). Vancouver, Canada: Springer. https://doi.org/10.1007/BFb0028745' chicago: Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking.” In Proceedings of the 10th International Conference on Computer Aided Verification, 1427:195–206. Springer, 1998. https://doi.org/10.1007/BFb0028745. ieee: T. A. Henzinger, O. Kupferman, and S. Qadeer, “From pre-historic to post-modern symbolic model checking,” in Proceedings of the 10th International Conference on Computer Aided Verification, Vancouver, Canada, 1998, vol. 1427, pp. 195–206. ista: 'Henzinger TA, Kupferman O, Qadeer S. 1998. From pre-historic to post-modern symbolic model checking. Proceedings of the 10th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1427, 195–206.' mla: Henzinger, Thomas A., et al. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 195–206, doi:10.1007/BFb0028745. short: T.A. Henzinger, O. Kupferman, S. Qadeer, in:, Proceedings of the 10th International Conference on Computer Aided Verification, Springer, 1998, pp. 195–206. conference: end_date: 1998-07-02 location: Vancouver, Canada name: 'CAV: Computer Aided Verification' start_date: 1998-06-28 date_created: 2018-12-11T12:09:07Z date_published: 1998-01-01T00:00:00Z date_updated: 2022-08-24T09:19:53Z day: '01' doi: 10.1007/BFb0028745 extern: '1' intvolume: ' 1427' language: - iso: eng month: '01' oa_version: None page: 195 - 206 publication: Proceedings of the 10th International Conference on Computer Aided Verification publication_identifier: isbn: - '9783540646082' publication_status: published publisher: Springer publist_id: '240' quality_controlled: '1' scopus_import: '1' status: public title: From pre-historic to post-modern symbolic model checking type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1427 year: '1998' ... --- _id: '4490' abstract: - lang: eng text: "A specification formalism for reactive systems defines a class of Ω-languages. We call a specification formalism fully decidable if it is constructively closed under boolean operations and has a decidable satisfiability (nonemptiness) problem. There are two important, robust classes of Ω-languages that are definable by fully decidable formalisms. The Ω -reqular languages are definable by finite automata, or equivalcntly, by the Sequential Calculus. The counter-free Ω-regular languages are definable by temporal logic, or equivalcntly, by the first-order fragment of the Sequential Calculus. The gap between both classes can be closed by finite counting (using automata connectives), or equivalently, by projection (existential second-order quantification over letters).\r\nA specification formalism for real-time systems defines a class of timed Ω-langnages, whose letters have real-numbered time stamps. Two popular ways of specifying timing constraints rely on the use of clocks, and on the use of time bounds for temporal operators. However, temporal logics with clocks or time bounds have undecidable satisfiability problems, and finite automata with clocks (so-called timed automata) are not closed under complement. Therefore, two fully decidable restrictions of these formalisms have been proposed. In the first case, clocks are restricted to event clocks, which measure distances to immediately preceding or succeeding events only. In the second case, time bounds are restricted to nonsingular intervals, which cannot specify the exact punctuality of events. We show that the resulting classes of timed Ω-languages are robust, and we explain their relationship.\r\nFirst, we show that temporal logic with event clocks defines the same class of timed Ω-languages as temporal logic with nonsingular time bounds, and we identify a first-order monadic theory that also defines this class. Second, we show that if the ability of finite counting is added to these formalisms, we obtain the class of timed Ω-languages that are definable by finite automata with event clocks, or equivalently, by a restricted second-order extension of the monadic theory. Third, we show that if projection is added, we obtain the class of timed Ω-languages that are definable by timed automata, or equivalently, by a richer second-order extension of the monadic theory. These results identify three robust classes of timed Ω-languages, of which the third, while popular, is not definable by a, fully decidable formalism. By contrast, the first two classes are definable by fully decidable formalisms from temporal logic, from automata theory, and from monadic logic. Since the gap between these two classes can be closed by finite counting, we dub them the timed Ω-regular languages and the timed counter-free Ω-rcgular languages, respectively." acknowledgement: This work is supported in part by the ONR YIP award N00014-95-1-0520, the NSF CAREER award CCR-9501708, the NSF grant CCR-9504469, the ARO MURI grant DAAH-04-96-1-0341, the SRC contract 97-DC-324.041, the Belgian National Fund for Scientific Research (FNRS), the European Commission under WGs Aspire and Fireworks, the Portuguese FCT, and by Belgacom. 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: Jean full_name: Raskin, Jean last_name: Raskin - first_name: Pierre full_name: Schobbens, Pierre last_name: Schobbens citation: ama: 'Henzinger TA, Raskin J, Schobbens P. The regular real-time languages. In: Proceedings of the 25th International Colloqium on Automata, Languages and Programming. Vol 1443. Springer; 1998:580-591. doi:10.1007/BFb0055086' apa: 'Henzinger, T. A., Raskin, J., & Schobbens, P. (1998). The regular real-time languages. In Proceedings of the 25th International Colloqium on Automata, Languages and Programming (Vol. 1443, pp. 580–591). Aalborg, Denmark: Springer. https://doi.org/10.1007/BFb0055086' chicago: Henzinger, Thomas A, Jean Raskin, and Pierre Schobbens. “The Regular Real-Time Languages.” In Proceedings of the 25th International Colloqium on Automata, Languages and Programming, 1443:580–91. Springer, 1998. https://doi.org/10.1007/BFb0055086. ieee: T. A. Henzinger, J. Raskin, and P. Schobbens, “The regular real-time languages,” in Proceedings of the 25th International Colloqium on Automata, Languages and Programming, Aalborg, Denmark, 1998, vol. 1443, pp. 580–591. ista: 'Henzinger TA, Raskin J, Schobbens P. 1998. The regular real-time languages. Proceedings of the 25th International Colloqium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 1443, 580–591.' mla: Henzinger, Thomas A., et al. “The Regular Real-Time Languages.” Proceedings of the 25th International Colloqium on Automata, Languages and Programming, vol. 1443, Springer, 1998, pp. 580–91, doi:10.1007/BFb0055086. short: T.A. Henzinger, J. Raskin, P. Schobbens, in:, Proceedings of the 25th International Colloqium on Automata, Languages and Programming, Springer, 1998, pp. 580–591. conference: end_date: 1998-07-17 location: Aalborg, Denmark name: 'ICALP: Automata, Languages and Programming' start_date: 1998-07-13 date_created: 2018-12-11T12:09:07Z date_published: 1998-01-01T00:00:00Z date_updated: 2022-08-24T09:30:11Z day: '01' doi: 10.1007/BFb0055086 extern: '1' intvolume: ' 1443' language: - iso: eng month: '01' oa_version: None page: 580 - 591 publication: Proceedings of the 25th International Colloqium on Automata, Languages and Programming publication_identifier: isbn: - '9783540647812' publication_status: published publisher: Springer publist_id: '241' quality_controlled: '1' scopus_import: '1' status: public title: The regular real-time languages type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1443 year: '1998' ... --- _id: '4491' abstract: - lang: eng text: We present two methods for translating nonlinear hybrid systems into linear hybrid automata. Properties of the nonlinear systems can then be inferred from the automatic analysis of the translated linear hybrid automata. The first method, called clock translation, replaces constraints on nonlinear variables by constraints on clock variables. The second method, called linear phase-portrait approximation, conservatively overapproximates the phase portrait of a hybrid automaton using piecewise-constant polyhedral differential inclusions. Both methods are sound for safety properties. We illustrate both methods by using HYTECH, a symbolic model checker for linear hybrid automata, to automatically check properties of a nonlinear temperature controller and of a predator-prey ecology 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: Pei full_name: Ho, Pei last_name: Ho - first_name: Howard full_name: Wong Toi, Howard last_name: Wong Toi citation: ama: Henzinger TA, Ho P, Wong Toi H. Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. 1998;43(4):540-554. doi:10.1109/9.664156 apa: Henzinger, T. A., Ho, P., & Wong Toi, H. (1998). Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. IEEE. https://doi.org/10.1109/9.664156 chicago: Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control. IEEE, 1998. https://doi.org/10.1109/9.664156 . ieee: T. A. Henzinger, P. Ho, and H. Wong Toi, “Algorithmic analysis of nonlinear hybrid systems,” IEEE Transactions on Automatic Control, vol. 43, no. 4. IEEE, pp. 540–554, 1998. ista: Henzinger TA, Ho P, Wong Toi H. 1998. Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. 43(4), 540–554. mla: Henzinger, Thomas A., et al. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control, vol. 43, no. 4, IEEE, 1998, pp. 540–54, doi:10.1109/9.664156 . short: T.A. Henzinger, P. Ho, H. Wong Toi, IEEE Transactions on Automatic Control 43 (1998) 540–554. date_created: 2018-12-11T12:09:07Z date_published: 1998-01-01T00:00:00Z date_updated: 2022-08-23T14:34:35Z day: '01' doi: '10.1109/9.664156 ' extern: '1' intvolume: ' 43' issue: '4' language: - iso: eng month: '01' oa_version: None page: 540 - 554 publication: IEEE Transactions on Automatic Control publication_identifier: issn: - 0018-9162 publication_status: published publisher: IEEE publist_id: '238' quality_controlled: '1' status: public title: Algorithmic analysis of nonlinear hybrid systems type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 43 year: '1998' ... --- _id: '4492' abstract: - lang: eng text: Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many verification tasks for such programs can be expressed as reachability problems for hybrid automata. By improving on previous decidability and undecidability results, we identify a boundary between decidability and undecidability for the reachability problem of hybrid automata. On the positive side, we give an (optimal) PSPACE reachability algorithm for the case of initialized rectangular automata, where all analog variables follow independent trajectories within piecewise-linear envelopes and are reinitialized whenever the envelope changes. Our algorithm is based on the construction of a timed automaton that contains all reachability information about a given initialized rectangular automaton. The translation has practical significance for verification, because it guarantees the termination of symbolic procedures for the reachability analysis of initialized rectangular automata. The translation also preserves theω-languages of initialized rectangular automata with bounded nondeterminism. On the negative side, we show that several slight generalizations of initialized rectangular automata lead to an undecidable reachability problem. In particular, we prove that the reachability problem is undecidable for timed automata augmented with a single stopwatch. acknowledgement: This research was supported in part by the Office of Naval Research Young Investigator Award N00014-95-1-0520, by the National Science Foundation CAREER award CCR-9501708, by the National Science Foundation Grant CCR-9504469, by the Air Force Office of Scientific Research Contract F49620-93-1-0056, by the Army Research Office MURI Grant DAAH-04-96-1-0341, by the Army Research Office Contract DAAH-04-94-G-0026, by the Defense Advanced Research Projects Agency Grant NAG2-892, and by the California PATH program. 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 - first_name: Anuj full_name: Puri, Anuj last_name: Puri - first_name: P. full_name: Varaiya, P. last_name: Varaiya citation: ama: Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata? Journal of Computer and System Sciences. 1998;57(1):94-124. doi:10.1006/jcss.1998.1581 apa: Henzinger, T. A., Kopke, P., Puri, A., & Varaiya, P. (1998). What’s decidable about hybrid automata? Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1006/jcss.1998.1581 chicago: Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?” Journal of Computer and System Sciences. Elsevier, 1998. https://doi.org/10.1006/jcss.1998.1581. ieee: T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” Journal of Computer and System Sciences, vol. 57, no. 1. Elsevier, pp. 94–124, 1998. ista: Henzinger TA, Kopke P, Puri A, Varaiya P. 1998. What’s decidable about hybrid automata? Journal of Computer and System Sciences. 57(1), 94–124. mla: Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” Journal of Computer and System Sciences, vol. 57, no. 1, Elsevier, 1998, pp. 94–124, doi:10.1006/jcss.1998.1581. short: T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, Journal of Computer and System Sciences 57 (1998) 94–124. date_created: 2018-12-11T12:09:08Z date_published: 1998-01-01T00:00:00Z date_updated: 2022-08-23T14:29:15Z day: '01' doi: 10.1006/jcss.1998.1581 extern: '1' intvolume: ' 57' issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://www.sciencedirect.com/science/article/pii/S0022000098915811 month: '01' oa: 1 oa_version: Published Version page: 94 - 124 publication: Journal of Computer and System Sciences publication_identifier: isbn: - 0022-0000 publication_status: published publisher: Elsevier publist_id: '237' quality_controlled: '1' status: public title: What's decidable about hybrid automata? type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 57 year: '1998' ... --- _id: '4515' abstract: - lang: eng text: We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checking linear temporal formulas with timing constraints. In particular, we find that a great deal of real-time verification can be performed in polynomial space, but also that considerable care must be exercised in order to keep the real-time verification problem in polynomial space, or even decidable. acknowledgement: This research was supported in part by the Office of Naval Research Young Investigator award N00014-95-1-0520, by the National Science Foundation CAREER award CCR-9501708, by the National Science Foundation grant CCR-9504469, by the Defense Advanced Research Projects Agency grant NAG2-1214, by the Army Research Office MURI grant DAAH-04-96-1-0341, and by the Semiconductor Research Corporation contract 97-DC-324.041. 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 citation: ama: 'Henzinger TA. It’s about time: Real-time logics reviewed. In: Proceedings of the 9th Interantional Conference on Concurrency Theory. Vol 1466. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1998:439-454. doi:10.1007/BFb0055640' apa: 'Henzinger, T. A. (1998). It’s about time: Real-time logics reviewed. In Proceedings of the 9th Interantional Conference on Concurrency Theory (Vol. 1466, pp. 439–454). Nice, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0055640' chicago: 'Henzinger, Thomas A. “It’s about Time: Real-Time Logics Reviewed.” In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:439–54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. https://doi.org/10.1007/BFb0055640.' ieee: 'T. A. Henzinger, “It’s about time: Real-time logics reviewed,” in Proceedings of the 9th Interantional Conference on Concurrency Theory, Nice, France, 1998, vol. 1466, pp. 439–454.' ista: 'Henzinger TA. 1998. It’s about time: Real-time logics reviewed. Proceedings of the 9th Interantional Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1466, 439–454.' mla: 'Henzinger, Thomas A. “It’s about Time: Real-Time Logics Reviewed.” Proceedings of the 9th Interantional Conference on Concurrency Theory, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–54, doi:10.1007/BFb0055640.' short: T.A. Henzinger, in:, Proceedings of the 9th Interantional Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–454. conference: end_date: 1998-09-11 location: Nice, France name: 'CONCUR: Concurrency Theory' start_date: 1998-09-08 date_created: 2018-12-11T12:09:15Z date_published: 1998-01-01T00:00:00Z date_updated: 2022-08-23T14:24:08Z day: '01' doi: 10.1007/BFb0055640 extern: '1' intvolume: ' 1466' language: - iso: eng month: '01' oa_version: None page: 439 - 454 publication: Proceedings of the 9th Interantional Conference on Concurrency Theory publication_identifier: isbn: - 978-3-540-64896-3 publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik publist_id: '214' quality_controlled: '1' scopus_import: '1' status: public title: 'It''s about time: Real-time logics reviewed' type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1466 year: '1998' ... --- _id: '2493' abstract: - lang: eng text: 'A specific antiserum against substance P receptor (SPR) labels nonprincipal neurons in the cerebral cortex of the rat (T. Kaneko et al. [1994], Neuroscience 60:199-211; Y. Nakaya et al. [1994], J. Comp. Neurol. 347:249-274). In the present study, we aimed to identify the types of SPR- immunoreactive neurons in the hippocampus according to their content of neurochemical markers, which label interneuron populations with distinct termination patterns. Markers for perisomatic inhibitory cells, parvalbumin and cholecystokinin (CCK), colocalized with SPR in pyramidallike basket cells in the dentate gyrus and in large multipolar or bitufted cells within all hippocampal subfields respectively. A dense meshwork of SPR-immunoreactive spiny dendrites in the hilus and stratum lucidum of the CA3 region belonged largely to inhibitory cells terminating in the distal dendritic region of granule cells, as indicated by the somatostatin and neuropeptide Y (NPY) content. In addition, SPR and NPY were colocalized in numerous multipolar interneurons with dendrites branching close to the soma. Twenty-five percent of the SPR-immunoreactive cells overlapped with calretinin-positive neurons in all hippocampal subfields, showing that interneurons specialized to contact other gamma-aminobutyric acid-ergic cells may also contain SPR. On the basis of the known termination pattern of the colocalized markers, we conclude that SPR-positive interneurons are functionally heterogeneous and participate in different inhibitory processes: (1) perisomatic inhibition of principal cells (CCK-containing cells, and parvalbumin-positive cells in the dentate gyrus), (2) feedback dendritic inhibition in the entorhinal termination zone (somatostatin and NPY-containing cells), and (3) innervation of other interneurons (calretinin-containing cells).' acknowledgement: This sudy was supported by grants from the Human Frontier Science Program Organisation, the Howard Hughes Medical Institute, and OTKA (T 16942) Hungary.We are grateful to Dr. K.G. Baimbridge and to Dr. M.R.Celio (calbindin and parvalbumin), Dr. T. Go ̈rcs (CCK, VIP,NPY, and somatostatin), Dr. J.H. Rogers (calretinin), andDr. C.G. Beaulieau (GABA) for kind gifts of antisera. The excellent technical assistance of Mrs. E. Borok, Mrs. A.Z.Szabo, and Mr. G. Terstyanszky is also acknowledged article_processing_charge: No article_type: original author: - first_name: László full_name: Acsády, László last_name: Acsády - first_name: István full_name: Katona, István last_name: Katona - first_name: Attila full_name: Gulyás, Attila last_name: Gulyás - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Tamás full_name: Freund, Tamás last_name: Freund citation: ama: Acsády L, Katona I, Gulyás A, Shigemoto R, Freund T. Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus. Journal of Comparative Neurology. 1997;378(3):320-336. doi:10.1002/(SICI)1096-9861(19970217)378:3&lt;320::AID-CNE2&gt;3.0.CO;2-5 apa: Acsády, L., Katona, I., Gulyás, A., Shigemoto, R., & Freund, T. (1997). Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19970217)378:3&lt;320::AID-CNE2&gt;3.0.CO;2-5 chicago: Acsády, László, István Katona, Attila Gulyás, Ryuichi Shigemoto, and Tamás Freund. “Immunostaining for Substance P Receptor Labels GABAergic Cells with Distinct Termination Patterns in the Hippocampus.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. https://doi.org/10.1002/(SICI)1096-9861(19970217)378:3&lt;320::AID-CNE2&gt;3.0.CO;2-5. ieee: L. Acsády, I. Katona, A. Gulyás, R. Shigemoto, and T. Freund, “Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus,” Journal of Comparative Neurology, vol. 378, no. 3. Wiley-Blackwell, pp. 320–336, 1997. ista: Acsády L, Katona I, Gulyás A, Shigemoto R, Freund T. 1997. Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus. Journal of Comparative Neurology. 378(3), 320–336. mla: Acsády, László, et al. “Immunostaining for Substance P Receptor Labels GABAergic Cells with Distinct Termination Patterns in the Hippocampus.” Journal of Comparative Neurology, vol. 378, no. 3, Wiley-Blackwell, 1997, pp. 320–36, doi:10.1002/(SICI)1096-9861(19970217)378:3&lt;320::AID-CNE2&gt;3.0.CO;2-5. short: L. Acsády, I. Katona, A. Gulyás, R. Shigemoto, T. Freund, Journal of Comparative Neurology 378 (1997) 320–336. date_created: 2018-12-11T11:57:59Z date_published: 1997-02-17T00:00:00Z date_updated: 2022-08-22T13:43:18Z day: '17' doi: 10.1002/(SICI)1096-9861(19970217)378:3<320::AID-CNE2>3.0.CO;2-5 extern: '1' external_id: pmid: - '9034894' intvolume: ' 378' issue: '3' language: - iso: eng month: '02' oa_version: None page: 320 - 336 pmid: 1 publication: Journal of Comparative Neurology publication_identifier: issn: - 0021-9967 publication_status: published publisher: Wiley-Blackwell publist_id: '4408' quality_controlled: '1' scopus_import: '1' status: public title: Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 378 year: '1997' ... --- _id: '2575' abstract: - lang: eng text: It was examined electron microscopically in the rat if a metabotropic glutamate receptor, mGluR7, might be localized in axon terminals of nociceptive, primary afferent fibers in laminae I and II of the spinal dorsal horn. Nociceptive nature of axon terminals showing mGluR7-like immunoreactivity (mGluR7-LI) was indicated by binding to the isolectin I-B4 from Griffonia simplicifolia (I-B4), or by substance P-like immunoreactivity (SP-LI). Axon terminals labeled with immunogold particles indicating mGluR7-LI were usually filled with round synaptic vesicles and were in asymmetric synaptic contact with dendritic or somatic profiles; occasionally they contained pleomorphic vesicles and were in symmetric synaptic contact with somatic profiles in lamina II. The double-labeling studies revealed that most of axon terminals with I-B4 labeling as well as a small population of axon terminals with SP-LI, showed mGluR7-LI. About one-third or much smaller population of axon terminals with mGluR7-LI in laminae I and II were labeled, respectively, with I-B4 or SP-LI; these were in asymmetric synaptic contact with dendritic profiles. acknowledgement: We are grateful for photographic help of Mr. Akira Uesugi. We also express our gratitude for the support of Drs. Satoru Fukuchi, Ritsu Hayashi, Sohzaburo Hayashi, Mizuho Katsurada, Hitoshi Kawai, Yutaka Kitani, Toshihiko Kuroda, Keiko Kumagai, Hiroshi Matsubara, Hiroshi Matsushima, Chisato Minakuchi, Gonpei Niwa, Hajime Oda, Masahiko Ohbayashi, Sei-ichi Ohbayashi, Hiroyasu Ohtsuka, Shigeo Tamaki, Eizo Watanabe, Kazuo Yoshino, and Toshiaki Yoshino. This work was supported in part by Grant-in-Aid from Ministry of Education, Science, Culture and Sports of Japan. article_processing_charge: No article_type: original author: - first_name: He full_name: Li, He last_name: Li - first_name: Hitoshi full_name: Ohishi, Hitoshi last_name: Ohishi - 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: Sakashi full_name: Nomura, Sakashi last_name: Nomura - first_name: Noboru full_name: Mizuno, Noboru last_name: Mizuno citation: ama: 'Li H, Ohishi H, Kinoshita A, Shigemoto R, Nomura S, Mizuno N. Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat. Neuroscience Letters. 1997;223(3):153-156. doi:10.1016/S0304-3940(97)13429-2' apa: 'Li, H., Ohishi, H., Kinoshita, A., Shigemoto, R., Nomura, S., & Mizuno, N. (1997). Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/S0304-3940(97)13429-2' chicago: 'Li, He, Hitoshi Ohishi, Ayae Kinoshita, Ryuichi Shigemoto, Sakashi Nomura, and Noboru Mizuno. “Localization of a Metabotropic Glutamate Receptor, MGluR7, in Axon Terminals of Presumed Nociceptive, Primary Afferent Fibers in the Superficial Layers of the Spinal Dorsal Horn: An Electron Microscope Study in the Rat.” Neuroscience Letters. Elsevier, 1997. https://doi.org/10.1016/S0304-3940(97)13429-2.' ieee: 'H. Li, H. Ohishi, A. Kinoshita, R. Shigemoto, S. Nomura, and N. Mizuno, “Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat,” Neuroscience Letters, vol. 223, no. 3. Elsevier, pp. 153–156, 1997.' ista: 'Li H, Ohishi H, Kinoshita A, Shigemoto R, Nomura S, Mizuno N. 1997. Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat. Neuroscience Letters. 223(3), 153–156.' mla: 'Li, He, et al. “Localization of a Metabotropic Glutamate Receptor, MGluR7, in Axon Terminals of Presumed Nociceptive, Primary Afferent Fibers in the Superficial Layers of the Spinal Dorsal Horn: An Electron Microscope Study in the Rat.” Neuroscience Letters, vol. 223, no. 3, Elsevier, 1997, pp. 153–56, doi:10.1016/S0304-3940(97)13429-2.' short: H. Li, H. Ohishi, A. Kinoshita, R. Shigemoto, S. Nomura, N. Mizuno, Neuroscience Letters 223 (1997) 153–156. date_created: 2018-12-11T11:58:28Z date_published: 1997-02-28T00:00:00Z date_updated: 2022-08-22T13:06:30Z day: '28' doi: 10.1016/S0304-3940(97)13429-2 extern: '1' external_id: pmid: - '9080455' intvolume: ' 223' issue: '3' language: - iso: eng month: '02' oa_version: None page: 153 - 156 pmid: 1 publication: Neuroscience Letters publication_identifier: issn: - 0304-3940 publication_status: published publisher: Elsevier publist_id: '4322' quality_controlled: '1' scopus_import: '1' status: public title: 'Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 223 year: '1997' ... --- _id: '2576' abstract: - lang: eng text: Primary afferent neurons containing substance P (SP) are apparently implicated in the transmission of noxious information from the periphery to the central nervous system, and SP released from primary afferent neurons acts on second-order neurons with the SP receptor (SPR). In the rat, nociceptive information reached the hypothalamus not only through indirect pathways but also directly through trigeminohypothalamic and spinohypothalamic pathways. Thus, in the present study, the distribution pattern of trigeminohypothalamic and spinohypothalamic tract neurons showing SPR-like immunoreactivity (SPR-LI) was examined in the rat by a retrograde tract-tracing method combined with immunofluorescence histochemistry for SPR. A substantial number of trigeminal and spinal neurons with SPR-LI were retrogradely labeled with Fluore-Gold (FG) injected into the hypothalamic regions. These neurons were distributed mainly in lamina I of the medullary and spinal dorsal horns, lateral spinal nucleus, regions around the central canal of the spinal cord, and the lateral aspect of the deep part of the spinal dorsal horn. A number of SPR-LI neurons in the spinal parasympathetic nucleus were labeled with FG injected into the area around the paraventricular hypothalamic nucleus. Some SPR-LI neurons in the lateral spinal nucleus and the lateral aspect of the deep part of the spinal dorsal horn were also labeled with FG injected into the septal region. On the basis of the distribution areas of SPR-LI trigeminal and spinal neurons projecting to the hypothalamic and septal regions, it is likely that these neurons are involved in the transmission of somatic and/or visceral noxious information. acknowledgement: This study was supported by grants 08279106 and 08458245 from the Ministry of Education, Science, Sportsand Culture of Japan. We are grateful for the photographic help of Mr. Akira Uesugi and the support of Dr. Kajitaro Morita in Morita Clinic of Internal Medicine and Pediatrics, Kadoma, Osaka, Japan. We also express our gratitude for the support of Drs. Satoru Fukuchi, Ritsu Hayashi,Sohzaburo Hayashi, Mizuho Katsurada, Hitoski Kawai,Yutaka Kitani, Toshihiko Kuroda, Keiko Kumagai, Hiroshi Matsubara, Hiroshi Matsushima, Chisato Minakuchi,Gonpei Niwa, Hajime Oda, Mashiko Ohbayashi, Seiichi Ohbayashi, Hiroyasu Ohtsuka, Shigeo Tamaki, EizoWatanabe, Kazuo Yoshino, and Toshiaki Yoshino. article_processing_charge: No article_type: original author: - first_name: Jin full_name: Li, Jin last_name: Li - first_name: Takeshi full_name: Kaneko, Takeshi last_name: Kaneko - 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, Kaneko T, Shigemoto R, Mizuno N. Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat. Journal of Comparative Neurology. 1997;378(4):508-521. doi:10.1002/(SICI)1096-9861(19970224)378:4&lt;508::AID-CNE6&gt;3.0.CO;2-6 apa: Li, J., Kaneko, T., Shigemoto, R., & Mizuno, N. (1997). Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19970224)378:4&lt;508::AID-CNE6&gt;3.0.CO;2-6 chicago: Li, Jin, Takeshi Kaneko, Ryuichi Shigemoto, and Noboru Mizuno. “Distribution of Trigeminohypothalamic and Spinohypothalamic Tract Neurons Displaying Substance P Receptor-like Immunoreactivity in the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. https://doi.org/10.1002/(SICI)1096-9861(19970224)378:4&lt;508::AID-CNE6&gt;3.0.CO;2-6. ieee: J. Li, T. Kaneko, R. Shigemoto, and N. Mizuno, “Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat,” Journal of Comparative Neurology, vol. 378, no. 4. Wiley-Blackwell, pp. 508–521, 1997. ista: Li J, Kaneko T, Shigemoto R, Mizuno N. 1997. Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat. Journal of Comparative Neurology. 378(4), 508–521. mla: Li, Jin, et al. “Distribution of Trigeminohypothalamic and Spinohypothalamic Tract Neurons Displaying Substance P Receptor-like Immunoreactivity in the Rat.” Journal of Comparative Neurology, vol. 378, no. 4, Wiley-Blackwell, 1997, pp. 508–21, doi:10.1002/(SICI)1096-9861(19970224)378:4&lt;508::AID-CNE6&gt;3.0.CO;2-6. short: J. Li, T. Kaneko, R. Shigemoto, N. Mizuno, Journal of Comparative Neurology 378 (1997) 508–521. date_created: 2018-12-11T11:58:28Z date_published: 1997-02-24T00:00:00Z date_updated: 2022-08-22T13:34:53Z day: '24' doi: 10.1002/(SICI)1096-9861(19970224)378:4<508::AID-CNE6>3.0.CO;2-6 extern: '1' external_id: pmid: - '9034907' intvolume: ' 378' issue: '4' language: - iso: eng month: '02' oa_version: None page: 508 - 521 pmid: 1 publication: Journal of Comparative Neurology publication_identifier: issn: - 0021-9967 publication_status: published publisher: Wiley-Blackwell publist_id: '4323' quality_controlled: '1' scopus_import: '1' status: public title: Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 378 year: '1997' ... --- _id: '2577' abstract: - lang: eng text: The cloned cDNA for rat prostacyclin synthase was found to contain a 1503-bp open reading frame which encoded a 501-amino acid protein sharing 84% identity with the human enzyme. RNA blot analysis revealed that the rat prostacyclin synthase mRNA, as a single species of 2.1 kb, is expressed abundantly in the aorta and uterus. High levels of expression were also observed in the stomach, lung, heart, testis, liver, and skeletal muscle. Low but significant expression was also seen in the brain and kidney. Furthermore, the regional distribution and cellular localization of prostacyclin synthase mRNA were examined by in situ hybridization analysis of rat tissue sections. The definitive signals for the mRNA were localized in smooth muscle cells of the arteries, bronchi and uterus, and in the cells of the fibrous tunic surrounding the seminiferous tubules, which are characterized as smooth muscle cells. Besides smooth muscle cells, signal were also detected in the fibroblasts of the heart myocardium, lung parenchyma cells and kidney inner medulla tubules and interstitial cells. article_processing_charge: No article_type: original author: - first_name: Yoshinori full_name: Tone, Yoshinori last_name: Tone - first_name: Hiroyasu full_name: Inoue, Hiroyasu last_name: Inoue - first_name: Shuntaro full_name: Hara, Shuntaro last_name: Hara - first_name: Chieko full_name: Yokoyama, Chieko last_name: Yokoyama - first_name: Toshihisa full_name: Hatae, Toshihisa last_name: Hatae - first_name: Hiroji full_name: Oida, Hiroji last_name: Oida - first_name: Shuh full_name: Narumiya, Shuh last_name: Narumiya - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Susumu full_name: Yukawa, Susumu last_name: Yukawa - first_name: Tadashi full_name: Tanabe, Tadashi last_name: Tanabe citation: ama: Tone Y, Inoue H, Hara S, et al. The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase. European Journal of Cell Biology. 1997;72(3):268-277. apa: Tone, Y., Inoue, H., Hara, S., Yokoyama, C., Hatae, T., Oida, H., … Tanabe, T. (1997). The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase. European Journal of Cell Biology. Elsevier. chicago: Tone, Yoshinori, Hiroyasu Inoue, Shuntaro Hara, Chieko Yokoyama, Toshihisa Hatae, Hiroji Oida, Shuh Narumiya, Ryuichi Shigemoto, Susumu Yukawa, and Tadashi Tanabe. “The Regional Distribution and Cellular Localization of MRNA Encoding Rat Prostacyclin Synthase.” European Journal of Cell Biology. Elsevier, 1997. ieee: Y. Tone et al., “The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase,” European Journal of Cell Biology, vol. 72, no. 3. Elsevier, pp. 268–277, 1997. ista: Tone Y, Inoue H, Hara S, Yokoyama C, Hatae T, Oida H, Narumiya S, Shigemoto R, Yukawa S, Tanabe T. 1997. The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase. European Journal of Cell Biology. 72(3), 268–277. mla: Tone, Yoshinori, et al. “The Regional Distribution and Cellular Localization of MRNA Encoding Rat Prostacyclin Synthase.” European Journal of Cell Biology, vol. 72, no. 3, Elsevier, 1997, pp. 268–77. short: Y. Tone, H. Inoue, S. Hara, C. Yokoyama, T. Hatae, H. Oida, S. Narumiya, R. Shigemoto, S. Yukawa, T. Tanabe, European Journal of Cell Biology 72 (1997) 268–277. date_created: 2018-12-11T11:58:29Z date_published: 1997-03-01T00:00:00Z date_updated: 2022-08-22T12:50:04Z day: '01' extern: '1' external_id: pmid: - '9084989 ' intvolume: ' 72' issue: '3' language: - iso: eng month: '03' oa_version: None page: 268 - 277 pmid: 1 publication: European Journal of Cell Biology publication_identifier: issn: - 0171-9335 publication_status: published publisher: Elsevier publist_id: '4321' quality_controlled: '1' scopus_import: '1' status: public title: The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 72 year: '1997' ... --- _id: '2578' abstract: - lang: eng text: The distribution of immunoreactivity to the neurokinin3 receptor (NK3R) was examined in segments C7, T11-12, L1-2, and L4-6 of the rat spinal cord. NK3R immunoreactivity was visualized by using two antisera generated against sequences of amino acids contained in the C-terminal region of the NK3R. NK3R-immunoreactive cells were numerous in the substantia gelatinosa of all spinal segments examined as well as the dorsal commissural nucleus of spinal segments L1-2. Isolated, immunoreactive cells were scattered throughout other regions of the spinal cord. The relationship of NK3R-immunoreactivity with neurons was demonstrated by colocalization with microtubule associated protein 2-immunoreactivity in individual cells. Within neurons, NK3R- immunoreactivity was associated predominately with the plasma membrane of cell bodies and dendrites. Within the substantia gelatinosa, 86% of nitric oxide synthase (NOS)-immunoreactive neurons were also NK3R-immunoreactive. Although NOS-immunoreactive neurons were found throughout all other regions of the spinal cord in the segments examined, these were not NK3R- immunoreactive. When preganglionic sympathetic neurons in spinal segments T11-12 and L1-2 were visualized by intraperitoneal injection of Fluorogold, less than 1% of the Fluorogold-labeled neurons were also immunoreactive for NK3R. The large number of NK3R-immunoreactive neurons in the substantia gelatinosa suggests that some effects of tachykinins an somatosensation may be mediated by NK3R. acknowledgement: The authors are grateful to Dr. Colin Anderson fordiscussions of the organization of spinal autonomic nuclei.V.S.S. was a visiting research fellow in the Department ofAnatomy and Cell Biology, University of Melbourne. article_processing_charge: No article_type: original author: - first_name: Virginia full_name: Seybold, Virginia last_name: Seybold - first_name: Ivica full_name: Grković, Ivica last_name: Grković - first_name: Andrea full_name: Portbury, Andrea last_name: Portbury - first_name: Yu full_name: Ding, Yu last_name: Ding - 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 - first_name: John full_name: Furness, John last_name: Furness - first_name: Bridget full_name: Southwell, Bridget last_name: Southwell citation: ama: Seybold V, Grković I, Portbury A, et al. Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord. Journal of Comparative Neurology. 1997;381(4):439-448. doi:10.1002/(SICI)1096-9861(19970519)381:4&lt;439::AID-CNE4&gt;3.0.CO;2-3 apa: Seybold, V., Grković, I., Portbury, A., Ding, Y., Shigemoto, R., Mizuno, N., … Southwell, B. (1997). Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19970519)381:4&lt;439::AID-CNE4&gt;3.0.CO;2-3 chicago: Seybold, Virginia, Ivica Grković, Andrea Portbury, Yu Ding, Ryuichi Shigemoto, Noboru Mizuno, John Furness, and Bridget Southwell. “Relationship of NK3 Receptor-Immunoreactivity to Subpopulations of Neurons in Rat Spinal Cord.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. https://doi.org/10.1002/(SICI)1096-9861(19970519)381:4&lt;439::AID-CNE4&gt;3.0.CO;2-3. ieee: V. Seybold et al., “Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord,” Journal of Comparative Neurology, vol. 381, no. 4. Wiley-Blackwell, pp. 439–448, 1997. ista: Seybold V, Grković I, Portbury A, Ding Y, Shigemoto R, Mizuno N, Furness J, Southwell B. 1997. Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord. Journal of Comparative Neurology. 381(4), 439–448. mla: Seybold, Virginia, et al. “Relationship of NK3 Receptor-Immunoreactivity to Subpopulations of Neurons in Rat Spinal Cord.” Journal of Comparative Neurology, vol. 381, no. 4, Wiley-Blackwell, 1997, pp. 439–48, doi:10.1002/(SICI)1096-9861(19970519)381:4&lt;439::AID-CNE4&gt;3.0.CO;2-3. short: V. Seybold, I. Grković, A. Portbury, Y. Ding, R. Shigemoto, N. Mizuno, J. Furness, B. Southwell, Journal of Comparative Neurology 381 (1997) 439–448. date_created: 2018-12-11T11:58:29Z date_published: 1997-05-19T00:00:00Z date_updated: 2022-08-22T12:27:14Z day: '19' doi: 10.1002/(SICI)1096-9861(19970519)381:4<439::AID-CNE4>3.0.CO;2-3 extern: '1' external_id: pmid: - '9136801 ' intvolume: ' 381' issue: '4' language: - iso: eng month: '05' oa_version: None page: 439 - 448 pmid: 1 publication: Journal of Comparative Neurology publication_identifier: issn: - 0021-9967 publication_status: published publisher: Wiley-Blackwell publist_id: '4320' quality_controlled: '1' scopus_import: '1' status: public title: Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 381 year: '1997' ... --- _id: '2579' abstract: - lang: eng text: The localisation of the neurokinin 3 receptor (NK3r) in the rat gastrointestinal tract has been studied by using a polyclonal antiserum against the C-terminal portion (amino acids 388-452) of the rat NK3r. In the oesophagus, immunoreactivity for the NK3r was found on smooth muscle cells of the muscularis mucosae. NK3r immunoreactivity was not present on muscle cells of other regions. Nerve cell bodies immunoreactive for NK3r were seen in the myenteric and submucous plexuses of the small and large intestine, but not in the stomach or oesophagus. Immunoreactivity was largely confined to nerve cell surfaces. The reaction product was on the cell soma and initial parts of axons. Reactivity was not seen on nerve terminals. Immunoreactive nerve cells had Dogiel Type II morphology. Patterns of co-localisation of NK3r and immunoreactivity for other markers were examined in the ileum, to provide a basis from which to deduce the functional identity of NK3r-immunoreactive nerve cells. Most of the NK3r-immunoreactive nerve cells were also immunoreactive for the calcium-binding proteins, calretinin and calbindin, and all were immunoreactive for the NK1 receptor (NK1r). Nerve cells that were immunoreactive for nitric oxide synthase were not immunoreactive for either NK3r or NK1r. The projections of the calbindin and calretinin neurons were determined by nerve lesion studies. Their morphology, projections to the mucosa and other ganglia and immunoreactivity for the calcium-binding proteins suggest that the NK3r-immunoreactive neurons are intrinsic sensory neurons. acknowledgement: This work was supported by grants from the National Health and Medical Research Council of Australia and the National Science Foundation of the Peoples Republic of China. Patricia Mann is a holder of a Gastroenterological Society of Australia Post-Graduate Scholarship. article_processing_charge: No article_type: original author: - first_name: Patricia full_name: Mann, Patricia last_name: Mann - first_name: Bridget full_name: Southwell, Bridget last_name: Southwell - first_name: Yu full_name: Ding, Yu last_name: Ding - 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 - first_name: John full_name: Furness, John last_name: Furness citation: ama: Mann P, Southwell B, Ding Y, Shigemoto R, Mizuno N, Furness J. Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract. Cell and Tissue Research. 1997;289(1):1-9. doi:10.1007/s004410050846 apa: Mann, P., Southwell, B., Ding, Y., Shigemoto, R., Mizuno, N., & Furness, J. (1997). Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract. Cell and Tissue Research. Springer. https://doi.org/10.1007/s004410050846 chicago: Mann, Patricia, Bridget Southwell, Yu Ding, Ryuichi Shigemoto, Noboru Mizuno, and John Furness. “Localisation of Neurokinin 3 (NK3) Receptor Immunoreactivity in the Rat Gastrointestinal Tract.” Cell and Tissue Research. Springer, 1997. https://doi.org/10.1007/s004410050846. ieee: P. Mann, B. Southwell, Y. Ding, R. Shigemoto, N. Mizuno, and J. Furness, “Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract,” Cell and Tissue Research, vol. 289, no. 1. Springer, pp. 1–9, 1997. ista: Mann P, Southwell B, Ding Y, Shigemoto R, Mizuno N, Furness J. 1997. Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract. Cell and Tissue Research. 289(1), 1–9. mla: Mann, Patricia, et al. “Localisation of Neurokinin 3 (NK3) Receptor Immunoreactivity in the Rat Gastrointestinal Tract.” Cell and Tissue Research, vol. 289, no. 1, Springer, 1997, pp. 1–9, doi:10.1007/s004410050846. short: P. Mann, B. Southwell, Y. Ding, R. Shigemoto, N. Mizuno, J. Furness, Cell and Tissue Research 289 (1997) 1–9. date_created: 2018-12-11T11:58:29Z date_published: 1997-06-01T00:00:00Z date_updated: 2022-08-22T12:19:10Z day: '01' doi: 10.1007/s004410050846 extern: '1' external_id: pmid: - '9182595' intvolume: ' 289' issue: '1' language: - iso: eng month: '06' oa_version: None page: 1 - 9 pmid: 1 publication: Cell and Tissue Research publication_identifier: issn: - 0044-3794 publication_status: published publisher: Springer publist_id: '4319' quality_controlled: '1' scopus_import: '1' status: public title: Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 289 year: '1997' ... --- _id: '2580' abstract: - lang: eng text: Two group I metabotropic glutamate receptor subtypes, mGluR1 and mGluR5, have been reported to occur in highest concentration in an annulus surrounding the edge of the postsynaptic membrane specialisation. In order to determine whether such a distribution is uniform amongst postsynaptic mGluRs, their distribution was compared quantitatively by a pre-embedding silver-intensified immunogold technique at electron microscopic level in hippocampal pyramidal cells (mGluR5), cerebellar Purkinje cells (mGluR1α) and Golgi cells (mGluR2). The results show that mGluR1α, mGluR5 and mGluR2 each have a distinct distribution in relation to the glutamatergic synaptic junctions. On dendritic spines, mGluRlα and mGluR5 showed the highest receptor density in a perisynaptic annulus (defined as within 60 nm of the edge of the synapse) followed by a decreasing extrasynaptic (60-900 nm) receptor level, but the gradient of decrease and the proportion of the perisynaptic pool (mGluR1α, ~ 50%; vs mGluR5, ~ 25%) were different for the two receptors. The distributions of mGluRlα and mGluR5 also differed significantly from simulated random distributions. In contrast, mGluR2 was not closely associated with glutamatergic synapses in the dendritic plasma membrane of cerebellar Golgi cells and its distribution relative to synapses is not different from simulated random distribution in the membrane. The somatic membrane, the axon and the synaptic boutons of the GABAergic Golgi cells also contained immunoreactive mGluR2 that is not associated with synaptic specialisations. In the hippocampal CA1 area the distribution of immunoparticles for mGluR5 on individual spines was established using serial sections. The results indicate that dendritic spines of pyramidal cells are heterogeneous with respect to the ratio of perisynaptic to extrasynaptic mGluR5 pools and about half of the immunopositive spines lack the perisynaptic pool. The quantitative comparison of receptor distributions demonstrates that mGluRlα and mGluR5, but not mGluR2, are highly compartmentalised in different plasma membrane domains. The unique distribution of each mGluR subtype may reflect requirements for different transduction and effector mechanisms between cell types and different domains of the same cell, and suggests that the precise placement of receptors is a crucial factor contributing to neuronal communication. acknowledgement: The authors are grateful to Dr Tibor Szilagyi and Mr Laszlo Marton for advice, helpful discussions, providing the simulations of receptor distribution and the cylindrical approximation of dendritic surface (L.M.). The brain of a mGluR2 deficient mouse was kindly provided by Drs M. Yokoi and S. Nakanishi for testing of the specificity of one of the antibodies. The authors also thank Dr Jeff McIlhinney for critical comments and Dr Zoltan Nusser for help with the statistics, for helpful discussion during the project and for his comments on an earlier version of the manuscript. The technical assistance of Ms Zahida Ahmad and the photographic assistance of Mr Frank Kennedy, Mr Paul Jays and Mr Akira Uesugi are acknowledged. This work was partly supported by grants from the Japan Society for the Promotion of Science, the British Council and the Royal Society. article_processing_charge: No article_type: original author: - first_name: Rafael full_name: Luján, Rafael last_name: Luján - first_name: John full_name: Roberts, John last_name: Roberts - 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: Péter full_name: Somogyi, Péter last_name: Somogyi citation: ama: Luján R, Roberts J, Shigemoto R, Ohishi H, Somogyi P. Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites. Journal of Chemical Neuroanatomy. 1997;13(4):219-241. doi:10.1016/S0891-0618(97)00051-3 apa: Luján, R., Roberts, J., Shigemoto, R., Ohishi, H., & Somogyi, P. (1997). Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites. Journal of Chemical Neuroanatomy. Elsevier. https://doi.org/10.1016/S0891-0618(97)00051-3 chicago: Luján, Rafael, John Roberts, Ryuichi Shigemoto, Hitoshi Ohishi, and Péter Somogyi. “Differential Plasma Membrane Distribution of Metabotropic Glutamate Receptors MGluR1α, MGluR2 and MGluR5, Relative to Neurotransmitter Release Sites.” Journal of Chemical Neuroanatomy. Elsevier, 1997. https://doi.org/10.1016/S0891-0618(97)00051-3. ieee: R. Luján, J. Roberts, R. Shigemoto, H. Ohishi, and P. Somogyi, “Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites,” Journal of Chemical Neuroanatomy, vol. 13, no. 4. Elsevier, pp. 219–241, 1997. ista: Luján R, Roberts J, Shigemoto R, Ohishi H, Somogyi P. 1997. Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites. Journal of Chemical Neuroanatomy. 13(4), 219–241. mla: Luján, Rafael, et al. “Differential Plasma Membrane Distribution of Metabotropic Glutamate Receptors MGluR1α, MGluR2 and MGluR5, Relative to Neurotransmitter Release Sites.” Journal of Chemical Neuroanatomy, vol. 13, no. 4, Elsevier, 1997, pp. 219–41, doi:10.1016/S0891-0618(97)00051-3. short: R. Luján, J. Roberts, R. Shigemoto, H. Ohishi, P. Somogyi, Journal of Chemical Neuroanatomy 13 (1997) 219–241. date_created: 2018-12-11T11:58:30Z date_published: 1997-10-04T00:00:00Z date_updated: 2022-08-22T12:12:03Z day: '04' doi: 10.1016/S0891-0618(97)00051-3 extern: '1' external_id: pmid: - '9412905' intvolume: ' 13' issue: '4' language: - iso: eng month: '10' oa_version: None page: 219 - 241 pmid: 1 publication: Journal of Chemical Neuroanatomy publication_identifier: issn: - 0891-0618 publication_status: published publisher: Elsevier publist_id: '4318' quality_controlled: '1' scopus_import: '1' status: public title: Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 13 year: '1997' ... --- _id: '2581' abstract: - lang: eng text: It is well known that striatonigral neurons produce substance P (SP); however, no SP receptor (SPR) has so far been found in the substantia nigra. On the other hand, a previous study in the rat striatum indicated that SPR was expressed only in cholinergic or somatostatinergic intrinsic neurons (Kaneko et al. [1993] Brain Res. 631:297-303). Thus, it was assumed that SP produced by striatenigral neurons might be released through their intrastriatal axon collaterals to act upon intrinsic neurons in the striatum. To confirm this assumption, the distribution of axon collaterals of striatonigral neurons was examined in the striatum of the rat. The experiments were performed on brain slices by combining retrograde labeling with tetramethylrhodamine-dextran amine, electrophysiological recording, intracellular staining with biocytin, and immunocytochemistry for SPR. The distribution of axons of cholinergic striatal neurons (a group of SP-negative intrinsic striatal neurons) was also examined. It was observed that 16% of varicosities of intrastriatal axon collaterals of striatonigral neurons, as well as 6% of axonal varicosities of cholinergic neurons, were in close apposition to dendrites and cell bodies of SPB-immunoreactive striatal neurons. Since SPR-immunoreactive striatal neurons constituted only 2.7% of the total population of striatal neurons (Kaneko et al. [1993] Brain Res. 631:297-303), it appeared that axonal varicosities of striatonigral neurons were preferentially apposed to SPR-immunoreactive striatal neurons and that the varicosities in close apposition to SPR-immunoreactive neurons were derived more frequently from striatonigral neurons than from cholinergic interneurons. Confocal laser scanning microscopy indicated that axonal varicosities in close apposition to SPR-immunoreactive cells showed synaptophysin immunoreactivity, a marker of synaptic vesicles. In intrastriatal axons of striatonigral neurons, it was further revealed from electron microscopy that axonal varicosities in close apposition to SPR- immunoreactive dendrites, at least a part of them, made synapses of the symmetric type. Striatonigral neurons might release SP preferentially around cholinergic or somatostatinergic intrinsic neurons to regulate them through SP-SPR interactions. acknowledgement: The authors are grateful for the photographic help of Mr.A. Uesugi. We also express our gratitude for the support ofDrs. Satoru Fukuchi, Ritsu Hayashi, Sohzaburo Hayashi,Mizuho Katsurada, Hitoshi Kawai, Yutaka Kitani, Toshi-hiko Kuroda, Keiko Kumagai, Hiroshi Matsubara, HiroshiMatsushima, Chisato Minakuchi, Gonpei Niwa, HajimeOda, Masahiko Ohbayashi, Sei-ichi Ohbayashi, Hiroyasu Ohtsuka, Shigeo Tamaki, Eizo Watanabe, Kazuo Yoshino,and Toshiaki Yoshino. article_processing_charge: No article_type: original author: - first_name: Teffy full_name: Lee, Teffy last_name: Lee - first_name: Takeshi full_name: Kaneko, Takeshi last_name: Kaneko - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Sakashi full_name: Nomura, Sakashi last_name: Nomura - first_name: Noboru full_name: Mizuno, Noboru last_name: Mizuno citation: ama: Lee T, Kaneko T, Shigemoto R, Nomura S, Mizuno N. Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat. Journal of Comparative Neurology. 1997;388(2):250-264. doi:10.1002/(SICI)1096-9861(19971117)388:2&lt;250::AID-CNE5&gt;3.0.CO;2-0 apa: Lee, T., Kaneko, T., Shigemoto, R., Nomura, S., & Mizuno, N. (1997). Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19971117)388:2&lt;250::AID-CNE5&gt;3.0.CO;2-0 chicago: Lee, Teffy, Takeshi Kaneko, Ryuichi Shigemoto, Sakashi Nomura, and Noboru Mizuno. “Collateral Projections from Striatonigral Neurons to Substance P Receptor-Expressing Intrinsic Neurons in the Striatum of the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. https://doi.org/10.1002/(SICI)1096-9861(19971117)388:2&lt;250::AID-CNE5&gt;3.0.CO;2-0. ieee: T. Lee, T. Kaneko, R. Shigemoto, S. Nomura, and N. Mizuno, “Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat,” Journal of Comparative Neurology, vol. 388, no. 2. Wiley-Blackwell, pp. 250–264, 1997. ista: Lee T, Kaneko T, Shigemoto R, Nomura S, Mizuno N. 1997. Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat. Journal of Comparative Neurology. 388(2), 250–264. mla: Lee, Teffy, et al. “Collateral Projections from Striatonigral Neurons to Substance P Receptor-Expressing Intrinsic Neurons in the Striatum of the Rat.” Journal of Comparative Neurology, vol. 388, no. 2, Wiley-Blackwell, 1997, pp. 250–64, doi:10.1002/(SICI)1096-9861(19971117)388:2&lt;250::AID-CNE5&gt;3.0.CO;2-0. short: T. Lee, T. Kaneko, R. Shigemoto, S. Nomura, N. Mizuno, Journal of Comparative Neurology 388 (1997) 250–264. date_created: 2018-12-11T11:58:30Z date_published: 1997-11-17T00:00:00Z date_updated: 2022-08-22T10:03:38Z day: '17' doi: 10.1002/(SICI)1096-9861(19971117)388:2<250::AID-CNE5>3.0.CO;2-0 extern: '1' external_id: pmid: - '9368840' intvolume: ' 388' issue: '2' language: - iso: eng month: '11' oa_version: None page: 250 - 264 pmid: 1 publication: Journal of Comparative Neurology publication_identifier: issn: - 0021-9967 publication_status: published publisher: Wiley-Blackwell publist_id: '4316' quality_controlled: '1' scopus_import: '1' status: public title: Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 388 year: '1997' ... --- _id: '2582' abstract: - lang: eng text: 'Neurotransmission in the hippocampus is modulated variously through presynaptic metabotropic glutamate receptors (mGluRs). To establish the precise localization of presynaptic mGluRs in the rat hippocampus, we used subtype-specific antibodies for eight mGluRs (mGluR1-mGluR8) for immunohistochemistry combined with lesioning of the three major hippocampal pathways: the perforant path, mossy fiber, and Schaffer collateral. Immunoreactivity for group II (mGluR2) and group III (mGluR4a, mGluR7a, mGluR7b, and mGluR8) mGluRs was predominantly localized to presynaptic elements, whereas that for group I mGluRs (mGluR1 and mGluR5) was localized to postsynaptic elements. The medial perforant path was strongly immunoreactive for mGluR2 and mGluR7a throughout the hippocampus, and the lateral perforant path was prominently immunoreactive for mGluR8 in the dentate gyrus and CA3 area. The messy fiber was labeled for mGluR2, mGluR7a, and mGluR7b, whereas the Schaffer collateral was labeled only for mGluR7a. Electron microscopy further revealed the spatial segregation of group II and group III mGluRs within presynaptic elements. Immunolabeling for the group III receptors was predominantly observed in presynaptic active zones of asymmetrical and symmetrical synapses, whereas that for the group II receptor (mGluR2) was found in preterminal rather than terminal portions of axons. Target cell-specific segregation of receptors, first reported for mGluR7a (Shigemoto et al., 1996), was also apparent for the other group III mGluRs, suggesting that transmitter release is differentially regulated by 2-amino- 4-phosphonobutyrate-sensitive mGluRs in individual synapses on single axons according to the identity of postsynaptic neurons.' acknowledgement: This work was supported by research grants from the Inamori Foundation and the Ministry of Education, Science, Sports and Culture of Japan. We thank Peter Somogyi for helpful discussion, David Roberts for technical assistance, and Akira Uesugi for photographic assistance. We are grateful to Atsu Aiba, David Hampson, John Roder, and Herman van der Putten for providing us with mGluR1-, mGluR4-, mGluR5-, and mGluR7-deficient mice, respectively, and to Corrado Corti and Francesco Ferraguti for sharing rat mGluR8 cDNA and unpublished results. article_processing_charge: No article_type: original author: - 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: Eiki full_name: Wada, Eiki last_name: Wada - first_name: Sakashi full_name: Nomura, Sakashi last_name: Nomura - first_name: Hitoshi full_name: Ohishi, Hitoshi last_name: Ohishi - first_name: Masahiko full_name: Takada, Masahiko last_name: Takada - first_name: Peter full_name: Flor, Peter last_name: Flor - first_name: Akio full_name: Neki, Akio last_name: Neki - first_name: Takaaki full_name: Abe, Takaaki last_name: Abe - first_name: Shigetada full_name: Nakanishi, Shigetada last_name: Nakanishi - first_name: Noboru full_name: Mizuno, Noboru last_name: Mizuno citation: ama: Shigemoto R, Kinoshita A, Wada E, et al. Differential presynaptic localization of metabotropic glutamate receptor subtypes in the rat hippocampus. Journal of Neuroscience. 1997;17(19):7503-7522. doi:10.1523/JNEUROSCI.17-19-07503.1997 apa: Shigemoto, R., Kinoshita, A., Wada, E., Nomura, S., Ohishi, H., Takada, M., … Mizuno, N. (1997). Differential presynaptic localization of metabotropic glutamate receptor subtypes in the rat hippocampus. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.17-19-07503.1997 chicago: Shigemoto, Ryuichi, Ayae Kinoshita, Eiki Wada, Sakashi Nomura, Hitoshi Ohishi, Masahiko Takada, Peter Flor, et al. “Differential Presynaptic Localization of Metabotropic Glutamate Receptor Subtypes in the Rat Hippocampus.” Journal of Neuroscience. Society for Neuroscience, 1997. https://doi.org/10.1523/JNEUROSCI.17-19-07503.1997. ieee: R. Shigemoto et al., “Differential presynaptic localization of metabotropic glutamate receptor subtypes in the rat hippocampus,” Journal of Neuroscience, vol. 17, no. 19. Society for Neuroscience, pp. 7503–7522, 1997. ista: Shigemoto R, Kinoshita A, Wada E, Nomura S, Ohishi H, Takada M, Flor P, Neki A, Abe T, Nakanishi S, Mizuno N. 1997. Differential presynaptic localization of metabotropic glutamate receptor subtypes in the rat hippocampus. Journal of Neuroscience. 17(19), 7503–7522. mla: Shigemoto, Ryuichi, et al. “Differential Presynaptic Localization of Metabotropic Glutamate Receptor Subtypes in the Rat Hippocampus.” Journal of Neuroscience, vol. 17, no. 19, Society for Neuroscience, 1997, pp. 7503–22, doi:10.1523/JNEUROSCI.17-19-07503.1997. short: R. Shigemoto, A. Kinoshita, E. Wada, S. Nomura, H. Ohishi, M. Takada, P. Flor, A. Neki, T. Abe, S. Nakanishi, N. Mizuno, Journal of Neuroscience 17 (1997) 7503–7522. date_created: 2018-12-11T11:58:30Z date_published: 1997-10-01T00:00:00Z date_updated: 2022-08-22T11:32:01Z day: '01' doi: 10.1523/JNEUROSCI.17-19-07503.1997 extern: '1' external_id: pmid: - '9295396' intvolume: ' 17' issue: '19' language: - iso: eng main_file_link: - open_access: '1' url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6573434/ month: '10' oa: 1 oa_version: Published Version page: 7503 - 7522 pmid: 1 publication: Journal of Neuroscience publication_identifier: issn: - 0270-6474 publication_status: published publisher: Society for Neuroscience publist_id: '4317' quality_controlled: '1' scopus_import: '1' status: public title: Differential presynaptic localization of metabotropic glutamate receptor subtypes in the rat hippocampus type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 17 year: '1997' ... --- _id: '2727' abstract: - lang: eng text: Diamagnetism of the magnetic Schrödinger operator and paramagnetism of the Pauli operator are rigorously proven for nonhomogeneous magnetic fields in the large field, in the large temperature and in the semiclassical asymptotic regimes. New counterexamples are presented which show that neither dia-nor paramagnetism is true in a robust sense (without asymptotics). In particular, we demonstrate that the recent diamagnetic comparison result by Loss and Thaller [M. Loss and B. Thaller, Commun. Math. Phys. (submitted)] is essentially the best one can hope for. acknowledgement: This work was started in the stimulating environment and with the financial support of the PCMI Summer School on Probability Theory ~IAS Princeton, 1996!. The author also expresses his gratitude to M. Loss and B. Thaller for explaining their paper to him. 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. Dia- and paramagnetism for nonhomogeneous magnetic fields. Journal of Mathematical Physics. 1997;38(3):1289-1317. doi:10.1063/1.531909 apa: Erdös, L. (1997). Dia- and paramagnetism for nonhomogeneous magnetic fields. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.531909 chicago: Erdös, László. “Dia- and Paramagnetism for Nonhomogeneous Magnetic Fields.” Journal of Mathematical Physics. American Institute of Physics, 1997. https://doi.org/10.1063/1.531909. ieee: L. Erdös, “Dia- and paramagnetism for nonhomogeneous magnetic fields,” Journal of Mathematical Physics, vol. 38, no. 3. American Institute of Physics, pp. 1289–1317, 1997. ista: Erdös L. 1997. Dia- and paramagnetism for nonhomogeneous magnetic fields. Journal of Mathematical Physics. 38(3), 1289–1317. mla: Erdös, László. “Dia- and Paramagnetism for Nonhomogeneous Magnetic Fields.” Journal of Mathematical Physics, vol. 38, no. 3, American Institute of Physics, 1997, pp. 1289–317, doi:10.1063/1.531909. short: L. Erdös, Journal of Mathematical Physics 38 (1997) 1289–1317. date_created: 2018-12-11T11:59:17Z date_published: 1997-03-01T00:00:00Z date_updated: 2022-08-22T09:48:50Z day: '01' doi: 10.1063/1.531909 extern: '1' intvolume: ' 38' issue: '3' language: - iso: eng month: '03' oa_version: None page: 1289 - 1317 publication: Journal of Mathematical Physics publication_identifier: issn: - 0022-2488 publication_status: published publisher: American Institute of Physics publist_id: '4165' quality_controlled: '1' scopus_import: '1' status: public title: Dia- and paramagnetism for nonhomogeneous magnetic fields type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 38 year: '1997' ... --- _id: '2729' abstract: - lang: eng text: We give the leading order semiclassical asymptotics for the sum of the negative eigenvalues of the Pauli operator (in dimension two and three) with a strong non-homogeneous magnetic field. As in [LSY-II] for homogeneous field, this result can be used to prove that the magnetic Thomas-Fermi theory gives the leading order ground state energy of large atoms. We develop a new localization scheme well suited to the anisotropic character of the strong magnetic field. We also use the basic Lieb-Thirring estimate obtained in our companion paper [ES-I]. acknowledgement: L. E. gratefully acknowledges financial support from the Forschungsinstitut fur Mathematik, ETH, Zurich, where this work was started. He is also grateful for the hospitality and support of Aarhus University during his visits. The authors wish to thank the referee for the careful reading of the manuscript and the many helpful remarks and suggestions. 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 - first_name: Jan full_name: Solovej, Jan last_name: Solovej citation: ama: Erdös L, Solovej J. Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates. Communications in Mathematical Physics. 1997;188(3):599-656. doi:10.1007/s002200050181 apa: Erdös, L., & Solovej, J. (1997). Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s002200050181 chicago: Erdös, László, and Jan Solovej. “Semiclassical Eigenvalue Estimates for the Pauli Operator with Strong Non-Homogeneous Magnetic Fields, II. Leading Order Asymptotic Estimates.” Communications in Mathematical Physics. Springer, 1997. https://doi.org/10.1007/s002200050181. ieee: L. Erdös and J. Solovej, “Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates,” Communications in Mathematical Physics, vol. 188, no. 3. Springer, pp. 599–656, 1997. ista: Erdös L, Solovej J. 1997. Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates. Communications in Mathematical Physics. 188(3), 599–656. mla: Erdös, László, and Jan Solovej. “Semiclassical Eigenvalue Estimates for the Pauli Operator with Strong Non-Homogeneous Magnetic Fields, II. Leading Order Asymptotic Estimates.” Communications in Mathematical Physics, vol. 188, no. 3, Springer, 1997, pp. 599–656, doi:10.1007/s002200050181. short: L. Erdös, J. Solovej, Communications in Mathematical Physics 188 (1997) 599–656. date_created: 2018-12-11T11:59:18Z date_published: 1997-10-01T00:00:00Z date_updated: 2022-08-22T09:25:09Z day: '01' doi: 10.1007/s002200050181 extern: '1' intvolume: ' 188' issue: '3' language: - iso: eng month: '10' oa_version: None page: 599 - 656 publication: Communications in Mathematical Physics publication_identifier: issn: - 0010-3616 publication_status: published publisher: Springer publist_id: '4164' quality_controlled: '1' scopus_import: '1' status: public title: Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 188 year: '1997' ... --- _id: '11666' abstract: - lang: eng text: This article describes the Digital Continuous Profiling Infrastructure, a sampling-based profiling system designed to run continuously on production systems. The system supports multiprocessors, works on unmodified executables, and collects profiles for entire systems, including user programs, shared libraries, and the operating system kernel. Samples are collected at a high rate (over 5200 samples/sec. per 333MHz processor), yet with low overhead (1–3% slowdown for most workloads). Analysis tools supplied with the profiling system use the sample data to produce a precise and accurate accounting, down to the level of pipeline stalls incurred by individual instructions, of where time is bring spent. When instructions incur stalls, the tools identify possible reasons, such as cache misses, branch mispredictions, and functional unit contention. The fine-grained instruction-level analysis guides users and automated optimizers to the causes of performance problems and provides important insights for fixing them. acknowledgement: We would like to thank Mike Burrows, Allan Heydon, Hal Murray, Sharon Perl, and Sharon Smith for helpful comments that greatly improved the content and presentation of this article; the anonymous referees for SOSP and TOCS also provided numerous helpful comments. We would also like to thank Dawson Engler for initially suggesting the use of interprocessor interrupts to avoid expensive synchronization operations in the interrupt handler, Mitch Lichtenberg for his work on the Alpha/NT version of our system and in general for his help and suggestions on the project, and the developers of iprobe for supplying us with source code that helped us get off the ground in building the early versions of our data collection system. Finally, we would like to thank Gary Carleton and Bob Davies of Intel for answering our questions about VTune and Marty Itzkowitz of SGI for answering our questions about SpeedShop. article_processing_charge: No article_type: original author: - first_name: Jennifer M. full_name: Anderson, Jennifer M. last_name: Anderson - first_name: Lance M. full_name: Berc, Lance M. last_name: Berc - first_name: Jeffrey full_name: Dean, Jeffrey last_name: Dean - first_name: Sanjay full_name: Ghemawat, Sanjay last_name: Ghemawat - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 - first_name: Shun-Tak A. full_name: Leung, Shun-Tak A. last_name: Leung - first_name: Richard L. full_name: Sites, Richard L. last_name: Sites - first_name: Mark T. full_name: Vandevoorde, Mark T. last_name: Vandevoorde - first_name: Carl A. full_name: Waldspurger, Carl A. last_name: Waldspurger - first_name: William E. full_name: Weihl, William E. last_name: Weihl citation: ama: 'Anderson JM, Berc LM, Dean J, et al. Continuous profiling: Where have all the cycles gone? ACM Transactions on Computer Systems. 1997;15(4):357-390. doi:10.1145/265924.265925' apa: 'Anderson, J. M., Berc, L. M., Dean, J., Ghemawat, S., Henzinger, M. H., Leung, S.-T. A., … Weihl, W. E. (1997). Continuous profiling: Where have all the cycles gone? ACM Transactions on Computer Systems. Association for Computing Machinery. https://doi.org/10.1145/265924.265925' chicago: 'Anderson, Jennifer M., Lance M. Berc, Jeffrey Dean, Sanjay Ghemawat, Monika H Henzinger, Shun-Tak A. Leung, Richard L. Sites, Mark T. Vandevoorde, Carl A. Waldspurger, and William E. Weihl. “Continuous Profiling: Where Have All the Cycles Gone?” ACM Transactions on Computer Systems. Association for Computing Machinery, 1997. https://doi.org/10.1145/265924.265925.' ieee: 'J. M. Anderson et al., “Continuous profiling: Where have all the cycles gone?,” ACM Transactions on Computer Systems, vol. 15, no. 4. Association for Computing Machinery, pp. 357–390, 1997.' ista: 'Anderson JM, Berc LM, Dean J, Ghemawat S, Henzinger MH, Leung S-TA, Sites RL, Vandevoorde MT, Waldspurger CA, Weihl WE. 1997. Continuous profiling: Where have all the cycles gone? ACM Transactions on Computer Systems. 15(4), 357–390.' mla: 'Anderson, Jennifer M., et al. “Continuous Profiling: Where Have All the Cycles Gone?” ACM Transactions on Computer Systems, vol. 15, no. 4, Association for Computing Machinery, 1997, pp. 357–90, doi:10.1145/265924.265925.' short: J.M. Anderson, L.M. Berc, J. Dean, S. Ghemawat, M.H. Henzinger, S.-T.A. Leung, R.L. Sites, M.T. Vandevoorde, C.A. Waldspurger, W.E. Weihl, ACM Transactions on Computer Systems 15 (1997) 357–390. date_created: 2022-07-27T11:42:25Z date_published: 1997-11-01T00:00:00Z date_updated: 2022-09-09T12:00:13Z day: '01' doi: 10.1145/265924.265925 extern: '1' intvolume: ' 15' issue: '4' language: - iso: eng month: '11' oa_version: None page: 357-390 publication: ACM Transactions on Computer Systems publication_identifier: eissn: - 1557-7333 issn: - 0734-2071 publication_status: published publisher: Association for Computing Machinery quality_controlled: '1' scopus_import: '1' status: public title: 'Continuous profiling: Where have all the cycles gone?' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 15 year: '1997' ...