Search Results for "tree"
Sort By:
Showing 3 open source projects for "tree"
View related business solutions-
Retool your internal operationsBuild internal software that meets enterprise security standards without waiting on engineering resources. Retool connects to your databases, APIs, and data sources while maintaining the permissions and controls you need. Create custom dashboards, admin tools, and workflows from natural language prompts—all deployed in your cloud with security baked in. Stop duct-taping operations together, start building in Retool.
-
Outgrown Windows Task Scheduler?Windows Task Scheduler wasn't built for complex, cross-platform automation. Get a free diagnostic that shows exactly where things are failing and provides remediation recommendations. Interactive HTML report delivered in minutes.
-
1
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
...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. ... -
2
flNeuronTool
A Fast Light Neuron Tracing and Editor Tool
The flNeuronTool allows users to reconstruct and proofread neuronal morphologies in light microscopy images. The system incorporates automatic tracing and manual editing of neuron reconstruction into a cooperative 3D interactive visualization-assisted environment, which is a powerful tool for analysis of complex neuronal images. -
3
Rand Tree
Random Tree Generator for MatLab
RandTree is a MatLab based tree simulator program where the algorithm is based on Honda's model. We have used probabilistic generation of branches in order to simulate visually realistic tree structures. This program is designed to generate branching structures with bifurcation branching pattern (sympodial branching). By changing the probabilities and branching angles, you can generate different shapes of trees.
- Previous
- You're on page 1
- Next
