Search Results for "parallel search"
Sort By:
Showing 17 open source projects for "parallel search"
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 Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
MathCode
A Frontier Mathematical Coding Agent
MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive... -
2
hash_val_4_Bloom
search for hash values used in Bloom filter for QNR membership
FenderBender -- on MersenneForum.org "Determine Squares" -- came up with using Bloom filter to detect Quadratic non-residues modulo small primes in order to reject what inputs are certainly not square roots. This reduces, by > 99%, the amount of actual square root calc's done and therefore is more efficient and faster. Search fur 32-bit vs 64-bit, hash values that make "perfect" Bloom filter. Variety of (simple) hash functions, requiring 2, 3, 4 or 5 hash values. Hideously vast search... -
3
Xoptfoil
Airfoil optimization with Xfoil
Airfoil optimization using the highly-regarded Xfoil engine for aerodynamic calculations. Starting with a seed airfoil, Xoptfoil uses particle swarm, genetic algorithm and direct search methodologies to perturb the geometry and maximize performance. The user selects a number of operating points over which to optimize, desired constraints, and the optimizer does the rest. -
4
ParBiBit
Parallel tool to search biclusters on binary datasets
ParBiBit is a parallel tool to accelerate the search of biclusters on binary datasets, especially useful for gene expression data. This tool receives as input the expression values of n genes and m samples in a file with ARFF extension and returns a file with the biclustering information. -
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
5
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 network flow and other graph algorithms. ... -
6
optpack
FE simulation based automatic global optimisation in modern Fortran
...The initial application is for FE simulation of elasto-plastic buckling of steel rods aimed at tuning the hardening model. Unix shell scripts are used extensively. High concurrency is achieved with parallel multi-start global search and with parallel MPI FE. Powell's BOBYQA or LINCOA are used (not included in this package). Automatic mesh generation of 3D cylinders is provided + automatic boundary conditions, all via Fortran and shell scripting. -
7
Ship Lock Scheduling
Scheduling lockages at ship locks with several parallel lock chambers
This Java software includes algorithms of combinatorical optimization for the NP-hard offline ship lock scheduling problem. Solutions and performed computations can be displayed graphically. Besides, there is a framework for generating test instances and running these in parallel, as well as R/JGR code for statistical evaluation. Some tools for estimating the quality of calculated solutions will be further improved. Initially the software was developed within a project of TU Berlin regarding... -
8
SWAPHI: Smith-Waterman on Intel Xeon Phi
The first protein sequence database search on shared-host Xeon Phis
The first parallel algorithm to accelerate the Smith-Waterman protein database search on shared-host multiple Intel Xeon Phi coprocessors. By searching against the UniProtKB/TrEMBL database, SWAPHI achieves a performance of up to 58.8 billion cell updates per second (GCUPS) on a single Xeon Phi and up to 228.4 GCUPS on four Xeon Phis. -
9
PRADA
PRADA : Pipeline for RNA-Sequencing Data Analysis
...PRADA currently supports 7 modules to process and identify abnormalities from RNAseq data: preprocess: Generates aligned and recalibrated BAM files. expression: Generates gene expression (RPKM) and quality metrics. fusion: Identifies candidate gene fusions. guess-ft: Supervised search for fusion transcripts. guess-if: Supervised search for intragenic fusions. homology: Calculates homology between given two genes. frame: Predicts functional consequence of fusion transcript -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
J-VRPsolver
Solve VRP with 1 warehouse and 1 vehicle type
a simple and effective vehicle routing problem’s solger using metaheuristic algorithms's like Tabu Search and Clark'n Wright. It's specialized in single deposit and singe vehicle's capacity VRP's istances. [mainly for educational purposes] -
11
Platform for parallel computation in the Amazon cloud, including machine learning ensembles written in R for computational biology and other areas of scientific research. Home to MR-Tandem, a hadoop-enabled fork of X!Tandem peptide search engine.
-
12
Driver Logger is an Open Source port analyser. The program is designed to monitor in/out traffic on a variety of bus ports such as USB, Parallel and Serial. The program logs the traffic and can also open, list, categorize and search through the logs.
-
13
Use of USB to Serial and USB to Parallel BUS CONVERTERS available from ElectronicBRICKS at http://electronicbricks.blogspot.com/search/label/usb-Brick.
-
14
ProteinFinder - a C language parallel computing engine for tandem protein mass spectrometry database search. ProteinFinder is interfaced with MySQL relational database MassSpec that hosts the experimental data, predicted databases, and search results.
-
15
Here we offer for download ClawHMMer, a streaming implementation of hmmsearch, running on commodity graphics. processors and parallel rendering clusters. The original HMMer version is located at http://hmmer.wustl.edu/ (also under GPL).
-
16
WebDip is a platform for the tracking of information search in a psychological decision making experiment. It enables to run parallel experiments, with different search modes and comfortabel user management.
-
17
The LisBON Framework is an adaptable framework for developing new parallel Memetic Algorithms (hybrid search algorithms for efficiently solving optimisation problems).
- Previous
- You're on page 1
- Next
