The Contingency Management Framework helps design fault-tolerant, and resource-aware systems. It monitors vital resource (e.g. the network) and sets up coping strategies when different contingent states occurs. Used in Ubiquitous Computing research.
stocleka is a project divided into a UI and a library for cleaning user stories and converting them to arff files (used for Weka). it may be mainly used for research and scientific purposes.
REPEATS is a bioinformatics software designed to help biologists to analyze sequence - either nucleotide or protein - for interspersed repeats. It offers functionalities to manage sequence data, analyze and store search results for further analysis.
A standards-compliant bibliography generator, focusing on efficiency. Type your many references' details easily with keyboard navigation and let Loc Cit format and sort them in to a ready to copy list, of the standard of your choice.
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
Full-stack observability with actually useful AI | Grafana Cloud
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 extends the ASV Toolbox from the Wortschatz-project at the University of Leipzig.
It annotates terms extracted by the "TE" (Terminolgy Extraction) and "Namerec" modules with semantic resources.
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.
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).
Swarm framework for chemicals, to neurons, to group models and species models and etc. I will try to keep one version of the code independent of any platforms, but I will also be integrating the code with JADE, JBoss and my software.
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
Este projeto visa criar um sistema para gerenciamento de grupos de pesquisa para a disciplina IN980-Topicos Avancados em Eng. de Software (Reuso Estrategico em Linhas de Produtos de Software). Disciplina ofertada em 2010.01 no Cin-UFPE.
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).
The project contains algorithms for locating the most central groups in complex networks. In particular implementations of various centrality measures and heuristic search algorithms. All functionality is exposed via XML-RPC for easier exploitation.
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.
A prototype system designed to aid in the identification of handwriting, particularly medieval, following the principles outlined at http://www.digitalmedievalist.org/journal/3/stokes/ and in forthcoming publications.
This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic behavior.