Chronic myelogenous leukemiaChronic myelogenous leukemia (CML), also known as chronic myeloid leukemia, is a cancer of the white blood cells. It is a form of leukemia characterized by the increased and unregulated growth of myeloid cells in the bone marrow and the accumulation of these cells in the blood. CML is a clonal bone marrow stem cell disorder in which a proliferation of mature granulocytes (neutrophils, eosinophils and basophils) and their precursors is found.
NilotinibNilotinib, sold under the brand name Tasigna marketed worldwide by Novartis, is a medication used to treat chronic myelogenous leukemia (CML) which has the Philadelphia chromosome. It may be used both in initial cases of chronic phase CML as well as in accelerated and chronic phase CML that has not responded to imatinib. It is taken by mouth. Common side effects may include low platelets, low white blood cells, anemia, rashes, vomiting, diarrhea, and joint pains.
Gastrointestinal stromal tumorGastrointestinal stromal tumors (GISTs) are the most common mesenchymal neoplasms of the gastrointestinal tract. GISTs arise in the smooth muscle pacemaker interstitial cell of Cajal, or similar cells. They are defined as tumors whose behavior is driven by mutations in the KIT gene (85%), PDGFRA gene (10%), or BRAF kinase (rare). 95% of GISTs stain positively for KIT (CD117). Most (66%) occur in the stomach and gastric GISTs have a lower malignant potential than tumors found elsewhere in the GI tract.
DasatinibDasatinib, sold under the brand name Sprycel among others, is a targeted therapy medication used to treat certain cases of chronic myelogenous leukemia (CML) and acute lymphoblastic leukemia (ALL). Specifically it is used to treat cases that are Philadelphia chromosome-positive (Ph+). It is taken by mouth. Common adverse effects include low white blood cells, low blood platelets, anemia, swelling, rash, and diarrhea. Severe adverse effects may include bleeding, pulmonary edema, heart failure, and prolonged QT syndrome.
Formal verificationIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
SunitinibSunitinib, sold under the brand name Sutent, is an anti-cancer medication. It is a small-molecule, multi-targeted receptor tyrosine kinase (RTK) inhibitor that was approved by the FDA for the treatment of renal cell carcinoma (RCC) and imatinib-resistant gastrointestinal stromal tumor (GIST) in January 2006. Sunitinib was the first cancer drug simultaneously approved for two different indications. As of August 2021, sunitinib is available as a generic medicine in the US.
Formal methodsIn computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.
Abstract interpretationIn computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g., control-flow, data-flow) without performing all the calculations.
Automata theoryAutomata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science. The word automata comes from the Greek word αὐτόματος, which means "self-acting, self-willed, self-moving". An automaton (automata in plural) is an abstract self-propelled computing device which follows a predetermined sequence of operations automatically. An automaton with a finite number of states is called a Finite Automaton (FA) or Finite-State Machine (FSM).
Treatment of cancerCancer can be treated by surgery, chemotherapy, radiation therapy, hormonal therapy, targeted therapy (including immunotherapy such as monoclonal antibody therapy) and synthetic lethality, most commonly as a series of separate treatments (e.g. chemotherapy before surgery). The choice of therapy depends upon the location and grade of the tumor and the stage of the disease, as well as the general state of the patient (performance status). Cancer genome sequencing helps in determining which cancer the patient exactly has for determining the best therapy for the cancer.
Cellular automatonA cellular automaton (pl. cellular automata, abbrev. CA) is a discrete model of computation studied in automata theory. Cellular automata are also called cellular spaces, tessellation automata, homogeneous structures, cellular structures, tessellation structures, and iterative arrays. Cellular automata have found application in various areas, including physics, theoretical biology and microstructure modeling. A cellular automaton consists of a regular grid of cells, each in one of a finite number of states, such as on and off (in contrast to a coupled map lattice).
Büchi automatonIn computer science and automata theory, a deterministic Büchi automaton is a theoretical machine which either accepts or rejects infinite inputs. Such a machine has a set of states and a transition function, which determines which state the machine should move to from its current state when it reads the next input character. Some states are accepting states and one state is the start state. The machine accepts an input if and only if it will pass through an accepting state infinitely many times as it reads the input.
AutomatonAn automaton (ɔːˈtɒmətən; : automata or automatons) is a relatively self-operating machine, or control mechanism designed to automatically follow a sequence of operations, or respond to predetermined instructions. Some automata, such as bellstrikers in mechanical clocks, are designed to give the illusion to the casual observer that they are operating under their own power or will, like a mechanical robot. The term has long been commonly associated with automated puppets that resemble moving humans or animals, built to impress and/or to entertain people.
