Search Results for "b-processor"

Basic (mathematical) operations for B-spline functions and related things with Julia.

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

...Meijer and B. Sautois, MCMDS 2008, Vol. 14, No. 2, pp 147-175 In case you're stuck, use the forum, but to get a good answer provide: 1. What command do you give when this appears? Provide the exact steps. Stating "no convergence" is not enough. 2. Most procedures are explained in the Tutorials. There is a manual with detailed descriptions of the data.

* 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...

A coupled dual porosity Stokes model implemented with FEniCS. References: 1. C. Douglas, X. Hu, B. Bai, X. He, M. Wei and J. Hou, "A Data Assimilation Enabled Model for Coupling Dual Porosity Flow with Free Flow," 2018 17th International Symposium on Distributed Computing and Applications for Business Engineering and Science (DCABES), Wuxi, 2018, pp. 304-307. doi: 10.1109/DCABES.2018.00085 2. Hu X., Douglas C.C. (2019) An Implementation of a Coupled Dual-Porosity-Stokes Model with FEniCS. ...

A spring-based 3D graph layout tool written in Java. Rendering is performed in OpenGL via the JOGL library.

Software modificable para transformar matrices de tres columnas [A (grupo 1), B (grupo 2) y C (conexiones entre nodos de ambos grupos)] a matrices completas y simétricas.

...showing win or fail of each eqn and solving other sawtooth intersections is possible, due to that. crAll2@crtwo provides n soln near x for CR using width of soln crchart3 shows sawtooth CR waves and visible soln align1: solves i m2 == j m2 + b -> {i,j,dist} (like PowerMod->i but b is any and gcd(m1,m2) not req.) other funs: Euclidians, showFactors, changeBaseArr, caesar, rsa, inverseMod, IntToModTups (large number math for PC's) crfindnSolnAfterxInEqm (solve saw wave LL,RL,LR,... intersects) congruence, plots, y-shifted triangular wave solve, testing (for historic reasons files are also in https://sourceforge.net/projects/periodictablemm/)

...However, currently there are no genetic analysis software packages that allow users to fully utilize the computing power of these multi-core devices for genetic interaction analysis for binary traits. Here we present a novel software package GENIE, which utilizes the power of multiple GPU or CPU processor cores to parallelize the interaction analysis. Citation: Chikkagoudar, S., Wang, K., & Li, M. (2011). GENIE: a software package for gene-gene interaction analysis in genetic association studies using multiple GPU or CPU cores. BMC research notes, 4(1), 158.

Semantic query optimization (SQO) is the process of finding equivalent rewritings of an input query given constraints that hold in a database instance. We present a Chase & Backchase (C&B) algorithm strategy that generalizes and improves on well-known methods in the field. The implementation of our approach, the pegasus system, outperforms existing C&B systems an average by two orders of magnitude. This gain in performance is due to a combination of novel methods that lower the complexity in practical situations significantly.

This is a small R package for doing Weibull-based reliability analysis. This R package is now obsolete and has been superseded by 'project Abernethy' on http://r-forge.r-project.org/projects/abernethy/.

.... <<<< OLD SUMMARY >>>> A Fortran 95 implementation of an algorithm for generating derivative structures of a parent lattice. The algorithm is discussed in detail in: Gus L. W. Hart and Rodney W. Forcade, "Algorithm for generating derivative structures," Phys. Rev. B 77 224115 (26 June 2008) http://msg.byu.edu/papers/GLWHart_enumeration.pdf Gus L. W. Hart and Rodney W. Forcade, "Generating derivative structures from multilattices: Application to hcp alloys," Phys. Rev. B 80 014120 (July 2009) http://msg.byu.edu/papers/multi.pdf Gus L. W. Hart, Lance J. Nelson, and Rodney W. Forcade, "Generating derivative structures at a fixed concentration," Comp. ...

A library analog to those included in Matlab without the need of external libraries; just right for embedded or static linking. MTL was used to build a 3d Scanner. MTL consists of pars B - Basic Functions, Matrices, Images, Hypermodels (3d Models and up) N - Numeric Functions ranging from linear regression over nonlinear optimization to singular-value computation I - Image filters and Image enhancement H - Hardware related (optional part), does require additional libraries and is only useful on certain hosts. G - Hyper-Model functions such as ray-plane intersections etc.

This emulator is capable of providing a faithful replication of the HP48. It also has a debugger for the saturn processor.

Algorithms that optimally & efficiently map atomic reactions. See 1) Atomic Reaction Mapping {Crabtree: amazon, b&n} 2) J. of Exp. Algorithmics, Vol 13 {Crabtree, Mehta} 3) J. Chem. Inf. Model., 2010, 50 (9), pp 1751–1756 {Crabtree, Mehta, Kouri}.

Software made available by the Residual Analysis blog, primarily having to do with anthropogenic global warming, e.g. GHCN Processor.

...It computes all solutions for a triangle specified by combination of sides, angles, altitudes, medians, angle bisectors, area, radius of circumscribed and inscribed circle, sum a+b, perimeter and difference of alpha-beta.

This is a simple program that will factor a quadratic trinomial using both "guess-and-check" and the quadratic formula. You input a, b, and c, where ax^2+bx+c=0; you will get a result in the form of (ax+b)(cx+d)=0 and x=a or x=b.

Source code for the paper J. Keiner and B. Waterhouse. Fast Principal Components Analysis method for finance problems with unequal time steps. In P. L'Ecuyer and A. B. Owen, editors, Monte Carlo and Quasi-Monte Carlo Methods 2008, Springer Verlag, 2010

Lightweight matrix lib, especially good for micro-blaze or other embedded processor which needs to do matrix operations. Supports Add, Subtract, Multiply, Transpose, and Invert (Cholesky Method). Compiles to 15kbs using -0s and is ISO C compliant.

TaDaPro is a command-line utility to operate with numerical column tabulated data. It is intended for operations that are cumbersome to do by hand in a spreadsheet, and for transformations that have to be applied as a batch process on many files.

http://ewi.utwente.nl/~biorange/rshell - The RShell project is a plugin for the Taverna workflow system. It enables one to execute R scripts within the Taverna workflow system. The RShell processor is built on the RServe project. For more info:

This is a hybrid Matlab-Mathematica package for the numerical/pointwise and symbolic/explicit (as a piecewise polynomial) calculation of the B-Spline supported on a given 2D domain.

Little b is a Lisp-based language which allows scientists to build shareable, reusable mathematical models of complex systems based on shared parts. The initial focus is molecular and multicellular networks. Project web page: http://www.littleb.org

Expression4J (Math Expression Parser) is a java framework used to manage mathematic expression stored in String object like "f(x,b)=2*x-cos(b)" or "g(x,y)=f(y,x)*-2". Expression gramar can be define by user (add new operator or type ...)