TAT-based Formal Representation of Medical Guidelines : Imatinib Case-study

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Model-checking intends to verify whether a property is satisfied by a model, or not. Model-checking of high-level models, e.g. SysML models, usually first requires a model transformation to a low level formal specification. The present papers proposes a ne ...

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

Background. Inhibition of the kinase activity of the BCR-ABL1 oncoprotein by an allosteric mechanism of action facilitates alternative treatment options for chronic myeloid leukemia (CML) patients who cannot be adequately treated with conventional catalyti ...

Intratumoral heterogeneity is an inherent feature of most human cancers and has profound implications for cancer therapy. As a result, there is an emergent need to explore previously unmapped mechanisms regulating distinct subpopulations of tumor cells and ...

The angiogenesis inhibitor sunitinib is a tyrosine kinase inhibitor that acts mainly on the VEGF and PDGF pathways. We have previously shown that sunitinib is sequestered in the lysosomes of exposed tumor and endothelial cells. This phenomenon is part of t ...

Nowadays medical software is tightly coupled with medical devices that perform patient state monitoring and lately even some basic treatment procedures. Medical guidelines (GLs) can be seen as specification of a medical system which requires their computer ...

In this article, we are reviewing the molecular mechanisms that lead to kinase inhibitor resistance. As the oncogenic BCR-ABL kinase is the target of the first approved small-molecule kinase inhibitor imatinib, we will first focus on the structural and mec ...

Developers rely on automated testing and verification tools to gain confidence in their software. The input to such tools is often generated by compilers that have been designed to generate code that runs fast, not code that can be verified easily and quic ...

This paper proposes a parameterized Support Vector Machine (ParaSVM) approach for modeling the Drug Concentration to Time (DCT) curves. It combines the merits of Support Vector Machine (SVM) algorithm that considers various patient features and an analytic ...

Abl kinases are prototypic cytoplasmic tyrosine kinases and are involved in a variety of chromosomal aberrations in different cancers. This causes the expression of Abl fusion proteins, such as Bcr-Abl, that are constitutively activated and drivers of tumo ...

Nilotinib is a second generation ABL tyrosine kinase inhibitor (TKI) that exerts major anti-leukemic effects in newly diagnosed patients with chronic myeloid leukemia (CML) as well as in most patients with imatinib-resistant CML. In freshly diagnosed patie ...

Timed automata are governed by an idealized semantics that assumes a perfectly precise behavior of the clocks. The traditional semantics is not robust because the slightest perturbation in the timing of actions may lead to completely different behaviors of ...

TAT-based Formal Representation of Medical Guidelines : Imatinib Case-study

Chattez avec Graph Search

Direct Model-checking of SysML Models

Scaling Functional Synthesis and Repair

Allosteric kinase inhibitors

Functional malignant cell heterogeneity in pancreatic neuroendocrine tumors revealed by targeting of PDGF-DD

Photoactivation of lysosomally sequestered sunitinib after angiostatic treatment causes vascular occlusion and enhances tumor growth inhibition

Representation of Medical Guidelines with a Computer Interpretable Model

Mechanisms of resistance to BCR-ABL and other kinase inhibitors

-Overify: Optimizing Programs for Fast Verification

Parameterized SVM for Personalized Drug Concentration Prediction

Structure, regulation, signaling, and targeting of abl kinases in cancer

Nilotinib as frontline and second-line therapy in chronic myeloid leukemia: open questions

Robust safety of timed automata