• ANSYS

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

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

  • Referenced in 24 articles [sw30277]
  • decomposition) and extend it to enforce physical constraints in the regression, e.g. energy-preserving quadratic...
  • 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 6 articles [sw39374]
  • include architectural design subject to geometric constraints, and physics simulation of elastic materials...
  • D-NURBS

  • Referenced in 16 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...
  • Flask

  • Referenced in 5 articles [sw09691]
  • ensures constraints on space and time behavior. Through microbenchmarks and measurements on physical hardware...
  • 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...
  • Olex2

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

  • Referenced in 5 articles [sw07913]
  • package (IMP), originally designed to support the physical mapping of human chromosome 13 and expanded ... this end, the optimization employs multiple constraints that take into account already established STS “scaffold ... important general tool kit for physical mapping, sequencing, and gene-hunting projects...
  • VERA

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

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

  • Referenced in 2 articles [sw01761]
  • constraint-based specification language that uses DataScript types to describe the physical layout of data...
  • OPTIMASS

  • Referenced in 3 articles [sw23377]
  • Minimization of Kinematic Mass Functions with Constraints. Reconstructed mass variables, such ... essential role in searches for new physics at hadron colliders. The calculation of these variables...