Search Results for "research" - Page 42
Sort By:
Showing 4992 open source projects for "research"
View related business solutions-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
1
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,... -
2
The Diffraction Image Experiment Repository (DIMER) is an online archive for diffraction experiments, providing secure storage during analysis and publishing of experiments so they can be linked to, searched, and integrated into other databases.
-
3
ontocomp
OntoComP is a Protégé 4 plug-in for completing OWL ontologies
OntoComP is a Protégé 4 plug-in for completing OWL ontologies. It enables the user to check whether an OWL ontology contains "all relevant information" about the application domain, and extends the ontology appropriately if this is not the case. It achieves this by asking the user questions of the form "are instances of classes C1 and C2 also instances of class C3?". If the user confirms such a question, then a new axiom of the application domain that does not follow from the ontology has... -
4
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. -
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.
-
5
music-barrel
Music juke box for Raspberry Pi, web/mobile inteface
...OGG, DSD Break down album FLAC/APE/WV upon CUE sheet Support search back, forward, skip in individual or list playback Displaying playback progress Show song/album artwork Research on net for song, album, artist details Adding new songs by uploading and other ways -
6
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.
-
7
“Scramble your social network data!” - With Scramble you can selective enforce you access control preferences for your content on social networks like Facebook or Twitter ...
-
8
Conceptpower
Conceptpower is an authority file service.
Conceptpower is an authority file service, which is based on WordNet 3.0 (http://wordnet.princeton.edu) and can be extended as needed. Each entry in Conceptpower is identified by an URI, which should be used to refer to a particular entry. Conceptpower has three parts: a public search function, a management component, and a basic REST interface. The public search function provides the user with basic search functionality. The management component provides a simple user management, and term... -
9
ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag
-
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.
-
10
TriageTools
Tools for partitioning and prioritizing fastq data
TriageTools is a collection of tools for partitioning raw data (fastq reads) from high-throughput sequencing projects. The tools are designed for basic data management as well for prioritizing analysis of certain subsets. The project wiki contains usage information. -
11
-
12
TuCSoN
TuCSoN tuple-based coordination middleware
TuCSoN (Tuple Centres Spread over the Network) is a tuple-based middleware for the coordination of distributed systems – including multi-agent systems, mobile agents and pervasive systems. -
13
HLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.
-
14
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 (<... -
15
OO7J is a Java version of the original OO7 benchmark (written in C++) from Mike Carey, David DeWitt and Jeff Naughton = Univ Wisconsin-Madison.The original benchmark tested ODBMS performance. This project also includes benchmarking ORM Tools
-
16
TreeBASE is a database and web front end that stores phylogenetic trees and the data matrices used to generate them. The current iteration comprises a complete rewrite of the schema and web layer, and will include a web services layer.
-
17
FALCON - Text Search Java Project
JSON based text search Java Project
----------------- - What is it? - ----------------- The "Falcon Search" is a JAVA API and tool to search inside the documents. It was originally started to search the content in pdf files under the project "HAWK Search". Searching with this tool is query-based not word-based as in most of the document search tools OR document readers. It also takes care of jumbling of words within query and spelling mistakes. Commonly used techniques in this project are Natural Language... -
18
Saferwater
Helping to improve drinking water safety where there isn't much.
This program helps the user risk assess the raw water quality, aids in determining optimum clarification and filtration, aids in developing an understanding of the disinfection process, and puts it together in an easy to follow HACCP plan, which identifies the critical barriers, monitoring and limits that should be applied to ensure a reduction in the raw water risk profile. The mitigated or residual risk profile is also given (i.e. assuming HACCP plan implementation) -
19
androidx86-openstack
Android virtual machines running on Openstack Clouds
...Instructons on how to create the image yourself: http://thisismyeye.blogspot.co.uk/2014/04/enabling-virtio-drivers-on-kernel-for.html This image is not perfect yet. Contributors are welcome! This work is done by Chathura Madhusanka Sarathchandra Magurawalage as a part of his research activities at Network Convergence Laboratory (NCL), University Of Essex Related Research Projects: *EU-funded FP7 Project MONICA (Mobile Cloud Computing: Networks, Services and Architecture). *EU-funded FP7 Project CLIMBER (Cross-Layer Investigation and Integration of Computing and Networking Aspects of Mobile Social Networks). ... -
20
Computing with units
Calculator that takes care of measurement units.
Java program for computations with values expressed in terms of physical or other units. Supports complicated mathematical expressions and user-defined functions. Invoked from scripts, line command, or as GUI. Extensive units data base. -
21
IRToolkit
IRToolkit
IRToolkit is an attempt to build and develop a generic search engine that integrates state-of-the-art Information Retrieval (IR) models. Furthermore, it offers a capability to compare the performance (in terms of precision, recall, index size, search response time and so on) between several open source IR applications. If you use the IRToolkit please cite the following work: https://sites.google.com/site/dinhbaduy/bibtex#Dinh-Phdthesis-2012 -
22
NIKS
NIKS (Needle in a K-stack) - detection of mutations in NGS data
To get access to the code, please check it out with svn as described in the code section. -
23
TakaTuka is an open source, highly portable Java Virtual Machine (JVM) for tiny embedded devices (e.g. motes) and wireless sensor networks. This project is available under GNU GPL version 3.
-
24
CReST
CReST: The Cloud Research Simulation Toolkit
The Cloud Research Simulation Toolkit (CReST) is a cloud computing simulation platform written in Java. -
25
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.
