[{"author":[{"first_name":"László","last_name":"Erdös","orcid":"0000-0001-5366-9603","full_name":"Erdös, László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"}],"date_published":"1994-11-01T00:00:00Z","article_processing_charge":"No","doi":"10.1215/S0012-7094-94-07619-9","date_updated":"2022-06-03T11:59:06Z","scopus_import":"1","quality_controlled":"1","intvolume":"        76","main_file_link":[{"url":"https://projecteuclid.org/journals/duke-mathematical-journal/volume-76/issue-2/Estimates-on-stochastic-oscillatory-integrals-and-on-the-heat-kernel/10.1215/S0012-7094-94-07619-9.short"}],"publication_status":"published","day":"01","month":"11","language":[{"iso":"eng"}],"publication":"Duke Mathematical Journal","title":"Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator","publisher":"Duke University Press","date_created":"2018-12-11T11:59:13Z","oa_version":"None","publist_id":"4183","extern":"1","volume":76,"page":"541 - 566","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","_id":"2713","year":"1994","status":"public","acknowledgement":"Work supported by the NSF grant PHY90-19433 A02 and by the Alfred Sloan Foundation dissertation fellowship.","issue":"2","article_type":"original","citation":{"ista":"Erdös L. 1994. Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator. Duke Mathematical Journal. 76(2), 541–566.","short":"L. Erdös, Duke Mathematical Journal 76 (1994) 541–566.","mla":"Erdös, László. “Estimates on Stochastic Oscillatory Integrals and on the Heat Kernel of the Magnetic Schrödinger Operator.” <i>Duke Mathematical Journal</i>, vol. 76, no. 2, Duke University Press, 1994, pp. 541–66, doi:<a href=\"https://doi.org/10.1215/S0012-7094-94-07619-9\">10.1215/S0012-7094-94-07619-9</a>.","ama":"Erdös L. Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator. <i>Duke Mathematical Journal</i>. 1994;76(2):541-566. doi:<a href=\"https://doi.org/10.1215/S0012-7094-94-07619-9\">10.1215/S0012-7094-94-07619-9</a>","apa":"Erdös, L. (1994). Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator. <i>Duke Mathematical Journal</i>. Duke University Press. <a href=\"https://doi.org/10.1215/S0012-7094-94-07619-9\">https://doi.org/10.1215/S0012-7094-94-07619-9</a>","chicago":"Erdös, László. “Estimates on Stochastic Oscillatory Integrals and on the Heat Kernel of the Magnetic Schrödinger Operator.” <i>Duke Mathematical Journal</i>. Duke University Press, 1994. <a href=\"https://doi.org/10.1215/S0012-7094-94-07619-9\">https://doi.org/10.1215/S0012-7094-94-07619-9</a>.","ieee":"L. Erdös, “Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator,” <i>Duke Mathematical Journal</i>, vol. 76, no. 2. Duke University Press, pp. 541–566, 1994."},"publication_identifier":{"issn":["0012-7094"]}},{"article_processing_charge":"No","date_updated":"2022-06-09T13:21:50Z","doi":"10.1016/0014-5793(94)00370-X","author":[{"id":"338D39FE-F248-11E8-B48F-1D18A9856A87","full_name":"Sazanov, Leonid A","orcid":"0000-0002-0977-7989","last_name":"Sazanov","first_name":"Leonid A"},{"full_name":"Jackson, Julie","first_name":"Julie","last_name":"Jackson"}],"date_published":"1994-05-16T00:00:00Z","quality_controlled":"1","publication_status":"published","main_file_link":[{"url":"https://febs.onlinelibrary.wiley.com/doi/abs/10.1016/0014-5793%2894%2900370-X","open_access":"1"}],"intvolume":"       344","day":"16","pmid":1,"month":"05","language":[{"iso":"eng"}],"publisher":"Elsevier","publication":"FEBS Letters","title":"Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria","publist_id":"5134","date_created":"2018-12-11T11:54:52Z","oa_version":"Published Version","extern":"1","abstract":[{"text":"H+-transhydrogenase (H+-Thase) and NADP-linked isocitrate dehydrogenase (NADP-ICDH) are very active in animal mitochondria but their physiological function is only poorly understood. This is especially so in the case of the heart and muscle, where there are no major consumers of NADPH. We propose here that H+-Thase and NADP-ICDH have a combined function in the fine regulation of the activity of the tricarboxylic acid (TCA) cycle, providing enhanced sensitivy to changes in energy demand. This is achieved through cycling of substrates by NAD-linked ICDH, NADP-linked ICDH and H+-Thase. It is proposed that NAD-ICDH operates in the forward direction of the TCA cycle, but NADP-ICDH is driven in reverse by elevated levels of NADPH resulting from the action of the transmembrane proton electrochemical potential gradient (Δp) on H+-Thase. This has the effect of increasing the sensitivity to allosteric modifiers of NAD-ICDH (NADH, ADP, ATP, Ca2+ etc), potentially giving rise to large changes in the net flux from iso-citrate to α-ketoglutarate. Furthermore, changes in the level of Δp resulting from changes in the demand for ATP would, via H+-Thase, shift the redox state of the NADP pool and this, in turn, would lead to a change in the rate of the reaction catalysed by NADP-ICDH and hence to an additional and complementary effect on the net metabolic flux from isocitrate to α-ketoglutarate. Other consequences of this substrate cycle are, (i) the production of heat at the expense of Δp, which may contribute to thermoregulation in the animal, and (ii) an increased rate of dissipation of Δp (leak).","lang":"eng"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","volume":344,"page":"109 - 116","year":"1994","_id":"1949","issue":"2-3","article_type":"original","external_id":{"pmid":["8187868"]},"acknowledgement":"LAS is grateful to the Wellcome Trust for a fellowship. We should like to thank Prof. R.M. Denton for discussion.","status":"public","oa":1,"publication_identifier":{"issn":["0014-5793"]},"citation":{"ama":"Sazanov LA, Jackson J. Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria. <i>FEBS Letters</i>. 1994;344(2-3):109-116. doi:<a href=\"https://doi.org/10.1016/0014-5793(94)00370-X\">10.1016/0014-5793(94)00370-X</a>","short":"L.A. Sazanov, J. Jackson, FEBS Letters 344 (1994) 109–116.","ista":"Sazanov LA, Jackson J. 1994. Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria. FEBS Letters. 344(2–3), 109–116.","mla":"Sazanov, Leonid A., and Julie Jackson. “Proton Translocating Transhydrogenase and NAD- and NADP-Linked Isocitrate Dehydrogenases Operate in a Substrate Cycle Which Contributes to Fine Regulation of the Tricarboxylic Acid Cycle Activity in Mitochondria.” <i>FEBS Letters</i>, vol. 344, no. 2–3, Elsevier, 1994, pp. 109–16, doi:<a href=\"https://doi.org/10.1016/0014-5793(94)00370-X\">10.1016/0014-5793(94)00370-X</a>.","ieee":"L. A. Sazanov and J. Jackson, “Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria,” <i>FEBS Letters</i>, vol. 344, no. 2–3. Elsevier, pp. 109–116, 1994.","chicago":"Sazanov, Leonid A, and Julie Jackson. “Proton Translocating Transhydrogenase and NAD- and NADP-Linked Isocitrate Dehydrogenases Operate in a Substrate Cycle Which Contributes to Fine Regulation of the Tricarboxylic Acid Cycle Activity in Mitochondria.” <i>FEBS Letters</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1016/0014-5793(94)00370-X\">https://doi.org/10.1016/0014-5793(94)00370-X</a>.","apa":"Sazanov, L. A., &#38; Jackson, J. (1994). Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria. <i>FEBS Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0014-5793(94)00370-X\">https://doi.org/10.1016/0014-5793(94)00370-X</a>"}},{"date_created":"2018-12-11T11:54:53Z","oa_version":"Published Version","publist_id":"5133","publication":"FEBS Letters","title":"Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism","publisher":"Elsevier","abstract":[{"lang":"eng","text":"The respiratory burst induced by phorbol myristate acetate in mouse macrophages was inhibited by ultra-low doses (10-15 -10-13 M) of an opioid peptide [d-Ala2] methionine enkephalinamide. The effect disappeared at concentrations above and below this range. The inhibition approached 50% and was statistically significant (P &lt; 0.001). Increasing the time of the opioid incubation with cells brought about a shift in the maximal effect to lower concentrations of the opioid (from 10-13 to 5 · 10-15 M) and led to a decrease in the value of the effect, fully in accord with the previously proposed adaptation mechanism of the action of ultra-low doses."}],"extern":"1","_id":"1953","year":"1994","volume":355,"page":"114 - 116","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","citation":{"apa":"Efanov, A., Koshkin, A., Sazanov, L. A., Borodulina, O. I., Varfolomeev, S., &#38; Zaǐtsev, S. (1994). Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. <i>FEBS Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/0014-5793(94)01109-5\">https://doi.org/10.1016/0014-5793(94)01109-5</a>","ieee":"A. Efanov, A. Koshkin, L. A. Sazanov, O. I. Borodulina, S. Varfolomeev, and S. Zaǐtsev, “Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism,” <i>FEBS Letters</i>, vol. 355, no. 2. Elsevier, pp. 114–116, 1994.","chicago":"Efanov, Alexander, Aleksei Koshkin, Leonid A Sazanov, O I Borodulina, Sergei Varfolomeev, and Sergei Zaǐtsev. “Inhibition of the Respiratory Burst in Mouse Macrophages by Ultra-Low Doses of an Opioid Peptide Is Consistent with a Possible Adaptation Mechanism.” <i>FEBS Letters</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1016/0014-5793(94)01109-5\">https://doi.org/10.1016/0014-5793(94)01109-5</a>.","ista":"Efanov A, Koshkin A, Sazanov LA, Borodulina OI, Varfolomeev S, Zaǐtsev S. 1994. Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. FEBS Letters. 355(2), 114–116.","short":"A. Efanov, A. Koshkin, L.A. Sazanov, O.I. Borodulina, S. Varfolomeev, S. Zaǐtsev, FEBS Letters 355 (1994) 114–116.","mla":"Efanov, Alexander, et al. “Inhibition of the Respiratory Burst in Mouse Macrophages by Ultra-Low Doses of an Opioid Peptide Is Consistent with a Possible Adaptation Mechanism.” <i>FEBS Letters</i>, vol. 355, no. 2, Elsevier, 1994, pp. 114–16, doi:<a href=\"https://doi.org/10.1016/0014-5793(94)01109-5\">10.1016/0014-5793(94)01109-5</a>.","ama":"Efanov A, Koshkin A, Sazanov LA, Borodulina OI, Varfolomeev S, Zaǐtsev S. Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. <i>FEBS Letters</i>. 1994;355(2):114-116. doi:<a href=\"https://doi.org/10.1016/0014-5793(94)01109-5\">10.1016/0014-5793(94)01109-5</a>"},"publication_identifier":{"issn":["0014-5793"]},"status":"public","oa":1,"issue":"2","external_id":{"pmid":["7982481"]},"article_type":"original","quality_controlled":"1","date_published":"1994-11-28T00:00:00Z","author":[{"last_name":"Efanov","first_name":"Alexander","full_name":"Efanov, Alexander"},{"last_name":"Koshkin","first_name":"Aleksei","full_name":"Koshkin, Aleksei"},{"last_name":"Sazanov","orcid":"0000-0002-0977-7989","first_name":"Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","full_name":"Sazanov, Leonid A"},{"full_name":"Borodulina, O I","first_name":"O I","last_name":"Borodulina"},{"last_name":"Varfolomeev","first_name":"Sergei","full_name":"Varfolomeev, Sergei"},{"last_name":"Zaǐtsev","first_name":"Sergei","full_name":"Zaǐtsev, Sergei"}],"article_processing_charge":"No","date_updated":"2022-06-09T12:58:57Z","doi":"10.1016/0014-5793(94)01109-5","main_file_link":[{"url":"https://febs.onlinelibrary.wiley.com/doi/abs/10.1016/0014-5793%2894%2901109-5","open_access":"1"}],"intvolume":"       355","publication_status":"published","month":"11","language":[{"iso":"eng"}],"pmid":1,"day":"28"},{"publisher":"IEEE","publication":"Proceedings 9th Annual IEEE Symposium on Logic in Computer Science","title":"Finitary fairness","publist_id":"119","conference":{"start_date":"1994-07-04","location":"Paris, France","end_date":"\t1994-07-07","name":"LICS: Logic in Computer Science"},"date_created":"2018-12-11T12:09:37Z","oa_version":"None","article_processing_charge":"No","doi":"10.1109/LICS.1994.316087 ","date_updated":"2022-06-02T08:45:57Z","date_published":"1994-01-01T00:00:00Z","author":[{"first_name":"Rajeev","last_name":"Alur","full_name":"Alur, Rajeev"},{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"}],"extern":"1","quality_controlled":"1","abstract":[{"text":"Fairness is a mathematical abstraction: in a multiprogramming environment, fairness abstracts the details of admissible (“fair”) schedulers; in a distributed environment, fairness abstracts the speeds of independent processors. We argue that the standard definition of fairness often is unnecessarily weak and can be replaced by the stronger, yet still abstract, notion of finitary fairness. While standard weak fairness requires that no enabled transition is postponed forever, finitary weak fairness requires that for every run of a system there is an unknown bound k such that no enabled transition is postponed more than k consecutive times. In general, the finitary restriction fin(F) of any given fairness assumption F is the union of all w-regular safety properties that are contained in F. The adequacy of the proposed abstraction is demonstrated in two ways. Suppose that we prove a program property under the assumption of finitary fairness. In a multiprogramming environment, the program then satisfies the property for all fair finite-state schedulers. In a distributed environment, the program then satisfies the property for all choices of lower and upper bounds on the speeds (or timings) of processors","lang":"eng"}],"scopus_import":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference","page":"52 - 61","year":"1994","publication_status":"published","_id":"4586","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/316087"}],"day":"01","status":"public","month":"01","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0018-9162"]},"citation":{"ama":"Alur R, Henzinger TA. Finitary fairness. In: <i>Proceedings 9th Annual IEEE Symposium on Logic in Computer Science</i>. IEEE; 1994:52-61. doi:<a href=\"https://doi.org/10.1109/LICS.1994.316087 \">10.1109/LICS.1994.316087 </a>","short":"R. Alur, T.A. Henzinger, in:, Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61.","ista":"Alur R, Henzinger TA. 1994. Finitary fairness. Proceedings 9th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 52–61.","mla":"Alur, Rajeev, and Thomas A. Henzinger. “Finitary Fairness.” <i>Proceedings 9th Annual IEEE Symposium on Logic in Computer Science</i>, IEEE, 1994, pp. 52–61, doi:<a href=\"https://doi.org/10.1109/LICS.1994.316087 \">10.1109/LICS.1994.316087 </a>.","ieee":"R. Alur and T. A. Henzinger, “Finitary fairness,” in <i>Proceedings 9th Annual IEEE Symposium on Logic in Computer Science</i>, Paris, France, 1994, pp. 52–61.","chicago":"Alur, Rajeev, and Thomas A Henzinger. “Finitary Fairness.” In <i>Proceedings 9th Annual IEEE Symposium on Logic in Computer Science</i>, 52–61. IEEE, 1994. <a href=\"https://doi.org/10.1109/LICS.1994.316087 \">https://doi.org/10.1109/LICS.1994.316087 </a>.","apa":"Alur, R., &#38; Henzinger, T. A. (1994). Finitary fairness. In <i>Proceedings 9th Annual IEEE Symposium on Logic in Computer Science</i> (pp. 52–61). Paris, France: IEEE. <a href=\"https://doi.org/10.1109/LICS.1994.316087 \">https://doi.org/10.1109/LICS.1994.316087 </a>"}},{"language":[{"iso":"eng"}],"month":"01","day":"01","publication_status":"published","main_file_link":[{"url":"https://link.springer.com/article/10.1007/s100090050007"}],"intvolume":"         2","quality_controlled":"1","keyword":["real-time systems","clock variables"],"doi":"10.1142/9789812831583_0001","date_updated":"2022-06-02T08:07:57Z","alternative_title":["AMAST Series in Computing"],"article_processing_charge":"No","editor":[{"last_name":"Rus","first_name":"Teodor","full_name":"Rus, Teodor"},{"full_name":"Rattray, Charles","last_name":"Rattray","first_name":"Charles"}],"date_published":"1994-01-01T00:00:00Z","author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"}],"publication_identifier":{"isbn":[" 9789810219239"]},"citation":{"mla":"Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.” <i>Theories and Experiences for Real-Time System Development</i>, edited by Teodor Rus and Charles Rattray, vol. 2, World Scientific Publishing, 1994, pp. 1–29, doi:<a href=\"https://doi.org/10.1142/9789812831583_0001\">10.1142/9789812831583_0001</a>.","ista":"Alur R, Henzinger TA. 1994.Real-time system = discrete system + clock variables. In: Theories and Experiences for Real-Time System Development. AMAST Series in Computing, vol. 2, 1–29.","short":"R. Alur, T.A. Henzinger, in:, T. Rus, C. Rattray (Eds.), Theories and Experiences for Real-Time System Development, World Scientific Publishing, 1994, pp. 1–29.","ama":"Alur R, Henzinger TA. Real-time system = discrete system + clock variables. In: Rus T, Rattray C, eds. <i>Theories and Experiences for Real-Time System Development</i>. Vol 2. AMAST Series in Computing. World Scientific Publishing; 1994:1-29. doi:<a href=\"https://doi.org/10.1142/9789812831583_0001\">10.1142/9789812831583_0001</a>","apa":"Alur, R., &#38; Henzinger, T. A. (1994). Real-time system = discrete system + clock variables. In T. Rus &#38; C. Rattray (Eds.), <i>Theories and Experiences for Real-Time System Development</i> (Vol. 2, pp. 1–29). World Scientific Publishing. <a href=\"https://doi.org/10.1142/9789812831583_0001\">https://doi.org/10.1142/9789812831583_0001</a>","chicago":"Alur, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System + Clock Variables.” In <i>Theories and Experiences for Real-Time System Development</i>, edited by Teodor Rus and Charles Rattray, 2:1–29. AMAST Series in Computing. World Scientific Publishing, 1994. <a href=\"https://doi.org/10.1142/9789812831583_0001\">https://doi.org/10.1142/9789812831583_0001</a>.","ieee":"R. Alur and T. A. Henzinger, “Real-time system = discrete system + clock variables,” in <i>Theories and Experiences for Real-Time System Development</i>, vol. 2, T. Rus and C. Rattray, Eds. World Scientific Publishing, 1994, pp. 1–29."},"status":"public","acknowledgement":"The authors thank Rance Cleaveland, Limor Fix, David Karr, Peter Kopke, Fred Schneider, and Bernhard Steffen for helpful comments.","year":"1994","_id":"4590","type":"book_chapter","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"1 - 29","volume":2,"extern":"1","series_title":"AMAST Series in Computing","abstract":[{"text":"We introduce a temporal logic for the specification of real-time systems. Our logic, TPTL, employs a novel quantifier construct for referencing time: the &quot;freeze&quot; quantifier binds a variable to the time of the local temporal context. TPTL is both a natural language for specification and a suitable formalism for verification. We present a tableau-based decision procedure and a model-checking algorithm for TPTL. Several generalizations of TPTL are shown to be highly undecidable.","lang":"eng"}],"publist_id":"117","oa_version":"None","date_created":"2018-12-11T12:09:38Z","publisher":"World Scientific Publishing","title":"Real-time system = discrete system + clock variables","publication":"Theories and Experiences for Real-Time System Development"},{"publication":"Journal of the ACM","title":"A really temporal logic","publisher":"ACM","date_created":"2018-12-11T12:09:38Z","oa_version":"None","publist_id":"118","abstract":[{"text":"We introduce a temporal logic for the specification of real-time systems. Our logic, TPTL, employs a novel quantifier construct for referencing time: the freeze quantifier binds a variable to the time of the local temporal context. TPTL is both a natural language for specification and a suitable formalism for verification. We present a tableau-based decision procedure and a model-checking algorithm for TPTL. Several generalizations of TPTL are shown to be highly undecidable.","lang":"eng"}],"extern":"1","volume":41,"page":"181 - 204","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","_id":"4591","year":"1994","status":"public","acknowledgement":"We thank Zohar Manna, Amir Pnueli, and David Dill for their guidance. Moshe Vardi and Joe Halpern gave us very helpful advice for refining our undecidability results; in particular, they pointed out to us the completeness of a problem on Turing machines.\r\n","issue":"1","article_type":"original","citation":{"apa":"Alur, R., &#38; Henzinger, T. A. (1994). A really temporal logic. <i>Journal of the ACM</i>. ACM. <a href=\"https://doi.org/10.1145/174644.174651\">https://doi.org/10.1145/174644.174651</a>","chicago":"Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” <i>Journal of the ACM</i>. ACM, 1994. <a href=\"https://doi.org/10.1145/174644.174651\">https://doi.org/10.1145/174644.174651</a>.","ieee":"R. Alur and T. A. Henzinger, “A really temporal logic,” <i>Journal of the ACM</i>, vol. 41, no. 1. ACM, pp. 181–204, 1994.","mla":"Alur, Rajeev, and Thomas A. Henzinger. “A Really Temporal Logic.” <i>Journal of the ACM</i>, vol. 41, no. 1, ACM, 1994, pp. 181–204, doi:<a href=\"https://doi.org/10.1145/174644.174651\">10.1145/174644.174651</a>.","ista":"Alur R, Henzinger TA. 1994. A really temporal logic. Journal of the ACM. 41(1), 181–204.","short":"R. Alur, T.A. Henzinger, Journal of the ACM 41 (1994) 181–204.","ama":"Alur R, Henzinger TA. A really temporal logic. <i>Journal of the ACM</i>. 1994;41(1):181-204. doi:<a href=\"https://doi.org/10.1145/174644.174651\">10.1145/174644.174651</a>"},"publication_identifier":{"issn":["0004-5411"]},"date_published":"1994-01-01T00:00:00Z","author":[{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A"}],"article_processing_charge":"No","date_updated":"2022-06-02T08:23:46Z","doi":"10.1145/174644.174651","scopus_import":"1","quality_controlled":"1","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/174644.174651"}],"intvolume":"        41","publication_status":"published","day":"01","month":"01","language":[{"iso":"eng"}]},{"conference":{"end_date":"1994-08-25","name":"CONCUR: Concurrency Theory","start_date":"1994-08-22","location":"Uppsala, Sweden"},"quality_controlled":"1","author":[{"first_name":"Rajeev","last_name":"Alur","full_name":"Alur, Rajeev"},{"first_name":"Costas","last_name":"Courcoubetis","full_name":"Courcoubetis, Costas"},{"first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"date_published":"1994-01-01T00:00:00Z","alternative_title":["LNCS"],"doi":"10.1007/BFb0015008","date_updated":"2022-06-02T07:41:46Z","article_processing_charge":"No","intvolume":"       836","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/BFb0015008"}],"publication_status":"published","language":[{"iso":"eng"}],"month":"01","day":"01","oa_version":"None","date_created":"2018-12-11T12:09:46Z","publist_id":"93","title":"The observational power of clocks","publication":"5th International Conference on Concurrency Theory","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","abstract":[{"text":"We develop a theory of equivalences for timed systems. Two systems are equivalent iff external observers cannot observe differences in their behavior. The notion of equivalence depends, therefore, on the distinguishing power of the observers. The power of an observer to measure time results in untimed, clock, and timed equivalences: an untimed observer cannot measure the time difference between events; a clock observer uses a clock to measure time differences with finite precision; a timed observer is able to measure time differences with arbitrary precision.\r\nWe show that the distinguishing power of clock observers grows with the number of observers, and approaches, in the limit, the distinguishing power of a timed observer. More precisely, given any equivalence for untimed systems, two timed systems are k-clock congruent, for a nonnegative integer k, iff their compositions with every environment that uses k clocks are untimed equivalent. Both k-clock bisimulation congruence and k-clock trace congruence form strict decidable hierarchies that converge towards the corresponding timed equivalences. Moreover, k-clock bisimulation congruence and k-clock trace congruence provide an adequate and abstract semantics for branching-time and linear-time logics with k clocks.\r\nOur results impact on the verification of timed systems in two ways. First, our decision procedure for k-clock bisimulation congruence leads to a new, symbolic, decision procedure for timed bisimilarity. Second, timed trace equivalence is known to be undecidable. If the number of environment clocks is bounded, however, then our decision procedure for k-clock trace congruence allows the verification of timed systems in a trace model.","lang":"eng"}],"extern":"1","_id":"4614","year":"1994","page":"162 - 177","volume":836,"type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"chicago":"Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “The Observational Power of Clocks.” In <i>5th International Conference on Concurrency Theory</i>, 836:162–77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994. <a href=\"https://doi.org/10.1007/BFb0015008\">https://doi.org/10.1007/BFb0015008</a>.","ieee":"R. Alur, C. Courcoubetis, and T. A. Henzinger, “The observational power of clocks,” in <i>5th International Conference on Concurrency Theory</i>, Uppsala, Sweden, 1994, vol. 836, pp. 162–177.","apa":"Alur, R., Courcoubetis, C., &#38; Henzinger, T. A. (1994). The observational power of clocks. In <i>5th International Conference on Concurrency Theory</i> (Vol. 836, pp. 162–177). Uppsala, Sweden: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.1007/BFb0015008\">https://doi.org/10.1007/BFb0015008</a>","ama":"Alur R, Courcoubetis C, Henzinger TA. The observational power of clocks. In: <i>5th International Conference on Concurrency Theory</i>. Vol 836. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1994:162-177. doi:<a href=\"https://doi.org/10.1007/BFb0015008\">10.1007/BFb0015008</a>","mla":"Alur, Rajeev, et al. “The Observational Power of Clocks.” <i>5th International Conference on Concurrency Theory</i>, vol. 836, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–77, doi:<a href=\"https://doi.org/10.1007/BFb0015008\">10.1007/BFb0015008</a>.","short":"R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–177.","ista":"Alur R, Courcoubetis C, Henzinger TA. 1994. The observational power of clocks. 5th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 836, 162–177."},"publication_identifier":{"isbn":["3540583297"]},"acknowledgement":"ESPRIT BRA project REACT, National Science Foundation under grant CCR-9200794,  United States Air Force Office of Scientific Research contract F49620-93-1-0056","status":"public"},{"abstract":[{"lang":"eng","text":"We introduce the class of event- recording timed automata (ERA). An event-recording automaton contains, for every event a, a clock that records the time of the last occurrence of a. The class ERA is, on one hand, expressive enough to model (finite) timed transition systems and, on the other hand, determinizable and closed under all boolean operations. As a result, the language inclusion problem is decidable for event-recording automata. We present a translation from timed transition systems to event-recording automata, which leads to an algorithm for checking if two timed transition systems have the same set of timed behaviors. We also consider event-predicting timed automata (EPA), which contain clocks that predict the time of the next occurrence of an event. The class of event-clock automata (ECA), which contain both event-recording and event-predicting clocks, is a suitable specification language for real-time properties. We provide an algorithm for checking if a timed automaton meets a specification that is given as an event-clock automaton."}],"extern":"1","date_created":"2018-12-11T12:09:46Z","oa_version":"None","publist_id":"92","publication":"International Conference on Computer Aided Verification","title":"A determinizable class of timed automata","publisher":"Springer","citation":{"chicago":"Alur, Rajeev, Limor Fix, and Thomas A Henzinger. “A Determinizable Class of Timed Automata.” In <i>International Conference on Computer Aided Verification</i>, 818:1–13. Springer, 1994. <a href=\"https://doi.org/10.1007/3-540-58179-0_39\">https://doi.org/10.1007/3-540-58179-0_39</a>.","ieee":"R. Alur, L. Fix, and T. A. Henzinger, “A determinizable class of timed automata,” in <i>International Conference on Computer Aided Verification</i>, Stanford, CA, United States of America, 1994, vol. 818, pp. 1–13.","apa":"Alur, R., Fix, L., &#38; Henzinger, T. A. (1994). A determinizable class of timed automata. In <i>International Conference on Computer Aided Verification</i> (Vol. 818, pp. 1–13). Stanford, CA, United States of America: Springer. <a href=\"https://doi.org/10.1007/3-540-58179-0_39\">https://doi.org/10.1007/3-540-58179-0_39</a>","ama":"Alur R, Fix L, Henzinger TA. A determinizable class of timed automata. In: <i>International Conference on Computer Aided Verification</i>. Vol 818. Springer; 1994:1-13. doi:<a href=\"https://doi.org/10.1007/3-540-58179-0_39\">10.1007/3-540-58179-0_39</a>","ista":"Alur R, Fix L, Henzinger TA. 1994. A determinizable class of timed automata. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 818, 1–13.","short":"R. Alur, L. Fix, T.A. Henzinger, in:, International Conference on Computer Aided Verification, Springer, 1994, pp. 1–13.","mla":"Alur, Rajeev, et al. “A Determinizable Class of Timed Automata.” <i>International Conference on Computer Aided Verification</i>, vol. 818, Springer, 1994, pp. 1–13, doi:<a href=\"https://doi.org/10.1007/3-540-58179-0_39\">10.1007/3-540-58179-0_39</a>."},"publication_identifier":{"isbn":["9783540484691"]},"acknowledgement":"Supported in part by the Office of Naval Research under contract N00014-91-J-1219, the National Science Foundation under grant CCR-8701103, and by DARPA/NSF under grant CCR-9014363.\r\nSupported in part by the National Science Foundation under grant CCR-9200794 and by the United States Air Force Office of Scientific Research under contract F49620-93-1-0056.","status":"public","_id":"4615","year":"1994","volume":818,"page":"1 - 13","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference","scopus_import":"1","quality_controlled":"1","author":[{"full_name":"Alur, Rajeev","first_name":"Rajeev","last_name":"Alur"},{"full_name":"Fix, Limor","last_name":"Fix","first_name":"Limor"},{"first_name":"Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"date_published":"1994-01-01T00:00:00Z","article_processing_charge":"No","alternative_title":["LNCS"],"date_updated":"2022-06-01T14:37:25Z","doi":"10.1007/3-540-58179-0_39","conference":{"name":"CAV: Computer Aided Verification","end_date":"1994-06-23","location":"Stanford, CA, United States of America","start_date":"1994-06-21"},"month":"01","language":[{"iso":"eng"}],"day":"01","intvolume":"       818","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-58179-0_39"}],"publication_status":"published"},{"day":"01","month":"01","language":[{"iso":"eng"}],"intvolume":"       199","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/BFb0033565"}],"publication_status":"published","author":[{"full_name":"Alur, Rajeev","first_name":"Rajeev","last_name":"Alur"},{"full_name":"Courcoubetis, Costas","last_name":"Courcoubetis","first_name":"Costas"},{"full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724"},{"first_name":"Pei","last_name":"Ho","full_name":"Ho, Pei"},{"last_name":"Nicollin","first_name":"Xavier","full_name":"Nicollin, Xavier"},{"full_name":"Olivero, Alfredo","last_name":"Olivero","first_name":"Alfredo"},{"first_name":"Joseph","last_name":"Sifakis","full_name":"Sifakis, Joseph"},{"full_name":"Yovine, Sergio","first_name":"Sergio","last_name":"Yovine"}],"date_published":"1994-01-01T00:00:00Z","article_processing_charge":"No","doi":"10.1007/BFb0033565","date_updated":"2022-06-01T14:14:31Z","alternative_title":["LNCIS"],"quality_controlled":"1","conference":{"location":"Sophia-Antipolis, France","start_date":"1994-06-15","name":"ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems","end_date":"1994-06-17"},"status":"public","citation":{"ama":"Alur R, Courcoubetis C, Henzinger TA, et al. The algorithmic analysis of hybrid systems. In: <i>11th International Conference on Analysis and Optimization of Systems Discrete Event Systems</i>. Vol 199. Springer; 1994:331-351. doi:<a href=\"https://doi.org/10.1007/BFb0033565\">10.1007/BFb0033565</a>","mla":"Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” <i>11th International Conference on Analysis and Optimization of Systems Discrete Event Systems</i>, vol. 199, Springer, 1994, pp. 331–51, doi:<a href=\"https://doi.org/10.1007/BFb0033565\">10.1007/BFb0033565</a>.","ista":"Alur R, Courcoubetis C, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. 1994. The algorithmic analysis of hybrid systems. 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems, LNCIS, vol. 199, 331–351.","short":"R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, in:, 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, Springer, 1994, pp. 331–351.","chicago":"Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.” In <i>11th International Conference on Analysis and Optimization of Systems Discrete Event Systems</i>, 199:331–51. Springer, 1994. <a href=\"https://doi.org/10.1007/BFb0033565\">https://doi.org/10.1007/BFb0033565</a>.","ieee":"R. Alur <i>et al.</i>, “The algorithmic analysis of hybrid systems,” in <i>11th International Conference on Analysis and Optimization of Systems Discrete Event Systems</i>, Sophia-Antipolis, France, 1994, vol. 199, pp. 331–351.","apa":"Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero, A., … Yovine, S. (1994). The algorithmic analysis of hybrid systems. In <i>11th International Conference on Analysis and Optimization of Systems Discrete Event Systems</i> (Vol. 199, pp. 331–351). Sophia-Antipolis, France: Springer. <a href=\"https://doi.org/10.1007/BFb0033565\">https://doi.org/10.1007/BFb0033565</a>"},"publication_identifier":{"isbn":["978-3-540-19896-3"]},"volume":199,"page":"331 - 351","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"conference","_id":"4617","year":"1994","abstract":[{"text":"We extend the timed-automaton model for real-time systems [AD90] to a formal model for hybrid systems: while the continuous variables of a timed automaton are clocks that measure time, the continuous variables of a hybrid system are governed by arbitrary differential equations. We then adopt the verification methodology for timed automata [ACD90, ACD+92, HNSY92] to analyze hybrid systems: while the verification problem is decidable for timed automata, we obtain semidecision procedures for the class of hybrid systems whose continuous variables change in a piecewise linear fashion. ","lang":"eng"}],"extern":"1","publication":"11th International Conference on Analysis and Optimization of Systems Discrete Event Systems","title":"The algorithmic analysis of hybrid systems","publisher":"Springer","date_created":"2018-12-11T12:09:46Z","oa_version":"None","publist_id":"91"},{"abstract":[{"lang":"eng","text":"The tra-1 gene is the terminal regulator in the sex determination pathway in C. elegans, directing all aspects of somatic sexual differentiation. Recessive loss-of-function (lf) mutations in tra-1 masculinize XX animals (normally somatically female), while dominant gain-of-function mutations feminize XO animals (normally male). Most tra-1 (lf) mutations can be fitted into a simple allelic series of somatic masculinization, but a small number of lf alleles do not fit into this series. Here we show that three of these mutations are associated with DNA rearrangements 5' to the coding region. One allele is an inversion that may be subject to a position effect. We also report the isolation of a new class of tra-1 alleles that are responsive to mutations in the smg system of RNA surveillance. We show that two of these express RNAs of aberrant size. We suggest that the smg-sensitive mutations may identify a carboxy-terminal domain required for negative regulation of tra-1 activity."}],"quality_controlled":"1","extern":"1","author":[{"first_name":"David","last_name":"Zarkower","full_name":"Zarkower, David"},{"full_name":"de Bono, Mario","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87","first_name":"Mario","orcid":"0000-0001-8347-0443","last_name":"de Bono"},{"first_name":"Rachel","last_name":"Aronoff","full_name":"Aronoff, Rachel"},{"first_name":"Jonathan","last_name":"Hodgkin","full_name":"Hodgkin, Jonathan"}],"date_published":"1994-01-13T00:00:00Z","date_updated":"2021-01-12T08:06:30Z","doi":"10.1002/dvg.1020150306","date_created":"2019-03-22T08:38:41Z","oa_version":"None","publication":"Developmental Genetics","title":"Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1","publisher":"Wiley","citation":{"ama":"Zarkower D, de Bono M, Aronoff R, Hodgkin J. Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. <i>Developmental Genetics</i>. 1994;15(3):240-250. doi:<a href=\"https://doi.org/10.1002/dvg.1020150306\">10.1002/dvg.1020150306</a>","mla":"Zarkower, David, et al. “Regulatory Rearrangements and Smg-Sensitive Allels of the C. Elegans Sex-Determining Gene Tra-1.” <i>Developmental Genetics</i>, vol. 15, no. 3, Wiley, 1994, pp. 240–50, doi:<a href=\"https://doi.org/10.1002/dvg.1020150306\">10.1002/dvg.1020150306</a>.","ista":"Zarkower D, de Bono M, Aronoff R, Hodgkin J. 1994. Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental Genetics. 15(3), 240–250.","short":"D. Zarkower, M. de Bono, R. Aronoff, J. Hodgkin, Developmental Genetics 15 (1994) 240–250.","chicago":"Zarkower, David, Mario de Bono, Rachel Aronoff, and Jonathan Hodgkin. “Regulatory Rearrangements and Smg-Sensitive Allels of the C. Elegans Sex-Determining Gene Tra-1.” <i>Developmental Genetics</i>. Wiley, 1994. <a href=\"https://doi.org/10.1002/dvg.1020150306\">https://doi.org/10.1002/dvg.1020150306</a>.","ieee":"D. Zarkower, M. de Bono, R. Aronoff, and J. Hodgkin, “Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1,” <i>Developmental Genetics</i>, vol. 15, no. 3. Wiley, pp. 240–250, 1994.","apa":"Zarkower, D., de Bono, M., Aronoff, R., &#38; Hodgkin, J. (1994). Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. <i>Developmental Genetics</i>. Wiley. <a href=\"https://doi.org/10.1002/dvg.1020150306\">https://doi.org/10.1002/dvg.1020150306</a>"},"month":"01","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0192-253X","1520-6408"]},"status":"public","pmid":1,"issue":"3","external_id":{"pmid":["7520378"]},"day":"13","intvolume":"        15","_id":"6167","year":"1994","publication_status":"published","volume":15,"page":"240-250","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","type":"journal_article"},{"citation":{"chicago":"Henzinger, Monika H. “Fully Dynamic Cycle-Equivalence in Graphs.” In <i>35th Annual Symposium on Foundations of Computer Science</i>, 744–55. Institute of Electrical and Electronics Engineers, 1994. <a href=\"https://doi.org/10.1109/sfcs.1994.365718\">https://doi.org/10.1109/sfcs.1994.365718</a>.","ieee":"M. H. Henzinger, “Fully dynamic cycle-equivalence in graphs,” in <i>35th Annual Symposium on Foundations of Computer Science</i>, Santa Fe, NM, United States, 1994, pp. 744–755.","apa":"Henzinger, M. H. (1994). Fully dynamic cycle-equivalence in graphs. In <i>35th Annual Symposium on Foundations of Computer Science</i> (pp. 744–755). Santa Fe, NM, United States: Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/sfcs.1994.365718\">https://doi.org/10.1109/sfcs.1994.365718</a>","ama":"Henzinger MH. Fully dynamic cycle-equivalence in graphs. In: <i>35th Annual Symposium on Foundations of Computer Science</i>. Institute of Electrical and Electronics Engineers; 1994:744-755. doi:<a href=\"https://doi.org/10.1109/sfcs.1994.365718\">10.1109/sfcs.1994.365718</a>","mla":"Henzinger, Monika H. “Fully Dynamic Cycle-Equivalence in Graphs.” <i>35th Annual Symposium on Foundations of Computer Science</i>, Institute of Electrical and Electronics Engineers, 1994, pp. 744–55, doi:<a href=\"https://doi.org/10.1109/sfcs.1994.365718\">10.1109/sfcs.1994.365718</a>.","ista":"Henzinger MH. 1994. Fully dynamic cycle-equivalence in graphs. 35th Annual Symposium on Foundations of Computer Science. FOCS: Symposium on Foundations of Computer Science, 744–755.","short":"M.H. Henzinger, in:, 35th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1994, pp. 744–755."},"publication_identifier":{"isbn":["0-8186-6580-7"]},"language":[{"iso":"eng"}],"month":"11","status":"public","day":"01","_id":"11857","publication_status":"published","year":"1994","page":"744 - 755","type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"Two edges e/sub 1/ and e/sub 2/ of an undirected graph are cycle-equivalent iff all cycles that contain e/sub 1/ also contain e/sub 2/, i.e., iff e/sub 1/ and e/sub 2/ are a cut-edge pair. The cycle-equivalence classes of the control-flow graph are used in optimizing compilers to speed up existing control-flow and data-flow algorithms. While the cycle-equivalence classes can be computed in linear time, we present the first fully dynamic algorithm for maintaining the cycle-equivalence relation. In an n-node graph our data structure executes an edge insertion or deletion in O(/spl radic/n log n) time and answers the query whether two given edges are cycle-equivalent in O(log/sup 2/ n) time. We also present an algorithm for plane graphs with O(log n) update and query time and for planar graphs with O(log n) insertion time and O(log/sup 2/ n) query and deletion time. Additionally, we show a lower bound of /spl Omega/(log n/log log n) for the amortized time per operation for the dynamic cycle-equivalence problem in the cell probe model.< >"}],"scopus_import":"1","quality_controlled":"1","extern":"1","date_published":"1994-11-01T00:00:00Z","author":[{"first_name":"Monika H","orcid":"0000-0002-5008-6530","last_name":"Henzinger","full_name":"Henzinger, Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"}],"date_updated":"2023-02-17T09:58:04Z","doi":"10.1109/sfcs.1994.365718","article_processing_charge":"No","oa_version":"None","date_created":"2022-08-16T08:29:08Z","conference":{"end_date":"1994-11-22","name":"FOCS: Symposium on Foundations of Computer Science","start_date":"1994-11-20","location":"Santa Fe, NM, United States"},"title":"Fully dynamic cycle-equivalence in graphs","publication":"35th Annual Symposium on Foundations of Computer Science","publisher":"Institute of Electrical and Electronics Engineers"},{"publication_status":"published","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0166223695900888?via%3Dihub"}],"intvolume":"        29","day":"01","pmid":1,"month":"01","language":[{"iso":"eng"}],"article_processing_charge":"No","alternative_title":["Advances in second messenger and phosphoprotein research"],"doi":"10.1016/0166-2236(95)90088-8","date_updated":"2022-06-03T11:46:09Z","date_published":"1994-01-01T00:00:00Z","author":[{"last_name":"Von Kitzing","first_name":"Eberhard","full_name":"Von Kitzing, Eberhard"},{"first_name":"Peter M","orcid":"0000-0001-5001-4804","last_name":"Jonas","full_name":"Jonas, Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Sakmann","first_name":"Bert","full_name":"Sakmann, Bert"}],"quality_controlled":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"review","volume":29,"page":"235 - 260","year":"1994","_id":"3453","external_id":{"pmid":["7848714 "]},"status":"public","publication_identifier":{"isbn":["0781702208"]},"citation":{"apa":"Von Kitzing, E., Jonas, P. M., &#38; Sakmann, B. (1994). Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse. <i>Molecular and Cellular Mechanisms of Neurotransmitter Release</i>. Raven Press. <a href=\"https://doi.org/10.1016/0166-2236(95)90088-8\">https://doi.org/10.1016/0166-2236(95)90088-8</a>","ieee":"E. Von Kitzing, P. M. Jonas, and B. Sakmann, “Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse,” <i>Molecular and cellular mechanisms of neurotransmitter release</i>, vol. 29. Raven Press, pp. 235–260, 1994.","chicago":"Von Kitzing, Eberhard, Peter M Jonas, and Bert Sakmann. “Quantal Analysis of Excitatory Postsynaptic Currents at the Hippocampal Mossy Fiber-CA3 Pyramidal Cell Synapse.” <i>Molecular and Cellular Mechanisms of Neurotransmitter Release</i>. Raven Press, 1994. <a href=\"https://doi.org/10.1016/0166-2236(95)90088-8\">https://doi.org/10.1016/0166-2236(95)90088-8</a>.","ista":"Von Kitzing E, Jonas PM, Sakmann B. 1994. Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse. Molecular and cellular mechanisms of neurotransmitter release. 29, 235–260.","short":"E. Von Kitzing, P.M. Jonas, B. Sakmann, Molecular and Cellular Mechanisms of Neurotransmitter Release 29 (1994) 235–260.","mla":"Von Kitzing, Eberhard, et al. “Quantal Analysis of Excitatory Postsynaptic Currents at the Hippocampal Mossy Fiber-CA3 Pyramidal Cell Synapse.” <i>Molecular and Cellular Mechanisms of Neurotransmitter Release</i>, vol. 29, Raven Press, 1994, pp. 235–60, doi:<a href=\"https://doi.org/10.1016/0166-2236(95)90088-8\">10.1016/0166-2236(95)90088-8</a>.","ama":"Von Kitzing E, Jonas PM, Sakmann B. Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse. <i>Molecular and cellular mechanisms of neurotransmitter release</i>. 1994;29:235-260. doi:<a href=\"https://doi.org/10.1016/0166-2236(95)90088-8\">10.1016/0166-2236(95)90088-8</a>"},"publisher":"Raven Press","publication":"Molecular and cellular mechanisms of neurotransmitter release","title":"Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse","publist_id":"2934","date_created":"2018-12-11T12:03:24Z","oa_version":"None","extern":"1"},{"scopus_import":"1","quality_controlled":"1","author":[{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804","last_name":"Jonas","first_name":"Peter M"},{"last_name":"Spruston","first_name":"Nelson","full_name":"Spruston, Nelson"}],"date_published":"1994-06-01T00:00:00Z","doi":"10.1016/0959-4388(94)90098-1","date_updated":"2022-06-03T11:26:52Z","article_processing_charge":"No","language":[{"iso":"eng"}],"month":"06","pmid":1,"day":"01","intvolume":"         4","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0959438894900981?via%3Dihub"}],"publication_status":"published","abstract":[{"lang":"eng","text":"Excitatory postsynaptic currents in neurones of the central nervous system have a dual-component time course that results from the co-activation of AMPA/kainate-type and NMDA-type glutamate receptors. New approaches in electrophysiology and molecular biology have provided a better understanding of the factors that determine the kinectics of excitatory postsynaptic currents. Recent studies suggest that the time course of neurotransmitter concentration in the synaptic cleft, the gating properties of the native channels, and the glutamate receptor subunit composition all appear to be important factors."}],"extern":"1","oa_version":"None","date_created":"2018-12-11T12:03:27Z","publist_id":"2927","title":"Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS","publication":"Current Opinion in Neurobiology","publisher":"Elsevier","citation":{"ista":"Jonas PM, Spruston N. 1994. Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS. Current Opinion in Neurobiology. 4(3), 366–372.","mla":"Jonas, Peter M., and Nelson Spruston. “Mechanisms Shaping Glutamate-Mediated Excitatory Postsynaptic Currents in the CNS.” <i>Current Opinion in Neurobiology</i>, vol. 4, no. 3, Elsevier, 1994, pp. 366–72, doi:<a href=\"https://doi.org/10.1016/0959-4388(94)90098-1\">10.1016/0959-4388(94)90098-1</a>.","short":"P.M. Jonas, N. Spruston, Current Opinion in Neurobiology 4 (1994) 366–372.","ama":"Jonas PM, Spruston N. Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS. <i>Current Opinion in Neurobiology</i>. 1994;4(3):366-372. doi:<a href=\"https://doi.org/10.1016/0959-4388(94)90098-1\">10.1016/0959-4388(94)90098-1</a>","apa":"Jonas, P. M., &#38; Spruston, N. (1994). Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS. <i>Current Opinion in Neurobiology</i>. Elsevier. <a href=\"https://doi.org/10.1016/0959-4388(94)90098-1\">https://doi.org/10.1016/0959-4388(94)90098-1</a>","ieee":"P. M. Jonas and N. Spruston, “Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS,” <i>Current Opinion in Neurobiology</i>, vol. 4, no. 3. Elsevier, pp. 366–372, 1994.","chicago":"Jonas, Peter M, and Nelson Spruston. “Mechanisms Shaping Glutamate-Mediated Excitatory Postsynaptic Currents in the CNS.” <i>Current Opinion in Neurobiology</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1016/0959-4388(94)90098-1\">https://doi.org/10.1016/0959-4388(94)90098-1</a>."},"publication_identifier":{"issn":["0959-4388"]},"status":"public","acknowledgement":"We thank JGG Borst, N Burnashev, M Häusser, G Stuart and A Viilarroel for critically reading the manuscript and E von Kitzing and A Roth for doing the simulations and for many helpful discussions. Supported by the Deutsche Forschungsgemeinschaft (SFB 317-B14) and the Alexander von Humboldt Foundation. ","article_type":"original","external_id":{"pmid":["7522678 "]},"issue":"3","_id":"3460","year":"1994","page":"366 - 372","volume":4,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},{"article_type":"original","external_id":{"pmid":["7799220 "]},"status":"public","acknowledgement":"We thank Drs M.Häusser and A. Villarroel for critically reading the manuscript, Dr E. v. Kitzing and A. Roth for many helpful discussions. This work was supported by the Deutsche Forschungsgemeinschaft (Vo188/13-2). ","oa":1,"publication_identifier":{"issn":["0022-3751"]},"citation":{"chicago":"Koh, Duk, Peter M Jonas, and Werner Vogel. “Na+-Activated K+ Channels Localized in the Nodal Region of Myelinated Axons of Xenopus.” <i>Journal of Physiology</i>. Wiley-Blackwell, 1994. <a href=\"https://doi.org/10.1113/jphysiol.1994.sp020287\">https://doi.org/10.1113/jphysiol.1994.sp020287</a>.","ieee":"D. Koh, P. M. Jonas, and W. Vogel, “Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus,” <i>Journal of Physiology</i>, vol. 479. Wiley-Blackwell, pp. 183–197, 1994.","apa":"Koh, D., Jonas, P. M., &#38; Vogel, W. (1994). Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. <i>Journal of Physiology</i>. Wiley-Blackwell. <a href=\"https://doi.org/10.1113/jphysiol.1994.sp020287\">https://doi.org/10.1113/jphysiol.1994.sp020287</a>","ama":"Koh D, Jonas PM, Vogel W. Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. <i>Journal of Physiology</i>. 1994;479:183-197. doi:<a href=\"https://doi.org/10.1113/jphysiol.1994.sp020287\">10.1113/jphysiol.1994.sp020287</a>","ista":"Koh D, Jonas PM, Vogel W. 1994. Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. Journal of Physiology. 479, 183–197.","mla":"Koh, Duk, et al. “Na+-Activated K+ Channels Localized in the Nodal Region of Myelinated Axons of Xenopus.” <i>Journal of Physiology</i>, vol. 479, Wiley-Blackwell, 1994, pp. 183–97, doi:<a href=\"https://doi.org/10.1113/jphysiol.1994.sp020287\">10.1113/jphysiol.1994.sp020287</a>.","short":"D. Koh, P.M. Jonas, W. Vogel, Journal of Physiology 479 (1994) 183–197."},"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"183 - 197","volume":479,"year":"1994","_id":"3475","extern":"1","abstract":[{"lang":"eng","text":"1. A potassium channel activated by internal Na+ ions (K+Na channel) was identified in peripheral myelinated axons of Xenopus laevis using the cell-attached and excised configurations of the patch clamp technique. 2. The single-channel conductance for the main open state was 88 pS with [K+]o = 105 mM and pS with [K+]o = 2.5 mM ([K+]i = 105 mM). The channel was selectively permeable to K+ over Na+ ions. A characteristic feature of the K+Na channel was the frequent occurrence of subconductance states. 3. The open probability of the channel was strongly dependent on the concentration of Na+ ions at the inner side of the membrane. The half-maximal activating Na+ concentration and the Hill coefficient were 33 mM and 2.9, respectively. The open probability of the channel showed only weak potential dependence. 4. The K+Na channel was relatively insensitive to external tetraethylammonium (TEA+) in comparison with voltage-dependent axonal K+ channels; the half-maximal inhibitory concentration (IC50) was 21.3 mM (at -90 mV). In contrast, the channel was blocked by low concentrations of external Ba2+ and Cs+ ions, with IC50 values of 0.7 and 1.1 mM, respectively (at -90 mV). The block by Ba2+ and Cs+ was more pronounced at negative than at positive membrane potentials. 5. A comparison of the number of K+Na channels in nodal and paranodal patches from the same axon revealed that the channel density was about 10-fold higher at the node of Ranvier than at the paranode. Moreover, a correlation between the number of K+Na channels and voltage-dependent Na+ channels in the same patches was found, suggesting co-localization of both channel types. 6. As weakly potential-dependent ('leakage') channels, axonal K+Na channels may be involved in setting the resting potential of vertebrate axons. Simulations of Na+ ion diffusion suggest two possible mechanisms of activation of K+Na channels: the local increase of Na+ concentration in a cluster of Na+ channels during a single action potential or the accumulation in the intracellular axonal compartment during a train of action potentials."}],"publisher":"Wiley-Blackwell","title":"Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus","publication":"Journal of Physiology","publist_id":"2912","oa_version":"Published Version","date_created":"2018-12-11T12:03:31Z","day":"01","pmid":1,"language":[{"iso":"eng"}],"month":"01","publication_status":"published","intvolume":"       479","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1155738/"}],"date_updated":"2022-06-03T11:09:21Z","doi":"10.1113/jphysiol.1994.sp020287","article_processing_charge":"No","date_published":"1994-01-01T00:00:00Z","author":[{"full_name":"Koh, Duk","last_name":"Koh","first_name":"Duk"},{"last_name":"Jonas","orcid":"0000-0001-5001-4804","first_name":"Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","full_name":"Jonas, Peter M"},{"last_name":"Vogel","first_name":"Werner","full_name":"Vogel, Werner"}],"quality_controlled":"1"},{"author":[{"first_name":"Guy","last_name":"Major","full_name":"Major, Guy"},{"full_name":"Larkman, Alan","first_name":"Alan","last_name":"Larkman"},{"first_name":"Peter M","last_name":"Jonas","orcid":"0000-0001-5001-4804","full_name":"Jonas, Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Sakmann, Bert","last_name":"Sakmann","first_name":"Bert"},{"full_name":"Jack, Julian","first_name":"Julian","last_name":"Jack"}],"date_published":"1994-08-01T00:00:00Z","article_processing_charge":"No","doi":"10.1523/JNEUROSCI.14-08-04613.1994","date_updated":"2022-06-03T09:36:43Z","scopus_import":"1","quality_controlled":"1","intvolume":"        14","main_file_link":[{"open_access":"1","url":"https://europepmc.org/article/med/8046439"}],"publication_status":"published","pmid":1,"day":"01","month":"08","language":[{"iso":"eng"}],"publication":"Journal of Neuroscience","title":"Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices","publisher":"Society for Neuroscience","date_created":"2018-12-11T12:03:32Z","oa_version":"Published Version","publist_id":"2911","abstract":[{"text":"Tight-seal whole-cell recordings were made from cleaned somata of CA3 pyramidal cells deep in hippocampal slices from 19–21-d-old rats. The cells were filled with biocytin, and their voltage responses to short current pulses were recorded. After washout of initial sag, responses scaled linearly with injected current and were stable over time. The dendritic and axonal arbors of four cells were reconstructed and measured using light microscopy. Dendritic spines and axonal boutons were counted and the additional membrane area was incorporated into the relevant segments. The morphology of each neuron was converted into a detailed branching cable model by assuming values for specific membrane capacitance Cm and resistance Rm, and cytoplasmic resistivity Ri. These parameters were optimized for each cell by directly matching the model's response to that of the real cell by means of a modified weighted least-squares fitting procedure. By comparing the deviations between model and experimental responses to control noise recordings, approximate 95% confidence intervals were established for each parameter. If a somatic shunt was allowed, a wide range of possible Rm values produced acceptable fits. With zero shunt, Cm was 0.7–0.8 microFcm-2, Ri was 170–340 omega cm, and Rm ranged between 120 and 200 k omega cm2. The electrotonic lengths of the basal and oblique dendrites were 0.2–0.3 space constants, and those of the apical tufts were 0.4–0.7 space constants. The steady-state electrical geometry of these cells was therefore compact; average dendritic tip/soma relative synaptic efficacies were &gt; 93% for the basal and oblique dendrites, and &gt; 81% for the tufts. With fast transient synaptic inputs, however, the models produced a wide range of postsynaptic potential shapes and marked filtering of voltage-clamp currents.","lang":"eng"}],"extern":"1","volume":14,"page":"4613 - 4638","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","_id":"3476","year":"1994","status":"public","oa":1,"acknowledgement":"logy Training Fellowship. A.L. was supported by a Royal Society Fellowship. The Oxford part of the collaboration was funded by a Wellcome Trust Programme Grant, the Heidelberg part by the Max-Planck Gesellschaft. We are grateful to Sir David Cox for his comments on the statistics, to K. Stratford, M. Hausser, D. Flitney, M. O’Neill, S. Gough, G. Stuart, N. Spruston, P. Stem, and K. Bauer for their help and useful discussions, and to M. Kaiser for technical assistance. ","issue":"8","external_id":{"pmid":["8046439 "]},"article_type":"original","citation":{"ista":"Major G, Larkman A, Jonas PM, Sakmann B, Jack J. 1994. Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices. Journal of Neuroscience. 14(8), 4613–4638.","mla":"Major, Guy, et al. “Detailed Passive Cable Models of Whole-Cell Recorded CA3 Pyramidal Neurons in Rat Hippocampal Slices.” <i>Journal of Neuroscience</i>, vol. 14, no. 8, Society for Neuroscience, 1994, pp. 4613–38, doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994\">10.1523/JNEUROSCI.14-08-04613.1994</a>.","short":"G. Major, A. Larkman, P.M. Jonas, B. Sakmann, J. Jack, Journal of Neuroscience 14 (1994) 4613–4638.","ama":"Major G, Larkman A, Jonas PM, Sakmann B, Jack J. Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices. <i>Journal of Neuroscience</i>. 1994;14(8):4613-4638. doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994\">10.1523/JNEUROSCI.14-08-04613.1994</a>","apa":"Major, G., Larkman, A., Jonas, P. M., Sakmann, B., &#38; Jack, J. (1994). Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices. <i>Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994\">https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994</a>","ieee":"G. Major, A. Larkman, P. M. Jonas, B. Sakmann, and J. Jack, “Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices,” <i>Journal of Neuroscience</i>, vol. 14, no. 8. Society for Neuroscience, pp. 4613–4638, 1994.","chicago":"Major, Guy, Alan Larkman, Peter M Jonas, Bert Sakmann, and Julian Jack. “Detailed Passive Cable Models of Whole-Cell Recorded CA3 Pyramidal Neurons in Rat Hippocampal Slices.” <i>Journal of Neuroscience</i>. Society for Neuroscience, 1994. <a href=\"https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994\">https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994</a>."},"publication_identifier":{"issn":["0270-6474"]}},{"quality_controlled":"1","scopus_import":"1","doi":"10.1016/0896-6273(94)90444-8","date_updated":"2022-06-03T09:29:36Z","article_processing_charge":"No","date_published":"1994-06-01T00:00:00Z","author":[{"id":"353C1B58-F248-11E8-B48F-1D18A9856A87","full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804","last_name":"Jonas","first_name":"Peter M"},{"last_name":"Racca","first_name":"Claudia","full_name":"Racca, Claudia"},{"last_name":"Sakmann","first_name":"Bert","full_name":"Sakmann, Bert"},{"last_name":"Seeburg","first_name":"Peter","full_name":"Seeburg, Peter"},{"last_name":"Monyer","first_name":"Hannah","full_name":"Monyer, Hannah"}],"publication_status":"published","intvolume":"        12","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0896627394904448?via%3Dihub"}],"language":[{"iso":"eng"}],"month":"06","day":"01","pmid":1,"publist_id":"2910","oa_version":"None","date_created":"2018-12-11T12:03:32Z","publisher":"Elsevier","title":"Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression","publication":"Neuron","extern":"1","abstract":[{"lang":"eng","text":"Fast excitatory synaptic transmission in the CNS is mediated by AMPA-type glutamate receptor (GluR) channels. Heterologous expression suggested that the Ca2+ permeability of these receptors critically depends on the subunit composition. Using patch-clamp techniques in brain slices, we found that the Ca2+ permeability of native AMPA-type GluRs was markedly higher in nonpyramidal (P(Ca)/P(K) ≃ 0.63) than in pyramidal (P(Ca)/P(K) ≃ 0.05) neurons of rat neocortex. Analysis of mRNA in single cells indicated that the relative abundance of GluR-B-specific mRNA was significantly lower in nonpyramidal (GluR-B/GluR-non-B ≃ 0.3) than in pyramidal (GluR-B/GluR-non-B ≃ 3) cells. This suggests that differences in relative abundance of GluR-B- specific mRNA generate functional diversity of AMPA-type GluRs in neurons with respect to Ca2+ permeability."}],"year":"1994","_id":"3477","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"1281 - 1289","volume":12,"publication_identifier":{"issn":["0896-6273"]},"citation":{"short":"P.M. Jonas, C. Racca, B. Sakmann, P. Seeburg, H. Monyer, Neuron 12 (1994) 1281–1289.","ista":"Jonas PM, Racca C, Sakmann B, Seeburg P, Monyer H. 1994. Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression. Neuron. 12(6), 1281–1289.","mla":"Jonas, Peter M., et al. “Differences in Ca(2+) Permeability of AMPA-Type Glutamate Receptor Channels in Neocortical Neurons Caused by Differential GluR-B Subunit Expression.” <i>Neuron</i>, vol. 12, no. 6, Elsevier, 1994, pp. 1281–89, doi:<a href=\"https://doi.org/10.1016/0896-6273(94)90444-8\">10.1016/0896-6273(94)90444-8</a>.","ama":"Jonas PM, Racca C, Sakmann B, Seeburg P, Monyer H. Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression. <i>Neuron</i>. 1994;12(6):1281-1289. doi:<a href=\"https://doi.org/10.1016/0896-6273(94)90444-8\">10.1016/0896-6273(94)90444-8</a>","apa":"Jonas, P. M., Racca, C., Sakmann, B., Seeburg, P., &#38; Monyer, H. (1994). Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression. <i>Neuron</i>. Elsevier. <a href=\"https://doi.org/10.1016/0896-6273(94)90444-8\">https://doi.org/10.1016/0896-6273(94)90444-8</a>","chicago":"Jonas, Peter M, Claudia Racca, Bert Sakmann, Peter Seeburg, and Hannah Monyer. “Differences in Ca(2+) Permeability of AMPA-Type Glutamate Receptor Channels in Neocortical Neurons Caused by Differential GluR-B Subunit Expression.” <i>Neuron</i>. Elsevier, 1994. <a href=\"https://doi.org/10.1016/0896-6273(94)90444-8\">https://doi.org/10.1016/0896-6273(94)90444-8</a>.","ieee":"P. M. Jonas, C. Racca, B. Sakmann, P. Seeburg, and H. Monyer, “Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression,” <i>Neuron</i>, vol. 12, no. 6. Elsevier, pp. 1281–1289, 1994."},"article_type":"original","external_id":{"pmid":["8011338 "]},"issue":"6","acknowledgement":"We thank Drs. B. Lambolez and J. Rossier for helping to establish the method of single-cell PCR, Dr. M. Frotscher for help with cell identification, Dr. N. Spruston for critically reading the manuscript, and M. Kaiser and U. Keller for technical assistance. This work was supported in part by BMFT grant BCT 364 AZ 3211 7291 (P. H. S.) and by DFG grant SFB-317/B14 (P. J.). The costs of publication of this article were defrayed in part by the payment of page charges. This article must therefore be hereby marked “advertisement” in accordance with 18 USC Section 1734 solely to indicate this fact.","status":"public"},{"publist_id":"2835","oa_version":"None","conference":{"name":"CCCG: Canadian Conference on Computational Geometry","location":"Saskatoon, Canada"},"date_created":"2018-12-11T12:03:55Z","title":"Modeling with simplicial complexes (topology, geometry and algorithms)","publication":"Proceedings of the 6th Canadian Conference on Computational Geometry","quality_controlled":"1","extern":"1","date_updated":"2022-06-03T08:50:45Z","article_processing_charge":"No","author":[{"first_name":"Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87"}],"date_published":"1994-08-01T00:00:00Z","publication_status":"published","year":"1994","_id":"3550","type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"36 - 44","language":[{"iso":"eng"}],"month":"08","citation":{"apa":"Edelsbrunner, H. (1994). Modeling with simplicial complexes (topology, geometry and algorithms). In <i>Proceedings of the 6th Canadian Conference on Computational Geometry</i> (pp. 36–44). Saskatoon, Canada.","chicago":"Edelsbrunner, Herbert. “Modeling with Simplicial Complexes (Topology, Geometry and Algorithms).” In <i>Proceedings of the 6th Canadian Conference on Computational Geometry</i>, 36–44, 1994.","ieee":"H. Edelsbrunner, “Modeling with simplicial complexes (topology, geometry and algorithms),” in <i>Proceedings of the 6th Canadian Conference on Computational Geometry</i>, Saskatoon, Canada, 1994, pp. 36–44.","ista":"Edelsbrunner H. 1994. Modeling with simplicial complexes (topology, geometry and algorithms). Proceedings of the 6th Canadian Conference on Computational Geometry. CCCG: Canadian Conference on Computational Geometry, 36–44.","short":"H. Edelsbrunner, in:, Proceedings of the 6th Canadian Conference on Computational Geometry, 1994, pp. 36–44.","mla":"Edelsbrunner, Herbert. “Modeling with Simplicial Complexes (Topology, Geometry and Algorithms).” <i>Proceedings of the 6th Canadian Conference on Computational Geometry</i>, 1994, pp. 36–44.","ama":"Edelsbrunner H. Modeling with simplicial complexes (topology, geometry and algorithms). In: <i>Proceedings of the 6th Canadian Conference on Computational Geometry</i>. ; 1994:36-44."},"day":"01","status":"public","acknowledgement":"This work is partially supported by the National Science Foundation, under grant ASC-9200301 and the Alan T. Waterman award, grant CCR-9118874"},{"title":"The reduction in fixation probability caused by substitutions at linked loci","publication":"Genetical Research","publisher":"Cambridge University Press","oa_version":"None","date_created":"2018-12-11T12:04:23Z","publist_id":"2742","abstract":[{"lang":"eng","text":"The probability of fixation of a mutation with selective advantage s will be reduced by substitutions at other loci. The effect of a single substitution, with selective advantage S0016672300032857inline1, can be approximated as a sudden reduction in the frequency of the favourable allele, by a fraction w = 1 −(s/S)r/s (where r is the recombination rate). An expression for the effect of a given sequence of such catastrophes is derived. This also applies to the ecological prxoblem of finding the probability that a small population will survive, despite occasional disasters. It is shown that if substitutions occur at a rate Δ, and are scattered randomly over a genetic map of length R, then an allele is unlikely to be fixed if its advantage is less than a critical value, Scrit = (π2/6)(2ΔS/(Rlog(S/s))). This threshold depends primarily on the variance in fitness per unit map length dueto substitutions, var(W)/R = 2ΔS/R. With no recombination, the fixation probability can be calculated for a finite population. If Δ &gt; s, it is of the same order as for a neutral allele ( ≈ Δ/(2N(Δ−s))), whilst if S0016672300032857inline2, fixation probability is much higher than for a neutral allele, but much lower than in the absence of hitch-hiking S0016672300032857inline3. These results suggest that hitch-hiking may substantially impede the accumulation of weakly favoured adaptations."}],"extern":"1","page":"199 - 208","volume":64,"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"3641","year":"1994","status":"public","article_type":"original","issue":"3","citation":{"ama":"Barton NH. The reduction in fixation probability caused by substitutions at linked loci. <i>Genetical Research</i>. 1994;64(3):199-208. doi:<a href=\"https://doi.org/10.1017/S0016672300032857 \">10.1017/S0016672300032857 </a>","ista":"Barton NH. 1994. The reduction in fixation probability caused by substitutions at linked loci. Genetical Research. 64(3), 199–208.","short":"N.H. Barton, Genetical Research 64 (1994) 199–208.","mla":"Barton, Nicholas H. “The Reduction in Fixation Probability Caused by Substitutions at Linked Loci.” <i>Genetical Research</i>, vol. 64, no. 3, Cambridge University Press, 1994, pp. 199–208, doi:<a href=\"https://doi.org/10.1017/S0016672300032857 \">10.1017/S0016672300032857 </a>.","chicago":"Barton, Nicholas H. “The Reduction in Fixation Probability Caused by Substitutions at Linked Loci.” <i>Genetical Research</i>. Cambridge University Press, 1994. <a href=\"https://doi.org/10.1017/S0016672300032857 \">https://doi.org/10.1017/S0016672300032857 </a>.","ieee":"N. H. Barton, “The reduction in fixation probability caused by substitutions at linked loci,” <i>Genetical Research</i>, vol. 64, no. 3. Cambridge University Press, pp. 199–208, 1994.","apa":"Barton, N. H. (1994). The reduction in fixation probability caused by substitutions at linked loci. <i>Genetical Research</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/S0016672300032857 \">https://doi.org/10.1017/S0016672300032857 </a>"},"publication_identifier":{"issn":["0016-6723"]},"author":[{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","last_name":"Barton","orcid":"0000-0002-8548-5240","first_name":"Nicholas H"}],"date_published":"1994-12-01T00:00:00Z","date_updated":"2022-06-03T08:34:32Z","doi":"10.1017/S0016672300032857 ","article_processing_charge":"No","scopus_import":"1","quality_controlled":"1","intvolume":"        64","main_file_link":[{"url":"https://www.cambridge.org/core/journals/genetics-research/article/reduction-in-fixation-probability-caused-by-substitutions-at-linked-loci/458BBF3E7FE92E4EA6AFB2B000A98945"}],"publication_status":"published","day":"01","language":[{"iso":"eng"}],"month":"12"},{"doi":"10.1093/genetics/138.3.913","date_updated":"2022-06-03T08:18:54Z","article_processing_charge":"No","author":[{"last_name":"Turelli","first_name":"Michael","full_name":"Turelli, Michael"},{"first_name":"Nicholas H","orcid":"0000-0002-8548-5240","last_name":"Barton","full_name":"Barton, Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87"}],"date_published":"1994-11-01T00:00:00Z","quality_controlled":"1","publication_status":"published","intvolume":"       138","main_file_link":[{"url":"https://pubmed.ncbi.nlm.nih.gov/7851785/","open_access":"1"}],"day":"01","pmid":1,"language":[{"iso":"eng"}],"month":"11","publisher":"Genetics Society of America","title":"Genetic and statistical analyses of strong selection on polygenic traits: What, me normal?","publication":"Genetics","publist_id":"2741","oa_version":"Published Version","date_created":"2018-12-11T12:04:24Z","extern":"1","abstract":[{"text":"We develop a general population genetic framework for analyzing selection on many loci, and apply it to strong truncation and disruptive selection on an additive polygenic trait. We first present statistical methods for analyzing the infinitesimal model, in which offspring breeding values are normally distributed around the mean of the parents, with fixed variance. These show that the usual assumption of a Gaussian distribution of breeding values in the population gives remarkably accurate predictions for the mean and the variance, even when disruptive selection generates substantial deviations from normality. We then set out a general genetic analysis of selection and recombination. The population is represented by multilocus cumulants describing the distribution of haploid genotypes, and selection is described by the relation between mean fitness and these cumulants. We provide exact recursions in terms of generating functions for the effects of selection on non-central moments. The effects of recombination are simply calculated as a weighted sum over all the permutations produced by meiosis. Finally, the new cumulants that describe the next generation are computed from the non-central moments. Although this scheme is applied here in detail only to selection on an additive trait, it is quite general. For arbitrary epistasis and linkage, we describe a consistent infinitesimal limit in which the short-term selection response is dominated by infinitesimal allele frequency changes and linkage disequilibria. Numerical multilocus results show that the standard Gaussian approximation gives accurate predictions for the dynamics of the mean and genetic variance in this limit. Even with intense truncation selection, linkage disequilibria of order three and higher never cause much deviation from normality. Thus, the empirical deviations frequently found between predicted and observed responses to artificial selection are not caused by linkage-disequilibrium-induced departures from normality. Disruptive selection can generate substantial four-way disequilibria, and hence kurtosis; but even then, the Gaussian assumption predicts the variance accurately. In contrast to the apparent simplicity of the infinitesimal limit, data suggest that changes in genetic variance after 10 or more generations of selection are likely to be dominated by allele frequency dynamics that depend on genetic details.","lang":"eng"}],"type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"913 - 941","volume":138,"year":"1994","_id":"3642","article_type":"original","external_id":{"pmid":["7851785"]},"issue":"3","status":"public","oa":1,"publication_identifier":{"issn":["0016-6731"]},"citation":{"apa":"Turelli, M., &#38; Barton, N. H. (1994). Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? <i>Genetics</i>. Genetics Society of America. <a href=\"https://doi.org/10.1093/genetics/138.3.913\">https://doi.org/10.1093/genetics/138.3.913</a>","ieee":"M. Turelli and N. H. Barton, “Genetic and statistical analyses of strong selection on polygenic traits: What, me normal?,” <i>Genetics</i>, vol. 138, no. 3. Genetics Society of America, pp. 913–941, 1994.","chicago":"Turelli, Michael, and Nicholas H Barton. “Genetic and Statistical Analyses of Strong Selection on Polygenic Traits: What, Me Normal?” <i>Genetics</i>. Genetics Society of America, 1994. <a href=\"https://doi.org/10.1093/genetics/138.3.913\">https://doi.org/10.1093/genetics/138.3.913</a>.","mla":"Turelli, Michael, and Nicholas H. Barton. “Genetic and Statistical Analyses of Strong Selection on Polygenic Traits: What, Me Normal?” <i>Genetics</i>, vol. 138, no. 3, Genetics Society of America, 1994, pp. 913–41, doi:<a href=\"https://doi.org/10.1093/genetics/138.3.913\">10.1093/genetics/138.3.913</a>.","ista":"Turelli M, Barton NH. 1994. Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? Genetics. 138(3), 913–941.","short":"M. Turelli, N.H. Barton, Genetics 138 (1994) 913–941.","ama":"Turelli M, Barton NH. Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? <i>Genetics</i>. 1994;138(3):913-941. doi:<a href=\"https://doi.org/10.1093/genetics/138.3.913\">10.1093/genetics/138.3.913</a>"}},{"publist_id":"2091","oa_version":"None","date_created":"2018-12-11T12:06:33Z","publisher":"Springer","title":"Counting triangle crossings and halving planes","publication":"Discrete & Computational Geometry","extern":"1","abstract":[{"text":"Every collection of t≥2 n2 triangles with a total of n vertices in ℝ3 has Ω(t4/n6) crossing pairs. This implies that one of their edges meets Ω(t3/n6) of the triangles. From this it follows that n points in ℝ3 have only O(n8/3) halving planes.","lang":"eng"}],"year":"1994","_id":"4032","type":"journal_article","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","page":"281 - 289","volume":12,"publication_identifier":{"issn":["0179-5376"]},"citation":{"apa":"Dey, T., &#38; Edelsbrunner, H. (1994). Counting triangle crossings and halving planes. <i>Discrete &#38; Computational Geometry</i>. Springer. <a href=\"https://doi.org/10.1007/BF02574381\">https://doi.org/10.1007/BF02574381</a>","chicago":"Dey, Tamal, and Herbert Edelsbrunner. “Counting Triangle Crossings and Halving Planes.” <i>Discrete &#38; Computational Geometry</i>. Springer, 1994. <a href=\"https://doi.org/10.1007/BF02574381\">https://doi.org/10.1007/BF02574381</a>.","ieee":"T. Dey and H. Edelsbrunner, “Counting triangle crossings and halving planes,” <i>Discrete &#38; Computational Geometry</i>, vol. 12, no. 1. Springer, pp. 281–289, 1994.","ista":"Dey T, Edelsbrunner H. 1994. Counting triangle crossings and halving planes. Discrete &#38; Computational Geometry. 12(1), 281–289.","short":"T. Dey, H. Edelsbrunner, Discrete &#38; Computational Geometry 12 (1994) 281–289.","mla":"Dey, Tamal, and Herbert Edelsbrunner. “Counting Triangle Crossings and Halving Planes.” <i>Discrete &#38; Computational Geometry</i>, vol. 12, no. 1, Springer, 1994, pp. 281–89, doi:<a href=\"https://doi.org/10.1007/BF02574381\">10.1007/BF02574381</a>.","ama":"Dey T, Edelsbrunner H. Counting triangle crossings and halving planes. <i>Discrete &#38; Computational Geometry</i>. 1994;12(1):281-289. doi:<a href=\"https://doi.org/10.1007/BF02574381\">10.1007/BF02574381</a>"},"article_type":"original","issue":"1","status":"public","acknowledgement":"The research of H. Edelsbrunner was supported by the National Science Foundation under Grant CCR-8921421 and under an Alan T. Waterman award, Grant CCR-9118874. Any opinions, findings and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect the view of the National Science Foundation.","quality_controlled":"1","scopus_import":"1","date_updated":"2022-06-02T12:53:01Z","doi":"10.1007/BF02574381","article_processing_charge":"No","date_published":"1994-09-01T00:00:00Z","author":[{"full_name":"Dey, Tamal","last_name":"Dey","first_name":"Tamal"},{"full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner"}],"publication_status":"published","main_file_link":[{"url":"https://link.springer.com/article/10.1007/BF02574381"}],"intvolume":"        12","language":[{"iso":"eng"}],"month":"09","day":"01"}]