_id,title
3243,Zwischen Technologie und Information
3244,Die Zeit des Abwartens ist vorbei!
3245,Spurred by resistance mechanosensation in collective migration
3246,Cell adhesion in embryo morphogenesis
3247,Remaining genetic diversity in Brazilian Merganser (Mergus octosetaceus)
3248,Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components
3249,Simulation distances
3250,Cryptography from learning parity with noise
3251,Ideal abstractions for well structured transition systems
3252,Synthesizing protocols for digital contract signing
3253,Abstract domains for automated reasoning about list manipulating programs with infinite data
3254,The complexity of stochastic Müller games
3255,Games and Markov decision processes with mean payoff parity and energy parity objectives
3256,"Dual complexes of cubical subdivisions of ℝn"
3257,Generalized roof duality and bisubmodular functions
3258,Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons
3260,Evolutionary dynamics of biological auctions
3262,Optimizing information flow in small genetic networks. III. A self-interacting gene
3265,Image segmentation by figure-ground composition into maximal cliques
3274,A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil
3277,Can the evolution of multicellularity be anticipated in the exploration of the solar system?
3279,Hardness preserving constructions of pseudorandom functions
3280,Subspace LWE
3281,Lossy functions do not amplify well
3282,"Message authentication, revisited"
3289,A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization
3310,A point calculus for interlevel set homology
3314,Discounting and averaging in games across time scales
3317,Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses
3331,A worst case bound for topology computation of algebraic curves
3341,Robustness of structurally equivalent concurrent parity games
3836,Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code
3846,"A survey of stochastic ω regular games"
3965,Computing elevation maxima by searching the Gauss sphere
469,Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor
490,BioSig: The free and open source software library for biomedical signal processing
491,Setting the clock for recirculating lymphocytes
518,CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells
531,Verification of STM on relaxed memory models
5379,An O(n2) time algorithm for alternating Büchi games
5380,Bounded rationality in concurrent parity games
5381,Partial-observation stochastic games: How to win when belief fails
5382,Robustness of structurally equivalent concurrent parity games
5383,On an efficient decision procedure for imperative tree data structures
5384,Decidable problems for probabilistic automata on infinite words
5385,Temporal specifications with accumulative values
5386,Enforcing topological constraints in random field image segmentation
5387,Energy and mean-payoff parity Markov decision processes
6496,Noise underlies switching behavior of the bacterial flagellum
3163,Maximum margin multi-label structured prediction
3264,Solving recursion-free Horn clauses over LI+UIF
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