• XSummer

  • Referenced in 30 articles [sw06109]
  • useful in the evaluation of higher-order perturbative corrections in quantum field theory. Of particular...
  • HIGLU

  • Referenced in 13 articles [sw11899]
  • hadron colliders including next--to--leading order QCD corrections is presented. It is suitable especially ... couplings are implemented including the leading higher order corrections...
  • TRACER

  • Referenced in 10 articles [sw07361]
  • researcher working on higher order corrections in Relativistic Quantum Field Theories. A short comparison...
  • SUSY_FLAVOR

  • Referenced in 9 articles [sw09547]
  • loop level (with some higher-order QCD corrections included) in the exact sfermion mass eigenbasis...
  • CPsuperH

  • Referenced in 11 articles [sw09154]
  • calculations that include dominant higher-order logarithmic and threshold corrections, b-quark Yukawa-coupling resummation...
  • NMSSMCALC

  • Referenced in 3 articles [sw20309]
  • violating NMSSM. The full one-loop corrections to the Higgs boson masses are evaluated ... decay widths include the dominant higher order QCD corrections, and the decays into bottom quarks ... leptons are supplemented by higher order SUSY corrections through effective couplings. All relevant off-shell...
  • 2HDECAY

  • Referenced in 2 articles [sw40158]
  • remaining theoretical error due to missing higher-order corrections. The latest version of the program...
  • H-COUP

  • Referenced in 2 articles [sw40157]
  • Version 2: a program for one-loop corrected Higgs boson decays in non-minimal Higgs ... which evaluates the decay rates (including higher order corrections) for the Higgs boson with...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • proofs, and solving unification problems in higher-order logic. It has a formula editor which ... gives them immediate feedback for both correct and incorrect actions. ETPS permits students to work...
  • RACOONWW

  • Referenced in 8 articles [sw09550]
  • collinear singularities between virtual and real corrections is done alternatively in two different ways, namely ... space slicing. Higher-order initial-state photon radiation and naive QCD corrections are taken into...
  • KK

  • Referenced in 8 articles [sw10792]
  • Suura exponentiation. Electroweak corrections are included in first order, with higher-order extensions, using...
  • munuSSM

  • Referenced in 1 article [sw35284]
  • full one-loop level. Sizable higher-order corrections, required for an accurate prediction...
  • PartEntFermions

  • Referenced in 1 article [sw39081]
  • size plus a non-universal constant. Higher-order corrections decay as power-laws...
  • RALL

  • Referenced in 9 articles [sw08505]
  • algebra including higher-order operators and domain constructions, and checks the type-correctness...
  • HAWK

  • Referenced in 3 articles [sw13132]
  • perturbative matrix elements including higher-order QCD and electroweak corrections which are based...
  • SDECAY

  • Referenced in 21 articles [sw09545]
  • Minimal Supersymmetric Standard Model, including higher order effects. Besides the usual two-body decays ... decay modes are also included. The QCD corrections to the two-body decays involving strongly...
  • APOSTLE

  • Referenced in 1 article [sw26425]
  • events are processed in the correct order. The higher-level interface presented to the user...
  • Pilsner

  • Referenced in 6 articles [sw20004]
  • compositionally verified compiler for a higher-order imperative language. Compiler verification is essential ... develop a compositional notion of compiler correctness that is modular (preserved under linking), transitive (supports ... first multi-pass compiler for a higher-order imperative language to be compositionally verified. Lastly ... hand-coded self-modifying T module, proven correct w.r.t. an S-level specification. The output...
  • Coquet

  • Referenced in 6 articles [sw09919]
  • approach is practicable by proving the correctness of various circuits: a text-book divide ... conquer adder of parametric size, some higher-order combinators of circuits, and some sequential circuits...
  • SusHi

  • Referenced in 10 articles [sw10356]
  • corrections due to top-quarks, approximate NNLO corrections due to top-squarks, and electro-weak ... well as resummation effects of higher order tan β-enhanced sbottom contributions. SusHi provides...