_id,title
4425,"Giotto: A time-triggered language for embedded programming"
4463,"Thread-modular abstraction refinement"
4468,"From control models to real-time code using Giotto"
876,"Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences"
1458,"Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles"
1960,"A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I)"
207,"Sums of four biquadrates"
2627,"Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry"
2634,"Blockade of GABAB receptors alters the tangential migration of cortical neurons"
2785,"Scaling of the turbulence transition threshold in a pipe"
2994,"Regulation of phyllotaxis by polar auxin transport"
3170,"Computing geodesics and minimal surfaces via graph cuts"
3151,"Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development"
3752,"Modeling network dynamics: the lac operon, a case study"
3618,"A new approach to detecting mixed families"
3620,"A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae)"
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"
3593,"A branching time temporal framework for quantitative reasoning"
3992,"The weighted-volume derivative of a space-filling diagram"
3997,"A multi-resolution data structure for two-dimensional Morse-Smale functions"
4185,"The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation"
4255,"Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes"
4464,"Schedule-carrying code"
4469,"Giotto: A time-triggered language for embedded programming"
4628,"Discounting the future in systems theory"
4630,"The element of surprise in timed games"
1459,"On Yang-Mills instantons over multi-centered gravitational instantons"
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"
208,"Counting rational points on diagonal quadratic surfaces"
2337,"Bose-Einstein condensation of dilute gases in traps "
2414,"On k-Sets and Their Applications"
2623,"Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies"
2628,"The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats"
2630,"Expression of metabotropic glutamate receptor group I in rat gustatory papillae"
2635,"Subcellular Localization of Metabotropic GABAB Receptor Subunits GABAB1a/b and GABAB2 in the Rat Hippocampus"
2990,"Auxin transport - Shaping the plant"
2995,"Efflux dependent auxin gradients establish the apical basal axis of Arabidopsis"
3171,"Generalized multi camera scene reconstruction using graph cuts"
3210,"The security of many round Luby Rackoff pseudo random permutations"
3804,"Kv3 potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons"
3619,"The distribution of surviving blocks of an ancestral genome"
3556,"Morse-Smale complexes for piecewise linear 3-manifolds"
3897,"Simple stochastic parity games"
3917,"Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen"
3993,"Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds"
4256,"The erratic path towards complexity"
4338,"On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata"
4460,"From pre-historic to post-modern symbolic model checking"
4465,"Embedded control systems development with Giotto"
4561,"Resource interfaces"
6156,"Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1"
847,"Impact of selection, mutation rate and genetic drift on human genetic variation"
2357,"Poincaré inequalities in punctured domains"
2422,"On the rectilinear crossing number of complete graphs"
2629,"High level of mGluR7 in the presynaptic active zones of select populations of GABAergic terminals innervating interneurons in the rat hippocampus"
2631,"Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic glutamate receptors in retina, cervical superior ganglion and NG108-15 cells"
2996,"Local, efflux-dependent auxin gradients as a common module for plant organ formation"
3209,"On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems"
3139,"Development of the monosynaptic stretch reflex circuit"
3797,"Breaking atomic nuclei into little pieces: evidence for a phase transition"
3425,"3D supernova collapse calculations"
3526,"Organization of cell assemblies in the hippocampus"
3994,"Area, perimeter and derivatives of a skin curve"
3999,"Relaxed scheduling in dynamic skin triangulation"
3898,"Stack size analysis for interrupt-driven programs"
4168,"Adhesive crosstalk in gastrulation"
4257,"The effects of genetic and geographic structure on neutral variation"
4240,"New Late–Intensification Schedules for Cancer Treatments"
4416,"Symbolic algorithms for verification and control"
4466,"On the universal and existential fragments of the mu-calculus"
576,"Free expansion of two-dimensional condensates with a vortex"
6157,"Molecular approaches to aggregation behavior and social attachment"
166,"Counting rational points on del Pezzo surfaces of degree 5"
205,"Counting rational points on cubic and quartic surfaces"
2625,"Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons"
2632,"Cell type-dependent expression of HCN1 in the main olfactory bulb"
2637,"Structural involvement of the glutamatergic presynaptic boutons in a transgenic mouse model expressing early onset amyloid pathology"
2358,"One-dimensional Bosons in three-dimensional traps"
2423,"New constructions of weak epsilon-nets"
2992,"Cell polarity and PIN protein positioning in Arabidopsis require STEROL METHYLTRANSFERASE1 function"
3806,"A large pool of releasable vesicles in a cortical glutamatergic synapse"
3678,"The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric "
3584,"Computing linking numbers of a filtration"
3921,"Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals"
4169,"Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells"
4462,"Counterexample-guided control"
4467,"Software verification with BLAST"