Search Results for "state-thread"
Sort By:
24 projects for "state-thread" with 2 filters applied:
-
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.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain 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.
-
1
-
2
Perceptron
The birth of modern video feedback art.
...Perceptron * recursively transforms images and video streams in realtime and produces a combination of Julia fractals, IFS fractals, and chaotic patterns due to video feedback * evolves geometric patterns into the realm of infinite details and deepens the thought * records animations (movies) * saves and opens presets (state files) * loads user photographs or captures screen and webcam input * has user interface based on multiple mouse cursors, and almost the entire keyboard * has multiple windows and fullscreen mode * takes complex geometric transforms as input * applies numerous coloring techniques * smoothly transforms fractals and creates endless psychedelic journeys * resonates with the human perception Visit the Perceptron home page at http://perceptron.sourceforge.net -
3
Numerics for Chemical Engineering
Numerical models for chemical and process engineering
NCE Calculation Framework is a library of routines, models and data applicable to chemical and process engineering calculations, written in Java. -- NEW -- www.chesolver.com *ONLINE CALCULATORS*. A set of solvers to perform calculations consistently on any device, from smart-phone to desktop. The project includes the following ready to use software all based on the same core library: * Online Calculators at www.chesolver.com * Extensions for Libreoffice/Openoffice Calc... -
4
JDistlib
Java library of statistical distribution
A Java package that provides routines for various statistical distributions. Based on R version 2.14.1 (continuously updated; current as of R v3.3.0). The major difference is that JDistlib is thread safe. The library contains the density (pdf), cumulative (cdf), quantile, and random number generator (RNG) routines of the following distributions: Ansari, Beta, Binomial, Cauchy, Chi square, Exponential, Fisher's F, Gamma, Geometric, Hypergeometric, Kendall, Logistic, Log normal, Negative binomial, Noncentral beta, Noncentral chi square, Noncentral f, Noncentral t, Normal, Poisson, Sign Rank, Spearman, Student's T, Tukey, Uniform, Weibull, Wilcoxon, and many more. ... -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
5
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. ... -
6
A reworking in C++ of KBMAG. A package and C++ library for computing automatic structures and confluent rewriting system for group and coset rewriting systems, and for computing with finite state automata
-
7
MOEA Framework
A Free and Open Source Java Framework for Multiobjective Optimization
The MOEA Framework is a free and open source Java library for developing and experimenting with multiobjective evolutionary algorithms (MOEAs) and other general-purpose multiobjective optimization algorithms. The MOEA Framework supports genetic algorithms, differential evolution, particle swarm optimization, genetic programming, grammatical evolution, and more. A number of algorithms are provided out-of-the-box, including NSGA-II, NSGA-III, ε-MOEA, GDE3 and MOEA/D. In addition, the MOEA... -
8
xorlisp
Bit level lambda continuations and nothing else - Queue automata
...The stack is a linked list of pair of true or false and object pushed on the stack. The queue is also such a linked list but is paired oppositely so previous queue state goes on the left and next object queued on the right of the new pair, so when the queue is navigated in sequence of that astronomically long bitstring (thats exponential of reusing objects in the acyclicNet), the Nav32 (using linearForward and treeForward for random access) first sees the oldest object queued -
9
Visual Integer Factor
Puzzle game demonstrating whats so hard about binary integer factoring
...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 dimensions, from the lowest digit of the 2 odd integers both upright and upleft, its factors, and in the 2d space they are rectangle edges of, those pixels/digitbits must be on when there is an on bit somewhere downleft and downright after crossing empty cells, but if it finds either whole diagonal row empty then it must also be empty/zerodigit. ... -
$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.
-
10
QPNet
Synchronous Petri Nets' emulator
QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension. QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать. -
11
abc-sde
approximate Bayesian computation for stochastic differential equations
...It performs approximate Bayesian computation for stochastic models having latent dynamics defined by stochastic differential equations (SDEs) and not limited to the "state-space" modelling framework. Both one- and multi-dimensional SDE systems are supported and partially observed systems are easily accommodated. Variance components for the "measurement error" affecting the data/observations can be estimated. A 50-pages Reference Manual is provided with two case-studies implemented and discussed. The methodology is based on the research article available at http://arxiv.org/abs/1204.5459 Author's research page is http://www.maths.lth.se/matstat/staff/umberto/ -
12
SAC - Symbolic Analysis and Control
CAS routines for theoretical analysis of nonlinear time-delay systems
SAC (Symbolic Analysis and Control) is a toolbox for people working in control theory. It will help to the analysis and synthesis of nonlinear systems described by state equations (with or without delays). -
13
ViennaFEM
A finite element solver using state-of-the-art programming techniques.
ViennaFEM is a library-centric implementation of the finite element method in C++. It features a symbolic math kernel, which manipulates the strong or weak form of the problem and automatically derives the discrete form. ViennaFEM is built on top of the following libraries: ViennaMath provides the symbolic math kernel, ViennaGrid (with ViennaData) allows for a generic grid handling and quantity storage, while ViennaCL provides the linear solvers and GPU acceleration. -
14
A MATLAB toolbox for time series analysis using state space models. Supports fully interactive model construction with MATLAB objects and efficient Kalman filter backend implemented in c.
-
15
FSMPP is a library providing a simple, lite and intuitive framework for building Finite State Machines in C++.
-
16
Fractals explorer which using GCC or my own evaluator for formulas compiling. Also QFractals support biomorphs colouring.
-
17
superseded by SgpDec http://sgpdec.sf.net Java implementation of the holonomy algorithm for the algebraic hierarchical decomposition of finite state automata.
-
18
The EconoMind is a utility that simulates the economy of a city, state, country, or planet at a specific level of technological development. It runs behind the scenes and provides supply, demand, and other information for games and other projects.
-
19
...A note of caution: SDE Toolbox is no more developed but it's still downloadable. Its inferential capabilities can be considered surpassed (at best). Actually the parameter estimation methods were already far from the state-of-art when the project began in 2007 (!). The considered implemented parametric and non-parametric Monte Carlo likelihood methods were chosen for their ability to treat both one-dimensional and multivariate SDE systems, although the quality of the inferential results can't match those obtained using more advanced techniques. Nevertheless the toolbox capabilities to simulate numerical solutions of SDE systems are still valid and can serve as a useful starting point to those willing to simulate stochastic dynamical models easily.
-
20
Platform independend, multithreaded fractal generator. Fine control over thread/CPU usage; unlimited precision; smooth/random/function coloring; supports color map files (over 1600 available); many image file formats. For any Java 1.5+ (32/64 Bit) VM.
-
21
Demetrix is a Java-based process modelling system. The goal of the project is to develop a flexible framework for managing complex process models using Petri-Net-oriented methodologies (state-task networks and resource-task networks).
-
22
JREC is a framework for building finite state automatons from regular expressions based on a general grammar.
-
23
A hybrid system simulation language similar to SHIFT and Lambda-SHIFT, written in Ruby and C. Combines numerical integration, state machines, and the breezy power of Ruby. To install: get ruby and then "gem install redshift".
-
24
Glucas is a client to make primality test for Mersenne numbers. It is related to GIMPS effort to search the bigest primes ever found. In addition, it can be used as an excellent performance test. Posix thread, OpenMP and SunMP compatible
- Previous
- You're on page 1
- Next
