Search Results for "alpha linux" - Page 2
Sort By:
Showing 211 open source projects for "alpha linux"
View related business solutions-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
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
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.
-
3
A math application written in Java. Its features include 2D and 3D graph plotting, scripting, user-defined variables and functions and skinnable GUI. This project is not maintained at the moment.
-
4
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. -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
5
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. -
6
LExAu: Learning Expectations Autonomously. Library for on-line data driven statistical machine learning.
-
7
java-numbers
A library for working with various complex numbers in Java.
Java-Numbers is a library for working with complex numbers of arbitrary precision in Java. Currently I have implemented Rational, which describes rational numbers in vulgar form. For example instead of 1/3 becoming the irrational 0.3333..., it remains 1/3, and so operations on it result in what was intend, i.e. (1/3) * (3) = 1, and not 0.3333... * 3.0 = 0.9999... -
8
-
9
Octclipse
Octave Eclipse GUI
Octave development environment built upon Eclipse's Dynamic Languages Toolkit (http://www.eclipse.org/dltk/). Distributed as an Update site for Eclipse 3.7 Indigo and Indigo-based package for several platforms. Supports search, autocompletion, launching scripts, interactive console, debug and integrated plotting on Octave versions 3.2.x, 3.4.x and 3.6.x. The current goal is to make it running out-of-box on multiple platforms. Currently only Linux and Windows are supported. Mac... -
Our Free Plans just got better! | Auth0You 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.
-
10
Bayesian Network tools in Java (BNJ) is an open-source suite of software tools for research and development using graphical models of probability. It is published by the Kansas State University Laboratory for Knowledge Discovery in Databases (KDD).
-
11
The Java Astrodynamics Toolkit is a library of components to help users create their own application programs to solve problems in astrodynamics, mission design, spacecraft navigation, guidance and control using Java or Matlab.
-
12
Maket is a instrument for building knowledge bases for economics domains. The project has moved to http://gitorious.org/maket
-
13
This project provides a set of libraries written in Java to easily manipulate Multi-Criteria Decision Aid (MCDA) concepts, especially related to outranking methods, and XMCDA files.
-
14
jLab est une plate-forme scientifique destinée à être l'outil de travail privilégié des étudiants, enseignants, ingénieurs, scientifiques et chercheurs. jLab est totalement modulaire et facilement extensible via un système de modules
-
15
nebular
Pure Java Fuzzy API
Nebular is a fuzzy logic API written in Java. It is written in pure Java and comprehends fuzzy logic, fuzzy sets and operations, fuzzy control, decision support, type 2 fuzzy logic and type 2 fuzzy intervals. -
16
Set Theory Relations in Java
Java classes implementing set theory relation concepts
Simple java classes implementing basic concepts of relations as defined in set theory. A relation is a set of ordered pairs. A relation can have properties, including that it is reflexive, symmetric, or transitive. The classes enable some ordered pairs to be stated, and will deduce all the other related ordered pairs implied by the relation's properties. There are implementations of transitive, reflexive-and-transitive, and symmetric-reflexive-and-transitive (equivalence) relations using... -
17
Gavrog stands for "Generation, Analysis and Visualization of Reticular Ornaments using Gavrog". It is a Java library together with a suite of interactive applications for the study of periodic net-like structures in space and their applications.
-
18
Muminav started as a high specialized software component. It should be used in a project named Mumie (see project website for more info).Now it is an applet for displaying visual graphs of all kinds:<br> <br> UML, flowchcharts, E/R , genealogical trees
-
19
A program for exploring complex functions, much like the now out-dated f(z). Domain colored plots of complex functions. Click evaluate. Uses reflection so you can code almost anything for your formula. All java. Please help.
-
20
knowceans
Utility classes from maps to search engine to random samplers
Collection of several multi-purpose Java libraries. --- knowceans-tools = collection of Java utility classes. --- Highlights: --- org.knowceans.util: IndexQuickSort, TableList: apply order of one array/list to others +++ Vectors, ArrayUtils: array convenience +++ RandomSamplers, CokusRandom, ArmSampler, Densities: random sampling and distributions +++ Arguments: command line parser +++ StopWatch, Which, ExternalProcess: runtime stuff +++ ParallelFor: OpenMP workalike +++ PatternString,... -
21
Sistema de reconocimiento de voz usando CMU Sphinx-4 y un modelo acústico basado en el corpus de VoxForge en español y gramáticas en JFlex y BYACC/J para el dictado en habla casi natural para la escritura de expresiones matemáticas.
-
22
Geom4J is a computational geometry library for Java. It contains implementation of the most important computational geometry data structures and algorithms coded in pure Java, designed for ease of use and optimized for performance.
-
23
HcryptoJ (Historical cryptology in Java) is a Java based programming library for implementing and analyzing historical ciphers. HcryptoJ is designed to support research and teaching in historical cryptography and computer science. Licensed under GPL.
-
24
-
25
The final build of this software now is distributed in R, embedded in "RedeR': an R/Bioconductor package for hierarchical and nested network analysis... more about RedeR: http://bioconductor.org/packages/2.9/bioc/html/RedeR.html
