• Uppaal

  • Referenced in 658 articles [sw04702]
  • verification of real-time systems, developed jointly by Basic Research in Computer Science at Aalborg...
  • BUGS

  • Referenced in 382 articles [sw07885]
  • then onto the WinBUGS software developed jointly with the Imperial College School of Medicine...
  • NuSMV

  • Referenced in 314 articles [sw04131]
  • symbolic model checker developed as a joint project between: The Embedded Systems Unit...
  • HomCont

  • Referenced in 250 articles [sw14927]
  • HomCont, jointly developed with Alan Champneys (University of Bristol) and Yuri A Kuznetsov (Utrecht University...
  • ABAQUS/Standard

  • Referenced in 210 articles [sw07161]
  • Examples include sealing pressure in a gasket joint, steady-state rolling of a tire...
  • FEAP

  • Referenced in 194 articles [sw04963]
  • elements, and multiple rigid body options with joint interactions. Constitutive models include linear and finite...
  • MPI/MPICH

  • Referenced in 165 articles [sw06126]
  • portable implementation of MPI. MPICH is a joint-effort project between Argonne National Laboratory (Bill...
  • PASCAL VOC

  • Referenced in 150 articles [sw36507]
  • identified; and the use of a joint classifier over the submitted algorithms in order...
  • CVC4

  • Referenced in 125 articles [sw09485]
  • incorporate code from any previous version. A joint project of NYU and U Iowa, CVC4...
  • BERT

  • Referenced in 118 articles [sw30756]
  • deep bidirectional representations from unlabeled text by jointly conditioning on both left and right context...
  • JM

  • Referenced in 57 articles [sw10494]
  • package for the joint modelling of longitudinal and time-to-event data. In longitudinal studies ... separately analyzed; however, in many instances, a joint modeling approach is either required ... present the R package JM that fits joint models for longitudinal and time-to-event...
  • VisualSEEk

  • Referenced in 89 articles [sw13846]
  • spatial locations, a wide variety of complex joint color/spatial queries may be computed...
  • MUSCLE

  • Referenced in 75 articles [sw13193]
  • benchmark, PREFAB. MUSCLE achieves the highest, or joint highest, rank in accuracy on each...
  • frailtypack

  • Referenced in 44 articles [sw06070]
  • including two iid gamma random effects. 4) Joint frailty models in the context of joint ... values are available. Left truncated (not for Joint model), right-censored data, interval-censored data...
  • AutoClass

  • Referenced in 70 articles [sw26092]
  • necessitated by the computational complexity of the joint probability, and our marginalization is w.r.t...
  • IETI

  • Referenced in 68 articles [sw19412]
  • matching interfaces and for interfaces with T-joints, i.e. hanging nodes). Special attention is paid...
  • BEM++

  • Referenced in 66 articles [sw08621]
  • boundary element library. Its development is a joint project between University College London...
  • KeY

  • Referenced in 65 articles [sw09969]
  • University of Karlsruhe. It is now a joint project of Karlsruhe Institute of Technology...
  • MathSAT5

  • Referenced in 56 articles [sw09569]
  • long-term project, which has been jointly carried on by FBK-IRST and University...
  • CDVine

  • Referenced in 52 articles [sw08161]
  • estimated either sequentially or by joint maximum likelihood estimation. Sampling algorithms and plotting methods...