Skip to main content

The BITSAVERS.ORG Documents Library: Massachusetts Institute of Technology

Massachusetts Institute of Technology (MIT) is a private research university located in Cambridge, Massachusetts, United States. MIT has five schools and one college, containing a total of 32 academic departments, with a strong emphasis on scientific, engineering, and technological education and research, and is considered one of the most prestigious universities in the world.



rss RSS

379
RESULTS


Show sorted alphabetically

Show sorted alphabetically

SHOW DETAILS
up-solid down-solid
eye
Title
Date Published
Creator
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-201
Topics: schema, recursive, schemas, program, function, predicate, equivalence, theorem, proof,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1599
Topics: vector, centers, rbf, gaussian, support, algorithm, function, classical, error, support vector,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: cadr :: chinual 6thEd Jan84 :: chineualJun84 index
Topics: isp, array, manual, machine, lisp, pathnames, host, sys, loop, file, isp machine, machine manual,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: cadr :: chinual 6thEd Jan84 :: chineualJun84 09 GenSeqFns
Topics: sequence, elements, predicate, returns, clement, arc, element, function, key, functions, predicate...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-493
Topics: description, physiological, physiology, anatomical, functional, frame, implementation, fallopian,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: cadr :: chinual 4thEd Jul81
Topics: lisp, function, returns, list, symbol, manual, array, machine, functions, variable, lisp machine,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-503
Topics: adversary, protocol, function, garbled, secure, input, players, player, output, simulator, secure...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-644
Topics: cursor, supdup, remote, system, editing, graphics, characters, local, terminal, protocol, local...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-160
Topics: function, transform, servo, tne, fourier, frequency, tho, intensity, values, vidisector, fourier...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-304
Topics: series, zeta, term, ratio, formula, splitting, transform, translation, convergence, arctan, term...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-833
Topics: filter, regularization, gaussian, yuille, poggio, optimal, convolution, edge, data, function, edge...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-1321
Topics: concurrent, object, smalltalk, move, method, label, function, mdp, node, optimist, concurrent...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-862
Topics: grasp, compliance, grasps, stiffness, stable, center, virtual, springs, grasped, finger, compliance...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-646
Topics: connection, nodes, node, cell, memory, function, operations, instructions, machine, message,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1642
Topics: matlab, ppserver, matrix, mitmatlab, ddense, distributed, parallel, matrices, array, sparse,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-1457
Topics: data, models, rbf, model, linear, prediction, chapter, networks, nonlinear, modeling, basis...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1570
Topics: belief, field, networks, sigmoid, bound, approximation, likelihood, markov, lower, statistical,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-168
Topics: ana, tne, theorem, evaluates, lor, theorems, pattern, type, statement, function, type segment,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-232
Topics: reflectivity, image, solution, intensity, surface, singular, characteristics, equations, object,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-436a
Topics: actor, actors, events, event, ordering, arrival, computation, activation, messenger, finite,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: cadr :: chinual 6thEd Jan84 :: chineualJun84 18 Macros
Topics: macro, form, macros, arc, function, die, lisp, expander, isp, setf, machine manual, isp machine,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-622
Topics: stream, streamlt, filter, sdep, input, function, items, filters, compiler, output, sdep function,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-620
Topics: stream, filter, streamit, input, output, items, void, data, message, init, round robin, work...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-329
Topics: qualitative, derivative, algorithms, behavior, functional, function, reasoning, mathematical,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-949
Topics: analysis, nodes, node, method, java, objects, parameter, methods, graph, reachable, parameter node,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-064
Topics: loop, graph, program, execution, node, cycle, sequence, input, graphs, nodes, program graph,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-244
Topics: loop, flow, loops, data, driven, computation, record, input, computations, corresponding, data...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-819
Topics: node, chord, nodes, successor, finger, network, identifier, lookup, query, protocol, chord system,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: cadr :: chinual 5thEd Jan83 :: chinualJan83 04 FlowOfCtl
Topics: form, prog, tag, return, returns, values, lisp, special, iteration, function, special form, machine...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-887
Topics: query, algorithm, hash, protocol, consistent, server, queries, proofs, proof, consistency,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-093
Topics: induction, proof, truncation, recursion, structural, function, program, recursive, prove,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-120
Topics: array, mode, amove, core, destination, arrays, bytes, pointers, device, coordinates
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1102a
Topics: printing, output, format, lisp, conditional, pretty, width, function, logical, printed, pretty...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: cadr :: Weinreb Moon-Lisp Machine Manual Jan 1979
Topics: lisp, returns, function, array, symbol, preliminary, machine, manual, functions, list, lisp...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-196
Topics: functions, integral, hypergeometric, series, hgf, slater, function, analytic, continuation,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-854
Topics: method, resolved, jacobian, joint, manipulator, proposed, kinematic, motion, path, equation,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-056
Topics: proof, theorem, program, theorems, formula, elements, proofs, fvf, geometry, heuristic, proof...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1654
Topics: function, regularization, kernel, functions, rkhs, svm, empirical, srm, data, approximation, loss...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-647
Topics: discrete, particle, vacuum, minsky, abhors, momentum, field, lattice, finite, particles, nature...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: whirlwind :: M-series :: M-2756 Smoothing of Samples of a Function and its Derivative in the Presence of Noise Apr54
Topics: derivative, variance, samples, error, function, values, distribution, smoothing, measured,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1140
Topics: functions, radial, function, approximation, regularization, gaussian, basis, equation, linear,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-448
Topics: reconstruction, sin, ray, scanning, integral, fan, detectors, sampling, beam, arbitrary, inner...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1254
Topics: algorithm, nondeterministic, minimization, gradient, poggio, descent, algorithms, function, noise,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-105
Topics: comparator, theorem, network, partial, assignments, assignment, sorting, injective, valued, set,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-216
Topics: algebra, denote, fron, set, clone, conplete, algebraic, naps, lambda, ranked, ranked alphabet,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-737
Topics: vernier, cues, stereograms, disparity, random, stereo, figure, algorithm, spacing, array, hidden...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-1411
Topics: surface, images, algorithm, function, iteration, estimated, image, algorithms, reflectance, albedo,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1632
Topics: regularization, correlation, function, svm, regression, kernel, functions, gaussian, kernels, data,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-463
Topics: image, surface, pace, terrain, shaded, space, contour, reflectance, algorithm, images, object...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-958
Topics: oss, series, function, elements, items, macro, error, output, values, expressions, oss series, oss...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: cadr :: chinual 6thEd Jan84 :: chineualJun84 03 Evaluation
Topics: tlie, function, binding, arc, tlic, values, variable, symbol, variables, lexical, multiple values,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: cadr :: chinual 6thEd Jan84 :: chineualJun84 31 AsmLang
Topics: instruction, function, instructions, arc, lisp, move, stack, destination, foo, code, machine...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-588
Topics: automaton, cluster, behavior, client, automata, synchronizer, actions, node, array, theorem, fair...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-321
Topics: type, program, vimval, function, operators, node, set, operator, returns, types, type checking,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-858
Topics: object, objects, transform, ownership, type, upgrade, system, class, tstack, owner, type system,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-079
Topics: reflectivity, image, solution, intensity, singular, surface, equations, characteristics, object,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: rle pdp1 :: memos :: pdp38 newInstrs jun66
Topics: mode, process, exec, program, pointer, addressing, instruction, debug, instructions, trap, process...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-148
Topics: transition, subset, tho, subm, initial, accepting, convert, spontaneous, program, transitive,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-122
Topics: scene, tracking, displacement, sin, function, consider, integrals, width, correlation, compute
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-958a
Topics: oss, series, function, elements, macro, items, output, values, expressions, functions, oss macro,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-340
Topics: utility, urp, preference, qualitative, modeling, knowledge, independence, reasoning,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: rle pdp1 :: memos :: pdp33 PDP1X IO mar66
Topics: function, execution, variant, lines, mode, peripheral, timing, controller, interval, signal, wait...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-736
Topics: channel, path, configuration, homotopy, paths, construction, faces, equivalence, workspace, convex,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-1577
Topics: foe, image, output, figure, chip, ccd, gate, circuit, input, voltage, foe chip, floating gate,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: cadr :: chinual 6thEd Jan84 :: chineualJun84 29 Processes
Topics: process, scheduler, function, arc, operation, processes, returns, lock, stack, isp, stack group,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-429
Topics: programs, logic, program, dynamic, proof, modal, axioms, correctness, programming, execution,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-014
Topics: sequent, theorem, formulae, functions, arrow, atomic, function, scanning, algorithm, rule, scanning...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-023
Topics: scanning, functions, document, compiled, triplet, agent, function, dod, laboratory, print, scanning...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-067
Topics: lisp, edit, file, functions, print, scanning, teletype, returns, evalread, function, lisp system,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: cadr :: chinual 5thEd Jan83 :: chinualJan83 17 Macros
Topics: macro, form, lisp, macros, setf, function, defmacro, backquote, forms, expansion, machine manual,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-536
Topics: function, source, bound, redundancy, huffman, upper, convex, maximum, variation, assumes, extreme...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-753
Topics: muse, user, tool, computation, interactive, speech, function, programmer, image, response, response...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-619
Topics: lcl, specification, module, ensures, abstract, claims, type, specifications, program, bool, ensures...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-374
Topics: algorithm, flow, vertex, parallel, vertices, edge, algorithms, maximum, lemma, subroutine, maximum...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: cadr :: chinual 6thEd Jan84 :: chineualJun84 17 TheCompiler
Topics: file, compiler, qfasl, arc, warnings, function, macro, compile, form, variable, qfasl file, machine...