
hgam
 Referenced in 73 articles
[sw11201]
 smoothness penalty for highdimensional generalized additive models. The combination of sparsity and smoothness ... finitesample 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 finitedifference solver for geophysical flows. This article is a review of MPDATA ... fluid flows based on signpreserving 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 ... omegaregular linear time properties by means of automatabased model checking algorithms...

PKind
 Referenced in 7 articles
[sw21027]
 parallel kinductionbased model checker of invariant properties for finite or infinitestate Lustre...

PREMIX
 Referenced in 52 articles
[sw27815]
 PREMIX: A FORTRAN program for modelling steady laminar onedimensional 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 lineartime modelchecking of finitestate systems. Being...

RIPPLE
 Referenced in 57 articles
[sw30642]
 tension on free surfaces of general topology. Finite difference solutions to the incompressible NavierStokes ... 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...

STARCCM+
 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 twofluid 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...

AISBN
 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 finitedimensional 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 finitedifference 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 semiparametric 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 OBDDbased symbolic model checking algorithm to efficiently determine whether specifications...