New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
Demo Series - Small Business Backup By Veeam
Learn how to protect your Microsoft 365 data, with simple, actionable tips today.
Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
Belief Revision via PS-Merge under constraints belief merging operator
...Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and this extension is used as a strategy for belief revision. The new evidence is treated as a constraint so the extended merging operator can obtain the revised belief base.
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledgebase which is freely accessible within the internet. Logic and set theory started.
Web application to make user-friendly requests on large XML database.
Tools to XML-ize large bodies of semi-formal texts (like floras).
Computer-assisted specimen identification.
Uses natural language processing, 2D/3D images analysis and generation.
Wikipedia Concept Association Map (WCAM) is new approach for textual knowledge representation and understanding. All concepts and associations are stored in a graph database for better performance and easy distribution.
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
Spatial KnowledgeBase is a web based application for storing and searching of archaeological sites information. The software was written to improve access to cultural heritage information though the use of digital archiving, search technology, and GIS.
Thea, Tools for High-throughput Experiment Analysis, is an integrated information processing system dedicated to the annotation of data issued from classification systems with biological information coming from a knowledgebase.
BioNote is a knowledgebase that combines unstructured wiki technology with structured annotation to form a collaborative environment. BioNote adds the concepts of page types and semi-structured annotation to extend the unstructured nature of wiki pages
Xenei.Demitrius will be a complete knowledgebase application system. The client will contain a local database and may connect to one or more Demitrius servers. Servers are implemented in Java as Xenei.ImagoX Extensions. Security is role-based.
BIRBU (BIological Relationship BUilder) is a Java tool for microarray gene expression data analysis. BIRBU identifies biologically significant relationship between genes using microarray data and prior knowledge on relationships between genes.