X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science, software engineering (4) 4
humans (3) 3
oncology (3) 3
adult (2) 2
algorithms (2) 2
chemotherapy (2) 2
dsl design (2) 2
empirical evaluation (2) 2
fatigue - etiology (2) 2
fatigue - psychology (2) 2
female (2) 2
flussdiagramm (2) 2
gesundheitsdienst (2) 2
hematopoietic stem cell transplantation (2) 2
male (2) 2
medical prescriptions (2) 2
medical programming languages (2) 2
middle aged (2) 2
neoplasms - complications (2) 2
neoplasms - psychology (2) 2
peripheral blood stem cell transplantation (2) 2
programmierungssprache (2) 2
spezifikationssprache (2) 2
verordnung (2) 2
adjuvant chemotherapy (1) 1
adolescent (1) 1
adverse and side effects (1) 1
aerobic exercise (1) 1
affect (1) 1
antineoplastic agents - administration & dosage (1) 1
antineoplastic combined chemotherapy protocols - adverse effects (1) 1
antineoplastic combined chemotherapy protocols - therapeutic use (1) 1
biomarkers, tumor - metabolism (1) 1
bone-marrow-transplantation (1) 1
cancer fatigue (1) 1
cancer patients (1) 1
carboplatin (1) 1
carcinoma, non-small-cell lung - drug therapy (1) 1
carcinoma, non-small-cell lung - metabolism (1) 1
care (1) 1
clinical trials as topic (1) 1
colony-stimulating factor (1) 1
combination chemotherapy (1) 1
combined modality therapy (1) 1
complexity (1) 1
computer science (1) 1
coq (1) 1
datentabelle (1) 1
depression (1) 1
design (1) 1
diagnosis (1) 1
disease (1) 1
distress (1) 1
elektronische patientenakte (1) 1
evaluation (1) 1
exercise (1) 1
exercise therapy (1) 1
exercise tolerance (1) 1
family-practice (1) 1
fatigue (1) 1
fatigue - therapy (1) 1
formatgebundene daten (1) 1
gemcitabine-cisplatin (1) 1
growth substances - metabolism (1) 1
health aspects (1) 1
health-care (1) 1
hematology (1) 1
hematopoietic growth-factors (1) 1
high dose chemotherapy (1) 1
high-dose chemotherapy (1) 1
hospitalization (1) 1
human factors (1) 1
information science (1) 1
krankenbericht (1) 1
labortest (1) 1
languages (1) 1
libraries (1) 1
lung neoplasms - drug therapy (1) 1
lung neoplasms - metabolism (1) 1
marrow transplantation (1) 1
mechanized proofs (1) 1
med- ical prescriptions (1) 1
medicine & public health (1) 1
medikamentöse behandlung (1) 1
mood (1) 1
natürliche sprache (1) 1
neoadjuvant therapy (1) 1
neoplasms - therapy (1) 1
non-small cell lung cancer (1) 1
paclitaxel (1) 1
parallel functional programming (1) 1
performance (1) 1
performance tuning (1) 1
phase-ii trial (1) 1
physical performance (1) 1
prescription writing (1) 1
prevention (1) 1
prognosis (1) 1
programming languages (1) 1
psychological distress (1) 1
more...
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


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
01/2015, ISBN 1339336855
In this dissertation, I investigate the effectiveness of automatic property-based testing in a lightweight framework for semantics engineering. The lightweight... 
Computer science
Dissertation
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
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
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2016, Volume 9613, pp. 144 - 162
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2015, Volume 9032, pp. 383 - 405
This paper presents a generic method for randomly generating well-typed expressions. It starts from a specification of a typing judgment in PLT Redex and uses... 
Systemvetenskap | Information Science
Conference Proceeding
Proceedings of the 2015 ACM SIGPLAN International Conference on generative programming: concepts and experiences, ISSN 0362-1340, 10/2015, Volume 51, Issue 3, pp. 131 - 140
Medical professionals have long used algorithmic thinking to describe and implement health care processes without the benefit of the conceptual framework... 
DSL Design | Empirical Evaluation | Med- ical Prescriptions | Medical Programming Languages | Medical Prescriptions | Design | COMPUTER SCIENCE, SOFTWARE ENGINEERING | SYSTEMS | Languages | Human Factors | CARE
Conference Proceeding
Proceedings of the 1st ACM SIGPLAN workshop on functional high-performance computing, 09/2012, pp. 73 - 82
This paper presents the latest chapter in our adventures coping with a large, sequentially-tuned, legacy runtime system in today's parallel world.... 
performance tuning | parallel functional programming | racket
Conference Proceeding
Annals of Oncology, ISSN 0923-7534, 12/1997, Volume 8, Issue 12, pp. 1251 - 1255
Journal Article
No results were found for your search.

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