Search Results for "users" - Page 50
Sort By:
Showing 1689 open source projects for "users"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
XMLMath evaluates mathematical, logical or textual expressions described in xml and prints the result. For example, to compute the result of 1 + 1, you would write: <add> <long value="1"/> <long value="1"/> </add>
-
2
Java editor for petri nets, based on the ARP analyzer. Exports nets to GIF, JPEG, PNG, PPM, ARP and PNML (XML based) file format. Uses the excellent JHotDraw 5.2 framework.
-
3
Project Graph contains the sources and releases of MIDlet Graph, which calculates mathematic expressions and draws function graphics on the screen of J2ME mobile device.
-
4
Library for performing derivative on an input string. Given an expression in a string, you can mathematically derive it.
-
Ship Agents FasterGemini 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.
-
5
Put a Map in your App! MyMaps makes it easy for Java developers to add maps to Swing applications. With access to WMS, Shapefile, Tiger and other free formats, you can add maps while avoiding the restrictive Terms of Use of those online mapping sites.
-
6
A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.
-
7
Blubber system is an Eclipse RCP application for distributed systems modeling. Designed for university researches and inlcudes: task graph editor; graph transformation tools; graph modelling on distributed system; real-time modelling on GerdaFramework.
-
8
The Campaign Simulator is an attempt to statistically model and predict the outcome of an American presidential election; several users assume the roles of competitive candidates and inflict the repercussions of certain decisions on a GSS based dataset.
-
9
Analysis and interactive visualization of a web-based community. Supports different focuses on the given social network to present community groups to the user. Also specific information of each member is provided.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
Simulator of virtual animals made up of biological neural networks for research in the Computational Neuroscience field.
-
11
Virtual interactive experiments (vexp) is a framework to promote the developmentand use of cooperative e-learning experiments over the internet. Interactive scientific experiments which can be controlled by various users synchronously.
-
12
-
13
Manuelito is a Java tool for decrypting posttranslational modification (PTM) patterns of proteins based on MALDI mass spectrometry spectra. It was built for analysing the 'histone code' but it can be applied to any other highly modified protein.
-
14
EMT is an application to draw and test turing machines intended to help Formal Languages and Automata students to understand how turing machines work and test their own turing machines.
-
15
A simulator for the M68HC11 microcontroller written in Java, based on the Wookie HC11 Simulator sources.
-
16
Pulga is a program for numerical simulation of dynamical systems designed to provide students and researchers an easy way to model and qualitatively analyse their systems on a computer without the difficulty of traditional computer programming languages.
-
17
A graphical data manipulation and processing system including data import, numerical analysis and visualisation. The software is written in Java and built upon the Netbeans platform to provide a modular desktop data manipulation application.
-
18
Avian Freeware Suite (AFS) provides two things: Developers with libraries for Java Swing Widgets, XML handling, Fortran95 and Pascal; End users (Medical students, doctors, scientists) with productivity tools they can use (quizzes, XML databasing & PDF)
-
19
...The main objective is to visualize the conclusions of this examination, which focusses on the editing frequency and relevance of articles and categories as well as the activity of users.
-
20
This if calculator for complex numbers. It works with algebraic and trigonometrical form and has multiple memory slots. There are many mathematical functions like sin, cos and etc.
-
21
FormatCheck screens flat files looking for violations in the format of the data. It uses a set of XML files that define the rules for each file format. The Swing front-end allows the user to run the verification, view and print the errors.
-
22
BioMa is a specimen based Biodiversity database Manager. It is designed to store, organize, and manipulate biodiversity-related scientific data, either for the purposes of museums, scientific collections, or research projects.
-
23
Trip Tracker is a position tracking client-server system. A real time tracking environment can be set up with a GPS receiver and a tracking server. The map client can show the map position of the GPS client in real time.
-
24
A very basic, very simple Java based GPS tool. Reads NMEA from GPS device over serial port - and does a few usefull things with it. The goal is to have something that can run and be useful on a desktop, laptop and handheld device.
-
25
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms. Silicis is a new formal framework for designing [verification] algorithms.