_id,doi,title
9644,10.1145/3453483.3454093,Proving non-termination by program reversal
9645,10.1145/3453483.3454076,Polynomial reachability witnesses via Stellensätze
9646,10.1145/3453483.3454102,Quantitative analysis of assertion violations in probabilistic programs
9647,10.1016/j.tcs.2021.05.023,Long lived transients in gene regulation
9656,10.1111/nph.17617,PIN-mediated polar auxin transport regulations in plant tropic responses
9657,10.1093/plcell/koab183,GmPIN-dependent polar auxin transport is involved in soybean nodule development
9678,10.1145/3409964.3461785,Efficient load-balancing through distributed token dropping
9679,10.1088/1367-2630/ac0576,Morphology of three-body quantum states from machine learning
10000,10.1167/IOVS.62.10.14,Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression
10002,10.1109/LICS52264.2021.9470739,Symbolic time and space tradeoffs for probabilistic verification
10004,10.1109/LICS52264.2021.9470595,Stochastic processes with expected stopping time
10005,10.1142/S0218202521500457,On nonlinear problems of parabolic type with implicit constitutive equations involving flux
10007,10.15479/at:ista:10007,Curvature driven interface evolution: Uniqueness properties of weak solution concepts
10011,10.48550/arXiv.2109.04233,A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness
10013,10.48550/arXiv.2108.01733,Weak-strong uniqueness for the mean curvature flow of double bubbles
10015,10.3390/cells10071665,The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators
10023,10.4310/CIS.2021.v21.n4.a1,Trajectorial dissipation and gradient flow for the relative entropy in Markov chains
10024,10.1016/j.spa.2021.08.006,Hydrodynamics for the partial exclusion process in random environment
10025,10.1038/s41586-021-03938-w,Half and quarter metals in rhombohedral trilayer graphene
10029,,Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid