_id,title
3622,Genetic variation for preadult viability in Drosophila melanogaster
2325,Inequalities for Schrödinger operators and applications to the stability of matter problem
2342,The ground state energy and density of interacting bosons in a trap
2343,On the ordering of energy levels in homogeneous magnetic fields
2344,Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional
2418,Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem
2494,Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses
2598,Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor
2599,Relationship between neurokinin-1 receptor and substance P in the striatum: Light and electron microscopic immunohistochemical study in the rat
2600,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,"mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination"
2602,Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons
2603,Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site
3923,Paternity analysis with AFLPs in Cardiocondyla ants
4004,Edgewise subdivision of a simplex
4008,Topological persistance and simplification
4009,Adaptive simplicial grids from cross-sections of monotone complexes
4010,Sliver exudation
4147,"A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata)"
4197,Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation
4268,Evolving evolvability
4269,"Is Wright’s shifting balance process important in evolution?"
4270,Detecting bottlenecks and selective sweeps from DNA sequence polymorphism
4271,The effects of epistasis on the structure of hybrid zones
4272,The stability of symmetrical solutions to polygenic models
4273,Limits to natural selection
4274,Genetic hitchhiking
4275,Differentiation
4276,Population genetics of multiple loci
4433,Fair bisimulation
4434,Robust undecidability of timed and hybrid systems
4435,Symbolic model checking for rectangular hybrid systems
4439,A classification of symbolic transition systems
4481,Beyond HyTech: Hybrid systems analysis using interval numerical methods
4482,Abstract interpretation of game properties
4483,Decomposing refinement proofs using assume-guarantee reasoning
4512,Masaccio: A formal model for embedded components
4513,The theory of hybrid automata
4598,Discrete abstractions of hybrid systems
4627,Concurrent omega-regular games
4637,The control of synchronous systems
4638,Detecting errors before reaching them
2710,The kernel of Dirac operators on S3 and R3
2731,Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation
2732,Fokker-Planck equations as scaling limits of reversible quantum systems
2733,Diamagnetic behavior of sums Dirichlet eigenvalues
3149,Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion
1736,"Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems"
1957,Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms
1958,Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme
842,No footprints of primordial introns in a eukaryotic genome
1455,Inscribing cubes and covering by rhombic dodecahedra via equivariant topology
1031,Structure and function of the ion channel ICln
3489,Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse
3490,Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels
3491,Distal initiation and active propagation of action potentials in interneuron dendrites
3492,Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons
3532,Intracellular features predicted by extracellular recordings in the hippocampus in vivo
3542,Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events
3548,Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements
3555,Smoothing and cleaning up slivers
3572,Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung
3583,Triangulations and meshes in computational geometry
3623,Measuring fitness by means of balancer chromosomes
3624,Estimating multilocus linkage disequilibria
3798,The time course of signaling at central glutamatergic synapses
2591,Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve
2592,Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion
2593,NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord
2594,The distribution of substance P receptor (NK1)-like immunoreactive neurons in the newborn and adult human spinal cord
2595,mGluR7-like receptor and GABA(B) receptor activation enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones
2596,Spatial distribution of GABA(B)R1 receptor mRNA and binding sites in the rat brain^
2597,Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses
4014,Deformable smooth surface design
4204,Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development
4277,Hybrid dysfunction in fire-bellied toads (Bombina)
4279,"Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland"
4411,Algorithms and Methodology for Scalable Model Checking
4442,Discrete-time control for rectangular hybrid automata
4480,Formal specification and verification of a dataflow processor array
4484,Verifying sequential consistency on shared-memory multiprocessor systems
4485,Rectangular hybrid games
4487,Assume-guarantee refinement between different time scales
4582,Reactive modules
4601,Alternating-time temporal logic
4602,Automating modular verification
2711,Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation
2730,"Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate"
2783,Flow state multiplicity in convection
2864,Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry
2865,Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment
3137,Ionotropic Glutamate Receptors in the CNS
3148,A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior
883,Interactions among quantitative traits in the course of sympatric speciation
3444,Fast network oscillations in the hippocampal CA1 region of the behaving rat
3445,Hippocampomedial septal interactions during sharp waves and theta oscillation in the behaving rat
3456,Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS
3457,Glutamate-mediated synaptic excitation of cortical interneurons
3515,Ultra-slow oscillation (0.025 Hz) triggers hippocampal afterdischarges in Wistar rats
3518,Replay and time compression of recurring spike sequences in the hippocampus