• micrOMEGAs

  • Referenced in 71 articles [sw01425]
  • stable massive particle in a generic model. First developed to compute the relic density ... stable massive particle, the code also computes the rates for direct and indirect detection rates ... coannihilation channels are included in the computation of the relic density. Specific examples of this ... MSSM and various extensions. Extensions to other models can be implemented by the user...
  • GPfit

  • Referenced in 20 articles [sw14044]
  • package GPfit: Gaussian Processes Modeling. A computationally stable approach of fitting a Gaussian Process ... process (GP) models are commonly used statistical metamodels for emulating expensive computer simulators. Fitting ... model can be numerically unstable if any pair of design points in the input space ... Karsten (2011) proposed a computationally stable approach for fitting GP models to deterministic computer simulators...
  • WASP

  • Referenced in 55 articles [sw09565]
  • handling disjunctive logic programs under the stable model semantics. WASP implements techniques originally introduced ... that have been specifically designed for ASP computation, such as source pointers enhancing unfounded-sets ... computation, forward and backward inference operators based on atom support, and techniques for stable model...
  • asprin

  • Referenced in 11 articles [sw30408]
  • optimization in ASP that allows: computing optimal stable models of logic programs with preferences...
  • ASPMT2SMT

  • Referenced in 5 articles [sw13280]
  • System ASPMT2SMT: computing ASPMT theories by SMT solvers. Answer set programming modulo theories (ASPMT ... modulo theories based on the functional stable model semantics. It is shown that the tight ... instances, thereby allowing SMT solvers to compute stable models of ASPMT programs. In this paper ... system can effectively handle real number computations for reasoning about continuous changes...
  • DeReS

  • Referenced in 4 articles [sw32312]
  • theory is a logic program, DeReS computes stable models of this program and supports queries...
  • f2lp

  • Referenced in 10 articles [sw09898]
  • System f2lp – computing answer sets of first-order formulas. We present ... implementation of the general language of stable models proposed by Ferraris, Lee and Lifschitz. Under ... first-order theory under the stable model semantics into an answer set program, so that ... rules. Based on the relationship between stable models and circumscription, f2lp can also serve...
  • TMATROM

  • Referenced in 10 articles [sw22690]
  • offline computation of the T-matrix provides an efficient reduced order model (ROM) framework ... mathematically analyzed a numerically stable formulation for computing the T-matrix (J. Comput. Appl. Math ... object-oriented implementation of the numerically stable formulation and can be used in conjunction with ... dimensional Helmholtz model. We compare TMATROM with standard methods to compute the T-matrix...
  • MicrOMEGAs 2.0

  • Referenced in 48 articles [sw01426]
  • relic density of a stable massive particle in an arbitrary model. The underlying assumption ... lightest odd particle. The new physics model must be incorporated in the notation of CalcHEP ... coannihilation channels are included automatically in any model. Cross-sections at v=0, relevant ... indirect detection of dark matter, are also computed automatically. The package includes three sample models...
  • URDME

  • Referenced in 25 articles [sw10400]
  • Multiphysics) provides for a stable and interactive environment for model construction. The core simulation routines ... model building interface and written in a low-level language for computational efficiency. The connection...
  • ANODEs

  • Referenced in 8 articles [sw35084]
  • expressive models, are empirically more stable, generalize better and have a lower computational cost than...
  • RSIR

  • Referenced in 16 articles [sw26716]
  • existing methods, RSIR is efficient in computation, very stable for data with high dimensionality ... detection sensitivities and specificities by avoiding inappropriate model specification. RESULTS: We compare RSIR with...
  • ODRPACK

  • Referenced in 21 articles [sw00649]
  • ODRPACK can handle both explicit and implicit models, and will easily accommodate complex and other ... algorithm implemented is an efficient and stable trust region Levenberg-Marquardt procedure that exploits ... structure of the problem so that the computational cost per iteration is equal to that...
  • TMSmesh

  • Referenced in 20 articles [sw14719]
  • Mesh Generation Using a Trace Technique. Qualified, stable, and efficient molecular surface meshing appears ... realistic mathematical modeling and numerical simulation of biomolecules, especially in implicit solvent modeling ... Commun. Comput. Phys. 2008, 3, 973−1009). In this paper, we present a new method...
  • GEOCLAW

  • Referenced in 42 articles [sw08626]
  • allows the use of accurate and stable methods developed for solving general hyperbolic problems ... tested in this context. The difficulties of modeling floods in rugged terrain, and the rationale ... field data, laboratory model data and other numerical simulation results (computed on static fitted meshes...
  • ASPTools

  • Referenced in 3 articles [sw33089]
  • compute supported models for programs; testsm: verify if a program has a particular stable model...
  • CausalKinetiX

  • Referenced in 4 articles [sw37630]
  • core challenges in many fields. Identifying stable models is essential for the generalization capabilities ... data-driven inference. We introduce a computationally efficient framework, called CausalKinetiX, that identifies structure from...
  • HPX

  • Referenced in 8 articles [sw40105]
  • open source implementation of a new programming model for conventional systems, such as classic Linux ... port our implementation onto new computer system architectures. We want to use real-world applications ... required functionalities and converging onto a stable API which will provide a smooth migration path ... exposed by HPX is not only modeled after the interfaces defined...
  • CHEMSODE

  • Referenced in 11 articles [sw00124]
  • Research areas ranging from combustion to climate modeling are often limited by their ability ... solution technique introduces a large amount of computational overhead necessary to solve the nonlinear algebraic ... stepping method that is explicit and very stable for chemical kinetics problems...
  • LOQUAT

  • Referenced in 5 articles [sw40039]
  • generalized boundary particle method is presented to model static and moving boundaries with arbitrary geometry ... increase the computational efficiency. Numerical examples show that the solver is convergent, stable and highly...