Search Results for "gnu science" - Page 14
Sort By:
Showing 3193 open source projects for "gnu science"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
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.
-
1
Makumba
Moved to GitHub: https://github.com/makumba
Makumba helps you rapidly develop data driven web applications. Provides a custom JSP taglib as a main interface, but leaves API open for advanced access. It is implemented in Java. Moved to GitHub: https://github.com/makumba -
2
MGSyn
MGSyn - Automatic Synthesis for Industrial Automation
MGSyn (Model, Game, Synthesis) is an open-source tool which integrates game-based synthesis into model-driven development for industrial control and automation. It is served for research and educational purposes. MGSyn has been originally developed by Department of Informatics (Unit 6), TU München and fortiss GmbH and is now maintained by fortiss GmbH. The software is released under the GNU General Public License Version 3.0 (GPLv3). Please download the tutorial for step-by-step... -
3
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures... -
4
Entrainer is a Java program (JRE 1.8.0_40+ required, available from http://java.sun.com/javase/downloads/index.jsp) which creates binaural beat frequencies with sound, light and animations for the purpose of entraining one's brain waves.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
5
MoRe4ABM
Managing Ongoing RElationships for Agent-Based Modelling
The purpose of MoRe4ABM - Managing Ongoing RElationships for ABM - is to support representing and analysing social networks in agent-based modeling. The library provides a large number of network generators and a comprehensive framework for network and node level measures. It integrates well with Repast Simphony and uses the JUNG library. More4ABM furthermore supports initialisation of geographically explicit networks using GIS. -
6
TER implements the CCSDS Recommendation for Image Data Compression (CCSDS 122.0-B-1). TER also adds new features to the Recommendation. TER is designed and programmed with the aim to provide a good basis to test and develop the CCSDS Recommendation.
-
7
GUI Ant-Miner is a tool for extracting classification rules from data. It is an updated version of a data mining algorithm called Ant-Miner (Ant Colony-based Data Miner).
-
8
MATSim is a framework for building multi-agent transport simulations. MATSim has moved to GitHub: https://github.com/matsim-org/matsim Source code and newer releases are now hosted at GitHub!
-
9
TraceMetrics
TraceMetrics is a trace file analyzer for Network Simulator 3 (ns-3).
TraceMetrics is a trace file analyzer for Network Simulator 3 (ns-3). The main goal is to perform a quick analyzis of the trace file produced by ns-3's simulations and calculate useful metrics for research and performance measurement. Such tool is needed because a research simulation may generate a trace file with thousands of lines, becoming dificult to analyze manually. Due to this, this tool can be handy in case someone needs a metric that the tool already support. TraceMetrics is... -
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
10
CRAFTY
Competition for Resources between Agent Functional Types
CRAFTY is a large-scale ABM of land use change. It has been designed to allow efficient but powerful simulation of a wide range of land uses and the goods and services they produce. It is fully open-source and can be used without the need for any programming. -
11
SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures...
-
12
The Rope Java Virtual Machine implements the Rope model which is a novel thread level speculative execution model called Rushing Object Parallel Environment. This is a research project aimed at exploiting parallelism in traditional object oriented programs.
-
13
The objective of this project is to provide an innovative tool for visualization of multiples genomes. Written in Java, it presents a simple and intuitive user interface to view and manipulate the relationships between groups of genes.
-
14
BioDWH is a bioinformatics data warehouse software kit that integrates biological information from multiple public life science data sources into a local RDBMS. It provides up-to-date integrated knowledge, platform and database independence.
-
15
G4LTL-ST
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv. -
16
OpenCCG, the OpenNLP CCG Library, is a collection of natural language processing components and tools which provide support for parsing and realization with Combinatory Categorial Grammar (CCG).
-
17
JReliability allows to derive several reliability-related measures like Mean-Time-To-Failure (MTTF) or Mission-Time (MT) of complex systems that are modeled using Boolean functions, efficiently encoded in Binary Decision Diagrams (BDDs).
-
18
-
19
Penguin Nest Picture Analyser
Penguin Nest Camera Analyser - program for aiding the counting of peng
Penguin Nest Camera Analyser - program for aiding the counting of penguins in images created by automated nest monitoring cameras. -
20
Visualization of Protein-Ligand Graphs
Compute protein graphs. Moved to https://github.com/MolBIFFM/PTGLtools
NOTE: Project moved to https://github.com/MolBIFFM/PTGLtools. The Visualization of Protein-Ligand Graphs (VPLG) software package computes and visualizes protein graphs. It works on the super-secondary structure level and uses the atom coordinates from PDB files and the SSE assignments of the DSSP algorithm. VPLG is command line software. If you do not like typing commands, try our PTGL web server: http://ptgl.uni-frankfurt.de/ -
21
KAnalyze
DNA/RNA Sequence K-mer Toolkit
KAnalyze is a Java toolkit designed to convert DNA and RNA sequences into k-mers. It is both a command line application and an API. -
22
Opt4J
Modular Java framework for meta-heuristic optimization
Opt4J is an open source Java-based framework for evolutionary computation. It contains a set of (multi-objective) optimization algorithms such as evolutionary algorithms (including SPEA2 and NSGA2), differential evolution, particle swarm optimization, and simulated annealing. The benchmarks that are included comprise ZDT, DTLZ, WFG, and the knapsack problem. The goal of Opt4J is to simplify the evolutionary optimization of user-defined problems as well as the implementation of arbitrary... -
23
BABA stands for Basic-Algorithms-of-Bioinformatics Applet. This project aims to create a set of bioinformatic algorithms presented didactically. The algorithms available at the moment are: Needleman&Wunsch, Smith&Waterman, Four Russians and Nussinov.
-
24
DCMLinux - Dicom Linux Distribution
Dicom PACS solution for free.
DCMLinux is a complete PACS system, free of charge. Its core is an Ubuntu 14.04 system fully updated and it contains the DCM4CHEE as its PACS server. In the near future it will contain many other addons such as Weasis, Oviyam, Care2x, etc. Just download the iso, burn it to a CD and boot it up. No need to configure any files of dcm4chee, DCMLinux installer asks for everything it needs to configure a running PACS in minutes. Project Wiki : http://wiki.dcmlinux.org Project Forums:... -
25
JavaCá&Lá
A Java Distributed Shared Memory Middleware
How can we easily develop applications for multicore or multicomputer architectures? We frequently use middlewares for that problem, but they are often complex and less productive. This way, at DECOM-UFOP, we have a middleware, named JavaCa&La or just JCL, to build portable and scalable solutions over many high performance computer architectures. Our middleware APIs is simple, intuitive and designed for young and senior programmers who don’t have high performance programming skills. Using...
