Search Results for "for java"
Sort By:
Showing 9 open source projects for "for java"
View related business solutions-
Keep company data safe with Chrome EnterpriseMake AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
-
The Future of Fraud PreventionFraud.net delivers the world’s most advanced infrastructure for fraud management – powered by a sophisticated collective intelligence network, world class artificial intelligence, and a modern, cloud-based platform that helps you.
-
1
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
...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. If you are more familiar with MATLAB language, we suggest you to try VeriSiMPL version 1.4 which is fully based on MATLAB. -
2
Octclipse
Octave Eclipse GUI
Octave development environment built upon Eclipse's Dynamic Languages Toolkit (http://www.eclipse.org/dltk/). Distributed as an Update site for Eclipse 3.7 Indigo and Indigo-based package for several platforms. Supports search, autocompletion, launching scripts, interactive console, debug and integrated plotting on Octave versions 3.2.x, 3.4.x and 3.6.x. The current goal is to make it running out-of-box on multiple platforms. Currently only Linux and Windows are supported. Mac... -
3
gfit creates an interface between computational models and experimental data and provides tools for their analysis
-
4
A Matlab toolbox for interfacing with the pure JAVA numerical library Snifflib. This toolbox provides convenience m-files for interoperability with Snifflib from within an active Matlab session running a JAVA virtual machine.
-
The most advanced C and C++ source code analyzerTrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
-
5
MATLAB Engine for Java is a library that uses the C API of the MATLAB Engine to: put variables from Java to Matlab, evaluate Matlab commands, get results from Matlab to Java.
-
6
A library of data objects that simulate mathematical neurons, including classic Hodgkin-Huxley neurons and theta neurons.
-
7
-
8
VectTens
A library for handling vectors, tensors, and more.
VectTens is an object-oriented numerical library designed to manipulate vectors, tensors, and other mathematical quantities in a simple and efficient manner. -
9
This project collect several data mining methods, such as: 1) clustering methods; 2) biclustering methods; 3) FCA methods and etc.
-
ThreatLocker Cybersecurity SoftwareThe Zero Trust security solution that offers a unified approach to protecting users, devices, and networks against the exploitation of zero day vulnerabilities.
- Previous
- You're on page 1
- Next
