• INTOPT_90

  • Referenced in 304 articles [sw04705]
  • gives a survey of interval arithmetic based methods for solving systems of equations and global ... that need further development. Algorithmic and practical tools are emphasized, theoretical considerations are sporadically present ... INTOPT 90 which are the authors’s software and library packages for interval arithmetic ... differentiation and code list generation, interval Newton method, and a short glance at the topological...
  • GMRFLib

  • Referenced in 291 articles [sw06641]
  • preeminent experts in the field, the authors emphasize the computational aspects, construct fast and reliable ... exact simulation.par This is an ideal tool for researchers and students in statistics, particularly biostatistics ... introducing them to this powerful statistical inference method...
  • PcGets

  • Referenced in 43 articles [sw01937]
  • complementary automatic modeling methods: RETINA and PcGets. The authors [Oxford Bull. Econom. Stat. 65, Suppl ... proposed an automatic predictive modeling tool called relevant transformation of the inputs network approach (RETINA ... with PcGets, a well-known automatic modeling method proposed by D. Hendry. We point...
  • gss

  • Referenced in 282 articles [sw06099]
  • author presents a comprehensive treatment of penalty smoothing under a unified framework. Methods are developed ... unifying themes are the general penalized likelihood method and the construction of multivariate models with ... Most of the computational and data analytical tools discussed in the book are implemented...
  • MuShROOM

  • Referenced in 9 articles [sw12000]
  • model-predictive control. The author develops and investigates efficient numerical methods for nonlinear mixed-integer ... presents a lot of novel results and tools in a number of areas. New algorithms ... based on Bock’s direct multiple shooting method consist of convexification and relaxation techniques ... with vanishing constraints. The author develops and describes new tools for solving the arising nonconvex...
  • qpHPSC

  • Referenced in 9 articles [sw12001]
  • model-predictive control. The author develops and investigates efficient numerical methods for nonlinear mixed-integer ... presents a lot of novel results and tools in a number of areas. New algorithms ... based on Bock’s direct multiple shooting method consist of convexification and relaxation techniques ... with vanishing constraints. The author develops and describes new tools for solving the arising nonconvex...
  • TRACE-DDE

  • Referenced in 30 articles [sw12801]
  • TRACE-DDE: a Tool for Robust Analysis and Characteristic Equations for Delay Differential Equations ... recent years the authors developed numerical schemes to detect the stability properties of different classes ... involving delayed terms. The base of all methods is the use of pseudospectral differentiation techniques...
  • SimMechanics

  • Referenced in 8 articles [sw04349]
  • robust, accurate, and easily used simulation tool. The author takes readers on a tour ... numerical methods for solving differential equations. Because specific applications require specific tools, the author introduces...
  • categorical

  • Referenced in 9 articles [sw13141]
  • odds ratio and probability estimation. The authors give detailed advice and guidelines on which procedures ... both a data analysis method and a learning tool requiring no prior experience with ... with extensive R code and output. The authors use data simulation in R to help ... features and properties of various analysis methods. Web Resource: The data sets and R programs...
  • Aggregation operators approximation tool

  • Referenced in 9 articles [sw19097]
  • generated aggregation operators to empirical data. The authors discuss the problem of fitting general aggregation ... approximation methods have been added to the software package “Aggregation operators approximation tool” available from...
  • POLSYS_PLP

  • Referenced in 18 articles [sw01238]
  • theory and codes. Homotopy (continuation) methods are a principal tool for such problems. The code ... opening games. The authors treat mainly isolated, finite, regular solutions, but they also introduce suitable...
  • MizarMode

  • Referenced in 18 articles [sw01973]
  • authors. This article describes the MizarMode and focuses on the proof assistance functions and tools ... compile-correct” software programming loop. While this method is in the beginning more laborious than...
  • MPTP 0.2

  • Referenced in 45 articles [sw02589]
  • knowledge-based, and generally AI-based ATP methods. This version of MPTP switches ... TPTP exporter, and in the problem-creating tools. Mizar has been reimplemented to produce ... format, suitable for communication with other tools. The Mizar-to-TPTP exporter is now just ... mathematics can be sometimes smarter than MML authors and usable for general discovery in mathematics...
  • dlm

  • Referenced in 28 articles [sw04503]
  • based on real data. For this, the authors have developed an R package ... reminded, and Markov chain Monte Carlo methods are presented. Chapter 2 is on dynamic linear ... specifications. The first paragraph deals with classical tools for time series analysis. Then, dynamic linear...
  • MFDMtool

  • Referenced in 9 articles [sw11495]
  • meshless finite difference method (MFDM) is nowadays a powerful engineering tool for numerical analysis ... Matlab functions written by the author is attached to the paper. Techniques for generation...
  • Cluster

  • Referenced in 1 article [sw16464]
  • data set. The authors present some methods as well as software tools for comparison...
  • mural

  • Referenced in 9 articles [sw23627]
  • that mainly consists of a VDM support tool and a proof assistant. The book ... least of another formal method, it is difficult to read.par The book is divided into ... chapter 6 summarizes the lessons the authors learned during implementing the proof assistant. The following ... very short and discuss the support tool for working with VDM and a tool...
  • RevMan

  • Referenced in 4 articles [sw25188]
  • Cochrane Reviews, and is a mandatory authoring tool for Cochrane Reviews. RevMan 5 is used ... guidelines for Cochrane Reviews, and provides analytic methods, access to ’online’ help, and validation mechanisms ... RevMan 5 is free to use for authors preparing a Cochrane Review or for purely...
  • MetaPrime

  • Referenced in 4 articles [sw12542]
  • generated, which in practice makes these tools difficult to apply on fault trees with more ... prime implicants. This paper introduces an analysis method of coherent as well as noncoherent fault ... these trees. The authors present the concepts underlying the prototype tool MetaPrime, and the experimental...
  • LAF-SPEM

  • Referenced in 7 articles [sw09702]
  • smoothed particle electromagnetics method, already developed by the authors. The time stepping is approached ... accounted for the time stepping. The computational tool is assessed and first simulation results...