• Bandera

  • Referenced in 134 articles [sw07663]
  • analysis, transformation, and visualization components designed to facilitate experimentation with model-checking Java source code...
  • VPLAN

  • Referenced in 41 articles [sw04239]
  • modeling, simulation, parameter estimation and optimum experimental design for processes described by differential equation systems...
  • tgp

  • Referenced in 33 articles [sw07921]
  • projection and slice capabilities) and tree drawing, designed for visualization of tgp-class output. Sensitivity ... multi-resolution models are supported. Sequential experimental design and adaptive sampling functions are also provided...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • language BABEL. We investigate the experimental programming language BABEL, designed to achieve integration of functional...
  • CycDesigN

  • Referenced in 12 articles [sw11817]
  • generation of optimal or near-optimal experimental designs. It comprises three modules: CycDesigN ... generation of optimal or near-optimal experimental designs. It provides the most comprehensive design generation ... recent developments in the construction of experimental designs. CycXover is a sub-system, generates optimal ... near-optimal experimental designs for use in crossover experiments. A crossover experiment involves the application...
  • KQML

  • Referenced in 32 articles [sw29718]
  • Exchange. This paper describes the design of and experimentation with the Knowledge Query and Manipulation ... underlie the evolving design of KQML are currently being explored through experimental prototype systems which ... such areas as concurrent engineering, intelligent design and intelligent planning and scheduling...
  • OPDOE

  • Referenced in 12 articles [sw12447]
  • OPDOE: OPtimal Design Of Experiments. Experimental Design. ... Only a few of these packages are dedicated ... made in Rasch et al. (Optimal experimental design with R. Chapman and Hall/CRC, Boca Raton ... OPDOE library cover several topics of experimental design, including simple statistical tests, regression models, tests...
  • ORSEE

  • Referenced in 130 articles [sw11710]
  • based Online Recruitment System, specifically designed for organizing economic experiments. It’s key features ... calendar, reputation system, automated mailing, pdf output, experimenter rights management...
  • PennCNV

  • Referenced in 16 articles [sw19390]
  • PennCNV: an integrated hidden Markov model designed for high-resolution copy number variation detection ... resolution of CNV detection in previous experimental designs has been limited to tens or hundreds...
  • ParaDisEO

  • Referenced in 43 articles [sw01948]
  • user a maximum code and design reuse. Furthermore, the fine-grained nature of the classes ... associated provided classes. Their experimentation on the radio network design real-world application demonstrate their...
  • Scatter Search

  • Referenced in 282 articles [sw05291]
  • founded on the premise that systematic designs and methods for creating new solutions afford significant ... values in a multilayer neural network. Through experimentation, we show that our instantiation of scatter...
  • ToolboxLS

  • Referenced in 46 articles [sw06312]
  • language. The toolbox is designed to allow quick and easy experimentation with level set methods...
  • OCOTILLO

  • Referenced in 10 articles [sw09292]
  • powerful new technology in drug design and molecular recognition. It is a wet-laboratory methodology ... method comes from the interaction between experimental design and computational modeling. Principles of “rational” drug...
  • ROAST

  • Referenced in 7 articles [sw17318]
  • while being applicable to almost any experimental design. Instead of permutation, ROAST uses rotation ... minimal replication. ROAST allows for any experimental design that can be expressed as a linear...
  • Traces

  • Referenced in 126 articles [sw07823]
  • graph is investigated. A new algorithmic design aimed at reducing the size of the associated ... tool, named ”Traces”, is presented, together with experimental results and comparisons with existing software, such...
  • Esterel

  • Referenced in 161 articles [sw20012]
  • safety property checking. Esterel is now experimentally used by several companies and taught in several ... their input languages for their hardware/software co-design system...
  • MPICH2

  • Referenced in 15 articles [sw03294]
  • MPICH2, an all-new implementation of MPI designed to support both ... performance and scalability and to encourage experimentation, the design of MPICH2 is strongly modular...
  • GraphPad Prism

  • Referenced in 15 articles [sw13370]
  • data organization. GraphPad Prism was originally designed for experimental biologists in medical schools and drug...
  • acebayes

  • Referenced in 9 articles [sw20243]
  • acebayes: An R Package for Bayesian Optimal Design of Experiments via Approximate Coordinate Exchange ... package acebayes to find Bayesian optimal experimental designs. A decision-theoretic approach is adopted, with...
  • EASY - FIT

  • Referenced in 9 articles [sw05976]
  • levels for estimated parameters, and optimum experimental design. As a by-product, curve and surface...