Results 1 to 20 of 35
Sort by:

  • 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...