English
Related papers

Related papers: FormTracer - A Mathematica Tracing Package Using F…

200 papers

Exploiting a general-purpose neural architecture to replace hand-wired designs or inductive biases has recently drawn extensive interest. However, existing tracking approaches rely on customized sub-modules and need prior knowledge for…

Computer Vision and Pattern Recognition · Computer Science 2022-07-19 Boyu Chen , Peixia Li , Lei Bai , Lei Qiao , Qiuhong Shen , Bo Li , Weihao Gan , Wei Wu , Wanli Ouyang

Soft tissue tracking is crucial for computer-assisted interventions. Existing approaches mainly rely on extracting discriminative features from the template and videos to recover corresponding matches. However, it is difficult to adopt…

Computer Vision and Pattern Recognition · Computer Science 2024-05-27 Jiaxin Guo , Jiangliu Wang , Zhaoshuo Li , Tongyu Jia , Qi Dou , Yun-Hui Liu

This paper presents STrEAM (SuperTrace Evaluation Automated for Matching), a Mathematica package that calculates all functional supertraces which arise when matching a generic UV model onto a relativistic Effective Field Theory (EFT) at one…

High Energy Physics - Phenomenology · Physics 2021-08-02 Timothy Cohen , Xiaochuan Lu , Zhengkang Zhang

Trace slicing is a widely used technique for execution trace analysis that is effectively used in program debugging, analysis and comprehension. In this paper, we present a backward trace slicing technique that can be used for the analysis…

Logic in Computer Science · Computer Science 2011-06-07 María Alpuente , Demis Ballis , Javier Espert , Daniel Romero

Symmetric trace-free tensors are used in many areas of physics, including electromagnetism, relativistic celestial mechanics and geodesy, as well as in the study of gravitational radiation and gravitational lensing. Their use allows…

General Relativity and Quantum Cosmology · Physics 2022-11-29 Viktor T. Toth , Slava G. Turyshev

Procedural material graphs are a compact, parameteric, and resolution-independent representation that are a popular choice for material authoring. However, designing procedural materials requires significant expertise and publicly…

Graphics · Computer Science 2022-08-16 Paul Guerrero , Miloš Hašan , Kalyan Sunkavalli , Radomír Měch , Tamy Boubekeur , Niloy J. Mitra

Tracking many cells in time-lapse 3D image sequences is an important challenging task of bioimage informatics. Motivated by a study of brain-wide 4D imaging of neural activity in C. elegans, we present a new method of multi-cell tracking.…

Computer Vision and Pattern Recognition · Computer Science 2018-01-18 Osamu Hirose , Shotaro Kawaguchi , Terumasa Tokunaga , Yu Toyoshima , Takayuki Teramoto , Sayuri Kuge , Takeshi Ishihara , Yuichi Iino , Ryo Yoshida

We present an implementation of algorithms for the symbolic integration of hyperlogarithms multiplied by rational functions in the computer algebra system FORM. This implementation encompasses cases where hyperlogarithms have rational…

High Energy Physics - Phenomenology · Physics 2026-03-23 Adam Kardos , Sven-Olaf Moch , Oliver Schnetz

We review matrix methods as applied to tracer transport. Because tracer transport is linear, matrix methods are an ideal fit for the problem. A gridded, Eulerian tracer simulation can be approximated as a system of linear ordinary…

Atmospheric and Oceanic Physics · Physics 2018-07-17 Peter Mills

CARTAN is an easy-to-use symbolic, tensor component package based on the popular Mathematica program. CARTAN makes use of the powerful formalism of rigid frames, and can return results both in this frame and in the coordinate basis. CARTAN…

General Relativity and Quantum Cosmology · Physics 2008-02-03 Harald H. Soleng

Humans can often count unfamiliar objects by observing visual repetition and composition, rather than relying only on object categories. However, many exemplar-free counting models struggle in such situations and may overcount when objects…

Computer Vision and Pattern Recognition · Computer Science 2026-03-10 Md Tanvir Hossain , Akif Islam , Mohd Ruhul Ameen

"GRAMA" is a Mathematica package for doing symbolic tensor computations and complicated algebraic manipulations in 10-dimensional (D=10) simple (N=1) supergravity. The main new ingredients of this package inside the general Mathematica…

High Energy Physics - Theory · Physics 2008-02-03 N. A. Saulina , E. M. Terentjev , M. V. Terentiev

This paper describes a package for calculations of expressions with Dirac matrixes. Advantages to existing similar packages are described. MatrixExp package is intended for simplification of complex expressions involving $\gamma$-matrixes,…

High Energy Physics - Phenomenology · Physics 2009-11-11 V. A. Poghosyan

Referring Expression Comprehension (REC) aims to localize the target objects specified by free-form natural language descriptions in images. While state-of-the-art methods achieve impressive performance, they perform a dense perception of…

Computer Vision and Pattern Recognition · Computer Science 2024-06-27 Wei Su , Peihan Miao , Huanzhang Dou , Xi Li

Deep-learning-based compressor has received interests recently due to much improved compression ratio. However, modern approaches suffer from long execution time. To ease this problem, this paper targets on cutting down the execution time…

Machine Learning · Computer Science 2022-04-04 Yu Mao , Yufei Cui , Tei-Wei Kuo , Chun Jason Xue

Standardization of data formats in a scientific discipline brings a range of benefits to researchers, as it enables the sharing of workflows and solutions to common problems, provides the foundation for generically useful tools that can be…

Accelerator Physics · Physics 2026-04-22 A. D. Brynes , J. K. Jones , M. King , M. A. Johnson , N. Ziyan

Tissue tracking plays a critical role in various surgical navigation and extended reality (XR) applications. While current methods trained on large synthetic datasets achieve high tracking accuracy and generalize well to endoscopic scenes,…

Computer Vision and Pattern Recognition · Computer Science 2025-11-04 Mert Asim Karaoglu , Wenbo Ji , Ahmed Abbas , Nassir Navab , Benjamin Busam , Alexander Ladikos

1. Behavioral analysis based on video recording is becoming increasingly popular within research fields such as; ecology, medicine, ecotoxicology, and toxicology. However, the programs available to analyze the data, which are; free of cost,…

Computer Vision and Pattern Recognition · Computer Science 2017-06-09 Alvaro Rodriquez , Hanqing Zhang , Jonatan Klaminder , Tomas Brodin , Patrik L. Andersson , Magnus Andersson

Recently Transformer has been largely explored in tracking and shown state-of-the-art (SOTA) performance. However, existing efforts mainly focus on fusing and enhancing features generated by convolutional neural networks (CNNs). The…

Computer Vision and Pattern Recognition · Computer Science 2023-03-24 Liting Lin , Heng Fan , Zhipeng Zhang , Yong Xu , Haibin Ling

Deep learning techniques have achieved remarkable success in the semantic segmentation of remote sensing images and in land-use change detection. Nevertheless, their real-time deployment on edge platforms remains constrained by decoder…

Computer Vision and Pattern Recognition · Computer Science 2026-01-12 Sihang Chen , Lijun Yun , Ze Liu , JianFeng Zhu , Jie Chen , Hui Wang , Yueping Nie