
SmeftFR
 Referenced in 4 articles
[sw31392]
 rules generator for the Standard Model Effective Field Theory. We present SmeftFR, a Mathematica package ... Feynman rules for the Standard Model Effective Field Theory (SMEFT) including the complete...

DEFT
 Referenced in 7 articles
[sw28087]
 program, DEFT, for manipulating operators in effective field theories (EFTs). In its current incarnation, DEFT...

CalcHEP
 Referenced in 53 articles
[sw06470]
 properties in the lowest order of perturbation theory (the tree approximation). The main idea prescribed ... from the Lagrangian to the final distributions effectively with a high level of automation. Other...

dim6top
 Referenced in 3 articles
[sw38906]
 measurements in the standardmodel effective field theory. This note proposes common standards and prescriptions ... effectivefieldtheory interpretation of topquark measurements at the LHC. .. B.1 The dim6top implementation...

WCxf
 Referenced in 3 articles
[sw34062]
 SMEFT) and for the weak effective theory (WET) below the electroweak scale and have added...

CompHep
 Referenced in 41 articles
[sw06473]
 properties in the lowest order of perturbation theory (the tree approximation). The main idea prescribed ... from the Lagrangian to the final distributions effectively with a high level of automation...

mirt
 Referenced in 39 articles
[sw13479]
 latent trait models under the Item Response Theory paradigm. Exploratory and confirmatory models ... item testlets. Multiple group analysis and mixed effects designs also are available for detecting differential...

WIEN2k
 Referenced in 44 articles
[sw04975]
 structure calculations of solids using density functional theory (DFT). It is based on the full ... electron scheme including relativistic effects and has many features. It has been licensed by more...

ggzh
 Referenced in 2 articles
[sw21868]
 process gg→ZH. In the effectivetheory approach we confirm the results in the literature...

SuperLFV
 Referenced in 2 articles
[sw32824]
 MSSM model, as a low energy effective theory...

OSIPE
 Referenced in 2 articles
[sw00661]
 implementation of a quantum chemical solvent effect theory, SOLVENT, are briefly described. Efficient tools...

CoClust
 Referenced in 5 articles
[sw32066]
 interpret. This paper presents the theory underlying several effective diagonal and nondiagonal coclustering...

Ynot
 Referenced in 35 articles
[sw12334]
 added support for computations that may have effects such as nontermination, accessing a mutable ... previous work on Hoare Type Theory (HTT). We show how these axioms can be combined ... maps, including support for a higherorder (effectful) iterator. The implementations range from simple...

STrEAM
 Referenced in 3 articles
[sw38903]
 generic UV model onto a relativistic Effective Field Theory (EFT) at one loop...

SMEFT@NLO
 Referenced in 3 articles
[sw38907]
 loop computations in the standardmodel effective field theory at dimension six. Our general implementation...

FSMRDE
 Referenced in 9 articles
[sw22250]
 approach. Rough set theory has been proven to be an effective tool for feature selection...

Cubicle
 Referenced in 18 articles
[sw13778]
 symbolic backward reachability procedure using Satisfiabilty Modulo Theories. Experiments done on classic and challenging mutual ... cache coherence protocols show that Cubicle is effective and competitive with state...

EFTfitter
 Referenced in 1 article
[sw38905]
 interpreting measurements in the context of effective field theories. Over the past years, the interpretation ... measurements in the context of effective field theories has attracted much attention in the field...

SCETlib
 Referenced in 1 article
[sw26912]
 calculations in QCD and softcollinear effective theory (SCET...

ArchJava
 Referenced in 19 articles
[sw01803]
 structure of a system, enabling more effective design, program understanding, and formal analysis. However, existing ... language, a case study, and the theory behind ArchJava...