X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Patent (1305) 1305
Journal Article (298) 298
Book / eBook (87) 87
Conference Proceeding (36) 36
Book Chapter (19) 19
Government Document (7) 7
Dissertation (3) 3
Book Review (1) 1
Magazine Article (1) 1
Newspaper Article (1) 1
Publication (1) 1
Trade Publication Article (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
performing operations (1305) 1305
transporting (1305) 1305
machine tools (1275) 1275
metal-working not otherwise provided for (1275) 1275
combined operations (1262) 1262
other working of metal (1262) 1262
universal machine tools (1262) 1262
mechanical engineering (657) 657
heating (653) 653
blasting (652) 652
lighting (652) 652
weapons (652) 652
general tagging of cross-sectional technologies spanning over several sections of the ipc (415) 415
general tagging of new technological developments (415) 415
technical subjects covered by former uspc cross-reference art collections [xracs] and digests (415) 415
mechanical metal-working without essentially removingmaterial (375) 375
punching metal (375) 375
technical subjects covered by former uspc (312) 312
engineering elements and units (308) 308
general measures for producing and maintaining effectivefunctioning of machines or installations (308) 308
thermal insulation in general (308) 308
technical subjects covered by former us classification (306) 306
cladding or plating by soldering or welding (228) 228
cutting by applying heat locally, e.g. flame cutting (228) 228
soldering or unsoldering (228) 228
welding (228) 228
working by laser beam (228) 228
working or processing of sheet metal or metal tubes, rods orprofiles without essentially removing material (221) 221
engine plants in general (194) 194
machines or engines in general (194) 194
steam engines (194) 194
technologies or applications for mitigation or adaptation againstclimate change (148) 148
casting (145) 145
powder metallurgy (144) 144
chemistry (142) 142
metallurgy (141) 141
computer science (138) 138
making metallic powder (128) 128
manufacture of articles from metallic powder (128) 128
working metallic powder (128) 128
additive manufacturing technology (126) 126
additive manufacturing, i.e. manufacturing ofthree-dimensional [3-d] objects by additive deposition, additiveagglomeration or additive layering, e.g. by 3-d printing,stereolithography or selective laser sintering (126) 126
combinations or associations of metal-working machines, notdirected to a particular result (126) 126
details, components, or accessories for machine tools, e.g.arrangements for copying or controlling (126) 126
machine tools in general characterised by the construction ofparticular details or components (126) 126
non-positive displacement machines or engines, e.g. steamturbines (121) 121
working of plastics (119) 119
working of substances in a plastic state, in general (119) 119
physics (115) 115
after-treatment of the shaped products, e.g. repairing (111) 111
shaping of material in a plastic state, not otherwise providedfor (111) 111
shaping or joining of plastics (111) 111
heat exchange in general (103) 103
indexing schemes relating to engines or pumps in varioussubclasses of classes f01-f04 (101) 101
details of heat-exchange and heat-transfer apparatus, ofgeneral application (99) 99
bearings (95) 95
climate change mitigation technologies in the production orprocessing of goods (95) 95
elements or crankshaft mechanisms (95) 95
flexible shafts (95) 95
rotary bodies other than gearing elements (95) 95
shafts (95) 95
decorative arts (93) 93
making forged or pressed metal products, e.g. horse-shoes,rivets, bolts or wheels (92) 92
indexing scheme for aspects relating tonon-positive-displacement machines or engines, gas-turbines orjet-propulsion plants (91) 91
combustion engines (90) 90
hot-gas or combustion-product engine plants (90) 90
machines, apparatus or tools for artistic work, e.g. forsculpturing, guilloching, carving, branding, inlaying (89) 89
mathematical logic (86) 86
algebra of logic (84) 84
logic, universal (84) 84
symbolic and mathematical logic (84) 84
symbolic logic (84) 84
algorithms (77) 77
heat-exchange apparatus, not provided for in another subclass,in which the heat-exchange media do not come into direct contact (76) 76
logic, symbolic and mathematical (75) 75
mathematics (75) 75
aircraft (72) 72
manipulators (72) 72
aviation (71) 71
computer science, theory & methods (71) 71
cosmonautics (71) 71
hand tools (71) 71
portable power-driven tools (71) 71
boring (70) 70
turning (70) 70
designing, manufacturing, assembling, cleaning, maintaining orrepairing aircraft, not otherwise provided for (69) 69
ground or aircraft-carrier-deck installations speciallyadapted for use in connection with aircraft (69) 69
handling, transporting, testing or inspecting aircraftcomponents, not otherwise provided for (69) 69
computers (65) 65
artificial intelligence (64) 64
turing machines (64) 64
devices for fastening or securing constructional elements ormachine parts together, e.g. nails, bolts, circlips, clamps,clips, wedges, joints or jointing (63) 63
brakes (59) 59
clutches (59) 59
couplings for transmitting rotation (59) 59
gearing (56) 56
forge furnaces (55) 55
forging (55) 55
hammering (55) 55
pressing metal (55) 55
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Mathematical Sciences - Stacks (18) 18
Gerstein Science - Stacks (14) 14
Collection Dvlpm't (Acquisitions) - Vendor file (6) 6
Engineering & Comp. Sci. - Stacks (5) 5
UofT at Mississauga - Stacks (5) 5
UTL at Downsview - May be requested (4) 4
UofT at Scarborough - Stacks (3) 3
Trinity College (John W Graham) - Storage (2) 2
UofT at Mississauga - May be requested in 6-10 wks (2) 2
Engineering & Comp. Sci. - Missing (1) 1
Engineering & Comp. Sci. - Not Returned (1) 1
Physics - Stacks (1) 1
St. Michael's College (John M. Kelly) - 2nd Floor (1) 1
Thomas Fisher Rare Book - Rare Book (1) 1
Trinity College (John W Graham) - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (1273) 1273
German (1270) 1270
French (545) 545
Swedish (10) 10
Chinese (6) 6
Japanese (5) 5
Spanish (5) 5
Polish (3) 3
Arabic (1) 1
Korean (1) 1
Portuguese (1) 1
Russian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2013, ISBN 0123869803, xxi, 914
... & Mathematics, also from the AAP, readers will find many of the most significant contributions from the four-volume set of the Collected Works of A. M. Turing... 
Computer science | Logic, Symbolic and mathematical | Turing, Alan Mathison, 1912-1954 | Mathematics | Enigma cipher system | Mathematicians | Turing, Alan Mathison
Book
Neural networks, ISSN 0893-6080, 2019, Volume 110, pp. 116 - 130
Traditional Turing Machines (TMs) are symbolic whose hand-crafted representations are static and limited... 
Universal turing machine | General-purpose visual learning | Hierarchical representation | Neural network | Autonomous navigation | NEUROSCIENCES | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Journal Article
Theoretical Computer Science, ISSN 0304-3975, 10/2015, Volume 603, pp. 23 - 42
We discuss the formalization, in the Matita Theorem Prover, of basic results on multi-tapes Turing machines, up to the existence of a (certified... 
Universal machine | Turing machines | Interactive theorem proving | Certified correctness | Matita | Automatic verification | COMPUTER SCIENCE, THEORY & METHODS | VERIFICATION | Repositories | State of the art | Theorem proving | Interactive | Benchmarking | Mechanization | Complexity theory
Journal Article
IEEJ Transactions on Electrical and Electronic Engineering, ISSN 1931-4973, 01/2018, Volume 13, Issue 1, pp. 147 - 156
Journal Article
2011, Turing centenary ed., ISBN 1466505192, xiv, 224
Book
Theoretical Computer Science, ISSN 0304-3975, 2009, Volume 410, Issue 4, pp. 443 - 450
We survey some work concerned with small universal Turing machines, cellular automata, tag systems, and other simple models of computation... 
Tag systems | Cellular automata | Simulation | Computational complexity | Small universal Turing machines | Polynomial time | CELLULAR-AUTOMATA | HALTING PROBLEM | SOLVABILITY | UNDECIDABILITY | BUSY BEAVER COMPETITION | LEFT INSTRUCTIONS | COMPUTER SCIENCE, THEORY & METHODS | FRONTIER | Surveys | Robots
Journal Article
Philosophical Transactions: Mathematical, Physical and Engineering Sciences, ISSN 1364-503X, 7/2012, Volume 370, Issue 1971, pp. 3319 - 3339
.... None of the results are new from the point of view of computability theory. We now propose a self-modifying register machine as a model of computation in which we can effectively deal with the self-reproduction and in which new offsprings can be activated as independent organisms. 
Computer viruses | Turing machines | Blueprints | Musical register | Mathematical transformations | Mathematics | Recursion theory | Recursion | Programming languages | Computability | theory of computing | Articles | COMPUTER SCIENCE | Universal turing machine | Virus | Recursion theorem | Self-reproduction | Auto-modification | Stored register machine | recursion theorem | auto-modification | MULTIDISCIPLINARY SCIENCES | universal Turing machine | self-reproduction | stored register machine | virus
Journal Article
Fundamenta Informaticae, ISSN 0169-2968, 2009, Volume 91, Issue 1, pp. 123 - 144
We present universal Turing machines with state-symbol pairs of (5, 5), (6, 4), (9, 3) and (1 5, 2). These machines simulate our new variant of tag system... 
Bi-tag systems | Small universal Turing machine | Computational complexity | Post system | 2-tag system | Polynomial time | COMPUTER SCIENCE, SOFTWARE ENGINEERING | MATHEMATICS, APPLIED | COMPLEXITY | polynomial time | bi-tag systems | small universal Turing machine | computational complexity
Journal Article
Theoretical Computer Science, ISSN 0304-3975, 10/2006, Volume 362, Issue 1-3, pp. 171 - 195
We present deterministic polynomial time universal Turing machines (UTMs) with state-symbol pairs of (3, 11), (5, 7), (6, 6), (7, 5) and (8, 4... 
Small universal Turing machine | Universality | Computational complexity | Polynomial time | universality | polynomial time | COMPUTER SCIENCE, THEORY & METHODS | small universal Turing machine | computational complexity | Computer science
Journal Article
Theoretical Computer Science, ISSN 0304-3975, 2011, Volume 412, Issue 1, pp. 57 - 67
Journal Article
2012, ISBN 9780691155746
Book
Theoretical Computer Science, ISSN 0304-3975, 2011, Volume 412, Issue 1, pp. 178 - 182
.... There are various criteria of simplicity for universal Turing machines. Probably the most popular one is to count the number of states/symbols... 
Provability | Simplicity | Universal Turing machine | COMPUTER SCIENCE, THEORY & METHODS | NUMBERS | COMPLEXITY | Turing machines | C (programming language) | Symbols | Set theory | Criteria | Counting | Arithmetic
Journal Article
中国科学:物理学、力学、天文学英文版, ISSN 1674-7348, 2013, Volume 56, Issue 5, pp. 941 - 946
Journal Article
Theoretical Computer Science, ISSN 0304-3975, 2011, Volume 412, Issue 30, pp. 3856 - 3865
Journal Article
Journal Article
QUANTUM INFORMATION & COMPUTATION, ISSN 1533-7146, 03/2020, Volume 20, Issue 3-4, pp. 213 - 229
The model of local Turing machines is introduced, including classical and quantum ones, in the framework of matrix-product states... 
Matrix-product states | QUANTUM SCIENCE & TECHNOLOGY | Turing machines | UNIVERSAL QUANTUM | COMPUTER SCIENCE, THEORY & METHODS | COMPUTATION | PHYSICS, MATHEMATICAL | PHYSICS, PARTICLES & FIELDS
Journal Article
2004, ISBN 0198250800, 613
.... The astonishing output of his tragically short life included the universal Turing Machine (the theoretical foundation of all modern computing... 
Electronic data processing | Cognitive science
Book
2016, Theory and Applications of Computability, ISBN 9783642319327, 1
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine... 
Theory of Computation | Mathematics of Computing | Mathematical Logic and Foundations | Computer Science | Computable functions
eBook
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.