Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform.
Geographic restrictions, eligibility, and terms apply.
Get started with Nexo.
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
PhenoFam is a web-based application that performs gene set enrichment analysis (GSEA) by employing structural and functional information on families of protein domains as annotation terms.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.
PhyloPattern is a Java/Prolog API, helpful to simulate human reading of phylogenetic trees. Bioinformatician can: annotate trees, apply complex patterns to a tree to search specific architectures or extract information, compare trees with dynamically gen
To help math students visualize the prufer code and/or discover anything new about the prufer code not already present. Examples and live applet on webiste.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB 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.
Seems to be closely related to Cellular automaton, except this creates a complex pattern from a mathematical function you input. See website for examples/live applets. This program makes use of an old GPL version of the JEP equation parser.
Graph polynomials and view prime numbers on a ulam spiral graphing plot. Only integer numbers. Based on an old GPL version of the JEP equation parser. See website for additional examples/live applets Seems to be closely related to Cellular automaton.
A graphical MatLab framework for estimating the parameters of, modeling and simulating static and dynamic linear and polynomial systems in the errors-in-variables context with the intent of comparing various estimation strategies.
The project "Sippie" is an additional tool for automatically converting Wireshark-Traces to XML - scenarios, which can be easily used as infile for the OpenSource SIPp test tool and traffic generator.
Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure
Native application identity and user-based security for your Azure cloud
Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
Program described in the paper: MUDE: A new approach for optimizing sensitivity in the target-decoy
search strategy for large-scale peptide/protein identification, 2010.
By Cerqueira, Fabio; Graber, Armin; Schwikowski, Benno; Baumgartner, Christian.
Blogspread is an open platform for the developmend of applications that analyze data from websites like blogs and forums. Blogspread is jointly developed by the University of Mannheim, Germany, the UFPE, Recife, Brasil and the UFAL, Maceio, Brasil.
UbikSim is an infrastructure to study complex AmI (Ambient Intelligence) applications which involve a large number of users. It is a MABS (multi-agent based simulation) programmed in MASON and aims to be as descriptive as possible.
UCML: Ubiquitous Control Modeling Language for Android Platform; is an XML-based language aiming at utilizing the local resources of smart handheld devices. Develop and execute ubiquitous control applications depend on Sensors, Condition, Response .
HealthAgents is an open source web-based distributed decision support system (DSS)
which provides hospitals and organisations with a reliable tool to aid in the diagnosis of brain tumours and their prognosis aiming to avoid invasive surgical
procedures
TaxonFinder is an application that annotates taxon found in literature. The application harnesses a hybrid algorithm that is necessarily a combination of morphological analysis, dictionary lookup and Levenstein Distance algorithm.
Maui is a multi-purpose automatic topic indexing algorithm. Given a document, Maui automatically identifies its topics. Depending on the task topics are tags, keywords, keyphrases, vocabulary terms, descriptors or Wikipedia titles.