• iProver

  • Referenced in 55 articles [sw09707]
  • indexing, redundancy elimination, semantic selection and saturation algorithms. Redundancy elimination implemented in iProver include: dismatching ... resolution. In this paper we discuss the design of iProver and related implementation issues...
  • AWAST

  • Referenced in 11 articles [sw14906]
  • perform stability and performance analysis and design for anti-windup systems. The main routines ... recent analysis and synthesis results dedicated to saturated systems...
  • PHREEQC

  • Referenced in 30 articles [sw07853]
  • programming languages that is designed to perform a wide variety of aqueous geochemical calculations. PHREEQC ... PHREEQC has capabilities for (1) speciation and saturation-index calculations; (2) batch-reaction...
  • MIN3P

  • Referenced in 13 articles [sw11519]
  • flow and reactive transport code for variably saturated media providing a high degree of flexibility ... surface complexation. The reaction network is designed to handle kinetically controlled intra-aqueous and dissolution...
  • CUBIC

  • Referenced in 12 articles [sw21235]
  • slowly when it is close to the saturation point. This feature allows CUBIC ... through several upgrades. This paper documents its design, implementation, performance and evolution as the default...
  • AUTO2

  • Referenced in 6 articles [sw17595]
  • AUTO2, A saturation-based heuristic prover for higher-order logic. We introduce a new theorem ... order logic named auto2. The prover is designed to make use of human-specified heuristics...
  • LASCAD

  • Referenced in 2 articles [sw15110]
  • gather experience for optimizing laser resonator design. For this purpose LASCAD provides a unique combination ... Optics Beam Propagation Code including diffraction, gain saturation...
  • GLUE-IT

  • Referenced in 3 articles [sw33402]
  • programmes suggested some empirical guidelines for library design; however, no information was provided regarding library ... analysis of translated libraries constructed by site-saturation mutagenesis and error-prone PCR (epPCR ... provide two tools for assisting with experimental design: CodonCalculator, for assessing amino acids corresponding...
  • PEDEL-AA

  • Referenced in 3 articles [sw33403]
  • programmes suggested some empirical guidelines for library design; however, no information was provided regarding library ... analysis of translated libraries constructed by site-saturation mutagenesis and error-prone PCR (epPCR ... provide two tools for assisting with experimental design: CodonCalculator, for assessing amino acids corresponding...
  • MIN3P-HPC

  • Referenced in 1 article [sw39509]
  • designed for the investigation of subsurface fluid flow and multicomponent reactive transport in variably saturated...
  • EPCBC

  • Referenced in 6 articles [sw11640]
  • main cipher structure and customized key schedule design which provides strong protection against related ... resistance of EPCBC against integral cryptanalysis, statistical saturation attack, slide attack, algebraic attack...
  • NUFT

  • Referenced in 3 articles [sw14294]
  • flow and reactive transport in unsaturated and saturated porous media. An integrated finite difference method ... reaction equations simultaneously. The code is designed based on object-oriented principles, and equipped with...
  • Freetwm

  • Referenced in 1 article [sw18112]
  • homepage of Freetwm, a free software designed for the study of the dynamics of multisection ... Bloch equations. Distributed Bragg gratings (possibly chirped), saturable absorbers and passive sections can be included...
  • hMRI

  • Referenced in 1 article [sw27969]
  • rates and , proton density and magnetisation transfer saturation) that can be used for quantitative parameter ... input parameters for biophysical models designed to estimate tissue microstructure properties such...
  • Metatheory.jl

  • Referenced in 1 article [sw37953]
  • computation library for the Julia programming language, designed to take advantage of the powerful reflection ... term rewriting achieved through an equality saturation algorithm. Intuitively, Metatheory.jl transforms Julia expressions in other...
  • LEHGC

  • Referenced in 1 article [sw07856]
  • Element Model of HydroGeoChemical (LEHGC) Transport Through Saturated-Unsaturated Media. LEHGC iteratively solves two-dimensional ... also is more computationally efficient. LEHGC is designed for generic application to reactive transport problems...
  • ANSYS

  • Referenced in 703 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • COMPAS

  • Referenced in 15 articles [sw00147]
  • In this paper we describe COMPAS -- the open...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...