
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 unfoundedsets ... 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 firstorder formulas. We present ... implementation of the general language of stable models proposed by Ferraris, Lee and Lifschitz. Under ... firstorder 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 Tmatrix provides an efficient reduced order model (ROM) framework ... mathematically analyzed a numerically stable formulation for computing the Tmatrix (J. Comput. Appl. Math ... objectoriented 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 Tmatrix...

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. Crosssections 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 lowlevel 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 LevenbergMarquardt 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 ... datadriven 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 realworld 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...