X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (18616) 18616
Book / eBook (2180) 2180
Publication (2157) 2157
Newspaper Article (710) 710
Conference Proceeding (363) 363
Book Review (351) 351
Dissertation (207) 207
Book Chapter (200) 200
Magazine Article (172) 172
Patent (41) 41
Paper (27) 27
Government Document (22) 22
Report (13) 13
Reference (10) 10
Trade Publication Article (10) 10
Map (6) 6
Web Resource (4) 4
Journal / eJournal (2) 2
Technical Report (2) 2
Archival Material (1) 1
Data Set (1) 1
Poem (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
humans (4925) 4925
index medicus (4892) 4892
animals (2856) 2856
female (2642) 2642
male (2582) 2582
analysis (1838) 1838
adult (1277) 1277
middle aged (1141) 1141
research (1068) 1068
biochemistry & molecular biology (923) 923
aged (780) 780
adolescent (776) 776
child (766) 766
biotechnology & applied microbiology (694) 694
ecology (690) 690
astronomy & astrophysics (689) 689
mice (688) 688
proteins (653) 653
history (635) 635
health aspects (612) 612
article (610) 610
children (600) 600
cell biology (598) 598
computer science (583) 583
environmental sciences (578) 578
medicine (570) 570
studies (549) 549
research article (539) 539
cancer (513) 513
microbiology (512) 512
hydrogels (508) 508
astrophysics (506) 506
multidisciplinary sciences (504) 504
expression (499) 499
risk factors (486) 486
surgery (477) 477
polymer science (468) 468
pharmacology & pharmacy (456) 456
life sciences (454) 454
rats (451) 451
neurosciences (438) 438
chemistry, physical (421) 421
child, preschool (421) 421
immunology (412) 412
molecular sequence data (409) 409
time factors (406) 406
behavior (404) 404
parasitology (402) 402
care and treatment (395) 395
oncology (395) 395
computer science, theory & methods (394) 394
clinical neurology (392) 392
physiological aspects (392) 392
temperature (386) 386
usage (385) 385
computer science, software engineering (382) 382
biology (381) 381
chemistry (379) 379
zoology (379) 379
infectious diseases (377) 377
science (376) 376
gene expression (375) 375
stars: formation (374) 374
evolution (371) 371
galaxy astrophysics (369) 369
astrophysics - astrophysics of galaxies (367) 367
nanoparticles (364) 364
methods (361) 361
pediatrics (358) 358
management (357) 357
chemistry, multidisciplinary (356) 356
in-vitro (354) 354
diagnosis (353) 353
treatment outcome (353) 353
cells (349) 349
physics - astrophysics of galaxies (348) 348
young adult (342) 342
prevalence (341) 341
hydrogel (340) 340
growth (335) 335
kinetics (335) 335
cosmology and extragalactic astrophysics (332) 332
psychiatry (331) 331
endocrinology & metabolism (329) 329
identification (325) 325
materials science, multidisciplinary (325) 325
drug-delivery (322) 322
polymers (319) 319
medicine & public health (318) 318
protein (318) 318
infection (309) 309
drug delivery systems (308) 308
drugs (303) 303
risk (299) 299
geosciences, multidisciplinary (298) 298
genetic aspects (297) 297
infections (297) 297
dna (293) 293
infant (291) 291
aged, 80 and over (286) 286
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Robarts - Stacks (781) 781
Gerstein Science - Stacks (510) 510
UTL at Downsview - May be requested (415) 415
UofT at Mississauga - Stacks (218) 218
UofT at Scarborough - Stacks (150) 150
St. Michael's College (John M. Kelly) - 2nd Floor (118) 118
Trinity College (John W Graham) - Stacks (116) 116
Victoria University E.J. Pratt - Stacks (109) 109
Engineering & Comp. Sci. - Stacks (107) 107
Collection Dvlpm't (Acquisitions) - Vendor file (94) 94
Collection Dvlpm't (Acquisitions) - Closed Orders (73) 73
OISE - Stacks (56) 56
Online Resources - Online (52) 52
Law (Bora Laskin) - Stacks (51) 51
Royal Ontario Museum - Stacks (46) 46
Earth Sciences (Noranda) - Stacks (44) 44
Pontifical Inst. Mediaeval Studies - Library use only (38) 38
Thomas Fisher Rare Book - Rare Book (32) 32
Trinity College (John W Graham) - Storage (32) 32
Victoria University E.J. Pratt - Reference (30) 30
Art - Library use only (24) 24
Mathematical Sciences - Stacks (19) 19
New College (Ivey) - Stacks (18) 18
St. Michael's College (John M. Kelly) - 3rd Floor (18) 18
Physics - Stacks (17) 17
Trinity College (John W Graham) - Reference (17) 17
Victoria University CRRS - Library use only (16) 16
Massey College (Robertson Davies) - Rare Book (14) 14
UofT at Scarborough - Withdrawn (14) 14
Chemistry (A D Allen) - Stacks (13) 13
University College (Laidlaw) - Stacks (13) 13
UofT at Mississauga - Reference (13) 13
Regis College - Stacks (12) 12
Robarts - Reference (12) 12
Aerospace - Stacks (11) 11
Architecture Landscape (Shore + Moffat) - Stacks (11) 11
Knox College (Caven) - Stacks (11) 11
St. Michael's College (John M. Kelly) - Reference (11) 11
Thomas Fisher Rare Book - Reference (11) 11
Faculty of Information - Stacks (8) 8
UofT at Mississauga - May be requested in 6-10 wks (8) 8
Victoria University Emmanuel College - Stacks (8) 8
Music - Stacks (7) 7
Royal Ontario Museum - Periodical Stacks (7) 7
Trinity College (John W Graham) - Oversize (7) 7
Victoria University E.J. Pratt - Storage (7) 7
Gerstein Science - Reference (6) 6
Pontifical Inst. Mediaeval Studies - Guest (6) 6
Pontifical Inst. Mediaeval Studies - Reference (6) 6
Scarborough Hospital - General (6) 6
Victoria University E.J. Pratt - Rare Book (6) 6
Criminology - Stacks (5) 5
Engineering & Comp. Sci. - May be requested in 6-10 wks (5) 5
Engineering & Comp. Sci. - Reference (5) 5
Gerstein Science - Circulation Desk (5) 5
Robarts - Woodhouse Collection 13th floor (5) 5
St. Augustine's Seminary - Stacks (5) 5
Trinity College (John W Graham) - Wycliffe Storage (5) 5
Collection Dvlpm't (Acquisitions) - Cancelled Order (4) 4
Holland Bloorview Kids Rehabilitation - Stacks (4) 4
Institute for Christian Studies - Stacks (4) 4
Providence Healthcare - Stacks (4) 4
Sunnybrook Health Sciences Centre - Sunnybrook Stacks (4) 4
Victoria University Emmanuel College - Birge Storage (4) 4
Earth Sciences (Noranda) - Reference (3) 3
Indust. Rel's & Hum. Resources (Newman) - Library use only (3) 3
Map & Data - Map Collection (3) 3
OISE - Reference (3) 3
Regis College - Reference (3) 3
Robarts - May be requested in 6-10 wks (3) 3
Robarts - Storage (3) 3
Royal Ontario Museum - Far Eastern (3) 3
Royal Ontario Museum - Rare Book (3) 3
Royal Ontario Museum - Reference (3) 3
Dentistry (Harry R Abbott) - May be requested in 6-10 wks (2) 2
Earth Sciences (Noranda) - Circulation Desk (2) 2
Faculty of Information - Reference (2) 2
Gerstein Science - Missing (2) 2
Humber River Regional Hospital - Finch Stacks (2) 2
Knox College (Caven) - Reference (2) 2
Lakeridge Health Sciences - Oshawa (2) 2
OISE - Curriculum Resources (2) 2
OISE - Missing (2) 2
Physics - Circulation Desk (2) 2
Providence Healthcare - Reference (2) 2
Robarts - Course Reserves (2) 2
Royal Ontario Museum - Far Eastern Egyptian (2) 2
St Josephs Health Centre - Stacks (2) 2
St. Augustine's Seminary - Reference (2) 2
Toronto East General Hospital - Stacks (2) 2
University Archives - Archives (2) 2
UofT Schools - Stacks (2) 2
UofT at Scarborough - May be requested in 6-10 wks (2) 2
Victoria University CRRS - Rare Book (2) 2
Victoria University E.J. Pratt - Northrop Frye (2) 2
Victoria University E.J. Pratt - Virginia Woolf (2) 2
Victoria University Emmanuel College - Reference (2) 2
West Park Healthcare Centre - Stacks (2) 2
Astronomy & Astrophysics - Ask at library (1) 1
Chemistry (A D Allen) - Reference (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (21793) 21793
French (612) 612
German (206) 206
Japanese (150) 150
Spanish (93) 93
Portuguese (59) 59
Chinese (15) 15
Italian (14) 14
Latin (14) 14
Russian (13) 13
Czech (9) 9
Arabic (8) 8
Polish (6) 6
Turkish (6) 6
Dutch (3) 3
Swedish (3) 3
Greek (2) 2
Korean (2) 2
Romanian (2) 2
Danish (1) 1
Hungarian (1) 1
Icelandic (1) 1
Irish (1) 1
Malayalam (1) 1
Maori (1) 1
Middle (1) 1
Slovenian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


ACM Transactions on Programming Languages and Systems (TOPLAS), ISSN 0164-0925, 12/2011, Volume 33, Issue 6, pp. 1 - 49
Floyd--Hoare logic is a foundation of axiomatic semantics of classical programs, and it provides effective proof techniques for reasoning about correctness of... 
axiomatic semantics | Quantum computation | programming language | completeness | Floyd--Hoare logic | Programming language | Floyd-hoare logic | Axiomatic semantics | Completeness | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Floyd-Hoare logic | Theory | Languages | Mathematical logic | Quantum computing | Research | Symbolic and mathematical logic | Axioms | Semantics | Construction
Journal Article
Fundamenta Informaticae, ISSN 0169-2968, 2012, Volume 118, Issue 1-2, pp. 135 - 175
GP (for Graph Programs) is an experimental nondeterministic programming language for solving problems on graphs and graph-like structures. The language is... 
TRANSFORMATION SYSTEMS | JAVA | COMPUTER SCIENCE, SOFTWARE ENGINEERING | MATHEMATICS, APPLIED | SEMANTICS | MODEL TRANSFORMATIONS | LOGIC
Journal Article
Antarctic Science, ISSN 0954-1020, 11/2014, Volume 27, Issue 2, pp. 173 - 184
Between 1995 and 2011 a global positioning system survey of 13 boulders and three ablation stakes (long stakes frozen in the ice) on the frozen surface of Lake... 
rolling | plate | lake ice | rafting | non-linear | ENVIRONMENTAL SCIENCES | GEOGRAPHY, PHYSICAL | GEOSCIENCES, MULTIDISCIPLINARY | VALLEY | VICTORIA LAND ANTARCTICA | EAST ANTARCTICA | GEOCHEMISTRY
Journal Article
Antarctic Science, ISSN 0954-1020, 05/2013, Volume 26, Issue 2, pp. 153 - 162
Water tracks are zones of high soil moisture that route shallow groundwater down-slope, through the active layer and above the ice table. A water track in... 
ground water | terrestrial ecosystem | active layer | McMurdo Dry Valleys | invertebrates | PHOSPHORUS | PERMAFROST | ENVIRONMENT | COMMUNITIES | ENVIRONMENTAL SCIENCES | EXTRACTION | GEOGRAPHY, PHYSICAL | GEOSCIENCES, MULTIDISCIPLINARY | NEMATODES | GEOCHEMISTRY | POLAR DESERT
Journal Article
Fundamenta Informaticae, ISSN 0169-2968, 01/2012, Volume 118, Issue 1-2, pp. 135 - 175
GP (for Graph Programs) is an experimental nondeterministic programming language for solving problems on graphs and graph-like structures. The language is... 
Semantics | Mathematical analysis | Proving | Programming | Graphs | Transformations | Calculus | Formalism
Journal Article
Ecological Modelling, ISSN 0304-3800, 2010, Volume 221, Issue 8, pp. 1184 - 1193
The perennially ice-covered, closed basin lakes in the McMurdo Dry Valleys respond rapidly to environmental changes, especially climate. For the past 15 years,... 
Lake Hoare | Gaussian Markov random fields | MCM-LTER | Bayesian methods | Correlation analysis | MIXOTROPHIC CRYPTOPHYTES | BENTHIC MICROBIAL MATS | MCMURDO DRY VALLEYS | GLACIER | DEMAND | STREAMS | ECOLOGY | TAYLOR VALLEY | BONNEY | PHOTOSYNTHESIS | PHYTOPLANKTON | Correlation | Valleys | Lakes | Bacteria | Ecology | Biological | Carbon | Drying
Journal Article
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), ISSN 1043-6871, 2006, pp. 137 - 146
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise... 
Concurrent computing | Computer science | Program processors | Permission | Writing | Educational institutions | Logic | Programming profession
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2000, Volume 1783, pp. 284 - 303
This paper formalises a semantics for statements and expressions (in sequential imperative languages) which includes non-termination, normal termination and... 
COMPUTER SCIENCE, THEORY & METHODS | COMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING
Conference Proceeding
Antarctic Science, ISSN 0954-1020, 5/2011, Volume 23, Issue 3, pp. 307 - 319
Up to 2.3m long sediment sequences were recovered from the deepest part of Lake Hoare in Taylor Valley, southern Victoria Land, Antarctica. Sedimentological,... 
palaeolimnology | late Quaternary | lake level fluctuations | McMurdo Dry Valleys | LAST GLACIAL MAXIMUM | CHRONOLOGY | DEPOSITION | GROUNDED ICE-SHEET | CLIMATE-CHANGE | LACUSTRINE SEDIMENTS | FRYXELL BASIN | ENVIRONMENTAL SCIENCES | GEOGRAPHY, PHYSICAL | GEOSCIENCES, MULTIDISCIPLINARY | VICTORIA-LAND | ROSS SEA | Grain size | Lakes | Glaciers | Archives & records | Sediments
Journal Article
Algorithmica, ISSN 0178-4617, 2012, Volume 62, Issue 3-4, pp. 879 - 905
We provide a smoothed analysis of Hoare's find algorithm, and we revisit the smoothed analysis of quicksort. Hoare's find algorithm - often called quickselect... 
Searching and Sorting | EWI-20666 | Quicksort | Quickselect | Smoothed Analysis | Hoare's Find | METIS-284911 | IR-79202 | Median-of-three | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Smoothed analysis | MATHEMATICS, APPLIED | K-MEANS | Hoare's find | ALGORITHM | Computer science | Analysis | Algorithms
Journal Article
Zootaxa, ISSN 1175-5326, 11/2018, Volume 4521, Issue 2, pp. 151 - 182
The genus Simplimorpha Scoble is recognized for the first time from South America. We describe a subgenus, Myrtinepticula Stonis & Diskus, subgen. nov., for... 
Menurella Hoare | Roscidotoga Hoare | Simplimorpha Scoble | Nepticulidae | Myrtaceae | Myrtinepticula Stonis & Diškus | New species | Cosanovula Hoare | New subgenus | Pectinivalva Scoble | new species | ZOOLOGY | Myrtinepticula Stonis & Diskus | GENUS | new subgenus | Argentina | Animals | Australia | Chile | Moths | Peru
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2010, Volume 6372, pp. 139 - 154
Conference Proceeding
Automata, Languages and Programming (Proceedings 33rd International Colloquium, ICALP 2006, Venice, Italy, July 9-16, 2006), Part II, ISSN 0302-9743, 2006, Volume 4052, pp. 252 - 263
We extend a Probabilistic Hoare-style logic to formalize game-based cryptographic proofs. Our approach provides a systematic and rigorous framework, thus... 
Data Structures, Cryptology and Information Theory | Discrete Mathematics in Computer Science | Data Structures | Computer Science | Numeric Computing | Software Engineering/Programming and Operating Systems | Theory of Computation | COMPUTER SCIENCE, THEORY & METHODS
Conference Proceeding
Journal of Phycology, ISSN 0022-3646, 06/1999, Volume 35, Issue 3, pp. 448 - 459
We investigated the composition of benthic microbial mats in permanently ice‐covered Lake Hoare, Antarctica, and their irradiance vs. photosynthetic oxygen... 
pigments | Antarctic lake | shade acclimation | benthic photosynthesis | Pigments | Shade acclimation | Benthic photosynthesis | IRRADIANCE | CYANOBACTERIA | MARINE & FRESHWATER BIOLOGY | LIGHT | ALGAL MATS | PHYTOPLANKTON | PLANT SCIENCES
Journal Article
Computer Journal, ISSN 0010-4620, 05/2007, Volume 50, Issue 3, pp. 261 - 268
  Commentary on Tony Hoare's lecture, The Ideal of Program Correctness (2007), is presented. Hoare argues that the time is ripe to embark on a Grand Challenge... 
Computer science | Computer programming | Software engineering
Journal Article
Applied and Environmental Microbiology, ISSN 0099-2240, 05/2007, Volume 73, Issue 9, pp. 3077 - 3083
Eight strains of chemoorganotrophic bacteria were isolated from the water column of Lake Hoare, McMurdo Dry Valleys, Antarctica, using cold enrichment... 
Journal Article
Information and Computation, ISSN 0890-5401, 08/2019, Volume 267, pp. 1 - 27
Reynolds' separation logical system for pointer program verification is investigated. This paper proves its completeness theorem that states that every true... 
Hoare's logic | Completeness theorem | Inductive definitions | Separation logic | Expressiveness theorem | MATHEMATICS, APPLIED | SHAPE | AUTOMATED VERIFICATION | HOARE-LOGIC | SIZE | COMPUTER SCIENCE, THEORY & METHODS
Journal Article
No results were found for your search.

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