X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (88314) 88314
Newspaper Article (44505) 44505
Conference Proceeding (14991) 14991
Magazine Article (4672) 4672
Book / eBook (3423) 3423
Book Chapter (2000) 2000
Dissertation (1927) 1927
Web Resource (1751) 1751
Trade Publication Article (1355) 1355
Book Review (721) 721
Government Document (608) 608
Paper (470) 470
Report (437) 437
Newsletter (365) 365
Publication (180) 180
Transcript (132) 132
Reference (78) 78
Journal / eJournal (76) 76
Microfilm (50) 50
Streaming Video (45) 45
Personal Narrative (5) 5
Computer File (4) 4
Standard (4) 4
Data Set (3) 3
Video Recording (3) 3
Library Holding (2) 2
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
experts (53308) 53308
expert systems (41278) 41278
humans (24314) 24314
evidence, expert (13959) 13959
artificial intelligence (13692) 13692
expert testimony (8656) 8656
expert system (7500) 7500
computer science, artificial intelligence (7453) 7453
female (7079) 7079
analysis (6772) 6772
studies (6721) 6721
male (6270) 6270
engineering, electrical & electronic (6201) 6201
algorithms (6051) 6051
research (5904) 5904
management (5165) 5165
decision making (4963) 4963
expert testimony - legislation & jurisprudence (4749) 4749
adult (4592) 4592
expert witness testimony (4364) 4364
laws, regulations and rules (4173) 4173
operations research & management science (4172) 4172
usage (4065) 4065
mathematical models (3936) 3936
expertensystem (3720) 3720
middle aged (3606) 3606
evidence (3577) 3577
computer science (3565) 3565
neural networks (3414) 3414
united states (3334) 3334
methods (3321) 3321
fuzzy logic (3146) 3146
software (3128) 3128
trials (3073) 3073
classification (3005) 3005
education (3003) 3003
expert (2815) 2815
knowledge (2730) 2730
optimization (2620) 2620
learning (2618) 2618
diagnosis (2514) 2514
aged (2422) 2422
law (2401) 2401
evaluation (2390) 2390
science (2320) 2320
data mining (2279) 2279
automation (2200) 2200
medicine (2195) 2195
computer simulation (2185) 2185
social networks (2167) 2167
internet (2162) 2162
expert opinion (2135) 2135
control systems (2133) 2133
agents (2132) 2132
coronaviruses (2127) 2127
design (2120) 2120
patients (2073) 2073
physicians (2070) 2070
uncertainty (2034) 2034
covid-19 (2031) 2031
politics (2011) 2011
public health (1994) 1994
machine learning (1913) 1913
psychology (1902) 1902
information systems (1890) 1890
conferences (1872) 1872
psychiatry (1872) 1872
decision-making (1867) 1867
knowledge acquisition (1861) 1861
attorneys (1856) 1856
training (1819) 1819
students (1769) 1769
communication (1752) 1752
risk assessment (1735) 1735
child (1716) 1716
computer science, interdisciplinary applications (1712) 1712
decision support systems (1690) 1690
information technology (1678) 1678
risk (1670) 1670
adolescent (1658) 1658
jurisprudence (1641) 1641
computers (1639) 1639
malpractice - legislation & jurisprudence (1635) 1635
economics (1632) 1632
hospitals (1631) 1631
testimony (1630) 1630
data processing (1626) 1626
expert-system (1596) 1596
mathematical analysis (1593) 1593
surgery (1590) 1590
expertise (1562) 1562
risk factors (1544) 1544
litigation (1541) 1541
public, environmental & occupational health (1540) 1540
collaboration (1519) 1519
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (1325) 1325
Gerstein Science - Stacks (813) 813
Engineering & Comp. Sci. - Stacks (452) 452
UTL at Downsview - May be requested (410) 410
Robarts - Stacks (311) 311
UofT at Mississauga - Stacks (242) 242
Law (Bora Laskin) - Stacks (160) 160
Collection Dvlpm't (Acquisitions) - Closed Orders (158) 158
Collection Dvlpm't (Acquisitions) - Vendor file (132) 132
UofT at Scarborough - Stacks (79) 79
Criminology - Stacks (45) 45
OISE - Stacks (45) 45
Engineering & Comp. Sci. - May be requested in 6-10 wks (35) 35
Media Commons - Microtexts (34) 34
Aerospace - Stacks (29) 29
Mathematical Sciences - Stacks (22) 22
Engineering & Comp. Sci. - Periodical Stacks (21) 21
Faculty of Information - Stacks (18) 18
Media Commons - Storage (18) 18
Faculty of Information - May be requested in 6-10 wks (17) 17
St. Michael's College (John M. Kelly) - 2nd Floor (15) 15
Trinity College (John W Graham) - Stacks (15) 15
Victoria University E.J. Pratt - Stacks (9) 9
Gerstein Science - Circulation Desk (8) 8
New College (Ivey) - Stacks (6) 6
Robarts - Course Reserves (5) 5
Stacks (5) 5
Engineering & Comp. Sci. - Missing (4) 4
Faculty of Information - Microfilm (4) 4
Map & Data - Map Collection (4) 4
Markham Stouffville Hospital - Stacks (4) 4
Robarts - Government Pubs (4) 4
University College (Laidlaw) - Stacks (4) 4
UofT at Mississauga - Not Returned (4) 4
UofT at Mississauga - Periodical Stacks (4) 4
UofT at Mississauga - Reference (4) 4
Ask at Fisher Reference Desk (3) 3
Astronomy & Astrophysics - Ask at library (3) 3
Indust. Rel's & Hum. Resources (Newman) - Library use only (3) 3
Law (Bora Laskin) - Closed Orders (3) 3
Law (Bora Laskin) - Reserve desk (3) 3
Media Commons - Audio Visual (3) 3
OISE - Theses (3) 3
Sunnybrook Health Sciences Centre - Sunnybrook Stacks (3) 3
Toronto East General Hospital - Stacks (3) 3
UofT at Mississauga - Missing (3) 3
UofT at Scarborough - Withdrawn (3) 3
Architecture Landscape (Shore + Moffat) - Stacks (2) 2
Earth Sciences (Noranda) - Stacks (2) 2
Faculty of Information - Cataloguing (2) 2
Gerstein Science - Missing (2) 2
Gerstein Science - Not Returned (2) 2
Gerstein Science - Theses (2) 2
Law (Bora Laskin) - May be requested in 6-10 wks (2) 2
OISE - Missing (2) 2
Physics - Stacks (2) 2
Pontifical Inst. Mediaeval Studies - Library use only (2) 2
Regis College - Stacks (2) 2
Royal Ontario Museum - Stacks (2) 2
Scarborough Hospital - General (2) 2
Thomas Fisher Rare Book - Rare Book (2) 2
UofT at Mississauga - May be requested in 6-10 wks (2) 2
UofT at Scarborough - May be requested in 6-10 wks (2) 2
Victoria University E.J. Pratt - Storage (2) 2
West Park Healthcare Centre - Hospital Department (2) 2
Baycrest Hospital - Stacks (1) 1
Birchmount (1) 1
Business (Joseph L Rotman) - Missing (1) 1
Chemistry (A D Allen) - May be requested in 6-10 wks (1) 1
Credit Valley Hospital - Stacks (1) 1
Criminology - Material is damaged (1) 1
Dentistry (Harry R Abbott) - Stacks (1) 1
Dentistry (Harry R Abbott) - Withdrawn (1) 1
East Asian (Cheng Yu Tung) - Reference (1) 1
East Asian (Cheng Yu Tung) - Stacks (1) 1
Engineering & Comp. Sci. - Current Periodicals (1) 1
Engineering & Comp. Sci. - Reference (1) 1
Gerstein Science - Periodical Stacks (1) 1
Holland Bloorview Kids Rehabilitation - Stacks (1) 1
Humber River Regional Hospital - Finch Stacks (1) 1
Humber River Regional Hospital - Keele Stacks (1) 1
Lakeridge Health Sciences - Online (1) 1
Law (Bora Laskin) - Online (1) 1
Law (Bora Laskin) - Theses (1) 1
Library use only (1) 1
Mathematical Sciences - Missing (1) 1
Music - Stacks (1) 1
OISE - Audio Visual (1) 1
OISE - Lost (1) 1
OISE - Reference (1) 1
Providence Healthcare - Stacks (1) 1
Robarts - In process for Downsview (1) 1
Scarborough Hospital - Library use only (1) 1
Scarborough Hospital - Online (1) 1
St. Augustine's Seminary - Stacks (1) 1
St. Michael's College (John M. Kelly) - 3rd Floor (1) 1
St. Michael's College (John M. Kelly) - Audio Visual (1) 1
Trillium Health Centre - Stacks (1) 1
Trinity College (John W Graham) - Storage (1) 1
UofT Schools - Special Collections (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (152834) 152834
German (5549) 5549
French (2467) 2467
Chinese (1200) 1200
Russian (1120) 1120
Japanese (938) 938
Spanish (751) 751
Polish (386) 386
Korean (384) 384
Portuguese (381) 381
Czech (296) 296
Swedish (138) 138
Croatian (109) 109
Italian (90) 90
Hungarian (82) 82
Dutch (75) 75
Indonesian (59) 59
Persian (53) 53
Turkish (53) 53
Serbian (44) 44
Slovenian (40) 40
Slovak (33) 33
Lithuanian (31) 31
Arabic (29) 29
Finnish (28) 28
Norwegian (28) 28
Ukrainian (28) 28
Danish (20) 20
Catalan (19) 19
Urdu (19) 19
Romanian (15) 15
Afrikaans (13) 13
Bulgarian (11) 11
Latvian (10) 10
Hebrew (8) 8
Lingala (7) 7
Swahili (7) 7
Bosnian (5) 5
Hindi (5) 5
Estonian (4) 4
Malay (3) 3
Esperanto (2) 2
Latin (2) 2
Aragonese (1) 1
Azerbaijani (1) 1
Basque (1) 1
Belarusian (1) 1
Breton (1) 1
Icelandic (1) 1
Irish (1) 1
Malayalam (1) 1
Ndonga (1) 1
Norwegian Bokmål (1) 1
Vietnamese (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Knowledge acquisition, ISSN 1042-8143, 1989
Journal
Knowledge-based systems, ISSN 0950-7051, 1987
Journal
Journal of intelligent information systems, ISSN 0925-9902, 1992
Journal
Expert systems with applications, ISSN 0957-4174, 1990
Journal
International journal of intelligent systems, ISSN 0884-8173, 1986
Journal
Knowledge and information systems, ISSN 0219-1377, 1999
Journal
Journal
Advanced engineering informatics, ISSN 1474-0346, 2002
Journal
Automated software engineering, ISSN 0928-8910, 1994
Journal
2007, ISBN 0521875463, Volume 9780521875462, xvi, 284
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies... 
Validation | Expert systems (Computer science) | System design | Verification | Mathematical models | System design - Mathematical models
Book
Artificial intelligence for engineering design, analysis and manufacturing, ISSN 0890-0604, 1987
Journal
International journal of expert systems, ISSN 0894-9077, 1987
Journal
International journal of software engineering and knowledge engineering, ISSN 0218-1940, 1991
Journal
No results were found for your search.

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