X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (61071) 61071
Conference Proceeding (9689) 9689
Newspaper Article (4477) 4477
Book / eBook (3980) 3980
Patent (2706) 2706
Book Chapter (2298) 2298
Magazine Article (2123) 2123
Newsletter (1401) 1401
Dissertation (957) 957
Book Review (578) 578
Web Resource (358) 358
Report (272) 272
Transcript (190) 190
Reference (161) 161
Government Document (144) 144
Publication (109) 109
Trade Publication Article (88) 88
Streaming Video (17) 17
Paper (16) 16
Journal / eJournal (10) 10
Standard (8) 8
Computer File (3) 3
Microfilm (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
science & technology (43919) 43919
computer science (40034) 40034
technology (34079) 34079
algorithms (15643) 15643
engineering (15612) 15612
mathematics (13796) 13796
physical sciences (12582) 12582
computer simulation (11092) 11092
analysis (9373) 9373
computer science, theory & methods (8261) 8261
engineering, electrical & electronic (7765) 7765
mathematical models (7288) 7288
computer science, software engineering (7088) 7088
life sciences & biomedicine (6223) 6223
arithmetic (5830) 5830
artificial intelligence (5807) 5807
studies (5763) 5763
computer science, information systems (5544) 5544
computers (5448) 5448
mathematics, applied (5281) 5281
physics (5116) 5116
computer science, artificial intelligence (5021) 5021
methods (4989) 4989
humans (4976) 4976
computer science, hardware & architecture (4704) 4704
mathematical analysis (4653) 4653
research (4512) 4512
software (4331) 4331
computer architecture (4214) 4214
computer science, interdisciplinary applications (4079) 4079
usage (3981) 3981
optimization (3935) 3935
hardware (3606) 3606
computation (2931) 2931
counting (2873) 2873
computing (2756) 2756
calculating (2706) 2706
computer programs (2580) 2580
neural networks (2481) 2481
computer science, general (2444) 2444
science & technology - other topics (2332) 2332
social sciences (2304) 2304
theory of computation (2270) 2270
algebra (2242) 2242
electrical engineering (2186) 2186
male (2147) 2147
telecommunications (2132) 2132
simulation (2119) 2119
data processing (2116) 2116
computer programming (2090) 2090
female (2027) 2027
computer communication networks (2003) 2003
cryptography (1960) 1960
computer systems based on specific computational models (1944) 1944
programming languages (1927) 1927
computer industry (1923) 1923
numerical analysis (1923) 1923
software engineering (1913) 1913
microprocessors (1884) 1884
mechanical engineering (1871) 1871
logic (1867) 1867
image processing (1810) 1810
computer software industry (1772) 1772
computer software (1768) 1768
signal processing (1766) 1766
computer-aided engineering and design (1745) 1745
image processing and computer vision (1710) 1710
automation & control systems (1696) 1696
signal, image and speech processing (1685) 1685
pattern recognition (1665) 1665
field programmable gate arrays (1659) 1659
science (1636) 1636
circuits and systems (1616) 1616
software engineering/programming and operating systems (1604) 1604
electric digital data processing (1586) 1586
research article (1561) 1561
polynomials (1527) 1527
multidisciplinary sciences (1522) 1522
data structures, cryptology and information theory (1498) 1498
architecture (1492) 1492
parallel processing (1476) 1476
neurosciences (1472) 1472
programming (1408) 1408
computer graphics (1398) 1398
adult (1397) 1397
education (1378) 1378
mathematics, general (1354) 1354
computer networks (1353) 1353
neurosciences & neurology (1351) 1351
design engineering (1341) 1341
circuits (1335) 1335
computational mathematics and numerical analysis (1333) 1333
operations research & management science (1321) 1321
computer applications (1313) 1313
statistics (1308) 1308
chemistry (1304) 1304
engineering, manufacturing (1292) 1292
machine learning (1292) 1292
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Engineering & Comp. Sci. - Stacks (610) 610
Gerstein Science - Stacks (415) 415
Online Resources - Online (385) 385
UTL at Downsview - May be requested (255) 255
UofT at Mississauga - Stacks (197) 197
Mathematical Sciences - Stacks (167) 167
Collection Dvlpm't (Acquisitions) - Vendor file (157) 157
Collection Dvlpm't (Acquisitions) - Closed Orders (141) 141
UofT at Scarborough - Stacks (133) 133
Media Commons - Microtexts (78) 78
Robarts - Stacks (46) 46
Physics - Stacks (32) 32
Engineering & Comp. Sci. - May be requested in 6-10 wks (22) 22
Trinity College (John W Graham) - Stacks (21) 21
Gerstein Science - Theses (18) 18
OISE - Stacks (18) 18
St. Michael's College (John M. Kelly) - 2nd Floor (18) 18
Engineering & Comp. Sci. - Missing (17) 17
Gerstein Science - Circulation Desk (12) 12
Astronomy & Astrophysics - Ask at library (10) 10
Mathematical Sciences - Missing (10) 10
Victoria University E.J. Pratt - Stacks (9) 9
Faculty of Information - Stacks (8) 8
OISE - Curriculum Resources (8) 8
OISE - Theses (8) 8
Physics - New Books (6) 6
UofT at Mississauga - May be requested in 6-10 wks (6) 6
Aerospace - Stacks (5) 5
Mathematical Sciences - Circulation Desk (5) 5
Physics - Circulation Desk (5) 5
UofT at Mississauga - Missing (5) 5
Architecture Landscape (Shore + Moffat) - Stacks (4) 4
Collection Dvlpm't (Acquisitions) - Cancelled Order (4) 4
Engineering & Comp. Sci. - Not Returned (4) 4
New College (Ivey) - Stacks (4) 4
Chemistry (A D Allen) - Stacks (3) 3
Engineering & Comp. Sci. - Periodical Stacks (3) 3
Engineering & Comp. Sci. - Reference (3) 3
Law (Bora Laskin) - Stacks (3) 3
Astronomy & Astrophysics - Reference (2) 2
Engineering & Comp. Sci. - Searching (2) 2
Gerstein Science - Missing (2) 2
Gerstein Science - Searching (2) 2
Map & Data - Map Collection (2) 2
OISE - May be requested in 6-10 wks (2) 2
Robarts - Searching (2) 2
St. Michael's College (John M. Kelly) - Circulation Desk (2) 2
Sunnybrook Health Sciences Centre - Sunnybrook Stacks (2) 2
UofT at Mississauga - Reference (2) 2
Baycrest Hospital - Stacks (1) 1
Business (Joseph L Rotman) - Stacks (1) 1
Criminology - Stacks (1) 1
Engineering & Comp. Sci. - Moving to offsite: no requests (1) 1
Faculty of Information - Storage (1) 1
Gerstein Science - Not Returned (1) 1
Indust. Rel's & Hum. Resources (Newman) - Library use only (1) 1
Map & Data - Data & GIS (1) 1
Mathematical Sciences - Periodical Stacks (1) 1
Music - Protected Material (1) 1
Music - Stacks (1) 1
OISE - Microfiche (1) 1
OISE - Microfilm (1) 1
OISE - Missing (1) 1
OISE - Ontario Historical Ed (1) 1
OISE - Storage (1) 1
Physics - Searching (1) 1
Robarts - Processing (1) 1
Royal Ontario Museum - Stacks (1) 1
St. Michael's College (John M. Kelly) - 3rd Floor (1) 1
Thomas Fisher Rare Book - May be requested at Fisher (1) 1
Trinity College (John W Graham) - Storage (1) 1
University College (Laidlaw) - Stacks (1) 1
UofT at Mississauga - Not returned (1) 1
UofT at Mississauga - Searching (1) 1
UofT at Scarborough - Circulation Desk (1) 1
UofT at Scarborough - May be requested in 6-10 wks (1) 1
Victoria University E.J. Pratt - Searching (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (89950) 89950
Chinese (888) 888
German (438) 438
Japanese (416) 416
French (324) 324
Spanish (246) 246
Russian (77) 77
Portuguese (66) 66
Korean (63) 63
Czech (25) 25
Turkish (19) 19
Arabic (18) 18
Norwegian (13) 13
Italian (11) 11
Swedish (9) 9
Ukrainian (8) 8
Latvian (7) 7
Afrikaans (3) 3
Danish (3) 3
Dutch (3) 3
Polish (3) 3
Romanian (3) 3
Croatian (2) 2
Lithuanian (2) 2
Persian (2) 2
Serbian (2) 2
Slovak (2) 2
Slovenian (2) 2
Abkhazian (1) 1
Bulgarian (1) 1
Chamorro (1) 1
Indonesian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2005, ISBN 3540242015, xiii, 256
Applied Fuzzy Arithmetic provides a well-structured compendium that offers both a deeper knowledge about the theory of fuzzy arithmetic and an extensive view on its applications in the engineering... 
Fuzzy logic | Fuzzy arithmetic | Engineering | Control, Robotics, Mechatronics | Artificial Intelligence | Mathematical and Computational Engineering | Mechanical Engineering | Biomedical Engineering and Bioengineering | Electrical Engineering
Book
2006, ISBN 0471687839, 576
A new approach to the study of arithmetic circuits In Synthesis of Arithmetic Circuits... 
Digital electronics | Embedded computer systems | Computer arithmetic and logic units | Circuit Theory & Design | Computer Engineering
eBook
Journal of the ACM (JACM), ISSN 0004-5411, 06/2017, Volume 64, Issue 2, pp. 1 - 74
Journal Article
2010, 2nd ed., ISBN 0195328485, xxv, 641
Book
2007, Graduate texts in mathematics, ISBN 9780387699035, Volume 241, ix, 511
This book provides an introduction to the relatively new discipline of arithmetic dynamics... 
Dynamics | Number theory | Textbooks
Book
2020, Advances in Information Security, ISBN 3030341410, Volume 77, 338
.... - are based on sophisticated mathematics and algorithms that in implementation involve much computer arithmetic. And for speed it is necessary that the arithmetic be realized at the hardware... 
Cryptography | Processor Architectures | Circuits and Systems | Cryptology | Computer Science | Data Structures and Information Theory
eBook
Foundations and trends in theoretical computer science, ISSN 1551-305X, 2009, Volume 5, Issue 3-4, pp. 207 - 388
...; and arithmetic circuits form the most standard model for studying the complexity of such computations... 
Lower bounds | Computer simulation | Circuits | Computation | Mathematical analysis | Proving | Mathematical models | Arithmetic
Journal Article
Journal of the ACM (JACM), ISSN 0004-5411, 06/2019, Volume 66, Issue 3, pp. 1 - 30
We eliminate a key roadblock to efficient verification of nonlinear integer arithmetic using CDCL SAT solvers, by showing how to construct short resolution proofs for many properties of the most... 
resolution proofs | Multiplier verification | SAT solvers | Computer Science, Information Systems | Technology | Computer Science | Computer Science, Theory & Methods | Computer Science, Hardware & Architecture | Computer Science, Software Engineering | Science & Technology | Integer programming | Solvers | Multipliers | Sulfuric acid | Arithmetic
Journal Article
Mathematics of Computation of the American Mathematical Society, ISSN 0025-5718, 09/2015, Volume 84, Issue 295, pp. 2361 - 2390
Arithmetic Kleinian groups are arithmetic lattices in PSL2(C). We present an algorithm that, given such a group Gamma, returns a fundamental domain and a finite... 
Physical Sciences | Mathematics | Mathematics, Applied | Science & Technology | Number Theory | Symbolic Computation | Computer Science
Journal Article
Journal of Complexity, ISSN 0885-064X, 12/2019, Volume 55, p. 101402
Nowadays, asymptotically fast algorithms are widely used in computer algebra for computations in towers of algebraic field extensions of small height. Yet it... 
Algebraic tower | Algebraic extension | Accelerated tower | Triangular set | Algorithm | Computer algebra | Complexity | Mathematical Software | Computer Science
Journal Article
Foundations and trends in theoretical computer science, ISSN 1551-305X, 2010, Volume 6, Issue 1-2, pp. 1 - 138
... (some of) their partial derivatives. The bulk of the survey shows that partial derivatives provide essential ingredients in proving both upper and lower bounds for computing polynomials by a variety of natural arithmetic models... 
Foundations | Computer simulation | Computation | Mathematical models | Derivatives | Combinatorial analysis | Arithmetic | Complexity
Journal Article
Physical review letters, ISSN 1079-7114, 01/2019, Volume 122, Issue 2, pp. 020502 - 020502
.... The standard approach requires the quantum computer to do arithmetic, which is a key contributor to the complexity... 
Physics, Multidisciplinary | Physical Sciences | Physics | Science & Technology | Algorithms | Computer simulation | Quantum theory | Quantum computers | Arithmetic | Physics - Quantum Physics
Journal Article