_id,title
8193,Multiple-environment Markov decision processes: Efficient analysis and applications
8194,An SMT theory of fixed-point arithmetic
8195,Refinement for structured concurrent programs
8199,Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps
8203,Zero field splitting of heavy-hole states in quantum dots
8220,Stem cell lineage survival as a noisy competition for niche access
8250,Mechanisms of drug interactions between translation-inhibiting antibiotics
8254,Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus)
8261,Selective routing of spatial information flow from input to output in hippocampal granule cells
8268,Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications
8271,Origin of a subgenome and genome evolution of allotetraploid cotton species
8272,Stochastic games with lexicographic reachability-safety objectives
8283,"AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling"
8284,"Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter"
8285,Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit
8287,Reachability analysis of linear hybrid systems via block decomposition
8294,RGtracker
8308,Stability of mobility edges in disordered interacting systems
8318,Key role of quinone in the mechanism of respiratory complex I
8319,Retrieval of cavity-generated atomic spin squeezing after free-space release