X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (318988) 318988
Publication (30780) 30780
Conference Proceeding (16637) 16637
Book / eBook (8385) 8385
Book Chapter (5672) 5672
Newspaper Article (4321) 4321
Dissertation (4113) 4113
Patent (3366) 3366
Magazine Article (2021) 2021
Newsletter (1941) 1941
Book Review (1289) 1289
Paper (759) 759
Government Document (673) 673
Trade Publication Article (468) 468
Report (306) 306
Technical Report (185) 185
Web Resource (154) 154
Reference (105) 105
Journal / eJournal (62) 62
Electronic Resource (61) 61
Data Set (39) 39
Standard (36) 36
Market Research (2) 2
Poster (2) 2
Streaming Video (2) 2
Transcript (2) 2
Exam (1) 1
Microfilm (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
models (80457) 80457
analysis (75086) 75086
mathematical models (61306) 61306
economics (50972) 50972
studies (49857) 49857
index medicus (44260) 44260
model (44104) 44104
economic models (40309) 40309
humans (38830) 38830
computer simulation (26616) 26616
research (25411) 25411
animals (21629) 21629
algorithms (19593) 19593
management (18647) 18647
female (16497) 16497
male (15634) 15634
simulation (15409) 15409
usage (14968) 14968
statistics & probability (14386) 14386
methods (14170) 14170
optimization (12781) 12781
models, biological (11536) 11536
environmental sciences (11487) 11487
design (11006) 11006
mathematical analysis (10708) 10708
performance (10636) 10636
regression analysis (10347) 10347
computer science, interdisciplinary applications (10198) 10198
modeling (10072) 10072
energy & fuels (9951) 9951
computer science (9885) 9885
economic theory (9754) 9754
behavior (9509) 9509
statistical analysis (9111) 9111
business, finance (8971) 8971
engineering, civil (8946) 8946
article (8848) 8848
software (8795) 8795
operations research & management science (8716) 8716
dynamics (8707) 8707
engineering, electrical & electronic (8650) 8650
adult (8326) 8326
business (8282) 8282
growth (8250) 8250
research article (8235) 8235
social sciences, mathematical methods (8015) 8015
mathematics, interdisciplinary applications (7893) 7893
risk (7813) 7813
engineering, chemical (7796) 7796
economic aspects (7763) 7763
physics (7735) 7735
statistics (7717) 7717
engineering (7707) 7707
mechanics (7569) 7569
science (7396) 7396
biology (7376) 7376
systems (7371) 7371
models, statistical (7228) 7228
models, theoretical (7126) 7126
medicine (7100) 7100
meteorology & atmospheric sciences (7069) 7069
econometrics (7014) 7014
multidisciplinary sciences (6966) 6966
uncertainty (6923) 6923
education (6912) 6912
mice (6825) 6825
europe (6824) 6824
engineering, mechanical (6663) 6663
middle aged (6438) 6438
neurosciences (6396) 6396
impact (6387) 6387
computer science, software engineering (6372) 6372
mathematics (6301) 6301
modelling (6283) 6283
thermodynamics (6277) 6277
computer science, information systems (6221) 6221
economic growth (6155) 6155
environmental studies (6058) 6058
regression (5964) 5964
system (5633) 5633
efficiency (5607) 5607
prediction (5580) 5580
cell biology (5499) 5499
public, environmental & occupational health (5483) 5483
mechanical engineering (5442) 5442
northern america (5422) 5422
computer science, artificial intelligence (5408) 5408
specifications (5387) 5387
prices (5379) 5379
demand (5348) 5348
productivity (5348) 5348
mathematical & computational biology (5259) 5259
u.s (5185) 5185
case studies (5135) 5135
equilibrium (5092) 5092
ecology (5016) 5016
materials science, multidisciplinary (4996) 4996
technology (4981) 4981
decision making (4979) 4979
aged (4948) 4948
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Robarts - Stacks (2281) 2281
Gerstein Science - Stacks (1337) 1337
UTL at Downsview - May be requested (1273) 1273
Engineering & Comp. Sci. - Stacks (831) 831
UofT at Mississauga - Stacks (595) 595
Collection Dvlpm't (Acquisitions) - Vendor file (431) 431
Mathematical Sciences - Stacks (334) 334
UofT at Scarborough - Stacks (321) 321
OISE - Stacks (259) 259
Online Resources - Online (254) 254
Collection Dvlpm't (Acquisitions) - Closed Orders (227) 227
Architecture Landscape (Shore + Moffat) - Stacks (107) 107
Earth Sciences (Noranda) - Stacks (83) 83
Physics - Stacks (81) 81
St. Michael's College (John M. Kelly) - 2nd Floor (69) 69
Trinity College (John W Graham) - Stacks (50) 50
Victoria University E.J. Pratt - Stacks (48) 48
Law (Bora Laskin) - Stacks (47) 47
Aerospace - Stacks (46) 46
Indust. Rel's & Hum. Resources (Newman) - Library use only (42) 42
Engineering & Comp. Sci. - May be requested in 6-10 wks (34) 34
UofT at Scarborough - Withdrawn (28) 28
Royal Ontario Museum - Stacks (26) 26
New College (Ivey) - Stacks (25) 25
Faculty of Information - Stacks (20) 20
Trinity College (John W Graham) - Storage (18) 18
Astronomy & Astrophysics - Ask at library (17) 17
Mathematical Sciences - Missing (17) 17
Business (Joseph L Rotman) - Stacks (15) 15
Gerstein Science - Circulation Desk (15) 15
Providence Healthcare - Stacks (15) 15
Chemistry (A D Allen) - Stacks (13) 13
Engineering & Comp. Sci. - Missing (13) 13
Robarts - Gov Pub Storage: Request at Reference Desk 4th floor (11) 11
Gerstein Science - Missing (10) 10
Criminology - Stacks (9) 9
Media Commons - Microtexts (9) 9
OISE - May be requested in 6-10 wks (9) 9
Robarts - Storage (9) 9
Scarborough Hospital - General (9) 9
Architecture Landscape (Shore + Moffat) - Protected Material (8) 8
Mathematical Sciences - May be requested in 6-10 wks (8) 8
Robarts - Government Pubs (8) 8
Royal Ontario Museum - Periodical Stacks (8) 8
Lakeridge Health Sciences - Oshawa (7) 7
St. Michael's College (John M. Kelly) - 3rd Floor (7) 7
Institute for Christian Studies - Stacks (6) 6
Map & Data - Map Collection (6) 6
Markham Stouffville Hospital - Stacks (6) 6
OISE - Missing (6) 6
Robarts - Course Reserves (6) 6
Sunnybrook Health Sciences Centre - Sunnybrook Stacks (6) 6
Toronto East General Hospital - Stacks (6) 6
Trillium Health Centre - Stacks (6) 6
UofT at Mississauga - May be requested in 6-10 wks (6) 6
Art - Library use only (5) 5
Credit Valley Hospital - Stacks (5) 5
Map & Data - Data Reference (5) 5
Richard Charles Lee Canada-Hong Kong - Library use only (5) 5
St. Michael's Hospital - Stacks (5) 5
West Park Healthcare Centre - Stacks (5) 5
Engineering & Comp. Sci. - Reference (4) 4
Indust. Rel's & Hum. Resources (Newman) - Stacks (4) 4
Knox College (Caven) - Stacks (4) 4
OISE - Lost (4) 4
Physics - Circulation Desk (4) 4
Physics - Storage (4) 4
Regis College - Stacks (4) 4
Robarts - Not Returned (4) 4
Robarts - Searching (4) 4
Thomas Fisher Rare Book - Rare Book (4) 4
University College (Laidlaw) - Stacks (4) 4
Architecture Landscape (Shore + Moffat) - Circulation Desk (3) 3
Collection Dvlpm't (Acquisitions) - Cancelled Order (3) 3
Earth Sciences (Noranda) - Missing (3) 3
Faculty of Information - May be requested in 6-10 wks (3) 3
Gerstein Science - Not Returned (3) 3
Gerstein Science - Searching (3) 3
Holland Bloorview Kids Rehabilitation - Stacks (3) 3
Humber River Regional Hospital - Church Stacks (3) 3
Robarts - Map Collection (3) 3
St. Augustine's Seminary - Stacks (3) 3
UofT at Mississauga - Missing (3) 3
UofT at Scarborough - May be requested in 6-10 wks (3) 3
Architecture Landscape (Shore + Moffat) - Reference (2) 2
Business (Joseph L Rotman) - Missing (2) 2
Dentistry (Harry R Abbott) - May be requested in 6-10 wks (2) 2
Gerstein Science - Theses (2) 2
Music - Stacks (2) 2
OISE - Reference (2) 2
Physics - Missing (2) 2
Robarts - May be requested in 6-10 wks (2) 2
Robarts - Protected Material (2) 2
St Josephs Health Centre - Stacks (2) 2
St. Michael's College (John M. Kelly) - Circulation Desk (2) 2
Stacks (2) 2
University Archives - Archives (2) 2
UofT Schools - Stacks (2) 2
Victoria University Emmanuel College - Stacks (2) 2
West Park Healthcare Centre - Hospital Department (2) 2
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (356359) 356359
French (2474) 2474
Chinese (1334) 1334
Japanese (831) 831
German (679) 679
Spanish (541) 541
Korean (225) 225
Portuguese (217) 217
Russian (102) 102
Czech (87) 87
Italian (53) 53
Arabic (32) 32
Lithuanian (32) 32
Dutch (31) 31
Polish (31) 31
Turkish (25) 25
Indonesian (16) 16
Hungarian (12) 12
Slovenian (12) 12
Persian (11) 11
Swedish (11) 11
Afrikaans (9) 9
Croatian (9) 9
Finnish (6) 6
Slovak (6) 6
Danish (4) 4
Greek (3) 3
Norwegian (3) 3
Romanian (3) 3
Bulgarian (2) 2
Estonian (2) 2
Albanian (1) 1
Bosnian (1) 1
Corsican (1) 1
Latin (1) 1
Latvian (1) 1
Nepali (1) 1
Serbian (1) 1
Ukrainian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


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
SAE technical paper series, Volume 2005-01-1826.
SAE has several fatigue test specification for wheels. These specifications are based on the radial and cornering loads a wheel receives during road usage. The... 
Tires and traction | Wheels | Fatigue | Mathematical models
eJournal
Journal of the Meteorological Society of Japan. Ser. II, ISSN 0026-1165, 2015, Volume 93, Issue 1, pp. 5 - 48
Journal Article
SAE technical paper series, Volume 2007-01-1889.
The group-hole nozzle concept is regarded as a promising approach to facilitate better fuel atomization and evaporation for direct injection diesel engine... 
Diesel / Compression Ignition engines | Fuels and Energy Sources | Mathematical models | Fuel injection
eJournal
ACM Computing Surveys (CSUR), ISSN 0360-0300, 02/2009, Volume 41, Issue 2, pp. 1 - 76
Formal methods and testing are two important approaches that assist in the development of high-quality software. While traditionally these approaches have been... 
Software testing | formal methods | Formal methods | MODEL CHECKING | WP-METHOD | FINITE-STATE MACHINES | TEST SEQUENCE GENERATION | Verification | ALGEBRAIC SPECIFICATIONS | HYBRID CONTROL | FAULT CLASSES | COMPUTER SCIENCE, THEORY & METHODS | Reliability | REAL-TIME SYSTEMS | ERROR-DETECTION CAPABILITY | RUNTIME VERIFICATION
Journal Article
1999, ISBN 9780521778251, xii, 99
In these three essays, Professor Granger explains the process of constructing and evaluating an empirical model. Drawing on a wide range of cases and vignettes... 
Economics | Evaluation | Mathematical models | Econometrics | Econometric models
Book
Social Networks, ISSN 0378-8733, 05/2013, Volume 35, Issue 2, pp. 211 - 222
In this paper, we review the development of dependence structures for exponential random graph models for bipartite networks, and propose a hierarchy of... 
Exponential random graph models | Bipartite networks | Edge-cycles | Dependence hierarchy | P-ASTERISK MODELS | ANTHROPOLOGY | SOCIOLOGY
Journal Article
International Journal of Impact Engineering, ISSN 0734-743X, 2005, Volume 32, Issue 1, pp. 618 - 630
The bare aluminum alloy (A5052) honeycomb is compressed in the longitudinal direction of the cell. Effect of the cell shape and the foil thickness on crush... 
Numerical simulation | Various cell shapes | Crush behavior | Honeycomb | Drop-hammer experiment | honeycomb | MECHANICS | various cell shapes | crush behavior | drop-hammer experiment | CRUSH | numerical simulation | ENGINEERING, MECHANICAL | Models | Mechanical engineering | Analysis | Alloys
Journal Article
1985, EATCS monographs on theoretical computer science, ISBN 9783540517993, Volume 6, 21, v.
Book
IEEE Transactions on Automatic Control, ISSN 0018-9286, 02/2008, Volume 53, Issue 1, pp. 287 - 297
Journal Article
by Gao, HJ and Li, XW
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, ISSN 0018-9286, 12/2011, Volume 56, Issue 12, pp. 2932 - 2939
This article researches the problem of finite frequency (FF) H-infinity filtering for linear discrete-time state-delayed systems. The disturbance is assumed to... 
LINEAR-SYSTEMS | MATRIX | DESIGN | STABILITY | INEQUALITY | Discrete-time system | H-infinity filtering | finite frequency (FF) | AUTOMATION & CONTROL SYSTEMS | state delay | ENGINEERING, ELECTRICAL & ELECTRONIC | Filtering | Filtration | Equivalence | Specifications | Mathematical analysis | Disturbances | Mathematical models | High frequencies
Journal Article