Analytic Information Server

 

 

Introducing: Analytic Information Server™

Analytic Information Server™(AIS) is an analytic database designed to store massive amounts of heterogeneous data, upon which complex computer science algorithms are to be employed. The goal is to convert data, whose information content is a mystery, into data whose information content is understood.

The principle component of data analysis is the "Lambda". AIS Lambdas are executable objects which can operate alone or in larger communities of Lamba objects. A single Lambda object is like a simple function (albeit with possible persistent memory). A community of Lambda objects is more like a function or class library complete with persistent memory and even rudamentary intelligence (see Alice). Throughtout this documentation, the term Lambda will be used to include a single executable object as well a lerger community of executable objects. Upon execution, within an instance of the AIS engine, Lambdas execute at near native machine register speeds - equivalent and often exceeding the execution speeds of C programs. AIS is a database designed specifically for the easy storing and retrieval of Lambdas as well as more tranditional data.

Internet Services

Each instance of the AIS engine attaches to a user defined TCP/IP port, making each instance of the AIS engine a web analytic server. AIS Lambdas can serve their analytic reports directly to a web browser or to any other program, which can open a TCP/IP connection. Pure HTML, XML, or a proprietary binary protocol is supported; and, each of these protocols can be used to invoke individual Lambdas residing on available AIS engines. Furthermore, Lambdas in one instance of the AIS engine can invoke Lambdas in any other available AIS engine connected by TCP/IP. Each instance of the AIS engine can support multiple Lambda contexts, each running on its own machine thread.

 

Fast Virtual Machine

AIS supports an ultra-fast register virtual machine with a proprietary Just-In-Time compiler (JIT). The AIS virtual machine is designed to support fast algorithm development as well as ultra-fast algorithm execution. The VM accommodates these two design goals by supporting four well-defined instruction sets.

AIS Lambda development begins with the generic instructions until the algorithm "proof of concept" is attained followed by conversion of the bottleneck routines into native, register, or vector instructions for ultra-fast algorithm execution. The AIS JIT's drawback is Lambda bloat. A great deal more information is saved about each Lambda than in a standard C binary program executable. This is not a terrible problem, since AIS is a high volume database, the data size dwarfs any possible code bloat. Another drawback is that Lambda invocation runs at approximately 50% of the speed of C function invocation - more information means there is a longer set up time to invoke an Lambda than a C binary function. This is not a terrible problem, since most ultra-fast algorithms must be code generated in linear layout, without too many embedded function calls, to avoid cache hits. For extremely fast algorithm execution, algorithms should fill up registers, L1, L2, and L3 cache with as few interruptions as possible.

How does Analytic Information Server™ work?

Analytic Information Server™ is the industry's first mobile, distributed, Lambda oriented repository. AIS supports fast object repositories for storing of Lambda and/or object closures on disk. AIS object repositories support a basic associative memory access paradigm across multiple extents. In addition, all of the native file structures of the host OS are available to AIS Lambdas in a host independent paradigm. AIS Lambda can have very fast access to the host file system while being cocooned in their own OS independent environment.

Analytic Information Server™ provides a mobile runtime environment and a mobile persistent database. "Intelligent Lambdas" infiltrate each location of a distributed application, personalizing and adapting the application to each user's needs. It is no longer necessary to send user data from the client interface back to the server for lengthy processing. Users interact with distributed "info-nimble" application interfaces which perform in-depth analysis of the user's needs on-site, at the client. With its open and modular architecture, Analytic Information Server™ allows intelligent Lambdas to be easily integrated with Excel, Oracle, Java, as well as with existing in-house applications such as customer service, data warehousing, decision support, sales automation, and help desk.

Analytic Information Server™ supports a library of "intelligent Lambdas" which grow opinions and predict user needs by asking questions about the user's objectives that would never be thought of at the time the application was written. Each intelligent Lambda is a mobile software program that automatically performs a specific task, responds in a timely fashion to user feedback, and has the ability to learn. The ability of these Lambdas to modify themselves as they learn delivers unprecedented results to users in personalizing their application experience.

Analytic Information Server™ already boasts a number of powerful Lambda tools and more are being added every quarter. Mobile Lambdas can be written using the built-in Lisp and/or JavaScript compilers. Currently Lambdas exist which support: rule based semantic analysis, natural language parsing and analysis, datamining, relational datawarehousing for up to 500 gigabytes, rule based compiler construction, rule based decision support, multivariate regression, neural networks, case based reasoning, fuzzy logic, and genetic programming.

Analytic Information Server™ Uses Blended Algorithms.

Inspired by the book, "Society Of Mind", Analytic Information Server™ supports a variety of statistical and machine learning algorithms, not just a single approach. The power behind LambdaServer™ is its unique capability to combine or blend opinions from all of the Lambdas and distributed copies of the repository into a single enhanced application experience. Using Genetic Programming, Lambdas actually compete with each other as they try to satisfy user requests. The Lambdas, with the best user feedback, play an ever increasing role in the user's experience.

AIS provides a number of built-in support services and advanced analytic algorithms such that any data analysis project has a considerable head start. These support services and algorithms, including both built-in functions and Lambdas, cover at least the following features:

Analytic Information Server™ Engine Architecture

Analytic Information Server™ supports multiple concurrent users, transaction rollback with no arbitrary limitation on the size of a transaction, password protected data security with automatic record compression and encryption, data recovery, and a runtime dynamic database schema at each location.

AIS is agnostic concerning programming paradigms, virtual machines, and programming languages. AIS provides a built-in AIS Lisp compiler. Multiple virtual machines are supported, in fact a parent Lambda can run on one virtual machine while its child Lambda can run on another. Also, an Lambda can serve as a virtual machine for any other Lambda. There is built-in support for functional programming, object oriented programming, rule based programming, and Lambda oriented programming. Also supplied is an AIS JavaScript compiler, and an AIS HTML/XML compiler.

 

 

What Is Adaptive Intelligence: Why You Need It

AIS technology represents a significant step forward in the use of "Intelligent Lambdas" in integrating both existing and new distributed applications with "Adaptive Intelligence". Adaptive Intelligence allows applications to identify previous patterns and relationships in a user's interaction history and then use this new information to alter the application's responses for a more effective, personal user experience. It's the key to retaining customers and ensuring a greater share of their business over time by developing personalized relationships. Increased knowledge about users quickly translates to better customer service, more opportunities to cross sell services and products, and ultimately improved results.

An application with a personalized, responsive interface is compelling. People will return to a Web site which is different with each visit. Static web pages bore people. Students proceed at a faster rate when the application reconfigures as the person learns. Data mining is more accurate when the mining application adapts to feedback results. Kids retain interest in games which constantly reconfigure to match the player's skill level and past game experiences.

Reference Documents

Here are links to all available AIS reference documents.

AIS API

AIS Framework

AIS RefGuide Reference Guide

ARC Ref Guide

Alice AIML Language Guide

Alice Chat Robot

Analytic Information Server

ContextClient Lambda

DRM Virtual Machine

Esm Ref Guide

Gsm Ref Guide

Index Lambda

JavaScript Language Guide

Lambda Contexts

Lambda Repositories

LibraryMgr

Lisp Language Guide

MySQL

Neural Nets

Precompiler

Python

QSQL

QT Classes

Table

XML Language Guide

dataMineLib

mathLib

parseLib Compiler Generator

rulesLib

xmlBase Lambda

Built-in Functions

Here are links to AIS Built-in Functions grouped according to Data Type.

++++=//=
**=----=
abortTransactionabsacosadd1addMethod
addiappendappendWritelnapplyargCount
argFetchargumentarithmeticasinassociate
atanattachLibrarianavgbaddbalance
bcompareEQbcompareGEbcompareGTbcompareLEbcompareLT
bcompareNEbdivbeginTransactionbinaryInsertbinaryNand
binaryNorbinaryNotbinaryNxorbinarySearchbitToIntegerVector
bitToNumberVectorbitwiseAndbitwiseNandbitwiseNorbitwiseNot
bitwiseNxorbitwiseOrbitwiseShiftLeftbitwiseShiftRightbitwiseXor
bmodbmulbooleanc::rcadd
callcccarccompareEQccompareGEccompareGT
ccompareLEccompareLTccompareNEcdivcdr
charcharactercheckEscapecheckPointTransactionclass
cleanclearcloseLogcmodcmul
codecommitTransactioncomparecompareEQcompareGE
compareGTcompareLEcompareLTcompareNEcomparison
compilecomplexcompressconjugatecons
copycoscoshcountcsub
datedaydays360debugdebugBrowsableProcs
debugDetectivedebugEvaldecodedefchilddefclass
definedefine(macro)defineStructuredefmacrodefmethod
deforphandefrienddefstructdefundeg
deletedeleteRowsdetachLibrariandimensiondisassemble
displaydividowncaseencodeerror
errorTrapevalevalInSyncLocalContextexitexp
exportCsvexportSbfexportTabexptfact
fdisplayfieldsOffileClosefileCopyfileDir
fileDisplayfileErasefileEraseDirfileExistsfileMakeDir
fileOpenfileReadfileReadAllfileReadRecordfileResize
fileSeekfileSizeOffileWritefileWriteAllfilewriteln
findfindBlockfloorfractionfreeBlock
gcgcdgetGlobalValuegetRecursionCountgetSymbolTable
getTickCountglobalBindinghashStringhouriadd
icompareEQicompareGEicompareGTicompareLEicompareLT
icompareNEidivimaginaryimodimportCsv
importSbfimportTabimulinsertinsertRows
insideinspectintegerisAtomisBitVector
isBooleanisBoundisByteVectorisCharisCharAlphabetic
isCharAlphanumericisCharLowercaseisCharNameisCharNumericisCharUppercase
isCharWhitespaceisCharacterisClassisComplexisDate
isDictionaryisDirectoryisEqualisErrorisEven
isExactisFloatVectorisIdenticalisImmediateisInexact
isInsideisIntegerisIntegerVectorisLambdaisMatrix
isMemberisMoneyisNegativeisNullisNumber
isNumberMatrixisNumberVectorisObjectisObjectVectorisOdd
isPairisPcodeVectorisPositiveisStringisStructure
isSymbolisTextisTransactionisTypeisVector
isZeroisubjuliankurtosislambda
lastlcmleftlengthlisp
listloadModuleloadObjectloadRepositoryloadWorkspace
lockloglog10log2logConsole
logbasemacroReplacemakeDictionarymakeGaussianMatrixmakeGramMatrix
makeLambdamakeQuotedListmakeQuotedSymbolmakeStructuremap
mapcmatrixGaussianEliminatematrixGaussianSubstitutemaxmedian
membermethodsOfmidminminute
modmodimoneymonthmorph
mulimyselfnaddncompareEQncompareGE
ncompareGTncompareLEncompareLTncompareNEndiv
newnmodnmulnownsub
numberobjectToDictionaryobjectToDirectoryobjectToListobjectToMatrix
objectToNumMatrixobjectToNumVectorobjectToStructureobjectToVectoroffset
onErroropenLogpairparentparse
pipointerpreAllocateFixedMemoryBlocksproductproplist
proprecordputpropqtquitquote
radrandomrandomizerangerank
realrefrefAttributesrefLibrarianrefValues
remPropremoverenamereplacerept
resetresizereverserightround
runsaveImmediatesaveModulesaveObjectsaveRepository
saveWorkspacesecondsendsetsetAttributes
setBlocksetCarsetCdrsetLastCdrsetf
setqsigmoidsignsinsinh
sizeofskewsleepsortsql
sqrtsrandomstdevstdevpstring
stringCiEQstringCiGEstringCiGTstringCiLEstringCiLT
stringCiNEstringFillstringToBVectorstringToVectorsub1
subisubmitsubstitutesubstringsubstringCiEQ
substringCiGEsubstringCiGTsubstringCiLEsubstringCiLTsubstringCiNE
substringEQsubstringFillsubstringGEsubstringGTsubstringLE
substringLTsubstringNEsumsumsqrsuper
svmRegressionsymbolsymbolToTypeCodesysErrorsystem
systemChecktantanhtexttime
todaytrimtypeuncompressuniqueInsert
unlockupcasevarvarpvectorBinaryInnerProduct
vectorBipolarInnerProductvectorCosineInnerProductvectorCubeInnerProductvectorDeletevectorExpInnerProduct
vectorFillvectorInnerProductvectorLogInnerProductvectorQuartInnerProductvectorQuintInnerProduct
vectorSigmoidInnerProductvectorSineInnerProductvectorSquareInnerProductvectorTanInnerProductvectorTanhInnerProduct
versionwritelgwritelnyear

AIS Data Types

Here are links to the functions of the AIS Built-in Data Types.

BitVectorBooleanBrickByteVectorCharacter
ComplexCpxVectorDateDictionaryDirectory
ErrorFltVectorFunctionIntVectorInteger
LambdaListLongVectorMatrixNumMatrix
NumVectorNumberObjVectorObjectRepositoryPair
ShortVectorStringStructureSymbolText
VectorVoid

Virtual Machine Instructions

AIS Lambdas are designed to be write-once-run-anywhere executable objects. This is accomplished via the virtual machine concept of software Lambda execution. Lambda virtual machines are designed to be mapped onto the actual host microchip at the server location, providing faithful Lambda execution wherever the Lambda may travel on the Internet. There are currently several virtual machines operating within Analytic Information Server. The DRM virtual machine uses a Dynamically typed Register Machine model to provide portable Lambda execution from high level dynamically typed instructions all the way to super fast microchip-level register execution. The DRM virtual machine runs in emulation mode during the testing and debug phases of Lambda development, and there is an AIS Lambda debugger available for Lambdas running on this virtual machine. During the final release phases of Lambda development, DRM virtual machine Lambdas are automatically converted to the NATIVE virtual machine on the host computer, using the just-in-time compiler. The NATIVE virtual machine is a faithful machine language translation of the execution rules in the DRM virtual machine onto the actual host microchip at the server location. NATIVE virtual machine execution runs at microchip-level execution speeds.

vmaddvmaddivmaddnvmandvmapply
vmargcountvmargfetchvmcaddvmcallvmcallarg
vmcdivvmcmulvmcsubvmdebuggervmdiv
vmdivivmdivnvmdivrvmdivrivmiadd
vmiandvmiandbvmidivvmidivrvmimul
vmiorvmiorbvmisubvmixorvmixorb
vmjumpvmjumpccvmmovevmmoveivmmoven
vmmulvmmulivmmulnvmnaddvmnatAddInteger
vmnatAddNumbervmnatAndIntegervmnatDivIntegervmnatDivNumbervmnatDivrInteger
vmnatDivrNumbervmnatJumpCCIntegervmnatJumpCCNumbervmnatLoadCharactervmnatLoadFloat
vmnatLoadIntegervmnatLoadLongvmnatLoadNumbervmnatLoadObjectvmnatLoadShort
vmnatMulIntegervmnatMulNumbervmnatOrIntegervmnatSaveCharactervmnatSaveFloat
vmnatSaveIntegervmnatSaveLongvmnatSaveNumbervmnatSaveObjectvmnatSaveShort
vmnatShlIntegervmnatShrIntegervmnatSubIntegervmnatSubNumbervmnatXorInteger
vmndivvmndivrvmnmulvmnopvmnsub
vmonerrorvmoptvmorvmpopvmpush
vmrefvmrefbitvectorvmrefbytevectorvmrefdickeyvmrefdicvalue
vmrefdirkeyvmrefdirvaluevmreffltvectorvmrefintvectorvmreflongvector
vmrefmatrixvmrefnummatrixvmrefnumvectorvmrefobjvectorvmrefpcdvector
vmrefshortvectorvmrefstringvmrefstrkeyvmrefstrvaluevmrefsymbol
vmreftextvmrefvectorvmregAbsNumbervmregAddImmediatevmregAddInteger
vmregAddNumbervmregAddPointervmregAndImmediatevmregAndIntegervmregCosNumber
vmregDivImmediatevmregDivIntegervmregDivNumbervmregDivrImmediatevmregDivrInteger
vmregDivrNumbervmregIncPointervmregIntegervmregJumpvmregJumpCCImmediate
vmregJumpCCIntegervmregJumpCCNumbervmregLoadAddressvmregLoadDclTypevmregLoadInteger
vmregLoadJmpPointervmregLoadNumbervmregLoadTailvmregLoadTypevmregLogNumber
vmregMoveImmediatevmregMoveIntegervmregMoveNumbervmregMulImmediatevmregMulInteger
vmregMulNumbervmregNumbervmregObjLengthvmregObjPointervmregOrImmediate
vmregOrIntegervmregPwrNumbervmregRefCharactervmregRefFloatvmregRefInteger
vmregRefLongvmregRefNumbervmregRefShortvmregRefWordvmregRefXCharacter
vmregRefXFloatvmregRefXIntegervmregRefXLongvmregRefXNumbervmregRefXShort
vmregRefXWordvmregRunInHarwarevmregSaveDeclTypevmregSaveDeclTypeImmediatevmregSaveInteger
vmregSaveNumbervmregSaveTailvmregSaveTailImmediatevmregSetCharImmediatevmregSetCharacter
vmregSetFloatvmregSetIntImmediatevmregSetIntegervmregSetLongvmregSetLongImmediate
vmregSetNumbervmregSetShortvmregSetShortImmediatevmregSetWordvmregSetXCharImmediate
vmregSetXCharactervmregSetXFloatvmregSetXIntImmediatevmregSetXIntegervmregSetXLong
vmregSetXLongImmediatevmregSetXNumbervmregSetXShortvmregSetXShortImmediatevmregSetXWord
vmregShlImmediatevmregShlIntegervmregShrImmediatevmregShrIntegervmregSinNumber
vmregSqrtNumbervmregStringComparevmregStringiComparevmregSubImmediatevmregSubInteger
vmregSubNumbervmregSubPointervmregTanNumbervmregXorImmediatevmregXorInteger
vmregmovenvmreturnvmselfvmsendvmset
vmsetbitvectorvmsetbytevectorvmsetdickeyvmsetdicvaluevmsetdirkey
vmsetdirvaluevmsetfltvectorvmsetintvectorvmsetlongvectorvmsetmatrix
vmsetnummatrixvmsetnumvectorvmsetobjvectorvmsetpcdvectorvmsetshortvector
vmsetstringvmsetstrkeyvmsetstrvaluevmsetvectorvmshl
vmshrvmsmoveivmsubvmsubivmsubn
vmtestescapevmvecBinaryvmvecInitializevmvecLoopvmvecNumScalar
vmvecNumVectorvmvecPopvmvecPopNumbervmvecPushvmvecPushNumber
vmvecSetIncrementsvmvecSetPointersvmvecSwapCCvmvecUnaryvmxor

Example Home Pages

Here are links to examples using the AIS Built-in Functions. These examples illustrate how the AIS Functions operate on the different AIS Objects and in what context these functions may be used. These examples are grouped according to the different Data Types.

BitVector Examples

Boolean Examples

Brick Examples

ByteVector Examples

Character Examples

Complex Examples

Context Examples

CpxVector Examples

Date Examples

Dictionary Examples

Directory Examples

Error Examples

FileIO Examples

FltVector Examples

Function Examples

IntVector Examples

Integer Examples

Lambda Examples

List Examples

Matrix Examples

NumMatrix Examples

NumVector Examples

Number Examples

ObjVector Examples

ObjectRepository Examples

Pair Examples

PcodeVector Examples

ShortVector Examples

String Examples

Structure Examples

Symbol Examples

Vector Examples

Void Examples

BitVector Examples

The sections which follow, show all of the functions of the BitVector data type at work.

addMethod_023append_010apply_008bitToIntegerVector_001bitToIntegerVector_002
bitToNumberVector_001cdr_010compareEQ_014compareGE_014compareGT_014
compareLE_014compareLT_014compareNE_014compare_018comparison_014
copy_011defmethod_020findBlock_001freeBlock_001inside_007
isAtom_010isBitVector_001isEqual_017isIdentical_017isInside_008
isMember_008isObject_012isType_020length_013member_008
methodsOf_021new_013ref_027remove_008resize_010
reverse_007send_018setBlock_001setCdr_010setLastCdr_010
setq_024sizeof_019sort_017type_021vectorFill_007

Boolean Examples

The sections which follow, show all of the functions of the Boolean data type at work.

addMethod_011addMethod_012bcompareEQ_001bcompareGE_001bcompareGT_001
bcompareLE_001bcompareLT_001bcompareNE_001boolean_001compareEQ_009
compareGE_009compareGT_001compareLE_001compareLT_001compareNE_009
compare_009comparison_009defmethod_012isBoolean_001isEqual_007
isIdentical_007isType_011methodsOf_012ref_018send_010
setq_016sizeof_009type_011

Brick Examples

The sections which follow, show all of the functions of the Brick data type at work.

addMethod_008cdr_010compareEQ_019compareGE_019compareGT_019
compareLT_019compareNE_019compare_019comparison_019copy_012
defmethod_025isAtom_011isEqual_018isIdentical_020isObject_014
isType_022length_017methodsOf_024new_015ref_035
ref_036send_027setCdr_014setq_028setq_029
sizeof_029type_026

ByteVector Examples

The sections which follow, show all of the functions of the ByteVector data type at work.

appendWriteln_001compress_001isByteVector_001isCharAlphabetic_003isCharAlphanumeric_003
isCharLowercase_003isCharName_003isCharNumeric_003isCharUppercase_003isCharWhitespace_003
isObject_013new_015sizeof_020type_022

Character Examples

The sections which follow, show all of the functions of the Character data type at work.

addMethod_013cadd_001ccompareEQ_001ccompareGE_001ccompareGT_001
ccompareLE_001ccompareLT_001ccompareNE_001cdiv_001character_001
cmod_001cmul_001compareEQ_010compareGE_010compareGT_010
compareLE_010compareLT_010compareNE_010compare_010comparison_010
csub_001defmethod_013isCharacter_001isEqual_008isIdentical_008
isType_012methodsOf_013send_011setq_017sizeof_010
type_012

Complex Examples

The sections which follow, show all of the functions of the Complex data type at work.

+_002/_002/_003*_002-_002
-_003abs_002append_011argument_001compare_021
comparison_021conjugate_001cos_002exp_002expt_002
imaginary_001isComplex_001log10_002log2_002log_002
logbase_010mod_002real_001sin_002sqrt_002
string_001string_004tan_002

Context Examples

The sections which follow, show all of the functions of the Context data type at work.

clear_001debugBrowsableProcs_001debug_001disassemble_001evalInSyncLocalContext_001
getGlobalValue_001getSymbolTable_001globalBinding_001inspect_001loadWorkspace_001
loadWorkspace_002preAllocateFixedMemoryBlocks_001reset_001saveWorkspace_001systemCheck_001
version_001

CpxVector Examples

The sections which follow, show all of the functions of the CpxVector data type at work.

addMethod_028append_013apply_010avg_002binaryInsert_008
binarySearch_008cdr_011compareEQ_020compareGE_020compareGT_020
compareLE_020compareLT_020compareNE_020compare_020copy_013
new_015send_028

Date Examples

The sections which follow, show all of the functions of the Date data type at work.

addMethod_015addMethod_016compareEQ_012compareGE_012compareGT_012
compareLE_012compareLT_012compareNE_012compare_012comparison_011
date_001day_001days360_001defmethod_015getTickCount_001
hour_001isDate_001isEqual_010isEqual_011isIdentical_010
isType_014julian_001methodsOf_015minute_001month_001
now_001ref_020second_001send_013setq_019
sizeof_012time_001time_002today_001type_014
year_001

Dictionary Examples

The sections which follow, show all of the functions of the Dictionary data type at work.

addMethod_005binarySearch_002cdr_003compareEQ_004compareGE_004
compareGT_004compareLE_004compareLT_004compareNE_004compare_003
compare_004comparison_004copy_002count_002defmethod_006
delete_003delete_004insert_002inside_002isAtom_002
isBound_002isDictionary_001isDictionary_002isEqual_002isIdentical_002
isInside_002isMember_002isObject_004isType_006length_005
makeDictionary_001map_002mapc_002member_002methodsOf_007
new_004objectToDictionary_001objectToDictionary_002objectToDictionary_003objectToDictionary_004
refAttributes_002refValues_002ref_007ref_008ref_009
remove_002resize_002send_004setAttributes_002setCdr_002
setCdr_003setq_007setq_008setq_009sizeof_004
sort_004sort_005sort_006type_007

Directory Examples

The sections which follow, show all of the functions of the Directory data type at work.

addMethod_006cdr_004compareEQ_005compareGE_005compareGT_005
compareLE_005compareLT_005compareNE_005compare_004compare_005
comparison_005copy_003count_003defmethod_007delete_005
delete_006insert_003inside_003isAtom_003isBound_003
isDirectory_001isEqual_003isIdentical_003isInside_003isMember_003
isObject_005isType_007length_006map_003mapc_003
member_002member_003methodsOf_008new_005new_006
objectToDirectory_001objectToDirectory_002objectToDirectory_003objectToDirectory_004refAttributes_003
refValues_003ref_010ref_011ref_012remove_003
resize_003send_005setAttributes_003setCdr_003setq_010
setq_011sizeof_005sort_007sort_008sort_009
type_008vectorDelete_001

Error Examples

The sections which follow, show all of the functions of the Error data type at work.

errorTrap_001error_001isError_001isIdentical_007onError_001

FileIO Examples

The sections which follow, show all of the functions of the FileIO data type at work.

closeLog_001display_001openLog_001

FltVector Examples

The sections which follow, show all of the functions of the FltVector data type at work.

addMethod_019apply_005binaryInsert_004binarySearch_005cdr_006
compareEQ_014compareGE_014compareGT_014compareLE_014compareLT_014
compareNE_014compare_014comparison_014copy_006defmethod_017
delete_009insert_005isAtom_005isEqual_013isFloatVector_001
isIdentical_012isObject_007isType_016length_008map_005
mapc_005methodsOf_017new_009ref_022resize_006
reverse_003send_015setCdr_006setLastCdr_006setq_019
sizeof_014sort_013type_016uniqueInsert_004vectorFill_003

Function Examples

The sections which follow, show all of the functions of the Function data type at work.

addMethod_017addMethod_018compareEQ_013compareGE_013compareGT_013
compareLE_013compareLT_013compareNE_013compare_013comparison_012
defmethod_016isEqual_012isIdentical_011isType_015methodsOf_016
ref_021send_014sizeof_013type_015

IntVector Examples

The sections which follow, show all of the functions of the IntVector data type at work.

addMethod_020append_007apply_006binaryInsert_005binarySearch_006
cdr_007compareEQ_014compareGE_014compareGT_014compareLE_014
compareLT_014compareNE_014compare_015comparison_014copy_007
defmethod_018delete_010insert_006inside_005isAtom_006
isEqual_014isIdentical_013isInside_005isIntegerVector_001isMember_005
isObject_008isType_017length_009map_006mapc_006
member_005methodsOf_018new_010ref_023remove_005
resize_007reverse_004send_016setCdr_007setLastCdr_007
setq_020sizeof_015sort_014type_017uniqueInsert_005
vectorFill_004

Integer Examples

The sections which follow, show all of the functions of the Integer data type at work.

binaryNand_001binaryNor_001binaryNot_001binaryNxor_001bitwiseAnd_001
bitwiseNand_001bitwiseNor_001bitwiseNot_001bitwiseNxor_001bitwiseOr_001
bitwiseShiftLeft_001bitwiseShiftRight_001bitwiseXor_001fact_001gcd_001
iadd_001icompareEQ_001icompareGE_001icompareGT_001icompareLE_001
icompareLT_001icompareNE_001idiv_001imod_001imul_001
integer_001isInteger_001isub_001lcm_001

Lambda Examples

The sections which follow, show all of the functions of the Lambda data type at work.

argCount_001argFetch_001balance_001callcc_001compareEQ_008
compareGE_008compareGT_008compareLE_008compareLT_008compareNE_008
compare_008compile_001copy_008debugBrowsableProcs_001debug_001
defchild_001define(macro)_001define_001defmacro_001defmacro_002
deforphan_001defriend_001defun_001defun_002disassemble_001
eval_001exportTab_001globalBinding_001importTab_001inspect_001
isLambda_001lambda_001makeLambda_001myself_001new_001
new_002new_003onError_001ref_017send_008
send_009setq_005setq_015type_009type_010

List Examples

The sections which follow, show all of the functions of the List data type at work.

addMethod_025associate_001c::r_001c::r_002car_001
cdr_009compareEQ_020compareGE_020compareGT_020compareLE_020
compareLT_020compareNE_020compare_020comparison_020compile_002
copy_010count_007count_008defmethod_022eval_002
eval_003inside_008isAtom_011isEqual_019isIdentical_018
isInside_010isMember_009isObject_015isPair_002last_001
length_015list_001makeQuotedList_001map_009member_009
methodsOf_022morph_001morph_002objectToList_001quote_001
quote_002quote_003ref_028ref_029reverse_003
send_020setCar_002setCdr_011setLastCdr_011setq_025
setq_026sizeof_022sort_018sort_019

Matrix Examples

The sections which follow, show all of the functions of the Matrix data type at work.

addMethod_008append_007apply_005apply_006binaryInsert_004
binaryInsert_005binarySearch_005binarySearch_006cdr_007cdr_008
compareEQ_007compareGE_007compareGT_007compareLE_007compareLT_007
compareNE_007compare_007comparison_007copy_006copy_007
count_005defmethod_009delete_009insert_005inside_005
isAtom_005isEqual_005isIdentical_005isInside_05isMatrix_001
isMember_005isNumberMatrix_001isObject_007isType_009length_008
makeGaussianMatrix_001makeGramMatrix_001map_006map_007mapc_005
matrixGaussianEliminate_001matrixGaussianSubstitute_001member_005methodsOf_010new_009
new_010objectToMatrix_001objectToNumMatrix_001rank_001ref_015
ref_016remove_005resize_005reverse_002send_008
setCdr_005setLastCdr_005setq_014sizeof_007sort_012
type_010uniqueInsert_004vectorFill_002

NumMatrix Examples

The sections which follow, show all of the functions of the NumMatrix data type at work.

addMethod_027append_012apply_009binaryInsert_007binarySearch_007
cdr_011compareEQ_023compareGE_023compareGT_023compareLE_023
compareLT_023compareNE_023compare_023comparison_023copy_011
count_009defmethod_024delete_014insert_009inside_009
isAtom_012isEqual_020isIdentical_020isInside_011isMember_010
isNumberMatrix_001isObject_014isType_022length_017makeGaussianMatrix_001
makeGramMatrix_001map_010mapc_009matrixGaussianEliminate_001matrixGaussianSubstitute_001
member_005member_009methodsOf_024new_015objectToNumMatrix_001
rank_002ref_035remove_008resize_011reverse_004
send_027setCdr_013setLastCdr_012sizeof_028sort_005
sort_020type_025vectorFill_008

NumVector Examples

The sections which follow, show all of the functions of the NumVector data type at work.

addMethod_021append_008apply_007binaryInsert_006binarySearch_007
bitToNumVector_002bitToNumberVector_002cdr_008compareEQ_014compareGE_014
compareGT_014compareLE_014compareLT_014compareNE_014compare_016
comparison_014copy_008defmethod_019delete_011insert_007
inside_006isAtom_007isEqual_015isIdentical_014isInside_006
isMember_006isNumberVector_001isObject_009isType_018length_010
map_007mapc_007member_006methodsOf_019new_011
objectToNumVector_001ref_024remove_006resize_0008resize_008
reverse_005send_017setCdr_008setLastCdr_008setq_021
sizeof_016sort_015svmRegression_001type_018uniqueInsert_006
vectorBinaryInnerProduct_001vectorBipolarInnerProduct_001vectorCosineInnerProduct_001vectorCubeInnerProduct_001vectorExpInnerProduct_001
vectorFill_005vectorInnerProduct_001vectorLogInnerProduct_001vectorQuartInnerProduct_001vectorQuintInnerProduct_001
vectorSigmoidInnerProduct_001vectorSineInnerProduct_001vectorSquareInnerProduct_001vectorTanInnerProduct_001vectorTanhInnerProduct_001

Number Examples

The sections which follow, show all of the functions of the Number data type at work.

isEven_001 isExact_001+_001/_001*_001
-_001abs_001add1_001addMethod_014addi_001
asin_001atan_001avg_001compareEQ_011compareGE_011
compareGT_011compareLE_011compareLT_011compareNE_011compare_001
compare_011comparison_010cos_001cosh_001defmethod_014
deg_001divi_001exp_001expt_001fact_001
floor_001fraction_001isEqual_009isEven_001isExact_001
isIdentical_009isInexact_001isMoney_001isNegative_001isNull_001
isNumber_001isOdd_001isPositive_001isType_013isZero_001
kurtosis_001log10_001log2_001log_001logbase_001
max_001median_001methodsOf_014min_001mod_001
modi_001muli_001nadd_001ncompareGE_001ncompareGT_001
ncompareLE_001ncompareLT_001ndiv_001nmod_001nmul_001
nsub_001number_001pi_001product_001rad_001
random_001randomize_001range_001ref_019round_001
send_012setq_018sign_001sin_001sinh_001
sizeof_011skew_001sqrt_001srandom_001stdev_001
stdevp_001sub1_001subi_001sumsqr_001tan_001
tanh_001type_013var_001varp_001

ObjVector Examples

The sections which follow, show all of the functions of the ObjVector data type at work.

addMethod_022append_009cdr_009compareEQ_014compareGE_014
compareGT_014compareLE_014compareLT_014compareNE_014compare_017
comparison_014copy_009delete_012insert_008isAtom_008
isEqual_016isIdentical_015isInside_007isMember_007isObjectVector_001
isObject_010isType_019length_011member_007new_012
ref_025remove_007resize_009reverse_006setCdr_009
setLastCdr_009setq_022sizeof_017sort_016type_019
uniqueInsert_007vectorFill_006

ObjectRepository Examples

The sections which follow, show all of the functions of the ObjectRepository data type at work.

abortTransaction_001addMethod_026attachLibrarian_001beginTransaction_001checkPointTransaction_001
clear_002commitTransaction_001compareEQ_021compareEQ_022compareGE_021
compareGE_022compareGT_021compareGT_022compareLE_021compareLE_022
compareLT_021compareLT_022compareNE_021compareNE_022compare_021
compare_022comparison_021comparison_022defmethod_023delete_013
detachLibrarian_001exportTab_001importTab_001inspect_002isIdentical_019
isImmediate_001isType_021length_016loadRepository_001methodsOf_023
new_014refLibrarian_001ref_030ref_031ref_032
ref_033ref_034rename_001saveImmediate_001saveRepository_001
send_026setf_001setf_002setq_027sizeof_027
type_024

Pair Examples

The sections which follow, show all of the functions of the Pair data type at work.

addMethod_024append_011apply_009apply_010associate_001
car_001compareEQ_019compareGE_019compareGT_019compareLE_019
compareLT_019compareNE_019compare_019comparison_019cons_001
copy_009count_006defmethod_021isAtom_010isEqual_018
isIdentical_017isInside_009isMember_008isObject_014isPair_001
isType_021length_014map_008mapc_008methodsOf_021
pair_001send_019setCar_001sizeof_021type_023

PcodeVector Examples

The sections which follow, show all of the functions of the PcodeVector data type at work.

copy_010isAtom_009isIdentical_016isObject_011isPcodeVector_001
length_012methodsOf_020new_014ref_026setq_023
sizeof_018type_020

ShortVector Examples

The sections which follow, show all of the functions of the ShortVector data type at work.

addMethod_021append_008apply_007binaryInsert_006binarySearch_007
cdr_008compareEQ_015compareGE_015compareGT_015compareLE_015
compareLT_015compareNE_015compare_016comparison_015copy_008
defmethod_019delete_011insert_007inside_006isAtom_007
isEqual_015isIdentical_014isInside_006isMember_006isObject_009
isType_018length_010map_007mapc_007member_016
methodsOf_019new_011ref_024remove_006resize_008
reverse_005send_017setCdr_007setq_020sizeof_016
sort_015type_018uniqueInsert_007vectorFill_005

String Examples

The sections which follow, show all of the functions of the String data type at work.

addMethod_001append_001append_002char_001clean_001
code_001compareEQ_001compareGE_001compareGT_001compareLE_001
compareLT_001compareNE_001compare_001comparison_001defMethod_001
defmethod_002downcase_001fileReadRecord_001fileRead_001fileRead_002
fileWrite_001find_001find_002hashString_001isCharAlphabetic_001
isCharAlphanumeric_001isCharLowercase_001isCharName_001isCharNumeric_001isCharUppercase_001
isCharWhitespace_001isChar_001isEqual_001isEqual_002isObject_001
isString_001isText_001isType_001isType_002isType_003
left_001length_001length_002methodsOf_001methodsOf_002
methodsOf_003mid_001new_001parse_001ref_001
ref_002replace_001rept_001right_001send_001
setq_001sizeof_001stringCiEQ_001stringCiGE_001stringCiGT_001
stringCiLE_001stringCiLT_001stringCiNE_001stringFill_001stringToBVector_001
stringToBVector_002stringToBVector_003stringToVector_001stringToVector_002stringToVector_003
stringToVector_004string_001string_002string_003substitute_001
substitute_002substringCiEQ_001substringCiGE_001substringCiGT_001substringCiLE_001
substringCiLT_001substringCiNE_001substringEQ_001substringFill_001substringGE_001
substringGT_001substringLE_001substringLT_001substringNE_001substring_001
substring_002text_001trim_001type_001upcase_001
upcase_002upcase_003

Structure Examples

The sections which follow, show all of the functions of the Structure data type at work.

addMethod_003addMethod_004append_004append_005apply_001
apply_002binaryInsert_001binarySearch_001cdr_001cdr_002
compareEQ_003compareGE_003compareGT_003compareLE_003compareLT_003
compareNE_003compare_003comparison_003copy_001count_001
defMethod_004defMethod_005defineStructure_001defineStructure_002defineStructure_003
defstruct_001defstruct_002delete_001delete_002fieldsOf_001
insert_001inside_001isAtom_001isBound_001isEqual_001
isIdentical_001isInside_001isMember_001isObject_003isStructure_001
isType_005length_004makeStructure_001makeStructure_002map_001
mapc_001member_001methodsOf_005methodsOf_006new_003
objectToStructure_001objectToStructure_002objectToStructure_003objectToStructure_004refAttributes_001
refValues_001ref_004ref_005ref_006remove_001
resize_001send_003setAttributes_001setCdr_001setCdr_002
setLastCdr_001setq_003setq_004setq_005setq_006
sizeof_003sort_001sort_002sort_003type_003
type_004type_006uniqueInsert_001uniqueInsert_002

Symbol Examples

The sections which follow, show all of the functions of the Symbol data type at work.

++_001+=_001/=_001*=_001--_001
-=_001addMethod_002append_003compareEQ_002compareGE_002
compareGT_002compareLE_002compareLT_002compareNE_002compare_002
comparison_002defMethod_003downcase_002getGlobalValue_001getGlobalValue_002
getSymbolTable_001getSymbolTable_002hashString_002isCharAlphabetic_002isCharAlphanumeric_002
isCharLowercase_002isCharName_002isCharNumeric_002isCharUppercase_002isCharWhitespace_002
isObject_002isSymbol_001isType_004length_003makeQuotedSymbol_001
methodsOf_004new_002proplist_001proprecord_001putprop_001
ref_003remProp_001send_002setq_001setq_002
sizeof_002symbol_001symbol_002type_002upcase_004

Vector Examples

The sections which follow, show all of the functions of the Vector data type at work.

addMethod_007append_006append_007apply_003apply_004
binaryInsert_002binaryInsert_003binarySearch_003binarySearch_004cdr_005
cdr_006compareEQ_006compareGE_006compareGT_006compareLE_006
compareLT_006compareNE_06compare_006comparison_006copy_004
copy_005count_004defMethod_008delete_007delete_008
insert_004inside_004isAtom_004isEqual_004isIdentical_004
isInside_004isMember_004isObject_006isType_008isVector_001
length_007map_004mapc_004member_004methodsOf_009
new_007new_008objectToVector_001refAttributes_004refValues_004
ref_013ref_014remove_004resize_004reverse_001
send_006setAttributes_004setAttributes_005setCdr_004setLastCdr_002
setq_012setq_013sizeof_006sort_010sort_011
type_009uniqueInsert_003vectorFill_001

Void Examples

The sections which follow, show all of the functions of the Void data type at work.

addMethod_009addMethod_010compareEQ_008compareGE_008compareGT_008
compareLE_008compareLT_008compareNE_008compare_008comparison_008
defmethod_010defmethod_011isEqual_006isIdentical_006isNull_002
isType_010methodsOf_011ref_017send_009setq_015
sizeof_008type_011

Research Publications

Analytic Information Server has aided a number of scientists in valuable peer reviewed research.
Here are the links to a number of peer reviewed scientific research papers for which AIS has provided either subject material, tools, or valuable assistance. All of these papers are published in peer reviewed scientific journals or peer reviewed books. These papers have receives hundreds of citations.
(Note: these downloads are all drafts only as we are not allowed to distribute the final printed papers. Please purchase the print versions from publishers to support continuing research.)

  1. Korns, Michael F., 2015. Trading Volatility Using Highly Accurate Symbolic Regression. In Ryan, et. al., Handbook Of Genetic Programming Applications, New York, New York, USA. Springer.
  2. Korns, Michael F., 2012. Predicting Corporate Forward 12 Month Earnings, 2012. Theory and New Applications of Swarm Intelligence, ISBN 978-953-51-0364-6, edited by Rafael Parpinelli and Heitor S. Lopes, InTech Academic Publishers.
  3. Korns, Michael F., 2012. A Baseline Symbolic Regression Algorithm. In Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice X, New York, New York, USA. Springer.
  4. Korns, Michael F, 2010. Abstract Expression Grammar Symbolic Regression. In Riolo, Rick, L, Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice VIII, New York, New York, USA. Springer.
  5. Korns, Michael F, 2011. Accuracy in Symbolic Regression. In Riolo, Rick, L, Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice IX, New York, New York, USA. Springer.
  6. Korns, Michael F. 2006. Large-Scale, Time-Constrained Symbolic Regression. In Riolo, Rick, L, Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice IV, New York, New York, USA. Springer.
  7. Korns, Michael F. 2007. Large-Scale, Time-Constrained Symbolic Regression-Classification. In Riolo, Rick, L, Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice V, New York, New York, USA. Springer.
  8. Korns, Michael F, 2009. Symbolic Regression of Conditional Target Expressions. In Riolo, Rick, L, Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice VII, New York, New York, USA. Springer.
  9. Korns, Michael F, 2009. Symbolic Regression Using Abstract Expression Grammars. In Proceedings of GECCO Genetic and Evolutionary Computation Conference, Montreal, July 2009. Association for Computing Machinery.
  10. Korns, Michael F., 2015. Highly Accurate Symbolic Regression for Noisy Training Data. In Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice XIII, New York, New York, USA. Springer.
  11. Korns, Michael F., 2016. An Evolutionary Algorithm for Big Data Multiclass Classification. In Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice XIV, New York, New York, USA. Springer.
  12. Korns, Michael F., 2017. Evolutionary Linear Discriminant Analysis for Multiclass Classification Problems. In GECCO Conference Proceedings ?17, July 15-19, Berlin Germany 2017.
  13. Korns, Michael F., 2017. Genetic Programming Symbolic Classification: A Study. In Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice XV, New York, New York, USA. Springer.
  14. Korns, Michael F., May, Tim, 2019. Strong Typing, Swarm Enhancement, and Deep Learning Feature Selection in the Pursuit of Symbolic Regression-Classification. In Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice XVI, New York, New York, USA. Springer.
  15. Korns, Michael F., May, Tim, 2019. Feature Discovery with Deep Learning Algebra Networks. In Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice XVIII, New York, New York, USA. Springer.
  16. Korns, Michael F., and Truscott, Philip, 2011. Detecting Shadow Economy Sizes with Symbolic Regression. In Riolo, Rick, L, Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice IX, New York, New York, USA. Springer.
  17. Truscott, Philip, Korns, Michael F., 2015. Predicting Product Choice with Symbolic Regression and Classification. In Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice XIII, New York, New York, USA. Springer.
  18. Korns, Michael F., 2013. Extreme Accuracy in Symbolic Regression. In Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice XI, New York, New York, USA. Springer.
  19. Korns, Michael F, 2009. Mutation and Crossover with Abstract Expression Grammars. In Proceedings of World Summit on Genetic and Evolutionary Computation, Shanghai, June 2009. Association for Computing Machinery.
  20. Korns, Michael F, 2009. Symbolic Regression of Conditional Target Expressions. In Riolo, Rick, L, Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice VII, New York, New York, USA. Springer.
  21. Truscott, Philip, Korns, Michael F., 2014. Explaining Unemployment Rates and Symbolic Regression. In Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice XI, New York, New York, USA. Springer.
  22. Korns, Michael F., Nunez, Loreyfel, 2008. Profiling Symbolic Regression Classification. In Riolo, Rick, L, Soule, Terrance, and Wortzel, Bill, editors, Genetic Programming Theory and Practice VI, New York, New York, USA. Springer.

Analytic Information Server (AIS)

AIS Component Systems

  • Smartbase Engine
  • QT C++ Libraries
  • MySQL Relational Database
  • AIS Lisp Libraries
  • Rapid Analytic Demo IDE