_id,doi,title
13139,10.1007/978-3-031-30823-9_25,"Correct approximation of stationary distributions"
13141,10.1007/978-3-031-30820-8_15,Computing adequately permissive assumptions for synthesis
13142,10.1007/978-3-031-30823-9_1,A learner-verifier framework for neural network controllers and certificates of stochastic systems
13143,10.1007/978-3-031-31368-4_19,Certifying giant nonprimes
13145,10.1214/23-ECP528,"A Mecke-type characterization of the Dirichlet–Ferguson measure"
13164,10.1038/s41467-023-39317-4,Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries
13165,10.1016/j.jcta.2023.105776,Successive vertex orderings of fully regular graphs
13168,10.1038/s41591-023-02365-w,Effects of urban living environments on mental health in adults
13173,10.15479/AT:ISTA:13173,Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals
13175,10.15479/at:ista:13175,Cavity quantum electrooptics
13177,10.1090/proc/14361,Sobolev-type inequalities and eigenvalue growth on graphs with finite measure
13178,10.1017/fms.2023.45,Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron
13179,10.1145/3591230,CQS: A formally-verified framework for fair and abortable synchronization
13180,10.2140/involve.2023.16.331,Local solubility for a family of quadrics over a split quadric surface
13182,10.1007/s41468-023-00126-9,Geometric characterization of the persistence of 1D maps
13188,10.1145/3606033,The design space of Kirchhoff rods
13197,10.1103/physrevmaterials.7.065601,Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts
13200,10.1038/s41467-023-39493-3,Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action
13201,10.1073/pnas.2221313120,The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation
13202,10.1523/JNEUROSCI.1514-22.2023,Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons