X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (2517) 2517
Conference Proceeding (63) 63
Patent (43) 43
Book / eBook (18) 18
Book Chapter (10) 10
Magazine Article (8) 8
Publication (6) 6
Dissertation (3) 3
Newspaper Article (2) 2
Book Review (1) 1
Reference (1) 1
Report (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
index medicus (683) 683
humans (428) 428
analysis (262) 262
male (249) 249
female (240) 240
research (223) 223
animals (219) 219
chemistry (128) 128
middle aged (127) 127
health aspects (126) 126
studies (116) 116
adult (115) 115
proteins (110) 110
plant sciences (108) 108
medicine (107) 107
environmental sciences (106) 106
multidisciplinary sciences (106) 106
research article (103) 103
biochemistry & molecular biology (100) 100
usage (98) 98
aged (97) 97
pharmacology & pharmacy (97) 97
pakistan (90) 90
gene expression (88) 88
nanoparticles (87) 87
cancer (86) 86
life sciences (85) 85
care and treatment (82) 82
chemistry, multidisciplinary (81) 81
methods (81) 81
mortality (81) 81
growth (80) 80
medicine, general & internal (79) 79
mice (78) 78
physiological aspects (77) 77
biotechnology & applied microbiology (75) 75
materials science, multidisciplinary (75) 75
organic chemistry (75) 75
plants (73) 73
genetic aspects (72) 72
risk factors (71) 71
algorithms (69) 69
enzymes (69) 69
microbiology (66) 66
optimization (64) 64
oxidative stress (64) 64
genes (63) 63
medicine, research & experimental (63) 63
original (63) 63
zoology (63) 63
adolescent (62) 62
expression (62) 62
science (62) 62
identification (61) 61
diagnosis (60) 60
management (60) 60
bacteria (59) 59
antioxidants (55) 55
mathematical models (55) 55
toxicity (55) 55
engineering, electrical & electronic (54) 54
treatment outcome (54) 54
biotechnology (53) 53
patients (53) 53
immunology (52) 52
cell biology (50) 50
child (50) 50
genetics (50) 50
genetics & heredity (50) 50
original article (50) 50
prevalence (50) 50
engineering (49) 49
genomes (49) 49
biology (48) 48
medical research (48) 48
resistance (48) 48
young adult (48) 48
apoptosis (47) 47
chemical properties (47) 47
metabolism (47) 47
mutation (47) 47
temperature (47) 47
infectious diseases (46) 46
physiology (46) 46
chemistry, medicinal (44) 44
genomics (44) 44
genotype (44) 44
risk (44) 44
cardiac & cardiovascular systems (43) 43
computer science (43) 43
design (43) 43
oncology (43) 43
physics, applied (43) 43
agriculture (42) 42
heterocyclic compounds (42) 42
physics (42) 42
rats (42) 42
abridged index medicus (41) 41
disease (41) 41
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Robarts - Stacks (8) 8
UofT at Scarborough - Stacks (4) 4
Collection Dvlpm't (Acquisitions) - Vendor file (2) 2
Engineering & Comp. Sci. - Stacks (2) 2
Gerstein Science - Stacks (2) 2
UofT at Mississauga - Stacks (2) 2
Collection Dvlpm't (Acquisitions) - Closed Orders (1) 1
Faculty of Information - Stacks (1) 1
Knox College (Caven) - Stacks (1) 1
New College (Ivey) - Stacks (1) 1
St. Michael's College (John M. Kelly) - 2nd Floor (1) 1
UTL at Downsview - May be requested (1) 1
UofT Schools - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (2646) 2646
French (19) 19
Portuguese (9) 9
Chinese (8) 8
Spanish (6) 6
German (5) 5
Japanese (4) 4
Persian (2) 2
Polish (2) 2
Russian (2) 2
Croatian (1) 1
Danish (1) 1
Greek (1) 1
Hungarian (1) 1
Italian (1) 1
Korean (1) 1
Serbian (1) 1
Slovenian (1) 1
Turkish (1) 1
Ukrainian (1) 1
Urdu (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Abstract and applied analysis, ISSN 1085-3375, 12/2014, Volume 2014, pp. 1 - 9
.... In this paper, formal procedure of managing air traffic from gate to enter in the active area of airport for taxiing is provided using Z notation... 
Usage | Models | Graph theory | Air traffic control | Airports | Automation | Mathematical models | Algorithms | Traffic flow
Journal Article
Life Science Journal, ISSN 1097-8135, 12/2012, Volume 9, Issue 4, pp. 994 - 1000
.... To assure quality and accurateness in Ontologies in the early design stage, we used the Z-specification which is a formal language based on discrete mathematics such as predicate logic, sets... 
Semantic web | Z-specification | Ontology | Formal methods | Semantic Web | Formal Methods | BIOLOGY
Journal Article
International journal of quantum chemistry, ISSN 0020-7608, 06/2020
Journal Article
International Journal of Innovative Computing, Information and Control, ISSN 1349-4198, 08/2012, Volume 8, Issue 8, pp. 5677 - 5690
Railway interlocking is a safety critical system because its incorrect functioning may cause serious consequences. Modeling of a reliable interlocking has... 
Moving block control | Z-specification | Railway interlocking system | Formal methods | Safety properties | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
Journal Article
BMC MEDICINE, ISSN 1741-7015, 08/2019, Volume 17, Issue 1, pp. 160 - 160
Journal Article
Materials Letters, ISSN 0167-577X, 04/2015, Volume 144, pp. 131 - 134
.... The nonlinear refractive index n2 and nonlinear absorption coefficient β are measured for these dyes using the closed and open aperture z-scan technique with a cw He–Ne laser at 632.8nm... 
Optical materials and properties | Spectroscopy | Organic | PHYSICS, APPLIED | BEHAVIOR | MATERIALS SCIENCE, MULTIDISCIPLINARY | PUSH-PULL CHROMOPHORES | ACCEPTOR | Nuclear magnetic resonance spectroscopy | Pyridine | Chemical properties | Aldehydes | Analysis | Methods | Optical properties | Resveratrol | Fluorescence | Chromophores | Pyridines | Dyes | Apertures | Ethyl alcohol | Nonlinearity | Derivatives | Nuclear magnetic resonance
Journal Article
Results in Physics, ISSN 2211-3797, 09/2019, Volume 14, p. 102455
Quantum dots being zero dimensional and much smaller in size have special properties and density of states that can be exploited for various commercial... 
QDs | Water treatment | Green process | SnO | Photocatalysis | g-C | N | g-C3N4 | HYBRID PHOTOCATALYST | PHYSICS, MULTIDISCIPLINARY | MATERIALS SCIENCE, MULTIDISCIPLINARY | HETEROJUNCTION PHOTOCATALYSTS | SIZE-CONTROLLED SYNTHESIS | Z-SCHEME | SnO2 QDs | PHOTOCATALYTIC ACTIVITY | HETEROSTRUCTURE | WASTE-WATER | SNO2 NANOPARTICLES | DEGRADATION | FABRICATION
Journal Article
by Langhorne, Peter and O'Donnell, Martin J and Chin, Siu Lim and Zhang, Hongye and Xavier, Denis and Avezum, Alvaro and Mathur, Nandini and Turner, Melanie and MacLeod, Mary Joan and Lopez-Jaramillo, Patricio and Damasceno, Albertino and Hankey, Graeme J and Dans, Antonio L and Elsayed, Ahmed and Mondo, Charles and Wasay, Mohammad and Czlonkowska, Anna and Weimar, Christian and Yusufali, Afzal Hussein and Hussain, Fawaz Al and Lisheng, Liu and Diener, Hans-Christoph and Ryglewicz, Danuta and Pogosova, Nana and Iqbal, Romana and Diaz, Rafael and Yusoff, Khalid and Oguz, Aytekin and Wang, Xingyu and Penaherrera, Ernesto and Lanas, Fernando and Ogah, Okechukwu S and Ogunniyi, Adesola and Iversen, Helle K and Malaga, German and Rumboldt, Zvonko and Magazi, Daliwonga and Nilanont, Yongchai and Rosengren, Annika and Oveisgharan, Shahram and Yusuf, Salim and O'Donnell, M and Yusuf, S and Rangarajan, S and Rao-Melacini, P and Zhang, X. Michelle and Islam, S and Kabali, C and Casanova, A and Chin, S.L and DeJesus, J and Dehghan, M and Agapay, S and McQueen, M and Hall, K and Keys, J and Wang, X and Devanath, A and Gupta, R and Prabhakaran, D and Diaz, R and Schygiel, P and Garrote, M and Rodriguez, M.A and Caccavo, A and Duran, R.G and Sposato, L and Molinos, J and Valdez, P and Cedrolla, C.M and Nofal, P.G and Huerta, M.F and Desmery, P.M and Zurru, M.C and Della Vedova, B and Varigos, J and Hankey, G and Kraemer, T and Gates, P and Bladin, C and Herkes, G and Avezum, A and Pereira, M.P and Minuzzo, L and Oliveira, L and Teixeira, M and Reis, H and Carvalho, A and Ouriques Martins, S and Carvalho, J.J and Gebara, O and Minelli, C and Oliveira, D.C and Sobral Sousa, A.C and Ferraz de Almeida, A.C and Hernandez, M.E and Friedrich, M and Mota, D.M and Ritt, L.E and Correa Vila Nova, D and ... and INTERSTROKE collaborators and INTERSTROKE Collaborators and Sahlgrenska akademin and Institute of Medicine, Department of Molecular and Clinical Medicine and Institutionen för medicin, avdelningen för molekylär och klinisk medicin and Göteborgs universitet and Gothenburg University and Sahlgrenska Academy
The Lancet, ISSN 0140-6736, 05/2018, Volume 391, Issue 10134, pp. 2019 - 2027
Journal Article
Life Science Journal, ISSN 1097-8135, 12/2012, Volume 9, Issue 4, pp. 988 - 993
.... The formal method Z is an ideal notation which is used for describing state space of a system and then defining operations... 
Integration of approaches | Model checking | Context free languages | Formal specification Z | BIOLOGY
Journal Article
International Journal of Physical Sciences, ISSN 1992-1950, 11/2011, Volume 6, Issue 31, pp. 7262 - 7270
Journal Article
The New England Journal of Medicine, ISSN 0028-4793, 12/2011, Volume 365, Issue 24, pp. 2268 - 2276
Journal Article