• 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 standard-model effective field theory. This note proposes common standards and prescriptions ... effective-field-theory interpretation of top-quark 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 effective-theory approach we confirm the results in the literature...
  • 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 non-diagonal co-clustering...
  • Ynot

  • Referenced in 35 articles [sw12334]
  • added support for computations that may have effects such as non-termination, accessing a mutable ... previous work on Hoare Type Theory (HTT). We show how these axioms can be combined ... maps, including support for a higher-order (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 standard-model 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 soft-collinear 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...