Related papers: SuperTracer: A Calculator of Functional Supertrace…
This paper presents a novel framework for track fitting which is usable in a wide range of experiments, independent of the specific event topology, detector setup, or magnetic field arrangement. This goal is achieved through a completely…
In this work, we put forward a straightforward and simple approach to construct the low-energy effective field theory (EFT) from a given ultraviolet (UV) full theory by integrating heavy particles out. By calculating the on-shell…
We present the results of the first complete one-loop matching calculation between the real singlet scalar extension of the Standard Model and the Standard Model effective field theory (SMEFT) at dimension six. Beyond their immediate…
We develop an on-shell framework for matching ultraviolet (UV) theories to low-energy effective field theories (EFTs) at loop level, based on the unitary cut method. By promoting unitarity double-cuts to $d=4-2\epsilon$ dimensions, the…
Studying the impact of new-physics models on low-energy observables necessitates matching to effective field theories at the relevant mass thresholds. We introduce the first public version of Matchete, a computer tool for matching…
We present a Python package LDTk that automates the calculation of custom stellar limb darkening (LD) profiles and model-specific limb darkening coefficients (LDC) using the library of PHOENIX-generated specific intensity spectra by Husser…
Developing and maintaining CLP programs requires visualization and explanation tools. However, existing tools are built in an ad hoc way. Therefore porting tools from one platform to another is very difficult. We have shown in previous work…
HyperLTL model-checking enables the automated verification of information-flow properties for security-critical systems. However, it only provides a binary answer. Here, we introduce two paradigms to compute counterexamples and explanations…
Mapping UV theories onto low energy effective descriptions is a procedure known as matching. The last decade has seen tremendous progress in the development of new tools for efficiently performing matching calculations, by relying on…
Efficiently merging several models fine-tuned for different tasks, but stemming from the same pretrained base model, is of great practical interest. Despite extensive prior work, most evaluations of model merging in computer vision are…
Tracking objects of interest in a video is one of the most popular and widely applicable problems in computer vision. However, with the years, a Cambrian explosion of use cases and benchmarks has fragmented the problem in a multitude of…
The Smatch metric is a popular method for evaluating graph distances, as is necessary, for instance, to assess the performance of semantic graph parsing systems. However, we observe some issues in the metric that jeopardize meaningful…
We study the phenomenology of the simplest renormalisable model that, at low energy, leads to the effective field theory of the Standard Model extended with right-handed neutrinos ($\nu$SMEFT). Our aim is twofold. First, to contextualise…
We present a new on-shell method for the matching of ultraviolet models featuring massive states onto their massless effective field theory. We employ a dispersion relation in the space of complex momentum dilations to capture, in a single…
Subgraph matching in logic circuits is foundational for numerous Electronic Design Automation (EDA) applications, including datapath optimization, arithmetic verification, and hardware trojan detection. However, existing techniques rely…
Ultrafast electron experiments usually work with low-emittance few-electron pulsed beams. The structures are usually much larger than the (average) electron pulse size posing challenges to the resolution of simulations. We present the…
We present a versatile and fast MATLAB program (UmUTracker) that automatically detects and tracks particles by analyzing video sequences acquired by either light microscopy or digital in-line holographic microscopy. Our program detects the…
Many Haskell textbooks explain the evaluation of pure functional programs as a process of stepwise rewriting using equations. However, usual implementation techniques perform program transformations that make producing the corresponding…
Extensions of the Standard Model (SM) often contain new particles with masses far above the electroweak scale. Due to the presence of a mass hierarchy, effective field theory (EFT) is a suitable tool for the study of such extensions. In…
We present a novel method for efficiently producing semi-dense matches across images. Previous detector-free matcher LoFTR has shown remarkable matching capability in handling large-viewpoint change and texture-poor scenarios but suffers…