Search Results for "ml"
Sort By:
35 programs for "ml" with 2 filters applied:
-
Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
BrightGauge, a ConnectWise solution, was started in 2011 to fill a missing need in the small-to-medium IT Services industry: a better way to manage data and provide the value of work to clients. BrightGauge Software allows you to display all of your important business metrics in one place through the use of gauges, dashboards, and client reports. Used by more than 1,800 companies worldwide, BrightGauge integrates with popular business solutions on the market, like ConnectWise, Continuum, Webroot, QuickBooks, Datto, IT Glue, Zendesk, Harvest, Smileback, and so many more. Dig deeper into your data by adding, subtracting, multiplying, and dividing one metric against another. BrightGauge automatically computes these formulas for you. Want to show your prospects how quick you are to respond to tickets? Show off your data with embeddable gauges on public sites.
-
1
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
-
2
SBW (Systems Biology Workbench)
Framework for Systems Biology
The Systems Biology Workbench(SBW) is a framework for application intercommunications. It uses a broker-based, distributed, message-passing architecture, supports many languages including Java, C++, Perl & Python, and runs under Linux,OSX & Win32. It comes with a large number of modules, encompassing the whole modeling cycle: creating computational models, simulating and analyzing them, visualizing the information, in order to improve the models. All using community standards, such as SED-ML... -
3
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
4
This project hosts a library and tools for sharing simulation experiments encoded using SED-ML.
-
Google Cloud is a cloud-based service that allows you to create anything from simple websites to complex applications for businesses of all sizes.
-
5
CBMPy
PySCeS Constraint Based Modelling
PySCeS CBMPy is a new platform for constraint based modelling and analysis. It has been designed using principles developed in the PySCeS simulation software project: usability, flexibility and accessibility. CBMPy supports the latest standards for encoding CBM models encoding, SBML L3 FBC, COBRA as well as MIRIAM compliant RDF and custom annotations. Its architecture is both extensible and flexible using data structures that are intuitive to the biologist while transparently... -
6
clibsedml
C library for SED-ML
This project has migrated to GitHub (https://github.com/flintproject/clibsedml). -
7
Java Machine Learning Library is a library of machine learning algorithms and related datasets. Machine learning techniques include: clustering, classification, feature selection, regression, data pre-processing, ensemble learning, voting, ...
-
8
Tab2MAGE uses a flexible spreadsheet format for MIAME annotation of microarray experiments. Tab2MAGE spreadsheets may be submitted directly to ArrayExpress, or used to generate MAGE-ML for data exchange.
-
9
rPem3D
PET/PEM image reconstruction based on MLEM
Various utilities useful for handling PET data esp. of stationary planar PEM, including fully 3D ML-EM based image reconstruction, real time viewing of scanning image and the KDE based GUI for scanning, viewing and image reconstruction. -
Manage your enterprise’s compensation lifecycle and accurately recognize top performers with a digitized, integrated system. Keep employees invested and your HR team in control while preventing compensation chaos.
-
10
IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.
-
11
DRINKS Toolkit
DRINKS is a set of smart web-based widgets.
DRINKS Toolkit is a collection of web-based widget, focused in the first release, to realize an online strumentation. It provides a practical and immediate interface to represent your data in the best possible way. Every widget is drawed using HTML5 Canvas API in a Javascript based environment. Drinks was born to allow users to easily realize custom dashboards without any programming knowledge, infact, you can use your instrument on a webpage simply using HTML tags, or using BarMan... -
12
This is a replacement of the old opencv unicap driver module that only supports the queue buffer interface. The new driver uses the more efficiente call-back interface and allows to use Imaging Source "one4all" DFM 22BUC03-ML board camera.
-
13
XPSEDAPI is a cross-platform (programming language agnostic) definition of an application programming interface for working with and manipulating SED-ML documents. Interfaces are defined in Interface Definition Language (IDL) with full documentation.
-
14
-
15
The aim of this project is to produce a software that will content two modules : - the first one will allow to conduct simulations of social behavior, - the second one will be able to produce philosophical considerations. The version version will be i
-
16
PsiLAB is an environment for scientific research, numerical calculations and generic data analysis. It's written in the functional language O'CaML.
-
17
The main objective of the ONE project is to enrich Digital Ecosystems with an decentralised negotiation environment and enabling tools that will allow organisations to create contract agreements for supplying integrated services as a virtual organisation
-
18
EMMA 2 is web-based server application for management, annotation, and analysis of microarray data. It provides mapping of gene expression data onto pathway data extensible analysis and visualization functions and MAGE-ML support.
-
19
An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.
-
20
Adamant is a java application for annotation of microarray array designs. The software enables MIAME-compliant annotation of sequences spotted onto arrays and can produce output files in MAGE-ML and other data formats used by public microarray data repos
-
21
At the current state, opengeodb provide geo coordinates and several other data (city name, zip) mainly for the german speaking area.
-
22
The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
-
23
Es handelt sich hier um ein Plugin-Projekt für Eclipse, ins Leben gerufen, da wir an der Uni SML programmiert haben und ich einfach keine manierliche Entwicklungsumgebung finden konnte.
-
24
JSAX - JavaScript Abstractions for X(HT)ML This is a JavaScript framework which is compatibel with the latest versions of Mozilla, Opera, Konqueror(+safari) and M$-IE.
-
25
In order to facilitate standardization and exchange of microarray layout, this project provides an ADF (Array design File))/MAGE-ML converter.