-
Chapter and Conference Paper
Model-based Player Experience Testing with Emotion Pattern Verification
Player eXperience (PX) testing has attracted attention in the game industry as video games become more complex and widespread. Understanding players’ desires and their experience are key elements to guarantee ...
-
Chapter and Conference Paper
Search-Based Automated Play Testing of Computer Games: A Model-Based Approach
Computer game technology is increasingly more complex and applied in a wide variety of domains, beyond entertainment, such as training and educational scenarios. Testing games is a difficult task requiring a l...
-
Article
Open AccessRole of specialized composition of SWI/SNF complexes in prostate cancer lineage plasticity
Advanced prostate cancer initially responds to hormonal treatment, but ultimately becomes resistant and requires more potent therapies. One mechanism of resistance observed in around 10–20% of these patients i...
-
Article
Open AccessPatient derived organoids to model rare prostate cancer phenotypes
A major hurdle in the study of rare tumors is a lack of existing preclinical models. Neuroendocrine prostate cancer is an uncommon and aggressive histologic variant of prostate cancer that may arise de novo or...
-
Article
A highly specific SpCas9 variant is identified by in vivo screening in yeast
Evolved SpCas9 variant evoCas9 has improved specificity and retains near wild-type on-target activity.
-
Article
Open AccessHit and go CAS9 delivered through a lentiviral based self-limiting circuit
In vivo application of the CRISPR-Cas9 technology is still limited by unwanted Cas9 genomic cleavages. Long-term expression of Cas9 increases the number of genomic loci non-specifically cleaved by the nuclease. H...
-
Article
Open AccessErratum to: Unraveling the clonal hierarchy of somatic genomic aberrations
-
Article
Clonal evolution of chemotherapy-resistant urothelial carcinoma
Mark Rubin, Francesca Demichelis and colleagues study the evolution of urothelial carcinomas by performing whole-exome sequencing of tumors collected from patients before and after chemotherapy. They find mark...
-
Article
Divergent clonal evolution of castration-resistant neuroendocrine prostate cancer
Genome-wide DNA methylation analysis of metastatic biopsies from patients with castration-resistant prostate cancer reveals marked epigenetic differences between samples with adenocarcinoma and neuroendocrine ...
-
Article
Open AccessASEQ: fast allele-specific studies from next-generation sequencing data
Single base level information from next-generation sequencing (NGS) allows for the quantitative assessment of biological phenomena such as mosaicism or allele-specific features in healthy and diseased cells. S...
-
Article
Open AccessUnraveling the clonal hierarchy of somatic genomic aberrations
Defining the chronology of molecular alterations may identify milestones in carcinogenesis. To unravel the temporal evolution of aberrations from clinical tumors, we developed CLONET, which upon estimation of ...
-
Chapter and Conference Paper
Purpose Control: Did You Process the Data for the Intended Purpose?
Data protection legislation requires personal data to be collected and processed only for lawful and legitimate purposes. Unfortunately, existing protection mechanisms are not appropriate for purpose control: ...
-
Chapter
Process Calculi Abstractions for Biology
Several approaches have been proposed to model biological systems by means of the formal techniques and tools available in computer science. To mention just a few of them, some representations are inspired by ...
-
Chapter and Conference Paper
Formal Analysis of BPMN Via a Translation into COWS
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reasoning about the behaviour of ...
-
Chapter and Conference Paper
Stochastic COWS
A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and semantics are enriched along the lines o...
-
Chapter and Conference Paper
A Formal Approach to Molecular Docking
Drugs are small molecules designed to regulate the activity of specific biological receptors. Design new drugs is long and expensive, because modifying the behavior of a receptor may have unpredicted side effe...
