Search Results for "validate"
Sort By:
Showing 26 open source projects for "validate"
View related business solutions-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
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
Azure Quantum Development Kit
Azure Quantum Development Kit
Azure Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas. The playground is a small website that loads the Q# editor, compiler, samples, katas, and documentation for the standard library. It's a way to manually validate any changes you make to these components. The easiest way to develop in this repo is to use VS Code. When you open the project root, by default VS Code will recommend you install the extensions listed in .vscode/extensions.json. These extensions provide language services for editing, as well as linters and formatters to ensure the code meets the requirements (which are checked by the build.py script and CI). -
2
NVIDIA Isaac Sim
NVIDIA Isaac Sim is an open-source application on NVIDIA Omniverse
NVIDIA Isaac Sim is a high-fidelity robotics simulation platform built on NVIDIA Omniverse to develop, test, and validate AI-driven robots in physically accurate virtual environments. It supports a wide array of robotics formats (URDF, MJCF, CAD), includes GPU-accelerated physics, and features immersive RTX rendering and multisensory simulation. Realistic physics via GPU-accelerated engines and RTX ray tracing. Multi-sensor simulation (RGB-D cameras, Lidar, Radar, IMU, contact sensors). ... -
3
QMCF2
Quantum Mechanical Charge Field - Molecular Dynamics
...On Linux, open a terminal in `qmcf2_installer` and run: `python3 qmcf2_installer.py3` Review the detected compilers, libraries, paths, and warnings, then start the build. The manual is located at `qmcf2_html/qmcf2_doc/manual/qmcf2_manual.pdf`. QMCF2 is research software under active development. Validate calculations on small reference systems before production use. Licensed under GPL3. -
4
Aestel
Applications for data management
...The AESTEL package contains two highly configurable applications for data management: A data loader and a reporting application, i.e. DataLoader and AEREA, respectively. The data loader application applies user-defined instructions to validate, process and load data. The reporting application provides a query builder and spreadsheet template designer. Both applications work with any relational data model. (Postgres and Oracle have been tested). The two applications have been initially developed for small molecule drug discovery research. However, they can be extended for use in other data domains. -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
NLIGA
Open source Matlab code for nonlinear isogeometric analysis
...Nonlinear hyperelastic and elastoplastic materials are primarily considered at this stage. Newton-Raphson method is used to solve the nonlinear governing equations. A series of benchmark examples are performed to validate the procedures. The visualization procedures are also developed to visualize the obtained results including displacements, stresses and numerical errors. References: [1] Xiaoxiao Du, Gang Zhao, Wei Wang, Mayi Guo, Ran Zhang, and Jiaming Yang. NLIGA: A MATLAB framework for nonlinear isogeometric analysis. Computer Aided Geometric Design, 2020, 80:101869... -
6
Visual Figaro
System safety, dependability and security analysis
Visual Figaro is an integrated environment to develop component libraries for the dependability modeling tool KB3 used by EDF (http://www.edf.fr/recherche/codes-de-calcul/kb3). KB3 is based on the FIGARO reliability modeling language, suitable for describing CTMC (continuous time Markov chains), DES (discrete event simulation) models, and for automatic generation of fault trees. FIGARO is objet oriented, close to natural language and enables building libraries of reusable components... -
7
MS Data Miner
MS Data Miner - A web-based proteomics software
Data processing and analysis in proteomic studies is a significant challenge and very time consuming. MS Data Miner (MDM) is a freely available web-based software to analyze, process, validate, compare, and display output files from MS software, including Mascot (Matrix Science), Mascot Distiller (Matrix Science) and ProteinPilot (AB Sciex). It was developed to significantly decrease the data analysis time and to handle large proteomic studies. This open sourced system includes a spectra validation-system and automatically screenshot generation tool for Mascot-assigned spectra. ... -
8
Ethernet POWERLINK XDD Tool Suite
Provides eclipse plugins for XDD edit, validation and OD generation.
The plugins include functionality to edit and check CN / MN XDD / XDC files against the DS311 V1.2.0 and the DS 301 1.3.0 specification. Another plugin enables the user to generate the object dictionary header file from an XDD / XDC file for the openPOWERLINK (https://goo.gl/Cg77Oi) implementation. Please note that the validation functionality works properly for Controlled and Managing Node XDD / XDC files. Please use the update site to install the plugin in your eclipse... -
9
PepDistiller
A software to validate the peptide identifications of Mascot results
In this study, we presented a quality control tool named PepDistiller to facilitate the validation of MASCOT search results. By including the number of tryptic termini, and integrating a refined false discovery rate (FDR) calculation method, we demonstrated the improved sensitivity of peptide identifications obtained from semitryptic search results. Based on the analysis of a complex data set, approximately 7% more peptide identifications were obtained using PepDistiller than using MASCOT... -
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.
-
10
transitfeed
Tools for reading, validating & writing transit schedule info in GTFS
transitfeed helps to make public transit information projects more successful for agencies and other interested parties. It provides a library to help you parse, validate, and generate General Transit Feed Spec (GTFS) feed files. It contains several parts, including TransitFeed (Python package for reading, writing, and validating feeds); Feedvalidator (command line tool that checks a GTFS feed for problems); ScheduleViewer (application for exploring a feed on a map) and more; each with their own set of instructions. -
11
A Java library to facilitate SED-ML support for systems biology applications to read, validate, edit, and write SED-ML documents in compliance with MIASE guidelines. Also contains modules to execute simulation tasks and produce outputs. This project also contains the SED-ED editor application for SED-ML.
-
12
BIRAP
Bacterial Intergenic Region Analysis Pipeline
BIRAP (Bacterial Intergenic Region Analysis Pipeline) is an open source, easy to use Perl pipeline that can be used to re-annotate bacterial genomes using experimental data. The tool integrates expression profile derived from RNA-seq and/or proteogenomics, compares it with existing in silico annotation and helps validate annotation, identify novel protein coding regions, putative non-coding RNA as well as help correct er-rors in the existing annotation. The pipeline requires “pileup” output from SAMtools for RNA-seq data and peptide/ePST locus file (GFF) from the Proteogenomic Mapping tool for prote-ogenomics data along with the genome and existing in silico annotation. ... -
13
P.I.P. Equation Converter
Prefix/Infix/Postfix Equation Converter
...Important: ++++++++++ * supported operands: A-Z, a-z, 0-9 (only single character each) * supported operators: '+', '-', '*', '/', '(', ')' * do not use brackets while inputting Prefix/Postfix Equation * do use brackets while inputting Infix Equation * this application cannot validate equation; it can only detect and convert -
14
Test, validate and diagnose communication protocols in medical environments (DICOM, HL7 and IHE). DVTk is a must have for software developers, test engineers and service engineers that work in the healthcare domain. NEW. Services on www.dvtk.org!
-
15
Darwin_Test 3.3
Darwin Test is a software application to validate and correct records
Darwin Test is a software application to validate and correct records from standards Darwin Core 1.2, Darwin Core 1.4 and Darwin Core Archive. It also can generalize or delete coordinates in those records of the Darwin Core that are considered sensitive data. -
16
ns-2 Trace Toolkit
This toolkit allows you to analyze and validate ns-2 traces
ns-2 Trace Toolkit was developed to help users to manage and debug ns-2 trace files. It is particularly useful for users that generate ns-2 trace files with other tools such as VanetMobiSim or SUMO (Simulation of Urban Mobility). With ns-2 Trace Toolkit, users can debug their trace files by generating histograms for: (1) node speed, (2) node x-position, and (3) node y-position. These histograms can give hits about concentration of nodes. Additionally, the tool allows users to simulate... -
17
Darwin_Test 3.2
Sortware application to validate and check records.
Darwin Test is a software application to validate and check records from tables in a Darwincore1.2 or Darwincore1.4 format. It also exports the previous formats to the Darwin Core Archive standard and allows the inverse process. Also can transform tables from Darwincore1.2 to Darwincore1.4 and the inverse process from Darwincore1.4 to Darwincore1.2. -
18
Darwin_Test 3.1
Validate records from tables Darwincore 1.2 or 1.4
Darwin Test is a software application to validate and check records from tables in a Darwincore1.2 or Darwincore1.4 format. It also exports the previous formats to the Darwin Core Archive standard and allows the inverse process. -
19
Darwin Test is a software application to validate and check records from tables in a Darwincore1.2 or Darwincore1.4 format. It also exports the previous formats to the Darwin Core Archive standard and allows the inverse process.
-
20
Darwin Test is a software application to validate and check records from tables in a Darwincorev2/Darwincorev4 format.
-
21
Software developed under MATLAB R14 environment. It's aim is to make the modeling of bacterial inactivation system and adjust a simulator to obtain new data of the experiment or validate the one that has been obtained at the laboratory.
-
22
Darwin Test is a software application to validate and check records from tables in a Darwincorev2/Darwincorev4 format.
-
23
The SPASE Toolkit contains a set of command-line applications which can be used to generate, validate, referentially check, use and organize resource descriptions written in SPASE XML.
-
24
XAlgo is a xml-language to freely describe algorithms. With this software you are able to validate and even translate those XAlgo-Documents into normal sourcecode (currently Java and C++).
-
25
Append hundreds of different XML files into one large data document, validate, and attach a stylesheet. Stitcher is a porwerful summary reporting tool. Allows for complex file storage locations of xml data. UBL, HR-ML, LandXML ... visit stitcher.org.
