Solubility of a resultant equation and applications
T.D. Browning, S. Chan, Journal de l’ecole Polytechnique Mathematiques 12 (2025) 1677–1691.

The equational theories project: Advancing collaborative mathematical research at scale
M. Bolan, J. Breitner, J. Brox, N. Carlini, M. Carneiro, F. van Doorn, M. Dvorak, A. Goens, A. Hill, H. Husum, H.I. Mejia, Z.A. Kocsis, B.L. Floch, A. Bar-on, L. Luccioli, D. McNeil, A. Meiburg, P. Monticone, P.P. Nielsen, E.O. Osazuwa, G. Paolini, M. Petracci, B. Reinke, D. Renshaw, M. Rossel, C. Roux, J. Scanvic, S. Srinivas, A.R. Tadipatri, T. Tao, V. Tsyrklevich, F. Vaquerizo-Villar, D. Weber, F. Zheng, ArXiv (n.d.).

Boosting payment channel network liquidity with topology optimization and transaction selection
K. Chatterjee, J.M. Kisan, S. Schmid, J. Svoboda, M.X. Yeo, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.

Learning algorithms for verification of Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, T. Meggendorfer, D. Parker, M. Ujma, TheoretiCS 4 (2025).

Marginal values of a stochastic game
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.

Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design 66 (2025) 3–48.

Average and expected distortion of Voronoi paths and scapes
H. Edelsbrunner, A. Nikitenko, Discrete &; Computational Geometry 73 (2025) 490–499.

Almost optimal upper bound for the ground state energy of a dilute Fermi gas via cluster expansion
A.B. Lauritsen, Annales Henri Poincare 26 (2025) 203–243.

Nanoarchitecture of CaV>2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/P pathology
A. MartínBelmonte, C. Aguado, R. AlfaroRuiz, A. Kulik, L. de la Ossa, A.E. MorenoMartínez, S. Alberquilla, L. GarcíaCarracedo, M. Fernández, A. FajardoSerrano, E. Aso, R. Shigemoto, E.D. Martín, Y. Fukazawa, F. Ciruela, R. Luján, Brain Pathology 35 (2025).

Langerhans cells: Central players in the pathophysiology of atopic dermatitis
Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology 39 (2025) 278–289.

Marcus kinetics control singlet and triplet oxygen evolving from superoxide
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, Nature 646 (2025) 601–605.

High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating
W.F. Podlaski, E.J. Agnes, T.P. Vogels, Physical Review X 15 (2025).

Reduction of neuronal activity mediated by blood-vessel regression in the brain
X. Gao, J.-L. Li, X. Chen, B. Ci, F. Chen, N. Lu, B. Shen, L. Zheng, J.-M. Jia, Y. Yi, S. Zhang, Y.-C. Shi, K. Shi, N.E. Propson, Y. Huang, K. Poinsatte, Z. Zhang, Y. Yue, D.B. Bosco, Y. Lu, S. Yang, R.H. Adams, V. Lindner, F. Huang, L.-J. Wu, H. Zheng, F. Han, S. Hippenmeyer, A.M. Stowe, B. Peng, M. Margeta, X. Wang, Q. Liu, J. Körbelin, M. Trepel, H. Lu, B.O. Zhou, H. Zhao, W. Su, R.M. Bachoo, W. Ge, Nature Communications 16 (2025).

Privacy-preserving runtime verification
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.

Composition direction of Seymour's theorem for regular matroids — Formally verified
M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).

Unconventional superlattice ordering in intercalated transition metal dichalcogenide /3Nb
S.S. Fender, N. Schnitzer, W. Fang, L. Bhatt, D. Huang, A. Malik, O. Gonzalez, V. Sunko, L.S. Xie, D.A. Muller, J. Orenstein, Y. Ping, B.H. Goodge, D.K. Bediako, Journal of the American Chemical Society 147 (2025) 32315–32320.

Linear magnetoconductivity as a probe of time-reversal symmetry breaking
V. Sunko, C. Liu, M. Vila, I. Na, Y. Tang, V. Kozii, S.M. Griffin, J.E. Moore, J. Orenstein, Physical Review B 112 (2025).

Orbital-spin locking and its optical signatures in altermagnets
M. Vila, V. Sunko, J.E. Moore, Physical Review B 112 (2025).

Efficient optimization and synthesis of diverse azaarenes via nitrogen atom insertion under continuous flow conditions
S. Moon, J. Reisenbauer, A.-S.K. Paschke, A. Scotto, L. Terraneo, N. Brenner, Q. Lefebvre, T.C. Fessard, B. Morandi, Chemical Communications 61 (2025) 16993–16996.

Strain-induced multiferroicity in C/3Nb
Y. Sun, Y. Ahn, D. Sapkota, H.S. Arachchige, R. Xue, S. Mozaffari, D.G. Mandrus, L. Zhao, J. Orenstein, V. Sunko, ArXiv (n.d.).