Added: August 24, 2010 | Visits: 628
Lambda project is a Lambda calculus interpreter. It reduces lambda expressions and converts them into the S, K, and I combinators (ext). It has the ability to associate names with lambda expressions (def), load definitions from a file (load), and list current definitions (list). Lambda...
Released: October 26, 2012
Added: October 26, 2012 | Visits: 354
Lambda Animator is designed as an accessible and handy application that can be used for demonstrating and experimenting with alternative reduction strategies in the lambda calculus.
Eager languages reduce arguments before function application. Lazy languages reduce arguments, if needed, after...
Released: August 08, 2012
Added: August 08, 2012 | Visits: 387
Lambda Expression Parser is a handy and useful expression parser for parsing dynamical expression string to lambda expression.
The component can perform math, logical and bit-wise calculations. Get Lambda Expression Parser and take it for a spin to see what it can actually do for you!
Added: August 18, 2013 | Visits: 319
[alpha,delta] = eclip2equat(lambda,beta) returns the right ascension and declination in the equatorial coordinate system corresponding to the longitudinal and latitudinal coordinates in the ecliptic coordinate system (lambda and beta).[lambda,beta] = equat2eclip(alpha,delta) returns the...
Added: July 05, 2013 | Visits: 259
This function will calculate the wavelength of a given frequency. By default the program will presume the entered value is in MHZ. However if you want to enter a frequency in another scale you also have the option to enter the scaling parameter as well (khz,mhz, or ghz).function...
Added: May 20, 2013 | Visits: 196
Because the Lambda-Physik FL3001 and FL3002 tunable dye lasers are old, they require a protocol that is now outdated. This package includes a stand-alone version of the GPIB dll file interface to a GPIB board, and a set of m-file wrappers to the dll file. This .zip also contains m-files that use...
Added: September 09, 2013 | Visits: 280
GAUSSian REALIZation of a random variable with standard deviation sigma and correlation length lambda
Released: July 19, 2014
Added: July 19, 2014 | Visits: 149
The Lambda Chi Alpha Recruitment Assistant gives chapters easy access to all their recruitment information in one app. Each member can collect recruitment information from any potential new member, store it in the database, and access their list of potential new members. With a handy export...
Released: April 25, 2014
Added: April 25, 2014 | Visits: 87
Dies ist die offizielle Lambda Sachsen-Anhalt App. Alle Neuigkeiten, Fotos, Termine usw, lassen sich nun komfortabel abrufen. Sobald es Nachrichten gibt, erhalst du auf deinem Smartphone eine Benachrichtigung. Auch der Kontakt zum Organisationsteam lasst sich mit dieser App ganz einfach rund um...
Platforms: Windows Phone
Added: August 24, 2010 | Visits: 1.139
GIS::Distance::Vincenty Perl module contains Thaddeus Vincenty distance calculations. SYNOPSIS my $calc = GIS::Distance::Vincenty->new(); my $distance = $calc->distance( $lon1, $lat1 => $lon2, $lat2 ); For the benefit of the terminally obsessive (as well as the genuinely needy), Thaddeus...
Added: May 07, 2010 | Visits: 517
λgtk is a cross-platform Lisp interface to the complete GTK+2 family of shared libraries. λgtk currently runs in the following Lisp environments: PPC/Darwin OpenMCL 0.14.2-p1 x86/Linux SBCL 0.8.16 x86/Linux CMUCL 19a and is released under the Lisp Lesser General Public License...
Released: August 01, 2012
Added: August 01, 2012 | Visits: 318
A small validation library for .NET that uses a fluent interface and lambda expressions for building validation rules for your business objects.
Released: August 02, 2012
Added: August 02, 2012 | Visits: 207
Moop (Mud, Object-Oriented, Pythonic) is a MOO written entirely in Python, with a Lambda-MOO-based syntax and using Python as its object scripting language.
Platforms: Windows, Mac, Linux
Released: December 10, 2012
Added: December 10, 2012 | Visits: 171
An interpreter of lambda calculus.It shows reduction process of lambda terms.Several evaluation strategies are supported.Output format can be selected from LaTex, plain text.
Platforms: Windows, Mac, Solaris, Linux
Released: October 21, 2012
Added: October 21, 2012 | Visits: 249
This is a discrete event model that has been developed to computationally simulate the many interactions that occur between co-inhabiting populations of bacteriophage lambda and bacteria. Model qualifications are under review for scientific publication.
Platforms: Windows, Mac, Linux
Added: June 29, 2013 | Visits: 297
This package has solvers for constrained and unconstrained L1 minimization, which is useful for compressed sensing. u = COORDL1BREG(A,f,lambda) solves the minimization problem min_u ||u||_1 subject to A*u = fwhere A is an MxN matrix and f is a vector of length M. Input lambda is a positive...
Added: August 05, 2013 | Visits: 319
Free Split and Merge Expectation-Maximization algorithm for Multivariate Gaussian Mixtures. This algorithm is suitable to estimate mixture parameters and the number of conpounds Usage ------- [logl , M , S , P] = fsmem_mvgm(Z , [M0] , [S0] , [P0] , [option]); Inputs ------- Z Measurements (d x N)...
Added: July 16, 2013 | Visits: 249
This file provides implementations of the composite parameterization of the unitary group U(d) and special unitary group SU(d) of arbitrary dimension d.>> UC.mFor an arbitrary dxd real matrix 'lambda' the function UC(lambda) returns a unitary matrix of dimension dxd.>> UCS.mFor an arbitrary dxd...
Added: June 24, 2013 | Visits: 199
[blockVectorX,lambda]=lobpcg(blockVectorX,operatorA)outputs the array of algebraic smallest eigenvalues lambda andcorresponding matrix of orthonormalized eigenvectors blockVectorX of the Hermitian (full or sparse) operator operatorA using input matrix blockVectorX as an initial guess, without...
Added: June 24, 2013 | Visits: 244
Estimating of the statistical power of a performed (a posteriori) single factor Multivariate Analysis of Variance (MANOVA).It needs to input the observed parameters among two possible options. Option 1: multivariate observed F-statistic, numerator degrees of freedom, denominator degrees of...