... lazy bytestrings · regular, and inductive graphs · finite maps · patricia tries · sets · fingertrees (as Data.Sequence) · mutable references · mutable hashtables · dynamic types · weak and stable references Debugging and Testing: · tracing and debugging · HUnit unit testing · QuickCheck test generation · HPC ...

... lazy bytestrings · regular, and inductive graphs · finite maps · patricia tries · sets · fingertrees (as Data.Sequence) · mutable references · mutable hashtables · dynamic types · weak and stable references Debugging and Testing: · tracing and debugging · HUnit unit testing · QuickCheck test generation · HPC ...

... lazy bytestrings · regular, and inductive graphs · finite maps · patricia tries · sets · fingertrees (as Data.Sequence) · mutable references · mutable hashtables · dynamic types · weak and stable references Debugging and Testing: · tracing and debugging · HUnit unit testing · QuickCheck test generation · HPC ...

... Low Shelf Filter, Notch Filter, Peak EQ Filter, Finite Impulse Response Filter); Record an audio file from a microphone or from other input device; Play an audio file or any part of it; Convert an audio file from one format to another. ALO Audio Editor supports audio format of uncompressed ...

... pages. Allows you to configure: random or a finite number of visits, the order of enumeration proxy, manual or automatic switching to a different page, add a mouse click (up to 3 presses) Change in number of streams. Limit the response from the proxy. The program also allows you to ...

... programs for the post-processing of Nastran or Samcef finite element results. The library is distributed as a ... used to automate the post-processing of structural analysis finite element results. Since september 2008, FeResPost is also ... FeResPost and allow to post-process very efficiently composite finite element Results. Furthermore, FeResPost also allows the ...

QuickField is a Finite Element Analysis package for electromagnetic, thermal, and stress design simulation with coupled multi-field analysis. Student QuickField is a free but full-featured analysis program with limited number of mesh nodes. You can use it to simulate simple engineering problems, to learn the main features of the Professional ...

... on the Wave Digital method, leading to explicit finite difference schemes with superior stability properties. ...

... mathematical modelling environment that allows the application of finite element analysis, boundary element and collocation techniques to a variety of complex bioengineering problems. It consists of a number of modules including a graphical front end with advanced 3D display and modelling capabilities, and a computational backend that may be run ...

... 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 software by the FSF. All of its parts including documentation, implementations of global constraints, and examples are ...

... 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 software by the FSF. All of its parts including documentation, implementations of global constraints, and examples are ...

... 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 software by the FSF. All of its parts including documentation, implementations of global constraints, and examples are ...

... 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 software by the FSF. All of its parts including documentation, implementations of global constraints, and examples are ...

... of displacements of the structure in nodes of finite-element mesh; - field of strain; - field components of the stress; - energy of deformation; - reaction forces; - field distribution of safety factor; This information is usually sufficient to predict the behavior of structures and make a decision how to ...

AutoFEM Analysis Lite is a free system of finite-element analysis. The main feature of the system is ... AutoCAD gets possibility to solve the problems of finite-element modeling of various physical phenomena: - static and ... without leaving AutoCAD, user creates a problem of finite-element analysis so called as a "Study". The model ...

AutoFEM Analysis is the finite element analysis software. The main feature of the ... gets a possibility to solve the problem of finite-element modeling of various physical phenomena: Static analysis (analysis ... AutoCAD, the user should create the problem of finite element analysis, referred to as the Study. The ... systems of algebraic equations in accordance with the finite element method. With the help of an AutoFEM ...

... matrices, and polynomials over the integers and over finite fields. NTL provides high quality implementations ... 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. ...

... matrices, and polynomials over the integers and over finite fields. NTL provides high quality implementations ... 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. ...

... a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog ... Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming. Features ...

... a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog ... Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming. Features ...

... a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog ... Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming. Features ...

... a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog ... Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming. Features ...

... methods and over 15 events. - Forward and finite capacity scheduling with 5 user variables - Load ... to match logic links and setups - Combined finite capacity and infinite capacity resource management - Open/Save of the gantt projects without writing any code - Flow chart management (Pert like logical links) ...

... formatted text; - orientation: horizontal or vertical; - finite and infinite animation types; - background and shade properties; - other options in the Live Demo. ...

... - types of scroll available for auto play: finite and infinite; - other features available in Live Demo. ...