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

330
RESULTS


Show sorted alphabetically

Show sorted alphabetically

SHOW DETAILS
up-solid down-solid
eye
Title
Date Reviewed
Creator
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-016
( 1 reviews )
Topics: random, sequences, sequence, definition, theorem, recursive, sequential, infinite, set, function,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-667
Topics: tms, node, function, die, rup, term, nodes, clause, slot, truth, tms node, equality system, rup...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-353
Topics: imperative, sussman, steele, lambda, function, variables, ultimate, variable, assignment, epsilon,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-259
Topics: conniver, lisp, possibilities, datum, returns, context, data, variables, list, function,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-101
Topics: program, box, vertex, lines, vidisector, scanning, acceptance, gradient, function, length, scanning...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1635
Topics: svm, correlation, basis, reconstruction, functions, sparse, error, kernels, image, kernel, basis...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-223
Topics: tbe, tha, tor, lisp, tern, function, thu, arc, operator, light pen, floating point, hash code, top...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1280
Topics: network, solution, figure, image, nonlinear, continuation, smoothing, experiments, resistive,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-444
Topics: lisp, machine, stack, function, invisible, data, variables, garbage, microcode, pointer, lisp...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: cadr :: chinual 5thEd Jan83 :: chinualJan83 06 Symbols
Topics: symbol, symbols, returns, lisp, cell, function, property, uninterned, interned, list, property...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-1569
Topics: algorithm, optimization, maxima, step, genetic, local, procedure, algorithms, function, search,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-598
Topics: dpl, parameters, rectangle, manual, type, instance, wire, transform, prototype, deflayout, dpl...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-037
Topics: cons, theorem, lemma, simf, subs, functional, null, equation, const, function, functional equation,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-1587
Topics: learner, learning, target, function, era, data, probability, functions, approximation, examples,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-604
Topics: plan, temporal, function, data, die, loop, overlay, chapter, roles, specialization, data flow,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-710
Topics: set, symmetry, subset, die, axioms, equals, isomorphism, symmetric, essential, notion, set theory,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-1424
Topics: network, networks, prediction, learning, segmentation, values, algorithm, algorithms, temporal,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: cadr :: chinual 6thEd Jan84 :: chineualJun84 13 StackGroups
Topics: stack, frame, group, returns, pdl, function, arc, current, slack, error, stack group, current...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: cadr :: chinual 5thEd Jan83 :: chinualJan83 28 AsmLang
Topics: instruction, function, lisp, instructions, destination, stack, move, code, disassembled, values,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tm :: MIT-LCS-TM-616
Topics: proof, protocol, assumption, hada, encryption, random, selects, encrypt, tanaka, knowledge, hada...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-732
Topics: polynomial, lemma, algorithm, polynomials, decoding, degree, solomon, algebraic, satisfying,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-1003
Topics: protein, prediction, structure, secondary, vector, neural, algorithm, constraints, markov, svm,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-092
Topics: integral, integrals, contour, wanderer, integration, limit, macsyma, infinite, functions,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-716
Topics: requests, probability, nodes, caches, cache, hash, abstract, node, protocol, total number, hash...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-024
Topics: command, values, map, request, execute, del, data, function, variable, max, execute command,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: lcs :: tr :: MIT-LCS-TR-971
Topics: algorithm, lpsm, loss, polling, energy, psm, learning, latency, slowdown, expert, loss function,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: rle pdp1 :: memos :: pdp48 FORTRAN nov71
Topics: mode, integer, statement, array, declaration, real, function, double, complex, program, double...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-1396
Topics: recurrent, network, networks, output, function, input, learning, segmentation, feedforward,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-034
Topics: eval, rfse, lambda, property, lisp, function, bracket, system, pointer, denotes, system eval, rfse...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1342
Topics: grammar, rewriting, equivalence, nonterminal, term, congruence, canonical, productions, finite,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1066
Topics: optical, flow, image, spatial, matching, algorithm, derivative, differential, algorithms,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-879
Topics: objects, observer, object, classification, generating, class, constraints, classes, natural,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1287
Topics: effective, probability, gaussian, noise, function, distribution, variance, potential, likelihood,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-094
Topics: function, values, checker, parameter, parameters, position, positions, sets, strongest, strength,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1605
Topics: triangulation, graph, clique, values, variables, cliques, junction, optimal, triangulations,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1288
Topics: functions, approximation, space, function, lemma, convergence, fourier, sobolev, spaces, transform,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-008
Topics: functions, defined, expression, turing, function, recursive, expressions, combine, conditional,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-1548
Topics: entropy, model, alignment, image, density, sample, likelihood, estimate, parzen, figure, viola...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-230
Topics: intensity, lines, values, intensities, figure, error, function, scan, feature, predicate, error...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-258
Topics: function, unction, evaluates, identifier, recursive, pattern, schemata, data, schema, theorems,...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1514
Topics: learner, function, data, error, optimal, approximation, target, functions, active, algorithm, data...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AIM-1554
Topics: rivalry, binocular, phase, okn, phases, dominance, stimuli, visual, stimulus, contrast, binocular...
From the bitsavers.org collection, a scanned-in computer-related document. mit :: ai :: aim :: AITR-1650
Topics: algorithm, vertices, correspondence, color, surface, shape, figure, triangle, surfaces,...
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-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-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-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 :: 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-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-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 :: 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 :: 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 :: 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-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-093
Topics: induction, proof, truncation, recursion, structural, function, program, recursive, prove,...
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-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-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-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 :: 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 :: 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 :: 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 :: 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 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 :: 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 :: tr :: MIT-LCS-TR-131
Topics: recursive, function, theorem, theory, formula, deduction, definition, predicate, formulas,...
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-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-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-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 :: 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-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 :: AIM-201
Topics: schema, recursive, schemas, program, function, predicate, equivalence, theorem, proof,...
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,...