X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (3645) 3645
Patent (3394) 3394
Magazine Article (1032) 1032
Conference Proceeding (632) 632
Newspaper Article (231) 231
Publication (212) 212
Book Chapter (143) 143
Dissertation (44) 44
Web Resource (31) 31
Book Review (25) 25
Book / eBook (24) 24
Trade Publication Article (22) 22
Government Document (21) 21
Art (18) 18
Transcript (8) 8
Painting (4) 4
Paper (4) 4
Clothing (3) 3
Newsletter (3) 3
Reference (3) 3
Photograph (2) 2
Realia (2) 2
Report (2) 2
Archival Material (1) 1
Journal / eJournal (1) 1
Kit (1) 1
Microfilm (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
checkers (2714) 2714
physics (1899) 1899
checking-devices (1809) 1809
fixed constructions (1670) 1670
locks (1663) 1663
keys (1662) 1662
safes (1659) 1659
window or door fittings (1659) 1659
indexing scheme relating to hinges or other suspension devicesfor doors, windows or wings and devices for moving wings intoopen or closed position, checks for wings and wing fittings nototherwise provided for, concerned with the functioning of thewing (1353) 1353
coin-freed or like apparatus (1027) 1027
hinges or other suspension devices for doors, windows or wings (985) 985
checks for wings (828) 828
devices for moving wings into open or closed position (828) 828
wing fittings not otherwise provided for, concerned with thefunctioning of the wing (828) 828
transporting (563) 563
performing operations (562) 562
counting (540) 540
computing (538) 538
calculating (535) 535
general tagging of cross-sectional technologies spanning over several sections of the ipc (431) 431
general tagging of new technological developments (431) 431
humans (431) 431
technical subjects covered by former uspc cross-reference art collections [xracs] and digests (431) 431
arrangements, systems or apparatus for checking not providedfor elsewhere (426) 426
generating random numbers (426) 426
registering or indicating the working of machines (426) 426
time or attendance registers (426) 426
voting or lottery apparatus (426) 426
technical subjects covered by former uspc (406) 406
checkerboards (392) 392
ladders (375) 375
doors, windows, shutters, or roller blinds in general (366) 366
fixed or movable closures for openings in buildings, vehicles,fences or like enclosures in general, e.g. doors, windows,blinds, gates (366) 366
electricity (352) 352
data processing systems or methods, specially adapted foradministrative, commercial, financial, managerial, supervisoryor forecasting purposes (351) 351
systems or methods specially adapted for administrative,commercial, financial, managerial, supervisory or forecastingpurposes, not otherwise provided for (351) 351
human necessities (338) 338
technical subjects covered by former us classification (333) 333
checkerboard (325) 325
handling of coins or of paper currency or similar valuablepapers, e.g. testing, sorting by denominations, counting,dispensing, changing or depositing (310) 310
mathematical models (290) 290
testing (282) 282
engines (269) 269
analysis (260) 260
index medicus (255) 255
fare-registering apparatus (250) 250
franking apparatus (250) 250
ticket-issuing apparatus (250) 250
engineering, electrical & electronic (248) 248
computer science (232) 232
algorithms (225) 225
male (224) 224
female (219) 219
electric communication technique (218) 218
games (217) 217
checker, chubby (209) 209
measuring (209) 209
steam (201) 201
patents (199) 199
mechanical engineering (191) 191
adult (189) 189
model checking (187) 187
software (187) 187
computer science, software engineering (186) 186
conveying (186) 186
handling thin or filamentary material (186) 186
packing (186) 186
storing (186) 186
handling record carriers (180) 180
presentation of data (180) 180
recognition of data (180) 180
record carriers (180) 180
guns (177) 177
furniture (171) 171
spelling checkers (169) 169
coffee mills (168) 168
domestic articles or appliances (168) 168
spice mills (168) 168
suction cleaners in general (168) 168
lighting (167) 167
weapons (165) 165
heating (164) 164
microbiology (163) 163
blasting (162) 162
research (161) 161
inventions (157) 157
boats (154) 154
ships (152) 152
computer programs (148) 148
accessories therefor (147) 147
verification (147) 147
bolts or fastening devices for wings, specially for doors orwindows (145) 145
design (145) 145
handcuffs (145) 145
wheels (145) 145
steels (143) 143
building (142) 142
usage (142) 142
coal (137) 137
signalling (135) 135
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (9) 9
Robarts - Stacks (6) 6
UTL at Downsview - May be requested (5) 5
Gerstein Science - Stacks (4) 4
OISE - Curriculum Resources (4) 4
UofT Schools - Stacks (3) 3
Law (Bora Laskin) - Stacks (2) 2
Engineering & Comp. Sci. - Stacks (1) 1
Massey College (Robertson Davies) - Rare Book (1) 1
Mathematical Sciences - Stacks (1) 1
Media Commons - Microtexts (1) 1
OISE - Children's Literature (1) 1
Trinity College (John W Graham) - Storage (1) 1
UofT at Mississauga - Stacks (1) 1
UofT at Scarborough - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (5474) 5474
Danish (3015) 3015
Norwegian (303) 303
Chinese (104) 104
Japanese (104) 104
German (78) 78
French (60) 60
Korean (9) 9
Portuguese (5) 5
Spanish (5) 5
Turkish (5) 5
Russian (4) 4
Catalan (3) 3
Italian (2) 2
Czech (1) 1
Esperanto (1) 1
Persian (1) 1
Polish (1) 1
Slovak (1) 1
Slovenian (1) 1
Swedish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


IEEE Transactions on Software Engineering, ISSN 0098-5589, 08/2015, Volume 41, Issue 8, pp. 803 - 819
Journal Article
Science China Information Sciences, ISSN 1674-733X, 10/2019, Volume 62, Issue 10, pp. 1 - 24
Benchmarks and evaluation are important for the development of techniques and tools. Studies regarding evaluation of model checkers by large-scale benchmarks... 
evaluation | Computer Science | MPI | symbolic execution | Information Systems and Communication Service | model checker | benchmark | COMPUTER SCIENCE, INFORMATION SYSTEMS | ENGINEERING, ELECTRICAL & ELECTRONIC
Journal Article
Sensors and Actuators: B. Chemical, ISSN 0925-4005, 11/2018, Volume 273, pp. 408 - 417
In this work, we experimentally construct a series of multifunctional logic devices to perform nonarithmetic information processing and data transmission... 
graphene oxide | label-free detection | silver nanoclusters | multiplexed analysis | DNA parity generator/checker | logic operation | GOLD NANOPARTICLES | ELECTROCHEMISTRY | CHEMISTRY, ANALYTICAL | ERROR-DETECTION | ENZYME-FREE | STRAND DISPLACEMENT | GATES | DATA-TRANSMISSION | INSTRUMENTS & INSTRUMENTATION | MAGNETIC BEADS | FLUORESCENCE | DNA | PARITY GENERATOR/CHECKER
Journal Article
IEEE Transactions on Software Engineering, ISSN 0098-5589, 12/2013, Volume 39, Issue 12, pp. 1611 - 1640
Journal Article
IEEE Transactions on Antennas and Propagation, ISSN 0018-926X, 10/2017, Volume 65, Issue 10, pp. 5406 - 5417
Journal Article
Journal Article
1987, 1st ed. --, ISBN 9780688073183, 32
Book
by He, YZ and Alem, EE and Wang, W
FRONTIERS OF COMPUTER SCIENCE, ISSN 2095-2228, 06/2020, Volume 14, Issue 3
Password authentication is vulnerable to dictionary attacks. Password strength measurement helps users to choose hard-to-guess passwords and enhance the... 
COMPUTER SCIENCE, SOFTWARE ENGINEERING | password | password checker | password strength | BEHAVIOR | neural networks | COMPUTER SCIENCE, INFORMATION SYSTEMS | AUDIT DATA STREAMS | COMPUTER SCIENCE, THEORY & METHODS | APPS | FEATURES
Journal Article
IEEE Transactions on Software Engineering, ISSN 0098-5589, 10/2017, Volume 43, Issue 10, pp. 946 - 953
Journal Article
Formal Aspects of Computing, ISSN 0934-5043, 06/2019, Volume 31, Issue 3, pp. 375 - 409
This work develops a type of local analysis that can prove concurrent systems deadlock free. As opposed to examining the overall behaviour of a system, local... 
Computer science | Usage | Analysis | Approximation | Checkers | Mathematical analysis | Subsystems
Journal Article
Proceedings of the National Academy of Sciences of the United States of America, ISSN 0027-8424, 02/2019, Volume 116, Issue 7, pp. 2521 - 2526
Journal Article
IEEE Transactions on Software Engineering, ISSN 0098-5589, 07/2012, Volume 38, Issue 4, pp. 957 - 974
Journal Article
New Journal of Chemistry, ISSN 1144-0546, 01/2019, Volume 43, Issue 22, pp. 8728 - 8734
In this work, we demonstrated the fabrication of molecular prime number checkers based on the concentration- and sequence-dependent colorimetric responses of... 
Prime numbers | Gold | Color | Data processing | Agglomeration | Colorimetry | Checkers | Nanoparticles | Organic chemistry | Monolayers | Surface properties | Number theory | Mercury (metal) | Bilayers
Journal Article
The Lancet, ISSN 0140-6736, 11/2018, Volume 392, Issue 10161, pp. 2263 - 2264
[...]they would allow external observers to assess the comprehensiveness and quality of evaluation, discouraging system creators from inflating the importance... 
MEDICINE, GENERAL & INTERNAL | Evaluation | Physicians | Clinical trials | Data processing | Systems analysis | Checkers | Navigation behavior | Patients | Morbidity | Laboratory tests | User requirements | Studies | Randomization | Algorithms | Patient safety | Market research | Quality assessment | Informatics | Inflating | Emergency medical services | Health informatics
Journal Article
IEEE Transactions on Automatic Control, ISSN 0018-9286, 05/2019, Volume 64, Issue 5, pp. 1916 - 1931
This paper proposes a new optimal control synthesis algorithm for multirobot systems under global temporal logic tasks. Existing planning approaches under... 
temporal logic planning | Automata | Optimal control | sampling-based motion planning | Approximation algorithms | Planning | Multirobot systems | optimal control synthesis | Multi-robot systems | Task analysis | Algorithms | Synthesis | Control methods | Control systems | Multiple robots | Mathematical models | Checkers | Sampling | Temporal logic
Journal Article
No results were found for your search.

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