Search Results for "gnu-efi"

Our software GENPPI is efficient because, for example, it creates interaction networks from the central genome of 50 species/lineages of Corynebacterium, with an average size of 2200 genes, in less than 40 minutes, on a conventional computer. Our software is compelling because the interaction networks that it creates reflect evolutionary relationships between species and obtained in Average Nucleotide Identity (ANI) analyzes. Also, It allows the user to define how he intends to explore the...

An implementation of the Joint Generation Algorithm of Fredman and Khachiyan for the computation of a dual pair of monotone boolean formulas in DNF (hypergraph transversals, extreme rays of polyhedral cones...). User-replaceable oracle.

This is a parser in Java for Lisp S-expressions. An S-expression or sexp (for symbolic expression) is a convention for representing data using parentheses.

The interactive mathematical programming system GYWOPT is released as free software. It has been developed since early 2000 for experiments with the Integral Basis Method for integer programming by U.-U. Haus, M. Köppe and R. Weismantel.

Uses opencv to create a zoom-able map, upon which you can place vectorized objects. The idea is to have these objects available in the map, in a list-view and on the REPL. Not complete. No documentation.

The TUM personal robotics package is a collection of libraries that aims to offer methods for personal robotic assistants to operate successfully in indoor environments.

The OKlibrary is a research platform for generalised SAT solving. It provides tools to tackle "intractable problems" at the Maxima computer-algebra level and at the C++ level. It also automatically installs a wide range of external software.