代码搜索：Calculus
找到约 76 项符合「Calculus」的源代码
代码结果 76
www.eeworm.com/read/303513/13813861
txt readme_vecfun.txt
Multivariable Calculus Toolbox Ver. 1.9
=======================================
Date: 2002-12-06.
Author: B. Rasmus Anthin.
WHAT IS IT
----------
This toolbox contains two classes for the moment:
www.eeworm.com/read/305277/3776979
scala testsyntax.scala
package examples.parsing.lambda
/**
* Parser for an untyped lambda calculus: abstract syntax tree
*
* @author Miles Sabin (adapted slightly by Adriaan Moors)
*/
trait TestSyntax
{
trait Term
www.eeworm.com/read/305277/3777038
scala testsyntax.scala
package examples.parsing.lambda
/**
* Parser for an untyped lambda calculus: abstract syntax tree
*
* @author Miles Sabin (adapted slightly by Adriaan Moors)
*/
trait TestSyntax
{
trait Term
www.eeworm.com/read/140727/5782384
sof diagnose_params.sof
@ Sof v1.0 @
@ Algorithm 0 @
name = AlgorithmContainer;
@ Algorithm 1 @
name = Calculus;
@ Algorithm 2 @
name = Cepstrum;
@ Algorithm 3 @
name = CoefficientLabel;
@ Algorithm 4 @
name = Connection
www.eeworm.com/read/232404/4702520
am makefile.am
SUBDIRS = grid_visualisation grid_tools grid_spline grid_gridding grid_filter grid_discretisation grid_calculus grid_analysis
www.eeworm.com/read/13887/285258
m eeg_lap_test_script.m
% EEG_LAP_TEST_Script - explore the vector calculus of scalp current density.
%
% It starts with a potential field (ie, scalp voltage),
% which is a scalar field in x,y.
%
% We then calcul
www.eeworm.com/read/305277/3777009
scala mobilephoneprotocol.scala
package examples.pilib
/**
* Mobile phone protocol.
* Equivalent to a three-place buffer.
* @see Bjoern Victor "A verification tool for the polyadic pi-calculus".
*/
object mobilePhoneProtocol {
i
www.eeworm.com/read/305277/3777064
scala mobilephoneprotocol.scala
package examples.pilib
/**
* Mobile phone protocol.
* Equivalent to a three-place buffer.
* @see Bjoern Victor "A verification tool for the polyadic pi-calculus".
*/
object mobilePhoneProtocol {
i
www.eeworm.com/read/414590/2144717
c formula.c
/* Formula.C
*
* A predicate calculus formula, which can be stored in the decision tree.
* Formulas can also be used to match against other formulas.
*/
/*
* Copyright 1994, Brown University, Pr
www.eeworm.com/read/414590/2144725
h formula.h
/* Formula.H
*
* A predicate calculus formula, which can be stored in the decision tree.
* Formulas can also be used to match against other formulas.
*/
/*
* Copyright 1994, Brown University, Pr