_id,doi,title
11857,10.1109/sfcs.1994.365718,Fully dynamic cycle-equivalence in graphs
3453,10.1016/0166-2236(95)90088-8,Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse
3460,10.1016/0959-4388(94)90098-1,Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS
3475,10.1113/jphysiol.1994.sp020287,Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus
3476,10.1523/JNEUROSCI.14-08-04613.1994,Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices
3477,10.1016/0896-6273(94)90444-8,Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression
3550,,"Modeling with simplicial complexes (topology, geometry and algorithms)"
3641,10.1017/S0016672300032857 ,The reduction in fixation probability caused by substitutions at linked loci
3642,10.1093/genetics/138.3.913,"Genetic and statistical analyses of strong selection on polygenic traits: What, me normal?"
4032,10.1007/BF02574381,Counting triangle crossings and halving planes
4033,10.1137/S0097539790179919 ,Selecting heavily covered points
4037,10.1145/174462.156635,Three-dimensional alpha shapes
4038,10.1007/BF01182771,Algorithms for bichromatic line-segment problems and polyhedral terrains
4039,10.1007/BF01377183,Ray shooting in polygons using geodesic triangulations
4179,10.1016/s0021-9258(17)42186-7,Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons
4202,10.1097/00001756-199401120-00010 ,NMDA potentiates NGF-induced sprouting of septal cholinergic fibres
4420,10.1007/3-540-58468-4_177,Proving safety properties of hybrid systems
4440,10.1007/3-540-58468-4_173,Verification methods for the divergent runs of clock systems
4501,10.1006/inco.1994.1060,Temporal proof methodologies for timed transition systems
4503,10.1006/inco.1994.1045,Symbolic model checking for real-time systems