_id,doi,title
1068,10.4230/LIPIcs.MFCS.2016.25,Conditionally optimal algorithms for generalized Büchi Games
1069,10.4230/LIPIcs.ICALP.2016.100,On the skolem problem for continuous linear dynamical systems
1070,10.4230/LIPIcs.ICALP.2016.98,Computation tree logic for synchronization properties
1071,10.4230/LIPIcs.ESA.2016.28,Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
10746,,Study of vortex states and dynamics in mesoscopic superconducting samples with MFM
10747,,Stochastic resonance magnetic force microscopy imaging of Josephson arrays
1081,10.1038/celldisc.2016.18,Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells
10810,10.22489/cinc.2016.090-500,SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography
1082,,Relevant sparse codes with variational information bottleneck
1090,10.4230/LIPIcs.MFCS.2016.24,Nested weighted limit-average automata of bounded width
1093,10.4230/LIPIcs.CONCUR.2016.20,Linear distances between Markov chains
1095,10.4230/LIPIcs.CONCUR.2016.6,Local linearizability for concurrent container-type data structures
1097,10.1145/2980179.2982427,Computational multicopter design
1098,,Lifelong learning with weighted majority votes
1099,10.1145/2980179.2982397,FlexMolds: Automatic design of flexible shells for molding
1100,10.1016/j.celrep.2016.06.036,Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation
1102,10.5244/C.30.92,Improving weakly-supervised object localization by micro-annotation
1103,10.1109/MEMCOD.2016.7797741,Parallel reachability analysis for hybrid systems
11069,10.1083/jcb.201603053,Nuclear envelope rupture is induced by actin-based nucleus confinement
11070,10.1101/gad.287417.116,Nucleoporin-mediated regulation of cell identity genes