• RENAISSANCE

  • Referenced in 5 articles [sw03022]
  • state estimation and short-term prediction, travel time estimation and prediction as well as queue...
  • DynaMIT

  • Referenced in 15 articles [sw01808]
  • simulation-based real-time system designed to estimate the current state of a transportation network ... provide consistent and unbiased information to travelers. To perform these tasks, efficient simulators have been...
  • HYPOSAT

  • Referenced in 1 article [sw32846]
  • maximum information possible to estimate the hypocenter of a seismic source. The standard input parameters ... used: arrival times of first and later onsets with backazimuths ... parameters (or apparent velocities). In addition, travel-time differences between different phases observed ... also available, a preliminary origin time is estimated using Wadati’s approach to estimate...
  • HYPO71

  • Referenced in 1 article [sw32844]
  • least square error of the travel time computed from the input station, velocity model ... phases are used to estimate the first motion pattern of the earthquake...
  • ANSYS

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

  • Referenced in 307 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • cdd

  • Referenced in 109 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 344 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • C-XSC

  • Referenced in 106 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 123 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • GAP

  • Referenced in 2735 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 260 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • LAPACK

  • Referenced in 1599 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 4956 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

  • Referenced in 340 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 5756 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11649 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MPFI

  • Referenced in 38 articles [sw00597]
  • Motivations for an arbitrary precision interval arithmetic and...
  • NAG

  • Referenced in 374 articles [sw00610]
  • Produced by experts for use in a variety...
  • Octave

  • Referenced in 276 articles [sw00646]
  • GNU Octave is a high-level language, primarily...