Zobrazeno 1 - 10
of 5 456
pro vyhledávání: '"SMITH, JOSEPH"'
Autor:
Tooby-Smith, Joseph
The physics community relies on index notation to effectively manipulate types of tensors. This paper introduces the first formally verified implementation of index notation in the interactive theorem prover Lean 4. By integrating index notation into
Externí odkaz:
http://arxiv.org/abs/2411.07667
Autor:
Lambert, Neil, Smith, Joseph
It has recently been realised that there are supersymmetry-preserving non-relativistic decoupling limits associated with each half-BPS object in String Theory and M-Theory. We argue that, given a $p$-brane and a $q$-brane for which there is a quarter
Externí odkaz:
http://arxiv.org/abs/2410.17074
Image segmentation is a crucial task in computer vision, with wide-ranging applications in industry. The Segment Anything Model (SAM) has recently attracted intensive attention; however, its application in industrial inspection, particularly for segm
Externí odkaz:
http://arxiv.org/abs/2409.09530
Publikováno v:
Optics Express 30, 40854-40870 (2022)
Images captured from a long distance suffer from dynamic image distortion due to turbulent flow of air cells with random temperatures, and thus refractive indices. This phenomenon, known as image dancing, is commonly characterized by its refractive-i
Externí odkaz:
http://arxiv.org/abs/2408.16623
Due to the high computational cost of 3D particle-in-cell (PIC) simulations, lower-dimensional (2D or 1D) simulations are frequently used in their place. Our work shows that when modeling high-intensity laser ion acceleration, simulation dimensionali
Externí odkaz:
http://arxiv.org/abs/2408.10386
Autor:
Tooby-Smith, Joseph
We introduce HepLean, an open-source project to digitalise definitions, theorems, proofs, and calculations in high energy physics using the interactive theorem prover Lean 4. HepLean has the potential to benefit the high energy physics community in f
Externí odkaz:
http://arxiv.org/abs/2405.08863
Autor:
Lambert, Neil, Smith, Joseph
We discuss non-relativistic variants of four-dimensional ${\cal N}$=4 super-Yang-Mills theory obtained from generalised Newton-Cartan geometric limits of D3-branes in ten-dimensional spacetime. We argue that the natural interpretation of these limits
Externí odkaz:
http://arxiv.org/abs/2405.06552
In this paper, we propose a No-Reference Image Quality Assessment (NRIQA) guided cut-off point selection (CPS) strategy to enhance the performance of a fine-grained classification system. Scores given by existing NRIQA methods on the same image may v
Externí odkaz:
http://arxiv.org/abs/2405.05742
In the realm of practical fine-grained visual classification applications rooted in deep learning, a common scenario involves training a model using a pre-existing dataset. Subsequently, a new dataset becomes available, prompting the desire to make a
Externí odkaz:
http://arxiv.org/abs/2405.05853