X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (254) 254
Conference Proceeding (39) 39
Book Review (28) 28
Patent (7) 7
Magazine Article (6) 6
Book / eBook (4) 4
Publication (3) 3
Dissertation (2) 2
Book Chapter (1) 1
Reference (1) 1
Report (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
humans (96) 96
female (52) 52
male (49) 49
adult (38) 38
computer science, software engineering (38) 38
middle aged (38) 38
aged (21) 21
index medicus (21) 21
languages (17) 17
adolescent (16) 16
dentistry, oral surgery & medicine (16) 16
israel (15) 15
design (14) 14
surgery (14) 14
child (13) 13
contracts (11) 11
stress (11) 11
dental care for chronically ill (10) 10
grandparents (10) 10
management (10) 10
dentistry (9) 9
mothers (9) 9
social aspects (9) 9
clinical neurology (8) 8
emergencies (8) 8
research (8) 8
young adult (8) 8
reliability (7) 7
social support (7) 7
stroke (7) 7
adaptation, psychological (6) 6
artificial intelligence (6) 6
basic electric elements (6) 6
computer science (6) 6
computer science, theory & methods (6) 6
disease (6) 6
electric solid state devices not otherwise provided for (6) 6
electricity (6) 6
foreign countries (6) 6
perceptions (6) 6
personal growth (6) 6
posttraumatic growth (6) 6
practice guidelines as topic (6) 6
prevention (6) 6
psychology, multidisciplinary (6) 6
retrospective studies (6) 6
risk factors (6) 6
semiconductor devices (6) 6
social work (6) 6
tomography, x-ray computed (6) 6
aged, 80 and over (5) 5
analysis (5) 5
children (5) 5
evaluation (5) 5
evoked potentials, somatosensory (5) 5
growth (5) 5
health (5) 5
infant (5) 5
methods (5) 5
oncology (5) 5
pregnancy (5) 5
programming languages (5) 5
psychological aspects (5) 5
racket (5) 5
self concept (5) 5
self-esteem (5) 5
surveys and questionnaires (5) 5
usage (5) 5
antibiotic prophylaxis - utilization (4) 4
care and treatment (4) 4
case-control studies (4) 4
child, preschool (4) 4
children & youth (4) 4
disability (4) 4
endocarditis, bacterial - prevention & control (4) 4
fibrinolytic agents - administration & dosage (4) 4
gender differences (4) 4
grandmothers (4) 4
health aspects (4) 4
impact (4) 4
individual development (4) 4
infant, newborn (4) 4
interoperability (4) 4
java (4) 4
life change events (4) 4
mental health (4) 4
mothers - psychology (4) 4
neurosciences (4) 4
postoperative complications (4) 4
psychometrics (4) 4
rehabilitation (4) 4
self esteem (4) 4
sociology (4) 4
specification (4) 4
studies (4) 4
therapy (4) 4
transition (4) 4
treatment outcome (4) 4
united states (4) 4
adaptation (3) 3
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


ACM Transactions on Programming Languages and Systems (TOPLAS), ISSN 0164-0925, 08/2018, Volume 40, Issue 3, pp. 1 - 37
A medical prescription is a set of health care instructions that govern the plan of care for an individual patient, which may include orders for drug therapy,... 
empirical evaluation | medical prescriptions | DSL design | medical programming languages | Medical programming languages | Empirical evaluation | Medical prescriptions | COMPUTER SCIENCE, SOFTWARE ENGINEERING | SAFETY | VALIDATION | VISUAL ANALOG | HEALTH-CARE | Technology application | Usage | Algorithms | Prescription writing | Programming languages
Journal Article
International Journal of Oral & Maxillofacial Surgery, ISSN 0901-5027, 2014, Volume 43, Issue 10, pp. 1282 - 1285
Journal Article
Archives of Disease in Childhood, ISSN 0003-9888, 10/2012, Volume 97, Issue Suppl 2, pp. A236 - A236
Objective The objective of the study was to present the neonatal outcomes for late preterm birth by gestational age at 33.34 and 35 weeks in a multicentric... 
Journal Article
JOURNAL OF FUNCTIONAL PROGRAMMING, ISSN 0956-7968, 02/2019, Volume 29
A sound gradual type system ensures that untyped components of a program can never break the guarantees of statically typed components. This assurance relies... 
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Journal Article
International Dental Journal, ISSN 0020-6539, 06/2018, Volume 68, Issue 3, pp. 131 - 137
Journal Article
Science of Computer Programming, ISSN 0167-6423, 10/2018, Volume 164, pp. 49 - 65
This paper presents a Coq library that lifts an abstract yet precise notion of running-time into the type of a function. Our library is based on a monad that... 
Mechanized proofs | Running-time | Coq | Complexity | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Libraries | Algorithms
Journal Article
Brain Injury, ISSN 0269-9052, 08/2001, Volume 15, Issue 8, pp. 715 - 723
In order to examine the reliability and validity of the SF-36 for use with individuals with TBI, the SF-36 and three measures of health-related problems in... 
BECK-DEPRESSION-INVENTORY | OUTCOME MEASURE | QUALITY-OF-LIFE | COMMUNITY | NEUROSCIENCES | Reproducibility of Results | Health Status Indicators | Humans | Middle Aged | Male | Psychometrics | Brain Injuries - diagnosis | Adolescent | Quality of Life | Adult | Female | Personality Inventory - statistics & numerical data | Brain Injuries - psychology
Journal Article
Journal of Child Neurology, ISSN 0883-0738, 4/2016, Volume 31, Issue 5, pp. 593 - 596
Journal Article
Journal of Functional Programming, ISSN 0956-7968, 08/2017, Volume 27
Enumerations represented as bijections between the natural numbers and elements of some given type have recently garnered interest in property-based testing... 
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Journal Article