_id,title
1129,Quantitative analysis of haptotactic cell migration
1130,Automatic synthesis of synchronisation primitives for concurrent programs
1131,Evolution of transcriptional regulatory sequences
1134,Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP
1135,Synthesizing time triggered schedules for switched networks with faulty links
1136,Space-time sculpting of liquid animation
1137,RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics
1138,Quantitative automata under probabilistic semantics
1139,Microtubule aging probed by microfluidics assisted tubulin washout
1140,Model and objective separation with conditional lower bounds: disjunction is harder than conjunction
1141,Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization
1142,Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions
1143,Ground states of large bosonic systems: The gross Pitaevskii limit revisited
1145,Enquiry into the topology of plasma membrane localized PIN auxin transport components
1147,Auxin flow mediated competition between axillary buds to restore apical dominance
1148,Adaptive moment closure for parameter inference of biochemical reaction networks
1149,A study of rigorous ODE integrators for multi scale set oriented computations
1150,A Radical Break Restraining Neutrophil Migration
1151,A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis
1153,A model of differential growth guided apical hook formation in plants