Search Results for "syntax tree model"

DEAS provides Data Envelopment Analysis tools for Stata. Version 2.0 is a major update centered on a unified dea command for Stata 16 or later. It consolidates sixteen DEA model families into one interface, keeps backward compatibility with the original inputs = outputs syntax, and adds a fast Mata two-phase revised simplex engine alongside Stata's LinearProgram() IPM engine. The package supports radial technical efficiency (CCR/BCC), SBM, additive model, radial and SBM super-efficiency, multiplier form, directional distance function, cost, revenue, profit, allocative efficiency, FDH, imprecise DEA, undesirable outputs, SBM with undesirable outputs, and congestion analysis. ...

This R package accompanies Richard McElreath’s Statistical Rethinking (2nd edition), offering utilities to fit and compare Bayesian models using both MAP estimation (quap) and Hamiltonian Monte Carlo via RStan (ulam). It supports specifying models via explicit distributional assumptions, providing flexibility for advanced statistical workflows.

popt4jlib is an open-source parallel optimization library for the Java programming language supporting both shared memory and distributed message passing models. Implements a number of meta-heuristic algorithms for Non-Linear Programming, including Genetic Algorithms, Differential Evolution, Evolutionary Algorithms, Simulated Annealing, Particle Swarm Optimization, Firefly Algorithm, Monte-Carlo Search, Local Search algorithms, Gradient-Descent-based algorithms, as well as some well-known...

...The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models are to be expressed in the C++ language. The abstraction procedure runs in C++. The generated LTS is exported to the NuSMV language. As such, it can be fed, along with a specification of interest, to the NuSMV model checker. If you are more familiar with JAVA language, we suggest you to try VeriSiMPL version 2.0 which is fully based on JAVA. ...

This package provides high-level interface utilities for MCMC models via Just Another Gibbs Sampler (JAGS), facilitating the use of parallel (or distributed) processors for multiple chains, automated control of convergence and sample length diagnostics, and evaluation of the performance of a model using drop-k validation or against simulated data. Template model specifications can be generated using a standard lme4-style formula interface to assist users less familiar with the BUGS syntax. A JAGS extension module provides additional distributions including the Pareto family of distributions, the DuMouchel prior and the half-Cauchy prior.

The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.

A simple but effective parser for mathematical function that produces a tree to represent them.