X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (101) 101
Newspaper Article (84) 84
Patent (43) 43
Newsletter (23) 23
Book Review (17) 17
Book / eBook (10) 10
Magazine Article (8) 8
Publication (7) 7
Web Resource (4) 4
Book Chapter (3) 3
Conference Proceeding (3) 3
Dissertation (1) 1
Report (1) 1
Trade Publication Article (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
chemistry (41) 41
compositions based thereon (41) 41
metallurgy (41) 41
organic macromolecular compounds (41) 41
their preparation or chemical working-up (41) 41
macromolecular compounds obtained by reactions only involvingcarbon-to-carbon unsaturated bonds (39) 39
macromolecular compounds obtained otherwise than by reactionsonly involving unsaturated carbon-to-carbon bonds (36) 36
general tagging of cross-sectional technologies spanning over several sections of the ipc (14) 14
general tagging of new technological developments (14) 14
technical subjects covered by former uspc (14) 14
technical subjects covered by former uspc cross-reference art collections [xracs] and digests (14) 14
technical subjects covered by former uspc cross-reference artcollections [xracs] and digests (14) 14
index medicus (13) 13
animals (12) 12
compositions of macromolecular compounds (10) 10
humans (10) 10
after-treatment not covered by subclasses c08b, c08c, c08f,c08g (9) 9
general processes of compounding (9) 9
working-up (9) 9
male (8) 8
history (7) 7
female (6) 6
identification (6) 6
councils (5) 5
international (5) 5
astrophysics (4) 4
computer science - logic in computer science (4) 4
cubical sets (4) 4
observations (4) 4
protein (4) 4
rats (4) 4
research (4) 4
studies (4) 4
topos (4) 4
abridged index medicus (3) 3
administración de la seguridad social (3) 3
administration de la sécurité sociale (3) 3
adult (3) 3
aged (3) 3
amino acid sequence (3) 3
archaeology (3) 3
base sequence (3) 3
biochemistry & molecular biology (3) 3
criminal investigations (3) 3
cubical type theory (3) 3
genes (3) 3
genetics (3) 3
genomics (3) 3
glutathione transferase - metabolism (3) 3
homotopy type theory (3) 3
internacional (3) 3
kidney - enzymology (3) 3
liver - enzymology (3) 3
mice (3) 3
microbiology (3) 3
middle aged (3) 3
mitochondria (3) 3
molecular sequence data (3) 3
mortality (3) 3
multidisciplinary sciences (3) 3
physics (3) 3
prospective studies (3) 3
research article (3) 3
sequence homology, amino acid (3) 3
social security administration (3) 3
surgery (3) 3
turkey (3) 3
univalence (3) 3
verwaltung der sozialen sicherheit (3) 3
africa (2) 2
aiss (2) 2
alzheimers disease (2) 2
artifacts (2) 2
astronomy (2) 2
astronomy & astrophysics (2) 2
atmospheric science (2) 2
bibliography (2) 2
book reviews (2) 2
catalytic activity (2) 2
category theory (2) 2
chromatography, affinity (2) 2
class kappa glutathione s-transferase (2) 2
cloning, molecular (2) 2
cohort studies (2) 2
collaboration (2) 2
collecting and the library (2) 2
computer science (2) 2
computer science, theory & methods (2) 2
cytosol (2) 2
dependent type theory (2) 2
discovery and exploration (2) 2
earth and planetary astrophysics (2) 2
escherichia coli - enzymology (2) 2
ethics (2) 2
exoplanets (2) 2
expressed sequence tags (2) 2
expression (2) 2
forecasts and trends (2) 2
gene structure (2) 2
genetic aspects (2) 2
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Robarts - Stacks (3) 3
UTL at Downsview - May be requested (3) 3
Collection Dvlpm't (Acquisitions) - Vendor file (1) 1
Royal Ontario Museum - Far Eastern West Asian (1) 1
UofT at Mississauga - Stacks (1) 1
UofT at Scarborough - Stacks (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 (265) 265
German (8) 8
Finnish (7) 7
Danish (4) 4
French (4) 4
Norwegian (4) 4
Spanish (3) 3
Portuguese (2) 2
Swedish (2) 2
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Lancet, The, ISSN 0140-6736, 2016, Volume 388, Issue 10043, pp. 498 - 503
Journal Article
2002, 1. Aufl., Blackwell companions in cultural studies, ISBN 9780631207627, xix, 529
The Companion provides an accessible critical survey of Western visual art theory from sources in Classical, Medieval and Renaissance thought through to... 
History | Art criticism | General | ART | Art | Aesthetics | Philosophy
Book
Leibniz International Proceedings in Informatics, LIPIcs, ISSN 1868-8969, 08/2016, Volume 62
Conference Proceeding
1976, New studies in archaeology, ISBN 9780521297387, Volume 1, viii, 270
Book
International Social Security Review, ISSN 0020-871X, 04/2010, Volume 63, Issue 2, pp. 87 - 101
This article reviews the findings of a major survey conducted in 2009 by the International Social Security Association (ISSA) on the impacts of the financial... 
social security administration | social security financing | ISSA | economic recession | international | Social security financing | Social security administration | Economic recession | International | Surveys | Social security | Investment income | Rates of return | Economic impact | International finance | Polls & surveys | Funds
Journal Article
2007, ISBN 0719072573, xiii, 279 p., 60 p. of plates
Book
Internationale Revue für Soziale Sicherheit, ISSN 0379-0282, 04/2010, Volume 63, Issue 2, pp. 97 - 112
Auszug Dieser Artikel fasst die Ergebnisse einer größeren Umfrage zu den Auswirkungen der Finanz‐ und Wirtschaftskrise zusammen, welche die Internationale... 
Verwaltung der sozialen Sicherheit | Finanzierung der sozialen Sicherheit | wirtschaftliche Rezession | International
Journal Article
Leibniz International Proceedings in Informatics, LIPIcs, ISSN 1868-8969, 07/2018, Volume 108
Leibniz International Proceedings in Informatics (LIPIcs), Vol. 108, pp. 22:1-22:17, 2018 We begin by recalling the essentially global character of universes... 
Modalities | Dependent type theory | Internal language | Universes | Homotopy type theory | Cubical sets | Univalent foundations | Computer Science - Logic in Computer Science
Conference Proceeding
Logical Methods in Computer Science, ISSN 1860-5974, 2018, Volume 14, Issue 4
The homotopical approach to intensional type theory views proofs of equality as paths. We explore what is required of an object I in a topos to give such a... 
Univalence | Homotopy type theory | Topos | Cubical sets | Models of dependent type theory | Cubical type theory | cubical sets | UNIVERSES | homotopy type theory | univalence | COMPUTER SCIENCE, THEORY & METHODS | cubical type theory | models of dependent type theory | LOGIC | topos | Computer Science - Logic in Computer Science
Journal Article
Revista Internacional de Seguridad Social, ISSN 0250-605X, 04/2010, Volume 63, Issue 2, pp. 99 - 114
Resumen Este artículo examina las conclusiones de una importante encuesta que la Asociación Internacional de la Seguridad Social (AISS) llevó a cabo en el año... 
recesión económica | financiación de la seguridad social | administración de la seguridad social | AISS | internacional
Journal Article
Revue Internationale de Sécurité Sociale, ISSN 0379-0312, 04/2010, Volume 63, Issue 2, pp. 99 - 114
Résumé Cet article dresse le bilan d'une grande enquête conduite en 2009 par l'Association internationale de la sécurité sociale (AISS), qui porte sur les... 
financement de la sécurité sociale | international | administration de la sécurité sociale | récession économique
Journal Article
LOGICAL METHODS IN COMPUTER SCIENCE, ISSN 1860-5974, 2019, Volume 15, Issue 1
This paper introduces a new family of models of intensional Martin-Lof type theory. We use constructive ordered algebra in toposes. Identity types in the... 
homotopy theory | Moore path | COMPUTER SCIENCE, THEORY & METHODS | LOGIC | dependent type theory | topos | Computer Science - Logic in Computer Science
Journal Article
DALTON TRANSACTIONS, ISSN 1477-9226, 12/2019, Volume 48, Issue 46, pp. 17340 - 17348
The alkyl chain carrying ligands N,N-di(pyridin-2-yl)butanamide (LC4) and N,N-di(pyridin-2-yl)decanamide (LC10) were combined with NCS- co-ligands to form the... 
TEMPERATURE | HYDROGEN-BOND | PHASE-TRANSITION | COMPOUND | T-5 TRANSITION | EXAMPLE | CHEMISTRY, INORGANIC & NUCLEAR
Journal Article