Learn More
In Alzheimer disease (AD), the intracerebral accumulation of amyloid-β (Aβ) peptides is a critical yet poorly understood process. Aβ clearance via the blood-brain barrier is reduced by approximately 30% in AD patients, but the underlying mechanisms remain elusive. ABC transporters have been implicated in the regulation of Aβ levels in the brain. Using a(More)
Systems medicine is an interdisciplinary approach that integrates data from basic research and clinical practice to improve our understanding and treatment of diseases. Systems medicine can be seen as a further development of systems biology and bioinformatics towards applications of clinical relevance. The term 'systems' refers to systems approaches,(More)
The present work exemplifies how parameter identifiability analysis can be used to gain insights into differences in experimental systems and how uncertainty in parameter estimates can be handled. The case study, presented here, investigates interferon-gamma (IFNγ) induced STAT1 signalling in two cell types that play a key role in pancreatic cancer(More)
MicroRNAs (miRNAs) are an integral part of gene regulation at the post-transcriptional level. Recently, it has been shown that pairs of miRNAs can repress the translation of a target mRNA in a cooperative manner, which leads to an enhanced effectiveness and specificity in target repression. However, it remains unclear which miRNA pairs can synergize and(More)
  • Felix Winter, Bsc Matrikelnummer, Nysret Musliu, Bsc, Kurzfassung
  • 2016
v Acknowledgements I would like to express my sincere gratitude to my advisor Priv.-Doz. Dr. Nysret Musliu. Writing this thesis would not have been possible without his ongoing support, encouragement and his deep knowledge in the field. Demirović who were my project colleagues during the time of writing. Their comments and feedback helped me to improve this(More)
Employee scheduling is a well known problem that appears in a wide range of different areas including health care, air lines, transportation services, and basically any organization that has to deal with workforces. In this paper we model a collection of challenging staff scheduling instances as a weighted partial Boolean maximum satisfiability (maxSAT)(More)
  • 1