Search Results for "gnu-efi" - Page 60
Sort By:
Showing 3310 open source projects for "gnu-efi"
View related business solutions-
$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.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
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.
-
2
OpenOffice.org extension for creation and editing of chemical structures embedded into OOo documents
-
3
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
-
4
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.
-
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.
-
5
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.
-
6
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.
-
7
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.
-
8
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.
-
9
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.
-
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
Simple application for wireless (Bluetooth) LEGO NXT robots controlling (First pre-alpha release will be uploaded at the end of February)
-
11
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.
-
12
Photo Geo-Tagging application for easily adding GPS coordinates to EXIF based images.
-
13
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 .
-
14
-
15
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.
-
16
-
17
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
-
18
InGen is a java-based tool that automatically extracts keywords from a given LaTeX-Document and creates an index for those keywords.
-
19
AmazonTP is a GUI and API for automatic generation of power quality events by invoking the popular ATP (Alternative Transient Program).
-
20
-
21
Informarion extraction model for Java, supporting macros and named backreferences in regular expressions.
-
22
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.
-
23
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.
-
24
A Cytoscape Plug-in Project to Predict transcription states of genes in a Biological Network based on a Bayes Network model
-
25
Symbiomotive is an extensible engine for modeling multi-agent environments that exhibit self-organizing, symbiotic behaviors.
