Search Results for "unix tool windows"
Sort By:
94 programs for "unix tool windows" with 2 filters applied:
-
As your users rely more and more on Cloud and Internet-based technologies, reliable internet connectivity becomes more and more important to your business. With Bigleaf’s proven SD-WAN architecture, groundbreaking AI, and DDoS attack mitigation, you can finally deliver the reliable internet connectivity your business needs without the limitations of traditional networking platforms. Bigleaf’s Cloud Access Network and plug-and-play router allow for limitless control to and from anywhere your traffic needs to go. Bigleaf’s self-driving AI automatically identifies and adapts to any changing circuit conditions and traffic needs—addressing issues before they impact your users. Bigleaf puts you in the driver’s seat of every complaint and support call with full-path traffic and network performance data, delivered as actionable insights, reports, and alerts.
-
Don’t let unpaid invoices limit your business’s growth. EBizCharge plugs directly into the tools your business already uses to speed up payment collection.
-
1
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
-
2
GMAT
General Mission Analysis Tool
The General Mission Analysis Tool (GMAT) is an open-source tool for space mission design and navigation. GMAT is developed by a team of NASA, private industry, and public and private contributors. The GMAT development team is pleased to announce the release of GMAT version R2022a. For a complete list of new features, compatibility changes, and bug fixes, see the R2022a Release Notes in the Users Guide. -
3
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
4
calc: C-style arbitrary precision system
Calc: arbitrary precision C-like arithmetic & calculator
Calc is arbitrary precision C-like arithmetic system that is a calculator, an algorithm prototyper and mathematical research tool. Calc comes with a rich set of builtin mathematical and programmatic functions. -
Speedy Claims became the top CMS-1500 Software by providing the best customer service imaginable to our thousands of clients all over America. Medical billing isn't the kind of thing most people get excited about - it is just a tedious task you have to do. But while it will never be a fun task, it doesn't have to be as difficult or time consumimg as it is now. With Speedy Claims CMS-1500 software you can get the job done quickly and easily, allowing you to focus on the things you love about your job, like helping patients. With a simple interface, powerful features to eliminate repetitive work, and unrivaled customer support, it's simply the best HCFA 1500 software available on the market. A powerful built-in error checking helps ensure your HCFA 1500 form is complete and correctly filled out, preventing CMS-1500 claims from being denied.
-
5
STK
a Small (Matlab/Octave) Toolbox for Kriging
The STK is a (not so) Small Toolbox for Kriging. Its primary focus in on the interpolation / regression technique known as kriging, which is very closely related to Splines and Radial Basis Functions, and can be interpreted as a non-parametric Bayesian method using a Gaussian Process (GP) prior. The STK also provides tools for the sequential and non-sequential design of experiments. Even though it is, currently, mostly geared towards the Design and Analysis of Computer Experiments (DACE),... -
6
NZMATH
Python Calculator on Number Theory
NZMATH is a Python calculator on number theory. It is freely available and distributed under the BSD license. All programs are written only by Python so that you can easily see their algorithmic number theory. You can get NZMATH with a single command: % python -m pip install nzmath Here % is the command line prompt of Windows or Unix/macOS. This release contains several program corrections and additions obtained by writing a programming "notebook" of the book 'Lectures on Elementary... -
7
MLPACK is a C++ machine learning library with emphasis on scalability, speed, and ease-of-use. Its aim is to make machine learning possible for novice users by means of a simple, consistent API, while simultaneously exploiting C++ language features to provide maximum performance and flexibility for expert users. * More info + downloads: https://mlpack.org * Git repo: https://github.com/mlpack/mlpack
-
8
Dynamics Explorer
Dynamical systems research tool
Dynamics Explorer, (detool for short), is a program designed to let users explore dynamical systems, particularly focused on enabling mathematicians to improve the efficiency and quality of their research in the field of complex dynamics. -
9
ADaMSoft
Open Source and data mining software
ADaMSoft is a free and Open Source Data Mining software developed in Java. It contains data management methods and it can create ready to use reports. It can read data from several sources and it can write the results in different formats. -
Don’t settle when it comes to managing your clients’ IT infrastructure. Exceed their expectations with ConnectWise RMM, our MSP RMM software that provides proactive tools and NOC services—regardless of device environment. With the number of new vulnerabilities rising each year, smart patching procedures have never been more important. We automatically test and deploy patches when they are viable and restrict patches that are harmful. Get better protection for clients while you spend less time managing endpoints and more time growing your business. It’s tough to locate, afford, and retain quality talent. In fact, 81% of IT leaders say it’s hard to find the recruits they need. Add ConnectWise RMM, NOC services and get the expertise and problem resolution you need to become the advisor your clients demand—without adding headcount.
-
10
lpsolve
Mixed Integer Linear Programming (MILP) solver
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS -
11
Charting tools, backtesting tools, and data visualization tools for the most popular cryptocurrencies.
-
12
TimescapeGlobal
a space-time interpolation geostatistical tool
This software is a time-aware geostatistical tool. Including time variability adds further issues to the already complicated field of geostatistical interpolation. On the other hand, most of the distributions of variables used in Earth and environmental sciences show patterns of change over time, not only in space. This tool is a free, open-source software, based on a generalization of the Inverse Distance Weighted algorithm. It outputs three-dimensional, layered discrete models from which... -
13
PortOpt
A portfolio-optimizer using Markowitz(1952) mean-variance model
... portfolio. In order to minimise the variance it internally uses QuadProg++, a library that implement the algorithm of Goldfarb and Idnani for the solution of a (convex) Quadratic Programming problem by means of an active-set dual method. This solution is very efficient as it allows to solve hundred of thousand of portfolio problems in seconds. PortOpt runs as a text/console tool so it can be easily used in your own scripts. -
14
EDM Calibration Baseline Fitting
EDMFit is an adjustment tool to estimate EDM calibration parameters.
An EDM calibration baseline is used to derive specific instrument errors of the electronic distance measurement (EDM) unit of a total station. EDMFit is a simple adjustment tool to estimate the EDM calibration parameters (addition constant and/or scale parameter). The adjustment process is according to ISO 17123-4. The parameters are checked for significance, to avoid an overestimation. Based on two classical hypothesis testing, EDMFit provides a reliable outlier detection -
15
WOLFGANG
Editor for Petri nets
Wolfgang is a lightweight tool that allows users to easily create and edit Petri nets and check them against general and workflow specific net properties. Specifically, Wolfgang supports full PNML conform editing functionality of Place-Transition Nets (P/T-Nets) and Colored Petri Nets (CPN) as they are defined in the SEPIA package. Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. Use... -
16
A smorgasbord of C++ functions, classes and templates which are related to mathematics and might prove useful, e.g. DBSCAN clustering, Householder tridiagonalization, Eigenvalues and Eigenvectors of real symmetric matrices, Minimization, Fourier Transformation ...
-
17
msci
Mad Science
A bunch of miscillaneous scientific simulation projects not important enough to have their own project. Includes Gaspard-Rice chaotic scattering simulation, sea ice emissivity modelling, IDL library and any others I create or find kicking around. -
18
Moved to GitHub. This is the old, unmaintained source code. https://github.com/zet-evacuation A tool to model and simulate evacuation situations in buildings using flows on graphs and cellular automatons. It allows visualization of both models in OpenGL.
-
19
gsl-pt_BR
manual da gsl em pt-BR
Manual da Gnu Scientific Library em português do Brasil. O manual possui código fonte no formato texinfo. -
20
Immutable Sparse Wave Trees (WaveTree)
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Realtime bigdata tool at the bit level based on immutable AVL forest which can be run in memory or, in future versions, as a merkle forest like a blockchain. Main object is a sparse bit string (Bits) that efficiently scales up to 2^63 bits normally compressed as forest has duplicated substrings. Bits objects support reading bit, byte, short, int, or long (Java primitives) at any bit index in 64 bit range. Example: instead of building a class to hold a header and then data, represent all... -
21
Visual Integer Factor
Puzzle game demonstrating whats so hard about binary integer factoring
VisualIntFactor will be an interactive educational and scientific tool demonstrating multiply, factor, conversion between unary counting and binary integers, all in the same grid of hexagons. This grid is based on pascals triangle, which is a 1d cellular automata that calculates (X choose Y) factorials by each cell being the sum of the 2 cells upleft and upright. Draw a binary integer from a cell going upright, then explore the allowed transforms which may lead you to a factored state in 2... -
22
Belief Merger
A simple Belief Merging Prototype
Belief merging aims at combining several pieces of (possibly inconsistent) information coming from different sources. The goal is to produce a single consistent set of information, trying to keep the most of the information of the sources. A belief merging operator is the responsible for making the belief merging. With this tool you can compare the ΔΣ, ΔGMax and the Δps (PS-Merge) operators. -
23
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... -
24
coalescent
Software tool for Research in Computational Population Genetics
Development of exact and approximate methods (Importance Sampling and MCMC based) for computing likelihoods under the standard population genetic models of mutation,migration & recombination. Project issues are mainatined at https://freecode4susant.atlassian.net/browse/COALESCENT -
25
DeDAY
MLE survival analysis: Gompertz, Weibull, Logistic and mixed morality.
DeDAY (Demography Data Analyses) is a tool of analyzing demography data. It supports Gompertz, Weibull and Logistic distributions. DeDay also supports mixed mortality models based on these distribution such as the Gompertz-Makeham distribution. Distributions such as Gompertz describes only age-dependent mortality, which increases over time. Mixed mortality models, such as in Gompertz-Makeham distribution, consider a more general case where mortality is consist of both age-dependent...