• Uppaal

  • Referenced in 653 articles [sw04702]
  • environment for modeling, simulation and verification of real-time systems, developed jointly by Basic Research ... appropriate for systems that can be modeled as a collection of non-deterministic processes with...
  • NuSMV

  • Referenced in 312 articles [sw04131]
  • NuSMV is a symbolic model checker developed as a joint project between: The Embedded Systems ... Information Technology at FBK-IRST The Model Checking group at Carnegie Mellon University , the Mechanized...
  • JM

  • Referenced in 57 articles [sw10494]
  • package for the joint modelling of longitudinal and time-to-event data. In longitudinal studies ... analyzed; however, in many instances, a joint modeling approach is either required or may produce ... package JM that fits joint models for longitudinal and time-to-event data...
  • FEAP

  • Referenced in 192 articles [sw04963]
  • multiple rigid body options with joint interactions. Constitutive models include linear and finite elasticity, viscoelasticity...
  • frailtypack

  • Referenced in 43 articles [sw06070]
  • effect with random slope). 3) Nested frailty models for hierarchically clustered data (with 2 levels ... including two iid gamma random effects. 4) Joint ... frailty models in the context of joint modelling for recurrent events with terminal event ... available. Left truncated (not for Joint model), right-censored data, interval-censored data (only...
  • JMbayes

  • Referenced in 18 articles [sw19775]
  • Package JMbayes for Fitting Joint Models for Longitudinal and Time-to-Event Data using MCMC ... Joint models for longitudinal and time-to-event data constitute an attractive modeling framework that ... package JMbayes for fitting these models under a Bayesian approach using Markon chain Monte Carlo ... wide range of joint models, including among others joint models for continuous and categorical longitudinal...
  • BUGS

  • Referenced in 378 articles [sw07885]
  • Bayesian analysis of complex statistical models using Markov chain Monte Carlo (MCMC) methods. The project ... then onto the WinBUGS software developed jointly with the Imperial College School of Medicine...
  • BERT

  • Referenced in 103 articles [sw30756]
  • models, BERT is designed to pre-train deep bidirectional representations from unlabeled text by jointly ... result, the pre-trained BERT model can be fine-tuned with just one additional output...
  • lcmm

  • Referenced in 15 articles [sw13207]
  • mixed models including latent class mixed models, joint latent latent class mixed models and mixed...
  • joineR

  • Referenced in 11 articles [sw19777]
  • package joineR: Joint Modelling of Repeated Measurements and Time-to-Event Data. Analysis of repeated ... event data via random effects joint models. Some plotting functions and the variogram are also...
  • ABAQUS/Standard

  • Referenced in 202 articles [sw07161]
  • Examples include sealing pressure in a gasket joint, steady-state rolling of a tire ... simulation, it is possible to analyze a model both in the time and frequency domain...
  • GJRM

  • Referenced in 10 articles [sw23082]
  • joint regression modeling framework for analyzing bivariate binary data in R. We discuss some ... package GJRM which implements a flexible joint modeling framework for fitting a number of multivariate...
  • STJM

  • Referenced in 8 articles [sw19776]
  • Stata module to fit shared parameter joint models of longitudinal and survival data. stjm fits ... shared parameter joint models for longitudinal and survival data using maximum likelihood. A single continuous ... flexible parametric survival model (see stpm2), modelled on the log cumulative hazard scale is also ... evaluate the joint likelihood. Under all survival submodels except the flexible parametric model, Gauss-Kronrod...
  • CDVine

  • Referenced in 52 articles [sw08161]
  • vine copula selection. Models can be estimated either sequentially or by joint maximum likelihood estimation...
  • MIXOR

  • Referenced in 26 articles [sw08990]
  • degree of dependency is jointly estimated with the usual model parameters, thus adjusting for dependence...
  • SchNet

  • Referenced in 9 articles [sw40890]
  • interactions in molecules. We obtain a joint model for the total energy and interatomic forces...
  • SPACE

  • Referenced in 36 articles [sw04716]
  • values) using the fitted model Visualization of Main Effects and Joint Effects Global minimization...
  • jomo

  • Referenced in 6 articles [sw19482]
  • package jomo: Multilevel Joint Modelling Multiple Imputation. Similarly to Schafer’s package ’pan’, ’jomo ... package for multilevel joint modelling multiple imputation. Novel aspects of ’jomo’ are the possibility...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • environment for modeling, simulation and verification of real-time systems, developed jointly by Basic Research ... appropriate for systems that can be modeled as a collection of non-deterministic processes with...