[{"_id":"11681","author":[{"last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","orcid":"0000-0002-5008-6530","first_name":"Monika H","full_name":"Henzinger, Monika H"},{"first_name":"M. L.","full_name":"Fredman, M. L.","last_name":"Fredman"}],"date_published":"1998-11-01T00:00:00Z","publisher":"Springer Nature","year":"1998","language":[{"iso":"eng"}],"doi":"10.1007/pl00009228","type":"journal_article","quality_controlled":"1","publication_identifier":{"issn":["0178-4617"],"eissn":["1432-0541"]},"month":"11","volume":22,"article_type":"original","acknowledgement":".","date_created":"2022-07-28T06:58:36Z","keyword":["Dynamic planarity testing","Dynamic connectivity testing","Lower bounds","Cell probe model"],"intvolume":"        22","extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","abstract":[{"lang":"eng","text":"We prove lower bounds on the complexity of maintaining fully dynamic k -edge or k -vertex connectivity in plane graphs and in (k-1) -vertex connected graphs. We show an amortized lower bound of Ω (log n / {k (log log n} + log b)) per edge insertion, deletion, or query operation in the cell probe model, where b is the word size of the machine and n is the number of vertices in G . We also show an amortized lower bound of Ω (log n /(log log n + log b)) per operation for fully dynamic planarity testing in embedded graphs. These are the first lower bounds for fully dynamic connectivity problems."}],"page":"351-362","oa_version":"None","publication_status":"published","day":"01","date_updated":"2022-09-12T09:03:36Z","status":"public","title":"Lower bounds for fully dynamic connectivity problems in graphs","publication":"Algorithmica","citation":{"ama":"Henzinger MH, Fredman ML. Lower bounds for fully dynamic connectivity problems in graphs. <i>Algorithmica</i>. 1998;22(3):351-362. doi:<a href=\"https://doi.org/10.1007/pl00009228\">10.1007/pl00009228</a>","apa":"Henzinger, M. H., &#38; Fredman, M. L. (1998). Lower bounds for fully dynamic connectivity problems in graphs. <i>Algorithmica</i>. Springer Nature. <a href=\"https://doi.org/10.1007/pl00009228\">https://doi.org/10.1007/pl00009228</a>","ista":"Henzinger MH, Fredman ML. 1998. Lower bounds for fully dynamic connectivity problems in graphs. Algorithmica. 22(3), 351–362.","mla":"Henzinger, Monika H., and M. L. Fredman. “Lower Bounds for Fully Dynamic Connectivity Problems in Graphs.” <i>Algorithmica</i>, vol. 22, no. 3, Springer Nature, 1998, pp. 351–62, doi:<a href=\"https://doi.org/10.1007/pl00009228\">10.1007/pl00009228</a>.","short":"M.H. Henzinger, M.L. Fredman, Algorithmica 22 (1998) 351–362.","ieee":"M. H. Henzinger and M. L. Fredman, “Lower bounds for fully dynamic connectivity problems in graphs,” <i>Algorithmica</i>, vol. 22, no. 3. Springer Nature, pp. 351–362, 1998.","chicago":"Henzinger, Monika H, and M. L. Fredman. “Lower Bounds for Fully Dynamic Connectivity Problems in Graphs.” <i>Algorithmica</i>. Springer Nature, 1998. <a href=\"https://doi.org/10.1007/pl00009228\">https://doi.org/10.1007/pl00009228</a>."},"issue":"3","scopus_import":"1"},{"status":"public","type":"conference","doi":"10.1109/SFCS.1998.743510","language":[{"iso":"eng"}],"year":"1998","date_updated":"2023-02-09T11:28:52Z","day":"01","date_published":"1998-09-01T00:00:00Z","page":"596-605","publication_status":"published","oa_version":"None","abstract":[{"text":"We consider the parametric minimum spanning tree problem, in which we are given a graph with edge weights that are linear functions of a parameter /spl lambda/ and wish to compute the sequence of minimum spanning trees generated as /spl lambda/ varies. We also consider the kinetic minimum spanning tree problem, in which /spl lambda/ represents time and the graph is subject in addition to changes such as edge insertions, deletions, and modifications of the weight functions as time progresses. We solve both problems in time O(n/sup 2/3/log/sup 4/3/) per combinatorial change in the tree (or randomized O(n/sup 2/3/log/sup 4/3/ n) per change). Our time bounds reduce to O(n/sup 1/2/log/sup 3/2/ n) per change (O(n/sup 1/2/log n) randomized) for planar graphs or other minor-closed families of graphs, and O(n/sup 1/4/log/sup 3/2/ n) per change (O(n/sup 1/4/ log n) randomized) for planar graphs with weight changes but no insertions or deletions.","lang":"eng"}],"author":[{"last_name":"Agarwal","first_name":"P. K.","full_name":"Agarwal, P. K."},{"first_name":"D.","full_name":"EppsteinL. J. Guibas, D.","last_name":"EppsteinL. J. Guibas"},{"orcid":"0000-0002-5008-6530","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","full_name":"Henzinger, Monika H","first_name":"Monika H"}],"_id":"11682","scopus_import":"1","conference":{"location":"Palo Alto, CA, United States","name":"Annual IEEE Symposium on Foundations of Computer Science","end_date":"1998-11-11","start_date":"1998-11-08"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","extern":"1","date_created":"2022-07-28T07:21:34Z","citation":{"ama":"Agarwal PK, EppsteinL. J. Guibas D, Henzinger MH. Parametric and kinetic minimum spanning trees. In: <i>Proceedings of the 39th Annual Symposium on Foundations of Computer Science</i>. ; 1998:596-605. doi:<a href=\"https://doi.org/10.1109/SFCS.1998.743510\">10.1109/SFCS.1998.743510</a>","ista":"Agarwal PK, EppsteinL. J. Guibas D, Henzinger MH. 1998. Parametric and kinetic minimum spanning trees. Proceedings of the 39th Annual Symposium on Foundations of Computer Science. Annual IEEE Symposium on Foundations of Computer Science, 596–605.","apa":"Agarwal, P. K., EppsteinL. J. Guibas, D., &#38; Henzinger, M. H. (1998). Parametric and kinetic minimum spanning trees. In <i>Proceedings of the 39th Annual Symposium on Foundations of Computer Science</i> (pp. 596–605). Palo Alto, CA, United States. <a href=\"https://doi.org/10.1109/SFCS.1998.743510\">https://doi.org/10.1109/SFCS.1998.743510</a>","mla":"Agarwal, P. K., et al. “Parametric and Kinetic Minimum Spanning Trees.” <i>Proceedings of the 39th Annual Symposium on Foundations of Computer Science</i>, 1998, pp. 596–605, doi:<a href=\"https://doi.org/10.1109/SFCS.1998.743510\">10.1109/SFCS.1998.743510</a>.","short":"P.K. Agarwal, D. EppsteinL. J. Guibas, M.H. Henzinger, in:, Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998, pp. 596–605.","ieee":"P. K. Agarwal, D. EppsteinL. J. Guibas, and M. H. Henzinger, “Parametric and kinetic minimum spanning trees,” in <i>Proceedings of the 39th Annual Symposium on Foundations of Computer Science</i>, Palo Alto, CA, United States, 1998, pp. 596–605.","chicago":"Agarwal, P. K., D. EppsteinL. J. Guibas, and Monika H Henzinger. “Parametric and Kinetic Minimum Spanning Trees.” In <i>Proceedings of the 39th Annual Symposium on Foundations of Computer Science</i>, 596–605, 1998. <a href=\"https://doi.org/10.1109/SFCS.1998.743510\">https://doi.org/10.1109/SFCS.1998.743510</a>."},"publication":"Proceedings of the 39th Annual Symposium on Foundations of Computer Science","title":"Parametric and kinetic minimum spanning trees","month":"09","publication_identifier":{"issn":["0272-5428"],"isbn":["0-8186-9172-7"]},"quality_controlled":"1"},{"article_type":"original","volume":429,"month":"06","quality_controlled":"1","publication_identifier":{"issn":["0014-5793"]},"publist_id":"5128","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","article_processing_charge":"No","intvolume":"       429","date_created":"2018-12-11T11:54:54Z","pmid":1,"acknowledgement":"This work was funded by the BBSRC. We would like to thank Professor Peter Horton (University of Sheffield) for the loan of the ED 800 T unit.","date_published":"1998-06-05T00:00:00Z","author":[{"orcid":"0000-0002-0977-7989","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","last_name":"Sazanov","first_name":"Leonid A","full_name":"Sazanov, Leonid A"},{"last_name":"Burrows","first_name":"Paul","full_name":"Burrows, Paul"},{"last_name":"Nixon","first_name":"Peter","full_name":"Nixon, Peter"}],"_id":"1954","type":"journal_article","language":[{"iso":"eng"}],"doi":"10.1016/S0014-5793(98)00573-0","publisher":"Elsevier","year":"1998","publication":"FEBS Letters","external_id":{"pmid":["9657394 "]},"title":"The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves","issue":"1","citation":{"chicago":"Sazanov, Leonid A, Paul Burrows, and Peter Nixon. “The Chloroplast Ndh Complex Mediates the Dark Reduction of the Plastoquinone Pool in Response to Heat Stress in Tobacco Leaves.” <i>FEBS Letters</i>. Elsevier, 1998. <a href=\"https://doi.org/10.1016/S0014-5793(98)00573-0\">https://doi.org/10.1016/S0014-5793(98)00573-0</a>.","ieee":"L. A. Sazanov, P. Burrows, and P. Nixon, “The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves,” <i>FEBS Letters</i>, vol. 429, no. 1. Elsevier, pp. 115–118, 1998.","apa":"Sazanov, L. A., Burrows, P., &#38; Nixon, P. (1998). The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. <i>FEBS Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/S0014-5793(98)00573-0\">https://doi.org/10.1016/S0014-5793(98)00573-0</a>","short":"L.A. Sazanov, P. Burrows, P. Nixon, FEBS Letters 429 (1998) 115–118.","mla":"Sazanov, Leonid A., et al. “The Chloroplast Ndh Complex Mediates the Dark Reduction of the Plastoquinone Pool in Response to Heat Stress in Tobacco Leaves.” <i>FEBS Letters</i>, vol. 429, no. 1, Elsevier, 1998, pp. 115–18, doi:<a href=\"https://doi.org/10.1016/S0014-5793(98)00573-0\">10.1016/S0014-5793(98)00573-0</a>.","ista":"Sazanov LA, Burrows P, Nixon P. 1998. The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. FEBS Letters. 429(1), 115–118.","ama":"Sazanov LA, Burrows P, Nixon P. The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. <i>FEBS Letters</i>. 1998;429(1):115-118. doi:<a href=\"https://doi.org/10.1016/S0014-5793(98)00573-0\">10.1016/S0014-5793(98)00573-0</a>"},"page":"115 - 118","publication_status":"published","oa_version":"None","day":"05","abstract":[{"text":"\r\nWe have examined the effects of heat stress on electron transfer in the thylakoid membrane of an engineered plastid ndh deletion mutant, Δ1, incapable of performing the Ndh-mediated reduction of the plastoquinone pool in the chloroplast. Upon heat stress in the dark, the rate of PSII- independent reduction of PSI after subsequent illumination by far-red light is dramatically enhanced in both Δ1 and a wild-type control plant (WT). In contrast, in the dark, only the WT shows an increase in the reduction state of the plastoquinone pool. We conclude that the heat stress-induced reduction of the intersystem electron transport chain can be mediated by Ndh- independent pathways in the light but that in the dark the dominant pathway for reduction of the plastoquinone pool is catalysed by the Ndh complex. Our results therefore demonstrate a functional role for the Ndh complex in the dark.\r\n","lang":"eng"}],"status":"public","date_updated":"2022-09-01T13:12:15Z"},{"language":[{"iso":"eng"}],"doi":"10.1093/emboj/17.4.868","publisher":"Wiley-Blackwell","year":"1998","type":"journal_article","author":[{"full_name":"Burrows, Paul","first_name":"Paul","last_name":"Burrows"},{"orcid":"0000-0002-0977-7989","last_name":"Sazanov","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","first_name":"Leonid A","full_name":"Sazanov, Leonid A"},{"first_name":"Zóra","full_name":"Sváb, Zóra","last_name":"Sváb"},{"full_name":"Maliga, Pàl","first_name":"Pàl","last_name":"Maliga"},{"first_name":"Peter","full_name":"Nixon, Peter","last_name":"Nixon"}],"oa":1,"_id":"1955","date_published":"1998-02-04T00:00:00Z","date_created":"2018-12-11T11:54:54Z","pmid":1,"acknowledgement":"We thank Professor Süss (Institute of Plant Genetics and Crop Plant Research, Gatersleben, Germany) for the gift of the anti-FNR antiserum, Professor Masahiro Sugiura (Nagoya University, Japan) for the gift of plasmid pTB19 and Professor Peter Horton (University of Sheffield) for the loan of his ED-800T unit. P.B. is a recipient of a BBSRC studentship and the work was supported by grants from the BBSRC, The Royal Society (to P.J.N.) and The National Science Foundation (to P.M.).","article_processing_charge":"No","extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","intvolume":"        17","month":"02","quality_controlled":"1","publist_id":"5129","publication_identifier":{"issn":["0261-4189"]},"volume":17,"article_type":"original","date_updated":"2022-09-01T13:17:49Z","status":"public","page":"868 - 876","publication_status":"published","oa_version":"None","day":"04","abstract":[{"text":"The plastid genomes of several plants contain homologues, termed ndh genes, of genes encoding subunits of the NADH:ubiquinone oxidoreductase or complex I of mitochondria and eubacteria. The functional significance of the Ndh proteins in higher plants is uncertain. We show here that tobacco chloroplasts contain a protein complex of 550 kDa consisting of at least three of the ndh gene products: NdhI, NdhJ and NdhK. We have constructed mutant tobacco plants with disrupted ndhC, ndhK and ndhJ plastid genes, indicating that the Ndh complex is dispensible for plant growth under optimal growth conditions. Chlorophyll fluorescence analysis shows that in vivo the Ndh complex catalyses the post-illumination reduction of the plastoquinone pool and in the light optimizes the induction of photosynthesis under conditions of water stress. We conclude that the Ndh complex catalyses the reduction of the plastoquinone pool using stromal reductant and so acts as a respiratory complex. Overall, our data are compatible with the participation of the Ndh complex in cyclic electron flow around the photosystem I complex in the light and possibly in a chloroplast respiratory chain in the dark.","lang":"eng"}],"citation":{"ieee":"P. Burrows, L. A. Sazanov, Z. Sváb, P. Maliga, and P. Nixon, “Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes,” <i>EMBO Journal</i>, vol. 17, no. 4. Wiley-Blackwell, pp. 868–876, 1998.","chicago":"Burrows, Paul, Leonid A Sazanov, Zóra Sváb, Pàl Maliga, and Peter Nixon. “Identification of a Functional Respiratory Complex in Chloroplasts through Analysis of Tobacco Mutants Containing Disrupted Plastid Ndh Genes.” <i>EMBO Journal</i>. Wiley-Blackwell, 1998. <a href=\"https://doi.org/10.1093/emboj/17.4.868\">https://doi.org/10.1093/emboj/17.4.868</a>.","ama":"Burrows P, Sazanov LA, Sváb Z, Maliga P, Nixon P. Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. <i>EMBO Journal</i>. 1998;17(4):868-876. doi:<a href=\"https://doi.org/10.1093/emboj/17.4.868\">10.1093/emboj/17.4.868</a>","apa":"Burrows, P., Sazanov, L. A., Sváb, Z., Maliga, P., &#38; Nixon, P. (1998). Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. <i>EMBO Journal</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1093/emboj/17.4.868\">https://doi.org/10.1093/emboj/17.4.868</a>","ista":"Burrows P, Sazanov LA, Sváb Z, Maliga P, Nixon P. 1998. Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. EMBO Journal. 17(4), 868–876.","short":"P. Burrows, L.A. Sazanov, Z. Sváb, P. Maliga, P. Nixon, EMBO Journal 17 (1998) 868–876.","mla":"Burrows, Paul, et al. “Identification of a Functional Respiratory Complex in Chloroplasts through Analysis of Tobacco Mutants Containing Disrupted Plastid Ndh Genes.” <i>EMBO Journal</i>, vol. 17, no. 4, Wiley-Blackwell, 1998, pp. 868–76, doi:<a href=\"https://doi.org/10.1093/emboj/17.4.868\">10.1093/emboj/17.4.868</a>."},"issue":"4","scopus_import":"1","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1170436/"}],"publication":"EMBO Journal","external_id":{"pmid":["9463365"]},"title":"Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes"},{"volume":95,"article_type":"original","quality_controlled":"1","publication_identifier":{"issn":["0027-8424"]},"publist_id":"5130","month":"02","intvolume":"        95","extern":"1","article_processing_charge":"No","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","pmid":1,"acknowledgement":"We gratefully acknowledge Dr. A.Carne (Institute of Cancer Research, London, U.K.) for help with N-terminal sequencing. We thank Prof. C. J. Leaver (University of Oxford, U.K.), Prof. K.-H. Süss (Institute of Plant Genetics and Crop Plant Research, Gatersleben, Germany), and Prof. L. J. Rogers (University of Aberystwyth, U.K.) for gifts of antiserum against maize mitochondrial cytochrome oxidase subunit 1 and cytochrome bc1 complex, spinach FNR, and spinach ferredoxin, respectively. This work was supported by grants from The Royal Society and the Biotechnology and Biological Sciences Research Council.","date_created":"2018-12-11T11:54:54Z","date_published":"1998-02-03T00:00:00Z","oa":1,"_id":"1956","author":[{"id":"338D39FE-F248-11E8-B48F-1D18A9856A87","last_name":"Sazanov","orcid":"0000-0002-0977-7989","first_name":"Leonid A","full_name":"Sazanov, Leonid A"},{"first_name":"Paul","full_name":"Burrows, Paul","last_name":"Burrows"},{"last_name":"Nixon","first_name":"Peter","full_name":"Nixon, Peter"}],"type":"journal_article","publisher":"National Academy of Sciences","year":"1998","language":[{"iso":"eng"}],"doi":"10.1073/pnas.95.3.1319","external_id":{"pmid":["9448329 "]},"title":"The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes","publication":"PNAS","main_file_link":[{"url":"https://europepmc.org/article/pmc/18756","open_access":"1"}],"issue":"3","scopus_import":"1","citation":{"apa":"Sazanov, L. A., Burrows, P., &#38; Nixon, P. (1998). The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. <i>PNAS</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.95.3.1319\">https://doi.org/10.1073/pnas.95.3.1319</a>","mla":"Sazanov, Leonid A., et al. “The Plastid Ndh Genes Code for an NADH-Specific Dehydrogenase: Isolation of a Complex I Analogue from Pea Thylakoid Membranes.” <i>PNAS</i>, vol. 95, no. 3, National Academy of Sciences, 1998, pp. 1319–24, doi:<a href=\"https://doi.org/10.1073/pnas.95.3.1319\">10.1073/pnas.95.3.1319</a>.","ista":"Sazanov LA, Burrows P, Nixon P. 1998. The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. PNAS. 95(3), 1319–1324.","short":"L.A. Sazanov, P. Burrows, P. Nixon, PNAS 95 (1998) 1319–1324.","ama":"Sazanov LA, Burrows P, Nixon P. The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. <i>PNAS</i>. 1998;95(3):1319-1324. doi:<a href=\"https://doi.org/10.1073/pnas.95.3.1319\">10.1073/pnas.95.3.1319</a>","chicago":"Sazanov, Leonid A, Paul Burrows, and Peter Nixon. “The Plastid Ndh Genes Code for an NADH-Specific Dehydrogenase: Isolation of a Complex I Analogue from Pea Thylakoid Membranes.” <i>PNAS</i>. National Academy of Sciences, 1998. <a href=\"https://doi.org/10.1073/pnas.95.3.1319\">https://doi.org/10.1073/pnas.95.3.1319</a>.","ieee":"L. A. Sazanov, P. Burrows, and P. Nixon, “The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes,” <i>PNAS</i>, vol. 95, no. 3. National Academy of Sciences, pp. 1319–1324, 1998."},"abstract":[{"text":"\r\nThe plastid genomes of several plants contain ndh genes-homologues of genes encoding subunits of the proton-pumping NADH:ubiquinone oxidoreductase, or complex I, involved in respiration in mitochondria and eubacteria. From sequence similarities with these genes, the ndh gene products have been suggested to form a large protein complex (Ndh complex); however, the structure and function of this complex remains to be established. Herein we report the isolation of the Ndh complex from the chloroplasts of the higher plant Pisum sativum. The purification procedure involved selective solubilization of the thylakoid membrane with dodecyl maltoside, followed by two anion-exchange chromatography steps and one size-exclusion chromatography step. The isolated Ndh complex has an apparent total molecular mass of approximately 550 kDa and according to SDS/PAGE consists of at least 16 subunits including NdhA, NdhI, NdhJ, NdhK, and NdhH, which were identified by N-terminal sequencing and immunoblotting. The Ndh complex showed an NADH- and deamino-NADH-specific dehydrogenase activity, characteristic of complex I, when either ferricyanide or the quinones menadione and duroquinone were used as electron acceptors. This study describes the isolation of the chloroplast analogue of the respiratory complex I and provides direct evidence for the function of the plastid Ndh complex as an NADH:plastoquinone oxidoreductase. Our results are compatible with a dual role for the Ndh complex in the chloro-respiratory and cyclic photophosphorylation pathways.","lang":"eng"}],"publication_status":"published","page":"1319 - 1324","oa_version":"None","day":"03","status":"public","date_updated":"2022-09-01T13:47:05Z"},{"citation":{"apa":"Alur, R., Henzinger, T. A., Kupferman, O., &#38; Vardi, M. (1998). Alternating refinement relations. In <i>Proceedings of the 9th Interantional Conference on Concurrency Theory</i> (Vol. 1466, pp. 163–178). Nice, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.1007/BFb0055622\">https://doi.org/10.1007/BFb0055622</a>","ista":"Alur R, Henzinger TA, Kupferman O, Vardi M. 1998. Alternating refinement relations. Proceedings of the 9th Interantional Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1466, 163–178.","mla":"Alur, Rajeev, et al. “Alternating Refinement Relations.” <i>Proceedings of the 9th Interantional Conference on Concurrency Theory</i>, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–78, doi:<a href=\"https://doi.org/10.1007/BFb0055622\">10.1007/BFb0055622</a>.","short":"R. Alur, T.A. Henzinger, O. Kupferman, M. Vardi, in:, Proceedings of the 9th Interantional Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–178.","ama":"Alur R, Henzinger TA, Kupferman O, Vardi M. Alternating refinement relations. In: <i>Proceedings of the 9th Interantional Conference on Concurrency Theory</i>. Vol 1466. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1998:163-178. doi:<a href=\"https://doi.org/10.1007/BFb0055622\">10.1007/BFb0055622</a>","chicago":"Alur, Rajeev, Thomas A Henzinger, Orna Kupferman, and Moshe Vardi. “Alternating Refinement Relations.” In <i>Proceedings of the 9th Interantional Conference on Concurrency Theory</i>, 1466:163–78. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. <a href=\"https://doi.org/10.1007/BFb0055622\">https://doi.org/10.1007/BFb0055622</a>.","ieee":"R. Alur, T. A. Henzinger, O. Kupferman, and M. Vardi, “Alternating refinement relations,” in <i>Proceedings of the 9th Interantional Conference on Concurrency Theory</i>, Nice, France, 1998, vol. 1466, pp. 163–178."},"scopus_import":"1","alternative_title":["LNCS"],"publication":"Proceedings of the 9th Interantional Conference on Concurrency Theory","title":"Alternating refinement relations","date_updated":"2022-08-23T09:50:34Z","status":"public","page":"163 - 178","oa_version":"None","publication_status":"published","day":"01","abstract":[{"lang":"eng","text":"Alternating transition systems are a general model for composite systems which allow the study of collaborative as well as adversarial relationships between individual system components. Unlike in labeled transition systems, where each transition corresponds to a possible step of the system (which may involve some or all components), in alternating transition systems, each transition corresponds to a possible move in a game between the components. In this paper, we study refinement relations between alternating transition systems, such as “Does the implementation refine the set A of specification components without constraining the components not in A?” In particular, we generalize the definitions of the simulation and trace containment preorders from labeled transition systems to alternating transition systems. The generalizations are called alternating simulation and alternating trace containment. Unlike existing refinement relations, they allow the refinement of individual components within the context of a composite system description. We show that, like ordinary simulation, alternating simulation can be checked in polynomial time using a fixpoint computation algorithm. While ordinary trace containment is PSPACE-complete, we establish alternating trace containment to be EXPTIME-complete. Finally, we present logical characterizations for the two preorders in terms of ATL, a temporal logic capable of referring to games between system components."}],"date_created":"2018-12-11T12:09:42Z","acknowledgement":"This work is supported in part by the ONR YIP award N00014-95-1-0520, by the NSF CAREER award CCR-9501708, by the NSF grants CCR-9504469, CCR-9628400, and CCR-9700061, by the DARPA/NASA grant NAG2-1214, by the ARO MURI grant DAAH-04-96-1-0341, by the SRC contract 97-DC-324.041, and by a grant from the Intel Corporation.","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","article_processing_charge":"No","extern":"1","conference":{"location":"Nice, France","start_date":"1998-09-08","end_date":"1998-09-11","name":"CONCUR: Concurrency Theory"},"intvolume":"      1466","month":"01","quality_controlled":"1","publication_identifier":{"isbn":["978-3-540-64896-3"]},"publist_id":"104","volume":1466,"language":[{"iso":"eng"}],"doi":"10.1007/BFb0055622","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"1998","type":"conference","author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Kupferman","full_name":"Kupferman, Orna","first_name":"Orna"},{"last_name":"Vardi","full_name":"Vardi, Moshe","first_name":"Moshe"}],"_id":"4603","date_published":"1998-01-01T00:00:00Z"},{"date_published":"1998-01-01T00:00:00Z","author":[{"last_name":"Alur","full_name":"Alur, Rajeev","first_name":"Rajeev"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"last_name":"Mang","first_name":"Freddy","full_name":"Mang, Freddy"},{"last_name":"Qadeer","first_name":"Shaz","full_name":"Qadeer, Shaz"},{"full_name":"Rajamani, Sriram","first_name":"Sriram","last_name":"Rajamani"},{"first_name":"Serdar","full_name":"Tasiran, Serdar","last_name":"Tasiran"}],"_id":"4604","type":"conference","doi":"10.1007/BFb0028774","language":[{"iso":"eng"}],"year":"1998","publisher":"Springer","volume":1427,"month":"01","publication_identifier":{"isbn":["9783540646082"]},"publist_id":"103","quality_controlled":"1","conference":{"name":"CAV: Computer Aided Verification","end_date":"1998-07-02","start_date":"1998-06-28","location":"Vancouver, Canada"},"article_processing_charge":"No","extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","intvolume":"      1427","date_created":"2018-12-11T12:09:42Z","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 grant CCR-9504469, by the ARO MURI grant DAAH-04-96-1-0341, and by the SRC contract 97-DC-324.041.","day":"01","oa_version":"None","publication_status":"published","page":"521 - 525","status":"public","date_updated":"2022-08-23T09:06:21Z","publication":"Proceedings of the 10th International Conference on Computer Aided Verification","title":"Mocha: Modularity in model checking","scopus_import":"1","alternative_title":["LNCS"],"citation":{"short":"R. Alur, T.A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, S. Tasiran, in:, Proceedings of the 10th International Conference on Computer Aided Verification, Springer, 1998, pp. 521–525.","ista":"Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. 1998. Mocha: Modularity in model checking. Proceedings of the 10th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1427, 521–525.","apa":"Alur, R., Henzinger, T. A., Mang, F., Qadeer, S., Rajamani, S., &#38; Tasiran, S. (1998). Mocha: Modularity in model checking. In <i>Proceedings of the 10th International Conference on Computer Aided Verification</i> (Vol. 1427, pp. 521–525). Vancouver, Canada: Springer. <a href=\"https://doi.org/10.1007/BFb0028774\">https://doi.org/10.1007/BFb0028774</a>","mla":"Alur, Rajeev, et al. “Mocha: Modularity in Model Checking.” <i>Proceedings of the 10th International Conference on Computer Aided Verification</i>, vol. 1427, Springer, 1998, pp. 521–25, doi:<a href=\"https://doi.org/10.1007/BFb0028774\">10.1007/BFb0028774</a>.","ama":"Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. Mocha: Modularity in model checking. In: <i>Proceedings of the 10th International Conference on Computer Aided Verification</i>. Vol 1427. Springer; 1998:521-525. doi:<a href=\"https://doi.org/10.1007/BFb0028774\">10.1007/BFb0028774</a>","chicago":"Alur, Rajeev, Thomas A Henzinger, Freddy Mang, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “Mocha: Modularity in Model Checking.” In <i>Proceedings of the 10th International Conference on Computer Aided Verification</i>, 1427:521–25. Springer, 1998. <a href=\"https://doi.org/10.1007/BFb0028774\">https://doi.org/10.1007/BFb0028774</a>.","ieee":"R. Alur, T. A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, and S. Tasiran, “Mocha: Modularity in model checking,” in <i>Proceedings of the 10th International Conference on Computer Aided Verification</i>, Vancouver, Canada, 1998, vol. 1427, pp. 521–525."}},{"_id":"4606","author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Rajamani","first_name":"Sriram","full_name":"Rajamani, Sriram"}],"date_published":"1998-01-01T00:00:00Z","year":"1998","publisher":"Springer","doi":"10.1007/BFb0054181","language":[{"iso":"eng"}],"type":"conference","publication_identifier":{"isbn":["9783540643562"]},"publist_id":"102","quality_controlled":"1","month":"01","volume":1384,"acknowledgement":"This research was supported in part by the Office of Naval Research Young Investigator award N00014-95-1-0520, by the National Science Foundation CAREER award CCR-9501708, by the National Science Foundation grant CCR-9504469, by the Air Force Office of Scientific Research contract F49620-93-1-0056, by the Army Research Office MURI grant DAAH-04-96-1-0341, by the Advanced Research Projects Agency grant NAG2-892, and by the Semiconductor Research Corporation contract 95-DC-324.036.\r\n","date_created":"2018-12-11T12:09:43Z","intvolume":"      1384","conference":{"location":"Lisbon, Portugal","end_date":"1998-04-04","start_date":"1998-03-28","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","article_processing_charge":"No","abstract":[{"lang":"eng","text":"In formal design verification, successful model checking is typically preceded by a laborious manual process of constructing design abstractions. We present a methodology for partially—and in some cases, fully—bypassing the abstraction process. For this purpose, we provide to the designer abstraction operators which, if used judiciously in the description of a design, structure the corresponding state space hierarchically. This structure can then be exploited by verification tools, and makes possible the automatic and exhaustive exploration of state spaces that would otherwise be out of scope for existing model checkers.\r\nSpecifically, we present the following contributions:\r\n- \t A temporal abstraction operator that aggregates transitions and hides intermediate steps. Mathematically, our abstraction operator is a function that maps a flat transition system into a two-level hierarchy where each atomic upper-level transition expands into an entire lower-level transition system. For example, an arithmetic operation may expand into a sequence of bit operations.\r\n- \t A BDD-based algorithm for the symbolic exploration of multi-level hierarchies of transition systems. The algorithm traverses a level-n transition by expanding the corresponding level-(n − 1) transition system on-the-fly. The level-n successors of a state are determined by computing a level-(n − 1) reach set, which is then immediately released from memory. In this fashion, we can exhaustively explore hierarchically structured state spaces whose flat counterparts cause memory overflows.\r\n- \t We experimentally demonstrate the efficiency of our method with three examples—a multiplier, a cache coherence protocol, and a multiprocessor system. In the first two examples, we obtain significant improvements in run times and peak BDD sizes over traditional state-space search. The third example cannot be model checked at all using conventional methods (without manual abstractions), but can be analyzed fully automatically using transition hierarchies."}],"day":"01","page":"330 - 344","publication_status":"published","oa_version":"None","date_updated":"2022-08-23T08:44:36Z","status":"public","title":"Symbolic exploration of transition hierarchies","publication":"Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","citation":{"mla":"Alur, Rajeev, et al. “Symbolic Exploration of Transition Hierarchies.” <i>Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, vol. 1384, Springer, 1998, pp. 330–44, doi:<a href=\"https://doi.org/10.1007/BFb0054181\">10.1007/BFb0054181</a>.","ista":"Alur R, Henzinger TA, Rajamani S. 1998. Symbolic exploration of transition hierarchies. Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1384, 330–344.","short":"R. Alur, T.A. Henzinger, S. Rajamani, in:, Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 1998, pp. 330–344.","apa":"Alur, R., Henzinger, T. A., &#38; Rajamani, S. (1998). Symbolic exploration of transition hierarchies. In <i>Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i> (Vol. 1384, pp. 330–344). Lisbon, Portugal: Springer. <a href=\"https://doi.org/10.1007/BFb0054181\">https://doi.org/10.1007/BFb0054181</a>","ama":"Alur R, Henzinger TA, Rajamani S. Symbolic exploration of transition hierarchies. In: <i>Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 1384. Springer; 1998:330-344. doi:<a href=\"https://doi.org/10.1007/BFb0054181\">10.1007/BFb0054181</a>","chicago":"Alur, Rajeev, Thomas A Henzinger, and Sriram Rajamani. “Symbolic Exploration of Transition Hierarchies.” In <i>Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, 1384:330–44. Springer, 1998. <a href=\"https://doi.org/10.1007/BFb0054181\">https://doi.org/10.1007/BFb0054181</a>.","ieee":"R. Alur, T. A. Henzinger, and S. Rajamani, “Symbolic exploration of transition hierarchies,” in <i>Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, Lisbon, Portugal, 1998, vol. 1384, pp. 330–344."},"alternative_title":["LNCS"],"scopus_import":"1"},{"page":"564 - 575","publication_status":"published","oa_version":"None","date_published":"1998-01-01T00:00:00Z","day":"01","abstract":[{"text":"An open system can be modeled as a two-player game between the system and its environment. At each round of the game, player 1 (the system) and player 2 (the environment) independently and simultaneously choose moves, and the two choices determine the next state of the game. Properties of open systems can be modeled as objectives of these two-player games. For the basic objective of reachability-can player 1 force the game to a given set of target states?-there are three types of winning states, according to the degree of certainty with which player 1 can reach the target. From type-1 states, player 1 has a deterministic strategy to always reach the target. From type-2 states, player 1 has a randomized strategy to reach the target with probability 1. From type-3 states, player 1 has for every real ε&gt;0 a randomized strategy to reach the target with probability greater than 1-ε. We show that for finite state spaces, all three sets of winning states can be computed in polynomial time: type-1 states in linear time, and type-2 and type-3 states in quadratic time. The algorithms to compute the three sets of winning states also enable the construction of the winning and spoiling strategies. Finally, we apply our results by introducing a temporal logic in which all three kinds of winning conditions can be specified, and which can be model checked in polynomial time. This logic, called Randomized ATL, is suitable for reasoning about randomized behavior in open (two-agent) as well as multi-agent systems","lang":"eng"}],"author":[{"last_name":"De Alfaro","first_name":"Luca","full_name":"De Alfaro, Luca"},{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Orna","full_name":"Kupferman, Orna","last_name":"Kupferman"}],"_id":"4639","status":"public","type":"conference","language":[{"iso":"eng"}],"doi":"10.1109/SFCS.1998.743507  ","date_updated":"2022-08-22T14:09:02Z","publisher":"IEEE","year":"1998","publication":" Proceedings 39th Annual Symposium on Foundations of Computer Science","title":"Concurrent reachability games","month":"01","quality_controlled":"1","publication_identifier":{"isbn":["0818691727"]},"publist_id":"68","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","article_processing_charge":"No","extern":"1","conference":{"start_date":"1998-11-08","end_date":"1998-11-11","name":"FOCS: Foundations of Computer Science","location":"Palo Alto, CA, United States of America"},"date_created":"2018-12-11T12:09:53Z","citation":{"chicago":"De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.” In <i> Proceedings 39th Annual Symposium on Foundations of Computer Science</i>, 564–75. IEEE, 1998. <a href=\"https://doi.org/10.1109/SFCS.1998.743507  \">https://doi.org/10.1109/SFCS.1998.743507  </a>.","ieee":"L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” in <i> Proceedings 39th Annual Symposium on Foundations of Computer Science</i>, Palo Alto, CA, United States of America, 1998, pp. 564–575.","ista":"De Alfaro L, Henzinger TA, Kupferman O. 1998. Concurrent reachability games.  Proceedings 39th Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science, 564–575.","apa":"De Alfaro, L., Henzinger, T. A., &#38; Kupferman, O. (1998). Concurrent reachability games. In <i> Proceedings 39th Annual Symposium on Foundations of Computer Science</i> (pp. 564–575). Palo Alto, CA, United States of America: IEEE. <a href=\"https://doi.org/10.1109/SFCS.1998.743507  \">https://doi.org/10.1109/SFCS.1998.743507  </a>","mla":"De Alfaro, Luca, et al. “Concurrent Reachability Games.” <i> Proceedings 39th Annual Symposium on Foundations of Computer Science</i>, IEEE, 1998, pp. 564–75, doi:<a href=\"https://doi.org/10.1109/SFCS.1998.743507  \">10.1109/SFCS.1998.743507  </a>.","short":"L. De Alfaro, T.A. Henzinger, O. Kupferman, in:,  Proceedings 39th Annual Symposium on Foundations of Computer Science, IEEE, 1998, pp. 564–575.","ama":"De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. In: <i> Proceedings 39th Annual Symposium on Foundations of Computer Science</i>. IEEE; 1998:564-575. doi:<a href=\"https://doi.org/10.1109/SFCS.1998.743507  \">10.1109/SFCS.1998.743507  </a>"}},{"status":"public","type":"journal_article","language":[{"iso":"eng"}],"doi":"10.1016/s0092-8674(00)81609-8","date_updated":"2021-01-12T08:06:28Z","publisher":"Elsevier","year":"1998","date_published":"1998-09-04T00:00:00Z","page":"679-689","publication_status":"published","oa_version":"None","day":"04","abstract":[{"text":"Natural isolates of C. elegans exhibit either solitary or social feeding behavior. Solitary foragers move slowly on a bacterial lawn and disperse across it, while social foragers move rapidly on bacteria and aggregate together. A loss-of-function mutation in the npr-1 gene, which encodes a predicted G protein–coupled receptor similar to neuropeptide Y receptors, causes a solitary strain to take on social behavior. Two isoforms of NPR-1 that differ at a single residue occur in the wild. One isoform, NPR-1 215F, is found exclusively in social strains, while the other isoform, NPR-1 215V, is found exclusively in solitary strains. An NPR-1 215V transgene can induce solitary feeding behavior in a wild social strain. Thus, isoforms of a putative neuropeptide receptor generate natural variation in C. elegans feeding behavior.","lang":"eng"}],"author":[{"last_name":"de Bono","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8347-0443","full_name":"de Bono, Mario","first_name":"Mario"},{"first_name":"Cornelia I","full_name":"Bargmann, Cornelia I","last_name":"Bargmann"}],"_id":"6160","extern":"1","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","issue":"5","intvolume":"        94","date_created":"2019-03-21T10:32:06Z","pmid":1,"citation":{"ieee":"M. de Bono and C. I. Bargmann, “Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans,” <i>Cell</i>, vol. 94, no. 5. Elsevier, pp. 679–689, 1998.","chicago":"Bono, Mario de, and Cornelia I Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.” <i>Cell</i>. Elsevier, 1998. <a href=\"https://doi.org/10.1016/s0092-8674(00)81609-8\">https://doi.org/10.1016/s0092-8674(00)81609-8</a>.","ama":"de Bono M, Bargmann CI. Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. <i>Cell</i>. 1998;94(5):679-689. doi:<a href=\"https://doi.org/10.1016/s0092-8674(00)81609-8\">10.1016/s0092-8674(00)81609-8</a>","apa":"de Bono, M., &#38; Bargmann, C. I. (1998). Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. <i>Cell</i>. Elsevier. <a href=\"https://doi.org/10.1016/s0092-8674(00)81609-8\">https://doi.org/10.1016/s0092-8674(00)81609-8</a>","short":"M. de Bono, C.I. Bargmann, Cell 94 (1998) 679–689.","ista":"de Bono M, Bargmann CI. 1998. Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. Cell. 94(5), 679–689.","mla":"de Bono, Mario, and Cornelia I. Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.” <i>Cell</i>, vol. 94, no. 5, Elsevier, 1998, pp. 679–89, doi:<a href=\"https://doi.org/10.1016/s0092-8674(00)81609-8\">10.1016/s0092-8674(00)81609-8</a>."},"publication":"Cell","external_id":{"pmid":["9741632"]},"volume":94,"title":"Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans","month":"09","quality_controlled":"1","publication_identifier":{"issn":["0092-8674"]}},{"date_updated":"2022-09-01T13:51:07Z","status":"public","abstract":[{"lang":"eng","text":"In this paper we consider a canonical compactification of M, the moduli space of stable Higgs bundles with fixed determinant of odd degree over a Riemann surface Σ, producing a projective variety M̄ = M ∪ Z. We give a detailed study of the spaces M̄, Z and M. In doing so we reprove some assertions of Laumon and Thaddeus on the nilpotent cone."}],"publication_status":"published","oa_version":"Preprint","page":"169 - 192","day":"01","arxiv":1,"citation":{"chicago":"Hausel, Tamás. “Compactification of Moduli of Higgs Bundles.” <i>Journal Fur Die Reine Und Angewandte Mathematik</i>. Walter de Gruyter, 1998. <a href=\"https://doi.org/10.1515/crll.1998.096\">https://doi.org/10.1515/crll.1998.096</a>.","ieee":"T. Hausel, “Compactification of moduli of Higgs bundles,” <i>Journal fur die Reine und Angewandte Mathematik</i>, vol. 1998, no. 503. Walter de Gruyter, pp. 169–192, 1998.","apa":"Hausel, T. (1998). Compactification of moduli of Higgs bundles. <i>Journal Fur Die Reine Und Angewandte Mathematik</i>. Walter de Gruyter. <a href=\"https://doi.org/10.1515/crll.1998.096\">https://doi.org/10.1515/crll.1998.096</a>","mla":"Hausel, Tamás. “Compactification of Moduli of Higgs Bundles.” <i>Journal Fur Die Reine Und Angewandte Mathematik</i>, vol. 1998, no. 503, Walter de Gruyter, 1998, pp. 169–92, doi:<a href=\"https://doi.org/10.1515/crll.1998.096\">10.1515/crll.1998.096</a>.","ista":"Hausel T. 1998. Compactification of moduli of Higgs bundles. Journal fur die Reine und Angewandte Mathematik. 1998(503), 169–192.","short":"T. Hausel, Journal Fur Die Reine Und Angewandte Mathematik 1998 (1998) 169–192.","ama":"Hausel T. Compactification of moduli of Higgs bundles. <i>Journal fur die Reine und Angewandte Mathematik</i>. 1998;1998(503):169-192. doi:<a href=\"https://doi.org/10.1515/crll.1998.096\">10.1515/crll.1998.096</a>"},"issue":"503","scopus_import":"1","main_file_link":[{"url":"http://arxiv.org/abs/math/9804083","open_access":"1"}],"external_id":{"arxiv":["math/9804083"]},"title":"Compactification of moduli of Higgs bundles","publication":"Journal fur die Reine und Angewandte Mathematik","publisher":"Walter de Gruyter","year":"1998","language":[{"iso":"eng"}],"doi":"10.1515/crll.1998.096","type":"journal_article","oa":1,"_id":"1449","author":[{"full_name":"Hausel, Tamas","first_name":"Tamas","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","last_name":"Hausel"}],"date_published":"1998-10-01T00:00:00Z","date_created":"2018-12-11T11:52:05Z","intvolume":"      1998","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","article_processing_charge":"No","quality_controlled":"1","publication_identifier":{"issn":["1435-5345"]},"publist_id":"5746","month":"10","volume":1998,"article_type":"original"},{"author":[{"full_name":"Hausel, Tamas","first_name":"Tamas","last_name":"Hausel","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87"}],"oa":1,"_id":"1450","date_published":"1998-09-01T00:00:00Z","language":[{"iso":"eng"}],"doi":"10.4310/ATMP.1998.v2.n5.a3","publisher":"International Press","year":"1998","type":"journal_article","month":"09","quality_controlled":"1","publist_id":"5747","publication_identifier":{"issn":["1095-0761"]},"article_type":"original","volume":2,"date_created":"2018-12-11T11:52:06Z","acknowledgement":"First of all I would like to thank my supervisor Nigel Hitchin for suggesting Problem 1, and for his help and \r\n encouragement. I am grateful to Michael Thaddeus for his inspiring paper [Thai], enlightening communications and his constant interest in my work. I am also indebted to Manfred Lehn for the idea of the proof of Theorem 6.2. I have found\r\nconversations with Michael Atiyah, Frances Kirwan and Graeme Segal very stimulating. I thank the Mathematical Institute and St. Catherine's College, Oxford for their hospitality during the preparation of this work. Finally I thank Trinity College, Cambridge for financial support.","extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","article_processing_charge":"No","intvolume":"         2","publication_status":"published","page":"1011 - 1040","oa_version":"Preprint","day":"01","abstract":[{"lang":"eng","text":"In this paper we consider the topological side of a problem which is the analogue of Sen's S-duality testing conjecture for Hitchin's moduli space M of rank 2 stable Higgs bundles of fixed determinant of odd degree over a Riemann surface ∑. We prove that all intersection numbers in the compactly supported cohomology of M vanish, i.e. &quot;there are no topological L2 harmonic forms on M&quot;. This result generalizes the well known vanishing of the Euler characteristic of the moduli space of rank 2 stable bundles N of fixed determinant of odd degree over ∑. Our proof shows that the vanishing of all intersection numbers of H* cpt(M) is given by relations analogous to the Mumford relations in the cohomology ring of N."}],"date_updated":"2022-09-01T14:09:49Z","status":"public","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/math/9805071"}],"publication":"Advances in Theoretical and Mathematical Physics","external_id":{"arxiv":["math/9805071"]},"title":"Vanishing of intersection numbers on the moduli space of Higgs bundles","citation":{"ieee":"T. Hausel, “Vanishing of intersection numbers on the moduli space of Higgs bundles,” <i>Advances in Theoretical and Mathematical Physics</i>, vol. 2, no. 5. International Press, pp. 1011–1040, 1998.","chicago":"Hausel, Tamás. “Vanishing of Intersection Numbers on the Moduli Space of Higgs Bundles.” <i>Advances in Theoretical and Mathematical Physics</i>. International Press, 1998. <a href=\"https://doi.org/10.4310/ATMP.1998.v2.n5.a3\">https://doi.org/10.4310/ATMP.1998.v2.n5.a3</a>.","ama":"Hausel T. Vanishing of intersection numbers on the moduli space of Higgs bundles. <i>Advances in Theoretical and Mathematical Physics</i>. 1998;2(5):1011-1040. doi:<a href=\"https://doi.org/10.4310/ATMP.1998.v2.n5.a3\">10.4310/ATMP.1998.v2.n5.a3</a>","short":"T. Hausel, Advances in Theoretical and Mathematical Physics 2 (1998) 1011–1040.","apa":"Hausel, T. (1998). Vanishing of intersection numbers on the moduli space of Higgs bundles. <i>Advances in Theoretical and Mathematical Physics</i>. International Press. <a href=\"https://doi.org/10.4310/ATMP.1998.v2.n5.a3\">https://doi.org/10.4310/ATMP.1998.v2.n5.a3</a>","mla":"Hausel, Tamás. “Vanishing of Intersection Numbers on the Moduli Space of Higgs Bundles.” <i>Advances in Theoretical and Mathematical Physics</i>, vol. 2, no. 5, International Press, 1998, pp. 1011–40, doi:<a href=\"https://doi.org/10.4310/ATMP.1998.v2.n5.a3\">10.4310/ATMP.1998.v2.n5.a3</a>.","ista":"Hausel T. 1998. Vanishing of intersection numbers on the moduli space of Higgs bundles. Advances in Theoretical and Mathematical Physics. 2(5), 1011–1040."},"arxiv":1,"issue":"5","scopus_import":"1"},{"type":"conference","status":"public","publisher":"Society for Industrial and Applied Mathematics","date_updated":"2023-02-21T16:27:22Z","year":"1998","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"We present the first polylog-competitive online algorithm for the general multicast problem in the throughput model. The ratio of the number of requests accepted by the optimum offline alaorithm to the exoected number of reauests accepted by our algorithm is O(jlog n + log log M)(log n + log M) log n), where M is the number of multicast groups and n is the number of nodes in the nraoh. We show that this is close to optimum by presenting-an*R(log nlog M) lower\r\nbound on this ratio for anv randomized online algorithm against an oblivious adversary, when M is much lar&r than the link capacities. Our lower bound applies even in the restricted case where the link capacities are much larger than bandwidth requested by a single multicast. We also present a simple proof showing that it is impossible to be competitive against an adaptive online adversary. As in the previous online routing algorithms, our algorithm uses edge-costs when deciding on which is the best path to use. In contrast to the nrevious comnetitive aleorithms in the throughput modei, our cost is-not a direct function of the edne load. The new cost definition allows us to decouple the effects of routing and admission decisions of different multicast groups.  "}],"oa_version":"None","page":"97-106","publication_status":"published","date_published":"1998-01-01T00:00:00Z","day":"01","_id":"11926","author":[{"first_name":"Ashish","full_name":"Goel, Ashish","last_name":"Goel"},{"orcid":"0000-0002-5008-6530","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","full_name":"Henzinger, Monika H","first_name":"Monika H"},{"last_name":"Plotkin","full_name":"Plotkin, Serge","first_name":"Serge"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","article_processing_charge":"No","scopus_import":"1","conference":{"name":"SODA: Symposium on Discrete Algorithms","start_date":"1998-01-25","end_date":"1998-01-27","location":"San Francisco, CA, United States"},"citation":{"ieee":"A. Goel, M. H. Henzinger, and S. Plotkin, “An online throughput-competitive algorithm for multicast routing and admission control,” in <i>9th Annual ACM SIAM Symposium on Discrete Algorithms</i>, San Francisco, CA, United States, 1998, pp. 97–106.","chicago":"Goel, Ashish, Monika H Henzinger, and Serge Plotkin. “An Online Throughput-Competitive Algorithm for Multicast Routing and Admission Control.” In <i>9th Annual ACM SIAM Symposium on Discrete Algorithms</i>, 97–106. Society for Industrial and Applied Mathematics, 1998.","ama":"Goel A, Henzinger MH, Plotkin S. An online throughput-competitive algorithm for multicast routing and admission control. In: <i>9th Annual ACM SIAM Symposium on Discrete Algorithms</i>. Society for Industrial and Applied Mathematics; 1998:97-106.","short":"A. Goel, M.H. Henzinger, S. Plotkin, in:, 9th Annual ACM SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1998, pp. 97–106.","apa":"Goel, A., Henzinger, M. H., &#38; Plotkin, S. (1998). An online throughput-competitive algorithm for multicast routing and admission control. In <i>9th Annual ACM SIAM Symposium on Discrete Algorithms</i> (pp. 97–106). San Francisco, CA, United States: Society for Industrial and Applied Mathematics.","ista":"Goel A, Henzinger MH, Plotkin S. 1998. An online throughput-competitive algorithm for multicast routing and admission control. 9th Annual ACM SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 97–106.","mla":"Goel, Ashish, et al. “An Online Throughput-Competitive Algorithm for Multicast Routing and Admission Control.” <i>9th Annual ACM SIAM Symposium on Discrete Algorithms</i>, Society for Industrial and Applied Mathematics, 1998, pp. 97–106."},"date_created":"2022-08-19T06:22:30Z","related_material":{"record":[{"relation":"later_version","id":"11763","status":"public"}]},"title":"An online throughput-competitive algorithm for multicast routing and admission control","publication":"9th Annual ACM SIAM Symposium on Discrete Algorithms","quality_controlled":"1","publication_identifier":{"isbn":["0898714109"]},"month":"01"},{"publication":"Science","external_id":{"pmid":["9665886 "]},"title":"Corelease of two fast neurotransmitters at a central synapse","citation":{"ieee":"P. M. Jonas, J. Bischofberger, and J. Sandkühler, “Corelease of two fast neurotransmitters at a central synapse,” <i>Science</i>, vol. 281, no. 5375. American Association for the Advancement of Science, pp. 419–424, 1998.","chicago":"Jonas, Peter M, Joseph Bischofberger, and Jürgen Sandkühler. “Corelease of Two Fast Neurotransmitters at a Central Synapse.” <i>Science</i>. American Association for the Advancement of Science, 1998. <a href=\"https://doi.org/10.1126/science.281.5375.419\">https://doi.org/10.1126/science.281.5375.419</a>.","ama":"Jonas PM, Bischofberger J, Sandkühler J. Corelease of two fast neurotransmitters at a central synapse. <i>Science</i>. 1998;281(5375):419-424. doi:<a href=\"https://doi.org/10.1126/science.281.5375.419\">10.1126/science.281.5375.419</a>","short":"P.M. Jonas, J. Bischofberger, J. Sandkühler, Science 281 (1998) 419–424.","apa":"Jonas, P. M., Bischofberger, J., &#38; Sandkühler, J. (1998). Corelease of two fast neurotransmitters at a central synapse. <i>Science</i>. American Association for the Advancement of Science. <a href=\"https://doi.org/10.1126/science.281.5375.419\">https://doi.org/10.1126/science.281.5375.419</a>","mla":"Jonas, Peter M., et al. “Corelease of Two Fast Neurotransmitters at a Central Synapse.” <i>Science</i>, vol. 281, no. 5375, American Association for the Advancement of Science, 1998, pp. 419–24, doi:<a href=\"https://doi.org/10.1126/science.281.5375.419\">10.1126/science.281.5375.419</a>.","ista":"Jonas PM, Bischofberger J, Sandkühler J. 1998. Corelease of two fast neurotransmitters at a central synapse. Science. 281(5375), 419–424."},"issue":"5375","scopus_import":"1","oa_version":"None","publication_status":"published","page":"419 - 424","day":"17","abstract":[{"lang":"eng","text":"It is widely accepted that individual neurons in the central nervous system release only a single fast transmitter. The possibility of corelease of fast neurotransmitters was examined by making paired recordings from synaptically connected neurons in spinal cord slices. Unitary inhibitory postsynaptic currents generated at interneuron-motoneuron synapses consisted of a strychnine-sensitive, glycine receptor-mediated component and a bicuculline-sensitive, γ-aminobutyric acid (GABA)(A) receptor-mediated component. These results indicate that spinal interneurons release both glycine and GABA to activate functionally distinct receptors in their postsynaptic target cells. A subset of miniature synaptic currents also showed both components, consistent with corelease from individual synaptic vesicles."}],"date_updated":"2022-08-29T14:52:38Z","status":"public","month":"07","quality_controlled":"1","publication_identifier":{"issn":["0036-8075"]},"publist_id":"2900","volume":281,"article_type":"original","date_created":"2018-12-11T12:03:35Z","pmid":1,"acknowledgement":"See comment by Nicoll RA, Malenka RC (1998) Science 281:360-361\r\n","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","article_processing_charge":"No","intvolume":"       281","author":[{"orcid":"0000-0001-5001-4804","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","last_name":"Jonas","first_name":"Peter M","full_name":"Jonas, Peter M"},{"full_name":"Bischofberger, Joseph","first_name":"Joseph","last_name":"Bischofberger"},{"full_name":"Sandkühler, Jürgen","first_name":"Jürgen","last_name":"Sandkühler"}],"_id":"3487","date_published":"1998-07-17T00:00:00Z","language":[{"iso":"eng"}],"doi":"10.1126/science.281.5375.419","publisher":"American Association for the Advancement of Science","year":"1998","type":"journal_article"},{"abstract":[{"lang":"eng","text":"We have examined gating and pharmacological characteristics of somatic K+ channels in fast-spiking interneurons and regularly spiking principal neurons of hippocampal slices. In nucleated patches isolated from basket cells of the dentate gyrus, a fast delayed rectifier K+ current component that was highly sensitive to tetraethylammonium (TEA) and 4-aminopyridine (4- AP) (half-maximal inhibitory concentrations &lt;0.1 mM) predominated, contributing an average of 58% to the total K+ current in these cells. By contrast, in pyramidal neurons of the CA1 region a rapidly inactivating A- type K+ current component that was TEA-resistant prevailed, contributing 61% to the total K+ current. Both types of neurons also showed small amounts of the K+ current component mainly found in the other type of neuron and, in addition, a slow delayed rectifier K+ current component with intermediate properties (sow inactivation, intermediate sensitivity to TEA). Single-cell RT-PCR analysis of mRNA revealed that Kv3 (Kv3.1, Kv3.2) subunit transcripts were expressed in almost all (89%) of the interneurons but only in 17% of the pyramidal neurons. In contrast, Kv4 (Kv4.2, Kv4.3) subunit mRNAs were present in 87% of pyramidal neurons but only in 55% of interneurons. Selective block of fast delayed rectifier K+ channels, presumably assembled from Kv3 subunits, by 4-AP reduced substantially the action potential frequency in interneurons. These results indicate that the differential expression of Kv3 and Kv4 subunits shapes the action potential phenotypes of principal neurons and interneurons in the cortex."}],"day":"15","oa_version":"None","publication_status":"published","page":"8111 - 8125","date_updated":"2022-08-29T14:20:39Z","status":"public","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6792860/","open_access":"1"}],"title":"Functional and molecular differences between voltage-gated K+ channels of fast-spiking interneurons and pyramidal neurons of rat hippocampus","external_id":{"pmid":["9763458"]},"publication":"Journal of Neuroscience","citation":{"ista":"Martina M, Schultz J, Ehmke H, Monyer H, Jonas PM. 1998. Functional and molecular differences between voltage-gated K+ channels of fast-spiking interneurons and pyramidal neurons of rat hippocampus. Journal of Neuroscience. 18(20), 8111–8125.","apa":"Martina, M., Schultz, J., Ehmke, H., Monyer, H., &#38; Jonas, P. M. (1998). Functional and molecular differences between voltage-gated K+ channels of fast-spiking interneurons and pyramidal neurons of rat hippocampus. <i>Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/JNEUROSCI.18-20-08111.1998\">https://doi.org/10.1523/JNEUROSCI.18-20-08111.1998</a>","mla":"Martina, Marco, et al. “Functional and Molecular Differences between Voltage-Gated K+ Channels of Fast-Spiking Interneurons and Pyramidal Neurons of Rat Hippocampus.” <i>Journal of Neuroscience</i>, vol. 18, no. 20, Society for Neuroscience, 1998, pp. 8111–25, doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.18-20-08111.1998\">10.1523/JNEUROSCI.18-20-08111.1998</a>.","short":"M. Martina, J. Schultz, H. Ehmke, H. Monyer, P.M. Jonas, Journal of Neuroscience 18 (1998) 8111–8125.","ama":"Martina M, Schultz J, Ehmke H, Monyer H, Jonas PM. Functional and molecular differences between voltage-gated K+ channels of fast-spiking interneurons and pyramidal neurons of rat hippocampus. <i>Journal of Neuroscience</i>. 1998;18(20):8111-8125. doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.18-20-08111.1998\">10.1523/JNEUROSCI.18-20-08111.1998</a>","chicago":"Martina, Marco, Jobst Schultz, Heimo Ehmke, Hannah Monyer, and Peter M Jonas. “Functional and Molecular Differences between Voltage-Gated K+ Channels of Fast-Spiking Interneurons and Pyramidal Neurons of Rat Hippocampus.” <i>Journal of Neuroscience</i>. Society for Neuroscience, 1998. <a href=\"https://doi.org/10.1523/JNEUROSCI.18-20-08111.1998\">https://doi.org/10.1523/JNEUROSCI.18-20-08111.1998</a>.","ieee":"M. Martina, J. Schultz, H. Ehmke, H. Monyer, and P. M. Jonas, “Functional and molecular differences between voltage-gated K+ channels of fast-spiking interneurons and pyramidal neurons of rat hippocampus,” <i>Journal of Neuroscience</i>, vol. 18, no. 20. Society for Neuroscience, pp. 8111–8125, 1998."},"scopus_import":"1","issue":"20","_id":"3488","oa":1,"author":[{"last_name":"Martina","full_name":"Martina, Marco","first_name":"Marco"},{"full_name":"Schultz, Jobst","first_name":"Jobst","last_name":"Schultz"},{"first_name":"Heimo","full_name":"Ehmke, Heimo","last_name":"Ehmke"},{"full_name":"Monyer, Hannah","first_name":"Hannah","last_name":"Monyer"},{"orcid":"0000-0001-5001-4804","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","last_name":"Jonas","first_name":"Peter M","full_name":"Jonas, Peter M"}],"date_published":"1998-10-15T00:00:00Z","year":"1998","publisher":"Society for Neuroscience","doi":"10.1523/JNEUROSCI.18-20-08111.1998","language":[{"iso":"eng"}],"type":"journal_article","publist_id":"2899","publication_identifier":{"issn":["0270-6474"]},"quality_controlled":"1","month":"10","article_type":"original","volume":18,"acknowledgement":"Supported by German Israeli Foundation Grant I 0352–073.01/94 to P.J. and Deutsche Forschungsgemeinschaft Grant Mo 432/3–1 to H.M. We thank Drs. L. Y. Jan, D. McKinnon, O. Pongs, L. Salkoff, S. H. Snyder, and J. S. Trimmer for providing plasmids, Dr. D. J. Surmeier for sharing unpublished data, and Drs. J. Bischofberger and J. R. P. Geiger for critically reading this manuscript. M.M. and J.H.S. contributed equally to this work.","pmid":1,"date_created":"2018-12-11T12:03:35Z","intvolume":"        18","article_processing_charge":"No","extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},{"date_published":"1998-12-15T00:00:00Z","oa_version":"Published Version","day":"15","abstract":[{"lang":"eng","text":"A method of geometric morphing between a first object having a first shape and a second object having a second shape. The method includes the steps of generating a first Delaunay complex corresponding to the first shape and a second Delaunay complex corresponding to the second shape and generating a plurality of intermediary Delaunay complexes defined by a continuous family of mixed shapes corresponding to a mixing of the first shape and the second shape. The method further includes the steps of constructing a first skin corresponding to the first Delaunay complex and a second skin corresponding to the second Delaunay complex and constructing a plurality of intermediary skins corresponding to the plurality of intermediary Delaunay complexes. The first skin, second skin and plurality of intermediary skins may be visually displayed on an output device."}],"author":[{"first_name":"Herbert","full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","last_name":"Edelsbrunner"},{"last_name":"Fu","full_name":"Fu, Ping","first_name":"Ping"}],"ipn":"US5850229A","oa":1,"_id":"3506","publication_date":"1998-12-15","ipc":"G06T13/20 ; G06T2210/44","status":"public","type":"patent","date_updated":"2022-01-05T15:16:35Z","year":"1998","title":"Apparatus and method for geometric morphing","month":"12","main_file_link":[{"open_access":"1","url":"https://patents.google.com/patent/US5850229A"}],"publist_id":"2881","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","article_processing_charge":"No","extern":"1","applicant":["Raindrop Geomagic, Inc."],"date_created":"2018-12-11T12:03:41Z","citation":{"ieee":"H. Edelsbrunner and P. Fu, “Apparatus and method for geometric morphing.” 1998.","chicago":"Edelsbrunner, Herbert, and Ping Fu. “Apparatus and Method for Geometric Morphing,” 1998.","ama":"Edelsbrunner H, Fu P. Apparatus and method for geometric morphing. 1998.","short":"H. Edelsbrunner, P. Fu, (1998).","ista":"Edelsbrunner H, Fu P. 1998. Apparatus and method for geometric morphing.","mla":"Edelsbrunner, Herbert, and Ping Fu. <i>Apparatus and Method for Geometric Morphing</i>. 1998.","apa":"Edelsbrunner, H., &#38; Fu, P. (1998). Apparatus and method for geometric morphing."}},{"day":"01","page":"179 - 189","oa_version":"None","publication_status":"published","abstract":[{"text":"Spike transmission probability between pyramidal cells and interneurons in the CA1 pyramidal layer was investigated in the behaving rat by the simultaneous recording of neuronal ensembles. Population synchrony was strongest during sharp wave (SPW) bursts. However, the increase was three times larger for pyramidal cells than for interneurons. The contribution of single pyramidal cells to the discharge of interneurons was often large (up to 0.6 probability), as assessed by the presence of significant (&lt;3 ms) peaks in the cross-correlogram. Complex-spike bursts were more effective than single spikes. Single cell contribution was higher between SPW bursts than during SPWs or theta activity. Hence, single pyramidal cells can reliably discharge interneurons, and the probability of spike transmission is behavior dependent.","lang":"eng"}],"date_updated":"2022-08-29T14:03:55Z","status":"public","publication":"Neuron","title":"Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat","external_id":{"pmid":["9697862 "]},"citation":{"mla":"Csicsvari, Jozsef L., et al. “Reliability and State Dependence of Pyramidal Cell-Interneuron Synapses in the Hippocampus: An Ensemble Approach in the Behaving Rat.” <i>Neuron</i>, vol. 21, no. 1, Elsevier, 1998, pp. 179–89, doi:<a href=\"https://doi.org/10.1016/S0896-6273(00)80525-5\">10.1016/S0896-6273(00)80525-5</a>.","apa":"Csicsvari, J. L., Hirase, H., Czurkó, A., &#38; Buzsáki, G. (1998). Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/S0896-6273(00)80525-5\">https://doi.org/10.1016/S0896-6273(00)80525-5</a>","short":"J.L. Csicsvari, H. Hirase, A. Czurkó, G. Buzsáki, Neuron 21 (1998) 179–189.","ista":"Csicsvari JL, Hirase H, Czurkó A, Buzsáki G. 1998. Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat. Neuron. 21(1), 179–189.","ama":"Csicsvari JL, Hirase H, Czurkó A, Buzsáki G. Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat. <i>Neuron</i>. 1998;21(1):179-189. doi:<a href=\"https://doi.org/10.1016/S0896-6273(00)80525-5\">10.1016/S0896-6273(00)80525-5</a>","chicago":"Csicsvari, Jozsef L, Hajima Hirase, András Czurkó, and György Buzsáki. “Reliability and State Dependence of Pyramidal Cell-Interneuron Synapses in the Hippocampus: An Ensemble Approach in the Behaving Rat.” <i>Neuron</i>. Elsevier, 1998. <a href=\"https://doi.org/10.1016/S0896-6273(00)80525-5\">https://doi.org/10.1016/S0896-6273(00)80525-5</a>.","ieee":"J. L. Csicsvari, H. Hirase, A. Czurkó, and G. Buzsáki, “Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat,” <i>Neuron</i>, vol. 21, no. 1. Elsevier, pp. 179–189, 1998."},"scopus_import":"1","issue":"1","author":[{"full_name":"Csicsvari, Jozsef L","first_name":"Jozsef L","orcid":"0000-0002-5193-4036","last_name":"Csicsvari","id":"3FA14672-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Hajima","full_name":"Hirase, Hajima","last_name":"Hirase"},{"last_name":"Czurkó","full_name":"Czurkó, András","first_name":"András"},{"last_name":"Buzsáki","full_name":"Buzsáki, György","first_name":"György"}],"_id":"3521","date_published":"1998-07-01T00:00:00Z","doi":"10.1016/S0896-6273(00)80525-5","language":[{"iso":"eng"}],"year":"1998","publisher":"Elsevier","type":"journal_article","month":"07","publication_identifier":{"issn":["0896-6273"]},"publist_id":"2865","quality_controlled":"1","volume":21,"article_type":"original","date_created":"2018-12-11T12:03:46Z","acknowledgement":"We thank C. King, R. Miles, M. Recce, and the anonymous reviewers for their constructive comments on the manuscript. This work was supported by the National Institutes of Health (NS34994, MH54671 1P41RR09754), the Human Frontier Science Program, and the Whitehall Foundation.","pmid":1,"extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","article_processing_charge":"No","intvolume":"        21"},{"publication":"European Journal of Neuroscience","title":"Persistence and temporal compression of spike sequences during fast field oscillation in the hippocampus","volume":10,"month":"06","publist_id":"2861","quality_controlled":0,"issue":"Suppl. 10","extern":1,"intvolume":"        10","date_created":"2018-12-11T12:03:47Z","citation":{"ista":"Nádasdy Z, Csicsvari JL, Hirase H, Czurkó A, Buzsáki G. 1998. Persistence and temporal compression of spike sequences during fast field oscillation in the hippocampus. European Journal of Neuroscience. 10(Suppl. 10), 9409–9409.","mla":"Nádasdy, Zoltán, et al. “Persistence and Temporal Compression of Spike Sequences during Fast Field Oscillation in the Hippocampus.” <i>European Journal of Neuroscience</i>, vol. 10, no. Suppl. 10, Wiley-Blackwell, 1998, pp. 9409–9409.","short":"Z. Nádasdy, J.L. Csicsvari, H. Hirase, A. Czurkó, G. Buzsáki, European Journal of Neuroscience 10 (1998) 9409–9409.","apa":"Nádasdy, Z., Csicsvari, J. L., Hirase, H., Czurkó, A., &#38; Buzsáki, G. (1998). Persistence and temporal compression of spike sequences during fast field oscillation in the hippocampus. <i>European Journal of Neuroscience</i>. Wiley-Blackwell.","ama":"Nádasdy Z, Csicsvari JL, Hirase H, Czurkó A, Buzsáki G. Persistence and temporal compression of spike sequences during fast field oscillation in the hippocampus. <i>European Journal of Neuroscience</i>. 1998;10(Suppl. 10):9409-9409.","chicago":"Nádasdy, Zoltán, Jozsef L Csicsvari, Hajima Hirase, András Czurkó, and György Buzsáki. “Persistence and Temporal Compression of Spike Sequences during Fast Field Oscillation in the Hippocampus.” <i>European Journal of Neuroscience</i>. Wiley-Blackwell, 1998.","ieee":"Z. Nádasdy, J. L. Csicsvari, H. Hirase, A. Czurkó, and G. Buzsáki, “Persistence and temporal compression of spike sequences during fast field oscillation in the hippocampus,” <i>European Journal of Neuroscience</i>, vol. 10, no. Suppl. 10. Wiley-Blackwell, pp. 9409–9409, 1998."},"day":"01","date_published":"1998-06-01T00:00:00Z","page":"9409 - 9409","publication_status":"published","author":[{"last_name":"Nádasdy","full_name":"Nádasdy, Zoltán","first_name":"Zoltán"},{"orcid":"0000-0002-5193-4036","id":"3FA14672-F248-11E8-B48F-1D18A9856A87","last_name":"Csicsvari","first_name":"Jozsef L","full_name":"Jozsef Csicsvari"},{"full_name":"Hirase, Hajima","first_name":"Hajima","last_name":"Hirase"},{"last_name":"Czurkó","first_name":"András","full_name":"Czurkó, András"},{"last_name":"Buzsáki","full_name":"Buzsáki, György","first_name":"György"}],"_id":"3525","status":"public","type":"journal_article","year":"1998","publisher":"Wiley-Blackwell","date_updated":"2021-01-12T07:44:04Z"},{"day":"01","publication_status":"published","date_published":"1998-06-01T00:00:00Z","page":"2553 - 2553","_id":"3527","author":[{"full_name":"Jozsef Csicsvari","first_name":"Jozsef L","id":"3FA14672-F248-11E8-B48F-1D18A9856A87","last_name":"Csicsvari","orcid":"0000-0002-5193-4036"},{"last_name":"Czurkó","first_name":"András","full_name":"Czurkó, András"},{"full_name":"Hirase, Hajima","first_name":"Hajima","last_name":"Hirase"},{"last_name":"Buzsáki","first_name":"György","full_name":"Buzsáki, György"}],"type":"journal_article","status":"public","year":"1998","date_updated":"2021-01-12T07:44:05Z","publisher":"Wiley-Blackwell","title":"Monosynaptic interactions between CA1 Pyramidal cells and interneuron in the behaving rat","volume":10,"publication":"European Journal of Neuroscience","publist_id":"2858","quality_controlled":0,"month":"06","intvolume":"        10","extern":1,"issue":"Suppl. 10","citation":{"chicago":"Csicsvari, Jozsef L, András Czurkó, Hajima Hirase, and György Buzsáki. “Monosynaptic Interactions between CA1 Pyramidal Cells and Interneuron in the Behaving Rat.” <i>European Journal of Neuroscience</i>. Wiley-Blackwell, 1998.","ieee":"J. L. Csicsvari, A. Czurkó, H. Hirase, and G. Buzsáki, “Monosynaptic interactions between CA1 Pyramidal cells and interneuron in the behaving rat,” <i>European Journal of Neuroscience</i>, vol. 10, no. Suppl. 10. Wiley-Blackwell, pp. 2553–2553, 1998.","apa":"Csicsvari, J. L., Czurkó, A., Hirase, H., &#38; Buzsáki, G. (1998). Monosynaptic interactions between CA1 Pyramidal cells and interneuron in the behaving rat. <i>European Journal of Neuroscience</i>. Wiley-Blackwell.","short":"J.L. Csicsvari, A. Czurkó, H. Hirase, G. Buzsáki, European Journal of Neuroscience 10 (1998) 2553–2553.","ista":"Csicsvari JL, Czurkó A, Hirase H, Buzsáki G. 1998. Monosynaptic interactions between CA1 Pyramidal cells and interneuron in the behaving rat. European Journal of Neuroscience. 10(Suppl. 10), 2553–2553.","mla":"Csicsvari, Jozsef L., et al. “Monosynaptic Interactions between CA1 Pyramidal Cells and Interneuron in the Behaving Rat.” <i>European Journal of Neuroscience</i>, vol. 10, no. Suppl. 10, Wiley-Blackwell, 1998, pp. 2553–2553.","ama":"Csicsvari JL, Czurkó A, Hirase H, Buzsáki G. Monosynaptic interactions between CA1 Pyramidal cells and interneuron in the behaving rat. <i>European Journal of Neuroscience</i>. 1998;10(Suppl. 10):2553-2553."},"date_created":"2018-12-11T12:03:48Z"},{"date_created":"2018-12-11T12:03:50Z","citation":{"chicago":"Hirase, Hajima, András Czurkó, Jozsef L Csicsvari, and György Buzsáki. “Hippocampal Pyramidal Neutrons ‘Space-Clamped’ in a Running Wheel Task: Place Cells or Path Integrators?” <i>European Journal of Neuroscience</i>. Wiley-Blackwell, 1998.","ieee":"H. Hirase, A. Czurkó, J. L. Csicsvari, and G. Buzsáki, “Hippocampal pyramidal neutrons ‘space-clamped’ in a running wheel task: Place cells or path integrators?,” <i>European Journal of Neuroscience</i>, vol. 10, no. Suppl. 10. Wiley-Blackwell, pp. 9932–9932, 1998.","mla":"Hirase, Hajima, et al. “Hippocampal Pyramidal Neutrons ‘Space-Clamped’ in a Running Wheel Task: Place Cells or Path Integrators?” <i>European Journal of Neuroscience</i>, vol. 10, no. Suppl. 10, Wiley-Blackwell, 1998, pp. 9932–9932.","short":"H. Hirase, A. Czurkó, J.L. Csicsvari, G. Buzsáki, European Journal of Neuroscience 10 (1998) 9932–9932.","ista":"Hirase H, Czurkó A, Csicsvari JL, Buzsáki G. 1998. Hippocampal pyramidal neutrons “space-clamped” in a running wheel task: Place cells or path integrators? European Journal of Neuroscience. 10(Suppl. 10), 9932–9932.","apa":"Hirase, H., Czurkó, A., Csicsvari, J. L., &#38; Buzsáki, G. (1998). Hippocampal pyramidal neutrons “space-clamped” in a running wheel task: Place cells or path integrators? <i>European Journal of Neuroscience</i>. Wiley-Blackwell.","ama":"Hirase H, Czurkó A, Csicsvari JL, Buzsáki G. Hippocampal pyramidal neutrons “space-clamped” in a running wheel task: Place cells or path integrators? <i>European Journal of Neuroscience</i>. 1998;10(Suppl. 10):9932-9932."},"issue":"Suppl. 10","extern":1,"intvolume":"        10","month":"01","publist_id":"2850","quality_controlled":0,"publication":"European Journal of Neuroscience","title":"Hippocampal pyramidal neutrons “space-clamped” in a running wheel task: Place cells or path integrators?","volume":10,"year":"1998","date_updated":"2021-01-12T07:44:08Z","publisher":"Wiley-Blackwell","status":"public","type":"journal_article","author":[{"first_name":"Hajima","full_name":"Hirase, Hajima","last_name":"Hirase"},{"first_name":"András","full_name":"Czurkó, András","last_name":"Czurkó"},{"orcid":"0000-0002-5193-4036","last_name":"Csicsvari","id":"3FA14672-F248-11E8-B48F-1D18A9856A87","first_name":"Jozsef L","full_name":"Jozsef Csicsvari"},{"last_name":"Buzsáki","first_name":"György","full_name":"Buzsáki, György"}],"_id":"3535","day":"01","publication_status":"published","date_published":"1998-01-01T00:00:00Z","page":"9932 - 9932"}]