Search Results for "software synthesizer java" - Page 15
Sort By:
Showing 1350 open source projects for "software synthesizer java"
View related business solutions-
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.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
PatchCatcher
Software for Patchwriting Detection
PatchCatcher uses suffix arrays to detect common types of patchwriting among scientific papers. -
2
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,... -
3
Open HLA (oh-la) provides an open-source implementation of the HLA RTI spec 1.3, IEEE 1516 and IEEE 1516 Evolved. It also provides a framework to wrap the standard RTI classes and FOM to code generation to make life simpler.
-
4
coalescent
Software tool for Research in Computational Population Genetics
Development of exact and approximate methods (Importance Sampling and MCMC based) for computing likelihoods under the standard population genetic models of mutation,migration & recombination. Project issues are mainatined at https://freecode4susant.atlassian.net/browse/COALESCENT -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
5
Factory Equipment Network Testing
Measurement science-based performance & conformance testing framework
Real-time production information is needed to optimize manufacturing activities in a factory, but acquiring this information from isolated proprietary equipment is a manual process that takes time and introduces errors. Connecting equipment to the factory network can make accurate production information immediately available, but widespread interconnection of equipment has been inhibited by the lack of common information models and methods to measure performance and conformance. This project... -
6
famos
Framework for Agent-oriented MOdelling and Simulation
Famos is a Java-based framework for developing agent-based models. It uses the discrete-event simulation framework Desmo-J (http://desmoj.sourceforge.net) as its simulation engine. Famos implements event-driven time advance and focusses on supporting an explicit model of space for the environment, including the movement of agents. Famos was developed in the context of a PhD project. Many aspects of its implementation are therefore still in the prototype stage. It does come with two... -
7
Virtual instrumentation software, currently designed for modifying automobile engines. Intended as a modular framework to communicate with devices on an IO port (serial, parallel etc.) and allow a visual representation of the instrument.
-
8
PHDL
An HDL alternative to PCB graphical schematic capture tools.
PHDL is an HDL that functions as an alternative to mainstream graphical schematic capture tools. The language is compiled into a pcb netlist which can then be imported into a layout tool. We are currently on version 2.1 of the tool. We have created an eclipse plugin version of the tool as well as a standalone command-line based version. Both function identically and output a netlist that can be imported into a pcb layout tool. VHDL revolutionized how FPGA designs and digital logic... -
9
PlaTypUS
Plasmodium Typing Utility Software
The goal of PlaTypUS is to establish a unified Plasmodium whole genome analysis tool, that aligns short read sequences in an agreed upon manner, with many quality control steps, and calls both SNVs and CNVs in a community agreed standard way. We also seek to provide this analysis in a stand-alone graphic user interface so that labs around the world can analyze their own whole genome sequencing data, rather than relying on outside institutes. -
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
JCycles
[frozen] A library for computing cycles in graphs or in Java code.
[This project is frozen, but has an offspring with more features: https://github.com/jeffhain/jadecy ] JCycles provides treatments to compute cycles, or just strongly connected components, in directed graphs in general, or in classes or packages dependencies graphs parsed from class files (major version <= 51, else does best effort). It uses Tarjan's algorithm for SCCs, and Johnson's for cycles, with continuations instead of recursion, which allows to handle large graphs (<... -
11
JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.
-
12
JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.
-
13
ExpressionOasis is a java based framework for evaluating the various type of expressions like arithmatic, logic expression etc. The framework is flexible enough to define any new grammer rules or operators.
-
14
[DEPRECATED] Gene Ontology
The DEPRECATED legacy location of the GO, see http://geneontology.org
The DEPRECATED legacy of the Gene Ontology project on SourceForge. Please see http://geneontology.org for current software and downloads. -
15
ActiveFolder
ActiveFolder can be integrated with existed scientific computation.
Welcome to the ActiveFolder project, the open source for management simulataion data and reproducing. ActiveFolder provide data reproduction for comparative study and searching reproduction data, by storing data coupled with provenance information. ActiveFolder is integrated existed grid computing service and cloud services. And also, ActiveFolder can be integrated with existed scientific computation, analysis and visualization software without modification. -
16
Japrosim is a java library for both discrete event and continuous simulation. GUI for modeling and automatic code generation are offered. An explanation module is integrated. Models are described in XML and owl for interoperability.
-
17
wepro
A tiny app for getting the weather.
A Java application designed specifically to display the weather content at a specified location. This applet is designed specifically to utilize a diversity of modern Software Engineering best practices. We plan for this application to be open source, extensible, and reusable. We also plan for the weather app to utilize multiple data providers, or website urls that provide weather information freely, so that a user can chose which provider dynamically during the runtime of the application. -
18
Statcato is a Java software application for elementary statistics. Its features include data and graph generation, probability distributions, descriptive statistics, confidence intervals, hypothesis tests, correlation, regression, and analysis of var
-
19
The objective of this project is to make available an open-source version of our Multifactor Dimensionality Reduction (MDR) software. MDR is a nonparametric alternative to logistic regression for detecting and characterizing nonlinear interactions.
-
20
Weka4OC GUI for Overlapping clustering
Weka4OC: Weka for Overlapping Clustering is a GUI extending WEKA
This is a GUI application for learning non disjoint groups based on Weka machine learning framework. It offers a variety of learning methods, based on k-means, able to produce overlapping clusters. The application also contains an evaluation framework that calculates several external validation measures. The application offers a visualization tool to discover overlapping groups. -
21
Sphinx SD Tools
Common accessible environment for system dynamics simulation.
The Sphinx project is dedicated to create common accessible environment for system dynamics simulation. This software is developed on Java 6 platform and use Java Swing GUI. -
22
Data Matrix
Java Api to manipulate simple on data of Matrix Type
Java Api to manipulate simple on data of Matrix Type. There is lot of usefull methods like resize, insert , remove, sort and lot of other methods. Usefull methods to manipulate with diagonals. For example you can create block diagonal matrix. There is lot of usefull methods to manipulate on mathematic matrix also, like determinant , norm , minor , cofactor , solveLienarSystem , arithmetic operations also and lot more. -
23
SnowGuestimator
Simulation to estimate snow heights
SnowGuestimator is a simulation software to estimate snow heights. According to weather data It calculates how much snow may potentially fall naturally, how much could propably be produced artificially and how many days of skiing would be possible. -
24
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
25
TopiaryExplorer has moved to GitHub. Find the new project info page here: https://github.com/qiime/Topiary-Explorer. If you need help or would like to add a bug/feature request, please do so there.
