_id,doi,title
1438,10.1145/2837614.2837639,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
1439,10.1145/2837614.2837650,PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
1441,10.1002/anie.201601736,A phytochrome sensory domain permits receptor activation by red light
1446,10.1007/s11192-016-1842-4,On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data
1448,10.1214/15-AAP1133,Entropic Ricci curvature bounds for discrete interacting systems
1475,10.7554/eLife.10276,"Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton"
1476,10.1242/jcs.176651,Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis
1477,10.1016/j.jcss.2016.02.009,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
1478,10.1088/1367-2630/18/3/035002,Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas
1479,10.1007/s00037-015-0120-9,A counterexample to the chain rule for conditional HILL entropy
1480,10.1112/plms/pdv066,Exponential varieties
1482,10.1371/journal.pone.0147830,Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization
1484,10.1016/j.tcb.2016.02.003,Environmental and endogenous control of cortical microtubule orientation
1485,10.1088/1478-3975/13/1/016003,Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis
1486,10.1063/1.4941723,"The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties"
1487,10.1371/journal.pbio.1002384,Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination
1488,10.1371/journal.pbio.1002382,Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis
1489,10.1007/s10955-016-1479-y,Local spectral statistics of Gaussian matrices with correlated entries
1490,10.1016/j.celrep.2016.01.048,Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels
1491,10.1090/tran/6537,The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases
1492,10.1101/gad.276964.115,Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation
1493,10.1007/s11040-016-9204-2,A new method and a new scaling for deriving fermionic mean-field dynamics
1496,10.1103/PhysRevA.93.032502,Relativistic evaluation of the two-photon decay of the metastable 1s22s2p3P0 state in berylliumlike ions with an effective-potential model
1518,10.1534/genetics.115.183814,Efficient strategies for calculating blockwise likelihoods under the coalescent
1522,,The classification of certain linked 3-manifolds in 6-space
1523,10.1090/proc/12824,On topological minors in random simplicial complexes
1524,10.1007/978-3-319-26916-0_10,Efficient reduction of kappa models by static inspection of the rule-set
1526,10.1007/978-3-662-49122-5_12,Lipschitz robustness of timed I/O systems
1529,10.1016/j.artint.2016.01.007,Optimal cost almost-sure reachability in POMDPs
100,10.1103/PhysRevX.6.031016,Milestones toward Majorana-based quantum computing
101,10.1038/nature17162,Exponential protection of zero modes in Majorana islands
102,10.1103/PhysRevB.93.245404,Approaching a topological phase transition in Majorana nanowires
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
1081,10.1038/celldisc.2016.18,Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells
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
1115,10.1364/CLEO_SI.2016.SF2G.3,Efficient single sideband microwave to optical conversion using a LiNbO inf 3 inf WGM-resonator
1122,10.15479/AT:ISTA:th_640,"Tracking, correcting and absorbing water surface waves"
1126,10.15479/AT:ISTA:TH_776,Theoretical foundations of multi-task lifelong learning
1135,10.1145/2968478.2968499,Synthesizing time triggered schedules for switched networks with faulty links
1136,10.1145/2994258.2994261,Space time sculpting of liquid animation
1137,10.1038/ni.3575,RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics
1138,10.1145/2933575.2933588,Quantitative automata under probabilistic semantics
1140,10.1145/2933575.2935304,Model and objective separation with conditional lower bounds disjunction is harder than conjunction
1142,10.1038/ni.3590,Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions
1143,10.2140/apde.2016.9.459,Ground states of large bosonic systems: The gross Pitaevskii limit revisited
1145,10.1016/j.molp.2016.08.010,Enquiry into the topology of plasma membrane localized PIN auxin transport components
1147,10.1038/srep35955,Auxin flow mediated competition between axillary buds to restore apical dominance
1151,10.1101/gad.285361.116,A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis
1153,10.1105/tpc.15.00569,A model of differential growth guided apical hook formation in plants
1154,10.1038/srep36440,A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients
1157,10.1214/16-AAP1193,Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population
1158,10.1371/journal.pbio.2000234,Shedding light on the grey zone of speciation along a continuum of genomic divergence
1164,10.1007/978-3-319-50106-2_36,Hanani-Tutte for radial planarity II
1165,10.1007/978-3-319-50106-2_8,C-planarity of embedded cyclic c-graphs
1167,10.1371/journal.pcbi.1005218,Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks
1172,10.1038/srep38840,Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae
1177,10.1007/s00453-015-9997-6,A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound
1179,10.1007/978-3-662-53641-4_8,Pseudoentropy: Lower-bounds for chain rules and transformations
366,10.1021/acsami.6b02529,Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs
389,10.1038/nphys3609,Selective scattering between Floquet Bloch and Volkov states in a topological insulator
5556,10.15479/AT:ISTA:45,MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'
1128,,Studying the complexities of transcriptional regulation
1992,10.1145/2676726.2677008,Succinct representation of concurrent trace sets
1993,10.1098/rspb.2014.1976,Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host
1997,10.1016/j.jsc.2014.09.014,The three-state toric homogeneous Markov chain model has Markov degree two
2006,10.1080/10586458.2014.980044,The monotone secant conjecture in the real Schubert calculus
2008,10.1111/sjos.12139,Iterative scaling in curved exponential families
2014,10.1016/j.csda.2015.01.017,Faithfulness and learning hypergraphs from discrete distributions
2025,10.1016/j.bbamcr.2014.10.009,The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins
2030,10.1016/j.compfluid.2014.09.021,A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow
2034,10.1016/j.ipl.2014.09.001,Probabilistic opacity for Markov decision processes
2035,10.1007/s10208-014-9223-y,The persistent homology of a self-map
2085,10.1007/s00205-014-0781-6,Collective excitations of Bose gases in the mean-field regime
2166,10.1007/s00220-014-2119-5,The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case
2271,10.1137/130945648,The power of linear programming for general-valued CSPs
256,10.1515/crelle-2014-0122,Improvements in Birch's theorem on forms in many variables
257,10.1515/forum-2013-6024,Pairs of diagonal quadratic forms and linear correlations among sums of two squares
7739,10.1111/mec.13452,Replicated analysis of the genetic architecture of quantitative traits in two wild great tit populations
7741,10.1098/rspb.2015.0689,Social genetic and social environment effects on parental and helper care in a cooperatively breeding bird
7779,,Unearthing the anticrystal: Criticality in the linear response of disordered solids
778,10.1007/978-3-662-48653-5_13,Inherent limitations of hybrid transactional memory
780,10.1007/978-3-662-47666-6_38,Polylogarithmic-time leader election in population protocols
783,10.1145/2767386.2767420,How to elect a leader faster than a tournament
473,10.5802/jep.18,Derivation of nonlinear gibbs measures from many-body quantum mechanics
523,10.1016/j.ic.2015.03.010,Looking at mean-payoff and total-payoff through windows
524,10.1016/j.ic.2015.03.009,Qualitative analysis of concurrent mean payoff games
5429,10.15479/AT:IST-2015-318-v1-1,Unifying two views on multiple mean-payoff objectives in Markov decision processes
5430,10.15479/AT:IST-2015-319-v1-1,Faster algorithms for quantitative verification in constant treewidth graphs