--- _id: '11677' abstract: - lang: eng text: "We present an algorithm for maintaining the biconnected components of a graph during a sequence of edge insertions and deletions. It requires linear storage and preprocessing time. The amortized running time for insertions and for deletions isO(m 2/3 ), wherem is the number of edges in the graph. Any query of the form ‘Are the verticesu andv biconnected?’ can be answered in timeO(1). This is the first sublinear algorithm for this problem. We can also output all articulation points separating any two vertices efficiently.\r\n\r\nIf the input is a plane graph, the amortized running time for insertions and deletions drops toO(√n logn) and the query time isO(log2 n), wheren is the number of vertices in the graph. The best previously known solution takes timeO(n 2/3 ) per update or query." article_processing_charge: No article_type: original author: - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 citation: ama: Henzinger MH. Fully dynamic biconnectivity in graphs. Algorithmica. 1995;13(6):503-538. doi:10.1007/bf01189067 apa: Henzinger, M. H. (1995). Fully dynamic biconnectivity in graphs. Algorithmica. Springer Nature. https://doi.org/10.1007/bf01189067 chicago: Henzinger, Monika H. “Fully Dynamic Biconnectivity in Graphs.” Algorithmica. Springer Nature, 1995. https://doi.org/10.1007/bf01189067. ieee: M. H. Henzinger, “Fully dynamic biconnectivity in graphs,” Algorithmica, vol. 13, no. 6. Springer Nature, pp. 503–538, 1995. ista: Henzinger MH. 1995. Fully dynamic biconnectivity in graphs. Algorithmica. 13(6), 503–538. mla: Henzinger, Monika H. “Fully Dynamic Biconnectivity in Graphs.” Algorithmica, vol. 13, no. 6, Springer Nature, 1995, pp. 503–38, doi:10.1007/bf01189067. short: M.H. Henzinger, Algorithmica 13 (1995) 503–538. date_created: 2022-07-27T14:50:46Z date_published: 1995-06-01T00:00:00Z date_updated: 2022-09-12T09:00:14Z day: '01' doi: 10.1007/bf01189067 extern: '1' intvolume: ' 13' issue: '6' language: - iso: eng month: '06' oa_version: None page: 503-538 publication: Algorithmica publication_identifier: eissn: - 1432-0541 issn: - 0178-4617 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Fully dynamic biconnectivity in graphs type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 13 year: '1995' ... --- _id: '11684' abstract: - lang: eng text: 'This paper presents an algorithm for the fully dynamic biconnectivity problem whose running time is exponentially faster than all previously known solutions. It is the first dynamic algorithm that answers biconnectivity queries in time O(log/sup 2/n) in a n-node graph and can be updated after an edge insertion or deletion in polylogarithmic time. Our algorithm is a Las-Vegas style randomized algorithm with the update time amortized update time O(log/sup 4/n). Only recently the best deterministic result for this problem was improved to O(/spl radic/nlog/sup 2/n). We also give the first fully dynamic and a novel deletions-only transitive closure (i.e. directed connectivity) algorithms. These are randomized Monte Carlo algorithms. Let n be the number of nodes in the graph and let m/spl circ/ be the average number of edges in the graph during the whole update sequence: The fully dynamic algorithms achieve (1) query time O(n/logn) and update time O(m/spl circ//spl radic/nlog/sup 2/n+n); or (2) query time O(n/logn) and update time O(nm/spl circ//sup /spl mu/-1/)log/sup 2/n=O(nm/spl circ//sup 0.58/log/sup 2/n), where /spl mu/ is the exponent for boolean matrix multiplication (currently /spl mu/=2.38). The deletions-only algorithm answers queries in time O(n/logn). Its amortized update time is O(nlog/sup 2/n).' article_processing_charge: No author: - 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: V. full_name: King, V. last_name: King citation: ama: 'Henzinger MH, King V. Fully dynamic biconnectivity and transitive closure. In: Proceedings of IEEE 36th Annual Foundations of Computer Science. Institute of Electrical and Electronics Engineers; 1995:664-672. doi:10.1109/SFCS.1995.492668' apa: 'Henzinger, M. H., & King, V. (1995). Fully dynamic biconnectivity and transitive closure. In Proceedings of IEEE 36th Annual Foundations of Computer Science (pp. 664–672). Milwaukee, WI, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/SFCS.1995.492668' chicago: Henzinger, Monika H, and V. King. “Fully Dynamic Biconnectivity and Transitive Closure.” In Proceedings of IEEE 36th Annual Foundations of Computer Science, 664–72. Institute of Electrical and Electronics Engineers, 1995. https://doi.org/10.1109/SFCS.1995.492668. ieee: M. H. Henzinger and V. King, “Fully dynamic biconnectivity and transitive closure,” in Proceedings of IEEE 36th Annual Foundations of Computer Science, Milwaukee, WI, United States, 1995, pp. 664–672. ista: Henzinger MH, King V. 1995. Fully dynamic biconnectivity and transitive closure. Proceedings of IEEE 36th Annual Foundations of Computer Science. Foundations of Computer Science, 664–672. mla: Henzinger, Monika H., and V. King. “Fully Dynamic Biconnectivity and Transitive Closure.” Proceedings of IEEE 36th Annual Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1995, pp. 664–72, doi:10.1109/SFCS.1995.492668. short: M.H. Henzinger, V. King, in:, Proceedings of IEEE 36th Annual Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1995, pp. 664–672. conference: end_date: 1995-10-25 location: Milwaukee, WI, United States name: Foundations of Computer Science start_date: 1995-10-23 date_created: 2022-07-28T11:28:13Z date_published: 1995-11-01T00:00:00Z date_updated: 2023-02-09T11:35:17Z day: '01' doi: 10.1109/SFCS.1995.492668 extern: '1' language: - iso: eng month: '11' oa_version: None page: 664-672 publication: Proceedings of IEEE 36th Annual Foundations of Computer Science publication_identifier: isbn: - 0-8186-7183-1 issn: - 0272-5428 publication_status: published publisher: Institute of Electrical and Electronics Engineers quality_controlled: '1' scopus_import: '1' status: public title: Fully dynamic biconnectivity and transitive closure type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '1995' ... --- _id: '11806' abstract: - lang: eng text: This paper presents insertions-only algorithms for maintaining the exact and approximate size of the minimum edge cut and the minimum vertex cut of a graph. The algorithms output the approximate or exact size k in time O(1) or O(log n) and a cut of size k in time linear in its size. The amortized time per insertion is O(1/ε 2) for a (2+ε)-approximation, O((log λ)((log n)/ε)2) for a (1+ε)-approximation, and O(λ log n) for the exact size of the minimum edge cut, where n is the number of nodes in the graph, λ is the size of the minimum cut and ε>0. The (2+ε)-approximation algorithm and the exact algorithm are deterministic, the (1+ε)-approximation algorithm is randomized. The algorithms are optimal in the sense that the time needed for m insertions matches the time needed by the best static algorithm on a m-edge graph. We also present a static 2-approximation algorithm for the size κ of the minimum vertex cut in a graph, which takes time O(n 2 min(√n,κ)). This is a factor of κ faster than the best algorithm for computing the exact size, which takes time O(κ 2 n 2 +κ 3 n 1.5). We give an insertionsonly algorithm for maintaining a (2+ε)-approximation of the minimum vertex cut with amortized insertion time O(n(logκk)/ε). alternative_title: - LNCS article_processing_charge: No author: - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 citation: ama: 'Henzinger MH. Approximating minimum cuts under insertions. In: 22nd International Colloquium on Automata, Languages and Programming. Vol 944. Springer Nature; 1995:280–291. doi:10.1007/3-540-60084-1_81' apa: 'Henzinger, M. H. (1995). Approximating minimum cuts under insertions. In 22nd International Colloquium on Automata, Languages and Programming (Vol. 944, pp. 280–291). Szeged, Hungary: Springer Nature. https://doi.org/10.1007/3-540-60084-1_81' chicago: Henzinger, Monika H. “Approximating Minimum Cuts under Insertions.” In 22nd International Colloquium on Automata, Languages and Programming, 944:280–291. Springer Nature, 1995. https://doi.org/10.1007/3-540-60084-1_81. ieee: M. H. Henzinger, “Approximating minimum cuts under insertions,” in 22nd International Colloquium on Automata, Languages and Programming, Szeged, Hungary, 1995, vol. 944, pp. 280–291. ista: 'Henzinger MH. 1995. Approximating minimum cuts under insertions. 22nd International Colloquium on Automata, Languages and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 944, 280–291.' mla: Henzinger, Monika H. “Approximating Minimum Cuts under Insertions.” 22nd International Colloquium on Automata, Languages and Programming, vol. 944, Springer Nature, 1995, pp. 280–291, doi:10.1007/3-540-60084-1_81. short: M.H. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming, Springer Nature, 1995, pp. 280–291. conference: end_date: 1995-07-14 location: Szeged, Hungary name: 'ICALP: International Colloquium on Automata, Languages, and Programming' start_date: 1995-07-10 date_created: 2022-08-11T14:17:33Z date_published: 1995-07-01T00:00:00Z date_updated: 2023-02-14T08:09:08Z day: '01' doi: 10.1007/3-540-60084-1_81 extern: '1' intvolume: ' 944' language: - iso: eng month: '07' oa_version: None page: 280–291 publication: 22nd International Colloquium on Automata, Languages and Programming publication_identifier: eisbn: - '9783540600848' eissn: - 1611-3349 isbn: - '9783540494256' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Approximating minimum cuts under insertions type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 944 year: '1995' ... --- _id: '11805' abstract: - lang: eng text: In this paper, we present sparse certificates for biconnectivity together with algorithms for updating these certificates. We thus obtain fully-dynamic algorithms for biconnectivity in graphs that run in O(√n log n log⌈m/n⌉) amortized time per operation, where m is the number of edges and n is the number of nodes in the graph. This improves upon the results in [11], in which algorithms were presented running in O(√m) amortized time, and solves the open problem to find certificates to speed up biconnectivity, as stated in [2]. alternative_title: - LNCS article_processing_charge: No author: - 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: Han full_name: Poutré, Han last_name: Poutré citation: ama: 'Henzinger MH, Poutré H. Certificates and fast algorithms for biconnectivity in fully-dynamic graphs. In: 3rd Annual European Symposium on Algorithms. Vol 979. Springer Nature; 1995:171–184. doi:10.1007/3-540-60313-1_142' apa: 'Henzinger, M. H., & Poutré, H. (1995). Certificates and fast algorithms for biconnectivity in fully-dynamic graphs. In 3rd Annual European Symposium on Algorithms (Vol. 979, pp. 171–184). Corfu, Greece: Springer Nature. https://doi.org/10.1007/3-540-60313-1_142' chicago: Henzinger, Monika H, and Han Poutré. “Certificates and Fast Algorithms for Biconnectivity in Fully-Dynamic Graphs.” In 3rd Annual European Symposium on Algorithms, 979:171–184. Springer Nature, 1995. https://doi.org/10.1007/3-540-60313-1_142. ieee: M. H. Henzinger and H. Poutré, “Certificates and fast algorithms for biconnectivity in fully-dynamic graphs,” in 3rd Annual European Symposium on Algorithms, Corfu, Greece, 1995, vol. 979, pp. 171–184. ista: 'Henzinger MH, Poutré H. 1995. Certificates and fast algorithms for biconnectivity in fully-dynamic graphs. 3rd Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LNCS, vol. 979, 171–184.' mla: Henzinger, Monika H., and Han Poutré. “Certificates and Fast Algorithms for Biconnectivity in Fully-Dynamic Graphs.” 3rd Annual European Symposium on Algorithms, vol. 979, Springer Nature, 1995, pp. 171–184, doi:10.1007/3-540-60313-1_142. short: M.H. Henzinger, H. Poutré, in:, 3rd Annual European Symposium on Algorithms, Springer Nature, 1995, pp. 171–184. conference: end_date: 1995-09-27 location: Corfu, Greece name: 'ESA: European Symposium on Algorithms' start_date: 1995-09-25 date_created: 2022-08-11T14:09:52Z date_published: 1995-09-01T00:00:00Z date_updated: 2023-02-14T08:02:03Z day: '01' doi: 10.1007/3-540-60313-1_142 extern: '1' intvolume: ' 979' language: - iso: eng month: '09' oa_version: None page: 171–184 publication: 3rd Annual European Symposium on Algorithms publication_identifier: eisbn: - '9783540449133' eissn: - 1611-3349 isbn: - '9783540603139' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Certificates and fast algorithms for biconnectivity in fully-dynamic graphs type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 979 year: '1995' ... --- _id: '11928' abstract: - lang: eng text: "We present a model with restricted randomness for edge updates in dynamic graph algorithms and a general technique\r\nfor analyzing the expected running time of an update operation. This model is able to capture the average case in many applications, since (1) it allows restrictions on the set of edges which can be used for insertions and (2) the type (insertion or deletion) of each update operation is arbitrary, i.e., not random. We use our technique to analyze existing and new dynamic algorithms for maximum cardinality matching, minimum spanning forest, connectivity, 2-edge connectivity,\r\nk-edge connectivity, k-vertex connectivity, and bipartiteness. Given a random graph G with mo edges and n vertices and\r\na sequence of 1 update operations such that the graph contains rni edges after operation i, the expected time for performing the updates for any 1 is O(1 logn + n xi=, l/fii) in the case of minimum spanning forests, connectivity, 2-\r\nedge connectivity, and bipartiteness. The expected time per update operation is O(n) in the case of maximum matching. For k-edge and k-vertex connectivity we also give improved bounds. Additionally we give an insertions-only algorithm for maximum cardinality matching with worst-case O(n) amortized time per insertion. " article_processing_charge: No author: - first_name: David full_name: Alberts, David last_name: Alberts - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 citation: ama: 'Alberts D, Henzinger MH. Average case analysis of dynamic graph algorithms. In: 6th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 1995:312-321.' apa: 'Alberts, D., & Henzinger, M. H. (1995). Average case analysis of dynamic graph algorithms. In 6th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 312–321). San Francisco, CA, United States: Society for Industrial and Applied Mathematics.' chicago: Alberts, David, and Monika H Henzinger. “Average Case Analysis of Dynamic Graph Algorithms.” In 6th Annual ACM-SIAM Symposium on Discrete Algorithms, 312–21. Society for Industrial and Applied Mathematics, 1995. ieee: D. Alberts and M. H. Henzinger, “Average case analysis of dynamic graph algorithms,” in 6th Annual ACM-SIAM Symposium on Discrete Algorithms, San Francisco, CA, United States, 1995, pp. 312–321. ista: 'Alberts D, Henzinger MH. 1995. Average case analysis of dynamic graph algorithms. 6th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 312–321.' mla: Alberts, David, and Monika H. Henzinger. “Average Case Analysis of Dynamic Graph Algorithms.” 6th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1995, pp. 312–21. short: D. Alberts, M.H. Henzinger, in:, 6th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1995, pp. 312–321. conference: end_date: 1995-01-24 location: San Francisco, CA, United States name: 'SODA: Symposium on Discrete Algorithms' start_date: 1995-01-22 date_created: 2022-08-19T07:10:23Z date_published: 1995-01-01T00:00:00Z date_updated: 2023-02-21T16:24:58Z day: '01' extern: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://dl.acm.org/doi/10.5555/313651.313712 month: '01' oa: 1 oa_version: Published Version page: 312-321 publication: 6th Annual ACM-SIAM Symposium on Discrete Algorithms publication_identifier: isbn: - '0898713498' publication_status: published publisher: Society for Industrial and Applied Mathematics quality_controlled: '1' related_material: record: - id: '11680' relation: later_version status: public scopus_import: '1' status: public title: Average case analysis of dynamic graph algorithms type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '1995' ... --- _id: '1943' abstract: - lang: eng text: Transhydrogenase from beef-heart mitochondria was solubilised with Triton X-100 and purified by column chromatography. The detergent-dispersed enzyme catalysed the reduction of acetylpyridine adenine dinucleotide (AcPdAD+) by NADH, but only in the presence of NADP+. Experiments showed that this reaction was cyclic; NADP(H), whilst remaining bound to the enzyme, was alternately reduced by NADH and oxidised by AcPdAD+. A period of incubation of the enzyme with NADPH at pH 6.0 led to inhibition of the simple transhydrogenation reaction between AcPdAD+ and NADPH. However, after such treatment, transhydrogenase acquired the ability to catalyse the (NADPH-dependent) reduction of AcPdAD+ by NADH. It is suggested that this is a similar cycle to the one described above. Evidently, the binding affinity for NADP+ increases as a consequence of the inhibition process resulting from prolonged incubation with NADPH. The pH dependences of simple and cyclic transhydrogenation reactions are described. Though more complex than those in Escherichia coli transhydrogenase, they are consistent with the view [Hutton, M., Day, J.M., Bizouarn, T. and Jackson, J.B. (1994) Eur. J. Biochem. 219, 1041–10511] that, also in the mitochondrial enzyme, binding the release of NADP+ and NADP are accompanied by binding and release of a proton. The enzyme was successfully reconstituted into liposomes by a cholate dilution procedure. The proteoliposomes catalysed cyclic NADPH-dependent reduction of AcPdAD+ by NADH only when they were tightly coupled. However, they catalysed cyclic NADP+-dependent reduction of AcPdAD+ by NADH only when they were uncoupled eg. by addition of carbonylcyanide-p-trifluoromethoxyphenyl hydrazone. These observations are evidence that the proton binding and release which accompany NADP+ binding and release, respectively, take place on the inside of the vesicle, and that they are components of the electrogenic processes of the enzyme. acknowledgement: 'L.A.S. is grateful to the Wellcome Trust for a Research Fellowship. Support from the Biotechnology and Biological Sciences Research Council is also acknowledged. We thank our colleagues. Tania Bizouarn, Mike Hutton and Nick Cotton, for advice and valuable discussion. ' article_processing_charge: No article_type: original author: - first_name: Leonid A full_name: Sazanov, Leonid A id: 338D39FE-F248-11E8-B48F-1D18A9856A87 last_name: Sazanov orcid: 0000-0002-0977-7989 - first_name: Baz full_name: Jackson, Baz last_name: Jackson citation: ama: Sazanov LA, Jackson B. Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics. 1995;1231(3):304-312. doi:10.1016/0005-2728(95)00096-2 apa: Sazanov, L. A., & Jackson, B. (1995). Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics. Elsevier. https://doi.org/10.1016/0005-2728(95)00096-2 chicago: Sazanov, Leonid A, and Baz Jackson. “Cyclic Reactions Catalysed by Detergent-Dispersed and Reconstituted Transhydrogenase from Beef Heart Mitochondria; Implications for the Mechanism of Proton Translocation.” Biochimica et Biophysica Acta - Bioenergetics. Elsevier, 1995. https://doi.org/10.1016/0005-2728(95)00096-2. ieee: L. A. Sazanov and B. Jackson, “Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1231, no. 3. Elsevier, pp. 304–312, 1995. ista: Sazanov LA, Jackson B. 1995. Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics. 1231(3), 304–312. mla: Sazanov, Leonid A., and Baz Jackson. “Cyclic Reactions Catalysed by Detergent-Dispersed and Reconstituted Transhydrogenase from Beef Heart Mitochondria; Implications for the Mechanism of Proton Translocation.” Biochimica et Biophysica Acta - Bioenergetics, vol. 1231, no. 3, Elsevier, 1995, pp. 304–12, doi:10.1016/0005-2728(95)00096-2. short: L.A. Sazanov, B. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1231 (1995) 304–312. date_created: 2018-12-11T11:54:50Z date_published: 1995-10-10T00:00:00Z date_updated: 2022-06-29T15:04:47Z day: '10' doi: 10.1016/0005-2728(95)00096-2 extern: '1' external_id: pmid: - '7578218' intvolume: ' 1231' issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: https://www.sciencedirect.com/science/article/pii/0005272895000962?via%3Dihub month: '10' oa: 1 oa_version: Published Version page: 304 - 312 pmid: 1 publication: Biochimica et Biophysica Acta - Bioenergetics publication_identifier: issn: - 0005-2728 publication_status: published publisher: Elsevier publist_id: '5142' quality_controlled: '1' status: public title: Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1231 year: '1995' ... --- _id: '2465' abstract: - lang: eng text: Auxins play a crucial role in the regulation of spatial and temporal aspects of plant growth and development1. As well as being required for the division, enlargement and differentiation of individual plant cells, auxins also function as signals between cells, tissues and organs. In this way they contribute to the coordination and integration of growth and development in the whole plant and to physiological responses of plants to environmental cues (63). At the individual cell level, fast changes or pulses in hormone concentration may function to initiate or to terminate a developmental process. In contrast, the maintenance of a stable concentration of the hormone (homeostasis) may be necessary to maintain the progress of a developmental event that has already been initiated. article_processing_charge: No author: - first_name: David full_name: Morris, David last_name: Morris - first_name: Jirí full_name: Friml, Jirí id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Eva full_name: Zažímalová, Eva last_name: Zažímalová citation: ama: 'Morris D, Friml J, Zažímalová E. Auxin transport. In: Davies P, ed. Plant Hormones: Biosynthesis, Signal Transduction, Action!. Kluwer; 1995:451-484. doi:10.1007/978-1-4020-2686-7_21' apa: 'Morris, D., Friml, J., & Zažímalová, E. (1995). Auxin transport. In P. Davies (Ed.), Plant Hormones: Biosynthesis, Signal Transduction, Action! (pp. 451–484). Kluwer. https://doi.org/10.1007/978-1-4020-2686-7_21' chicago: 'Morris, David, Jiří Friml, and Eva Zažímalová. “Auxin Transport.” In Plant Hormones: Biosynthesis, Signal Transduction, Action!, edited by Peter Davies, 451–84. Kluwer, 1995. https://doi.org/10.1007/978-1-4020-2686-7_21.' ieee: 'D. Morris, J. Friml, and E. Zažímalová, “Auxin transport,” in Plant Hormones: Biosynthesis, Signal Transduction, Action!, P. Davies, Ed. Kluwer, 1995, pp. 451–484.' ista: 'Morris D, Friml J, Zažímalová E. 1995.Auxin transport. In: Plant Hormones: Biosynthesis, Signal Transduction, Action! , 451–484.' mla: 'Morris, David, et al. “Auxin Transport.” Plant Hormones: Biosynthesis, Signal Transduction, Action!, edited by Peter Davies, Kluwer, 1995, pp. 451–84, doi:10.1007/978-1-4020-2686-7_21.' short: 'D. Morris, J. Friml, E. Zažímalová, in:, P. Davies (Ed.), Plant Hormones: Biosynthesis, Signal Transduction, Action!, Kluwer, 1995, pp. 451–484.' date_created: 2018-12-11T11:57:49Z date_published: 1995-01-01T00:00:00Z date_updated: 2022-06-29T14:45:32Z day: '01' doi: 10.1007/978-1-4020-2686-7_21 editor: - first_name: Peter full_name: Davies, Peter last_name: Davies extern: '1' language: - iso: eng main_file_link: - url: https://link.springer.com/chapter/10.1007/978-1-4020-2686-7_21 month: '01' oa_version: None page: 451 - 484 publication: 'Plant Hormones: Biosynthesis, Signal Transduction, Action!' publication_identifier: isbn: - 978-1-4020-2684-3 publication_status: published publisher: Kluwer publist_id: '4438' quality_controlled: '1' scopus_import: '1' status: public title: Auxin transport type: book_chapter user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '1995' ... --- _id: '2491' abstract: - lang: eng text: The distribution of mRNAs for metabotropic glutamate receptors, mGluR4 and mGluR7, which are highly sensitive for L-2-amino-4-phosphonobutyrate (L- AP4), was examined in the central nervous system of the rat by in situ hybridization. In general, the hybridization signals of mGluR7 mRNA were more widely distributed than those of mGluR4 mRNA, and differential expression of mGluR4 mRNA and mGluR7 mRNA was clearly indicated in some brain regions. Intense or moderate expression of mGluR4 mRNA was detected in the granule cells of the olfactory bulb and cerebellum, whereas no significant expression of mGluR7 mRNA was found in these cells. In other neurons or regions where mGluR7 mRNA was intensely or moderately expressed, no significant expression of mGluR4 mRNA was observed. Such were the mitral and tufted cells of the olfactory bulb; anterior olfactory nucleus; neocortical regions; cingulate cortex; retrosplenial cortex; piriform cortex; perirhinal cortex; CA1; CA3; granule cells of the dentate gyrus; superficial layers of the subicular cortex; deep layers of the entorhinal, parasubicular, and presubicular cortices; ventral part of the lateral septal nucleus; septohippocampal nucleus; triangular septal nucleus; nuclei of the diagonal band; bed nucleus of the stria terminalis; ventral pallidum; claustrum; amygdaloid nuclei other than the intercalated nuclei; preoptic region; hypothalamic nuclei other than the medial mammillary nucleus; ventral lateral geniculate nucleus; locus coeruleus; Purkinje cells; many nuclei of the lower brainstem other than the superior colliculus, periaqueductal gray, interpeduncular nucleus, pontine nuclei, and dorsal cochlear nucleus; and dorsal horn of the spinal cord. Both mGluR4 mRNA and mGluR7 mRNA were moderately or intensely expressed in the olfactory tubercle, superficial layers of the entorhinal cortex, CA4, septofimbrial nucleus, intercalated nuclei of the amygdala, medial mammillary nucleus, many thalamic nuclei, and pontine nuclei. Intense expression of both mGluR4 mRNA and mGluR7 mRNA was further detected in the trigeminal ganglion and dorsal root ganglia, whereas no significant expression of them was found in the pterygopalatine ganglion and superior cervical ganglion. The results indicate differential roles of the L-AP4-sensitive metabotropic glutamate receptors in the glutamatergic nervous system. acknowledgement: We are grateful to Akira Uesugi for photographic help. This work has been supported in part by research grants from the Ministry of Education, Science and Culture of Japan. article_processing_charge: No article_type: original author: - first_name: Hitoshi full_name: Ohishi, Hitoshi last_name: Ohishi - first_name: Chihiro full_name: Akazawa, Chihiro last_name: Akazawa - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Shigetada full_name: Nakanishi, Shigetada last_name: Nakanishi - first_name: Noboru full_name: Mizuno, Noboru last_name: Mizuno citation: ama: Ohishi H, Akazawa C, Shigemoto R, Nakanishi S, Mizuno N. Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology. 1995;360(4):555-570. doi:10.1002/cne.903600402 apa: Ohishi, H., Akazawa, C., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1995). Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.903600402 chicago: Ohishi, Hitoshi, Chihiro Akazawa, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Distributions of the MRNAs for L-2-Amino-4-Phosphonobutyrate-Sensitive Metabotropic Glutamate Receptors, MGluR4 and MGluR7, in the Rat Brain.” Journal of Comparative Neurology. Wiley-Blackwell, 1995. https://doi.org/10.1002/cne.903600402. ieee: H. Ohishi, C. Akazawa, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain,” Journal of Comparative Neurology, vol. 360, no. 4. Wiley-Blackwell, pp. 555–570, 1995. ista: Ohishi H, Akazawa C, Shigemoto R, Nakanishi S, Mizuno N. 1995. Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology. 360(4), 555–570. mla: Ohishi, Hitoshi, et al. “Distributions of the MRNAs for L-2-Amino-4-Phosphonobutyrate-Sensitive Metabotropic Glutamate Receptors, MGluR4 and MGluR7, in the Rat Brain.” Journal of Comparative Neurology, vol. 360, no. 4, Wiley-Blackwell, 1995, pp. 555–70, doi:10.1002/cne.903600402. short: H. Ohishi, C. Akazawa, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 360 (1995) 555–570. date_created: 2018-12-11T11:57:59Z date_published: 1995-10-02T00:00:00Z date_updated: 2022-06-29T13:08:19Z day: '02' doi: 10.1002/cne.903600402 extern: '1' external_id: pmid: - '8801249' intvolume: ' 360' issue: '4' language: - iso: eng main_file_link: - url: https://onlinelibrary.wiley.com/doi/abs/10.1002/cne.903600402 month: '10' oa_version: None page: 555 - 570 pmid: 1 publication: Journal of Comparative Neurology publication_identifier: issn: - 0021-9967 publication_status: published publisher: Wiley-Blackwell publist_id: '4410' quality_controlled: '1' scopus_import: '1' status: public title: Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 360 year: '1995' ... --- _id: '2559' abstract: - lang: eng text: Taking advantage of the restricted expression of metabotropic glutamate receptor subtype 6 (mGIuR6) in retinal ON bipolar cells, we generated knockout mice lacking mGIuR6 expression. The homozygous mutant mice showed a loss of ON responses but unchanged OFF responses to light. The mutant mice displayed no obvious changes in retinal cell organization nor in the projection of optic fibers to the brain. Furthermore, the mGIuR6-deficient mice showed visual behavioral responses to light stimulation as examined by shuttle box avoidance behavior experiments using light exposure as a conditioned stimulus. The results demonstrate that mGIuR6 is essential in synaptic transmission to the ON bipolar cell and that the OFF response provides an important means for transmitting visual information. acknowledgement: We thank Drs. N. Mizuno, M. Iso, M. Tachibana, A. Kaneko, M. Tessier-Lavigne, and T. Hensch for useful advice and A. Uesugi for photographic assistance. This work is supported by grants in aid for specially promoted research, for scientific research on priority areas, and for scientific research (A) from the Ministry of Education, Science, and Culture in Japan and by grants from the Ministry of Health and Welfare of Japan, the Sankyo Foundation, and the Senri Life Science Foundation. article_processing_charge: No article_type: original author: - first_name: Masayuki full_name: Masu, Masayuki last_name: Masu - first_name: Hideki full_name: Iwakabe, Hideki last_name: Iwakabe - first_name: Yoshiaki full_name: Tagawa, Yoshiaki last_name: Tagawa - first_name: Tomomitsu full_name: Miyoshi, Tomomitsu last_name: Miyoshi - first_name: Masayuki full_name: Yamashita, Masayuki last_name: Yamashita - first_name: Yutaka full_name: Fukuda, Yutaka last_name: Fukuda - first_name: Hitoshi full_name: Sasaki, Hitoshi last_name: Sasaki - first_name: Kano full_name: Hiroi, Kano last_name: Hiroi - first_name: Yasuhisa full_name: Nakamura, Yasuhisa last_name: Nakamura - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Masahiko full_name: Takada, Masahiko last_name: Takada - first_name: Kenji full_name: Nakamura, Kenji last_name: Nakamura - first_name: Kazuki full_name: Nakao, Kazuki last_name: Nakao - first_name: Motoya full_name: Katsuki, Motoya last_name: Katsuki - first_name: Shigetada full_name: Nakanishi, Shigetada last_name: Nakanishi citation: ama: Masu M, Iwakabe H, Tagawa Y, et al. Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene. Cell. 1995;80(5):757-765. doi:10.1016/0092-8674(95)90354-2 apa: Masu, M., Iwakabe, H., Tagawa, Y., Miyoshi, T., Yamashita, M., Fukuda, Y., … Nakanishi, S. (1995). Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene. Cell. Cell Press. https://doi.org/10.1016/0092-8674(95)90354-2 chicago: Masu, Masayuki, Hideki Iwakabe, Yoshiaki Tagawa, Tomomitsu Miyoshi, Masayuki Yamashita, Yutaka Fukuda, Hitoshi Sasaki, et al. “Specific Deficit of the ON Response in Visual Transmission by Targeted Disruption of the MGIuR6 Gene.” Cell. Cell Press, 1995. https://doi.org/10.1016/0092-8674(95)90354-2. ieee: M. Masu et al., “Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene,” Cell, vol. 80, no. 5. Cell Press, pp. 757–765, 1995. ista: Masu M, Iwakabe H, Tagawa Y, Miyoshi T, Yamashita M, Fukuda Y, Sasaki H, Hiroi K, Nakamura Y, Shigemoto R, Takada M, Nakamura K, Nakao K, Katsuki M, Nakanishi S. 1995. Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene. Cell. 80(5), 757–765. mla: Masu, Masayuki, et al. “Specific Deficit of the ON Response in Visual Transmission by Targeted Disruption of the MGIuR6 Gene.” Cell, vol. 80, no. 5, Cell Press, 1995, pp. 757–65, doi:10.1016/0092-8674(95)90354-2. short: M. Masu, H. Iwakabe, Y. Tagawa, T. Miyoshi, M. Yamashita, Y. Fukuda, H. Sasaki, K. Hiroi, Y. Nakamura, R. Shigemoto, M. Takada, K. Nakamura, K. Nakao, M. Katsuki, S. Nakanishi, Cell 80 (1995) 757–765. date_created: 2018-12-11T11:58:23Z date_published: 1995-02-10T00:00:00Z date_updated: 2022-06-28T13:27:50Z day: '10' doi: 10.1016/0092-8674(95)90354-2 extern: '1' external_id: pmid: - '7889569' intvolume: ' 80' issue: '5' language: - iso: eng main_file_link: - open_access: '1' url: https://www.sciencedirect.com/science/article/pii/0092867495903542 month: '02' oa: 1 oa_version: Published Version page: 757 - 765 pmid: 1 publication: Cell publication_identifier: issn: - 0092-8674 publication_status: published publisher: Cell Press publist_id: '4339' quality_controlled: '1' status: public title: Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 80 year: '1995' ... --- _id: '2558' abstract: - lang: eng text: Brain areas involved in the genesis and control of daily rhythms receive a prominent neural input that contains the neurotransmitter substance P (SP), a peptide putatively involved in the synchronization of circadian rhythms by environmental light. We investigated the localization of receptors to SP in the suprachiasmatic nucleus of the hypothalamus (SCN) and in the intergeniculate leaflet of the thalamus (IGL) of the rat and hamster using in situ hybridization histochemistry and immunohistochemistry. Consistently with that previously described in the rat, a neuronal population distributed along the lateral margin and at the dorso-latero-caudal aspect of the hamster SCN expresses moderately the mRNA encoding the SP receptor. In both rat and hamster, immunohistochemical data confirm the previous finding and reveal an almost complete absence of SP receptors in the ventral part of the SCN, which receives a direct projection from the retina. In the IGL of both species, numerous neurons prominently express the mRNA encoding the SP receptor. The immunostaining shows a high density of SP receptors on perikarya and dendrites throughout the nucleus. A dense staining is also observed on individual cells and processes bordering the lumen of blood vessels in the SCN and IGL. article_processing_charge: No article_type: original author: - first_name: Gérard full_name: Mick, Gérard last_name: Mick - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 - first_name: Kunio full_name: Kitahama, Kunio last_name: Kitahama citation: ama: Mick G, Shigemoto R, Kitahama K. Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents. Comptes Rendus de l’Academie des Sciences - Series III. 1995;318(2):209-217. apa: Mick, G., Shigemoto, R., & Kitahama, K. (1995). Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents. Comptes Rendus de l’Academie Des Sciences - Series III. Gauthier Villars Editeur. chicago: Mick, Gérard, Ryuichi Shigemoto, and Kunio Kitahama. “Localization of Substance P Receptors in Central Neural Structures Controlling Daily Rhythms in Nocturnal Rodents.” Comptes Rendus de l’Academie Des Sciences - Series III. Gauthier Villars Editeur, 1995. ieee: G. Mick, R. Shigemoto, and K. Kitahama, “Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents,” Comptes Rendus de l’Academie des Sciences - Series III, vol. 318, no. 2. Gauthier Villars Editeur, pp. 209–217, 1995. ista: Mick G, Shigemoto R, Kitahama K. 1995. Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents. Comptes Rendus de l’Academie des Sciences - Series III. 318(2), 209–217. mla: Mick, Gérard, et al. “Localization of Substance P Receptors in Central Neural Structures Controlling Daily Rhythms in Nocturnal Rodents.” Comptes Rendus de l’Academie Des Sciences - Series III, vol. 318, no. 2, Gauthier Villars Editeur, 1995, pp. 209–17. short: G. Mick, R. Shigemoto, K. Kitahama, Comptes Rendus de l’Academie Des Sciences - Series III 318 (1995) 209–217. date_created: 2018-12-11T11:58:23Z date_published: 1995-02-01T00:00:00Z date_updated: 2022-06-29T08:18:48Z day: '01' extern: '1' external_id: pmid: - '7757814 ' intvolume: ' 318' issue: '2' language: - iso: eng main_file_link: - url: https://pubmed.ncbi.nlm.nih.gov/7757814/ month: '02' oa_version: None page: 209 - 217 pmid: 1 publication: Comptes Rendus de l'Academie des Sciences - Series III publication_identifier: issn: - 0764-4469 publication_status: published publisher: Gauthier Villars Editeur publist_id: '4340' quality_controlled: '1' scopus_import: '1' status: public title: Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 318 year: '1995' ... --- _id: '2561' abstract: - lang: eng text: An antibody which recognizes specifically a metabotropic glutamate receptor, mGluR7, was produced by using a trpE fusion protein containing a C-terminal sequence of rat mGluR7. Neuropil in laminae I and II of the dorsal horn of the rat, as well as many neuronal cell bodies in the dorsal root ganglion, showed mGluR7-like immunoreactivity; the immunoreactivity in neuropil was seen in axon terminals, which were filled with round synaptic vesicles and constituted axodendritic and axosomatic asymmetric synapses. The mGluR7-like immunoreactivity in laminae I and II in the dorsal horn was reduced after dorsal rhizotomy. The results indicate that some axon terminals of the primary afferent fibers to laminae I and II of the dorsal horn are provided with mGluR7. acknowledgement: We are grateful to Mr. Akira Uesugi for photographic help. article_processing_charge: No article_type: original author: - first_name: Hitoshi full_name: Ohishi, Hitoshi last_name: Ohishi - first_name: Sakashi full_name: Nomura, Sakashi last_name: Nomura - 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: Eiki full_name: Wada, Eiki last_name: Wada - first_name: Ayae full_name: Kinoshita, Ayae last_name: Kinoshita - first_name: Jin full_name: Li, Jin last_name: Li - first_name: Akio full_name: Neki, Akio last_name: Neki - first_name: Shigetada full_name: Nakanishi, Shigetada last_name: Nakanishi - first_name: Noboru full_name: Mizuno, Noboru last_name: Mizuno citation: ama: 'Ohishi H, Nomura S, Ding Y, et al. Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat. Neuroscience Letters. 1995;202(1-2):85-88. doi:10.1016/0304-3940(95)12207-9' apa: 'Ohishi, H., Nomura, S., Ding, Y., Shigemoto, R., Wada, E., Kinoshita, A., … Mizuno, N. (1995). Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)12207-9' chicago: 'Ohishi, Hitoshi, Sakashi Nomura, Yu Ding, Ryuichi Shigemoto, Eiki Wada, Ayae Kinoshita, Jin Li, Akio Neki, Shigetada Nakanishi, and Noboru Mizuno. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR7, in the Primary Afferent Neurons: An Immunohistochemical Study in the Rat.” Neuroscience Letters. Elsevier, 1995. https://doi.org/10.1016/0304-3940(95)12207-9.' ieee: 'H. Ohishi et al., “Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat,” Neuroscience Letters, vol. 202, no. 1–2. Elsevier, pp. 85–88, 1995.' ista: 'Ohishi H, Nomura S, Ding Y, Shigemoto R, Wada E, Kinoshita A, Li J, Neki A, Nakanishi S, Mizuno N. 1995. Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat. Neuroscience Letters. 202(1–2), 85–88.' mla: 'Ohishi, Hitoshi, et al. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR7, in the Primary Afferent Neurons: An Immunohistochemical Study in the Rat.” Neuroscience Letters, vol. 202, no. 1–2, Elsevier, 1995, pp. 85–88, doi:10.1016/0304-3940(95)12207-9.' short: H. Ohishi, S. Nomura, Y. Ding, R. Shigemoto, E. Wada, A. Kinoshita, J. Li, A. Neki, S. Nakanishi, N. Mizuno, Neuroscience Letters 202 (1995) 85–88. date_created: 2018-12-11T11:58:24Z date_published: 1995-12-01T00:00:00Z date_updated: 2022-06-28T12:44:57Z day: '01' doi: 10.1016/0304-3940(95)12207-9 extern: '1' external_id: pmid: - '8787837' intvolume: ' 202' issue: 1-2 language: - iso: eng main_file_link: - url: https://www.sciencedirect.com/science/article/pii/0304394095122079?via%3Dihub month: '12' oa_version: None page: 85 - 88 pmid: 1 publication: Neuroscience Letters publication_identifier: issn: - 0304-3940 publication_status: published publisher: Elsevier publist_id: '4337' quality_controlled: '1' status: public title: 'Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 202 year: '1995' ... --- _id: '2560' abstract: - lang: eng text: Chemical irritation of the urinary bladder with formalin in the rat induced c-fos protein-like immunoreactivity in more than 80% of substance P receptor-like immunoreactive (SPR-LI) neurons of the dorsal commissural nucleus, sacral parasympathetic nucleus and lamina I in the 6th lumbar and 1st sacral cord segments. These neurons with SPR-LI may receive noxious information from the urinary bladder through the primary afferent fibers with substance P. article_processing_charge: No article_type: original author: - first_name: Yan full_name: Lü, Yan last_name: Lü - first_name: Shan full_name: Jin, Shan last_name: Jin - first_name: Tian full_name: Xu, Tian last_name: Xu - first_name: Bing full_name: Qin, Bing last_name: Qin - first_name: Ji full_name: Li, Ji last_name: Li - 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 citation: ama: 'Lü Y, Jin S, Xu T, et al. Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat. Neuroscience Letters. 1995;198(2):139-142. doi:10.1016/0304-3940(95)11991-5' apa: 'Lü, Y., Jin, S., Xu, T., Qin, B., Li, J., Ding, Y., … Mizuno, N. (1995). Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)11991-5' chicago: 'Lü, Yan, Shan Jin, Tian Xu, Bing Qin, Ji Li, Yu Ding, Ryuichi Shigemoto, and Noboru Mizuno. “Expression of C-Fos Protein in Substance P Receptor-like Immunoreactive Neurons in Response to Noxious Stimuli on the Urinary Bladder: An Observation in the Lumbosacral Cord Segments of the Rat.” Neuroscience Letters. Elsevier, 1995. https://doi.org/10.1016/0304-3940(95)11991-5.' ieee: 'Y. Lü et al., “Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat,” Neuroscience Letters, vol. 198, no. 2. Elsevier, pp. 139–142, 1995.' ista: 'Lü Y, Jin S, Xu T, Qin B, Li J, Ding Y, Shigemoto R, Mizuno N. 1995. Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat. Neuroscience Letters. 198(2), 139–142.' mla: 'Lü, Yan, et al. “Expression of C-Fos Protein in Substance P Receptor-like Immunoreactive Neurons in Response to Noxious Stimuli on the Urinary Bladder: An Observation in the Lumbosacral Cord Segments of the Rat.” Neuroscience Letters, vol. 198, no. 2, Elsevier, 1995, pp. 139–42, doi:10.1016/0304-3940(95)11991-5.' short: Y. Lü, S. Jin, T. Xu, B. Qin, J. Li, Y. Ding, R. Shigemoto, N. Mizuno, Neuroscience Letters 198 (1995) 139–142. date_created: 2018-12-11T11:58:23Z date_published: 1995-09-29T00:00:00Z date_updated: 2022-06-28T12:54:14Z day: '29' doi: 10.1016/0304-3940(95)11991-5 extern: '1' external_id: pmid: - '8592640' intvolume: ' 198' issue: '2' language: - iso: eng main_file_link: - url: https://www.sciencedirect.com/science/article/pii/0304394095119915?via%3Dihub month: '09' oa_version: None page: 139 - 142 pmid: 1 publication: Neuroscience Letters publication_identifier: issn: - 0304-3940 publication_status: published publisher: Elsevier publist_id: '4338' quality_controlled: '1' status: public title: 'Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat' type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 198 year: '1995' ... --- _id: '2556' abstract: - lang: eng text: By using substance P receptor (SPR) immunofluorescence histochemistry combined with fluorescent retrograde labeling, SPR-like immunoreactive (SPR-LI) neurons sending their axons to the lateral parabrachial region were observed in the lumbar spinal cord of the rat. After injection of Fluoro-Gold into the lateral parabrachial region, retrogradely labeled neurons with SPR-LI were seen frequently in lamina I and the lateral spinal nucleus, and occasionally in laminae IV and V, with a predominantly contralateral distribution. Some of these neurons, especially those in lamina I, may convey nociceptive information to the lateral parabrachial region. acknowledgement: The authors are grateful for photographic help of Mr. Akira Uesugi. This work was supported in part by Grants-in-Aid for Special Research on Priority Areas 05267104, Scientific Research (B) 05454658, and Scientific Research (C) 06680735 from the Ministry of Education, Science and Culture of Japan. article_processing_charge: No article_type: original author: - first_name: Yu full_name: Ding, Yu last_name: Ding - first_name: Masahiko full_name: Takada, Masahiko last_name: Takada - 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: Ding Y, Takada M, Shigemoto R, Mizuno N. Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat. Brain Research. 1995;674(2):336-340. doi:10.1016/0006-8993(95)00022-I apa: Ding, Y., Takada, M., Shigemoto, R., & Mizuno, N. (1995). Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat. Brain Research. Elsevier. https://doi.org/10.1016/0006-8993(95)00022-I chicago: Ding, Yu, Masahiko Takada, Ryuichi Shigemoto, and Noboru Mizuno. “Spinoparabrachial Tract Neurons Showing Substance P Receptor-like Immunoreactivity in the Lumbar Spinal Cord of the Rat.” Brain Research. Elsevier, 1995. https://doi.org/10.1016/0006-8993(95)00022-I. ieee: Y. Ding, M. Takada, R. Shigemoto, and N. Mizuno, “Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat,” Brain Research, vol. 674, no. 2. Elsevier, pp. 336–340, 1995. ista: Ding Y, Takada M, Shigemoto R, Mizuno N. 1995. Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat. Brain Research. 674(2), 336–340. mla: Ding, Yu, et al. “Spinoparabrachial Tract Neurons Showing Substance P Receptor-like Immunoreactivity in the Lumbar Spinal Cord of the Rat.” Brain Research, vol. 674, no. 2, Elsevier, 1995, pp. 336–40, doi:10.1016/0006-8993(95)00022-I. short: Y. Ding, M. Takada, R. Shigemoto, N. Mizuno, Brain Research 674 (1995) 336–340. date_created: 2018-12-11T11:58:22Z date_published: 1995-03-20T00:00:00Z date_updated: 2022-06-29T08:32:01Z day: '20' doi: 10.1016/0006-8993(95)00022-I extern: '1' external_id: pmid: - '7796113' intvolume: ' 674' issue: '2' language: - iso: eng main_file_link: - url: sciencedirect.com/science/article/pii/000689939500022I?via%3Dihub month: '03' oa_version: None page: 336 - 340 pmid: 1 publication: Brain Research publication_identifier: issn: - 0006-8993 publication_status: published publisher: Elsevier publist_id: '4341' quality_controlled: '1' scopus_import: '1' status: public title: Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 674 year: '1995' ... --- _id: '2563' abstract: - lang: eng text: By means of substance P receptor (SPR) immunofluorescence histochemistry combined with Fluoro-Gold fluorescent retrograde labeling, SPR-like immunoreactive neurons in the caudal subnucleus of the spinal trigeminal nucleus of the rat were observed to send their axons to the nucleus of Kolliker-Fuse and ventrolateral part of the lateral parabrachial nucleus bilaterally with a clear ipsilateral dominance. These neurons were distributed mainly in lamina I, and additionally in lamina III. acknowledgement: 'The authors are grateful for photographic help of Ms. Miao-Li Zhang and Mr. Akira Uesugi. This work was supported in part by Grants-in-Aid for Special Research on Priority Areas 05267104, Scientific Research (B) 05454658, and Scientific Research (C) 06680735 from the Ministry of Education, Science and Culture of Japan. ' article_processing_charge: No article_type: original author: - first_name: Yu full_name: Ding, Yu last_name: Ding - first_name: Masahiko full_name: Takada, Masahiko last_name: Takada - 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: Ding Y, Takada M, Shigemoto R, Mizuno N. Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat. Neuroscience Research. 1995;23(4):415-418. doi:10.1016/0168-0102(95)00961-R apa: Ding, Y., Takada, M., Shigemoto, R., & Mizuno, N. (1995). Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat. Neuroscience Research. Elsevier. https://doi.org/10.1016/0168-0102(95)00961-R chicago: Ding, Yu, Masahiko Takada, Ryuichi Shigemoto, and Noboru Mizuno. “Trigeminoparabrachial Projection Neurons Showing Substance P Receptor-like Immunoreactivity in the Rat.” Neuroscience Research. Elsevier, 1995. https://doi.org/10.1016/0168-0102(95)00961-R. ieee: Y. Ding, M. Takada, R. Shigemoto, and N. Mizuno, “Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat,” Neuroscience Research, vol. 23, no. 4. Elsevier, pp. 415–418, 1995. ista: Ding Y, Takada M, Shigemoto R, Mizuno N. 1995. Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat. Neuroscience Research. 23(4), 415–418. mla: Ding, Yu, et al. “Trigeminoparabrachial Projection Neurons Showing Substance P Receptor-like Immunoreactivity in the Rat.” Neuroscience Research, vol. 23, no. 4, Elsevier, 1995, pp. 415–18, doi:10.1016/0168-0102(95)00961-R. short: Y. Ding, M. Takada, R. Shigemoto, N. Mizuno, Neuroscience Research 23 (1995) 415–418. date_created: 2018-12-11T11:58:24Z date_published: 1995-11-01T00:00:00Z date_updated: 2022-06-28T09:50:42Z day: '01' doi: 10.1016/0168-0102(95)00961-R extern: '1' external_id: pmid: - '8602281' intvolume: ' 23' issue: '4' language: - iso: eng main_file_link: - url: https://www.sciencedirect.com/science/article/pii/016801029500961R?via%3Dihub month: '11' oa_version: None page: 415 - 418 pmid: 1 publication: Neuroscience Research publication_identifier: issn: - 0168-0102 publication_status: published publisher: Elsevier publist_id: '4336' quality_controlled: '1' status: public title: Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 23 year: '1995' ... --- _id: '2712' abstract: - lang: eng text: We study the generalizations of the well-known Lieb-Thirring inequality for the magnetic Schrödinger operator with a nonconstant magnetic field. We use stochastic methods to prove estimates on the moments of the negative eigenvalues. acknowledgement: Work supported by the NSF grant PHY90-19433 A02, by the Alfred Sloan Foundation dissertation Fellowship and by the Erwin Schrödinger Institute for Mathematical Physics in Vienna. alternative_title: - 'Operator Theory: Advances and Applications' article_processing_charge: No author: - first_name: László full_name: Erdös, László id: 4DBD5372-F248-11E8-B48F-1D18A9856A87 last_name: Erdös orcid: 0000-0001-5366-9603 citation: ama: 'Erdös L. Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals. In: Vol 78. Birkhäuser; 1995:127-132. doi:10.1007/978-3-0348-9092-2_13' apa: 'Erdös, L. (1995). Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals (Vol. 78, pp. 127–132). Presented at the International Conference on Partial Differential Operators and Mathematical Physics, Holzhau, Germany: Birkhäuser. https://doi.org/10.1007/978-3-0348-9092-2_13' chicago: Erdös, László. “Magnetic Lieb-Thirring Inequalities and Stochastic Oscillatory Integrals,” 78:127–32. Birkhäuser, 1995. https://doi.org/10.1007/978-3-0348-9092-2_13. ieee: L. Erdös, “Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals,” presented at the International Conference on Partial Differential Operators and Mathematical Physics, Holzhau, Germany, 1995, vol. 78, pp. 127–132. ista: 'Erdös L. 1995. Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals. International Conference on Partial Differential Operators and Mathematical Physics, Operator Theory: Advances and Applications, vol. 78, 127–132.' mla: Erdös, László. Magnetic Lieb-Thirring Inequalities and Stochastic Oscillatory Integrals. Vol. 78, Birkhäuser, 1995, pp. 127–32, doi:10.1007/978-3-0348-9092-2_13. short: L. Erdös, in:, Birkhäuser, 1995, pp. 127–132. conference: end_date: 1995-07-09 location: Holzhau, Germany name: International Conference on Partial Differential Operators and Mathematical Physics start_date: 1995-07-03 date_created: 2018-12-11T11:59:12Z date_published: 1995-01-01T00:00:00Z date_updated: 2022-06-28T09:31:20Z day: '01' doi: 10.1007/978-3-0348-9092-2_13 extern: '1' intvolume: ' 78' language: - iso: eng main_file_link: - url: https://link.springer.com/chapter/10.1007/978-3-0348-9092-2_13 month: '01' oa_version: None page: 127 - 132 publication_status: published publisher: Birkhäuser publist_id: '4184' quality_controlled: '1' status: public title: Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 78 year: '1995' ... --- _id: '2724' abstract: - lang: eng text: We study the generalizations of the well-known Lieb-Thirring inequality for the magnetic Schrödinger operator with nonconstant magnetic field. Our main result is the naturally expected magnetic Lieb-Thirring estimate on the moments of the negative eigenvalues for a certain class of magnetic fields (including even some unbounded ones). We develop a localization technique in path space of the stochastic Feynman-Kac representation of the heat kernel which effectively estimates the oscillatory effect due to the magnetic phase factor. 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. Magnetic Lieb-Thirring inequalities. Communications in Mathematical Physics. 1995;170(3):629-668. doi:10.1007/BF02099152 apa: Erdös, L. (1995). Magnetic Lieb-Thirring inequalities. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/BF02099152 chicago: Erdös, László. “Magnetic Lieb-Thirring Inequalities.” Communications in Mathematical Physics. Springer, 1995. https://doi.org/10.1007/BF02099152. ieee: L. Erdös, “Magnetic Lieb-Thirring inequalities,” Communications in Mathematical Physics, vol. 170, no. 3. Springer, pp. 629–668, 1995. ista: Erdös L. 1995. Magnetic Lieb-Thirring inequalities. Communications in Mathematical Physics. 170(3), 629–668. mla: Erdös, László. “Magnetic Lieb-Thirring Inequalities.” Communications in Mathematical Physics, vol. 170, no. 3, Springer, 1995, pp. 629–68, doi:10.1007/BF02099152. short: L. Erdös, Communications in Mathematical Physics 170 (1995) 629–668. date_created: 2018-12-11T11:59:16Z date_published: 1995-06-01T00:00:00Z date_updated: 2022-06-28T09:19:36Z day: '01' doi: 10.1007/BF02099152 extern: '1' intvolume: ' 170' issue: '3' language: - iso: eng main_file_link: - url: https://link.springer.com/article/10.1007/BF02099152 month: '06' oa_version: None page: 629 - 668 publication: Communications in Mathematical Physics publication_identifier: issn: - 0010-3616 publication_status: published publisher: Springer publist_id: '4168' quality_controlled: '1' status: public title: Magnetic Lieb-Thirring inequalities type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 170 year: '1995' ... --- _id: '3454' abstract: - lang: eng text: The study of gene expression and regulation in the central nervous system (CNS) is a daunting task because of the diversity of neuronal phenotypes and the complexity of many protein classes. Molecular cloning revealed the presence of a large number of different protein families in the CNS, each comprising several members. Ligand-gated ion channels may serve as an example to illustrate this point (for review, see Unwin, 1993). Heterologous expression combined with electrophysiological analysis suggests that ligand-gated channels are multimeric proteins with functional properties depending on the subunit composition. Very little is known, however, about how the functional properties of the recombinant and native receptors relate to each other. Thus, it is of eminent importance to elucidate the subunit expression profile in different types of neurons in the CNS and to correlate this with the functional properties of the native receptors. article_processing_charge: No author: - first_name: Hannah full_name: Monyer, Hannah last_name: Monyer - first_name: Peter M full_name: Jonas, Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 citation: ama: 'Monyer H, Jonas PM. Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. In: Sakmann B, Neher E, eds. Single-Channel Recording. Plenum; 1995:357-373. doi:10.1007/978-1-4419-1229-9_16' apa: Monyer, H., & Jonas, P. M. (1995). Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. In B. Sakmann & E. Neher (Eds.), Single-channel recording (pp. 357–373). Plenum. https://doi.org/10.1007/978-1-4419-1229-9_16 chicago: Monyer, Hannah, and Peter M Jonas. “Polymerase Chain Reaction Analysis of Ion Channel Expression in Single Neurons of Brain Slices.” In Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, 357–73. Plenum, 1995. https://doi.org/10.1007/978-1-4419-1229-9_16. ieee: H. Monyer and P. M. Jonas, “Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices,” in Single-channel recording, B. Sakmann and E. Neher, Eds. Plenum, 1995, pp. 357–373. ista: 'Monyer H, Jonas PM. 1995.Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. In: Single-channel recording. , 357–373.' mla: Monyer, Hannah, and Peter M. Jonas. “Polymerase Chain Reaction Analysis of Ion Channel Expression in Single Neurons of Brain Slices.” Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, Plenum, 1995, pp. 357–73, doi:10.1007/978-1-4419-1229-9_16. short: H. Monyer, P.M. Jonas, in:, B. Sakmann, E. Neher (Eds.), Single-Channel Recording, Plenum, 1995, pp. 357–373. date_created: 2018-12-11T12:03:25Z date_published: 1995-01-01T00:00:00Z date_updated: 2022-06-28T09:13:01Z day: '01' doi: 10.1007/978-1-4419-1229-9_16 editor: - first_name: Bert full_name: Sakmann, Bert last_name: Sakmann - first_name: Erwin full_name: Neher, Erwin last_name: Neher extern: '1' language: - iso: eng main_file_link: - url: https://link.springer.com/chapter/10.1007/978-1-4419-1229-9_16 month: '01' oa_version: None page: 357 - 373 publication: Single-channel recording publication_identifier: isbn: - 978-0-306-44870-6 publication_status: published publisher: Plenum publist_id: '2933' quality_controlled: '1' status: public title: Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices type: book_chapter user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '1995' ... --- _id: '3455' abstract: - lang: eng text: At a synapse, the transmitter is stored in synaptic vesicles and is released into the synaptic cleft almost instantaneously upon fusion of these vesicles with the presynaptic membrane. Subsequently, the transmitter diffuses to ligand-gated ion channels in the postsynaptic density, binds to them, and thereby causes channel activation. Unfortunately, we have estimates neither of the exact amount of transmitter in the synaptic vesicle nor of the concentration in the synaptic cleft reaching the postsynaptic receptors, and in some cases even the identity of the transmitter is unknown. These questions may be addressed by modeling of release and diffusion. Such a theoretical approach, however, is based on several assumptions, some of which lack experimental evidence. article_processing_charge: No author: - first_name: Peter M full_name: Jonas, Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 citation: ama: 'Jonas PM. Fast application of agonists to isolated membrane patches. In: Sakmann B, Neher E, eds. Single-Channel Recording. Plenum; 1995:231-243. doi:10.1007/978-1-4419-1229-9_10' apa: Jonas, P. M. (1995). Fast application of agonists to isolated membrane patches. In B. Sakmann & E. Neher (Eds.), Single-channel recording (pp. 231–243). Plenum. https://doi.org/10.1007/978-1-4419-1229-9_10 chicago: Jonas, Peter M. “Fast Application of Agonists to Isolated Membrane Patches.” In Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, 231–43. Plenum, 1995. https://doi.org/10.1007/978-1-4419-1229-9_10. ieee: P. M. Jonas, “Fast application of agonists to isolated membrane patches,” in Single-channel recording, B. Sakmann and E. Neher, Eds. Plenum, 1995, pp. 231–243. ista: 'Jonas PM. 1995.Fast application of agonists to isolated membrane patches. In: Single-channel recording. , 231–243.' mla: Jonas, Peter M. “Fast Application of Agonists to Isolated Membrane Patches.” Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, Plenum, 1995, pp. 231–43, doi:10.1007/978-1-4419-1229-9_10. short: P.M. Jonas, in:, B. Sakmann, E. Neher (Eds.), Single-Channel Recording, Plenum, 1995, pp. 231–243. date_created: 2018-12-11T12:03:25Z date_published: 1995-01-01T00:00:00Z date_updated: 2022-06-28T08:51:40Z day: '01' doi: 10.1007/978-1-4419-1229-9_10 editor: - first_name: Bert full_name: Sakmann, Bert last_name: Sakmann - first_name: Erwin full_name: Neher, Erwin last_name: Neher extern: '1' language: - iso: eng main_file_link: - url: https://link.springer.com/chapter/10.1007/978-1-4419-1229-9_10 month: '01' oa_version: None page: 231 - 243 publication: Single-channel recording publication_identifier: isbn: - 978-0-306-44870-6 publication_status: published publisher: Plenum publist_id: '2932' quality_controlled: '1' status: public title: Fast application of agonists to isolated membrane patches type: book_chapter user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '1995' ... --- _id: '3461' article_processing_charge: No article_type: original author: - first_name: Peter M full_name: Jonas, Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 - first_name: Nail full_name: Burnashev, Nail last_name: Burnashev citation: ama: Jonas PM, Burnashev N. Molecular mechanisms controlling calcium entry through  AMPA-type glutamate receptor channels. Neuron. 1995;15(5):987-990. doi:10.1016/0896-6273(95)90087-X apa: Jonas, P. M., & Burnashev, N. (1995). Molecular mechanisms controlling calcium entry through  AMPA-type glutamate receptor channels. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(95)90087-X chicago: Jonas, Peter M, and Nail Burnashev. “Molecular Mechanisms Controlling Calcium Entry through  AMPA-Type Glutamate Receptor Channels.” Neuron. Elsevier, 1995. https://doi.org/10.1016/0896-6273(95)90087-X. ieee: P. M. Jonas and N. Burnashev, “Molecular mechanisms controlling calcium entry through  AMPA-type glutamate receptor channels,” Neuron, vol. 15, no. 5. Elsevier, pp. 987–990, 1995. ista: Jonas PM, Burnashev N. 1995. Molecular mechanisms controlling calcium entry through  AMPA-type glutamate receptor channels. Neuron. 15(5), 987–990. mla: Jonas, Peter M., and Nail Burnashev. “Molecular Mechanisms Controlling Calcium Entry through  AMPA-Type Glutamate Receptor Channels.” Neuron, vol. 15, no. 5, Elsevier, 1995, pp. 987–90, doi:10.1016/0896-6273(95)90087-X. short: P.M. Jonas, N. Burnashev, Neuron 15 (1995) 987–990. date_created: 2018-12-11T12:03:27Z date_published: 1995-11-01T00:00:00Z date_updated: 2022-06-28T08:34:36Z day: '01' doi: 10.1016/0896-6273(95)90087-X extern: '1' external_id: pmid: - '7576666' intvolume: ' 15' issue: '5' language: - iso: eng main_file_link: - open_access: '1' url: https://www.sciencedirect.com/science/article/pii/089662739590087X?via%3Dihub month: '11' oa: 1 oa_version: Published Version page: 987 - 990 pmid: 1 publication: Neuron publication_identifier: issn: - 0896-6273 publication_status: published publisher: Elsevier publist_id: '2926' quality_controlled: '1' scopus_import: '1' status: public title: Molecular mechanisms controlling calcium entry through AMPA-type glutamate receptor channels type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 15 year: '1995' ... --- _id: '3478' abstract: - lang: eng text: 1. Properties of dendritic glutamate receptor (GluR) channels were investigated using fast application of glutamate to outside-out membrane patches isolated from the apical dendrites of CA3 and CA1 pyramidal neurons in rat hippocampal slices. CA3 patches were formed (15-76 μm from the soma) in the region of messy fibre (MF) synapses, and CA1 patches (25-174 μm from the soma) in the region of Schaffer collateral (SC) innervation. 2. Dual-component responses consisting of a rapidly rising and decaying component followed by a second, substantially slower, component were elicited by 1 ms pulses of 1 mM glutamate in the presence of 10 μM glycine and absence of external Mg2+. The fast component was selectively blocked by 2-5 μM 6-cyano-7-nitroquinoxaline-2,3-dione (CNQX) and the slow component by 30 μM D-2-amino-5-phosphonopentanoic acid (D-AP5), suggesting that the fast and slow components were mediated by the GluR channels of the L-α-amino-3-hydroxy-5-methyl-4-isoxazolepropionate (AMPA) and NMDA type, respectively. The peak amplitude ratio of the NMDA to AMPA receptor-mediated components varied between 0.03 and 0.62 in patches from both CA3 and CA1 dendrites. Patches lacking either component were rarely observed. 3. The peak current-voltage (I-V) relationship of the fast component was almost linear, whereas the I-V relationship of the slow component showed a region of negative slope in the presence of 1 mM external Mg2+. The reversal potential for both components was close to 0 mV. 4. Kainate-preferring GluR channels did not contribute appreciably to the response to glutamate. The responses to 100 ms pulses of 1 mM glutamate were mimicked by application of 1 mM AMPA, whereas 1 mM kainate produced much smaller, weakly desensitizing currents. This suggests that the fast component is primarily mediated by the action of glutamate on AMPA-preferring receptors. 5. The mean elementary conductance of AMPA receptor channels was about 10 pS, as estimated by non-stationary fluctuation analysis. The permeability of these channels to Ca2+ was low (~5% of the permeability to Cs+). 6. The elementary conductance of NMDA receptor channels was larger, with a main conductance state of about 45 pS. These channels were 3.6 times more permeable to Ca2+ than to Cs+. 7. AMPA receptor-mediated currents activated rapidly in response to 1 ms pulses of 1 mM glutamate and deactivated with a predominant, fast time constant and a smaller, slower component (τ1≃2 ms, τ2≃8 ms, contributing ~80 and ~20% to the total decay amplitude, respectively). Desensitization of the current during a 100 ms pulse was best fitted by two time constants (τ1≃10 ms, ~60%; τ2≃34 ms, ~40%). 8. NMDA receptor-mediated currents in response to 1 ms pulses of 1 mM glutamate activated and deactivated much more slowly than AMPA receptor-mediated currents. The time course could be described by a single exponential rising phase (τ≃7 ms) followed by a double exponential decay (τ1≃200 ms, ~80%; τ2≃1-3 s, ~20%). 9. Mg2+ blocked the NMDA component in a voltage-dependent manner, with a half-maximal inhibitory concentration (IC50) of 21 μM at -80 mV. At physiological Mg2+ concentrations, block of the NMDA component could be rapidly relieved with voltage jumps from negative to positive potentials. Block of the current upon return to negative potentials occurred almost instantaneously. 10. Zn2+ also selectively-blocked the NMDA receptor-mediated current with an IC50 of 22 μM, but this block differed from that of Mg2+ in that it showed little voltage dependence. Rapid application of Zn2+ together with glutamate produced partial block of the current. More block was observed if Zn2+ and glutamate were co-applied when NMDA receptor channels were already open. 11. The functional properties of dendritic GluRs were similar to those found at the soma. Knowledge of these properties facilitated simulations investigating the contribution of coactivated AMPA and NMDA receptors to synaptic depolarization and Ca2+ entry into dendritic spines. Because of its slow deactivation, the NMDA receptor-mediated current contributes substantially to depolarization and Ca2+ entry and is susceptible to modulation over a period of seconds, either by backpropagating action potentials or by the release of Zn2+ from presynaptic boutons. acknowledgement: We thank M.Hausser, A.Roth, P.Ruppersberg, and G.Stuart for helpful discussions and M.H. and G.S. for critically reading the manuscript. We also thank M.Kaiser for expert technical assistance and F.Helmchen, M.Huke and A.Roth for computer programming. Financial support from the Alexander von Humboldt Foundation and the Deutsche Forschungsgemeinschaft (SFB317) is gratefully acknowledged. article_processing_charge: No article_type: original author: - first_name: Nelson full_name: Spruston, Nelson last_name: Spruston - first_name: Peter M full_name: Jonas, Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 - first_name: Bert full_name: Sakmann, Bert last_name: Sakmann citation: ama: Spruston N, Jonas PM, Sakmann B. Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology. 1995;482(Pt 2):325-352. doi:10.1113/jphysiol.1995.sp020521 apa: Spruston, N., Jonas, P. M., & Sakmann, B. (1995). Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1995.sp020521 chicago: Spruston, Nelson, Peter M Jonas, and Bert Sakmann. “Dendritic Glutamate Receptor Channels in Rat Hippocampal CA3 and CA1 Pyramidal Neurons.” Journal of Physiology. Wiley-Blackwell, 1995. https://doi.org/10.1113/jphysiol.1995.sp020521. ieee: N. Spruston, P. M. Jonas, and B. Sakmann, “Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons,” Journal of Physiology, vol. 482, no. Pt 2. Wiley-Blackwell, pp. 325–352, 1995. ista: Spruston N, Jonas PM, Sakmann B. 1995. Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology. 482(Pt 2), 325–352. mla: Spruston, Nelson, et al. “Dendritic Glutamate Receptor Channels in Rat Hippocampal CA3 and CA1 Pyramidal Neurons.” Journal of Physiology, vol. 482, no. Pt 2, Wiley-Blackwell, 1995, pp. 325–52, doi:10.1113/jphysiol.1995.sp020521. short: N. Spruston, P.M. Jonas, B. Sakmann, Journal of Physiology 482 (1995) 325–352. date_created: 2018-12-11T12:03:32Z date_published: 1995-01-15T00:00:00Z date_updated: 2022-06-28T08:08:40Z day: '15' doi: 10.1113/jphysiol.1995.sp020521 extern: '1' external_id: pmid: - '7536248' intvolume: ' 482' issue: Pt 2 language: - iso: eng main_file_link: - open_access: '1' url: https://physoc.onlinelibrary.wiley.com/doi/abs/10.1113/jphysiol.1995.sp020521 month: '01' oa: 1 oa_version: Published Version page: 325 - 352 pmid: 1 publication: Journal of Physiology publication_identifier: issn: - 0022-3751 publication_status: published publisher: Wiley-Blackwell publist_id: '2909' quality_controlled: '1' status: public title: Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 482 year: '1995' ... --- _id: '3551' abstract: - lang: eng text: Common geometric models for proteins and other molecules are the space filling diagram, the solvent accessible surface, and the molecular surface. We describe software that computes metric properties of these models, including volume and surface area. It also measures voids or empty space enclosed by the protein, and it keeps track of surface area contributions of individual atoms. The software is based on 3-dimensional alpha complexes and on inclusion-exclusion formulas with terms derived from the simplices in this complex. article_processing_charge: No author: - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 - first_name: Michael full_name: Facello, Michael last_name: Facello - first_name: Ping full_name: Fu, Ping last_name: Fu - first_name: Jie full_name: Liang, Jie last_name: Liang citation: ama: 'Edelsbrunner H, Facello M, Fu P, Liang J. Measuring proteins and voids in proteins. In: Proceedings of the 28th Annual Hawaii International Conference on System Sciences. IEEE; 1995:256-264. doi:10.1109/HICSS.1995.375331' apa: 'Edelsbrunner, H., Facello, M., Fu, P., & Liang, J. (1995). Measuring proteins and voids in proteins. In Proceedings of the 28th Annual Hawaii International Conference on System Sciences (pp. 256–264). Wailea, HI, United States of America: IEEE. https://doi.org/10.1109/HICSS.1995.375331' chicago: Edelsbrunner, Herbert, Michael Facello, Ping Fu, and Jie Liang. “Measuring Proteins and Voids in Proteins.” In Proceedings of the 28th Annual Hawaii International Conference on System Sciences, 256–64. IEEE, 1995. https://doi.org/10.1109/HICSS.1995.375331. ieee: H. Edelsbrunner, M. Facello, P. Fu, and J. Liang, “Measuring proteins and voids in proteins,” in Proceedings of the 28th Annual Hawaii International Conference on System Sciences, Wailea, HI, United States of America, 1995, pp. 256–264. ista: 'Edelsbrunner H, Facello M, Fu P, Liang J. 1995. Measuring proteins and voids in proteins. Proceedings of the 28th Annual Hawaii International Conference on System Sciences. HICSS: Hawaii International Conference on System Sciences, 256–264.' mla: Edelsbrunner, Herbert, et al. “Measuring Proteins and Voids in Proteins.” Proceedings of the 28th Annual Hawaii International Conference on System Sciences, IEEE, 1995, pp. 256–64, doi:10.1109/HICSS.1995.375331. short: H. Edelsbrunner, M. Facello, P. Fu, J. Liang, in:, Proceedings of the 28th Annual Hawaii International Conference on System Sciences, IEEE, 1995, pp. 256–264. conference: end_date: 1995-01-06 location: Wailea, HI, United States of America name: 'HICSS: Hawaii International Conference on System Sciences' start_date: 1995-01-03 date_created: 2018-12-11T12:03:55Z date_published: 1995-01-04T00:00:00Z date_updated: 2022-06-27T13:54:41Z day: '04' doi: 10.1109/HICSS.1995.375331 extern: '1' language: - iso: eng main_file_link: - url: https://ieeexplore.ieee.org/document/375331 month: '01' oa_version: None page: 256 - 264 publication: Proceedings of the 28th Annual Hawaii International Conference on System Sciences publication_identifier: isbn: - 0-8186-6930-6 publication_status: published publisher: IEEE publist_id: '2834' quality_controlled: '1' scopus_import: '1' status: public title: Measuring proteins and voids in proteins type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '1995' ... --- _id: '3552' abstract: - lang: eng text: "The concept of an α-shape of a finite set of points in R^d, with weights, is defined and illustrated. An α-shape is a polytope which is not necessarily convex nor connected and can be derived from the (weighted) Delaunay triangulation of the point set, with a parameter controlling the desired level of detail. The set of all α values leads to a descrete family of shapes capturing the intuitive notion of ``crude'' versus ``fine'' shapes of a point set. Software that computes such shapes in R^2 and R^3 is available via anonymous ftp from:\r\n\r\nftp://ftp.ncsa.uiuc.edu/Visualization/Alpha-shape/ \ " article_processing_charge: No author: - first_name: Nataraj full_name: Akkiraju, Nataraj last_name: Akkiraju - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 - first_name: Michael full_name: Facello, Michael last_name: Facello - first_name: Ping full_name: Fu, Ping last_name: Fu - first_name: Ernst full_name: Mücke, Ernst last_name: Mücke - first_name: Carlos full_name: Varela, Carlos last_name: Varela citation: ama: 'Akkiraju N, Edelsbrunner H, Facello M, Fu P, Mücke E, Varela C. Alpha shapes: definition and software. In: Elsevier; 1995:63-66.' apa: 'Akkiraju, N., Edelsbrunner, H., Facello, M., Fu, P., Mücke, E., & Varela, C. (1995). Alpha shapes: definition and software (pp. 63–66). Presented at the GCG: International Computational Geometry Software Workshop, Elsevier.' chicago: 'Akkiraju, Nataraj, Herbert Edelsbrunner, Michael Facello, Ping Fu, Ernst Mücke, and Carlos Varela. “Alpha Shapes: Definition and Software,” 63–66. Elsevier, 1995.' ieee: 'N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mücke, and C. Varela, “Alpha shapes: definition and software,” presented at the GCG: International Computational Geometry Software Workshop, 1995, pp. 63–66.' ista: 'Akkiraju N, Edelsbrunner H, Facello M, Fu P, Mücke E, Varela C. 1995. Alpha shapes: definition and software. GCG: International Computational Geometry Software Workshop, 63–66.' mla: 'Akkiraju, Nataraj, et al. Alpha Shapes: Definition and Software. Elsevier, 1995, pp. 63–66.' short: N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mücke, C. Varela, in:, Elsevier, 1995, pp. 63–66. conference: name: 'GCG: International Computational Geometry Software Workshop' date_created: 2018-12-11T12:03:55Z date_published: 1995-09-11T00:00:00Z date_updated: 2022-06-27T13:20:29Z day: '11' extern: '1' language: - iso: eng main_file_link: - url: http://www.geom.uiuc.edu/software/cglist/GeomDir/shapes95def/ month: '09' oa_version: None page: 63 - 66 publication_status: published publisher: Elsevier publist_id: '2833' quality_controlled: '1' status: public title: 'Alpha shapes: definition and software' type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '1995' ... --- _id: '3636' abstract: - lang: eng text: 'Observations on the means, variances, and covariances of quantitative traits across hybrid zones can give information similar to that from Mendelian markers. In addition, they can identify particular traits through which the cline is maintained. We describe a survey of six traits across the hybrid zone between Bombina bombina and Bombina variegata (Amphibia: Discoglossidae) near Pescenica in Croatia. We obtained laboratory measuments of the belly pattern, skin thickness, mating call, skeletal form, egg size, and the developmental time of tadpoles. Although offspring from hybrid populations showed no evidence of reduced viability, a third of the F1 families failed completely, irrespective of the direction of the cross. All traits differed significantly between the taxa. Clines in belly pattern, skin thickness, mating call, and skeletal form were closely concordant with clines in four diagnostic enzyme loci. However, the cline in developmental time was displaced towards bombina, and the cline in egg size was displaced towards variegata. This discordance could be because the traits are not inherited additively or because they are subject to different selection pressures. We favor the latter explanation in the case of developmental time. We show that moderate selection acting directly on a trait suffices to shift its position; rather stronger selection is needed to change its width appreciably. Within hybrid populations, there are significant associations among quantitative traits, and between traits and enzymes. Phenotypic variances also increase in hybrid populations. These observations can be explained by linkage disequilibria among the underlying loci. However, the average magnitude of the covariance between traits is about half that expected from the linkage disequilibria between enzyme loci. The discrepancy is not readily explained by nonadditive gene action. This puzzle is now unresolved and calls for further investigation.' acknowledgement: 'The project would not have been possible without F. Perovic''s extensive knowledge of the natural history of the Pegdenica area, and his assistance in the field. Particular thanks are due to the Perovie family for their generous hospitality. The Croatian Museum of Natural History and the Croatian Ministry of the Environment were helpful in granting all the necessary permits. J. Szymura assisted with allozyme tech-niques and in sharing unpublished data from his original survey of the area. M. Davidson and K. Grant prepared the histological specimens, and G. Patterson volunteered time and expertise in X-raying our toads. All members of L. Partridge''s lab generously provided us with toad food on a daily basis, in the form of uncountably many spare Drosophila. G. Malarky and M. Oh stoically coped with much tedious toad care. We thank W. G. Hill, L. Kruuk, D. Rand, J. Szymura, and an anonymous reviewer for helpful comments on the manuscript. This research was supported by a grant from the Natural Environment Research Council (GR3/8002) to N.B. ' article_processing_charge: No article_type: original author: - first_name: Beate full_name: Nürnberger, Beate last_name: Nürnberger - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 - first_name: Catriona full_name: Maccallum, Catriona last_name: Maccallum - first_name: Jason full_name: Gilchrist, Jason last_name: Gilchrist - first_name: Michael full_name: Appleby, Michael last_name: Appleby citation: ama: Nürnberger B, Barton NH, Maccallum C, Gilchrist J, Appleby M. Natural selection on quantitative traits in the Bombina hybrid zone. Evolution. 1995;49(6):1224-1238. doi:10.1111/j.1558-5646.1995.tb04449.x apa: Nürnberger, B., Barton, N. H., Maccallum, C., Gilchrist, J., & Appleby, M. (1995). Natural selection on quantitative traits in the Bombina hybrid zone. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1995.tb04449.x chicago: Nürnberger, Beate, Nicholas H Barton, Catriona Maccallum, Jason Gilchrist, and Michael Appleby. “Natural Selection on Quantitative Traits in the Bombina Hybrid Zone.” Evolution. Wiley-Blackwell, 1995. https://doi.org/10.1111/j.1558-5646.1995.tb04449.x. ieee: B. Nürnberger, N. H. Barton, C. Maccallum, J. Gilchrist, and M. Appleby, “Natural selection on quantitative traits in the Bombina hybrid zone,” Evolution, vol. 49, no. 6. Wiley-Blackwell, pp. 1224–1238, 1995. ista: Nürnberger B, Barton NH, Maccallum C, Gilchrist J, Appleby M. 1995. Natural selection on quantitative traits in the Bombina hybrid zone. Evolution. 49(6), 1224–1238. mla: Nürnberger, Beate, et al. “Natural Selection on Quantitative Traits in the Bombina Hybrid Zone.” Evolution, vol. 49, no. 6, Wiley-Blackwell, 1995, pp. 1224–38, doi:10.1111/j.1558-5646.1995.tb04449.x. short: B. Nürnberger, N.H. Barton, C. Maccallum, J. Gilchrist, M. Appleby, Evolution 49 (1995) 1224–1238. date_created: 2018-12-11T12:04:22Z date_published: 1995-12-01T00:00:00Z date_updated: 2022-06-27T12:58:02Z day: '01' doi: 10.1111/j.1558-5646.1995.tb04449.x extern: '1' intvolume: ' 49' issue: '6' language: - iso: eng main_file_link: - open_access: '1' url: https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb04449.x month: '12' oa: 1 oa_version: Published Version page: 1224 - 1238 publication: Evolution publication_identifier: issn: - 0014-3820 publication_status: published publisher: Wiley-Blackwell publist_id: '2747' quality_controlled: '1' scopus_import: '1' status: public title: Natural selection on quantitative traits in the Bombina hybrid zone type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 49 year: '1995' ... --- _id: '3637' abstract: - lang: eng text: 'Hybridizing taxa remain distinct for two main reasons. Natural selection acts against hybrids either because of their incompatible genome, or because of differential adaptation of the pure types across an environmental gradient. Here, we provide experimental evidence that the location of the Bombina (Anura: Discoglossidae) hybrid zone in Croatia is, at least in part, determined by differential adaptation. B. bombina typically breeds in permanent water in the lowland, whereas B. variegata reproduces in puddles at higher elevations. In a reciprocal translocation, pure bombina and variegata tadpoles were introduced in equal proportions into lowland pond enclosures and upland puddles. After three weeks, variegata exceeded bombina in survival and growth in both habitats. The effect was most pronounced in puddles, where the few surviving bombina tadpoles had hardly grown at all. In comparison to variegata, the smaller hatchlings of bombina grew relatively faster in ponds, but remained smaller in absolute terms. Nevertheless, B. bombina appears better adapted to ponds than to puddles. The mechanisms by which variegata is excluded from ponds remain to be demonstrated. These data show that habitat dependent selection prevents the invasion of bombina tadpole traits into the variegata gene pool. Given the strong linkage disequilibria in hybrid populations, differential selection on tadpoles may be sufficient to maintain the integrity of the two gene pools.' acknowledgement: We thank Franjo Perovioc for invaluable help in the field and the Perovioc family for generous hospitality. Logistical and practical support was provided by the Croatian Museum of Natural History in particular Bojan Lazar and Eduarrd Kletecki. The people of Velesevec kindly tolerated our enclosure bags in their village pond. Stejpan Ticeric generously provided a base for our work in Perkovec. Professor S. Jelaska of the U niversity of Zagreb allowed us unlim ited access to her laboratory, where all tadpole m easurem ents were taken. Loeske K ruuk carried out the electrophoretic analysis which established the taxonomic significance of tadpole belly colour. We thank Ian Wilson for statistical advice and Tim Halliday, Peter Jones, Loeske Kruuk, Jaroslav Pialek and two anonymous referees for helpful comments on the manuscript. This research was supported by a grant from the NERC (No. GR3/8002) to N.H.B. article_processing_charge: No article_type: original author: - first_name: Catriona full_name: Maccallum, Catriona last_name: Maccallum - first_name: Beate full_name: Nürnberger, Beate last_name: Nürnberger - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 citation: ama: Maccallum C, Nürnberger B, Barton NH. Experimental evidence for habitat dependent selection in a Bombina hybrid zone. Proceedings of the Royal Society of London Series B Biological Sciences. 1995;260(1359):257-264. doi:10.1098/rspb.1995.0089 apa: Maccallum, C., Nürnberger, B., & Barton, N. H. (1995). Experimental evidence for habitat dependent selection in a Bombina hybrid zone. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society of London. https://doi.org/10.1098/rspb.1995.0089 chicago: Maccallum, Catriona, Beate Nürnberger, and Nicholas H Barton. “Experimental Evidence for Habitat Dependent Selection in a Bombina Hybrid Zone.” Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society of London, 1995. https://doi.org/10.1098/rspb.1995.0089. ieee: C. Maccallum, B. Nürnberger, and N. H. Barton, “Experimental evidence for habitat dependent selection in a Bombina hybrid zone,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 260, no. 1359. Royal Society of London, pp. 257–264, 1995. ista: Maccallum C, Nürnberger B, Barton NH. 1995. Experimental evidence for habitat dependent selection in a Bombina hybrid zone. Proceedings of the Royal Society of London Series B Biological Sciences. 260(1359), 257–264. mla: Maccallum, Catriona, et al. “Experimental Evidence for Habitat Dependent Selection in a Bombina Hybrid Zone.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 260, no. 1359, Royal Society of London, 1995, pp. 257–64, doi:10.1098/rspb.1995.0089. short: C. Maccallum, B. Nürnberger, N.H. Barton, Proceedings of the Royal Society of London Series B Biological Sciences 260 (1995) 257–264. date_created: 2018-12-11T12:04:22Z date_published: 1995-06-22T00:00:00Z date_updated: 2022-06-27T10:14:02Z day: '22' doi: 10.1098/rspb.1995.0089 extern: '1' intvolume: ' 260' issue: '1359' language: - iso: eng main_file_link: - url: https://royalsocietypublishing.org/doi/10.1098/rspb.1995.0089 month: '06' oa_version: None page: 257 - 264 publication: Proceedings of the Royal Society of London Series B Biological Sciences publication_identifier: issn: - 0962-8452 publication_status: published publisher: Royal Society of London publist_id: '2746' quality_controlled: '1' scopus_import: '1' status: public title: Experimental evidence for habitat dependent selection in a Bombina hybrid zone type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 260 year: '1995' ... --- _id: '3639' abstract: - lang: eng text: 'A general representation of multilocus selection is extended to allow recombination to depend on genotype. The equations simplify if modifier alleles have small effects on recombination. The evolution of such modifiers only depends on how they alter recombination between the selected loci, and does not involve dominance in modifier effects. The net selection on modifiers can be found explicitly if epistasis is weak relative to recombination. This analysis shows that recombination can be favoured in two ways: because it impedes the response to epistasis which fluctuates in sign, or because it facilitates the response to directional selection. The first mechanism is implausible, because epistasis must change sign over periods of a few generations: faster or slower fluctuations favour reduced recombination. The second mechanism requires weak negative epistasis between favourable alleles, which may either be increasing, or held in check by mutation. The selection (si) on recombination modifiers depends on the reduction in additive variance of log (fitness) due to linkage disequilibria (υ1 < 0), and on non-additive variance in log (fitness) (V′2, V′3,.. epistasis between 2, 3.. loci). For unlinked loci and pairwise epistasis, si = − (υ1 + 4V2/3)δr, where δr is the average increase in recombination caused by the modifier. The approximations are checked against exact calculations for three loci, and against Charlesworth''s analyses of mutation/selection balance (1990), and directional selection (1993). The analysis demonstrates a general relation between selection on recombination and observable components of fitness variation, which is open to experimental test.' article_processing_charge: No article_type: original author: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 citation: ama: Barton NH. A general model for the evolution of recombination. Genetical Research. 1995;65(2):123-144. doi:10.1017/S0016672300033140 apa: Barton, N. H. (1995). A general model for the evolution of recombination. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300033140 chicago: Barton, Nicholas H. “A General Model for the Evolution of Recombination.” Genetical Research. Cambridge University Press, 1995. https://doi.org/10.1017/S0016672300033140. ieee: N. H. Barton, “A general model for the evolution of recombination,” Genetical Research, vol. 65, no. 2. Cambridge University Press, pp. 123–144, 1995. ista: Barton NH. 1995. A general model for the evolution of recombination. Genetical Research. 65(2), 123–144. mla: Barton, Nicholas H. “A General Model for the Evolution of Recombination.” Genetical Research, vol. 65, no. 2, Cambridge University Press, 1995, pp. 123–44, doi:10.1017/S0016672300033140. short: N.H. Barton, Genetical Research 65 (1995) 123–144. date_created: 2018-12-11T12:04:23Z date_published: 1995-04-01T00:00:00Z date_updated: 2022-06-24T11:54:10Z day: '01' doi: 10.1017/S0016672300033140 extern: '1' external_id: pmid: - '7605514' intvolume: ' 65' issue: '2' language: - iso: eng main_file_link: - url: https://www.cambridge.org/core/journals/genetics-research/article/general-model-for-the-evolution-of-recombination/8CBDDF2DC779CF4B6AE9B461B80BB4AE month: '04' oa_version: None page: 123 - 144 pmid: 1 publication: Genetical Research publication_identifier: issn: - 0016-6723 publication_status: published publisher: Cambridge University Press publist_id: '2744' quality_controlled: '1' scopus_import: '1' status: public title: A general model for the evolution of recombination type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 65 year: '1995' ... --- _id: '3638' abstract: - lang: eng text: 'Any sample of genes traces back to a single common ancestor. Each gene also has other properties: its sequence, its geographic location and the phenotype and fitness of the organism that carries it. With sexual reproduction, different genes have different genealogies, which gives us much more information, but also greatly complicates population genetic analysis. We review the close relation between the distribution of genealogies and the classic theory of identity by descent in spatially structured populations, and develop a simple diffusion approximation to the distribution of coalescence times in a homogeneous two-dimensional habitat. This shows that when neighbourhood size is large (as in most populations) only a small fraction of pairs of genes are closely related, and only this fraction gives information about current rates of gene flow. The increase of spatial dispersion with lineage age is thus a poor estimator of gene flow. The bulk of the genealogy depends on the long-term history of the population; we discuss ways of inferring this history from the concordance between genealogies across loci.' acknowledgement: This work was supported by BBSRC grant GR/H/09928 and by a Scottish Office studentship. We thank A. W. F. Edwards and S. Otto for their helpful comments. article_processing_charge: No article_type: original author: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 - first_name: I full_name: Wilson, I last_name: Wilson citation: ama: Barton NH, Wilson I. Genealogies and geography. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 1995;349(1327):49-59. doi:10.1098/rstb.1995.0090 apa: Barton, N. H., & Wilson, I. (1995). Genealogies and geography. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.1995.0090 chicago: Barton, Nicholas H, and I Wilson. “Genealogies and Geography.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 1995. https://doi.org/10.1098/rstb.1995.0090. ieee: N. H. Barton and I. Wilson, “Genealogies and geography,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 349, no. 1327. Royal Society, The, pp. 49–59, 1995. ista: Barton NH, Wilson I. 1995. Genealogies and geography. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 349(1327), 49–59. mla: Barton, Nicholas H., and I. Wilson. “Genealogies and Geography.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 349, no. 1327, Royal Society, The, 1995, pp. 49–59, doi:10.1098/rstb.1995.0090. short: N.H. Barton, I. Wilson, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 349 (1995) 49–59. date_created: 2018-12-11T12:04:22Z date_published: 1995-07-29T00:00:00Z date_updated: 2022-06-27T08:55:07Z day: '29' doi: 10.1098/rstb.1995.0090 extern: '1' external_id: pmid: - '8748019' intvolume: ' 349' issue: '1327' language: - iso: eng main_file_link: - url: https://royalsocietypublishing.org/doi/10.1098/rstb.1995.0090 month: '07' oa_version: None page: 49 - 59 pmid: 1 publication: Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences publication_identifier: issn: - 0962-8436 publication_status: published publisher: Royal Society, The publist_id: '2745' quality_controlled: '1' status: public title: Genealogies and geography type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 349 year: '1995' ... --- _id: '4035' abstract: - lang: eng text: 'Let S be a set of n points in ℝd . A set W is a weak ε-net for (convex ranges of)S if, for any T⊆S containing εn points, the convex hull of T intersects W. We show the existence of weak ε-nets of size {Mathematical expression}, where β2=0, β3=1, and βd ≈0.149·2d-1(d-1)!, improving a previous bound of Alon et al. Such a net can be computed effectively. We also consider two special cases: when S is a planar point set in convex position, we prove the existence of a net of size O((1/ε) log1.6(1/ε)). In the case where S consists of the vertices of a regular polygon, we use an argument from hyperbolic geometry to exhibit an optimal net of size O(1/ε), which improves a previous bound of Capoyleas.' acknowledgement: The authors wish to express their gratitude for the support and hospitality of the DEC Palo Alto Systems Research Center. article_processing_charge: No article_type: original author: - first_name: Bernard full_name: Chazelle, Bernard last_name: Chazelle - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 - first_name: Michelangelo full_name: Grigni, Michelangelo last_name: Grigni - first_name: Leonidas full_name: Guibas, Leonidas last_name: Guibas - first_name: Micha full_name: Sharir, Micha last_name: Sharir - first_name: Emo full_name: Welzl, Emo last_name: Welzl citation: ama: Chazelle B, Edelsbrunner H, Grigni M, Guibas L, Sharir M, Welzl E. Improved bounds on weak ε-nets for convex sets. Discrete & Computational Geometry. 1995;13(1):1-15. doi:10.1007/BF02574025 apa: Chazelle, B., Edelsbrunner, H., Grigni, M., Guibas, L., Sharir, M., & Welzl, E. (1995). Improved bounds on weak ε-nets for convex sets. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02574025 chicago: Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas Guibas, Micha Sharir, and Emo Welzl. “Improved Bounds on Weak ε-Nets for Convex Sets.” Discrete & Computational Geometry. Springer, 1995. https://doi.org/10.1007/BF02574025. ieee: B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, M. Sharir, and E. Welzl, “Improved bounds on weak ε-nets for convex sets,” Discrete & Computational Geometry, vol. 13, no. 1. Springer, pp. 1–15, 1995. ista: Chazelle B, Edelsbrunner H, Grigni M, Guibas L, Sharir M, Welzl E. 1995. Improved bounds on weak ε-nets for convex sets. Discrete & Computational Geometry. 13(1), 1–15. mla: Chazelle, Bernard, et al. “Improved Bounds on Weak ε-Nets for Convex Sets.” Discrete & Computational Geometry, vol. 13, no. 1, Springer, 1995, pp. 1–15, doi:10.1007/BF02574025. short: B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, M. Sharir, E. Welzl, Discrete & Computational Geometry 13 (1995) 1–15. date_created: 2018-12-11T12:06:33Z date_published: 1995-12-01T00:00:00Z date_updated: 2022-06-13T12:37:06Z day: '01' doi: 10.1007/BF02574025 extern: '1' intvolume: ' 13' issue: '1' language: - iso: eng main_file_link: - url: https://link.springer.com/article/10.1007/BF02574025 month: '12' oa_version: None page: 1 - 15 publication: Discrete & Computational Geometry publication_identifier: issn: - 0179-5376 publication_status: published publisher: Springer publist_id: '2094' quality_controlled: '1' status: public title: Improved bounds on weak ε-nets for convex sets type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 13 year: '1995' ... --- _id: '4034' abstract: - lang: eng text: Any arbitrary polyhedron P contained as a subset within Rd can be written as algebraic sum of simple terms, each an integer multiple of the intersection of d or fewer half-spaces defined by facets of P. P can be non-convex and can have holes of any kind. Among the consequences of this result are a short boolean formula for P, a fast parallel algorithm for point classification, and a new proof of the Gram-Sommerville angle relation. acknowledgement: The author thanks Bei-Fang Chen, Siu-Wing Cheng, David Dobkin, Nikolai Dolbilin, Ping Fu, Sergei Ryshkov, and Vadim Shapiro for discussions on the topic of this paper. article_processing_charge: No author: - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 citation: ama: 'Edelsbrunner H. Algebraic decomposition of non-convex polyhedra. In: Proceedings of IEEE 36th Annual Foundations of Computer Science. IEEE; 1995:248-257.' apa: 'Edelsbrunner, H. (1995). Algebraic decomposition of non-convex polyhedra. In Proceedings of IEEE 36th Annual Foundations of Computer Science (pp. 248–257). Milwaukee, WI, United States of America: IEEE.' chicago: Edelsbrunner, Herbert. “Algebraic Decomposition of Non-Convex Polyhedra.” In Proceedings of IEEE 36th Annual Foundations of Computer Science, 248–57. IEEE, 1995. ieee: H. Edelsbrunner, “Algebraic decomposition of non-convex polyhedra,” in Proceedings of IEEE 36th Annual Foundations of Computer Science, Milwaukee, WI, United States of America, 1995, pp. 248–257. ista: 'Edelsbrunner H. 1995. Algebraic decomposition of non-convex polyhedra. Proceedings of IEEE 36th Annual Foundations of Computer Science. FOCS: Foundations of Computer Science, 248–257.' mla: Edelsbrunner, Herbert. “Algebraic Decomposition of Non-Convex Polyhedra.” Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 248–57. short: H. Edelsbrunner, in:, Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 248–257. conference: end_date: 1995-10-25 location: Milwaukee, WI, United States of America name: 'FOCS: Foundations of Computer Science' start_date: 1995-10-23 date_created: 2018-12-11T12:06:33Z date_published: 1995-10-01T00:00:00Z date_updated: 2022-06-13T12:27:11Z day: '01' extern: '1' language: - iso: eng main_file_link: - url: https://ieeexplore.ieee.org/abstract/document/492480 month: '10' oa_version: None page: 248 - 257 publication: Proceedings of IEEE 36th Annual Foundations of Computer Science publication_identifier: issn: - 0272-5428 publication_status: published publisher: IEEE publist_id: '2093' quality_controlled: '1' status: public title: Algebraic decomposition of non-convex polyhedra type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '1995' ... --- _id: '4153' article_processing_charge: No article_type: original author: - first_name: D. full_name: Ransom, D. last_name: Ransom - first_name: Alison full_name: Brownlie, Alison last_name: Brownlie - first_name: Pascal full_name: Haffter, Pascal last_name: Haffter - first_name: Jörg full_name: Odenthal, Jörg last_name: Odenthal - first_name: Robert full_name: Kelsh, Robert last_name: Kelsh - first_name: Michael full_name: Brand, Michael last_name: Brand - first_name: Makoto full_name: Furutani Seiki, Makoto last_name: Furutani Seiki - first_name: Michael full_name: Granato, Michael last_name: Granato - first_name: Matthias full_name: Hammerschmidt, Matthias last_name: Hammerschmidt - first_name: Carl-Philipp J full_name: Heisenberg, Carl-Philipp J id: 39427864-F248-11E8-B48F-1D18A9856A87 last_name: Heisenberg orcid: 0000-0002-0912-4566 - first_name: Yunjin full_name: Jiang, Yunjin last_name: Jiang - first_name: David full_name: Kane, David last_name: Kane - first_name: Mary full_name: Mullins, Mary last_name: Mullins - first_name: Fredericus full_name: Van Eden, Fredericus last_name: Van Eden - first_name: Rachel full_name: Warga, Rachel last_name: Warga - first_name: Christiane full_name: Nüsslein Volhard, Christiane last_name: Nüsslein Volhard - first_name: L. full_name: Zon, L. last_name: Zon citation: ama: Ransom D, Brownlie A, Haffter P, et al. Hematopoietic mutants identified in a saturation screen of the zebrafish genome. Blood. 1995;86(10):1912-1912. apa: Ransom, D., Brownlie, A., Haffter, P., Odenthal, J., Kelsh, R., Brand, M., … Zon, L. (1995). Hematopoietic mutants identified in a saturation screen of the zebrafish genome. Blood. American Society of Hematology. chicago: Ransom, D., Alison Brownlie, Pascal Haffter, Jörg Odenthal, Robert Kelsh, Michael Brand, Makoto Furutani Seiki, et al. “Hematopoietic Mutants Identified in a Saturation Screen of the Zebrafish Genome.” Blood. American Society of Hematology, 1995. ieee: D. Ransom et al., “Hematopoietic mutants identified in a saturation screen of the zebrafish genome,” Blood, vol. 86, no. 10. American Society of Hematology, pp. 1912–1912, 1995. ista: Ransom D, Brownlie A, Haffter P, Odenthal J, Kelsh R, Brand M, Furutani Seiki M, Granato M, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kane D, Mullins M, Van Eden F, Warga R, Nüsslein Volhard C, Zon L. 1995. Hematopoietic mutants identified in a saturation screen of the zebrafish genome. Blood. 86(10), 1912–1912. mla: Ransom, D., et al. “Hematopoietic Mutants Identified in a Saturation Screen of the Zebrafish Genome.” Blood, vol. 86, no. 10, American Society of Hematology, 1995, pp. 1912–1912. short: D. Ransom, A. Brownlie, P. Haffter, J. Odenthal, R. Kelsh, M. Brand, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, M. Mullins, F. Van Eden, R. Warga, C. Nüsslein Volhard, L. Zon, Blood 86 (1995) 1912–1912. date_created: 2018-12-11T12:07:16Z date_published: 1995-01-01T00:00:00Z date_updated: 2022-06-13T12:02:52Z day: '01' extern: '1' intvolume: ' 86' issue: '10' language: - iso: eng month: '01' oa_version: None page: 1912 - 1912 publication: Blood publication_identifier: issn: - 0006-4971 publication_status: published publisher: American Society of Hematology publist_id: '1965' quality_controlled: '1' status: public title: Hematopoietic mutants identified in a saturation screen of the zebrafish genome type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 86 year: '1995' ... --- _id: '3479' abstract: - lang: eng text: 1. Glutamate receptor (GluR) channels were studied in basket cells in the dentate gyrus of rat hippocampal slices. Basket cells were identified by their location, dendritic morphology and high frequency of action potentials generated during sustained current injection. 2. Dual-component currents were activated by fast application of glutamate to outside-out membrane patches isolated from basket cell somata (10 μM glycine, no external Mg2+). The fast component was selectively blocked by 6-cyano-7-nitroquinoxaline-2,3-dione (CNQX), the slow component by D-2-amino-5-phosphonopentanoic acid (D-AP5). This suggests that the two components were mediated by α-amino-3-hydroxy-5-methyl-4-isoxazolepropionate receptor (AMPAR)/kainate receptor and N-methyl-D-aspartate receptor (NMDAR) channels, respectively. The mean ratio of the peak current of the NMDAR component to that of the AMPAR/kainate receptor component was 0.22 (1 ms pulses of 10 mM glutamate). 3. The AMPAR/kainate receptor component, which was studied in isolation in the presence of D-AP5, was identified as AMPAR mediated on the basis of the preferential activation by AMPA as compared with kainate, the weak desensitization of kainate-activated currents, the cross-desensitization between AMPA and kainate, and the reduction of desensitization by cyclothiazide. 4. Deactivation of basket cell AMPARs following 1 ms pulses of glutamate occurred with a time constant (τ) of 1.2 ± 0.1 ms (mean ± S.E.M.). During 100 ms glutamate pulses, AMPARs desensitized with a τ of 3.7 ± 0.2 ms. 5. The peak current-voltage (I-V) relation of AMPAR-mediated currents in Na+-rich extracellular solution showed a reversal potential of -4.0 ± 2.6 mV and was characterized by a doubly rectifying shape. The conductance of single AMPAR channels was estimated as 22.6 ± 1.6 pS using non-stationary fluctuation analysis. AMPARs expressed in hippocampal basket cells mere highly Ca2+ permeable (P(Ca)/P(K) = 1.79). 6. NMDARs in hippocampal basket cells were studied in isolation in the presence of CNQX. Deactivation of NMDARs activated by glutamate pulses occurred bi-exponentially with mean τ values of 266 ± 23 ms (76%) and 2620 ± 383 ms (24%). 7. The peak I-V relation of the NMDAR-mediated component in Na+-rich extracellular solution showed a reversal potential of 1.5 ± 0.6 mV and a region of negative slope at negative membrane potentials in the presence of external Mg2+, due to voltage-dependent block by these ions. The conductance of single NMDAR channels in the main open state was 50.2 ± 1.8 pS. NMDARs in hippocampal basket cells were highly permeable to Ca2+ (P(Ca)/P(K) = 6.68). 8. AMPARs in hippocampal basket cells are characterized by about threefold faster kinetics and twentyfold higher Ca2+ permeability than AMPARs in hippocampal granule or pyramidal cells. Simulations show that the Ca2+ influx through basket cell AMPARs is comparable to that through NMDARs at negative membrane potentials with physiological concentrations of Ca2+ and Mg2+. This suggests a dual pathway of synaptically mediated Ca2+ entry into interneurones. acknowledgement: We thank Drs M.Häusser and H.Markram for critically reading the manuscript and M.Kaiser for technical assistance. Supported by the Deutsche Forschungsgemeinschaft (SFB-317/B14 grant to P.J. and a Graduiertenkollegstipendium to J.R.P.G.) article_processing_charge: No article_type: original author: - first_name: Duk full_name: Koh, Duk last_name: Koh - first_name: Jörg full_name: Geiger, Jörg last_name: Geiger - first_name: Peter M full_name: Jonas, Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 - first_name: Bert full_name: Sakmann, Bert last_name: Sakmann citation: ama: Koh D, Geiger J, Jonas PM, Sakmann B. Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology. 1995;485(Pt 2):383-402. doi:10.1113/jphysiol.1995.sp020737 apa: Koh, D., Geiger, J., Jonas, P. M., & Sakmann, B. (1995). Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1995.sp020737 chicago: Koh, Duk, Jörg Geiger, Peter M Jonas, and Bert Sakmann. “Ca(2+)-Permeable AMPA and NMDA Receptor Channels in Basket Cells of Rat Hippocampal Dentate Gyrus.” Journal of Physiology. Wiley-Blackwell, 1995. https://doi.org/10.1113/jphysiol.1995.sp020737. ieee: D. Koh, J. Geiger, P. M. Jonas, and B. Sakmann, “Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus,” Journal of Physiology, vol. 485, no. Pt 2. Wiley-Blackwell, pp. 383–402, 1995. ista: Koh D, Geiger J, Jonas PM, Sakmann B. 1995. Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology. 485(Pt 2), 383–402. mla: Koh, Duk, et al. “Ca(2+)-Permeable AMPA and NMDA Receptor Channels in Basket Cells of Rat Hippocampal Dentate Gyrus.” Journal of Physiology, vol. 485, no. Pt 2, Wiley-Blackwell, 1995, pp. 383–402, doi:10.1113/jphysiol.1995.sp020737. short: D. Koh, J. Geiger, P.M. Jonas, B. Sakmann, Journal of Physiology 485 (1995) 383–402. date_created: 2018-12-11T12:03:33Z date_published: 1995-06-01T00:00:00Z date_updated: 2022-06-28T07:54:44Z day: '01' doi: 10.1113/jphysiol.1995.sp020737 extern: '1' external_id: pmid: - '7545230' intvolume: ' 485' issue: Pt 2 language: - iso: eng main_file_link: - open_access: '1' url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1158000/pdf/jphysiol00319-0104.pdf month: '06' oa: 1 oa_version: Published Version page: 383 - 402 pmid: 1 publication: Journal of Physiology publication_identifier: issn: - 0022-3751 publication_status: published publisher: Wiley-Blackwell publist_id: '2908' quality_controlled: '1' scopus_import: '1' status: public title: Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 485 year: '1995' ... --- _id: '3481' abstract: - lang: eng text: 1. The influence of intracellular factors on current rectification of different subtypes of native α-amino-3-hydroxy-5-methyl-4-isoxazolepropionate receptors (AMPARs) was studied in rat brain slices by combining fast application of glutamate with patch pipette perfusion. 2. The peak current-voltage (I-V) relation of the AMPARs expressed in Bergmann glial cells of cerebellum and dentate gyrus (DG) basket cells of hippocampus was weakly rectifying in outside-out patches and nystatin-perforated vesicles, but showed a doubly rectifying shape with a region of reduced slope between 0 and +40 mV in nucleated patches. The I-V relation of AMPARs expressed in hippocampal CA3 pyramidal neurones was linear in all recording configurations. 3. Intracellular application of 2.5 μM spermine, a naturally occurring polyamine, blocked outward currents in outside-oat patches from Bergmann glial cells and DG basket cells in a voltage-dependent manner, generating I-V relations with a doubly rectifying shape which were similar to those recorded in nucleated patches. AMPARs in CA3 pyramidal cell patches were unaffected by 25 μM spermine. 4. The half-maximal blocking concentration of spermine at +40 mV was 0.3 μM in Bergmann glial cell patches and 1.5 μM in DG basket cell patches, whereas it was much higher (≥ 100 μM) for CA3 pyramidal. cell patches. Spermidine also affected current rectification, but with lower affinity. The block of outward current by polyamines following voltage jumps developed within < 0.5 ms. 5. We conclude that current rectification, rather than being an intrinsic property of the Ca2+ permeable AMPAR channel, is generated by polyamine block. acknowledgement: We thank Dr B.Sakmann, Dr V.Witzemann, J.Geiger, and A.Roth for helpful discussions and Dr D.Feldmeyer and Dr A.Villarroel for reading the manuscript. We also thank M.Kaiser for technical and H.Spiegel for secretarial assistance. Supported by DFG grant SFB-317/B14(P.J.). article_processing_charge: No article_type: original author: - first_name: Duk full_name: Koh, Duk last_name: Koh - first_name: Nail full_name: Burnashev, Nail last_name: Burnashev - first_name: Peter M full_name: Jonas, Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 citation: ama: Koh D, Burnashev N, Jonas PM. Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. 1995;486(Pt 2):305-312. doi:10.1113/jphysiol.1995.sp020813 apa: Koh, D., Burnashev, N., & Jonas, P. M. (1995). Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1995.sp020813 chicago: Koh, Duk, Nail Burnashev, and Peter M Jonas. “Block of Native Ca(2+)-Permeable AMPA Receptors in Rat Brain by Intracellular Polyamines Generates Double Rectification.” Journal of Physiology. Wiley-Blackwell, 1995. https://doi.org/10.1113/jphysiol.1995.sp020813. ieee: D. Koh, N. Burnashev, and P. M. Jonas, “Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification,” Journal of Physiology, vol. 486, no. Pt 2. Wiley-Blackwell, pp. 305–312, 1995. ista: Koh D, Burnashev N, Jonas PM. 1995. Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. 486(Pt 2), 305–312. mla: Koh, Duk, et al. “Block of Native Ca(2+)-Permeable AMPA Receptors in Rat Brain by Intracellular Polyamines Generates Double Rectification.” Journal of Physiology, vol. 486, no. Pt 2, Wiley-Blackwell, 1995, pp. 305–12, doi:10.1113/jphysiol.1995.sp020813. short: D. Koh, N. Burnashev, P.M. Jonas, Journal of Physiology 486 (1995) 305–312. date_created: 2018-12-11T12:03:33Z date_published: 1995-07-15T00:00:00Z date_updated: 2022-06-27T14:53:16Z day: '15' doi: 10.1113/jphysiol.1995.sp020813 extern: '1' external_id: pmid: - '7473198' intvolume: ' 486' issue: Pt 2 language: - iso: eng main_file_link: - open_access: '1' url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1156754/ month: '07' oa: 1 oa_version: Published Version page: 305 - 312 pmid: 1 publication: Journal of Physiology publication_identifier: issn: - 0022-3751 publication_status: published publisher: Wiley-Blackwell publist_id: '2906' quality_controlled: '1' status: public title: Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 486 year: '1995' ... --- _id: '3480' abstract: - lang: eng text: Recording of glutamate-activated currents in membrane patches was combine with RT-PCR-mediated AMPA receptor (AMPAR) subunit mRNA analysis in single identified cells of rat brain slices. Analysis of AMPARs in principal neurons end interneurons of hippocampus and neocortex and in auditory relay neurons and Bergmann glial cells indicates that the GluR-B subunit in its flip version determines formation of receptors with relatively slow gating, whereas the GluR-D subunit promotes assembly of more rapidly gated receptors. The relation between Ca 2+ permeability of AMPAR channels and the relative GluR-B mRNA abundance is consistent with the dominance of this subunit in determining the Ca 2+ permeability of native receptors. The results suggest that differential expression of GluR-B and GluR-D subunit genes, as well as splicing end editing of their mRNAs, account for the differences in gating and Ca 2+ permeability of native AMPAR channels. acknowledgement: "We thank Ulla Amtmann for efficient help with the molecular analysis. We also thank M. Kaiser for technical assistance, Dr. J. G. G. Borst for advice concerning preparation of brainstem slices, and Drs. N. Spruston and G. Stuart for critically reading the manuscript. Funded in part by Bundesministerium für Forschung und Technologie grant BCT 364 AZ 321/7291 (P. H. S.) and by Deutsche Forschungsgemeinschaftgrant SFB-3171814(P. J.). J. R. P. G. and T. M. were supported by the graduate program of Molecular and Cellular Neurobiology of the University of Heidelberg. The costs of publication of this article were defrayed in part by the payment of page charges. This article must therefore be hereby\r\nmarked “advertisement” in accordance with 18 USC Section 1734 solely to Indicate this fact." article_processing_charge: No article_type: original author: - first_name: Jörg full_name: Geiger, Jörg last_name: Geiger - first_name: Thorsten full_name: Melcher, Thorsten last_name: Melcher - first_name: Duk full_name: Koh, Duk last_name: Koh - first_name: Bert full_name: Sakmann, Bert last_name: Sakmann - first_name: Peter full_name: Seeburg, Peter last_name: Seeburg - first_name: Peter M full_name: Jonas, Peter M id: 353C1B58-F248-11E8-B48F-1D18A9856A87 last_name: Jonas orcid: 0000-0001-5001-4804 - first_name: Hannah full_name: Monyer, Hannah last_name: Monyer citation: ama: Geiger J, Melcher T, Koh D, et al. Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS. Neuron. 1995;15(1):193-204. doi:10.1016/0896-6273(95)90076-4 apa: Geiger, J., Melcher, T., Koh, D., Sakmann, B., Seeburg, P., Jonas, P. M., & Monyer, H. (1995). Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(95)90076-4 chicago: Geiger, Jörg, Thorsten Melcher, Duk Koh, Bert Sakmann, Peter Seeburg, Peter M Jonas, and Hannah Monyer. “Relative Abundance of Subunit MRNAs Determines Gating and Ca(2+) Permeability of AMPA Receptors in Principal Neurons and Interneurons in Rat CNS.” Neuron. Elsevier, 1995. https://doi.org/10.1016/0896-6273(95)90076-4. ieee: J. Geiger et al., “Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS,” Neuron, vol. 15, no. 1. Elsevier, pp. 193–204, 1995. ista: Geiger J, Melcher T, Koh D, Sakmann B, Seeburg P, Jonas PM, Monyer H. 1995. Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS. Neuron. 15(1), 193–204. mla: Geiger, Jörg, et al. “Relative Abundance of Subunit MRNAs Determines Gating and Ca(2+) Permeability of AMPA Receptors in Principal Neurons and Interneurons in Rat CNS.” Neuron, vol. 15, no. 1, Elsevier, 1995, pp. 193–204, doi:10.1016/0896-6273(95)90076-4. short: J. Geiger, T. Melcher, D. Koh, B. Sakmann, P. Seeburg, P.M. Jonas, H. Monyer, Neuron 15 (1995) 193–204. date_created: 2018-12-11T12:03:33Z date_published: 1995-07-01T00:00:00Z date_updated: 2022-06-28T07:47:09Z day: '01' doi: 10.1016/0896-6273(95)90076-4 extern: '1' external_id: pmid: - '7619522' intvolume: ' 15' issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://www.sciencedirect.com/science/article/pii/0896627395900764?via%3Dihub month: '07' oa: 1 oa_version: Published Version page: 193 - 204 pmid: 1 publication: Neuron publication_identifier: issn: - 0896-6273 publication_status: published publisher: Elsevier publist_id: '2907' quality_controlled: '1' scopus_import: '1' status: public title: Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 15 year: '1995' ... --- _id: '3597' article_processing_charge: No author: - first_name: Mark full_name: Kirkpatrick, Mark last_name: Kirkpatrick - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 citation: ama: Kirkpatrick M, Barton NH. Déjà vu all over again. Nature. 1995;377:388-389. doi:10.1038/377388a0 apa: Kirkpatrick, M., & Barton, N. H. (1995). Déjà vu all over again. Nature. Nature Publishing Group. https://doi.org/10.1038/377388a0 chicago: Kirkpatrick, Mark, and Nicholas H Barton. “Déjà vu All over Again.” Nature. Nature Publishing Group, 1995. https://doi.org/10.1038/377388a0. ieee: M. Kirkpatrick and N. H. Barton, “Déjà vu all over again,” Nature, vol. 377. Nature Publishing Group, pp. 388–389, 1995. ista: Kirkpatrick M, Barton NH. 1995. Déjà vu all over again. Nature. 377, 388–389. mla: Kirkpatrick, Mark, and Nicholas H. Barton. “Déjà vu All over Again.” Nature, vol. 377, Nature Publishing Group, 1995, pp. 388–89, doi:10.1038/377388a0. short: M. Kirkpatrick, N.H. Barton, Nature 377 (1995) 388–389. date_created: 2018-12-11T12:04:09Z date_published: 1995-10-05T00:00:00Z date_updated: 2022-06-27T13:00:10Z day: '05' doi: 10.1038/377388a0 extern: '1' external_id: pmid: - '7566112 ' intvolume: ' 377' language: - iso: eng main_file_link: - url: https://www.nature.com/articles/377388a0 month: '10' oa_version: None page: 388 - 389 pmid: 1 publication: Nature publication_identifier: issn: - 0028-0836 publication_status: published publisher: Nature Publishing Group publist_id: '2786' quality_controlled: '1' status: public title: Déjà vu all over again type: review user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 377 year: '1995' ... --- _id: '3640' abstract: - lang: eng text: 'The probability of fixation of a favorable mutation is reduced if selection at other loci causes inherited variation in fitness. A general method for calculating the fixation probability of an allele that can find itself in a variety of genetic backgrounds is applied to find the effect of substitutions, fluctuating polymorphisms, and deleterious mutations in a large population. With loose linkage, r, the effects depend on the additive genetic variance in relative fitness, var(W), and act by reducing effective population size by (N/Ne) = 1 + var(W)/2r2. However, tightly linked loci can have a substantial effect not predictable from Ne. Linked deleterious mutations reduce the fixation probability of weakly favored alleles by exp (-2U/R), where U is the total mutation rate and R is the map length in Morgans. Substitutions can cause a greater reduction: an allele with advantage s < scrit = (pi 2/6) loge (S/s) [var(W)/R] is very unlikely to be fixed. (S is the advantage of the substitution impeding fixation.) Fluctuating polymorphisms at many (n) linked loci can also have a substantial effect, reducing fixation probability by exp [square root of 2Kn var(W)/R] [K = -1/E((u-u)2/uv) depending on the frequencies (u,v) at the selected polymorphisms]. Hitchhiking due to all three kinds of selection may substantially impede adaptation that depends on weakly favored alleles.' article_processing_charge: No article_type: original author: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 citation: ama: Barton NH. Linkage and the limits to natural selection. Genetics. 1995;140(2):821-841. doi:http://www.genetics.org/content/140/2/821.long apa: Barton, N. H. (1995). Linkage and the limits to natural selection. Genetics. Genetics Society of America. http://www.genetics.org/content/140/2/821.long chicago: Barton, Nicholas H. “Linkage and the Limits to Natural Selection.” Genetics. Genetics Society of America, 1995. http://www.genetics.org/content/140/2/821.long. ieee: N. H. Barton, “Linkage and the limits to natural selection,” Genetics, vol. 140, no. 2. Genetics Society of America, pp. 821–841, 1995. ista: Barton NH. 1995. Linkage and the limits to natural selection. Genetics. 140(2), 821–841. mla: Barton, Nicholas H. “Linkage and the Limits to Natural Selection.” Genetics, vol. 140, no. 2, Genetics Society of America, 1995, pp. 821–41, doi:http://www.genetics.org/content/140/2/821.long. short: N.H. Barton, Genetics 140 (1995) 821–841. date_created: 2018-12-11T12:04:23Z date_published: 1995-06-01T00:00:00Z date_updated: 2022-06-24T09:59:08Z day: '01' doi: http://www.genetics.org/content/140/2/821.long extern: '1' external_id: pmid: - '7498757' intvolume: ' 140' issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1206655/ month: '06' oa: 1 oa_version: Published Version page: 821 - 841 pmid: 1 publication: Genetics publication_identifier: issn: - 0016-6731 publication_status: published publisher: Genetics Society of America publist_id: '2743' quality_controlled: '1' scopus_import: '1' status: public title: Linkage and the limits to natural selection type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 140 year: '1995' ... --- _id: '4028' abstract: - lang: eng text: Efficient algorithms are described for computing topological, combinatorial, and metric properties of the union of finitely many spherical balls in R(d) These algorithms are based on a simplicial complex dual to a decomposition of the union of balls using Voronoi cells, and on short inclusion-exclusion formulas derived from this complex. The algorithms are most relevant in R(3) where unions of finitely many balls are commonly used as models of molecules. acknowledgement: This work is supported by the National Science Foundation, under Grant ASC-9200301, and the Alan T. Waterman award, Grant CCR-9118874. Any opinions, findings, conclusions, or recommendations expressed in this publication are those of the author and do not necessarily reflect the view of the National Science Foundation. article_processing_charge: No article_type: original author: - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 citation: ama: Edelsbrunner H. The union of balls and its dual shape. Discrete & Computational Geometry. 1995;13(1):415-440. doi:10.1007/BF02574053 apa: Edelsbrunner, H. (1995). The union of balls and its dual shape. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02574053 chicago: Edelsbrunner, Herbert. “The Union of Balls and Its Dual Shape.” Discrete & Computational Geometry. Springer, 1995. https://doi.org/10.1007/BF02574053. ieee: H. Edelsbrunner, “The union of balls and its dual shape,” Discrete & Computational Geometry, vol. 13, no. 1. Springer, pp. 415–440, 1995. ista: Edelsbrunner H. 1995. The union of balls and its dual shape. Discrete & Computational Geometry. 13(1), 415–440. mla: Edelsbrunner, Herbert. “The Union of Balls and Its Dual Shape.” Discrete & Computational Geometry, vol. 13, no. 1, Springer, 1995, pp. 415–40, doi:10.1007/BF02574053. short: H. Edelsbrunner, Discrete & Computational Geometry 13 (1995) 415–440. date_created: 2018-12-11T12:06:31Z date_published: 1995-12-01T00:00:00Z date_updated: 2022-06-27T08:14:48Z day: '01' doi: 10.1007/BF02574053 extern: '1' intvolume: ' 13' issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://link.springer.com/article/10.1007/BF02574053 month: '12' oa: 1 oa_version: Published Version page: 415 - 440 publication: Discrete & Computational Geometry publication_identifier: issn: - 0179-5376 publication_status: published publisher: Springer publist_id: '2095' quality_controlled: '1' scopus_import: '1' status: public title: The union of balls and its dual shape type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 13 year: '1995' ... --- _id: '4029' abstract: - lang: eng text: A general and direct method for computing the Betti numbers of a finite simplicial complex in Bd is given. This method is complete for d less than or equal to 3, where versions of this method run in time O(n alpha(n)) and O(n), n the number of simplices. An implementation of the algorithm is applied to alpha shapes, which is a novel geometric modeling tool. acknowledgement: This work is supported by the National Science Foundation under grant ASC-9200301 and the Alan T. Waterman award, grant CCR-9118874. Any opinions, findings, conclusions, or recommendations expressed in this publication are those of the authors and do not necessarily reflect the view of the National Science Foundation. article_processing_charge: No article_type: original author: - first_name: Cecil full_name: Delfinado, Cecil last_name: Delfinado - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 citation: ama: Delfinado C, Edelsbrunner H. An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. 1995;12(7):771-784. doi:10.1016/0167-8396(95)00016-Y apa: Delfinado, C., & Edelsbrunner, H. (1995). An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. Elsevier. https://doi.org/10.1016/0167-8396(95)00016-Y chicago: Delfinado, Cecil, and Herbert Edelsbrunner. “An Incremental Algorithm for Betti Numbers of Simplicial Complexes on the 3-Sphere.” Computer Aided Geometric Design. Elsevier, 1995. https://doi.org/10.1016/0167-8396(95)00016-Y. ieee: C. Delfinado and H. Edelsbrunner, “An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere,” Computer Aided Geometric Design, vol. 12, no. 7. Elsevier, pp. 771–784, 1995. ista: Delfinado C, Edelsbrunner H. 1995. An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. 12(7), 771–784. mla: Delfinado, Cecil, and Herbert Edelsbrunner. “An Incremental Algorithm for Betti Numbers of Simplicial Complexes on the 3-Sphere.” Computer Aided Geometric Design, vol. 12, no. 7, Elsevier, 1995, pp. 771–84, doi:10.1016/0167-8396(95)00016-Y. short: C. Delfinado, H. Edelsbrunner, Computer Aided Geometric Design 12 (1995) 771–784. date_created: 2018-12-11T12:06:32Z date_published: 1995-11-01T00:00:00Z date_updated: 2022-06-24T09:49:32Z day: '01' doi: 10.1016/0167-8396(95)00016-Y extern: '1' intvolume: ' 12' issue: '7' language: - iso: eng main_file_link: - url: https://www.sciencedirect.com/science/article/pii/016783969500016Y?via%3Dihub month: '11' oa_version: None page: 771 - 784 publication: Computer Aided Geometric Design publication_identifier: issn: - 0167-8396 publication_status: published publisher: Elsevier publist_id: '2096' quality_controlled: '1' scopus_import: '1' status: public title: An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 12 year: '1995' ... --- _id: '4297' abstract: - lang: eng text: The F5 (2n = 34) and FM2 (2n = 44-46) chromosome races of the Sceloporus grammicus complex form a parapatric hybrid zone in the Mexican state of Hidalgo, characterized by steep concordant clines among three diagnostic chromosome markers across a straight-line distance of about 2 km. Here, we show that this zone is actually structured into local patches in which hybridization extends over an extremely irregular front. The distribution of hybrid-index (HI) scores across the transect reveals some hybridization at almost all localities mapped in a central 7 km x 3 km area. Pooling the central samples produces both a strong heterozygote deficit for all diagnostic markers and strong linkage disequilibria between all pairwise combinations of these (unlinked) markers. Moreover, a highly significant association exists between the habitat on which each individual was caught and its karyotype (F5 chromosomes are more likely to be found on oak). Analysis of genotype frequencies over a range of spatial scales shows that there is no significant heterozygote deficit or habitat association within local areas of less than about 200 m; however, there is significant linkage disequilibrium over the smallest scales (R = D (pquv)1/2 = 0.29, support limits, 0.18-0.36) over 100 m. These patterns suggest that lizards mate and choose habitats randomly within local patches. This conclusion is supported by mark-recapture estimates of dispersal (≈ 80 m in a generation) and by inference of matings from embryo and maternal karyotypes. Closer examination of the two-dimensional pattern reveals a convoluted cline for all three markers, with a width of 830 m (support limits 770 m-930 m). This cline width, combined with the strength of local linkage disequilibrium, implies a dispersal rate of σ = 160 m in a generation and an effective selection pressure of 30% on each chromosome marker. The proportion of inviable embryos is greater in females from the center of the hybrid zone; this is caused by effects associated with both karyotype and location. The hybrid zone is likely to be maintained by selection against chromosomal heterozygotes, by other kinds of selection against hybrids, and by selection adapting the chromosome races to different habitats. The structure of the contact may be caused by both random drift and by selection in relation to habitat. acknowledgement: For field assistance in collecting and mapping of the zone, we thank E. Arevalo, I. Goyenechea, D. Hutchison, M. Man- cilia, F. Mendoza, D. Mink, and J. and H. Sites. The mark- recapture work was carried out by M. Mancilla, F Mendoza, and A. Gonzales. J.W.S. also thanks T. Hinckley and D. Ste­vens of the Brigham Young University Department of Ge­ography for lessons in surveying and map making and use of the field equipment and planimeter. B. Nürnberger pro­vided the digitized coordinates for individual lizards and as­sisted with the analysis of spatial structure and viability. B. Nürnberger, C. MacCallum, J. Mallet, and J. Searle also pro­vided helpful comments on the manuscript. This work was supported by National Science Foundation grants BSR 85- 09092 and 88-22751 to J.W.S., and grants from the Science and Engineering Research Council (GR/H09929) and Natural Environment Research Council (GR3/8002) and the DarwinTrust to N.H.B. The Mexican agency Secretaria de DesarrolloUrbano y Ecologia (now Secretaria de Desarrollo Social) kindly provided scientific collecting permits (to E. Arévalo) for field work in 1989 and 1991. article_processing_charge: No article_type: original author: - first_name: Jack full_name: Sites, Jack last_name: Sites - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 - first_name: Kent full_name: Reed, Kent last_name: Reed citation: ama: Sites J, Barton NH, Reed K. The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico. Evolution. 1995;49(1):9-36. doi:10.1111/j.1558-5646.1995.tb05955.x apa: Sites, J., Barton, N. H., & Reed, K. (1995). The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1995.tb05955.x chicago: Sites, Jack, Nicholas H Barton, and Kent Reed. “The Genetic Structure of a Mosaic Hybrid Zone between Two Chromosome Races of the Sceloporus Grammicus Complex (Sauria, Phrynosomatidae) in Central Mexico.” Evolution. Wiley-Blackwell, 1995. https://doi.org/10.1111/j.1558-5646.1995.tb05955.x. ieee: J. Sites, N. H. Barton, and K. Reed, “The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico,” Evolution, vol. 49, no. 1. Wiley-Blackwell, pp. 9–36, 1995. ista: Sites J, Barton NH, Reed K. 1995. The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico. Evolution. 49(1), 9–36. mla: Sites, Jack, et al. “The Genetic Structure of a Mosaic Hybrid Zone between Two Chromosome Races of the Sceloporus Grammicus Complex (Sauria, Phrynosomatidae) in Central Mexico.” Evolution, vol. 49, no. 1, Wiley-Blackwell, 1995, pp. 9–36, doi:10.1111/j.1558-5646.1995.tb05955.x. short: J. Sites, N.H. Barton, K. Reed, Evolution 49 (1995) 9–36. date_created: 2018-12-11T12:08:06Z date_published: 1995-02-01T00:00:00Z date_updated: 2022-06-13T09:24:40Z day: '01' doi: 10.1111/j.1558-5646.1995.tb05955.x extern: '1' external_id: pmid: - '28593667' intvolume: ' 49' issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb05955.x month: '02' oa: 1 oa_version: Published Version page: 9 - 36 pmid: 1 publication: Evolution publication_identifier: issn: - 0014-3820 publication_status: published publisher: Wiley-Blackwell publist_id: '1779' quality_controlled: '1' scopus_import: '1' status: public title: The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 49 year: '1995' ... --- _id: '4296' abstract: - lang: eng text: Three replicate lines of Drosophila melanogaster were cultured at each of two temperatures (16.5⚬C and 25⚬C) in population cages for 4 yr. The lifespans of both sexes and the fecundity and fertility of the females were then measured at both experimental temperatures. The characters showed evidence of adaptation; flies of both sexes from each selection regime showed higher longevity, and females showed higher fecundity and fertility, than flies from the other selection regime when they were tested at the experimental temperature at which they had evolved. Calculation of intrinsic rates of increase under different assumptions about the rate of population increase showed that the difference between the lines from the two selection regimes became less the higher the rate of population increase, because the lines were more similar in early adulthood than they were later. Despite the increased adaptation of the low-temperature lines to the low temperature, like the high temperature lines they produced progeny at a higher rate at the higher temperature. The lines may have independently evolved adaptations to their respective thermal regimes during the experiment, or there may have been a trade-off between adaptation to the two temperatures, or mutation pressure may have lowered adaptation to the temperature that the flies no longer encountered. acknowledgement: We thank Natural Environment Research Council and the Royal Society for financial support. article_processing_charge: No article_type: original author: - first_name: Linda full_name: Partridge, Linda last_name: Partridge - first_name: Brian full_name: Barrie, Brian last_name: Barrie - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 - first_name: Kevin full_name: Fowler, Kevin last_name: Fowler - first_name: Vernon full_name: French, Vernon last_name: French citation: ama: Partridge L, Barrie B, Barton NH, Fowler K, French V. Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature. Evolution. 1995;49(3):538-544. doi:10.1111/j.1558-5646.1995.tb02285.x apa: Partridge, L., Barrie, B., Barton, N. H., Fowler, K., & French, V. (1995). Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1995.tb02285.x chicago: Partridge, Linda, Brian Barrie, Nicholas H Barton, Kevin Fowler, and Vernon French. “Rapid Laboratory Evolution of Adult Life History Traits in Drosophila Melanogaster in Response to Temperature.” Evolution. Wiley-Blackwell, 1995. https://doi.org/10.1111/j.1558-5646.1995.tb02285.x. ieee: L. Partridge, B. Barrie, N. H. Barton, K. Fowler, and V. French, “Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature,” Evolution, vol. 49, no. 3. Wiley-Blackwell, pp. 538–544, 1995. ista: Partridge L, Barrie B, Barton NH, Fowler K, French V. 1995. Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature. Evolution. 49(3), 538–544. mla: Partridge, Linda, et al. “Rapid Laboratory Evolution of Adult Life History Traits in Drosophila Melanogaster in Response to Temperature.” Evolution, vol. 49, no. 3, Wiley-Blackwell, 1995, pp. 538–44, doi:10.1111/j.1558-5646.1995.tb02285.x. short: L. Partridge, B. Barrie, N.H. Barton, K. Fowler, V. French, Evolution 49 (1995) 538–544. date_created: 2018-12-11T12:08:06Z date_published: 1995-06-01T00:00:00Z date_updated: 2022-06-13T08:42:11Z day: '01' doi: 10.1111/j.1558-5646.1995.tb02285.x extern: '1' external_id: pmid: - '28565092 ' intvolume: ' 49' issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1558-5646.1995.tb02285.x month: '06' oa: 1 oa_version: Published Version page: 538 - 544 pmid: 1 publication: Evolution publication_identifier: issn: - 0014-3820 publication_status: published publisher: Wiley-Blackwell publist_id: '1778' quality_controlled: '1' scopus_import: '1' status: public title: Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 49 year: '1995' ... --- _id: '4298' article_processing_charge: No article_type: original author: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 citation: ama: Barton NH. Appendix to “A simulation study of multilocus clines” by S J E Baird. Evolution. 1995;49(6):1038-1045. doi:10.1111/j.1558-5646.1995.tb04431.x apa: Barton, N. H. (1995). Appendix to “A simulation study of multilocus clines” by S J E Baird. Evolution. Wiley. https://doi.org/10.1111/j.1558-5646.1995.tb04431.x chicago: Barton, Nicholas H. “Appendix to ‘A Simulation Study of Multilocus Clines’ by S J E Baird.” Evolution. Wiley, 1995. https://doi.org/10.1111/j.1558-5646.1995.tb04431.x. ieee: N. H. Barton, “Appendix to ‘A simulation study of multilocus clines’ by S J E Baird,” Evolution, vol. 49, no. 6. Wiley, pp. 1038–1045, 1995. ista: Barton NH. 1995. Appendix to ‘A simulation study of multilocus clines’ by S J E Baird. Evolution. 49(6), 1038–1045. mla: Barton, Nicholas H. “Appendix to ‘A Simulation Study of Multilocus Clines’ by S J E Baird.” Evolution, vol. 49, no. 6, Wiley, 1995, pp. 1038–45, doi:10.1111/j.1558-5646.1995.tb04431.x. short: N.H. Barton, Evolution 49 (1995) 1038–1045. date_created: 2018-12-11T12:08:07Z date_published: 1995-12-01T00:00:00Z date_updated: 2022-06-28T07:47:30Z day: '01' doi: 10.1111/j.1558-5646.1995.tb04431.x extern: '1' intvolume: ' 49' issue: '6' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1111/j.1558-5646.1995.tb04431.x month: '12' oa: 1 oa_version: Published Version page: 1038 - 1045 publication: Evolution publication_identifier: issn: - 1558-5646 publication_status: published publisher: Wiley publist_id: '1773' quality_controlled: '1' status: public title: Appendix to "A simulation study of multilocus clines" by S J E Baird type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 49 year: '1995' ... --- _id: '4428' abstract: - lang: eng text: "Hybrid systems are real-time systems that react to both discrete and continuous activities (such as analog signals, time, temperature, and speed). Typical examples of hybrid systems are embedded systems, timing-based communication protocols, and digital circuits at the transistor level. Due to the rapid development of microprocessor technology, hybrid systems directly control much of what we depend on in our daily lives. Consequently, the formal specification and verification of hybrid systems has become an active area of research. This dissertation presents the first general framework for the formal specification and verification of hybrid systems, as well as the first hybrid-system analysis tool--HyTech. The framework consists of a graphical finite-state-machine-like language for modeling hybrid systems, a temporal logic for modeling the requirements of hybrid systems, and a computer procedure that verifies modeled hybrid systems against modeled requirements. The tool HyTech is the implementation of the framework using C++ and Mathematica.\r\n\r\nMore specifically, our hybrid-system modeling language, Hybrid Automata, is an extension of timed automata with discrete and continuous variables whose dynamics are governed by differential equations. Our requirement modeling language, ICTL, is a branching-time temporal logic, and is an extension of TCTL with stop-watch variables. Our verification procedure is a symbolic model-checking procedure that verifies linear hybrid automata against ICTL formulas. To make HyTech more efficient and effective, we use model-checking strategies and abstract operators that can expedite the verification process. To enable HyTech to verify nonlinear hybrid automata, we introduce two translations from nonlinear hybrid automata to linear hybrid automata. We have applied HyTech to analyze more than 30 hybrid-system benchmarks. In this dissertation, we present the application of HyTech to three nontrivial hybrid systems taken from the literature." article_processing_charge: No author: - first_name: Pei full_name: Ho, Pei last_name: Ho citation: ama: Ho P. Automatic analysis of hybrid systems. 1995:1-188. apa: Ho, P. (1995). Automatic analysis of hybrid systems. Cornell University. chicago: Ho, Pei. “Automatic Analysis of Hybrid Systems.” Cornell University, 1995. ieee: P. Ho, “Automatic analysis of hybrid systems,” Cornell University, 1995. ista: Ho P. 1995. Automatic analysis of hybrid systems. Cornell University. mla: Ho, Pei. Automatic Analysis of Hybrid Systems. Cornell University, 1995, pp. 1–188. short: P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995. date_created: 2018-12-11T12:08:48Z date_published: 1995-08-01T00:00:00Z date_updated: 2022-06-28T07:30:34Z day: '01' degree_awarded: PhD extern: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://hdl.handle.net/1813/7193 month: '08' oa: 1 oa_version: Published Version page: 1 - 188 publication_status: published publisher: Cornell University publist_id: '304' status: public supervisor: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 title: Automatic analysis of hybrid systems type: dissertation user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '1995' ... --- _id: '4450' abstract: - lang: eng text: "Hybrid systems model discrete programs that are embedded in continuous environments. Model-checking tools are available for the analysis of linear hybrid systems, whose continuous variables are bounded by piecewise-linear trajectories. Most embedded programs, however, operate in nonlinear environments. We present, analyze, and apply two algorithms for translating nonlinear hybrid systems into linear hybrid systems.\r\nThe clock translation replaces nonlinear variables by clock variables; the rate translation approximates nonlinear variables by piecewise-linear envelopes. Both translations are sound for reachability; that is, if we establish a safety property of the translated linear system, we may conclude that the original nonlinear system satisfies the property. The clock translation is also complete for reachability; that is, the original system and the translated system satisfy the same safety properties. The two translations apply to incomparable classes of nonlinear hybrid systems. From the clock translation we obtain a new decidability result for hybrid systems.\r\nWith the help of Hytech, a symbolic model checker for linear hybrid systems, we automatically verify a nonlinear railroad gate control program using the clock translation, and a nonlinear temperature control program using the rate translation." acknowledgement: This research was supported in part by the NSF grant CCR-9200794, by the AFOSR contract F49620-93-1-0056, and by the DARPA grant NAG2-892. 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: Pei full_name: Ho, Pei last_name: Ho citation: ama: 'Henzinger TA, Ho P. Algorithmic analysis of nonlinear hybrid systems. In: 7th International Conference on Computer Aided Verification. Vol 939. Springer; 1995:225-238. doi:10.1007/3-540-60045-0_53' apa: 'Henzinger, T. A., & Ho, P. (1995). Algorithmic analysis of nonlinear hybrid systems. In 7th International Conference on Computer Aided Verification (Vol. 939, pp. 225–238). Liege, Belgium: Springer. https://doi.org/10.1007/3-540-60045-0_53' chicago: Henzinger, Thomas A, and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid Systems.” In 7th International Conference on Computer Aided Verification, 939:225–38. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_53. ieee: T. A. Henzinger and P. Ho, “Algorithmic analysis of nonlinear hybrid systems,” in 7th International Conference on Computer Aided Verification, Liege, Belgium, 1995, vol. 939, pp. 225–238. ista: 'Henzinger TA, Ho P. 1995. Algorithmic analysis of nonlinear hybrid systems. 7th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 939, 225–238.' mla: Henzinger, Thomas A., and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid Systems.” 7th International Conference on Computer Aided Verification, vol. 939, Springer, 1995, pp. 225–38, doi:10.1007/3-540-60045-0_53. short: T.A. Henzinger, P. Ho, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 225–238. conference: end_date: 1995-07-05 location: Liege, Belgium name: 'CAV: Computer Aided Verification' start_date: 1995-07-03 date_created: 2018-12-11T12:08:55Z date_published: 1995-01-01T00:00:00Z date_updated: 2022-06-10T09:48:52Z day: '01' doi: 10.1007/3-540-60045-0_53 extern: '1' intvolume: ' 939' language: - iso: eng main_file_link: - url: https://link.springer.com/chapter/10.1007/3-540-60045-0_53 month: '01' oa_version: None page: 225 - 238 publication: 7th International Conference on Computer Aided Verification publication_identifier: isbn: - '9783540494133' publication_status: published publisher: Springer publist_id: '280' quality_controlled: '1' scopus_import: '1' status: public title: Algorithmic analysis of nonlinear hybrid systems type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 939 year: '1995' ... --- _id: '4448' abstract: - lang: eng text: We report on several abstract interpretation strategies that are designed to improve the performance of HyTech, a symbolic model checker for linear hybrid systems. We (1) simultaneously compute the target region from different directions, (2) conservatively approximate the target region by dropping constraints, and (3) iteratively refine the approximation until sufficient precision is obtained. We consider the standard abstract convex-hull operator and a novel abstract extrapolation operator. acknowledgement: ' National Science Foundation under grant CCR-9200794, by the Air Force Office of Scientific Research under contract F49620-93-1-0056, by the Office of Naval Research under YIP grant N00014-95-1-0520, and by the Defense Advanced Research Projects Agency under grant NAG2-892.' 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: Pei full_name: Ho, Pei last_name: Ho citation: ama: 'Henzinger TA, Ho P. A note on abstract-interpretation strategies for hybrid automata. In: Panos A, Kohn W, Nerode A, Sastry S, eds. 3rd International Hybrid Systems Workshop. Vol 999. Springer; 1995:252-264. doi:10.1007/3-540-60472-3_13' apa: 'Henzinger, T. A., & Ho, P. (1995). A note on abstract-interpretation strategies for hybrid automata. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), 3rd International Hybrid Systems Workshop (Vol. 999, pp. 252–264). Ithaca, NY, United States of America: Springer. https://doi.org/10.1007/3-540-60472-3_13' chicago: Henzinger, Thomas A, and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.” In 3rd International Hybrid Systems Workshop, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:252–64. Springer, 1995. https://doi.org/10.1007/3-540-60472-3_13. ieee: T. A. Henzinger and P. Ho, “A note on abstract-interpretation strategies for hybrid automata,” in 3rd International Hybrid Systems Workshop, Ithaca, NY, United States of America, 1995, vol. 999, pp. 252–264. ista: Henzinger TA, Ho P. 1995. A note on abstract-interpretation strategies for hybrid automata. 3rd International Hybrid Systems Workshop. Hybrid Systems II, LNCS, vol. 999, 252–264. mla: Henzinger, Thomas A., and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.” 3rd International Hybrid Systems Workshop, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 252–64, doi:10.1007/3-540-60472-3_13. short: T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 3rd International Hybrid Systems Workshop, Springer, 1995, pp. 252–264. conference: end_date: 1994-10-30 location: Ithaca, NY, United States of America name: Hybrid Systems II start_date: 1994-10-28 date_created: 2018-12-11T12:08:54Z date_published: 1995-01-01T00:00:00Z date_updated: 2022-06-10T11:48:59Z day: '01' doi: 10.1007/3-540-60472-3_13 editor: - first_name: Antsaklis full_name: Panos, Antsaklis last_name: Panos - first_name: Wolf full_name: Kohn, Wolf last_name: Kohn - first_name: Anil full_name: Nerode, Anil last_name: Nerode - first_name: Shankar full_name: Sastry, Shankar last_name: Sastry extern: '1' intvolume: ' 999' language: - iso: eng main_file_link: - url: https://link.springer.com/chapter/10.1007/3-540-60472-3_13 month: '01' oa_version: None page: 252 - 264 publication: 3rd International Hybrid Systems Workshop publication_identifier: isbn: - '9783540604723' publication_status: published publisher: Springer publist_id: '282' quality_controlled: '1' status: public title: A note on abstract-interpretation strategies for hybrid automata type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 999 year: '1995' ... --- _id: '4447' abstract: - lang: eng text: This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that have been incorporated into HyTech, and we illustrate the use of HyTech with three nontrivial case studies. acknowledgement: This research was supported in part by the National Science Foundation under grant CCR-9200794, by the Air Force Office of Scientific Research under contract F49620-93-1-0056, by the Office of Naval Research under YIP grant N00014-95-1-0520, and by the Defense Advanced Research Projects Agency under grant NAG2-892. 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: Pei full_name: Ho, Pei last_name: Ho citation: ama: 'Henzinger TA, Ho P. HyTech: The Cornell Hybrid Technology Tool. In: Panos A, Kohn W, Nerode A, Sastry S, eds. 4th International Hybrid Systems Workshop. Vol 999. LNCS. Springer; 1995:265-293. doi:10.1007/3-540-60472-3_14' apa: 'Henzinger, T. A., & Ho, P. (1995). HyTech: The Cornell Hybrid Technology Tool. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), 4th International Hybrid Systems Workshop (Vol. 999, pp. 265–293). New Brunswick, NJ, United States of America: Springer. https://doi.org/10.1007/3-540-60472-3_14' chicago: 'Henzinger, Thomas A, and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” In 4th International Hybrid Systems Workshop, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:265–93. LNCS. Springer, 1995. https://doi.org/10.1007/3-540-60472-3_14.' ieee: 'T. A. Henzinger and P. Ho, “HyTech: The Cornell Hybrid Technology Tool,” in 4th International Hybrid Systems Workshop, New Brunswick, NJ, United States of America, 1995, vol. 999, pp. 265–293.' ista: 'Henzinger TA, Ho P. 1995. HyTech: The Cornell Hybrid Technology Tool. 4th International Hybrid Systems Workshop. Hybrid Systems IIILNCS, LNCS, vol. 999, 265–293.' mla: 'Henzinger, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” 4th International Hybrid Systems Workshop, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 265–93, doi:10.1007/3-540-60472-3_14.' short: T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 4th International Hybrid Systems Workshop, Springer, 1995, pp. 265–293. conference: end_date: 1955-10-25 location: ' New Brunswick, NJ, United States of America' name: Hybrid Systems III start_date: 1995-10-22 date_created: 2018-12-11T12:08:54Z date_published: 1995-01-01T00:00:00Z date_updated: 2022-06-10T11:24:15Z day: '01' doi: 10.1007/3-540-60472-3_14 editor: - first_name: Antsaklis full_name: Panos, Antsaklis last_name: Panos - first_name: Wolf full_name: Kohn, Wolf last_name: Kohn - first_name: Anil full_name: Nerode, Anil last_name: Nerode - first_name: Shankar full_name: Sastry, Shankar last_name: Sastry extern: '1' intvolume: ' 999' language: - iso: eng main_file_link: - url: https://link.springer.com/chapter/10.1007/3-540-60472-3_14 month: '01' oa_version: None page: 265 - 293 publication: 4th International Hybrid Systems Workshop publication_identifier: isbn: - '9783540683346' publication_status: published publisher: Springer publist_id: '281' quality_controlled: '1' series_title: LNCS status: public title: 'HyTech: The Cornell Hybrid Technology Tool' type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 999 year: '1995' ... --- _id: '4497' abstract: - lang: eng text: "HyTech is a tool for the automated analysis of embedded systems. This document, designed for the first-time user of HyTech, guides the reader through the underlying system model, and through the input language for describing and analyzing systems. The guide gives several examples of usage, and some hints for gaining maximal computational efficiency from the tool.\r\nThe version of HyTech described in this guide was released in August 1995, and is available through anonymous ftp from ftp.cs.cornell.edu in the directory pub/tah/HyTech, and through the World-Wide Web via HyTech's home page http:/www.cs.cornell.edu/Info/People/tah/hytech.html." acknowledgement: This research was supported in part by the ONR YIP award N00014-95-1-0520, by the NSF CAREER award CCR-9501708, by the NSF grants CCR-9200794 and CCR-9504469, by the AFOSR contract F49620-93-1-0056, and by the ARPA grant NAG2-892. 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: 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. A user guide to HyTech. In: 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1019. Springer; 1995:41-71. doi:10.1007/3-540-60630-0_3' apa: 'Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). A user guide to HyTech. In 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1019, pp. 41–71). Aarhus, Denmark: Springer. https://doi.org/10.1007/3-540-60630-0_3' chicago: Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech.” In 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, 1019:41–71. Springer, 1995. https://doi.org/10.1007/3-540-60630-0_3. ieee: T. A. Henzinger, P. Ho, and H. Wong Toi, “A user guide to HyTech,” in 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus, Denmark, 1995, vol. 1019, pp. 41–71. ista: 'Henzinger TA, Ho P, Wong Toi H. 1995. A user guide to HyTech. 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1019, 41–71.' mla: Henzinger, Thomas A., et al. “A User Guide to HyTech.” 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1019, Springer, 1995, pp. 41–71, doi:10.1007/3-540-60630-0_3. short: T.A. Henzinger, P. Ho, H. Wong Toi, in:, 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 1995, pp. 41–71. conference: end_date: 1995-05-20 location: Aarhus, Denmark name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems' start_date: 1995-05-19 date_created: 2018-12-11T12:09:09Z date_published: 1995-01-01T00:00:00Z date_updated: 2022-06-10T09:00:05Z day: '01' doi: 10.1007/3-540-60630-0_3 extern: '1' intvolume: ' 1019' language: - iso: eng main_file_link: - url: https://link.springer.com/chapter/10.1007/3-540-60630-0_3 month: '01' oa_version: None page: 41 - 71 publication: 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems publication_identifier: isbn: - '9783540606307' publication_status: published publisher: Springer publist_id: '230' quality_controlled: '1' scopus_import: '1' status: public title: A user guide to HyTech type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1019 year: '1995' ... --- _id: '4499' abstract: - lang: eng text: We describe a new implementation of HYTECH, a symbolic model checker for hybrid systems. Given a parametric description of an embedded system as a collection of communicating automata, HYTECH automatically computes the conditions on the parameters under which the system satisfies its safety and timing requirements. While the original HYTECH prototype was based on the symbolic algebra tool Mathematica, the new implementation is written in C++ and builds on geometric algorithms instead of formula manipulation. The new HYTECH offers a cleaner and more expressive input language, greater portability, superior performance (typically two to three orders of magnitude), and new features such as diagnostic error-trace generation. We illustrate the effectiveness of the new implementation by applying HYTECH to the automatic parametric analysis of the generic railroad crossing benchmark problem and to an active structure control algorithm 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: 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. HyTech: The next generation. In: Proceedings 16th IEEE Real-Time Systems Symposium. IEEE; 1995:56-65. doi:10.1109/REAL.1995.495196 ' apa: 'Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). HyTech: The next generation. In Proceedings 16th IEEE Real-Time Systems Symposium (pp. 56–65). Pisa, Italy: IEEE. https://doi.org/10.1109/REAL.1995.495196 ' chicago: 'Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: The next Generation.” In Proceedings 16th IEEE Real-Time Systems Symposium, 56–65. IEEE, 1995. https://doi.org/10.1109/REAL.1995.495196 .' ieee: 'T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: The next generation,” in Proceedings 16th IEEE Real-Time Systems Symposium, Pisa, Italy, 1995, pp. 56–65.' ista: 'Henzinger TA, Ho P, Wong Toi H. 1995. HyTech: The next generation. Proceedings 16th IEEE Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium, 56–65.' mla: 'Henzinger, Thomas A., et al. “HyTech: The next Generation.” Proceedings 16th IEEE Real-Time Systems Symposium, IEEE, 1995, pp. 56–65, doi:10.1109/REAL.1995.495196 .' short: T.A. Henzinger, P. Ho, H. Wong Toi, in:, Proceedings 16th IEEE Real-Time Systems Symposium, IEEE, 1995, pp. 56–65. conference: end_date: 1995-12-07 location: Pisa, Italy name: 'RTSS: Real-Time Systems Symposium' start_date: 1995-12-05 date_created: 2018-12-11T12:09:10Z date_published: 1995-01-01T00:00:00Z date_updated: 2022-06-10T09:33:19Z day: '01' doi: '10.1109/REAL.1995.495196 ' extern: '1' language: - iso: eng main_file_link: - url: https://ieeexplore.ieee.org/document/495196 month: '01' oa_version: None page: 56 - 65 publication: Proceedings 16th IEEE Real-Time Systems Symposium publication_identifier: isbn: - '0818673370' publication_status: published publisher: IEEE publist_id: '232' quality_controlled: '1' scopus_import: '1' status: public title: 'HyTech: The next generation' type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '1995' ... --- _id: '4498' abstract: - lang: eng text: We present algorithms for computing similarity relations of labeled graphs. Similarity relations have applications for the refinement and verification of reactive systems. For finite graphs, we present an O(mn) algorithm for computing the similarity relation of a graph with n vertices and m edges (assuming m⩾n). For effectively presented infinite graphs, we present a symbolic similarity-checking procedure that terminates if a finite similarity relation exists. We show that 2D rectangular automata, which model discrete reactive systems with continuous environments, define effectively presented infinite graphs with finite similarity relations. It follows that the refinement problem and the ∀CTL* model-checking problem are decidable for 2D rectangular automata article_processing_charge: No author: - 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: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Peter full_name: Kopke, Peter last_name: Kopke citation: ama: 'Henzinger MH, Henzinger TA, Kopke P. Computing simulations on finite and infinite graphs. In: Proceedings of IEEE 36th Annual Foundations of Computer Science. IEEE; 1995:453-462. doi:10.1109/SFCS.1995.492576' apa: 'Henzinger, M. H., Henzinger, T. A., & Kopke, P. (1995). Computing simulations on finite and infinite graphs. In Proceedings of IEEE 36th Annual Foundations of Computer Science (pp. 453–462). Milwaukee, WI, United States of America: IEEE. https://doi.org/10.1109/SFCS.1995.492576' chicago: Henzinger, Monika H, Thomas A Henzinger, and Peter Kopke. “Computing Simulations on Finite and Infinite Graphs.” In Proceedings of IEEE 36th Annual Foundations of Computer Science, 453–62. IEEE, 1995. https://doi.org/10.1109/SFCS.1995.492576. ieee: M. H. Henzinger, T. A. Henzinger, and P. Kopke, “Computing simulations on finite and infinite graphs,” in Proceedings of IEEE 36th Annual Foundations of Computer Science, Milwaukee, WI, United States of America, 1995, pp. 453–462. ista: 'Henzinger MH, Henzinger TA, Kopke P. 1995. Computing simulations on finite and infinite graphs. Proceedings of IEEE 36th Annual Foundations of Computer Science. FOCS: Foundations of Computer Science, 453–462.' mla: Henzinger, Monika H., et al. “Computing Simulations on Finite and Infinite Graphs.” Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 453–62, doi:10.1109/SFCS.1995.492576. short: M.H. Henzinger, T.A. Henzinger, P. Kopke, in:, Proceedings of IEEE 36th Annual Foundations of Computer Science, IEEE, 1995, pp. 453–462. conference: end_date: 1995-10-25 location: Milwaukee, WI, United States of America name: 'FOCS: Foundations of Computer Science' start_date: 1995-10-23 date_created: 2018-12-11T12:09:10Z date_published: 1995-11-01T00:00:00Z date_updated: 2023-02-09T08:43:48Z day: '01' doi: 10.1109/SFCS.1995.492576 extern: '1' language: - iso: eng month: '11' oa_version: None page: 453 - 462 publication: Proceedings of IEEE 36th Annual Foundations of Computer Science publication_identifier: isbn: - '0818671831' issn: - 0272-5428 publication_status: published publisher: IEEE publist_id: '231' quality_controlled: '1' scopus_import: '1' status: public title: Computing simulations on finite and infinite graphs type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '1995' ... --- _id: '4502' 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 the precise boundary between decidability and undecidability of the reachability problem for hybrid automata.\r\n\r\nOn the positive side, we give an (optimal) PSPACE reachability algorithm for the case of initialized rectangular automata, where all analog variables follow 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 omega-languages of initialized rectangular automata with bounded nondeterminism.\r\n\r\nOn 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: "We thank Howard Wong-Toi for a careful reading.\r\n" 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: 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? In: Proceedings of the 27th Annual ACM Symposium on Theory of Computing. ACM; 1995:373-382. doi:10.1145/225058.225162' apa: 'Henzinger, T. A., Kopke, P., Puri, A., & Varaiya, P. (1995). What’s decidable about hybrid automata? In Proceedings of the 27th annual ACM symposium on Theory of computing (pp. 373–382). Las Vegas, NV, United States of America: ACM. https://doi.org/10.1145/225058.225162' chicago: Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?” In Proceedings of the 27th Annual ACM Symposium on Theory of Computing, 373–82. ACM, 1995. https://doi.org/10.1145/225058.225162. ieee: T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” in Proceedings of the 27th annual ACM symposium on Theory of computing, Las Vegas, NV, United States of America, 1995, pp. 373–382. ista: 'Henzinger TA, Kopke P, Puri A, Varaiya P. 1995. What’s decidable about hybrid automata? Proceedings of the 27th annual ACM symposium on Theory of computing. STOC: Symposium on the Theory of Computing, 373–382.' mla: Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” Proceedings of the 27th Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–82, doi:10.1145/225058.225162. short: T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, in:, Proceedings of the 27th Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–382. conference: end_date: 1995-06-01 location: Las Vegas, NV, United States of America name: 'STOC: Symposium on the Theory of Computing' start_date: 1995-05-29 date_created: 2018-12-11T12:09:11Z date_published: 1995-01-01T00:00:00Z date_updated: 2022-06-09T14:40:29Z day: '01' doi: 10.1145/225058.225162 extern: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://dl.acm.org/doi/10.1145/225058.225162 month: '01' oa: 1 oa_version: Published Version page: 373 - 382 publication: Proceedings of the 27th annual ACM symposium on Theory of computing publication_identifier: isbn: - '9780897917186' publication_status: published publisher: ACM publist_id: '228' quality_controlled: '1' status: public title: What's decidable about hybrid automata? type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 year: '1995' ... --- _id: '4500' abstract: - lang: eng text: 'We investigate the expressive power of timing restrictions on labeled transition systems. In particular, we show how constraints on clock variables together with a uniform liveness condition—the divergence of time—can express Büchi, Muller, Streett, Rabin, and weak and strong fairness conditions on a given labeled transition system. We then consider the effect, on both timed and time-abstract expressiveness, of varying the following parameters: time domain (discrete or dense), number of clocks, number of states, and size of constants used in timing restrictions.' acknowledgement: "This research was supported in part by the National Science Foundation under grant CCR-9200794, by the United States Air Force Office of Scientific Research under contract F49620-93-1-0056, by the Defense Advanced Research Projects Agency under grant NAG2-892, and by the U.S. Army Research Office through the Mathematical Sciences Institute of Cornell University, Contract Number DAAL03-91-C-0027.\r\nThe full version of this paper is available from the Department of Computer Science, Cornell University, Ithaca, NY 14853, as Technical Report TR95-1496." 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: Peter full_name: Kopke, Peter last_name: Kopke - first_name: Howard full_name: Wong Toi, Howard last_name: Wong Toi citation: ama: 'Henzinger TA, Kopke P, Wong Toi H. The expressive power of clocks. In: 22nd International Colloquium on Automata, Languages and Programming . Vol 944. Springer; 1995:417-428. doi:10.1007/3-540-60084-1_93' apa: 'Henzinger, T. A., Kopke, P., & Wong Toi, H. (1995). The expressive power of clocks. In 22nd International Colloquium on Automata, Languages and Programming (Vol. 944, pp. 417–428). Szeged, Hungary: Springer. https://doi.org/10.1007/3-540-60084-1_93' chicago: Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive Power of Clocks.” In 22nd International Colloquium on Automata, Languages and Programming , 944:417–28. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_93. ieee: T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 417–428. ista: 'Henzinger TA, Kopke P, Wong Toi H. 1995. The expressive power of clocks. 22nd International Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages and Programming, LNCS, vol. 944, 417–428.' mla: Henzinger, Thomas A., et al. “The Expressive Power of Clocks.” 22nd International Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995, pp. 417–28, doi:10.1007/3-540-60084-1_93. short: T.A. Henzinger, P. Kopke, H. Wong Toi, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 417–428. conference: end_date: 1995-07-14 location: Szeged, Hungary name: 'ICALP: Automata, Languages and Programming' start_date: 1995-07-10 date_created: 2018-12-11T12:09:10Z date_published: 1995-01-01T00:00:00Z date_updated: 2022-06-09T14:58:31Z day: '01' doi: 10.1007/3-540-60084-1_93 extern: '1' intvolume: ' 944' language: - iso: eng main_file_link: - url: https://link.springer.com/chapter/10.1007/3-540-60084-1_93 month: '01' oa_version: None page: 417 - 428 publication: '22nd International Colloquium on Automata, Languages and Programming ' publication_identifier: isbn: - '9783540600848' publication_status: published publisher: Springer publist_id: '229' quality_controlled: '1' status: public title: The expressive power of clocks type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 944 year: '1995' ... --- _id: '4518' abstract: - lang: eng text: The analysis, verification, and control of hybrid automata with finite bisimulations can be reduced to finite-state problems. We advocate a time-abstract, phase-based methodology for checking if a given hybrid automaton has a finite bisimulation. First, we factor the automaton into two components, a boolean automaton with a discrete dynamics on the finite state space B m and a euclidean automaton with a continuous dynamics on the infinite state space n . Second, we investigate the phase portrait of the euclidean component. In this fashion, we obtain new decidability results for hybrid systems as well as new, uniform proofs of known decidability results. acknowledgement: "This research was supported in part by the NSF grant CCR-9200794, by the AFOSR contract F49620-93-1-0056, and by the DARPA grant NAG2-892.\r\n" 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. Hybrid automata with finite bisimulations. In: 22nd International Colloquium on Automata, Languages and Programming . Vol 944. Springer; 1995:324-335. doi:10.1007/3-540-60084-1_85' apa: 'Henzinger, T. A. (1995). Hybrid automata with finite bisimulations. In 22nd International Colloquium on Automata, Languages and Programming (Vol. 944, pp. 324–335). Szeged, Hungary: Springer. https://doi.org/10.1007/3-540-60084-1_85' chicago: Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.” In 22nd International Colloquium on Automata, Languages and Programming , 944:324–35. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_85. ieee: T. A. Henzinger, “Hybrid automata with finite bisimulations,” in 22nd International Colloquium on Automata, Languages and Programming , Szeged, Hungary, 1995, vol. 944, pp. 324–335. ista: 'Henzinger TA. 1995. Hybrid automata with finite bisimulations. 22nd International Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages and Programming, LNCS, vol. 944, 324–335.' mla: Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.” 22nd International Colloquium on Automata, Languages and Programming , vol. 944, Springer, 1995, pp. 324–35, doi:10.1007/3-540-60084-1_85. short: T.A. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 324–335. conference: end_date: 1995-07-14 location: Szeged, Hungary name: 'ICALP: Automata, Languages and Programming' start_date: 1995-07-10 date_created: 2018-12-11T12:09:16Z date_published: 1995-01-01T00:00:00Z date_updated: 2022-06-09T14:21:08Z day: '01' doi: 10.1007/3-540-60084-1_85 extern: '1' intvolume: ' 944' language: - iso: eng main_file_link: - url: https://link.springer.com/chapter/10.1007/3-540-60084-1_85 month: '01' oa_version: None page: 324 - 335 publication: '22nd International Colloquium on Automata, Languages and Programming ' publication_identifier: isbn: - '9783540600848' publication_status: published publisher: Springer publist_id: '212' quality_controlled: '1' status: public title: Hybrid automata with finite bisimulations type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 944 year: '1995' ... --- _id: '4587' abstract: - lang: eng text: We argue that the standard constraints on liveness conditions in nonblocking trace models—machine closure for closed systems, and receptiveness for open systems—are unnecessarily weak and complex, and that liveness should, instead, be specified by augmenting transition systems with acceptance conditions that satisfy a locality constraint. First, locality implies machine closure and receptiveness, and thus permits the composition and modular verification of live transition systems. Second, while machine closure and receptiveness are based on infinite games, locality is based on repeated finite games, and thus easier to check. Third, no expressive power is lost by the restriction to local liveness conditions. We illustrate the appeal of local liveness using the model of Fair Reactive Systems, a nonblocking trace model of communicating processes. acknowledgement: Supported in part by the NSF grant CCR-9200794, by the AFOSR contract F49620-93-1-0056, and by the DARPA grant NAG2-892. alternative_title: - LNCS article_processing_charge: No author: - first_name: Rajeev full_name: Alur, Rajeev last_name: Alur - 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: 'Alur R, Henzinger TA. Local liveness for compositional modeling of fair reactive systems. In: 7th International Conference on Computer Aided Verification. Vol 939. Springer; 1995:166-179. doi:10.1007/3-540-60045-0_49' apa: 'Alur, R., & Henzinger, T. A. (1995). Local liveness for compositional modeling of fair reactive systems. In 7th International Conference on Computer Aided Verification (Vol. 939, pp. 166–179). Liege, Belgium: Springer. https://doi.org/10.1007/3-540-60045-0_49' chicago: Alur, Rajeev, and Thomas A Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.” In 7th International Conference on Computer Aided Verification, 939:166–79. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_49. ieee: R. Alur and T. A. Henzinger, “Local liveness for compositional modeling of fair reactive systems,” in 7th International Conference on Computer Aided Verification, Liege, Belgium, 1995, vol. 939, pp. 166–179. ista: 'Alur R, Henzinger TA. 1995. Local liveness for compositional modeling of fair reactive systems. 7th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 939, 166–179.' mla: Alur, Rajeev, and Thomas A. Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.” 7th International Conference on Computer Aided Verification, vol. 939, Springer, 1995, pp. 166–79, doi:10.1007/3-540-60045-0_49. short: R. Alur, T.A. Henzinger, in:, 7th International Conference on Computer Aided Verification, Springer, 1995, pp. 166–179. conference: end_date: 1995-07-05 location: Liege, Belgium name: 'CAV: Computer Aided Verification' start_date: 1995-07-03 date_created: 2018-12-11T12:09:37Z date_published: 1995-01-01T00:00:00Z date_updated: 2022-06-09T14:05:04Z day: '01' doi: 10.1007/3-540-60045-0_49 extern: '1' intvolume: ' 939' language: - iso: eng main_file_link: - url: https://link.springer.com/chapter/10.1007/3-540-60045-0_49 month: '01' oa_version: None page: 166 - 179 publication: 7th International Conference on Computer Aided Verification publication_identifier: isbn: - 978-3-540-60045-9 publication_status: published publisher: Springer publist_id: '120' quality_controlled: '1' status: public title: Local liveness for compositional modeling of fair reactive systems type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 939 year: '1995' ... --- _id: '4613' abstract: - lang: eng text: We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as finite automata equipped with variables that evolve continuously with time according to dynamical laws. For verification purposes, we restrict ourselves to linear hybrid systems, where all variables follow piecewise-linear trajectories. We provide decidability and undecidability results for classes of linear hybrid systems, and we show that standard program-analysis techniques can be adapted to linear hybrid systems. In particular, we consider symbolic model-checking and minimization procedures that are based on the reachability analysis of an infinite state space. The procedures iteratively compute state sets that are definable as unions of convex polyhedra in multidimensional real space. We also present approximation techniques for dealing with systems for which the iterative procedures do not converge. article_processing_charge: No article_type: original author: - first_name: Rajeev full_name: Alur, Rajeev last_name: Alur - first_name: Costas full_name: Courcoubetis, Costas last_name: Courcoubetis - first_name: Nicolas full_name: Halbwachs, Nicolas last_name: Halbwachs - 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: Xavier full_name: Nicollin, Xavier last_name: Nicollin - first_name: Alfredo full_name: Olivero, Alfredo last_name: Olivero - first_name: Joseph full_name: Sifakis, Joseph last_name: Sifakis - first_name: Sergio full_name: Yovine, Sergio last_name: Yovine citation: ama: Alur R, Courcoubetis C, Halbwachs N, et al. The algorithmic analysis of hybrid systems. Theoretical Computer Science. 1995;138(1):3-34. doi:10.1016/0304-3975(94)00202-T apa: Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P., Nicollin, X., … Yovine, S. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/0304-3975(94)00202-T chicago: Alur, Rajeev, Costas Courcoubetis, Nicolas Halbwachs, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.” Theoretical Computer Science. Elsevier, 1995. https://doi.org/10.1016/0304-3975(94)00202-T. ieee: R. Alur et al., “The algorithmic analysis of hybrid systems,” Theoretical Computer Science, vol. 138, no. 1. Elsevier, pp. 3–34, 1995. ista: Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science. 138(1), 3–34. mla: Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” Theoretical Computer Science, vol. 138, no. 1, Elsevier, 1995, pp. 3–34, doi:10.1016/0304-3975(94)00202-T. short: R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, Theoretical Computer Science 138 (1995) 3–34. date_created: 2018-12-11T12:09:45Z date_published: 1995-02-06T00:00:00Z date_updated: 2022-06-09T13:40:48Z day: '06' doi: 10.1016/0304-3975(94)00202-T extern: '1' intvolume: ' 138' issue: '1' language: - iso: eng main_file_link: - url: https://www.sciencedirect.com/science/article/pii/030439759400202T?via%3Dihub month: '02' oa_version: None page: 3 - 34 publication: Theoretical Computer Science publication_identifier: issn: - 0304-3975 publication_status: published publisher: Elsevier publist_id: '94' quality_controlled: '1' status: public title: The algorithmic analysis of hybrid systems type: journal_article user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 138 year: '1995' ... --- _id: '6162' abstract: - lang: eng text: 'The tra-1 gene is the terminal global selector of somatic sex in Caenorhabditis elegans: High tra-1 activity elicits female somatic development while low tra-1 activity elicits male development. Previous genetic studies defined a cascade of negatively interacting genes that regulates tra-1 activity in response to the primary sex-determining signal. Here, we investigate the last step in this regulatory cascade, by studying rare gain-of-function (gf) mutations of tra-1 that direct female somatic development irrespective of the upstream sex-determining signal. These mutations appear to abolish negative regulation of tra-1 in male tissues. We identify the lesions associated with 29 of these mutations and find that all affect a short stretch of amino acid residues present in both protein products of the tra-1 gene. Twenty-six alleles are associated with single nonconservative amino acid substitutions. Two alleles affect tra-1 RNA splicing and generate messages that omit part or all of the exon encoding this short stretch. These results suggest that sexual regulation of tra-1 is achieved post-translationally, by an inhibitory protein-protein interaction. The amino acid stretch altered by the tra-1(gf) mutations may define a site of interaction for negative regulators of tra-1. The stretch includes a potential phosphorylation site for glycogen synthase kinase 3 and may be conserved in the human gene GLI3, a homolog of tra-1 identified previously.' author: - first_name: Mario full_name: de Bono, Mario id: 4E3FF80E-F248-11E8-B48F-1D18A9856A87 last_name: de Bono orcid: 0000-0001-8347-0443 - first_name: D. full_name: Zarkower, D. last_name: Zarkower - first_name: J. full_name: Hodgkin, J. last_name: Hodgkin citation: ama: de Bono M, Zarkower D, Hodgkin J. Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1. Genes and Development. 1995;9(2):155-167. doi:10.1101/gad.9.2.155 apa: de Bono, M., Zarkower, D., & Hodgkin, J. (1995). Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1. Genes and Development. CSH Press. https://doi.org/10.1101/gad.9.2.155 chicago: Bono, Mario de, D. Zarkower, and J. Hodgkin. “Dominant Feminizing Mutations Implicate Protein-Protein Interactions as the Main Mode of Regulation of the Nematode Sex-Determining Gene Tra-1.” Genes and Development. CSH Press, 1995. https://doi.org/10.1101/gad.9.2.155. ieee: M. de Bono, D. Zarkower, and J. Hodgkin, “Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1,” Genes and Development, vol. 9, no. 2. CSH Press, pp. 155–167, 1995. ista: de Bono M, Zarkower D, Hodgkin J. 1995. Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1. Genes and Development. 9(2), 155–167. mla: de Bono, Mario, et al. “Dominant Feminizing Mutations Implicate Protein-Protein Interactions as the Main Mode of Regulation of the Nematode Sex-Determining Gene Tra-1.” Genes and Development, vol. 9, no. 2, CSH Press, 1995, pp. 155–67, doi:10.1101/gad.9.2.155. short: M. de Bono, D. Zarkower, J. Hodgkin, Genes and Development 9 (1995) 155–167. date_created: 2019-03-21T11:57:40Z date_published: 1995-01-15T00:00:00Z date_updated: 2021-01-12T08:06:29Z day: '15' doi: 10.1101/gad.9.2.155 extern: '1' external_id: pmid: - '7851791' intvolume: ' 9' issue: '2' language: - iso: eng month: '01' oa_version: None page: 155-167 pmid: 1 publication: Genes and Development publication_identifier: issn: - '08909369' publication_status: published publisher: CSH Press quality_controlled: '1' status: public title: Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1 type: journal_article user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 volume: 9 year: '1995' ...