Search Results for "params-validate"
Sort By:
Showing 33 open source projects for "params-validate"
View related business solutions-
Build on Google Cloud with $300 in Free CreditStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query exabytes in BigQuery, or build AI apps with Vertex AI and Gemini. Once your credits are used, keep building with 20+ products with free monthly usage, including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. Sign up to start building right away.
-
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
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
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
...The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments. -
3
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). ... -
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. -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
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
miRPV
miRPV: An automated pipeline for miRNA Prediction and Validation in si
miRPV is an Automated tool that allows users to predict and validate microRNA from genome/gene sequence. System Requirement CPU: AMD64 (64bit) Memory: 2Gb RAM Storage: 5Gb Ubuntu 18.04 -
7
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... -
8
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. ... -
9
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... -
Cut Data Warehouse Costs up to 54% with BigQueryBigQuery delivers up to 54% lower TCO than cloud alternatives. Migrate from legacy or competing warehouses using free BigQuery Migration Service with automated SQL translation. Get serverless scale with no infrastructure to manage, compressed storage, and flexible pricing—pay per query or commit for deeper discounts. New customers get $300 in free credit.
-
10
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... -
11
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. -
12
BisSNP
Bisulfite-seq/NOMe-seq SNPs & cytosine methylation caller
...It uses bayesian inference with either manually specified or automatically estimated methylation probabilities of different cytosine context(not only CpG, CHH, CHG in Bisulfite-seq, but also GCH et.al. in other bisulfite treated sequencing) to determine genotypes and methylation levels simultaneously. It works for both of single-end and paired-end reads.Specificity and sensitivity has been validate by Illumina IM SNP array. In default threshold 30X data (Phred scale score > 20), it could detect 92.21% heterozygous SNPs with 0.14% false positive rate Cytosine calling is not only based on reference context, so it could detect non-reference cytosine context. Google group for help: http://goo.gl/zL7Nj -
13
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.
-
14
SmartHMA
Mobile implementation of HMA standardised EO data sources
The main objective of the SmartHMA project is to develop and validate an open source operational platform architecture which implements a set of HMA standards in native Android client for access to EO Ground Segment data and services. The aim of the project is the development of a mobile application for discovery and distribution of EO data in the acceptable by tablet devices form and entirely based on OGC and HMA specifications. -
15
physicsmata
API for all possible cellular automata that work same at all angles
...You can create any function, or to get started try the visual function editor where each click changes if a column is sine/sigmoid/half/double/exp/etc or which of the 0, 1, or 2 columns to the left are its params. Every click changes the patterns of waves seen on the left, which run that function you visually built at each point. -
16
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. ... -
17
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 -
18
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!
-
19
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. -
20
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... -
21
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. -
22
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. -
23
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.
-
24
Darwin Test is a software application to validate and check records from tables in a Darwincorev2/Darwincorev4 format.
-
25
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.
