Tips on using this search form
- All search terms are case-insensitive
- If you specify more than one search option (e.g. you search for both "Authors" and "Paper title") then the publications returned will be those that match all of your search terms
- To reset the search form, click here
- Currently displaying 61 - 80 of 1999 publications
Automatically Generalizing Proofs and Statements
– 16TH INTERNATIONAL CONFERENCE ON INTERACTIVE THEOREM PROVING, ITP 2025
(2025)
352,
12
(doi: 10.4230/LIPIcs.ITP.2025.12)
Implicit U-KAN2.0: Dynamic, Efficient and Interpretable Medical Image Segmentation
– Lecture Notes in Computer Science
(2025)
15970,
304
(doi: 10.1007/978-3-032-05141-7_30)
Electrical impedance tomography revisited
– Physica D Nonlinear Phenomena
(2025)
483,
134941
(doi: 10.1016/j.physd.2025.134941)
Generalized Quantum Stein's Lemma and Reversibility of Quantum Resource Theories for Classical-Quantum Channels
(2025)
JFM 'Outstanding Reviewers' 2024
– Journal of Fluid Mechanics
(2025)
1018,
e1
(doi: 10.1017/jfm.2025.10462)
An accelerated Levin–Clenshaw–Curtis method for the evaluation of highly oscillatory integrals
– BIT Numerical Mathematics
(2025)
65,
36
(doi: 10.1007/s10543-025-01079-4)
An accelerated Levin-Clenshaw-Curtis method for the evaluation of highly oscillatory integrals.
– BIT. Numerical mathematics
(2025)
65,
36
(doi: 10.1007/s10543-025-01079-4)
Advancing the Frontiers of Deep Learning for Low-Dose 3D Cone-Beam CT Reconstruction
– IEEE Open Journal of Signal Processing
(2025)
6,
942
(doi: 10.1109/ojsp.2025.3593189)
Estimating maximal symmetries of regression functions via subgroup lattices
– Journal of the Royal Statistical Society Series B Statistical Methodology
(2025)
87,
1576
(doi: 10.1093/jrsssb/qkaf031)
Practical Operator Sketching Framework for Accelerating Iterative Data-Driven Solutions in Linear Inverse Problems
– Journal of Mathematical Imaging and Vision
(2025)
67,
46
(doi: 10.1007/s10851-025-01263-9)
Learning homeomorphic image registration via conformal-invariant hyperelastic regularisation.
– Med Image Anal
(2025)
105,
103712
(doi: 10.1016/j.media.2025.103712)
Continuity bounds for quantum entropies arising from a fundamental entropic inequality
– IEEE Transactions on Information Theory
(2025)
71,
7029
(doi: 10.1109/tit.2025.3586478)
Equation-informed data-driven identification of flow budgets and dynamics
– Physical Review Fluids
(2025)
10,
064903
(doi: 10.1103/45wc-c3ww)
Characterising the Standardisation Properties of Type Ia Supernovae in the z band with Hierarchical Bayesian Modelling
– Monthly Notices of the Royal Astronomical Society
(2025)
541,
1948
(doi: 10.1093/mnras/staf1056)
Motion Constrained Point Cloud Matching for Maritime Tracking
– IEEE Access
(2025)
13,
111354
(doi: 10.1109/access.2025.3582327)
Mixture equivalence principles and postquantum theories of gravity
– Physical Review D
(2025)
111,
126016
(doi: 10.1103/pttr-6kj7)
Deep generative classification of blood cell morphology
– Nature Machine Intelligence
(2025)
7,
1791
(doi: 10.1038/s42256-025-01122-7)
Trajectory generation for ROI expansion in dental CBCT imaging: An out-of-FOV ROI annotation guided arc scan-based approach.
– Comput Struct Biotechnol J
(2025)
28,
211
(doi: 10.1016/j.csbj.2025.06.013)