X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Patent (40318) 40318
Journal Article (23245) 23245
Conference Proceeding (15160) 15160
Book Chapter (3878) 3878
Book / eBook (1598) 1598
Newspaper Article (928) 928
Magazine Article (690) 690
Web Resource (227) 227
Dissertation (214) 214
Newsletter (123) 123
Reference (114) 114
Book Review (100) 100
Trade Publication Article (70) 70
Government Document (44) 44
Report (31) 31
Publication (30) 30
Paper (14) 14
Standard (9) 9
Journal / eJournal (6) 6
Streaming Video (6) 6
Computer File (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
testing (41911) 41911
physics (40798) 40798
optics (40430) 40430
devices or arrangements, the optical operation of which ismodified by changing the optical properties of the medium of thedevices or arrangements for the control of the intensity,colour, phase, polarisation or direction of light, e.g.switching, gating, modulating or demodulating (40318) 40318
frequency-changing (40318) 40318
non-linear optics (40318) 40318
optical analogue/digital converters (40318) 40318
optical logic elements (40318) 40318
techniques or procedures for the operation thereof (40318) 40318
measuring (36693) 36693
electricity (12656) 12656
investigating or analysing materials by determining theirchemical or physical properties (10271) 10271
education (9363) 9363
cryptography (9045) 9045
measuring electric variables (9012) 9012
measuring magnetic variables (9012) 9012
advertising (8866) 8866
seals (8850) 8850
display (8849) 8849
logic (8737) 8737
basic electric elements (8662) 8662
fuzzy logic (8566) 8566
optical elements, systems, or apparatus (8344) 8344
computer science (8094) 8094
colorimetry (7934) 7934
measurement of intensity, velocity, spectral content,polarisation, phase or pulse characteristics of infra-red,visible or ultra-violet light (7929) 7929
radiation pyrometry (7929) 7929
logic testing (6513) 6513
arrangements or circuits for control of indicating devicesusing static means to present variable information (5958) 5958
circuit testing (5823) 5823
artificial intelligence (5108) 5108
semiconductor devices (4922) 4922
electric solid state devices not otherwise provided for (4762) 4762
algorithms (4483) 4483
signs (4305) 4305
displaying (4302) 4302
labels or name-plates (4302) 4302
performing operations (4293) 4293
transporting (4293) 4293
testing static or dynamic balance of machines orstructures (4210) 4210
testing structures or apparatus not otherwise provided for (4210) 4210
measuring angles (4107) 4107
measuring areas (4107) 4107
measuring irregularities of surfaces or contours (4107) 4107
measuring length, thickness or similar lineardimensions (4107) 4107
electric communication technique (4009) 4009
analysis (3869) 3869
circuit faults (3737) 3737
engineering, electrical & electronic (3647) 3647
arrangements for measuring two or more variables not coveredin a single other subclass (3481) 3481
measuring not specially adapted for a specific variable (3481) 3481
measuring or testing not otherwise provided for (3481) 3481
tariff metering apparatus (3481) 3481
software engineering (3183) 3183
logic design (3146) 3146
logic gates (3055) 3055
logics and meanings of programs (2960) 2960
mathematical logic and formal languages (2901) 2901
devices using stimulated emission (2898) 2898
counting (2827) 2827
computing (2791) 2791
calculating (2774) 2774
system testing (2769) 2769
mathematical models (2731) 2731
computer science, artificial intelligence (2617) 2617
neural networks (2594) 2594
fuzzy systems (2568) 2568
studies (2410) 2410
chemistry (2302) 2302
logic circuits (2283) 2283
engineering (2234) 2234
metallurgy (2146) 2146
research (2129) 2129
general tagging of cross-sectional technologies spanning over several sections of the ipc (2058) 2058
general tagging of new technological developments (2058) 2058
technical subjects covered by former uspc cross-reference art collections [xracs] and digests (2058) 2058
programming languages, compilers, interpreters (1978) 1978
humans (1975) 1975
philosophy (1930) 1930
hardware (1873) 1873
photography (1861) 1861
holography (1856) 1856
cinematography (1853) 1853
electrography (1851) 1851
pictorial communication, e.g. television (1843) 1843
automatic testing (1837) 1837
methods (1827) 1827
transmission (1802) 1802
mathematical logic and foundations (1795) 1795
computer science, interdisciplinary applications (1778) 1778
computer simulation (1747) 1747
mechanical engineering (1734) 1734
artificial neural networks (1716) 1716
optimization (1709) 1709
radio navigation (1708) 1708
analogous arrangements using other waves (1703) 1703
determining distance or velocity by use of radio waves (1703) 1703
locating or presence-detecting by use of the reflection orreradiation of radio waves (1703) 1703
radio direction-finding (1703) 1703
index medicus (1701) 1701
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (238) 238
Engineering & Comp. Sci. - Stacks (145) 145
Robarts - Stacks (90) 90
Gerstein Science - Stacks (81) 81
Collection Dvlpm't (Acquisitions) - Vendor file (75) 75
UTL at Downsview - May be requested (49) 49
UofT at Mississauga - Stacks (46) 46
Mathematical Sciences - Stacks (32) 32
UofT at Scarborough - Stacks (31) 31
Collection Dvlpm't (Acquisitions) - Closed Orders (21) 21
OISE - Stacks (21) 21
St. Michael's College (John M. Kelly) - 3rd Floor (14) 14
Victoria University E.J. Pratt - Stacks (12) 12
St. Michael's College (John M. Kelly) - 2nd Floor (11) 11
Trinity College (John W Graham) - Stacks (11) 11
Engineering & Comp. Sci. - May be requested in 6-10 wks (6) 6
Engineering & Comp. Sci. - Missing (4) 4
Law (Bora Laskin) - Stacks (3) 3
OISE - Theses (3) 3
St. Augustine's Seminary - Stacks (3) 3
Thomas Fisher Rare Book - Rare Book (3) 3
Business (Joseph L Rotman) - Stacks (2) 2
Institute for Christian Studies - Stacks (2) 2
Media Commons - Microtexts (2) 2
Music - Stacks (2) 2
OISE - Curriculum Resources (2) 2
Physics - Stacks (2) 2
Sunnybrook Health Sciences Centre - Sunnybrook Stacks (2) 2
Trinity College (John W Graham) - Storage (2) 2
Collection Dvlpm't (Acquisitions) - Cancelled Order (1) 1
Engineering & Comp. Sci. - Periodical Stacks (1) 1
Faculty of Information - Stacks (1) 1
Humber River Regional Hospital - Church Stacks (1) 1
Knox College (Caven) - Stacks (1) 1
Mathematical Sciences - Periodical Stacks (1) 1
Mathematical Sciences - Reference (1) 1
OISE - Reference (1) 1
Pontifical Inst. Mediaeval Studies - Library use only (1) 1
Robarts - Course Reserves (1) 1
Scarborough Hospital - General (1) 1
St. Michael's Hospital - Stacks (1) 1
Trinity College (John W Graham) - Reference (1) 1
UofT at Mississauga - Missing (1) 1
UofT at Scarborough - May be requested in 6-10 wks (1) 1
Victoria University E.J. Pratt - Reference (1) 1
Victoria University Emmanuel College - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (82320) 82320
Chinese (5901) 5901
French (5691) 5691
German (4054) 4054
Korean (2563) 2563
Japanese (1727) 1727
Spanish (276) 276
Russian (169) 169
Portuguese (99) 99
Dutch (97) 97
Italian (89) 89
Swedish (78) 78
Norwegian (71) 71
Danish (45) 45
Finnish (38) 38
Polish (37) 37
Ukrainian (18) 18
Czech (12) 12
Turkish (10) 10
Hebrew (9) 9
Romanian (7) 7
Bulgarian (6) 6
Indonesian (6) 6
Lithuanian (6) 6
Arabic (5) 5
Croatian (4) 4
Estonian (4) 4
Serbian (4) 4
Slovak (4) 4
Slovenian (2) 2
Afrikaans (1) 1
Bosnian (1) 1
Hungarian (1) 1
Latin (1) 1
Persian (1) 1
Sanskrit (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, 06/2017, Volume 19, Issue 3, pp. 281 - 308
Journal Article
World politics, ISSN 0043-8871, 01/1991, Volume 43, Issue 2, pp. 169 - 195
.... How does the strategy of counterfactual argument relate, if at all, to methods of hypothesis testing based on the comparison of actual cases, such as regression analysis or Mill's Method of Difference... 
Hypothesis testing | Comparative politics | Contrafactuals | Nuclear weapons | Military strategy | Regression analysis | Causality | World wars | International politics | J OE INTERNATIONAL RELATIONS | ORIGINS | Case studies | Political science research | Political science | Beliefs, opinions and attitudes | Statistical hypothesis testing | Counterfactuals (Logic) | Methods
Journal Article
IEEE Transactions on Software Engineering, ISSN 0098-5589, 07/2011, Volume 37, Issue 4, pp. 559 - 574
Journal Article
Journal Article
2003, IEE electrical measurement series, ISBN 0852969996, Volume 11., xxix, 645
...IET ElEcTrIcal mEasurEmEnT sErIEs 11 Series Editors: A.E. Bailey Dr O.C. Jones Dr A.C. Lynch Digital and Analogue Instrumentation testing and measurement... 
Electronic instruments | Testing | Electronic instruments -- Testing | Electronic instruments--Testing | Engineering instruments
Book
Computer, ISSN 0018-9162, 06/2016, Volume 49, Issue 6, pp. 48 - 55
Journal Article
The Journal of Systems & Software, ISSN 0164-1212, 08/2013, Volume 86, Issue 8, pp. 2002 - 2012
.... This paper presents three improvements to logic-based test design. First, in the context of mutation testing, we present fault hierarchies for the six relational operators... 
Software testing | MCDC | Mutation analysis | Logic-based testing | TEST SET SIZE | COMPUTER SCIENCE, SOFTWARE ENGINEERING | COMPUTER SCIENCE, THEORY & METHODS | Computer programs
Journal Article
IEEE Transactions on Information Theory, ISSN 0018-9448, 08/2014, Volume 60, Issue 8, pp. 4614 - 4636
Journal Article
ACM Transactions on Programming Languages and Systems (TOPLAS), ISSN 0164-0925, 07/2014, Volume 36, Issue 2, pp. 1 - 74
Journal Article
IEEE transactions on information theory, ISSN 1557-9654, 2019, Volume 65, Issue 4, pp. 2058 - 2061
Journal Article
IEEE transactions on information theory, ISSN 1557-9654, 2019, Volume 65, Issue 9, pp. 5519 - 5528
Journal Article
IEEE Transactions on Information Forensics and Security, ISSN 1556-6013, 11/2017, Volume 12, Issue 11, pp. 2668 - 2682
Journal Article
09/2018, ISBN 9781107664647
Mounting failures of replication in social and biological sciences give a new urgency to critically appraising proposed reforms. This book pulls back the cover... 
eBook
Information and Computation, ISSN 0890-5401, 12/2017, Volume 257, pp. 58 - 64
.... Later on, van Breugel et al. showed that, for labelled Markov processes with continuous state spaces, probabilistic bisimilarity nicely coincides with a simple notion of testing equivalence... 
Modal logic | Probabilistic processes | Bisimilarity | Testing equivalence | MATHEMATICS, APPLIED | BISIMULATIONS | COMPUTER SCIENCE, THEORY & METHODS | LABELED MARKOV-PROCESSES | Markov processes
Journal Article
Journal of functional programming, ISSN 0956-7968, 2016, Volume 26
.... To reduce the time wasted on doomed proof attempts due to broken definitions, we advocate modern random-testing techniques for finding counterexamples during the design process... 
ICFP 2013 | Articles | COMPUTER SCIENCE, SOFTWARE ENGINEERING | SECURE INFORMATION-FLOW | Computer Science - Programming Languages | Programming Languages | Logic in Computer Science | Software Engineering | Computer Science | Data- och informationsvetenskap | formal verification | secure information-flow | Computer and Information Science
Journal Article
by Yan Cai and Qiong Lu
IEEE Transactions on Software Engineering, ISSN 0098-5589, 09/2016, Volume 42, Issue 9, pp. 825 - 842
Existing deadlock detectors are either not scalable or may report false positives when suggesting cycles as potential deadlocks. Additionally, they may not... 
Schedules | Instruction sets | reliability | Probabilistic logic | Synchronization | Deadlock triggering | should-happen-before relation | Detectors | System recovery | scheduling | constraint | verification | Testing | COMPUTER SCIENCE, SOFTWARE ENGINEERING | ENGINEERING, ELECTRICAL & ELECTRONIC | Geometric probabilities | Usage | Probabilities | Combinatorial probabilities
Journal Article