X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (442) 442
Patent (322) 322
Book / eBook (56) 56
Conference Proceeding (39) 39
Publication (34) 34
Book Chapter (18) 18
Dissertation (12) 12
Book Review (7) 7
Newspaper Article (6) 6
Government Document (2) 2
Magazine Article (2) 2
Paper (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
transformers (185) 185
inductances (184) 184
magnets (184) 184
selection of materials for their magnetic properties (184) 184
mathematics (164) 164
performing operations (126) 126
transporting (126) 126
constructive mathematics (99) 99
logic (99) 99
keys (92) 92
locks (92) 92
safes (92) 92
window or door fittings (92) 92
computer science (86) 86
machine tools (79) 79
metal-working not otherwise provided for (79) 79
physics (79) 79
algorithms (75) 75
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
earth drilling (68) 68
mathematics, applied (68) 68
mining (68) 68
earth drilling, e.g. deep drilling (62) 62
obtaining oil, gas, water, soluble or meltable materials or aslurry of minerals from wells (62) 62
computer science, theory & methods (58) 58
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
computer science, artificial intelligence (52) 52
building (48) 48
philosophy (45) 45
analysis (44) 44
bolts or fastening devices for wings, specially for doors orwindows (44) 44
technical subjects covered by former uspc (44) 44
algebra (39) 39
conversion or distribution of electric power (37) 37
generation (37) 37
technical subjects covered by former us classification (37) 37
index medicus (35) 35
testing (34) 34
artificial intelligence (33) 33
mathematical logic and foundations (33) 33
mechanical engineering (33) 33
blasting (32) 32
heating (32) 32
lighting (32) 32
measuring (32) 32
weapons (32) 32
studies (31) 31
mathematical analysis (28) 28
machine learning (27) 27
constructive set theory (26) 26
mathematics, general (26) 26
semantics (26) 26
humans (25) 25
construction (24) 24
mathematical logic (24) 24
theoretical computer science (24) 24
constructive empiricism (23) 23
constructive logic (21) 21
engineering elements and units (21) 21
general measures for producing and maintaining effectivefunctioning of machines or installations (21) 21
thermal insulation in general (21) 21
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
mathematical models (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
computability (19) 19
logical theorems (19) 19
mathematical theorems (19) 19
buildings or like structures for particular purposes (18) 18
fencing (18) 18
masts (18) 18
swimming or splash baths or pools (18) 18
tents or canopies, in general (18) 18
foundations (17) 17
science (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
insulation or other protection of buildings (16) 16
intuitionistic logic (16) 16
mathematical induction (16) 16
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Gerstein Science - Stacks (26) 26
Mathematical Sciences - Stacks (13) 13
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 (653) 653
French (338) 338
German (59) 59
Arabic (7) 7
Japanese (5) 5
Czech (2) 2
Lithuanian (2) 2
Romanian (2) 2
Korean (1) 1
Portuguese (1) 1
Russian (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, Discrete mathematics and its applications, ISBN 1420093649, xxiv, 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
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 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
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, 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 | 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.