X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (649) 649
Patent (440) 440
Conference Proceeding (139) 139
Publication (18) 18
Book Chapter (15) 15
Book Review (8) 8
Web Resource (4) 4
Book / eBook (2) 2
Dissertation (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
physics (211) 211
index medicus (206) 206
humans (149) 149
electricity (144) 144
basic electric elements (110) 110
male (105) 105
female (98) 98
cinematography (91) 91
electrography (91) 91
electrophotography (91) 91
holography (91) 91
magnetography (91) 91
photography (91) 91
electric solid state devices not otherwise provided for (85) 85
semiconductor devices (85) 85
performing operations (84) 84
transporting (84) 84
chemistry (70) 70
metallurgy (68) 68
animals (63) 63
human necessities (62) 62
testing (59) 59
measuring (58) 58
adult (53) 53
middle aged (53) 53
aged (48) 48
biochemistry & molecular biology (45) 45
general tagging of cross-sectional technologies spanning over several sections of the ipc (45) 45
general tagging of new technological developments (45) 45
technical subjects covered by former uspc cross-reference art collections [xracs] and digests (45) 45
mutation (39) 39
analysis (37) 37
mice (34) 34
mechanical engineering (33) 33
blasting (31) 31
electric communication technique (31) 31
genetics & heredity (31) 31
heating (31) 31
lighting (31) 31
proteins (31) 31
weapons (31) 31
cafeobj (30) 30
optics (30) 30
computer science (29) 29
after-treatment of the shaped products, e.g. repairing (26) 26
research (26) 26
shaping of material in a plastic state, not otherwise providedfor (26) 26
shaping or joining of plastics (26) 26
working of plastics (26) 26
working of substances in a plastic state, in general (26) 26
genetic aspects (25) 25
model checking (25) 25
algebraic specification (24) 24
games (24) 24
molecular sequence data (24) 24
technical subjects covered by former us classification (24) 24
technical subjects covered by former uspc (24) 24
amino acid sequence (23) 23
amusements (23) 23
compositions based thereon (23) 23
indexing scheme associated with subclass b29c, relating to particulararticles (23) 23
models, molecular (23) 23
organic macromolecular compounds (23) 23
sports (23) 23
their preparation or chemical working-up (23) 23
verification (23) 23
child (22) 22
fixed constructions (22) 22
maude (22) 22
aged, 80 and over (21) 21
basic electronic circuitry (21) 21
card, board, or roulette games (21) 21
games not otherwise provided for (21) 21
indoor games using small moving playing bodies (21) 21
technologies or applications for mitigation or adaptation againstclimate change (21) 21
video games (21) 21
dyes (20) 20
adhesives (19) 19
adolescent (19) 19
compositions of macromolecular compounds (19) 19
miscellaneous applications of materials (19) 19
miscellaneous compositions (19) 19
natural resins (19) 19
oncology (19) 19
optical elements, systems, or apparatus (19) 19
paints (19) 19
polishes (19) 19
software engineering (19) 19
health aspects (18) 18
japan (18) 18
cancer (17) 17
combustion engines (16) 16
gene mutations (16) 16
hot-gas or combustion-product engine plants (16) 16
paper (16) 16
physics, applied (16) 16
pulse technique (16) 16
rats (16) 16
treatment outcome (16) 16
base sequence (15) 15
more...
Library Location Library Location
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (1156) 1156
Japanese (98) 98
French (59) 59
German (34) 34
Chinese (22) 22
Korean (7) 7
Spanish (2) 2
Turkish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Journal of Human Genetics, ISSN 1434-5161, 02/2018, Volume 63, Issue 2, pp. 207 - 211
Episodic ataxias (EAs) are rare channelopathies characterized by recurrent ataxia and vertigo, having eight subtypes. Mutated genes were found in four of these... 
VARIANTS | TRANSPORTER | GENETICS & HEREDITY | Excitatory Amino Acid Transporter 1 - chemistry | Humans | Models, Molecular | Male | Mutation, Missense | Ataxia - genetics | Excitatory Amino Acid Transporter 1 - genetics | Child | Amino Acid Substitution
Journal Article
2016, Lecture Notes in Computer Science, ISBN 331947846X, Volume 10009
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in... 
Computer science | Computer communication systems | Programming languages (Electronic computers) | Computer programming | Computer logic | Mathematical logic | Software engineering
Web Resource
2016, Lecture Notes in Computer Science, ISBN 331947846X, Volume 10009
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in... 
Computer science | Computer communication systems | Programming languages (Electronic computers) | Computer programming | Computer logic | Mathematical logic | Software engineering
Web Resource
Journal of Information Security and Applications, ISSN 2214-2126, 10/2017, Volume 36, pp. 101 - 111
Journal Article
2014, Lecture Notes in Computer Science, ISBN 3642546234, Volume 8373
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods... 
Computer science | Logic design | Software engineering
Web Resource
2014, Lecture Notes in Computer Science, ISBN 3642546234, Volume 8373
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods... 
Computer science | Logic design | Software engineering
Web Resource
Frontiers of Computer Science, ISSN 2095-2228, 2/2019, Volume 13, Issue 1, pp. 51 - 72
This paper proposes an approach to making liveness model checking problems under fairness feasible. The proposed method divides such a problem into smaller... 
fairness | model checking | Computer Science | liveness property | Maude | anti-fairness | Computer Science, general | COMPUTER SCIENCE, SOFTWARE ENGINEERING | COMPUTER SCIENCE, INFORMATION SYSTEMS | COMPUTER SCIENCE, THEORY & METHODS | Properties (attributes) | Logic programming | Checkers | Temporal logic
Journal Article
Epilepsia, ISSN 0013-9580, 06/2015, Volume 56, Issue 6, pp. 841 - 848
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2014, Volume 8373, pp. 630 - 656
Journal Article
Applied Intelligence, ISSN 0924-669X, 6/2015, Volume 42, Issue 4, pp. 722 - 737
Journal Article
IEICE Transactions on Information and Systems, ISSN 0916-8532, 06/2013, Volume E96-D, Issue 6, p. 1257
Journal Article
Nature genetics, ISSN 1061-4036, 2017, Volume 49, Issue 3, pp. 457 - 464
Journal Article
Journal of Information Security and Applications, ISSN 2214-2126, 10/2017, Volume 36, pp. 101 - 111
Much progress of formal verification techniques has been made and therefore many formal verification case studies of systems, such as security protocols, have... 
Maude | Model checking | Observational transition systems (OTSs) | Electronic commerce | Rewriting | DESIGN | PROOF SCORES | FORMAL ANALYSIS | SECURITY | COMPUTER SCIENCE, INFORMATION SYSTEMS | SPECIFICATION | VERIFICATION
Journal Article
IEICE Transactions on Information and Systems, ISSN 0916-8532, 2013, Volume E96.D, Issue 6, pp. 1257 - 1257
Journal Article
IEICE Transactions on Information and Systems, ISSN 0916-8532, 2013, Volume E96.D, Issue 6, pp. 1257 - 1257
Journal Article
Annals of the American Thoracic Society, ISSN 2325-6621, 2014, Volume 11, Issue 1, pp. 1 - 8
Journal Article
Masui. The Japanese journal of anesthesiology, ISSN 0021-4892, 05/2017, Volume 66, Issue 5, p. 508
Ultrasonography is useful not only for screening, but also for evaluating pathological conditions and followup because it can be performed repeatedly and... 
Journal Article
Developmental Dynamics, ISSN 1058-8388, 09/2019, Volume 248, Issue 9, pp. 784 - 794
We generated BAC transgenic mice carrying complete coding and promoter sequences of Tokudaia muenninki which has unique Y chromosome and the SRY gene with a... 
neo‐Y | BAC | transgenic mouse | Y chromosome | Reproductive organs | Genetic engineering | Promoters (Genetics) | RNA | Phenotypes | Genitalia | Sox9 protein | Transgenic mice | mRNA | Gene expression | Embryos | Bacterial artificial chromosomes | Gene sequencing | Proteins | Reporter gene | Transgenic animals | Rodents | Mice | Chromosomes | Gonads | Index Medicus
Journal Article
No results were found for your search.

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