_id,title
3151,"Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development"
166,Counting rational points on del Pezzo surfaces of degree 5
1959,The location of NuoL and NuoM subunits in the membrane domain of the Escherichia coli Complex I: implications for the mechanism of proton pumping
1960,A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I)
847,"Impact of selection, mutation rate and genetic drift on human genetic variation"
876,"Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences"
1457,"Mirror symmetry, langlands duality, and the Hitchin system"
1458,Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles
1459,On Yang-Mills instantons over multi-centered gravitational instantons
3170,Computing geodesics and minimal surfaces via graph cuts
3171,Generalized multi camera scene reconstruction using graph cuts
3174,Visual correspondence using energy minimization and mutual information
3209,On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems
3210,The security of many round Luby Rackoff pseudo random permutations
3458,Molekulare und zelluläre Grundlagen des Nervensystems.
3526,Organization of cell assemblies in the hippocampus
3528,Mechanisms of gamma oscillations in the hippocampus of the behaving rat
3529,Massively parallel recording of unit and local field potentials with silicon-based electrodes
3536,Hippocampal network patterns of activity in the mouse
3543,Communication between neocortex and hippocampus during sleep in rodents
3556,Morse-Smale complexes for piecewise linear 3-manifolds
3573,Surface reconstruction by wrapping finite sets in space
3584,Computing linking numbers of a filtration
3593,A branching time temporal framework for quantitative reasoning
3618,A new approach to detecting mixed families
3619,The distribution of surviving blocks of an ancestral genome
3620,A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae)
3678,The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric
3725,Unfolding pathways of native bacteriorhodopsin depend on temperature
3752,"Modeling network dynamics: the lac operon, a case study"
3804,Kv3 potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons
3806,A large pool of releasable vesicles in a cortical glutamatergic synapse
3897,Simple stochastic parity games
3898,Stack size analysis for interrupt-driven programs
3425,3D supernova collapse calculations
3797,Breaking atomic nuclei into little pieces: evidence for a phase transition
4146,Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation
4169,Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells
4168,Adhesive crosstalk in gastrulation
4185,The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation
4240,"New Late–Intensification Schedules for Cancer Treatments"
4416,Symbolic algorithms for verification and control
4425,Giotto: A time-triggered language for embedded programming
8519,The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles
204,Equal Sums of Two kth Powers
2338,The ground state of the Bose gas
2339,Symmetry breaking in a model of a rotating Bose gas
2349,Proof of Bose-Einstein condensation for dilute trapped gases
2350,Mass renormalization and energy level shift in non-relativistic QED
2351,Gross-Pitaevskii theory of the rotating Bose gas
2352,"General decomposition of radial functions on ℝn and applications to N-body quantum systems"
2353,Superfluidity in dilute trapped Bose gases
2420,On the number of corner cuts
2421,On the Clique problem in intersection graphs of ellipses
2613,"Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins"
2614,The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [Ca2+]c and cAMP. Evidence for a strong reduction of Ca2+ entry in single nerve terminals
2615,"Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae"
2616,Differential distribution of group I metabotropic glutamate receptors during rat cortical development
2617,Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones
2618,Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum
2619,Enrichment of mGluR7a in the presynaptic active zones of GABAergic and non-GABAergic terminals on interneurons in the rat somatosensory cortex
3919,Adaptive production of fighter males: queens of the ant Cardiocondyla adjust the sex ratio under local mate competition
3920,A method for analysing small-size specimens in GC-MS
3924,A transitional stage between the ergatoid and winged male morph in the ant Cardiocondyla obscurior
3925,Chemical mimicry: Male ants disguised by the queen's bouquet
3995,Algorithmic issues in modeling motion
3996,Topological persistence and simplification
3998,An experimental study of sliver exudation
4000,Fast software for box intersections
4003,Computing the writhing number of a polygonal knot
4139,"Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus"
4258,The effects of multilocus balancing selection on neutral variability
4259,Associations between cytoplasmic and nuclear loci in hybridizing populations
4260,The effect of deleterious alleles on adaptation in asexual populations
4261,Understanding quantitative genetic variation
4262,Extending the coalescent to multilocus systems: the case of balancing selection
4263,Neutral evolution in spatially continuous populations
4347,Inferring the root of a phylogenetic tree
4349,Bayesian model adequacy and choice in phylogenetics
4407,Axioms for real-time logics
4413,Convertibility verification and converter synthesis: Two faces of the same coin
4421,A Giotto-based helicopter control system
4422,Trading probability for fairness
4423,Embedded software design and system integration for rotorcraft UAV using platforms
4444,"The embedded machine: predictable, portable real-time code"
4470,Time-safety checking for embedded programs
4471,Synthesis of uninitialized systems
4472,Temporal safety proofs for systems code
4473,An assume-guarantee rule for checking simulation
4474,Fair simulation
4476,Lazy abstraction
4562,Synchronous and bidirectional component interfaces
4563,Interface compatibility checking for software modules
4565,A comparison of control problems for timed and hybrid systems
4595,Alternating-time temporal logic
4631,Timed interfaces
6158,Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans
6159,Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli
2620,Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites
2621,Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals