English
Related papers

Related papers: EFT Workshop at Notre Dame

200 papers

Measurements carried out or reinterpreted within the framework of effective field theory (EFT) will constitute a key component of the LHC legacy in the quest towards physics beyond the standard model. Numerous EFT measurements were already…

High Energy Physics - Experiment · Physics 2021-02-22 Nicolas Tonon

A method to quantitatively assess the consistency of power-counting proposals in Effective Field Theories (EFT) which are non-perturbative at leading order is presented. The Renormalisation Group evolution of an observable predicts the…

Nuclear Theory · Physics 2020-05-20 Harald W. Griesshammer

This volume contains the proceedings of F-IDE 2021, the sixth international workshop on Formal Integrated Development Environment, which was held online on May 24-25, 2021, as part of NFM'21, the 13th NASA Formal Methods Symposium. High…

Software Engineering · Computer Science 2021-08-06 José Proença , Andrei Paskevich

This volume of EPTCS contains the proceedings of the Seventh Workshop on Proof Exchange for Theorem Proving (PxTP 2021), held on 11 July 2021 as part of the CADE-28 online conference in Pittsburgh, USA. The PxTP workshop series brings…

Logic in Computer Science · Computer Science 2021-07-06 Chantal Keller , Mathias Fleury

Transformer models have advanced the state of the art in many Natural Language Processing (NLP) tasks. In this paper, we present a new Transformer architecture, Extended Transformer Construction (ETC), that addresses two key challenges of…

This EPTCS volume contains the post-proceedings of the Twelfth International Workshop on Fixed Points in Computer Science, presenting a selection of the works presented during the workshop that took place in Naples (Italy) on the 19th and…

Logic in Computer Science · Computer Science 2025-11-04 Alexis Saurin

We describe a Python-based computer program, DEFT, for manipulating operators in effective field theories (EFTs). In its current incarnation, DEFT can be applied to 4-dimensional, Poincar\'{e} invariant theories with gauge group…

High Energy Physics - Phenomenology · Physics 2019-02-20 Ben Gripaios , Dave Sutherland

This volume of EPTCS contains the proceedings of the Sixth Workshop on Proof Exchange for Theorem Proving (PxTP 2019), held on 26 August 2019 as part of the CADE-27 conference in Natal, Brazil. The PxTP workshop series brings together…

Logic in Computer Science · Computer Science 2019-08-26 Giselle Reis , Haniel Barbosa

This volume constitutes the proceedings of LFMTP 2015, the Tenth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, held on August 1st, 2015 in Berlin, Germany. The workshop was a one-day satellite event…

Logic in Computer Science · Computer Science 2015-07-29 Iliano Cervesato , Kaustuv Chaudhuri

In recent years, theoretical and phenomenological studies with effective field theories have become a trending and prolific line of research in the field of high-energy physics. In order to discuss present and future prospects concerning…

The usage of Effective Field Theories (EFT) for LHC new physics searches is receiving increasing attention. It is thus important to clarify all the aspects related with the applicability of the EFT formalism in the LHC environment, where…

High Energy Physics - Phenomenology · Physics 2017-09-13 F. Pobbe , A. Wulzer , M. Zanetti

This volume constitutes the proceedings of the 7th International Workshop on Physics and Computation (PC 2016). The workshop was held on the 14th of July 2016 in Manchester, UK, as a satellite workshop to UCNC 2016, the 15th International…

Emerging Technologies · Computer Science 2016-06-22 Alastair A. Abbott , Dominic C. Horsman

Given the current transformative potential of research that sits at the intersection of Deep Learning (DL) and Software Engineering (SE), an NSF-sponsored community workshop was conducted in co-location with the 34th IEEE/ACM International…

This volume contains a selection of papers presented at LFMTP 2020, the 15th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held the 29-30th of June, 2019, using the Zoom video conferencing…

Logic in Computer Science · Computer Science 2021-01-11 Claudio Sacerdoti Coen , Alwen Tiu

Although Fourier series approximation is ubiquitous in computational physics owing to the Fast Fourier Transform (FFT) algorithm, efficient techniques for the fast evaluation of a three-dimensional truncated Fourier series at a set of…

Numerical Analysis · Mathematics 2017-03-08 Marco Caliari , Simone Zuccher

This document describes the findings of the Third Workshop on Neural Generation and Translation, held in concert with the annual conference of the Empirical Methods in Natural Language Processing (EMNLP 2019). First, we summarize the…

Computation and Language · Computer Science 2019-10-31 Hiroaki Hayashi , Yusuke Oda , Alexandra Birch , Ioannis Konstas , Andrew Finch , Minh-Thang Luong , Graham Neubig , Katsuhito Sudoh

Chiral effective field theory (EFT) predictions are necessarily truncated at some order in the EFT expansion, which induces an error that must be quantified for robust statistical comparisons to experiment. In previous work, a Bayesian…

Nuclear Theory · Physics 2017-08-28 J. A. Melendez , S. Wesolowski , R. J. Furnstahl

We test the BUQEYE model of correlated effective field theory (EFT) truncation errors on Reinert, Krebs, and Epelbaum's semi-local momentum-space implementation of the chiral EFT ($\chi$EFT) expansion of the nucleon-nucleon (NN) potential.…

Nuclear Theory · Physics 2024-02-21 P. J. Millican , R. J. Furnstahl , J. A. Melendez , D. R. Phillips , M. T. Pratola

This paper describes the Notre Dame Natural Language Processing Group's (NDNLP) submission to the WNGT 2019 shared task (Hayashi et al., 2019). We investigated the impact of auto-sizing (Murray and Chiang, 2015; Murray et al., 2019) to the…

Computation and Language · Computer Science 2019-10-17 Kenton Murray , Brian DuSell , David Chiang

As neural networks are increasingly being applied to real-world applications, mechanisms to address distributional shift and sequential task learning without forgetting are critical. Methods incorporating network expansion have shown…

Machine Learning · Computer Science 2021-03-26 Vinay Kumar Verma , Kevin J Liang , Nikhil Mehta , Piyush Rai , Lawrence Carin