X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Patent (322) 322
Journal Article (240) 240
Book / eBook (56) 56
Conference Proceeding (37) 37
Publication (28) 28
Book Chapter (15) 15
Dissertation (12) 12
Newspaper Article (7) 7
Paper (3) 3
Government Document (2) 2
Magazine Article (2) 2
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
fixed constructions (249) 249
electricity (216) 216
basic electric elements (185) 185
inductances (184) 184
magnets (184) 184
selection of materials for their magnetic properties (184) 184
transformers (184) 184
performing operations (126) 126
transporting (126) 126
keys (92) 92
locks (92) 92
safes (92) 92
window or door fittings (92) 92
machine tools (79) 79
metal-working not otherwise provided for (79) 79
physics (77) 77
combinations or associations of metal-working machines, notdirected to a particular result (75) 75
constructive induction (75) 75
details, components, or accessories for machine tools, e.g.arrangements for copying or controlling (75) 75
machine tools in general characterised by the construction ofparticular details or components (75) 75
mathematics (72) 72
earth drilling (68) 68
mining (68) 68
constructive mathematics (63) 63
earth drilling, e.g. deep drilling (62) 62
obtaining oil, gas, water, soluble or meltable materials or aslurry of minerals from wells (62) 62
general tagging of cross-sectional technologies spanning over several sections of the ipc (58) 58
general tagging of new technological developments (58) 58
technical subjects covered by former uspc cross-reference art collections [xracs] and digests (58) 58
accessories therefor (55) 55
handcuffs (53) 53
building (48) 48
algorithms (44) 44
bolts or fastening devices for wings, specially for doors orwindows (44) 44
technical subjects covered by former uspc (44) 44
computer science, artificial intelligence (42) 42
computer science (39) 39
logic (38) 38
conversion or distribution of electric power (37) 37
generation (37) 37
technical subjects covered by former us classification (37) 37
testing (34) 34
mechanical engineering (33) 33
blasting (32) 32
heating (32) 32
lighting (32) 32
measuring (32) 32
weapons (32) 32
computer science, theory & methods (27) 27
artificial intelligence (25) 25
machine learning (25) 25
engineering elements and units (21) 21
general measures for producing and maintaining effectivefunctioning of machines or installations (21) 21
mathematical logic (21) 21
mathematics, applied (21) 21
philosophy (21) 21
thermal insulation in general (21) 21
analysis (20) 20
arrangements, systems or apparatus for checking not providedfor elsewhere (20) 20
checking-devices (20) 20
doors, windows, shutters, or roller blinds in general (20) 20
fixed or movable closures for openings in buildings, vehicles,fences or like enclosures in general, e.g. doors, windows,blinds, gates (20) 20
generating random numbers (20) 20
ladders (20) 20
registering or indicating the working of machines (20) 20
time or attendance registers (20) 20
vehicles in general (20) 20
voting or lottery apparatus (20) 20
buildings or like structures for particular purposes (18) 18
fencing (18) 18
masts (18) 18
mathematical theorems (18) 18
swimming or splash baths or pools (18) 18
tents or canopies, in general (18) 18
computability (17) 17
foundations (17) 17
mathematical induction (17) 17
ceilings (16) 16
construction of roads, railways, or bridges (16) 16
floors (16) 16
general building constructions (16) 16
human necessities (16) 16
index medicus (16) 16
insulation or other protection of buildings (16) 16
roofs (16) 16
studies (16) 16
walls, e.g. partitions (16) 16
constructive empiricism (15) 15
logic, symbolic and mathematical (15) 15
technologies or applications for mitigation or adaptation againstclimate change (15) 15
classification (14) 14
humans (14) 14
induction (14) 14
mathematical analysis (14) 14
neural networks (14) 14
detecting masses or objects (13) 13
geophysics (13) 13
gravitational measurements (13) 13
hydraulic engineering (13) 13
logical theorems (13) 13
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Gerstein Science - Stacks (27) 27
Mathematical Sciences - Stacks (14) 14
Engineering & Comp. Sci. - Stacks (11) 11
UofT at Mississauga - Stacks (8) 8
UTL at Downsview - May be requested (7) 7
UofT at Scarborough - Stacks (4) 4
Robarts - Stacks (3) 3
Trinity College (John W Graham) - Stacks (3) 3
Architecture Landscape (Shore + Moffat) - Stacks (2) 2
Collection Dvlpm't (Acquisitions) - Closed Orders (2) 2
Collection Dvlpm't (Acquisitions) - Vendor file (2) 2
OISE - Stacks (2) 2
Victoria University E.J. Pratt - Stacks (2) 2
Architecture Landscape (Shore + Moffat) - Circulation Desk (1) 1
Engineering & Comp. Sci. - Missing (1) 1
University College (Laidlaw) - Stacks (1) 1
UofT at Mississauga - May be requested in 6-10 wks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (452) 452
French (337) 337
German (59) 59
Arabic (7) 7
Japanese (5) 5
Czech (2) 2
Lithuanian (2) 2
Romanian (2) 2
Russian (2) 2
Korean (1) 1
Portuguese (1) 1
Spanish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2011, ISBN 1420093649, xxv, 893
Book
Archive for Mathematical Logic, ISSN 0933-5846, 2/2017, Volume 56, Issue 1, pp. 43 - 49
We give a constructive proof of the open induction principle on real numbers, using bar induction and enumerative open sets. We comment the algorithmic content... 
Constructive analysis | Algebra | Open induction | Real numbers | Mathematics, general | Mathematics | Bar induction | Mathematical Logic and Foundations | 03F55 | MATHEMATICS | LOGIC | Mathematical logic | Algorithms | Topology | Archives | Proving | Logic in Computer Science | Computer Science
Journal Article
Annals of Pure and Applied Logic, ISSN 0168-0072, 08/2019, Volume 170, Issue 8, pp. 867 - 890
We compare Brouwer's bar theorem and Spector's bar recursion for the lowest type in the context of constructive reverse mathematics. To this end, we... 
Constructive reverse mathematics | Continuity principle | Bar induction | Bar recursion | Fan theorem | Intuitionistic mathematics | Information science
Journal Article
2012 27th Annual IEEE Symposium on Logic in Computer Science, ISSN 1043-6871, 06/2012, pp. 581 - 585
Many a concrete theorem of abstract algebra admits a short and elegant proof by contradiction but with Zorn's Lemma (ZL). A few of these theorems have recently... 
Computer science | constructive algebra | open induction | intutionistic logic | Zorn's Lemma | Set theory | Polynomials | Modules (abstract algebra) | Topology | Hilbert's Programme
Conference Proceeding
Logical Methods in Computer Science, ISSN 1860-5974, 09/2013, Volume 9, Issue 3
Many a concrete theorem of abstract algebra admits a short and elegant proof by contradiction but with Zorn's Lemma (ZL). A few of these theorems have recently... 
Zorn's Lemma | Hilbert's programme | Intuitionistic logic | Open induction | Constructive algebra | TOPOLOGY | FIELDS | MAXIMAL-IDEALS | THEOREM | RINGS | intuitionistic logic | CONSTRUCTIVE MATHEMATICS | LOGIC | constructive algebra | ABSTRACT ALGEBRA | NULLSTELLENSATZE | FOUNDATION | open induction | VALUATIONS | COMPUTER SCIENCE, THEORY & METHODS | Hilbert's Programme
Journal Article
Analele Universităţii "Eftimie Murgu" Reşiţa: Fascicola I, Inginerie, ISSN 1453-7397, 11/2018, Volume XXV, Issue 2, pp. 163 - 174
The paper analyzes the influence of the slots shape pertaining to induction motor armatures on the temperature development within its structure. The analysis... 
induction motor | constructive optimization | thermal analysis
Journal Article
Machine Learning, ISSN 0885-6125, 2/2005, Volume 58, Issue 2, pp. 179 - 216
Journal Article
Electrical Engineering & Electromechanics, ISSN 2074-272X, 10/2017, Issue 5, pp. 14 - 22
Journal Article
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, ISSN 0948-695X, 2010, Volume 16, Issue 18, pp. 2535 - 2555
We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an... 
COMPUTER SCIENCE, SOFTWARE ENGINEERING | REAL-NUMBER COMPUTATION | constructive analysis | COMPUTER SCIENCE, THEORY & METHODS | realisability | program extraction | coinduction
Journal Article
Journal Article
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), ISSN 0302-9743, 2004, Volume 3201, pp. 192 - 204
We present a method of constructive induction aimed at learning tasks involving multivariate time series data. Using metafeatures, the scope of attribute-value... 
Constructive induction | Machine learning | Time series | constructive induction | time series | machine learning | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2010, Volume 6171, pp. 442 - 449
Conference Proceeding
Machine Learning, ISSN 0885-6125, 4/2002, Volume 47, Issue 1, pp. 63 - 89
Journal Article
Machine Learning, ISSN 0885-6125, 1994, Volume 14, Issue 2, pp. 139 - 168
The proposed method for constructive induction searches for concept descriptions in a representation space that is being iteratively improved. In each... 
Concept learning | diagrammatic visualization | constructive induction | decision lists | decision trees | decision rules | DIAGRAMMATIC VISUALIZATION | CONSTRUCTIVE INDUCTION | DECISION LISTS | DECISION TREES | CONCEPT LEARNING | NEUROSCIENCES | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | DECISION RULES | Decision-making | Analysis | Methods
Journal Article
Information Technology and Control, ISSN 1392-124X, 2010, Volume 39, Issue 3, pp. 211 - 219
This paper investigates the ability of an agent to recognize unseen goal states in an observable grid-world environment. This ability is important in order to... 
Learning | Agent | Operators | Simulation | Bias | Constructive induction | Grid-world | Reinforcement | Supervised | Adaptive behavior | agent | adaptive behavior | simulation | COMPUTER SCIENCE, INFORMATION SYSTEMS | learning | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | grid-world | supervised | operators | bias | constructive induction | reinforcement | AUTOMATION & CONTROL SYSTEMS
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2009, Volume 5755, pp. 440 - 449
Conference Proceeding
Mathematical Logic Quarterly, ISSN 0942-5616, 06/2006, Volume 52, Issue 3, pp. 253 - 258
Bar Induction occupies a central place in Brouwerian mathematics. This note is concerned with the strength of Bar Induction on the basis of Constructive... 
Brouwerian principles | Constructive set theory | proof‐theoretic strength | Bar Induction | Proof-theoretic strength | Bar induction | MATHEMATICS | constructive set theory | bar induction | proof-theoretic strength
Journal Article
Pattern Recognition Letters, ISSN 0167-8655, 1999, Volume 20, Issue 11, pp. 1219 - 1230
The purpose of this paper is to present and evaluate a heuristic algorithm for learning Bayesian networks for clustering. Our approach is based upon improving... 
Learning from incomplete data | Bound and Collapse method | Constructive induction | Simulated annealing | Bayesian networks | Clustering | EM algorithm | learning from incomplete data | simulated annealing | constructive induction | clustering | bound and collapse method | LIKELIHOOD | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Journal Article
Machine Learning, ISSN 0885-6125, 1994, Volume 14, Issue 2, pp. 193 - 217
The representation formalism as well as the representation language is of great importance for the success of machine learning. The representation formalism... 
Constructive induction | learning most specific generalizations | restrictions of first-order logic for learning | CONSTRUCTIVE INDUCTION | RESTRICTIONS OF 1ST-ORDER LOGIC FOR LEARNING | LEARNING MOST SPECIFIC GENERALIZATIONS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | Algorithms
Journal Article
No results were found for your search.

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