ePrivacy and GPDR Cookie Consent by Cookie Consent

Gecode x64 4.4.0 The Gecode Team    

... 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 with Gecode. free Gecode is distributed under the MIT license and is listed as free .... Free download of Gecode x64 4.4.0

Gecode for Mac OS X 4.4.0 The Gecode Team    

... 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 with Gecode. free Gecode is distributed under the MIT license and is listed as free .... Free download of Gecode for Mac OS X 4.4.0

Gecode for Linux 4.4.0 The Gecode Team    

... 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 with Gecode. free Gecode is distributed under the MIT license and is listed as free .... Free download of Gecode for Linux 4.4.0

Gecode 4.4.0 The Gecode Team    

... 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 with Gecode. free Gecode is distributed under the MIT license and is listed as free .... Free download of Gecode 4.4.0

Qfsm 0.54 Stefan Duffner    

Qfsm 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 ... in the formats: EPS, SVG, and PNG * State table export in Latex, HTML and plain text .... Free download of Qfsm 0.54

EngiLab Beam.2D 2014 2.0.5032.1250 EngiLab    

... (GUI) for pre-processing or post-processing and uses the Finite Element Method (FEM) for plane frames for its ... of the Model and also draw the Deformed state of the Model. .... Free download of EngiLab Beam.2D 2014 2.0.5032.1250

AutoFEM Forced Oscillations Analysis 1.7 AutoFEM Software LLP    

... of a shaft or spindle in the unbalanced state on elastic supports may serve an example of harmonic compelling force. Kinematic excitation is applied when values of compelling forces are not known, in contrast to amplitudes of oscillations of some structure elements which are known. When considering forced oscillations, it .... Free download of AutoFEM Forced Oscillations Analysis 1.7

AutoFEM Buckling Analysis 1.7 AutoFEM Software LLP    

... 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 equilibrium states that are displayed in the window Postprocessor after .... Free download of AutoFEM Buckling Analysis 1.7

AutoFEM Thermal Analysis 1.7 AutoFEM Software LLP    

... 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; - time-dependent thermal conductivity - the calculation of temperature fields of construction is dependent on the time, that is, temperature .... Free download of AutoFEM Thermal Analysis 1.7

AutoFEM Static Analysis 1.7 AutoFEM Software LLP    

... Static Analysis provides the calculation for the stress state of structures under forces which are constant in ... account the geometric non-linearity; - determine the stress-strain state of temperature effect; - perform calculations of contact ... of displacements of the structure in nodes of finite-element mesh; - field of strain; - field components .... Free download of AutoFEM Static Analysis 1.7

Mallet for Mac OS X 2.0.7 Andrew McCallum    

... methods are implemented in an extensible system for finite state transducers. Topic models are useful for analyzing large collections of unlabeled text. The MALLET topic modeling toolkit contains efficient, sampling-based implementations of Latent .... Free download of Mallet for Mac OS X 2.0.7

Mallet for Windows 2.0.7 Andrew McCallum    

... methods are implemented in an extensible system for finite state transducers. Topic models are useful for analyzing large collections of unlabeled text. The MALLET topic modeling toolkit contains efficient, sampling-based implementations of Latent .... Free download of Mallet for Windows 2.0.7

NTL for Linux 5.5.2 Victor Shoup    

... 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, ... Korkin-Zolotarev; * basic linear algebra over the integers, finite fields, and arbitrary precision floating point numbers. .... Free download of NTL for Linux 5.5.2

software pick   

NTL for Windows 5.5.2 Victor Shoup    

... 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, ... Korkin-Zolotarev; * basic linear algebra over the integers, finite fields, and arbitrary precision floating point numbers. .... Free download of NTL for Windows 5.5.2

software pick   

finite state web results