DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CONCUR.2025.21,20253,ToHe,Quantitative language automata
10.1093/pnasnexus/pgaf252,20254,KrCh,Maintaining diversity in structured populations
10.1038/s41550-025-02624-5,20255,JoMa,The first billion years according to JWST
null,20256,"ToHe,ChLa",Predictive monitoring of black-box dynamical systems
10.1016/j.jmb.2025.169379,20258,PaSc,Arginine dynamics probed by magic-angle spinning NMR with a specific isotope-labeling scheme
10.1038/s41567-025-02980-z,20259,EdHa,The actin cortex acts as a mechanical memory of morphology in confined migrating cells
10.1073/pnas.2504064122,20289,"EdHa,MiSi",Self-generated chemotaxis of mixed cell populations
10.4230/LIPIcs.MFCS.2025.30,20290,ToHe,"Finding equilibria: Simpler for pessimists, simplest for optimists"
10.4230/LIPIcs.MFCS.2025.57,20291,ToHe,Resolving nondeterminism with randomness
10.1145/3711896.3737054,20292,ToHe,Monitoring robustness and individual fairness
10.3390/e27080854,20293,HeEd,"Tight bounds between the Jensen–Shannon divergence and the minmax divergence"
10.1051/0004-6361/202554361,20294,JoMa,No [C II] or dust detection in two Little Red Dots at zspec > 7
10.1002/admi.202500521,20295,"ScWa,NanoFab",A duality between surface charge and work function in scanning Kelvin probe microscopy
null,20296,"ChLa,ToHe",Logic gate neural networks are good for verification
null,20297,"KrCh,GradSch",Limit-sure reachability for small memory policies in POMDPs is NP-complete
null,20298,ChLa,Efficient estimation of a Gaussian mean with local differential privacy
null,20299,"KrCh,GradSch",Lower bound on Howard policy iteration for deterministic Markov Decision Processes
null,20300,MaMo,Learning Pareto manifolds in high dimensions: How can regularization help?
null,20301,MoHe,Differentially private continual release of histograms and related queries
null,20302,KrCh,Revisiting LocalSGD and SCAFFOLD: Improved rates and missing analysis