Search Results for "model based testing tool"
Sort By:
Showing 11 open source projects for "model based testing tool"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
1
OpenSIMPLY
Discrete-event simulation modeling software for science and education
...This simulation tool runs in Windows and Linux, on 32-bit and 64-bit platforms, as a GUI or console (terminal) application. Write the model only once, simulate anywhere. Videos on installing OpenSIMPLY for different IDEs and operating systems : https://www.youtube.com/playlist?list=PLnyWoktGqA -
2
MAGeCK
Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout
MAGeCK2 is here: https://github.com/davidliwei/mageck2 Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout (MAGeCK) is a computational tool to identify important genes from the recent genome-scale CRISPR-Cas9 knockout screens technology. For instructions and documentations, please refer to the wiki page. MAGeCK is developed by Wei Li and Han Xu from Dr. Xiaole Shirley Liu's lab at Dana-Farber Cancer Institute/Harvard School of Public Health, and is maintained by Wei Li lab at Children's National Medical Center. ... -
3
EDM Calibration Baseline Fitting
EDMFit is an adjustment tool to estimate EDM calibration parameters.
An EDM calibration baseline is used to derive specific instrument errors of the electronic distance measurement (EDM) unit of a total station. EDMFit is a simple adjustment tool to estimate the EDM calibration parameters (addition constant and/or scale parameter). The adjustment process is according to ISO 17123-4. The parameters are checked for significance, to avoid an overestimation. Based on two classical hypothesis testing, EDMFit provides a reliable outlier detection. For uncertainties budgeting, EDMFit makes use of Monte-Carlo simulations and supports different distribution function: - Uniform distribution, - Triangular distribution and - Gaussian (normal) distribution. ... -
4
ArchNURBS
NURBS-based elastic and limit analysis of masonry arches in MATLAB
ArchNURBS is a MATLAB tool for the analysis of planar curved structures, with a particular attention to masonry arches. As in CAD softwares, the geometry of the model is defined by a NURBS representation of the structure. Indeed, the user can upload geometries imported from a CAD environment. Based on such a representation, ArchNURBS performs the elastic isogeometric finite element analysis and the collapse limit analysis of the structure. -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
5
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. ... -
6
DeDAY
MLE survival analysis: Gompertz, Weibull, Logistic and mixed morality.
DeDAY (Demography Data Analyses) is a tool of analyzing demography data. It supports Gompertz, Weibull and Logistic distributions. DeDay also supports mixed mortality models based on these distribution such as the Gompertz-Makeham distribution. Distributions such as Gompertz describes only age-dependent mortality, which increases over time. Mixed mortality models, such as in Gompertz-Makeham distribution, consider a more general case where mortality is consist of both age-dependent and in-dependent mortality. ... -
7
DyMMM
Dynamic Multispecies Metabolic Modeling framework
The Dynamic Multispecies Metabolic Modeling (DyMMM [dĭm]) framework is a mathematical modeling tool that integrates multiple constraint-based metabolic models into a single dynamic community metabolic model. The DyMMM framework was formerly known as the DMMM framework. Please use the following citation for bibliographical purposes: Zhuang, K., Izallalen, M., Mouser, P., Richter, H., Risso, C., Mahadevan, R., & Lovley, D. R. (2011). -
8
PyParticles
PyParticles is an opensource particles simulation tool box entirely wr
PyParticles is an opensource particles simulation tool box entirely written in python. It support the most popular integrations methods and the most relevant forces model. It also offer a nice looking OpneGL interface or at your preference a Matplotlib based GUI. PyParticles as a forces models implements Gravity, spring, constant force and electrostatic and the user defined vector field force. -
9
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
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
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.
-
11
This tool allows to compute LOLIMOT models. LOLIMOT models are also called neuro-fuzzy models or fast neural network models. This tool can export the model into C, C++, Matlab.
- Previous
- You're on page 1
- Next
