@inproceedings{4504,
author = {Thomas Henzinger and Manna, Zohar and Pnueli,Amir},
pages = {545 -- 558},
publisher = {Springer},
title = {{What good are digital clocks?}},
doi = {10.1007/3-540-55719-9_103},
volume = {623},
year = {1992},
}
@article{2535,
abstract = {We report the molecular characterization of two novel rat helix-loop-helix (HLH) proteins, designated HES-1 and HES-3, that show structural homology to the Drosophila hairy and Enhancer of split [E(spl)] proteins, both of which are required for normal neurogenesis. HES-1 mRNA, expressed in various tissues of both embryos and adults, is present at a high level in the epithelial cells, including the embryonal neuroepithelial cells, as well as in the mesoderm-derived tissues such as the embryonal muscle. In contrast, HES-3 mRNA is produced exclusively in cerebellar Purkinje cells. HES-1 represses transcription by binding to the N box, which is a recognition sequence of E(spl) proteins. Interestingly, neither HES-1 nor HES-3 alone interacts efficiently with the E box, but each protein decreases the transcription induced by E-box-binding HLH activators such as E47. Furthermore, HES-1 also inhibits the functions of MyoD and MASH1 and effectively diminishes the myogenic conversion of C3H10T1/2 cells induced by MyoD. These results suggest that HES-1 may play an important role in mammalian development by negatively acting on the two different sequences while HES-3 acts as a repressor in a specific type of neurons.},
author = {Sasai, Yoshiki and Kageyama, Ryoichiro and Tagawa, Yoshiaki and Ryuichi Shigemoto and Nakanishi, Shigetada},
journal = {Genes and Development},
number = {12 B},
pages = {2620 -- 2634},
publisher = {Cold Spring Harbor Laboratory Press},
title = {{Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split}},
doi = {10.1101/gad.6.12b.2620},
volume = {6},
year = {1992},
}
@article{2484,
abstract = {Three cDNA clones, mGluR2, mGluR3, and mGluR4, were isolated from a rat brain cDNA library by cross-hybridization with the cDNA for a metabotropic glutamate receptor (mGluR1). The cloned receptors show considerable sequence similarity with mGluR1 and possess a large extracellular domain preceding the seven putative membrane-spanning segments. mGluR2 is expressed in some particular neuronal cells different from those expressing mGluR1 and mediates an efficient inhibition of forskolin-stimulated cAMP formation in cDNA- transfected cells. The mGluRs thus form a novel family of G protein-coupled receptors that differ in their signal transduction and expression patterns.},
author = {Tanabe, Yasuto and Masu, Masayuki and Ishii, Takahiro and Ryuichi Shigemoto and Nakanishi, Shigetada},
journal = {Neuron},
number = {1},
pages = {169 -- 179},
publisher = {Elsevier},
title = {{A family of metabotropic glutamate receptors}},
doi = {10.1016/0896-6273(92)90118-W},
volume = {8},
year = {1992},
}
@article{3470,
abstract = {Currents activated by glutamate receptor (GluR) agonists were recorded from outside-out patches isolated from the soma of visually identified pyramidal neurones of the (CA3 and CA1 region of rat hippocampal slices. α-Amino-3-hydroxy-5-methyl-4-isoxazolepropionic acid (AMPA). L-glutamate (L-Glu), and kainate (KA) were delivered either by bath application through perfusion of the recording chamber or by rapid application via a piezo-driven two-barrelled fast application system. 2. Bath application of each of the three agonists activated inward currents in all patches (n = 134) at holding potentials of -50 or -60 mV. The current amplitude increased in size between 3 to 30 μM-AMPA and 100 μM to 1 mM-KA. With this slow mode of bath application, the responses showed no apparent desensitization even at saturating concentrations of AMPA (30 μM) and KA (1 mM). 3. The ratio of currents activated by 30 μM-AMPA and 300 μM-KA showed a characteristic difference between CA3 and CA1 neurones. The ratio was 0.242 ± 0.028 (mean ± S.E.M., n = 16) for CA3 cell patches and 0.097 ± 0.012 (n = 8) for CA1 cell patches indicating that GluRs in the two cell populations are different. 4. The steady-state current-voltage relations (I-Vs) for AMPA- and KA-activated currents showed pronounced outward rectification for both cell types (when the main cations are Na+ in the bath and Cs+ in the pipette solution). The current reversed close to 0 mV and the ratio of chord conductances 80 mV on either side of the reversal potential was 2.66 for KA-activated currents in CA3 cell patches and 2.60 in CA1 cell patches. AMPA-activated currents showed a time-dependent increase after steps to positive membrane potentials and a decrease after steps to negative voltages, indicating that a gating process is responsible for outward rectification of the steady-state I-IV. 5. The permeability (P) of GluR channels was high for Na+ as compared to Cs+ for both cell types (P(Na)/P(Cs) = 0.88 and 0.84). The permeability was low for N-methyl-D-glucamine+ (P(NMG)/P(Cs) ≤ 0.03) and Ca2+ (P(Ca)/P(Cs) ≤0.05). 6. The current noise level increased during application of AMPA or KA. Apparent single-channel conductances obtained from fluctuation analysis were higher for AMPA than for KA, but similar for both cell types. In CA3 cell patches, AMPA activated channels with an apparent chord conductance of 7.2 pS, KA of 3.0 pS conductance. 7. Fast agonist application revealed desensitization of GluR channels which was dependent on the type of agonist, currents activated by AMPA and L-Glu rose rapidly to a peak and then desensitized to a steady-state current. In contrast, currents activated by fast application of KA rose to a plateau and did not desensitize. The steady state current expressed as a percentage of the peak current was higher for L-Glu than for AMPA and slightly higher for CA3 than for CA1 cell patches. For CA3 cell patches, this fraction amounted to 6.2 %, with 300 μM-L-Glu and 2.8%, with 300 μM-AMPA. For CA1 cell patches, corresponding values were 3.6 and 1.9 % 8. The dose response relations for the peak current activated by AMPA and L-Glu and the steady-state current activated by KA were similar for CA3 and CA1 cell patches. The order of potency was AMPA > L-Glu ≃ KA for both cell types EC50 values 189, 342 and 344 μM for CA3 cell patches and 183, 424 and 474 μM for CA1 cell patches). In all cases, the Hill coefficients ranged between 12 and 1.7. 8. The rise of AMPA and L-Glu-activated currents became faster with increasing agonist concentration for both cell types. With L-Glu, rise times decreased from about 3 ms at 100 μM to 500 μs at 3 mM. The delay for agonist concentrations ≥ 300 μM was described by the sum of two exponential functions. The time constant of the predominant fast component was slightly concentration dependent and decreased from about 12 ms at 300 μM to 8 ms at 3 mM-L-Glu. 10. The current voltage relations of the peak currents activated by 300 μM-AMPA were linear for both cell types with a reversal potential close to OmV. 11. It is concluded that the GluR channels in pyramidal cells of hippocampal CA3 and CA1 regions are distinet but share many pharmacological and functional properties. Comparison of the properties of native and recombinant GluRs suggests that in both CA3 and CA1 regions GluR channels are hetero-oligomers containing the GluR-B subunit.},
author = {Peter Jonas and Sakmann, Bert},
journal = {Journal of Physiology},
pages = {143 -- 171},
publisher = {Wiley-Blackwell},
title = {{Glutamate receptor channels in isolated patches from CA1 and CA3 pyramidal cells of rat hippocampal slices}},
volume = {455},
year = {1992},
}
@article{4043,
abstract = {It is shown that a triangulation of a set of n points in the plane that minimizes the maximum angle can be computed in time O(n2 log n) and space O(n). The algorithm is fairly easy to implement and is based on the edge-insertion scheme that iteratively improves an arbitrary initial triangulation. It can be extended to the case where edges are prescribed, and, within the same time- and space-bounds, it can lexicographically minimize the sorted angle vector if the point set is in general position. Experimental results on the efficiency of the algorithm and the quality of the triangulations obtained are included.},
author = {Herbert Edelsbrunner and Tan, Tiow Seng and Waupotitsch, Roman},
journal = {SIAM Journal on Scientific Computing},
number = {4},
pages = {994 -- 1008},
publisher = {Society for Industrial and Applied Mathematics },
title = {{An O(n^2 log n) time algorithm for the MinMax angle triangulation}},
doi = {10.1137/0913058},
volume = {13},
year = {1992},
}
@article{4048,
abstract = {Given a sequence of n points that form the vertices of a simple polygon, we show that determining a closest pair requires OMEGA(n log n) time in the algebraic decision tree model. Together with the well-known O(n log n) upper bound for finding a closest pair, this settles an open problem of Lee and Preparata. We also extend this O(n log n) upper bound to the following problem: Given a collection of sets with a total of n points in the plane, find for each point a closest neighbor that does not belong to the same set.},
author = {Aggarwal, Alok and Herbert Edelsbrunner and Raghavan, Prabhakar and Tiwari, Prasoon},
journal = {Information Processing Letters},
number = {1},
pages = {55 -- 60},
publisher = {Elsevier},
title = {{Optimal time bounds for some proximity problems in the plane}},
doi = {10.1016/0020-0190(92)90133-G},
volume = {42},
year = {1992},
}
@article{4050,
author = {Herbert Edelsbrunner},
journal = {Discrete & Computational Geometry},
number = {1},
pages = {217 -- 217},
publisher = {Springer},
title = {{Guest editor's foreword}},
doi = {10.1007/BF02293046},
volume = {8},
year = {1992},
}
@article{4308,
author = {Nicholas Barton},
journal = {Evolution; International Journal of Organic Evolution},
number = {2},
pages = {551 -- 557},
publisher = {Wiley-Blackwell},
title = {{On the spread of new gene combinations in the third phase of Wright's shifting balance}},
volume = {46},
year = {1992},
}
@inproceedings{4505,
abstract = {We describe finite-state programs over real-numbered time in a guarded-command language with real-valued clocks or, equivalently, as finite automata with real-valued clocks. Model checking answers the question which states of a real-time program satisfy a branching-time specification (given in an extension of CTL with clock variables). We develop an algorithm that computes this set of states symbolically as a fixpoint of a functional on state predicates, without constructing the state space.
For this purpose, we introduce a mu-calculus on computation trees over real-numbered time. Unfortunately, many standard program properties, such as response for all nonzeno execution sequences (during which time diverges), cannot be characterized by fixpoints: we show that the expressiveness of the timed mu-calculus is incomparable to the expressiveness of timed CTL. Fortunately, this result does not impair the symbolic verification of "implementable" real-time programs--those whose safety constraints are machine-closed with respect to diverging time and whose fairness constraints are restricted to finite upper bounds on clock values. All timed CTL properties of such programs are shown to be computable as finitely approximable fixpoints in a simple decidable theory.},
author = {Thomas Henzinger and Nicollin, Xavier and Sifakis, Joseph and Yovine, Sergio},
pages = {394 -- 406},
publisher = {IEEE},
title = {{Symbolic model checking for real-time systems}},
doi = {10.1109/LICS.1992.185551},
year = {1992},
}
@article{4517,
abstract = {It has been observed repeatedly that the standard safety-liveness classification for properties of reactive systems does not fit for real-time properties. This is because the implicit “liveliness” of time shifts the spectrum towards the safety side. While, for example, response—that “something good” will happen eventually—is a classical liveness property, bounded response—that “something good” will happen soon, within a certain amount of time—has many characteristics of safety. We account for this phenomenon formally by defining safety and liveness relative to a given condition, such as the progress of time.},
author = {Thomas Henzinger},
journal = {Information Processing Letters},
number = {3},
pages = {135 -- 141},
publisher = {Elsevier},
title = {{Sooner Is Safer Than Later}},
doi = {10.1016/0020-0190(92)90005-G},
volume = {43},
year = {1992},
}
@inbook{4593,
abstract = {We survey logic-based and automata-based languages and techniques for the specification and verification of real-time systems. In particular, we discuss three syntactic extensions of temporal logic: time-bounded operators, freeze quantification, and time variables. We also discuss the extension of finite-state machines with clocks and the extension of transition systems with time bounds on the transitions. All of the resulting notations can be interpreted over a variety of different models of time and computation, including linear and branching time, interleaving and true concurrency, discrete and continuous time. For each choice of syntax and semantics, we summarize the results that are known about expressive power, algorithmic finite-state verification, and deductive verification.},
author = {Alur, Rajeev and Thomas Henzinger},
booktitle = {Real Time: Theory in Practice},
pages = {74 -- 106},
publisher = {Springer},
title = {{Logics and models of real time: A survey}},
doi = {10.1007/BFb0031984},
volume = {600},
year = {1992},
}
@article{2485,
abstract = {Endothelins (ETs) are very potent vasoconstrictive peptides and have diverse functions in both vascular and nonvascular tissues. This investigation concerns the tissue distribution and cellular localization of rat mRNAs encoding two different subtypes of ET receptors (ET(A) and ET(B)). We isolated 46 cDNA clones from a rat lung cDNA library by hybridization with the bovine ET(A) cDNA. The characterization of these cDNA clones indicated that they represent either the ET(A) or ET(B) cDNA. In situ and blot hybridization analyses revealed that the rat ET(A) mRNA is predominantly expressed in vascular smooth muscle cells of a variety of tissues, bronchial smooth muscle cells, myocardium, and the pituitary gland. There is no significant expression of ET(B) mRNA in vascular smooth muscle cells, and ET(A), thus, plays a primary role in ET-induced vascular contraction. ET(B) mRNA is more widely distributed in various cell types of many tissues. Its prominent expression is seen in glial cells throughout the brain regions, epithelial cells of the choroid plexus, ependymal cells lining the ventricle, myocardium, endothelial cells of glomeruli, and epithelial cells of the thin segments of Henle's loops. Our investigation demonstrates that the mRNAs for the two subtypes of rat ET receptors show specialized expression patterns of cell types in both brain and peripheral tissues.},
author = {Hori, Seiji and Komatsu, Yasato and Ryuichi Shigemoto and Mizuno, Noboru and Nakanishi, Shigetada},
journal = {Endocrinology},
number = {4},
pages = {1885 -- 1895},
publisher = {The Endocrine Society},
title = {{Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors}},
doi = {10.1210/en.130.4.1885},
volume = {130},
year = {1992},
}
@article{2531,
abstract = {The distribution of NMDA receptor (NMDAR1) on neurons in the peripheral ganglia was examined in the adult rat by in situ hybridization. NMDAR1 mRNA was expressed in all neurons in the sensory and autonomic ganglia examined; in the dorsal root, trigeminal, nodose, superior cervical, and sphenopalatine ganglia. Possible roles of the NMDA receptor on the sensory and autonomic ganglion neurons are discussed.},
author = {Ryuichi Shigemoto and Ohishi, Hitoshi and Nakanishi, Shigetada and Mizuno, Noboru},
journal = {Neuroscience Letters},
number = {1-2},
pages = {229 -- 232},
publisher = {Elsevier},
title = {{Expression of the mRNA for the rat NMDA receptor (NMDAR1) in the sensory and autonomic ganglion neurons}},
doi = {10.1016/0304-3940(92)90756-W},
volume = {144},
year = {1992},
}
@article{2714,
author = {László Erdös},
journal = {Acta Mathematica Hungarica},
number = {1-2},
pages = {11 -- 24},
publisher = {Springer},
title = {{On some problems of P. Turán concerning power sums of complex numbers}},
doi = {10.1007/BF00052086},
volume = {59},
year = {1992},
}
@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},
}