X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (2023) 2023
Patent (1593) 1593
Dissertation (455) 455
Conference Proceeding (429) 429
Book / eBook (293) 293
Book Chapter (34) 34
Magazine Article (24) 24
Publication (9) 9
Paper (3) 3
Journal / eJournal (1) 1
Web Resource (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
generation (1598) 1598
electricity (1594) 1594
conversion or distribution of electric power (1593) 1593
generation of electric power by conversion of infra-redradiation, visible light or ultraviolet light, e.g. usingphotovoltaic [pv] modules (1593) 1593
general tagging of cross-sectional technologies spanning over several sections of the ipc (806) 806
general tagging of new technological developments (806) 806
technical subjects covered by former uspc cross-reference art collections [xracs] and digests (806) 806
technologies or applications for mitigation or adaptation againstclimate change (780) 780
blasting (728) 728
heating (728) 728
mechanical engineering (728) 728
lighting (727) 727
weapons (727) 727
basic electric elements (721) 721
semiconductor devices (689) 689
electric solid state devices not otherwise provided for (688) 688
mathematics (675) 675
reduction of greenhouse gas [ghg] emissions, related to energygeneration, transmission or distribution (671) 671
ranges (587) 587
ventilating (587) 587
solar heat collectors (489) 489
solar heat systems (489) 489
climate change mitigation technologies related to buildings,e.g. housing, house appliances or related end-userapplications (359) 359
satisfiability modulo theories (244) 244
physics (241) 241
algebra (214) 214
fixed constructions (214) 214
módulos (211) 211
computer science (193) 193
modules (190) 190
building (186) 186
mathematics, applied (184) 184
engineering, electrical & electronic (170) 170
modulo (159) 159
performing operations (158) 158
transporting (158) 158
computer science, theory & methods (142) 142
circuit arrangements or systems for supplying or distributingelectric power (138) 138
systems for storing electric energy (138) 138
gutters (135) 135
roof coverings (135) 135
roof-working tools (135) 135
sky-lights (135) 135
testing (132) 132
algorithms (129) 129
measuring (124) 124
residue number system (122) 122
analysis (114) 114
number theory (113) 113
modulo scheduling (106) 106
technical subjects covered by former uspc (106) 106
finite number systems (94) 94
mathematics, general (94) 94
modular systems (94) 94
computer science, hardware & architecture (92) 92
mathematical analysis (91) 91
computer science, information systems (86) 86
computer science, software engineering (84) 84
módulo de elasticidade (83) 83
technical subjects covered by former us classification (83) 83
logic (80) 80
rings (80) 80
adders (78) 78
anillos (76) 76
modul (75) 75
cryptography (72) 72
measuring electric variables (72) 72
measuring magnetic variables (72) 72
machines or engines for liquids (68) 68
or a reactive propulsive thrust, not otherwise provided for (68) 68
producing mechanical power (68) 68
wind, spring weight and miscellaneous motors (68) 68
moduli theory (65) 65
polynomials (59) 59
integers (58) 58
modulus of elasticity (58) 58
computer architecture (57) 57
teoría de módulos (57) 57
optimization (55) 55
arithmetic (53) 53
distribution modulo 1 (53) 53
modulos (53) 53
computer science, artificial intelligence (52) 52
satisfiability modulo theory (52) 52
software (52) 52
climate change mitigation technologies in the production orprocessing of goods (51) 51
hardware (51) 51
design (50) 50
geometry, algebraic (50) 50
theory of moduli (50) 50
research (49) 49
delay (48) 48
human necessities (48) 48
encoding (47) 47
geometry (47) 47
mathematical models (47) 47
módulo de elasticidad (47) 47
wind motors (47) 47
algebraic geometry (46) 46
elastic modulus (46) 46
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Mathematical Sciences - Stacks (177) 177
Gerstein Science - Stacks (72) 72
Collection Dvlpm't (Acquisitions) - Vendor file (15) 15
Collection Dvlpm't (Acquisitions) - Closed Orders (14) 14
Engineering & Comp. Sci. - Stacks (10) 10
Mathematical Sciences - Missing (10) 10
UofT at Mississauga - Stacks (8) 8
UTL at Downsview - May be requested (7) 7
UofT at Scarborough - Stacks (4) 4
Mathematical Sciences - Course Reserves (2) 2
Online Resources - Online (2) 2
Physics - Stacks (2) 2
St. Michael's College (John M. Kelly) - 2nd Floor (2) 2
Engineering & Comp. Sci. - May be requested in 6-10 wks (1) 1
Engineering & Comp. Sci. - Missing (1) 1
Engineering & Comp. Sci. - Periodical Stacks (1) 1
Gerstein Science - Reserve desk (1) 1
Mathematical Sciences - May be requested in 6-10 wks (1) 1
Mathematical Sciences - Withdrawn (1) 1
New College (Ivey) - Stacks (1) 1
Robarts - Stacks (1) 1
UofT at Mississauga - May be requested in 6-10 wks (1) 1
Victoria University E.J. Pratt - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (2994) 2994
Spanish (1508) 1508
Portuguese (755) 755
French (111) 111
Japanese (65) 65
German (62) 62
Italian (55) 55
Chinese (13) 13
Turkish (7) 7
Russian (6) 6
Arabic (4) 4
Breton (4) 4
Catalan (4) 4
Czech (2) 2
Korean (2) 2
Croatian (1) 1
Dutch (1) 1
Latin (1) 1
Polish (1) 1
Romanian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2015, 3rd edition., Graduate studies in mathematics, ISBN 9780821898543, Volume 163, xxiv, 629
Book
Artificial intelligence, ISSN 0004-3702, 2017, Volume 244, pp. 166 - 187
Modeling problems containing a mixture of Boolean and numerical variables is a long-standing interest of Artificial Intelligence. However, performing inference... 
Structured-output support vector machines | Optimization modulo theory | Constructive machine learning | Satisfiability modulo theory | Learning with constraints | INFERENCE | LOGIC | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | SATISFIABILITY MODULO | Artificial intelligence | Analysis | Machine learning
Journal Article
International Journal of Electronics, ISSN 0020-7217, 12/2015, Volume 102, Issue 12, pp. 2062 - 2074
Moduli of the 2 n and 2 n  ± 1 forms are usually employed in designs that adopt the residue number system. However, in several cases such as in finite impulse... 
modulo arithmetic | residue number system | modulo multiplier | multi-operand modulo adder | digital signal processing | modulo squarer
Journal Article
Computers and Electrical Engineering, ISSN 0045-7906, 07/2017, Volume 61, pp. 95 - 103
Performance of modulo-(2n+1) arithmetic is enhanced via D1 encoding versus normal (n+1)-bit encoding of residues in [0,  2n]. Faster modulo-(2n+1) operations... 
Modulo-(2n + 1) addition | Residue number system | Diminished-1 encoding | Modulo-(2n + 1) subtraction | Computer arithmetic | Unified adder/subtractor | Modulo- | 1) addition | 1) subtraction
Journal Article
IEEE Transactions on Information Theory, ISSN 0018-9448, 05/2016, Volume 62, Issue 5, pp. 2545 - 2556
This paper studies an untrusted relay channel, in which the destination sends artificial noise simultaneously with the source sending a message to the relay,... 
Fading channels | lattice codes | Untrusted relay | modulo-and-forward | Lattices | Interference | Encoding | physical layer security | Security | Synchronization | Relays | modulo-andforward | SECRECY CAPACITY | CODES | COMPUTER SCIENCE, INFORMATION SYSTEMS | SYSTEMS | WIRETAP | SELECTION | ENGINEERING, ELECTRICAL & ELECTRONIC | Degree of freedom | Usage | Research | Information theory
Journal Article
ACI materials journal, ISSN 1944-737X, 1987
Journal
Mathematics of Computation of the American Mathematical Society, ISSN 0025-5718, 07/2019, Volume 88, Issue 318, pp. 1991 - 2003
We apply a common measure of randomness, the entropy, in the context of iterated functions on a finite set with n elements. For a permutation, this entropy... 
POLYNOMIALS | MATHEMATICS, APPLIED | REPEATED EXPONENTIATION MODULO | DYNAMICAL-SYSTEMS | CYCLE STRUCTURE
Journal Article
Theoretical Computer Science, ISSN 0304-3975, 04/2017, Volume 672, pp. 1 - 35
Conditional rewriting modulo axioms with rich types makes specifications and declarative programs very expressive and succinct and is used in all well-known... 
Order-sorted specifications | Church–Rosser property | Conditional rewriting modulo equations | Operational termination | Coherence | RULES MODULO | ORDER-SORTED ALGEBRA | CONFLUENT | DEDUCTION | LOGIC | EQUATIONAL THEORIES | Church-Rosser property | OPERATIONAL SEMANTICS | SYSTEMS | COMPUTER SCIENCE, THEORY & METHODS | COMPLETION | TERMINATION
Journal Article
Computers & electrical engineering, ISSN 0045-7906, 2019, Volume 75, pp. 61 - 76
Journal Article
Mathematische Zeitschrift, ISSN 0025-5874, 8/2017, Volume 286, Issue 3, pp. 821 - 841
By combining a sieve method of Harman with the work of Maynard and Tao we show that $$\begin{aligned} \liminf _{n\rightarrow \infty }\ (p_{n+m}-p_n)\ll \exp... 
Mathematics, general | Mathematics | MATHEMATICS | GAPS | P MODULO ONE
Journal Article
Displays, ISSN 0141-9382, 2016, Volume 42, pp. 36 - 42
•We proposed a novel method to embed a series of ternary secret data based on LSB.•The proposed scheme can hide two ternary numbers into each grayscale pixel,... 
LSB scheme | Modulo three strategy | Steganalysis | High embedding capacity
Journal Article
Quarterly Journal of Mathematics, ISSN 0033-5606, 2015, Volume 66, Issue 1, pp. 1 - 12
We study the problem of Diophantine approximation on lines in R-2 with prime numerator and denominator. 
MATHEMATICS | THEOREM | P MODULO ONE
Journal Article
ACM Transactions on Computational Logic (TOCL), ISSN 1529-3785, 03/2015, Volume 16, Issue 2, pp. 1 - 43
In the contexts of automated reasoning (AR) and formal verification (FV), important decision problems are effectively encoded into Satisfiability Modulo... 
automated reasoning | optimization | Satisfiability modulo theories | Automated reasoning | Optimization | Algorithms | Theory | SAT | COMPUTER SCIENCE, THEORY & METHODS | CHECKING | Performance | LOGIC | SATISFIABILITY MODULO | Solvers | Cost function | Minimization | Mathematical models | Logic | Arrays | Computer programs
Journal Article
ACM Transactions on Computational Logic (TOCL), ISSN 1529-3785, 09/2019, Volume 20, Issue 4, pp. 1 - 36
We present new methods for solving the Satisfiability Modulo Theories problem over the theory of Quantifier-Free Non-linear Integer Arithmetic, SMT(QF-NIA),... 
satisfiability modulo theories | Non-linear arithmetic | SATISFIABILITY | MAXSAT | OPTIMIZATION | GENERATION | COMPUTER SCIENCE, THEORY & METHODS | SAT MODULO THEORIES | LOGIC | Integer programming | Informàtica | Informàtica teòrica | Programació en nombres enters | Satisfiability modulo theories | Àrees temàtiques de la UPC
Journal Article
2015, Contemporary mathematics: Centre de Recherches Mathématiques Proceedings, ISBN 1470414589, Volume 654., vii, 165
This volume contains papers from the Short Thematic Program on Rational Points, Rational Curves, and Entire Holomorphic Curves and Algebraic Varieties, held... 
Rational points (Geometry) | Arithmetical algebraic geometry | Geometry, Algebraic
Book
Journal of Mathematical Analysis and Applications, ISSN 0022-247X, 11/2017, Volume 455, Issue 1, pp. 778 - 791
In this paper, we prove a threshold result on the existence of a circularly invariant uniformizable probability measure (CIUPM) for linear transformations with... 
Circularly invariant uniformizable probability measure (CIUPM) | Uniformly distributed (modulo one) sequence | Linear transformation | Diameter | Existence | Uniqueness
Journal Article
Circuits, Systems, and Signal Processing, ISSN 0278-081X, 12/2011, Volume 30, Issue 6, pp. 1445 - 1461
Journal Article
Aequationes mathematicae, ISSN 0001-9054, 12/2016, Volume 90, Issue 6, pp. 1115 - 1127
We deal with functions which fulfil the condition $${\Delta_h^{n+1} \varphi(x)\in\mathbb{Z}}$$ Δ h n + 1 φ ( x ) ∈ Z for all x, h taken from some linear space... 
Polynomial functions | Primary 39B99 | Analysis | Polynomial equation modulo integers | Mathematics | Cauchy’s equation modulo integers | Combinatorics | Secondary 39A70 | MATHEMATICS | MATHEMATICS, APPLIED | CAUCHY | Cauchy's equation modulo integers | Functions (mathematics) | Mathematical analysis | Congruences | Texts | Polynomials | Vector spaces | Formulas (mathematics)
Journal Article
No results were found for your search.

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