_id,title
3266,Probabilistic joint image segmentation and labeling
3267,Hardness results for homology localization
3269,Perceptual global illumination cancellation in complex projection environments
3270,Persistent homology computation with a twist
3271,Efficient computation of persistent homology for cubical data
3273,"Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors"
3275,The role of chemotactic gradients in dendritic cell migration
3287,What can we learn from single molecule trajectories?
3288,Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens
3290,A general method for calculating likelihoods under the coalescent process
3297,Liquid simulation with mesh-based surface tracking
3298,Hybrid smoothed particle hydrodynamics
3299,Propagation models for computing biochemical reaction networks
3301,Tail approximation for the chemical master equation
3302,Static scheduling in clouds
3311,Alpha shapes - a survey
3312,Detailed reconstruction of 3D plant root shape
3313,Diffusion runs low on persistence fast
3315,Timed parity games: Complexity and robustness
3316,Specification-centered robustness
3318,"How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses"
3319,Learning multi-view neighborhood preserving projections
3320,Structured learning and prediction in computer vision
3322,Maximum margin multi label structured prediction
3323,An efficient decision procedure for imperative tree data structures
3324,Decision procedures for automating termination proofs
3325,Streaming transducers for algorithmic verification of single pass list processing programs
3326,"What’s decidable about weighted automata "
3328,A generic algebraic kernel for non linear geometric applications
3329,Deconstructing approximate offsets
3330,Root refinement for real polynomials
3332,A note on the complexity of real algebraic hypersurfaces
3334,Letter from the new editors-in-chief
3335,"Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web"
3336,Enforcing topological constraints in random field image segmentation
3337,Learning anticipation policies for robot table tennis
3338,Bounded rationality in concurrent parity games
3339,Magnifying lens abstraction for stochastic games with discounted and long-run average objectives
3342,Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
3343,Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification
3344,Graph games with reachability objectives
3345,Energy and mean-payoff parity Markov Decision Processes
3346,Two views on multiple mean payoff objectives in Markov Decision Processes
3347,Finitary languages
3348,Synthesis of memory efficient real time controllers for safety objectives
3349,A reduction from parity games to simple stochastic games
3350,Minimum attention controller synthesis for omega regular objectives
3351,On memoryless quantitative objectives
3352,Biology as reactivity
3353,A theory of synchronous relational interfaces
3354,Qualitative concurrent parity games
3355,Quantitative evaluation of BFT protocols
3356,Temporal specifications with accumulative values
3357,The complexity of request-response games
3358,Scheduling large jobs by abstraction refinement
3359,From boolean to quantitative synthesis
3360,Determinizing discounted-sum automata
3361,The complexity of quantitative information flow problems
3362,Dynamic reactive modules
3363,The decidability frontier for probabilistic automata on infinite words
3364,Approximation of event probabilities in noisy cellular processes
3365,QUASY: quantitative synthesis tool
3366,Quantitative synthesis for concurrent programs
3367,An output sensitive algorithm for persistent homology
3368,Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants
3369,The multiple faces of RIM
3370,Consequences of different null models on the tree shape bias of supertree methods
3371,Cells on the move in Philadelphia
3372,Inclusive fitness theory and eusociality
3373,Measuring the complete force field of an optical trap
3374,Information transmission in genetic regulatory networks a review
3375,The statistical mechanics of a polygenic character under stabilizing selection mutation and drift
3376,Resolution of gene regulatory conflicts caused by combinations of antibiotics
3377,Quantifying transversality by measuring the robustness of intersections
3378,Persistent intersection homology
3379,Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail
3380,Mapping Mendelian traits in asexual progeny using changes in marker allele frequency
3381,Formalisms for specifying Markovian population models
3382,Learning dynamic tactile sensing with robust vision based training
3383,"Invited Lectures ‐ Symposia Area"
3384,Natural images from the birthplace of the human eye
3385,Interstitial locomotion of leukocytes
3386,Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies
3387,Split based computation of majority rule supertrees
3388,Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion
3389,Semi supervised kernel canonical correlation analysis with application to human fMRI
3390,The relation between reproductive value and genetic contribution
3391,The contribution of statistical physics to evolutionary biology
3392,In vivo analysis of uropod function during physiological T cell trafficking
3393,Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects
3394,Genetic drift widens the expected cline but narrows the expected cline width
3395,Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas
3396,Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube
3397,The role of adhesion energy in controlling cell-cell contacts
3399,Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior
3405,Modern ionotropic glutamate receptor with a K+ selectivity signature sequence
3429,Oct4 kinetics predict cell lineage patterning in the early mammalian embryo
3505,In vitro analysis of chemotactic leukocyte migration in 3D environments
3771,"Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests."
3778,Estimating linkage disequilibria