Search Results for "linux-abi" - Page 58

This application implement an approach for doing keyword based search over semi-structured data available in HTML pages.

TuringIDE is an integrated development environment (IDE) for simulating Turing Machines with multiple tapes and states. It offers debugging tools, XML import/export, and other advanced features for scientific experiments on formal symbol allocations.

Tunelator processes tunnel profile data for surveying work. It provides a powerfull grid editor, 3D preview, export to Prowin, Ispol, MDT and DXF (2D and 3D views with convenient layering).

Simple java classes implementing basic concepts of relations as defined in set theory. A relation is a set of ordered pairs. A relation can have properties, including that it is reflexive, symmetric, or transitive. The classes enable some ordered pairs to be stated, and will deduce all the other related ordered pairs implied by the relation's properties. There are implementations of transitive, reflexive-and-transitive, and symmetric-reflexive-and-transitive (equivalence) relations using...

Mavscript ermöglicht es in einem Textdokument Berechnungen durchzuführen. Die eigentliche Berechnung verarbeitet das Algebraprogramm Yacas (oder der Java-Interpreter BeanShell).

The Global Epidemic Simulator is a platform for modelling directly transmissible human diseases such as influenza, and testing intervention policies that may reduce the duration or severity of an outbreak of such a disease. Building on previous work, this model is spatial and individual-based, using various geographical and demographic data sources to place households at absolute locations, populated with individuals of specific ages who each attend schools or workplaces situated in their...

GeoPMS is a project based full paper management system to archive, search and manage scientific papers. GeoPMS has full text search, search by author, search by title and citation import functionality direct from the PDF header, PDF text or RIS. Reference list design can be selected for each project.

With this applet you'll be able to visualize formulas by building a tree with your mouse.

eMayor provides process and applications that enable the cheap, secure and sustainable realization of standard e-government services, everything from processing a change of personal information to issuing certificates or licenses.

Xirp stands for "eXtendable interface for robotic purposes". The application aims to provide a feature rich platform for different robotic needs.

Alignment Based Learning 4 Java is a port of ABL 1.1.

Java library for Monte Carlo simulation, stochastic processes, finance. Classes define the basic mathematical notions to ease transition from theory to application.

The Tile Farm provides a user-interface for experimenting with pattern blocks and can used to teach the principles of patterns and symmetry to audiences ranging from elementary school children to PhD's in math, science and engineering.

Fachwerk3D calculates three-dimensional strut-and-tie models used by structural engineers for analysing and designing reinforced concrete structures. The program only uses the equilibrium conditions, thus it is not assuming elastic behaviour.

Fachwerk calculates strut-and-tie models used by structural engineers for analysing and designing reinforced concrete structures. The program only uses the equilibrium conditions, thus it is not assuming elastic behaviour.

The Unified Modeling Language (UML) is used for designing software. ArgoUML is an open source UML editor. This plugin integrates the "Context-Based Constraint Language (CCL) for Components" into ArgoUML. On Berlios we speak german - check www.cocons.or

A software toolkit that implements the CoSy Architecture Schema for developing integrated intelligent robotic systems. The toolkit focuses on supporting on a space of information-processing architectures based on shared working memories.

NetLogo is a software platform for agent-based modelling. Here we present an R extension of NetLogo. It adds new NetLogo primitives … New locations: R-Extension: http://r-ext.sourceforge.net Rserve-Extension: http://rserve-ext.sourceforge.net

Gavrog stands for "Generation, Analysis and Visualization of Reticular Ornaments using Gavrog". It is a Java library together with a suite of interactive applications for the study of periodic net-like structures in space and their applications.

ECG is a distributed system to record and analyse developer activites for programming behaviour. It supports the research of actual processes and micro-processes.

Composer for OWL-S-based Semantic Web Services that can load SWRL-based Semantic Bridges to mediate between heterogeneous ontology concepts. Exports semantic. enh. BPEL code. Dependency to BerliOS-project: "sembpelext". Also see QualiPSo.org for details.

Plantlore is a botanical occurence database being written in Java. It also has a BIOCASE Provider software based web interface.

Nereus ist ein Multiagentensimulator, programmiert in Java. Er arbeitet als Server und ermöglicht es, mehrere Szenarien für Agenten gleichzeitig laufen zu lassen, auf die die Benutzer über das Internet mit Clients zugreifen können.

Liab`o´lo, die teuflisch gute Literaturverwaltung! Liab`o´lo - a library tool hot as hell!