• FluSurge

  • Referenced in 1 article [sw17695]
  • estimates of hospital resources (non-ICU [intensive care unit] beds, ICU beds, and mechanical ventilators...
  • K Prover

  • Referenced in 44 articles [sw32257]
  • rules. Configurations organize the system/program state in units called cells, which are labeled ... term they read, write, or do not care about. This distinction makes K a suitable ... particularly suitable for defining control-intensive language features such as abrupt termination, exceptions, or call/cc...
  • givitiR

  • Referenced in 0 articles [sw15853]
  • Evaluation of the Interventions in Intensive Care Units - see <http://www.giviti.marionegri.it/>) approach...
  • DIU

  • Referenced in 0 articles [sw38892]
  • Insulin Model. Medical practice in the intensive care unit is based on the supposition that...
  • K tool

  • Referenced in 17 articles [sw09746]
  • rules. Configurations organize the state in units called cells, which are labeled ... write-only, read-write, or do not care about. This makes 𝕂 suitable for defining ... This makes 𝕂 suitable for defining control-intensive features such as abrupt termination, exceptions...
  • Matlab

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

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • S-PLUS

  • Referenced in 615 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • CPLEX

  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Gurobi

  • Referenced in 690 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • survival

  • Referenced in 199 articles [sw04364]
  • R package survival: Survival analysis, including penalised likelihood...
  • MASS (R)

  • Referenced in 331 articles [sw04479]
  • R package MASS: Support Functions and Datasets for...
  • WinBUGS

  • Referenced in 771 articles [sw04492]
  • WinBUGS is part of the BUGS project, which...
  • fda (R)

  • Referenced in 1531 articles [sw04511]
  • fda: Functional Data Analysis , These functions were developed...
  • CVX

  • Referenced in 845 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • LIBSVM

  • Referenced in 1185 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • GAMS

  • Referenced in 866 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...
  • Stata

  • Referenced in 838 articles [sw06029]
  • Stata is a complete, integrated statistical package that...
  • SAS

  • Referenced in 1555 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...