X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (61529) 61529
Conference Proceeding (9690) 9690
Newspaper Article (4487) 4487
Book / eBook (3988) 3988
Patent (2790) 2790
Book Chapter (2303) 2303
Magazine Article (2157) 2157
Newsletter (1401) 1401
Dissertation (957) 957
Book Review (580) 580
Web Resource (358) 358
Report (272) 272
Transcript (190) 190
Reference (161) 161
Government Document (144) 144
Publication (110) 110
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 (44286) 44286
computer science (40249) 40249
technology (34354) 34354
algorithms (15918) 15918
engineering (15679) 15679
mathematics (13998) 13998
physical sciences (12734) 12734
computer simulation (11229) 11229
analysis (9425) 9425
computer science, theory & methods (8353) 8353
engineering, electrical & electronic (7786) 7786
mathematical models (7459) 7459
computer science, software engineering (7139) 7139
studies (6434) 6434
life sciences & biomedicine (6339) 6339
artificial intelligence (5868) 5868
arithmetic (5855) 5855
computer science, information systems (5607) 5607
computers (5563) 5563
mathematics, applied (5302) 5302
physics (5233) 5233
humans (5037) 5037
methods (5030) 5030
computer science, artificial intelligence (5023) 5023
computer science, hardware & architecture (4758) 4758
mathematical analysis (4735) 4735
research (4580) 4580
software (4459) 4459
computer architecture (4294) 4294
computer science, interdisciplinary applications (4160) 4160
usage (4011) 4011
optimization (3988) 3988
hardware (3625) 3625
counting (2958) 2958
computation (2957) 2957
computing (2841) 2841
calculating (2790) 2790
computer programs (2592) 2592
neural networks (2512) 2512
computer science, general (2446) 2446
social sciences (2360) 2360
science & technology - other topics (2350) 2350
simulation (2330) 2330
theory of computation (2272) 2272
algebra (2269) 2269
computer programming (2240) 2240
electrical engineering (2197) 2197
male (2162) 2162
telecommunications (2139) 2139
data processing (2136) 2136
female (2041) 2041
computer systems based on specific computational models (2026) 2026
cryptography (2021) 2021
computer communication networks (2003) 2003
programming languages (1983) 1983
numerical analysis (1980) 1980
computer industry (1944) 1944
software engineering (1941) 1941
microprocessors (1925) 1925
logic (1906) 1906
mechanical engineering (1879) 1879
image processing (1814) 1814
computer software (1792) 1792
signal processing (1782) 1782
computer software industry (1771) 1771
computer-aided engineering and design (1742) 1742
image processing and computer vision (1712) 1712
automation & control systems (1701) 1701
signal, image and speech processing (1688) 1688
field programmable gate arrays (1681) 1681
pattern recognition (1667) 1667
science (1650) 1650
electric digital data processing (1626) 1626
circuits and systems (1618) 1618
software engineering/programming and operating systems (1604) 1604
polynomials (1562) 1562
research article (1561) 1561
multidisciplinary sciences (1525) 1525
parallel processing (1517) 1517
architecture (1507) 1507
data structures, cryptology and information theory (1498) 1498
neurosciences (1486) 1486
computer graphics (1420) 1420
programming (1414) 1414
adult (1410) 1410
education (1405) 1405
computer networks (1367) 1367
neurosciences & neurology (1362) 1362
design engineering (1359) 1359
mathematics, general (1356) 1356
circuits (1347) 1347
computational mathematics and numerical analysis (1333) 1333
operations research & management science (1332) 1332
chemistry (1314) 1314
computer applications (1314) 1314
accuracy (1308) 1308
statistics (1304) 1304
statistics & probability (1302) 1302
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Engineering & Comp. Sci. - Stacks (605) 605
Gerstein Science - Stacks (421) 421
Online Resources - Online (385) 385
UTL at Downsview - May be requested (253) 253
UofT at Mississauga - Stacks (198) 198
Mathematical Sciences - Stacks (168) 168
Collection Dvlpm't (Acquisitions) - Vendor file (157) 157
Collection Dvlpm't (Acquisitions) - Closed Orders (141) 141
UofT at Scarborough - Stacks (134) 134
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 (22) 22
St. Michael's College (John M. Kelly) - 2nd Floor (19) 19
Gerstein Science - Theses (18) 18
OISE - Stacks (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 (90544) 90544
Chinese (936) 936
German (442) 442
Japanese (425) 425
French (334) 334
Spanish (244) 244
Russian (76) 76
Korean (68) 68
Portuguese (66) 66
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
Lithuanian (3) 3
Polish (3) 3
Romanian (3) 3
Croatian (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, xix, 556
A new approach to the study of arithmetic circuits In Synthesis of Arithmetic Circuits... 
Circuit Theory & Design | Digital electronics | Embedded computer systems | Computer arithmetic and logic units | Computer Engineering
Book
Journal Article
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
2009, ISBN 9781420066210, xxvi, 825
Book
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