Search Results for "b-tree"
Sort By:
157 projects for "b-tree" with 2 filters applied:
-
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.
-
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.
-
1
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
-
2
...Functions are organised as modules in framework independent Module Libraries and can be accessed via SAGA’s Graphical User Interface (GUI) or various scripting environments (shell scripts, Python, R, ...). Please provide the following reference in your work if you are using SAGA: Conrad, O., Bechtel, B., Bock, M., Dietrich, H., Fischer, E., Gerlitz, L., Wehberg, J., Wichmann, V., and Boehner, J. (2015): System for Automated Geoscientific Analyses (SAGA) v. 2.1.4. Geosci. Model Dev., 8, 1991-2007, https://doi.org/10.5194/gmd-8-1991-2015. For more information visit the project homepage and the wiki.
-
3
Tokenized Text Aligner
Aligns tokens in two versions of a text with differing tokenization.
...It is intended for use in the preparation of annotated linguistic corpora, where differences in tokenization may arise (i) following corrections or modifications to the source text or (ii) through the creation of different layers of annotation (part-of-speech, treebank) requiring different tokenization. In its default implementation, it produces a human-readable CSV table associating tokens in text A with tokens in text B, and can also inject token-level annotation from text B to text A. The Aligner class on which the default implementation is based can be incorporated into more complex workflows. -
4
AUDio MEasurement System
PC based Oscilloscope and Spectrum analyzer using sound card
AUDio MEasurement System - a multi-platfrom system for audio measurement through sound card in the PC. It contains: generator, oscilloscope, audio spectrum analyzer (FFT) and frequency sweep plot. Compiles and works under Linux, Windows and MacOS. Source code is available in "git" and as ZIP snapshot. For more information see README.md -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
5
Treebolic is a Java suite (including library) whose purpose is to give a hyperbolic rendering of hierarchical data. A tree is rendered with nodes and edges but display space is subject to a particular curvature (hence the name).
-
6
GeoDMA
Geographic feature extraction and data mining
GeoDMA is a plugin for TerraView software, used for geographical data mining. With a single image, the user can perform segmentation, attributes extraction, normalization and classification. -
7
MOSSCO
Modular System for Shelves and Coasts
...Quick Start: git clone git://git.code.sf.net/p/mossco/setups mossco-setups git clone git://git.code.sf.net/p/mossco/code mossco-code cd mossco-code cat QuickStart.md or read online https://sf.net/p/mossco/code/ci/master/tree/QuickStart.md Beware: this is alpha software, expect trouble! ------------------------- Better, read the full documentation online http://www.mossco.de/doc or make it yourself make doc acroread doc/mossco_documentation.pdf ---------------------- Why MOSSCO? MOSSCO, the "Modular System for Shelves and Coasts" is a framework for coupling processes or domains that are originally developed in standalone numerical models. ... -
8
TRURL
A suite of RPN calculators and a class library for Object Pascal
...Class Libraries: • RPN Engine: Full-featured calculation engine for Pascal-based RPN calculators • Segmitator: Library for virtual seven-segment displays Applications: • TRURL A: Simple demo app for the RPN Engine • TRURL B: RPN calculator in the design of the famous calculators by Dieter Rahms for Braun • TRURL G: Desktop RPN calculator inspired by the UI of the DSKY unit of the Apollo Guidance Computer (AGC) -
9
Leibnitz
Electronic paper for computations and graphs
Leibnitz is the calculator you've always wanted (even if you didn't know it!), short of handwriting recognition. FAQ: https://github.com/jafl/jx_application_framework/tree/master/programs/leibnitz#readme ChangeLog: http://leibnitz.sourceforge.net/ChangeLog.html -
Add Two Lines of Code. Get Full APM.Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.
-
10
MLPACK is a C++ machine learning library with emphasis on scalability, speed, and ease-of-use. Its aim is to make machine learning possible for novice users by means of a simple, consistent API, while simultaneously exploiting C++ language features to provide maximum performance and flexibility for expert users. * More info + downloads: https://mlpack.org * Git repo: https://github.com/mlpack/mlpack
-
11
Scaffold Hunter is a JAVA-based software tool for the analysis of structure-related biochemical data. It enables generation of and navigation in a scaffold tree hierarchy annotated with various data.
-
12
GenForm
Generation of molecular formulas by high-resolution MS and MS/MS data
...The software user manual is available here: https://www.researchgate.net/publication/307964728_MOLGEN-MSMS_Software_User_Manual Example MS and MS/MS data files for GenForm can be downloaded here: https://sourceforge.net/p/genform/code/HEAD/tree/trunk/data/ A first program call could look like this: GenForm ms=SinapinicAcidMs.txt msms=SinapinicAcidMsMs.txt exist out -
13
Toxtree: Toxic Hazard Estimation
Toxicity prediction for chemical compounds
...The latest version includes the following toxicity prediction modules: -Cramer rules (oral toxicity) -Toxicity mode of action via Verhaar scheme -Skin irritation and Eye irritation prediction -Benigni / Bossa rulebase for mutagenicity and carcinogenicity prediction -START biodegradation and persistence prediction -Skin sensitisation reactivity domain -Kroes TTC Decision tree -SMARTCyp - Cytochrome P450-Mediated Drug Metabolism and metabolites prediction -Structure Alerts for the in vivo micronucleus assay in rodents (ISSMIC) -Structural Alerts for Functional Group Identification (ISSFUNC) -Structural alerts associated with covalent protein binding and DNA binding. - Ames mutagenicity Toxtree provides a plugin framework to incorporate different approaches to the estimation. ... -
14
openPOWERLINK
An Open Source POWERLINK Stack
openPOWERLINK is an Open Source Industrial Ethernet stack for communication in hard real-time. It can be operated as both, Managing Node (master) and Controlled Node (slave). With version 2.0, the source code has been cleanly split into an application-oriented user library and a time-critical stack driver. The latter may be moved to a dedicated communication processor or into a kernel module to deliver enhanced performance while still keeping the API in user space. A full documentation... -
15
TreeGraph
Information Manager(split/analyze/compare/combine).
For Homepage, Blog, Family Tree, Database, C#|hjt|js|chm Editor. Convert hjt2xml, (c#)cs2xml, chm2xml, js2xml, xml2cs, xml2js, xml2hjt, cs2hjt, hjt2cs, cs2chm, hjt2chm. IE/Opera/Firefox/PocketPC supported. -
16
A package for computations with finite automata (rooted tree automorphisms) for the GAP system, http://www.gap-system.org.
-
17
As of August 2018 Spheral++ has moved to Github -- please see the current repository at https://github.com/jmikeowen/spheral We are leaving a frozen version here on SourceForge for historical reasons. Spheral++ provides a steerable parallel environment for performing coupled hydrodynamical & gravitational numerical simulations. Hydrodynamics and gravity are modelled using particle based methods (SPH and N-Body).
-
18
SCRAM
Probabilistic Risk Assessment Tool
SCRAM is a free and open source probabilistic risk analysis tool. The tool is under development to include fault tree, event tree, common cause, and other standard analyses. -
19
qMetro
Subway maps of the World !
Vector metro (subway) map for calculating route and getting information about transport nodes. Its GPL project for creating analog of pMetro (Muradov B.) About 200 maps of subways are available: http://translate.google.com/translate?sl=ru&tl=en&u=http://pmetro.su/Maps.html (Maps have an open format and can easily be edited or created) App available for many platforms: http://qt-apps.org/content/show.php?content=146249 Also available for Symbian: http://qmetro.sf.net/mobile/ How to translate: https://sf.net/projects/qmetro/files/translation/ -
20
einspline is a C library for the creation and evaluation of interpolating cubic basis splines (B-splines) in 1D, 2D, and 3D. It supports both uniform and nonuniform meshes, single and double precision, and real and complex data.
-
21
...Obtaining the teachingbox: FOR USERS: If you want to download the latest releases, please visit: http://search.maven.org/#search|ga|1|teachingbox FOR DEVELOPERS: 1) If you use Apache Maven, just add the following dependency to your pom.xml: <dependency> <groupId>org.sf.teachingbox</groupId> <artifactId>teachingbox-core</artifactId> <version>1.2.3</version> </dependency> 2) If you want to check out the most recent source-code: git clone https://git.code.sf.net/p/teachingbox/core teachingbox-core Documentation: https://sourceforge.net/p/teachingbox/documentation/HEAD/tree/trunk/manual/
-
22
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... -
23
MYRA
A collection of ACO algorithms for the data mining classification task
MYRA is a collection of Ant Colony Optimization (ACO) algorithms for the data mining classification task. It includes popular rule induction and decision tree induction algorithms. The algorithms are ready to be used from the command line or can be easily called from your own Java code. They are build using a modular architecture, so they can be easily extended to incorporate different procedures and/or use different parameter values. This project is now hosted at: https://github.com/febo/myra -
24
faif
C++ header only library with AI and bioinformatics algorithms
C++ header only library, small and fast; Naive Bayesian Classifier, Decision Tree Classifier (ID3), DNA/RNA nucleotide second structure predictor, timeseries management, timeseries prediction, generic Evolutionary Algorithm, generic Hill Climbing algorithm and others. -
25
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. ...
