• XSummer

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

  • Referenced in 10 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 7 articles [sw07361]
  • researcher working on higher order corrections in Relativistic Quantum Field Theories. A short comparison...
  • SUSY_FLAVOR

  • Referenced in 7 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 2 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...
  • ETPS

  • Referenced in 145 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...
  • KK

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

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

  • Referenced in 4 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...
  • SDECAY

  • Referenced in 19 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...
  • HAWK

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

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

  • Referenced in 28 articles [sw08301]
  • node. Moreover, BIONJ uses a simple first-order model of the variances and covariances ... than NJ. When the substitution rates are higher and vary among lineages,BIONJ clearly ... while the probability of finding the correct tree may be augmented by as much...
  • Coquet

  • Referenced in 3 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...
  • APFEL

  • Referenced in 6 articles [sw17629]
  • masses. APFEL consistently accounts for the QED corrections to the evolution of quark and gluon ... space by means of higher order interpolation, followed by Runge-Kutta solution of the resulting...
  • SusHi

  • Referenced in 5 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...
  • Pilsner

  • Referenced in 2 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...
  • VST-Floyd

  • Referenced in 1 article [sw28118]
  • correctness of C programs. Its program logic, Verifiable C, is a shallowly embedded higher-order ... semiautomatic tactics helping users build functional correctness proofs for C programs using Verifiable...
  • Ask-Elle

  • Referenced in 2 articles [sw22629]
  • tutor for learning the higher-order, strongly-typed functional programming language Haskell. It supports ... development of Haskell programs by verifying the correctness of incomplete programs, and by providing hints...