Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7036 Publications
1993 |Published| Journal Article | IST-REx-ID: 3446
Sziranyi T, Csicsvari JL. High-speed character recognition using a dual cellular neural network architecture (CNND). IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing. 1993;40(3):223-231. doi:10.1109/82.222823
View
| DOI
| Download None (ext.)
1993 |Published| Book Chapter | IST-REx-ID: 3451
Jonas PM. Glutamate receptors in the central nervous system. In: Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction. Vol 707. Annals of the New York Academy of Sciences. New York Academy of Sciences; 1993:126-135. doi:10.1111/j.1749-6632.1993.tb38048.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 3643
Rouhani S, Barton NH. Group selection and the “shifting balance.” Genetical Research. 1993;61(2):127-136. doi:10.1017/S0016672300031232
View
| DOI
| Download None (ext.)
1993 |Published| Journal Article | IST-REx-ID: 3644
Barton NH, Rouhani S. Adaptation and the “shifting balance.” Genetical Research. 1993;61(1):57-74. doi:10.1017/S0016672300031098
View
| DOI
| Download None (ext.)
1993 |Published| Journal Article | IST-REx-ID: 4044
Bern M, Edelsbrunner H, Eppstein D, Mitchell S, Tan T. Edge insertion for optimal triangulations. Discrete & Computational Geometry. 1993;10(1):47-65. doi:10.1007/BF02573962
View
| DOI
| Download None (ext.)
1993 |Published| Journal Article | IST-REx-ID: 4045
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. Diameter, width, closest line pair, and parametric searching. Discrete & Computational Geometry. 1993;10(1):183-196. doi:10.1007/BF02573973
View
| DOI
| Download None (ext.)
1993 |Published| Journal Article | IST-REx-ID: 4042
Edelsbrunner H, Tan T. A quadratic time algorithm for the minmax length triangulation. SIAM Journal on Computing. 1993;22(3):527-551. doi:10.1137/0222036
View
| DOI
| Download None (ext.)
1993 |Published| Journal Article | IST-REx-ID: 4177 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lindholm D, Castrén E, Tsoulfas P, et al. Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology. 1993;122(2):443-450. doi:10.1083/jcb.122.2.443
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 4175
Lindholm D, Dechant G, Heisenberg C-PJ, Thoenen H. Brain-derived neurotrophic factor is a survival factor for cultured rat cerebellar granule neurons and protects them against glutamate-induced neurotoxicity. European Journal of Neuroscience. 1993;5(11):1455-1464. doi:10.1111/j.1460-9568.1993.tb00213.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 4299
Partridge L, Barton NH. Evolution of aging: Testing the theory using Drosophila. Genetica. 1993;91(1-3):89-98. doi:10.1007/BF01435990
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Journal Article | IST-REx-ID: 4300
Partridge L, Barton NH. Optimality, mutation and the evolution of ageing. Nature. 1993;362:305-311. doi:10.1038/362305a0
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |Published| Conference Paper | IST-REx-ID: 4506
Henzinger TA, Manna Z, Pnueli A. Towards refining temporal specifications into hybrid systems. In: Grossman R, Nerode A, Ravn A, Rischel H, eds. International Hybrid Systems Workshop. Vol 736. Springer; 1993:60-76. doi:10.1007/3-540-57318-6_24
View
| DOI
| Download None (ext.)
1993 |Published| Journal Article | IST-REx-ID: 4589 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. Information and Computation. 1993;104(1):35-77. doi:10.1006/inco.1993.1025
[Published Version]
View
| DOI
| Download Published Version (ext.)
1993 |Published| Conference Paper | IST-REx-ID: 4618
Alur R, Courcoubetis C, Henzinger TA, Ho P. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman R, Nerode A, Ravn A, Rischel H, eds. Hybrid Systems. Vol 736. Springer; 1993:209-229. doi:10.1007/3-540-57318-6_30
View
| DOI
| Download None (ext.)
1993 |Published| Conference Paper | IST-REx-ID: 4616
Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. In: 1993 Proceedings Real-Time Systems Symposium. IEEE; 1993:2-11. doi:10.1109/REAL.1993.393520
View
| DOI
| Download None (ext.)
1993 |Published| Conference Paper | IST-REx-ID: 4620
Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time systems. In: 5th International Conference on Computer Aided Verification. Vol 697. Springer; 1993:181-193. doi:10.1007/3-540-56922-7_16
View
| DOI
| Download None (ext.)
1993 |Published| Conference Paper | IST-REx-ID: 4619
Alur R, Henzinger TA, Vardi M. Parametric real-time reasoning. In: Proceedings of the 25th Annual ACM Symposium on Theory of Computing. ACM; 1993:592-601. doi:10.1145/167088.167242
View
| DOI
| Download None (ext.)
1992 |Published| Journal Article | IST-REx-ID: 1945
Sazanov LA, Zaǐtsev S. Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms. Biochemistry (Moscow). 1992;57(10):1443-1460.
View
| Download None (ext.)
| PubMed | Europe PMC
1992 |Published| Journal Article | IST-REx-ID: 2486
Shigemoto R, Nakanishi S, Mizuno N. Distribution of the mRNA for a metabotropic glutamate receptor (mGluR1) in the central nervous system: An in situ hybridization study in adult and developing rat. Journal of Comparative Neurology. 1992;322(1):121-135. doi:10.1002/cne.903220110
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 |Published| Journal Article | IST-REx-ID: 2485
Hori S, Komatsu Y, Shigemoto R, Mizuno N, Nakanishi S. Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors. Endocrinology. 1992;130(4):1885-1895. doi:10.1210/endo.130.4.1312429
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC