Related papers: Computing Tools for Effective Field Theories
These lectures are a pedagogical -- not comprehensive -- introduction to the applications of effective field theory in the context of nuclear and atomic physics. A common feature of these applications is the interplay between…
A brief introduction to the subject of chiral perturbation theory ($\chi$pt) is given, including a discussion of effective field theory and application to the upcoming Bates virtual Compton scattering measurement.
We develop the geometric formulation of the Standard Model Effective Field Theory (SMEFT). Using this approach we derive all-orders results in the $\sqrt{2 \langle H^\dagger H \rangle}/\Lambda$ expansion relevant for studies of electroweak…
In this dissertation, I introduce the principles and methods of effective field theory and describe my work in three EFTs: First, in the perturbative QCD region, I use soft collinear effective theory (SCET) to prove that strong interaction…
This perspective article details the program of sustainable computing workshops launched within the High Energy Physics department at DESY in 2023. The workshop series targets scientific users of the National Analysis Facility, hosted at…
These are the proceedings of the "Workshop on Precision Measurements of alphas" held at the Max-Planck-Institute for Physics, Munich, February 9-11, 2011. The workshop explored in depth the determination of alphas(mZ) in the MS-bar scheme…
Effective Field Theories are an established framework to bridge the gap between UV and low energy theories. In the context of the Standard Model, the bottom-up approach extends its operator set and thus equips us to astutely probe its…
The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favouring software support for this transition by exploiting the…
This article reports on the third iteration of a survey of computerized tools and technologies taught as part of postgraduate translation training programmes. While the survey was carried out under the aegis of the EMT Network, more than…
Future lepton colliders will be precision machines whose physics program includes close study of the Higgs sector and searches for new physics via polarised beams. The luminosity requirements of such machines entail very intense lepton…
We formalize energy-scaling arguments in the Standard Model Effective Field Theory (SMEFT) to estimate effects of operators up to dimension ten. Introducing a classification based on the number of external legs and an energy-counting…
This volume contains a selection of the papers presented at TERMGRAPH 2018, the tenth edition of the international workshop on computing with terms and graphs. Graphs, and graph transformation systems, are used in many areas within Computer…
The CMS programme of indirect searches in the top-quark sector interprets precision measurements in the Standard Model Effective Field Theory (SMEFT) framework. These proceedings summarize recent CMS results highlighted in the TOP2025 talk:…
This review gives an overview of effective field theory (EFT) as applied at finite density, with a focus on nuclear many-body systems. Uniform systems with short-range interactions illustrate the ingredients and virtues of many-body EFT and…
This volume contains the proceedings of MARS 2022, the fifth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2022, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring…
In the recent years, we have linked a large corpus of formal mathematics with automated theorem proving (ATP) tools, and started to develop combined AI/ATP systems working in this setting. In this paper we first relate this project to the…
This volume contains the post-proceedings of the Sixteenth International Workshop on Graph Computation Models (GCM 2025). The workshops took place in Koblenz, Germany on June 10 as part of STAF (Software Technologies: Applications and…
This EPTCS volume contains the joint proceedings for the fourth international workshop on Formal Methods for Autonomous Systems (FMAS 2022) and the fourth international workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE…
We summarize the parallel session B4: 'Analytic approximations, perturbation theory effective field theory methods and their applications' and the joint session B2/B4: 'Approximate solutions to Einstein equations: Methods and Applications',…
I review some recent progress, open puzzles and future opportunities in heavy quarkonium physics in the framework of effective field theories