We are developing MIRACH, a Statistical Online Model Checker for Biological Pathway Models, based on the PLTLs formalism for expressing the rules/properties to be checked. MIRACH can currently check pathways models written either in CSML or SBML.
Java-based Image Server engine to organise high resolution images. The intermediate images will be generated transparently and available through defined URLs. The aim is to extended to Digital Asset Management Server
The BioloidNativeInterface is a C++ library to control bioloid/dynamixel modules including AX12, AXS1. It provides a parser for the bioloid protocoll and methods to read/write packets.
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
Implementation of "online" erasure codec for Hadoop Distributed File System (HDFS). It contains native C library integrated with Java code base of HDFS.
This project defines the Simple API for Binary REpresentations (SABRE) for processing hierarchically structured, binary-oriented documents, comparable to the Simple API for XML (SAX). The library is e.g. used in the Java ISO Image Creator (JIIC).
Integration routine to be employed in evaluation of high dimensional integrals arising from problems in statistical mechanics, more specifically the partition function of classical Heisenberg spin-chains, and its resulting derivatives.
Streamline Azure Security with Palo Alto Networks VM-Series
Centrally manage physical and virtualized firewalls with Panorama
Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
KemetLF is a Java/Swing library + DEMO which defines the Look and Feel of kemet project. This library which introduces the transcription and transliteration of egyptian hieroglyphs based on the list of Gardiner's signs (middle egyptian) - Art and Cu
Prism is a system for displaying a visual overview of the types of research being done at a given institution and to quickly connect researchers with like interests.
This is a FreeCell solitaire game solver written in the Java. It is fast and capable - it solves all of the first million Microsoft deals in about 4 hours - 99.99% of them in less than a second, and no deal takes more than 1 minute.
OpenSource Interactive Kiosk System (OSIKS) - Free information system for e-Government, public services, information and others aims. LAMP + Opera (browser in kiosk mode) + Keyboard (java virtual keyboard).
C4 is a C++ class library for analyzing sound files, particularly spoken and sung phonations. C4 provides features such as frequency analysis, pitch extraction, or calculation of voice quality parameters (e.g. alpha ratio, HNR, jitter, etc.).
Maui is a multi-purpose automatic topic indexing algorithm. Given a document, Maui automatically identifies its topics. Depending on the task topics are tags, keywords, keyphrases, vocabulary terms, descriptors or Wikipedia titles.
GRaPe - a platform-independent software tool for building integrative gene-reaction-protein (GRP) networks. It generates the kinetic equations for each reaction and outputs a SBML document. It also implements two methods for parameter estimation.
A software tool enabling the user to browse through an image stack created by a confocal microscope. Points can be plotted through the stack, producing a digital 3D representation, which can be viewed in 3D and compared with other plots.
New computer science theory. OO databases generated with TROM are as relational and normalised as you specify. Predefine queries to be executed at the click of a button, or enter ad-hoc SQL statements. TROM is the future of OO relational databases.
Apellicon is a web-based administration suite for Textpresso. Textpresso is an open-source text-mining system for scientific literature. Apellicon implements all of the steps required to build and maintain a Textpresso database.