_id,doi,title
4449,10.1007/3-540-45449-7,EMSOFT: Embedded Software
4475,10.1109/.2001.980714,Some lessons from the HYTECH experience
4477,10.1007/3-540-45351-2_24,Assume-guarantee reasoning for hierarchical hybrid systems
4478,10.1145/384197.384208,Embedded control systems development with Giotto
4479,10.1007/3-540-45449-7_12,Giotto: A time-triggered language for embedded programming
2494,10.1016/S0924-8196(00)80044-5,Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses
2598,10.1056/NEJM200001063420104,Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor
2599,10.1002/(SICI)1096-9861(20000306)418:2<156::AID-CNE3>3.0.CO;2-Z,Relationship between neurokinin-1 receptor and substance P in the striatum: Light and electron microscopic immunohistochemical study in the rat
2600,10.1016/S0168-0102(00)00095-X,The relationship between neurokinin-1 receptor and substance P in the medullary dorsal horn: A light and electron microscopic immunohistochemical study in the rat
2601,10.1126/science.288.5472.1832,"mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination"
2602,10.1523/JNEUROSCI.20-21-07896.2000,Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons
2603,10.1016/S0896-6273(00)00127-6,Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site
2710,10.1090/amsip/016,The kernel of Dirac operators on S3 and R3
2731,10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5,Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation
2732,10.1023/A:1018667323830,Fokker-Planck equations as scaling limits of reversible quantum systems
2733,10.5802/aif.1777,Diamagnetic behavior of sums Dirichlet eigenvalues
3149,10.1074/jbc.M000032200 ,Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion
11126,10.1083/jcb.148.2.293,"An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins"
11127,10.1016/s1097-2765(00)80266-x,GTP hydrolysis by Ran is required for nuclear envelope assembly
11683,10.1006/jagm.1999.1055,Computing vertex connectivity: New bounds from old techniques