• ANSYS

  • Referenced in 715 articles [sw00044]
  • delivering efficiency, driving innovation and reducing physical constraints, enabling simulated tests that might...
  • MOOD

  • Referenced in 117 articles [sw39744]
  • Moreover MOOD is able to take physical constraints such as density and pressure positivity into...
  • SINDy

  • Referenced in 31 articles [sw30277]
  • decomposition) and extend it to enforce physical constraints in the regression, e.g. energy-preserving quadratic...
  • NMSSMTools

  • Referenced in 26 articles [sw04069]
  • channels relevant for the NMSSM. B physics constraints from b -> s gamma, Delta...
  • TRIC

  • Referenced in 47 articles [sw02165]
  • Cartesian mechanics as well as previously adopted physical lumping procedures and contains a completely ... circumvents all previously imposed constraints. The methodology is based on physical inspirations of the natural...
  • ShapeOp

  • Referenced in 7 articles [sw39374]
  • include architectural design subject to geometric constraints, and physics simulation of elastic materials...
  • D-NURBS

  • Referenced in 17 articles [sw09123]
  • direct physical manipulation, by applying simulated forces and local and global shape constraints...
  • SURFIELD

  • Referenced in 4 articles [sw25294]
  • satisfy some conditions imposed by physical and practical constraints. Under such conditions, invariance to rigid...
  • HEPfit

  • Referenced in 4 articles [sw24717]
  • Combination of Indirect and Direct Constraints on High Energy Physics Models...
  • AlterBBN

  • Referenced in 3 articles [sw16357]
  • confronting them to BBN constraints. A presentation of the physics of BBN and the features...
  • GRChombo

  • Referenced in 9 articles [sw14357]
  • with an option to turn on CCZ4 constraint damping if required. The AMR capability permits ... study of a range of new physics which has previously been computationally infeasible...
  • ColliderBit

  • Referenced in 2 articles [sw41215]
  • high energy collider observables in theories of physics beyond the Standard Model (BSM). ColliderBit features ... efficiently applying collider constraints to theories of new physics...
  • Flask

  • Referenced in 5 articles [sw09691]
  • ensures constraints on space and time behavior. Through microbenchmarks and measurements on physical hardware...
  • mystic

  • Referenced in 5 articles [sw39790]
  • physics, engineering, and materials models may have hundreds of input parameters, hundreds of constraints...
  • EFSMT

  • Referenced in 2 articles [sw19487]
  • cyber-physical systems. The design of cyber-physical systems is challenging in that it includes ... first-order fragment of propositional combinations over constraints (including nonlinear arithmetic), as the logical framework ... foundation for analyzing and synthesizing cyber-physical systems. We demonstrate the expressiveness of EFSMT ... them to quantifier reasoning by counterexample-guided constraint strengthening. The EFSMT solver uses Bernstein polynomials...
  • SWARM

  • Referenced in 4 articles [sw14938]
  • Fundamental physical limitations such as the size of the transistor and power constraints have...
  • RNAfbinv

  • Referenced in 1 article [sw17115]
  • folding problem could benefit from considering fragment constraints. We have developed a new interactive Java ... structure in favor of preserving physical attributes and additional constraints. Availability: RNAfbinv is freely available...
  • Parampl

  • Referenced in 1 article [sw14824]
  • AMPL Programs. Due to the physical processor frequency scaling constraint, current computer systems are equipped...
  • VERA

  • Referenced in 6 articles [sw18053]
  • components adapted and/or refactored to simulate relevant physical phenomena in a coupled manner. VERA also ... numerical perspectives, along with the goals and constraints that drove major design decisions, and their ... these distinctions are relevant (particularly for coupled physics applications), and provide an overview of results...
  • Olex2

  • Referenced in 1 article [sw15294]
  • adding multiple general constraints with dependencies on common physical parameters is described. Several new restraints...