DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-30823-9_1,13142,"KrCh,ToHe",A learner-verifier framework for neural network controllers and certificates of stochastic systems
10.1007/978-3-031-31368-4_19,13143,KrPi,Certifying giant nonprimes
10.1214/23-ECP528,13145,JaMa,"A Mecke-type characterization of the Dirichlet–Ferguson measure"
10.1038/s41467-023-39317-4,13164,FyKo,Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries
10.1016/j.jcta.2023.105776,13165,HeEd,Successive vertex orderings of fully regular graphs
10.1038/s41591-023-02365-w,13168,GaNo,Effects of urban living environments on mental health in adults
10.15479/AT:ISTA:13173,13173,RySh,Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals
10.15479/at:ista:13175,13175,"GradSch,JoFi",Cavity quantum electrooptics
10.1090/proc/14361,13177,JaMa,Sobolev-type inequalities and eigenvalue growth on graphs with finite measure
10.1017/fms.2023.45,13178,RoSe,Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron
10.1145/3591230,13179,DaAl,CQS: A formally-verified framework for fair and abortable synchronization
10.2140/involve.2023.16.331,13180,TiBr,Local solubility for a family of quadrics over a split quadric surface
10.1007/s41468-023-00126-9,13182,HeEd,Geometric characterization of the persistence of 1D maps
10.1145/3606033,13188,BeBi,The design space of Kirchhoff rods
10.1103/physrevmaterials.7.065601,13197,ScWa,Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts
10.1038/s41467-023-39493-3,13200,JoFi,Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action
10.1073/pnas.2221313120,13201,JiFr,The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation
10.1523/JNEUROSCI.1514-22.2023,13202,RySh,Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons
10.4171/JST/439,13207,"GradSch,RoSe",Boundary superconductivity in the BCS model
10.1016/j.xplc.2023.100632,13209,JiFr,Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen