finite state downloads
Qfsm
0.54 downloadQfsm is a graphical editor for finite state machines written in C++ using Qt the graphical Toolkit from Trolltech. Finite state machines are a model to describe complex objects or systems in terms of the states they may be in. In practice they can ...
AutoFEM Thermal Analysis
1.7 download... Thermal Analysis the heat conduction problem has two statement: - steady-state thermal conductivity - the calculation of the steady (stationary) temperature fields of structures under the applied thermal boundary conditions; ...
AutoFEM Buckling Analysis
1.7 download... can determine the number of forms of equilibrium states to be determined and other parameters of the ... mode) is a shape of the equilibrium steady state corresponding to a certain critical load. Forms of ...
Gecode
4.4.0 download... and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is: ... programmed at the same level of efficiency as finite domain and integer set variables that come predefined ...
Gecode x64
4.4.0 download... and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is: ... programmed at the same level of efficiency as finite domain and integer set variables that come predefined ...
Gecode for Mac OS X
4.4.0 download... and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is: ... programmed at the same level of efficiency as finite domain and integer set variables that come predefined ...
Gecode for Linux
4.4.0 download... and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is: ... programmed at the same level of efficiency as finite domain and integer set variables that come predefined ...
NTL for Windows
5.5.2 download... matrices, and polynomials over the integers and over finite fields. NTL provides high quality implementations of state-of-the-art algorithms for: * arbitrary length integer arithmetic ... arithmetic; * polynomial arithmetic over the integers and finite fields including basic arithmetic, polynomial factorization, irreducibility testing, ...
NTL for Linux
5.5.2 download... matrices, and polynomials over the integers and over finite fields. NTL provides high quality implementations of state-of-the-art algorithms for: * arbitrary length integer arithmetic ... arithmetic; * polynomial arithmetic over the integers and finite fields including basic arithmetic, polynomial factorization, irreducibility testing, ...
ForeStock
1.3 download... Balance Forecasting algorithms: ARIMA with expert model fit, Finite State Markov Automation, Finite impulse response neural network, Multivariate Stepwise Regression, Linear ...
SSD Fresh
2025 (v2025.14.0) download... SSD. Unlike traditional hard drives, SSDs have a finite number of write cycles. SSD Fresh intelligently reduces the number of write operations, thereby prolonging the life of your drive. This ...
Mallet for Windows
2.0.7 download... methods are implemented in an extensible system for finite state transducers. Topic models are useful for analyzing ...
Mallet for Mac OS X
2.0.7 download... methods are implemented in an extensible system for finite state transducers. Topic models are useful for analyzing ...