X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (74) 74
Conference Proceeding (18) 18
Publication (8) 8
Patent (5) 5
Book / eBook (2) 2
Dissertation (2) 2
Book Chapter (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
animals (23) 23
humans (19) 19
mice (15) 15
biochemistry & molecular biology (11) 11
computer science (9) 9
female (8) 8
mice, inbred c57bl (8) 8
arteriosclerosis - pathology (7) 7
arteriosclerosis - genetics (6) 6
cells, cultured (6) 6
male (6) 6
medicine, research & experimental (6) 6
mice, knockout (6) 6
microscopy, electron (6) 6
calculating (5) 5
cell biology (5) 5
computing (5) 5
counting (5) 5
data processing systems or methods, specially adapted foradministrative, commercial, financial, managerial, supervisoryor forecasting purposes (5) 5
data structures (5) 5
gene (5) 5
lipids (5) 5
lipoproteins (5) 5
model checking (5) 5
physics (5) 5
physiological aspects (5) 5
separation (5) 5
software (5) 5
systems or methods specially adapted for administrative,commercial, financial, managerial, supervisory or forecastingpurposes, not otherwise provided for (5) 5
transgenic mice (5) 5
alzheimer disease - metabolism (4) 4
apolipoproteins e - deficiency (4) 4
apolipoproteins e - genetics (4) 4
apolipoproteins e - metabolism (4) 4
atherosclerosis (4) 4
biological sciences (4) 4
cholesterol (4) 4
cholesterol - blood (4) 4
computer science - software engineering (4) 4
expression (4) 4
hypercholesterolemia (4) 4
low-density-lipoprotein (4) 4
messenger-rna (4) 4
mice, transgenic (4) 4
receptors, ldl - metabolism (4) 4
transfection (4) 4
analysis (3) 3
aorta - pathology (3) 3
arteriosclerosis - complications (3) 3
artificial intelligence (3) 3
base sequence (3) 3
cell membrane - metabolism (3) 3
cho cells (3) 3
computer programs (3) 3
cricetinae (3) 3
data models (3) 3
electric digital data processing (3) 3
fallstudie (3) 3
immunohistochemistry (3) 3
kinetics (3) 3
lesions (3) 3
lipid peroxidation (3) 3
lipids - blood (3) 3
logic (3) 3
memory management (3) 3
mouse (3) 3
multidisciplinary sciences (3) 3
operating systems (3) 3
protein binding (3) 3
rabbits (3) 3
receptor-related protein (3) 3
research (3) 3
safety (3) 3
security (3) 3
software engineering (3) 3
specifications (3) 3
standards (3) 3
time factors (3) 3
triglycerides (3) 3
alzheimer disease - pathology (2) 2
alzheimer's disease (2) 2
alzheimers disease (2) 2
analytical models (2) 2
animals, genetically modified (2) 2
antioxidants (2) 2
apolipoprotein b-100 (2) 2
apolipoprotein e3 (2) 2
apolipoprotein e4 (2) 2
apolipoprotein-e (2) 2
apolipoproteins b - biosynthesis (2) 2
apolipoproteins b - blood (2) 2
apolipoproteins b - genetics (2) 2
apolipoproteins e - chemistry (2) 2
apolipoproteins e - physiology (2) 2
arinc 653 (2) 2
article (2) 2
atherogenesis (2) 2
bacteria (2) 2
binding (2) 2
blotting, western (2) 2
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Design Automation for Embedded Systems, ISSN 0929-5585, 12/2019, Volume 23, Issue 3, pp. 123 - 151
In order to define executable hardware description language while at the same time be fit for formal proofs of properties, a hardware description language... 
Engineering | Hardware description languages | VeriFormal | Isabelle/HOL | Special Purpose and Application-Based Systems | Computer-Aided Engineering (CAD, CAE) and Design | Circuits and Systems | Domain-specific languages | Formal verification
Journal Article
IEEE Transactions on Dependable and Secure Computing, ISSN 1545-5971, 01/2019, Volume 16, Issue 1, pp. 127 - 141
Journal Article
IEEE Transactions on Industrial Informatics, ISSN 1551-3203, 08/2016, Volume 12, Issue 4, pp. 1321 - 1331
Journal Article
Proceedings of the National Academy of Sciences of the United States of America, ISSN 0027-8424, 7/2001, Volume 98, Issue 15, pp. 8838 - 8843
Journal Article
Otolaryngologic Clinics of North America, ISSN 0030-6665, 04/2016, Volume 49, Issue 2, pp. 489 - 500
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2016, Volume 9636, pp. 791 - 810
Conference Proceeding
Journal Article
Cryptology and Information Security Series, ISSN 1871-6431, 2017, Volume 15, pp. 19 - 36
Conference Proceeding
Automated Software Engineering, ISSN 0928-8910, 12/2013, Volume 20, Issue 4, pp. 569 - 612
The problem of verifying software systems that use dynamic data structures (such as linked lists, queues, or binary trees) has attracted increasing interest... 
Artificial Intelligence (incl. Robotics) | Software Engineering/Programming and Operating Systems | Model checking | Dynamic data structures | Computer Science | Mu-calculus | COMPUTER SCIENCE, SOFTWARE ENGINEERING | SHAPE-ANALYSIS | SYSTEMS | LOGIC | Data structures
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2017, Volume 10205, pp. 481 - 498
Conference Proceeding
Proceedings of the National Academy of Sciences of the United States of America, ISSN 0027-8424, 12/2000, Volume 97, Issue 25, pp. 13830 - 13834
Although lipid peroxidation in the subendothelial space has been hypothesized to play a central role in atherogenesis, the role of vitamin E in preventing... 
Antioxidants | Biological Sciences | Lipoproteins | Vitamin E | Vitamin E deficiency | Atherosclerosis | Aorta | Lipids | Mice | Lesions | Cholesterols | RAT-LIVER | ATHEROGENESIS | LIPID-PEROXIDATION | GENE | LDL | MULTIDISCIPLINARY SCIENCES | BINDING-PROTEIN | HYPERCHOLESTEROLEMIA | MUTATIONS | LESIONS | APOLIPOPROTEIN-E
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2014, Volume 8471, pp. 133 - 149
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2017, Volume 10499, pp. 285 - 303
Conference Proceeding
Journal of Automated Reasoning, ISSN 0168-7433, 4/2009, Volume 42, Issue 2, pp. 229 - 264
Journal Article
The American Journal of Pathology, ISSN 0002-9440, 2000, Volume 156, Issue 1, pp. 139 - 150
Cerebrovascular amyloid deposition and microvascular degeneration are frequently associated with Alzheimer's disease (AD), but the etiology and pathogenetic... 
Journal Article
No results were found for your search.

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