Search Results for "model"
Sort By:
35 programs for "model" with 2 filters applied:
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
The #1 Embedded Analytics Solution for SaaS Teams.Qrvey’s comprehensive embedded analytics software enables you to design more customizable analytics experiences for your end users.
-
1
CRC RevEng
Arbitrary-precision CRC calculator and algorithm finder
...' Rocksoft(tm) model of parametrised CRC algorithms. -
2
popt4jlib
Parallel Optimization Library for Java
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... -
3
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). 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... -
4
PMM-Lab
Predictive Microbial Modeling plug-in for KNIME
... and create bacterial growth / survival / inactivation models. The framework can easily be extended to other model types, e.g. growth/no-growth boundary models. PMM-Lab has been initiated and provided by the Federal Institute for Risk Assessment - BfR (Berlin, Germany). The software is in Beta status. Before using the software you have to read and accept the license and disclaimer (https://sourceforge.net/p/pmmlab/wiki/Disclaimer/). If you do not agree, do not use this software. -
Secure remote access solution to your private network, in the cloud or on-prem.OpenVPN is here to bring simple, flexible, and cost-effective secure remote access to companies of all sizes, regardless of where their resources are located.
-
5
PortOpt
A portfolio-optimizer using Markowitz(1952) mean-variance model
PortOpt [Portfolio Optimizer] is a C++ program (with Python binding) implementing the Markowitz(1952) mean-variance model with agent's linear indifference curves toward risk in order to find the optimal assets portfolio under risk. You have to provide PortOpt (in text files or - if you use the api - using your own code) the variance/covariance matrix of the assets, their average returns and the agent risk preference. It returns the vector of assets' shares that composes the optimal... -
6
The General Hidden Markov Model Library (GHMM) is a C library with additional Python bindings implementing a wide range of types of Hidden Markov Models and algorithms: discrete, continous emissions, basic training, HMM clustering, HMM mixtures.
-
7
... of systems or processes to demonstrate their behavior prior to building physical prototypes. The user builds his system model by selecting predefined blocks from a block library and simply wiring the blocks together. Each block of the diagram performs a function. Users can also create custom blocks in Java and add them to the JMCAD block library. JMCAD is a block diagram language for creating complex nonlinear dynamic systems.
-
8
Moved to GitHub. This is the old, unmaintained source code. https://github.com/zet-evacuation A tool to model and simulate evacuation situations in buildings using flows on graphs and cellular automatons. It allows visualization of both models in OpenGL.
-
9
That project aims at providing a clean API and a simple implementation, as a C++ library, of an Airline-related Inventory Management system. That library uses the Standard Airline IT C++ object model (http://sf.net/projects/stdair).
-
Free CRM Software With Something for EveryoneThink CRM software is just about contact management? Think again. HubSpot CRM has free tools for everyone on your team, and it’s 100% free. Here’s how our free CRM solution makes your job easier.
-
10
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance... -
11
DeDAY
MLE survival analysis: Gompertz, Weibull, Logistic and mixed morality.
... and in-dependent mortality. Mixed models partition mortality into exogenous and endogenous components, so that the intrinsic survivorship can be estimated without the interference from extrinsic noise. DeDAY supports both interval-censored data and exact event-time data. Using MLE (Maximum Likelihood Estimate), DeDAY fits statistic model to the data. DeDAY also calculates the variances and the multi-dimensional confidence limits of model parameters. DeDAY is free for academic users. -
12
... useful on certain hosts. G - Hyper-Model functions such as ray-plane intersections etc.
-
13
The Automated Parameter Estimation and Model Selection Toolkit is a fast, parallelized MCMC engine written in C for Bayesian inference (parameter estimation and model selection).
-
14
A MATLAB toolbox for time series analysis using state space models. Supports fully interactive model construction with MATLAB objects and efficient Kalman filter backend implemented in c.
-
15
Model Builder is a graphical tool for designing, simulating and analyzing Mathematical models consisting of a system of ordinary differential equations(ODEs).
-
16
Software that implements the tabular method developed by Steve Keen for developing a set of differential equations to model monetary flows in economic analysis, modeling and simulation.
-
17
Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse
-
18
PlexBench is a cross-platform, web-enabled, analysis tool that is driven by a scalable backpropagation feed-forward neural network. It uses embedded Perl for scripting and is written in the style of an in-process Component Object Model (COM) C++ program.
-
19
-
20
HRS Reconstruction System This program build 3D model of object from range images. Program use modified volume reconstruction method for creating a model. In this method I replace difficult calculations on CPU with simple rendering on video card.
-
21
Modyna is an open source application to model dynamic systems and simulate their behaviour. Modyna lets you define a system visually. It automatically builds the equations to simulate the systems behaviour. Simulation results are shown as graphs.
-
22
An elementary cellular automaton simulator using a glider-based model to easily identify and insert gliders and repeating patterns.
-
23
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
-
24
Network Based Optimization Project is a network transparent system for global optimization problems using client-server model.
-
25
Pulga is a program for numerical simulation of dynamical systems designed to provide students and researchers an easy way to model and qualitatively analyse their systems on a computer without the difficulty of traditional computer programming languages.