@article{3469,
abstract = {Glutamate-operated ion channels (GluR channels) of the L-alpha-amino-3-hydroxy-5-methyl-4-isoxazolepropionic acid (AMPA)-kainate subtype are found in both neurons and glial cells of the central nervous system. These channels are assembled from the GluR-A, -B, -C, and -D subunits; channels containing a GluR-B subunit show an outwardly rectifying current-voltage relation and low calcium permeability, whereas channels lacking the GluR-B subunit are characterized by a doubly rectifying current-voltage relation and high calcium permeability. Most cell types in the central nervous system coexpress several subunits, including GluR-B. However, Bergmann glia in rat cerebellum do not express GluR-B subunit genes. In a subset of cultured cerebellar glial cells, likely derived from Bergmann glial cells. GluR channels exhibit doubly rectifying current-voltage relations and high calcium permeability, whereas GluR channels of cerebellar neurons have low calcium permeability. Thus, differential expression of the GluR-B subunit gene in neurons and glia is one mechanism by which functional properties of native GluR channels are regulated.},
author = {Burnashev, Nail A and Khodorova, Alla and Peter Jonas and Helm, P. J. and Wisden, William and Monyer, Hannah and Seeburg, Peter H and Sakmann, Bert},
journal = {Science},
number = {5063},
pages = {1566 -- 1570},
publisher = {American Association for the Advancement of Science},
title = {{Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells.}},
doi = {10.1126/science.1317970},
volume = {256},
year = {1992},
}
@article{3471,
abstract = {1. Outside-out patches were isolated from granule cells of dentate gyrus and pyramidal cells of CA3 and CA1 regions of rat hippocampal slices. Patches were exposed briefly to L-glutamate using a piezo-driven double-barrelled application pipette. 2. Applications of glutamate (1 mM) of 1 ms duration activated patch currents which rose and decayed rapidly. The 20-80% rise time of these glutamate receptor (GluR)-mediated currents was usually 0.2-0.6 ms. At -50 mV the peak current varied from 10 to 500 pA in different patches. 3. The peak current-voltage relation for brief pulses of 1 mM glutamate was virtually linear in normal extracellular solution for patches from the three cell types (-100 to 60 mV). 4. The permeability of GluR channels activated at the peak to Ca2+, relative to K+, was less than 0.1 for all three cell types (under bi-ionic conditions with Ca2+ on the extracellular side and K+ on the intracellular side of the membrane). 5. The offset decay time constant of the current following 1 ms pulses of 1 mM glutamate was brief, with mean values of 3.0 +/- 0.8, 2.5 +/- 0.7, and 2.3 +/- 0.7 ms for dentate, CA3 and CA1 cell patches, respectively. Offset time constants were independent of membrane potential and independent of glutamate concentration (200 microM and 1 mM) for the three cell types. 6. Applications of 1 mM glutamate of 100 ms duration showed that glutamate responses desensitized rapidly. The time constants for desensitization were 9.4 +/- 2.7, 11.3 +/- 2.8, and 9.3 +/- 2.8 ms for patches from dentate, CA3 and CA1 cells respectively. Desensitization time constants were only weakly dependent on glutamate concentration (200 microM and 1 mM) for the three cell types. Thus offset time constants are about four times faster than desensitization time constants for both glutamate concentrations. 7. Double pulse application of glutamate indicated that even a 1 ms pulse of 1 mM glutamate causes partial (about 60%) desensitization of GluR channels. The time course of recovery from desensitization was slower in dentate gyrus granule cell patches than in CA3 or CA1 pyramidal cell patches. 8. Desensitization was studied at equilibrium by exposing patches to low glutamate concentrations for at least 15 s before a 1 ms test pulse of 1 mM glutamate.},
author = {Colquhoun, D. and Peter Jonas and Sakmann, Bert},
journal = {Journal of Physiology},
pages = {261 -- 287},
publisher = {Wiley-Blackwell},
title = {{Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices}},
doi = {10.1113/jphysiol.1992.sp019417},
volume = {458},
year = {1992},
}
@inproceedings{4049,
abstract = {The edge-insertion paradigm improves a triangulation of a finite point set in R2
iteratively by adding a new edge, deleting intersecting old edges, and retriangulating
the resulting two polygonal regions. After presenting an abstract view of the paradigm,
this paper shows that it can be used to obtain polynomial time algorithms for several
types of optimal triangulations.},
author = {Bern, Marshall and Herbert Edelsbrunner and Eppstein, David and Mitchell, Stephen and Tan, Tiow Seng},
pages = {46 -- 60},
publisher = {Springer},
title = {{Edge insertion for optimal triangulations}},
doi = {10.1007/BFb0023816},
volume = {583},
year = {1992},
}
@article{4195,
abstract = {The effects of tri-iodothyronine (T3), which are known to affect cerebellar development, were tested on neuronal survival and differentiation of cultured cerebellar granule neurons. T3 in physiological concentrations increased both granule neuron survival after three days in culture and synaptic vesicle protein formation, as shown by immunostaining with antibodies against synaptophysin. Likewise, T3 increased the mRNA level for synapsin(I), but not that for GAP43 in granule neurons. Antibodies against microtubule associated protein Tau, which is expressed in developing neurites, showed that T3 also enhanced neurite formation.},
author = {Heisenberg, Carl-Philipp and Thoenen, Hans and Lindholm, Dan},
journal = {Neuroreport},
number = {8},
pages = {685 -- 688},
publisher = {Lippincott, Williams & Wilkins},
title = {{Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons}},
volume = {3},
year = {1992},
}
@inproceedings{4594,
abstract = {The authors introduce two-way timed automata-timed automata that can move back and forth while reading a timed word. Two-wayness in its unrestricted form leads, like nondeterminism, to the undecidability of language inclusion. However, if they restrict the number of times an input symbol may be revisited, then two-wayness is both harmless and desirable. The authors show that the resulting class of bounded two-way deterministic timed automata is closed under all boolean operations, has decidable (PSPACE-complete) emptiness and inclusion problems, and subsumes all decidable real-time logics we know. They obtain a strict hierarchy of real-time properties: deterministic timed automata can accept more languages as the bound on the number of times an input symbol may be revisited is increased. This hierarchy is also enforced by the number of alternations between past and future operators in temporal logic. The combination of the results leads to a decision procedure for a real-time logic with past operators
},
author = {Alur, Rajeev and Thomas Henzinger},
pages = {177 -- 186},
publisher = {IEEE},
title = {{Back to the future: Towards a theory of timed regular languages}},
doi = {10.1109/SFCS.1992.267774},
year = {1992},
}
@inbook{3566,
author = {Herbert Edelsbrunner and Sharir, Micha},
booktitle = {Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift},
pages = {253 -- 263},
publisher = {American Mathematical Society},
title = {{A hyperplane incidence problem with applications to counting distances}},
volume = {4},
year = {1991},
}
@article{3648,
abstract = {We investigate the probability of fixation of a chromosome rearrangement in a subdivided population, concentrating on the limit where migration is so large relative to selection (m ≫ s) that the population can be thought of as being continuously distributed. We study two demes, and one- and two-dimensional populations. For two demes, the probability of fixation in the limit of high migration approximates that of a population with twice the size of a single deme: migration therefore greatly reduces the fixation probability. However, this behavior does not extend to a large array of demes. Then, the fixation probability depends primarily on neighborhood size (Nb), and may be appreciable even with strong selection and free gene flow (≈exp(-B·Nb) in one dimension, ≈exp(-B\cdotNb) in two dimensions). Our results are close to those for the more tractable case of a polygenic character under disruptive selection.},
author = {Nicholas Barton and Rouhani, Shahin},
journal = {Evolution},
number = {3},
pages = {499 -- 517},
publisher = {Wiley-Blackwell},
title = {{The probability of fixation of a new karyotype in a continuous population}},
volume = {45},
year = {1991},
}
@article{4052,
abstract = {This paper describes an effective procedure for stratifying a real semi-algebraic set into cells of constant description size. The attractive feature of our method is that the number of cells produced is singly exponential in the number of input variables. This compares favorably with the doubly exponential size of Collins' decomposition. Unlike Collins' construction, however, our scheme does not produce a cell complex but only a smooth stratification. Nevertheless, we are able to apply our results in interesting ways to problems of point location and geometric optimization.},
author = {Chazelle, Bernard and Herbert Edelsbrunner and Guibas, Leonidas J and Sharir, Micha},
journal = {Theoretical Computer Science},
number = {1},
pages = {77 -- 105},
publisher = {Elsevier},
title = {{A singly exponential stratification scheme for real semi-algebraic varieties and its applications}},
doi = {10.1016/0304-3975(91)90261-Y},
volume = {84},
year = {1991},
}
@article{4057,
author = {Herbert Edelsbrunner},
journal = {Journal of Computer and System Sciences},
number = {2},
pages = {249 -- 251},
publisher = {Elsevier},
title = {{Corrigendum}},
doi = {10.1016/0022-0000(91)90013-U},
volume = {42},
year = {1991},
}
@article{1946,
abstract = {An ultra-low dose (10-14 M) of opioid peptide [D-Ala2]methionine enkephalinamide (DAMEA) is found to exert an inhibitory effect on the production of reactive oxygen species (respiratory burst) in human neutrophils. The validity of this phenomenon has been verified in a series of studies that comprised 30 experiments. The inhibition has proved to be statistically significant (P<0.001). The dose-response dependence of the effect (10-15-10-9 M) followed a characteristic biphasic pattern (with the maximum effect at ultra-low doses). An opioid antagonist, naloxone partially blocks the inhibitory effect, which indicates that the DAMEA action is at least partially mediated by opioid receptors.},
author = {Zaǐtsev, Sergei V and Leonid Sazanov and Koshkin, Aleksei A and Sud'Ina, Galina F and Varfolomeev, Sergei D},
journal = {FEBS Letters},
number = {1},
pages = {84 -- 86},
publisher = {Elsevier},
title = {{Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide}},
doi = {10.1016/0014-5793(91)81109-L},
volume = {291},
year = {1991},
}
@article{2482,
abstract = {The complementary DNA of a metabotropic glutamate receptor coupled to inositol phosphate/Ca2+ signal transduction has been cloned and characterized. This receptor shows no sequence similarity to conventional G protein-coupled receptors and has a unique structure with large hydrophilic sequences at both sides of seven putative membrane-spanning domains. Abundant expression of this messenger RNA is observed in neuronal cells in hippocampal dentate gyrus and CA2-3 and in cerebellar Purkinje cells, suggesting the importance of this receptor in specific hippocampal and cerebellar functions.},
author = {Masu, Masayuki and Tanabe, Yasuto and Tsuchida, Kunihiro and Ryuichi Shigemoto and Nakanishi, Shigetada},
journal = {Nature},
number = {6312},
pages = {760 -- 765},
publisher = {Nature Publishing Group},
title = {{Sequence and expression of a metabotropic glutamate receptor}},
doi = {10.1038/349760a0},
volume = {349},
year = {1991},
}
@inbook{3567,
author = {Herbert Edelsbrunner},
booktitle = {Discrete & Computational Geometry},
pages = {77 -- 93},
publisher = {Springer},
title = {{Lines in space – A collection of results}},
volume = {6},
year = {1991},
}
@inproceedings{4058,
abstract = {We present a randomized incremental algorithm for computing a single face in an arrangement of n line segments in the plane that is fairly simple to implement. The expected running
time of the algorithm is O (nα(n) log n). The analysis of the algorithm uses a novel approach that generalizes and extends the Clarkson-Shor analysis technique.},
author = {Chazelle, Bernard and Herbert Edelsbrunner and Guibas, Leonidas and Sharir, Micha and Snoeyink, Jack},
pages = {441 -- 448},
publisher = {SIAM},
title = {{Computing a face in an arrangement of line segments}},
year = {1991},
}
@inproceedings{4508,
abstract = {We extend the specification language of temporal logic, the corresponding verification framework, and the underlying computational model to deal with real-time properties of concurrent and reactive systems. A global, discrete, and asynchronous clock is incorporated into the model by defining the abstract notion of a real-time transition system as a conservative extension of traditional transition systems: qualitative fairness requirements are replaced (and superseded) by quantitative lower-bound and upperbound real-time requirements for transitions. We show how to model real-time systems that communicate either through shared variables or by message passing, and how to represent the important real-time constructs of priorities (interrupts), scheduling, and timeouts in this framework. Two styles for the specification of real-time properties are presented. The first style uses bounded versions of the temporal operators; the real-time requirements expressed in this style are classified ...},
author = {Thomas Henzinger and Manna, Zohar and Pnueli,Amir},
pages = {353 -- 366},
publisher = {ACM},
title = {{Temporal proof methodologies for real-time systems}},
doi = {10.1145/99583.99629},
year = {1991},
}
@article{2483,
abstract = {A complementary DNA encoding the rat NMDA receptor has been cloned and characterized. The single protein encoded by the cDNA forms a receptor-channel complex that has electrophysiological and pharmacological properties characteristic of the NMDA receptor. This protein has a significant sequence similarity to the AMPA/kainate receptors and contains four putative transmembrane segments following a large extracellular domain. The NMDA receptor messenger RNA is expressed in neuronal cells throughout the brain regions, particularly in the hippocampus, cerebral cortex and cerebellum.},
author = {Moriyoshi, Koki and Masu, Masayuki and Ishii, Takahiro and Ryuichi Shigemoto and Mizuno, Noboru and Nakanishi, Shigetada},
journal = {Nature},
number = {6348},
pages = {31 -- 37},
publisher = {Nature Publishing Group},
title = {{Molecular cloning and characterization of the rat NMDA receptor}},
doi = {10.1038/354031a0},
volume = {353},
year = {1991},
}
@inproceedings{4054,
abstract = {The zone theorem for an arrangement of n hyperplanes in d-dimensional real space says that the total number of faces bounding the cells intersected by another hyperplane is O(n d–1). This result is the basis of a time-optimal incremental algorithm that constructs a hyperplane arrangement and has a host of other algorithmic and combinatorial applications. Unfortunately, the original proof of the zone theorem, for d ge 3, turned out to contain a serious and irreparable error. This paper presents a new proof of the theorem. Our proof is based on an inductive argument, which also applies in the case of pseudo-hyperplane arrangements. We also briefly discuss the fallacies of the old proof along with some ways of partially saving that approach.},
author = {Herbert Edelsbrunner and Seidel, Raimund and Sharir, Micha},
pages = {108 -- 123},
publisher = {Springer},
title = {{On the zone theorem for hyperplane arrangements}},
doi = {10.1007/BFb0038185},
volume = {555},
year = {1991},
}
@inproceedings{4059,
abstract = {Let P be a simple polygon with n vertices. We present a simple decomposition scheme that partitions the interior of P into O(n) so-called geodesic triangles, so that any line segment interior to P crosses at most 2 log n of these triangles. This decomposition can be used to preprocess P in time O(n log n) and storage O(n), so that any ray-shooting query can be answered in time O(log n).The algorithms are fairly simple and easy to implement. We also extend this technique to the case of ray-shooting amidst k polygonal obstacles with a total of n edges, so that a query can be answered in O(radicklog n) time.},
author = {Chazelle, Bernard and Herbert Edelsbrunner and Grigni, Michelangelo and Guibas, Leonidas and Hershberger, John and Sharir, Micha and Snoeyink, Jack},
pages = {661 -- 673},
publisher = {Springer},
title = {{Ray shooting in polygons using geodesic triangulations}},
doi = {10.1007/3-540-54233-7_172},
volume = {510},
year = {1991},
}
@article{4061,
abstract = {We present an algorithm to compute a Euclidean minimum spanning tree of a given set S of N points in Ed in time O(Fd (N,N) logd N), where Fd (n,m) is the time required to compute a bichromatic closest pair among n red and m green points in Ed . If Fd (N,N)=Ω(N1+ε), for some fixed e{open}>0, then the running time improves to O(Fd (N,N)). Furthermore, we describe a randomized algorithm to compute a bichromatic closest pair in expected time O((nm log n log m)2/3+m log2 n+n log2 m) in E3, which yields an O(N4/3 log4/3 N) expected time, algorithm for computing a Euclidean minimum spanning tree of N points in E3. In d≥4 dimensions we obtain expected time O((nm)1-1/([d/2]+1)+ε+m log n+n log m) for the bichromatic closest pair problem and O(N2-2/([d/2]+1)ε) for the Euclidean minimum spanning tree problem, for any positive e{open}.},
author = {Agarwal, Pankaj K and Herbert Edelsbrunner and Schwarzkopf, Otfried and Welzl, Emo},
journal = {Discrete & Computational Geometry},
number = {1},
pages = {407 -- 422},
publisher = {Springer},
title = {{Euclidean minimum spanning trees and bichromatic closest pairs}},
doi = {10.1007/BF02574698},
volume = {6},
year = {1991},
}
@phdthesis{4516,
author = {Thomas Henzinger},
publisher = {Stanford University},
title = {{The Temporal Specification and Verification of Real-time Systems }},
year = {1991},
}
@article{4592,
author = {Alur, Rajeev and Thomas Henzinger},
journal = {SIGACT News},
number = {3},
pages = {6 -- 12},
publisher = {ACM},
title = {{Time for logic}},
volume = {22},
year = {1991},
}