• hgam

  • Referenced in 73 articles [sw11201]
  • smoothness penalty for high-dimensional generalized additive models. The combination of sparsity and smoothness ... finite-sample data. We present a computationally efficient algorithm, with provable numerical convergence properties ... estimator for high dimensional but sparse additive models. Finally, an adaptive version of our sparsity...
  • MOPS

  • Referenced in 23 articles [sw10117]
  • represents the security property as a finite state automaton, and uses model checking techniques...
  • Cadence SMV

  • Referenced in 27 articles [sw07795]
  • model checking tool that allows you to formally verify temporal logic properties of finite state ... verification is often equated with equivalence checking, model checking is substantially more general. It allows...
  • MPDATA

  • Referenced in 78 articles [sw00596]
  • MPDATA: A finite-difference solver for geophysical flows. This article is a review of MPDATA ... fluid flows based on sign-preserving properties of upstream differencing. MPDATA was designed originally ... liquid water or water vapour) in atmospheric models. During the last decade, MPDATA has evolved...
  • VIS

  • Referenced in 17 articles [sw40003]
  • logic model checking. VIS is able to synthesize finite state systems and/or verify properties...
  • PUMA

  • Referenced in 31 articles [sw22571]
  • unity method (PUM). Compared to classical finite element methods (FEM), a PUM can directly utilize ... order improve the approximation properties of the model and to reduce the computational cost substantially...
  • LiQuor

  • Referenced in 18 articles [sw04136]
  • tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic ... language with an operational semantics based on (finite) Markov decision processes. LiQuor provides the facility ... omega-regular linear time properties by means of automata-based model checking algorithms...
  • PKind

  • Referenced in 7 articles [sw21027]
  • parallel k-induction-based model checker of invariant properties for finite- or infinite-state Lustre...
  • PREMIX

  • Referenced in 52 articles [sw27815]
  • PREMIX: A FORTRAN program for modelling steady laminar one-dimensional premixed flames. This report documents ... premixed laminar flames. The program accounts for finite rate chemical kinetics and multicomponent molecular transport ... equations and boundary conditions, we discuss the finite difference discretization and the Newton method ... chemical reaction mechanism and the transport properties. Transport property formulations include the option of using...
  • UPPAAL TIGA

  • Referenced in 46 articles [sw12913]
  • automata with respect to reachability and safety properties. Though timed games for long have been ... Smolka [LS98] for linear-time model-checking of finite-state systems. Being...
  • RIPPLE

  • Referenced in 57 articles [sw30642]
  • tension on free surfaces of general topology. Finite difference solutions to the incompressible Navier-Stokes ... modeled as a volume force derived from the continuum surface force ( CSF) model ... resulted in a versatile tool capable of modeling a wide range of applications, being especially ... primary features of RIPPLE, we describe the model equations, the numerical method, and the structure...
  • STAR-CCM+

  • Referenced in 30 articles [sw07683]
  • numerical resolution of this model based on the finite volume technique and implemented ... ring formation. Many figures illustrate the properties of the solution...
  • Alya

  • Referenced in 29 articles [sw08539]
  • parallel two-fluid flow solver Alya. CFD modeling of turbulent free surface flows has become ... discretization is based on unstructured linear finite elements, tetrahedras and prisms. A Variational Multiscale Stabilization ... phase flow. The jump in the fluid properties is smoothed in a region close ... Spalart Allmaras and SST $k$-${omega}$ turbulence models have been tested without showing significant differences...
  • DCVALID

  • Referenced in 15 articles [sw20416]
  • conjunction with other tools to model check DC properties of systems. Currently, systems written ... construct a finite state automaton A(D) precisely accepting the finite state sequences satisfying ... automaton can be used to find models and counter models, or as a synchronous observer...
  • AIS-BN

  • Referenced in 25 articles [sw02223]
  • exact algorithms in very large Bayesian network models, have been observed to perform poorly ... based on the theoretical properties of importance sampling in finite-dimensional integrals and the structural ... tests three large real Bayesian network models available to the scientific community: the CPCS network...
  • brglm2

  • Referenced in 11 articles [sw19510]
  • special case of generalized linear models for binomial and multinomial responses, the adjusted score equations ... estimates with improved frequentist properties, that are also always finite, even in cases where...
  • WENO

  • Referenced in 54 articles [sw12694]
  • develop a deterministic high order accurate finite-difference WENO solver to the solution ... devices. The high order accuracy and nonoscillatory properties of the solver allow ... validity of various hydrodynamic and energy transport models. Some comparisons have been included in this...
  • truncSP

  • Referenced in 5 articles [sw27005]
  • estimation of semi-parametric truncated linear regression models using three different estimators: the symmetrically trimmed ... finite sample properties. The package also provides functions for the analysis of the estimated models...
  • rp.flm.test

  • Referenced in 8 articles [sw28046]
  • tests for the functional linear model with scalar response. The test statistics are built from ... false discovery rate method. The finite sample properties of the tests are illustrated ... simulation study for a variety of linear models, underlying processes, and alternatives. The software provided...
  • SMV

  • Referenced in 13 articles [sw04135]
  • only data types in the language are finite ones. Booleans, scalars and fixed arrays. Static ... allows a rich class of temporal properties, including safety, livenesss, fairness and deadlock freedom ... syntax. SMV uses the OBDD-based symbolic model checking algorithm to efficiently determine whether specifications...