Search Results for "note 4"

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

GraphiBuilder 1.0.1.9 version is released. Please note that the plugin is intended for 32-bit version of Notepad++ only. The "deriv" function is implemented. For example, the following formula: deriv ("sin x", "x", 0.01) draws derivative of "sin x" function graph using "x" as x variable. Third parameter is optional and specifies the accuracy. The latest version is powered by high-precision mode which makes calculation the overlaps much more accurate. Polar coordinate system max...

* GSA-SNP2 is a successor of GSA-SNP (Nam et al. 2010, NAR web server issue). GSA-SNP2 accepts human GWAS summary data (rs numbers, p-values) or gene-wise p-values and outputs pathway genesets ‘enriched’ with genes associated with the given phenotype. It also provides both local and global protein interaction networks in the associated pathways. * Article: SYoon, HCTNguyen, YJYoo, JKim, BBaik, SKim, JKim, SKim, DNam, "Efficient pathway enrichment and network analysis of GWAS summary data...

Library for continuous convex optimization in image analysis, together with a command line tool and Matlab interface. Implements several recent algorithms for inverse problems and image segmentation with total variation regularizers and vectorial multilabel transition costs. Also included is a suite for variational light field analysis, which ties into the HCI light field benchmark set and givens reference implementations for a number of our recently published algorithms. *** NOTE: ...

NOTE: as of April 24, 2015, libsharp development has moved to Github (https://github.com/dagss/libsharp). Libsharp is a collection of algorithms for efficient conversion between maps on the sphere and their spherical harmonic coefficients. It supports a wide range of pixelisations (including HEALPix, GLESP, and ECP). This library is a successor of libpsht (http://sourceforge.net/projects/libpsht). A scientific overview over the functionality is given in the paper available at...

NOTE: This project was moved to: https://github.com/eetorres The BPANNA is a flexible Back propagation neural network, which include the Conjugate Gradient and the Levenberg-Marquardt. You can change the number of inputs, number of layers, number of neurons per layer and outputs. It included an structure editor.

cuLsoda is an implementation of the Livermore Solver for Ordinary Differential Equations with Automatic switching for stiff and non-stiff problems (LSODA), written in NVIDIA's C for CUDA GPGPU API. NOTE: This repository is now deprecated and replaced by a new one at GitHub: https://github.com/Celemourn/cuLsoda

Console based notepad number cruncher makes calculations fast and simple, yet with ample features under the hood. With log turned on, you can record your session on-the-fly from any open instance of the program.

Nan.System.Platform v.1.1 (Beta) Platform-level utilities on .NET Framework 4.0 (C#) NOTE: Requires the MS Visual C++ Run-Time (msvcrt.dll).

FNA is a command line tool for creating and analyzing financial networks with concepts developed in social network analysis and network science. NOTE: the project has been moved to http://code.google.com/p/financial-network-analyzer/

A MATLAB package to simulate sample paths of the solution of a Itô or Stratonovich stochastic differential equation (SDE), compute statistics and estimate the parameters from data. 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...