Search Results for "dynamical systems toolbox"
Sort By:
Showing 20 open source projects for "dynamical systems toolbox"
View related business solutions-
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.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
1
react-native-localize
A toolbox for your React Native app localization
A toolbox for your React Native app localization. -
2
tlaplus
TLC is an explicit state model checker for specifications in TLA+
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code. -
3
Dynamics Explorer
Dynamical systems research tool
Dynamics Explorer, (detool for short), is a program designed to let users explore dynamical systems, particularly focused on enabling mathematicians to improve the efficiency and quality of their research in the field of complex dynamics. -
4
TXM
Unicode XML TEI text analysis platform
TXM is a free and open-source cross-platform Unicode & XML based text analysis environment and graphical client, supporting Windows, Linux and Mac OS X. It can also be used online as a J2EE standard compliant web portal (GWT based) with access control built in. DOWNLOAD LATEST VERSION OF TXM : http://textometrie.ens-lyon.fr/spip.php?rubrique61&lang=en TXM offers a comprehensive range of analysis tools (concordances, collocate search, frequency lists, etc.) based on the powerfull CQP... -
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.
-
5
AndroidGodEye
Easily monitor the performance of your app real time in browser
Android developer lack of monitoring of performance data, especially in a production environment. so we need "AndroidGodEye". AndroidGodEye is a performance monitor tool for Android(not limited to performance data) , you can easily monitor the performance of your app in real-time in pc browser. -
6
ElasticaSim
Advanced Simulation & Visualization of 2D dynamical systems
Advanced Simulation & Visualization of 2D dynamical systems -
7
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). -
8
SmartRoot
Semi-automated root image analysis software
...SmartRoot is an operating system independent freeware based on ImageJ and uses cross-platform standards (XML, SQL, Java) for communication with data analysis softwares. To cite us: Guillaume Lobet, Loïc Pagès and Xavier Draye. A Novel Image Analysis Toolbox Enabling Quantitative Analysis of Root System Architecture. 2011 Plant Physiology, Vol. 157 -
9
JavaTB is a Java ToolBox that goes beyond what operating systems provide for file management, networking, system monitoring and many more functions.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
Systems Glycobiology
Glycosylation Network Analysis Toolbox (GNAT)
...For information about GNAT installation and usage, please see the GettingStarted.pdf file enclosed in the package. To cite GNAT: [1] Gang Liu, Apurv Puri and Sriram Neelamegham, Glycosylation Network Analysis Toolbox (GNAT): a MATLAB based environment for systems glycobiology, Bioinformatics 2013 29: 404-406 -
11
lavender-firewall
Personal firewall for linux desktop and android phone
This is extremely handy for Android Phones, as now most third-party Apps from mobile market is now close-sourced and it's hard to promise its security, but some of this functions may be tempting, so we have to install it and give it permissions what it want at installation stage, and then it may do something we don't like in the background, now with Lavender we can at least prevent from accessing network if we don't trust it. Both linux desktop and Android Phones are now... -
12
dofCalc aims at being a photographer's toolbox for a wide range of mobile devices to allow calculations of the depth of field based on focal length, aperture, and distance and calculations in the reverse direction.
-
13
The HughesNet Toolbox ! The lightweight all-in-one that monitors every aspect of HughesNet Satellite Internet systems.
-
14
Narrator is a graphical modelling tool for the description of dynamical systems and processes. Narrator is SBML compatible.
-
15
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.
-
16
JSys is a simple to use graphical package for simulating continuous dynamical systems. It was created for use in a first level undergraduate introduction to systems thinking for students of Information Technology and Information Systems.
-
17
Particle Swarm Optimization toolkit (with GUI) - Allows you to implement PSO algorithm for optimization of engineering/finance/management systems.
-
18
FractalJ is an application designed to be an education tool for teaching fractals and chaotic dynamical systems. Fractals, complete bifurcation diagrams, orbit diagrams, iterated function systems as well as the Mandelbrot and Julia sets are provided.
-
19
This toolbox is designed to make implementations of voting systems freely available in Java. It will initially have software for Single Transferrable vote (Meek algorithm), but others may be included.
-
20
LOOP (Language Object Oriented Parallel) is a visual programming language project dedicated to creating a full suite of components for simulation of hierarchical dynamical systems in discrete time.
- Previous
- You're on page 1
- Next
