Software architectureSoftware architecture is the set of structures needed to reason about a software system and the discipline of creating such structures and systems. Each structure comprises software elements, relations among them, and properties of both elements and relations. The architecture of a software system is a metaphor, analogous to the architecture of a building. It functions as the blueprints for the system and the development project, which project management can later use to extrapolate the tasks necessary to be executed by the teams and people involved.
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).
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.
Structural analysisStructural analysis is a branch of solid mechanics which uses simplified models for solids like bars, beams and shells for engineering decision making. Its main objective is to determine the effect of loads on the physical structures and their components. In contrast to theory of elasticity, the models used in structure analysis are often differential equations in one spatial variable. Structures subject to this type of analysis include all that must withstand loads, such as buildings, bridges, aircraft and ships.
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.
MultiprocessingMultiprocessing is the use of two or more central processing units (CPUs) within a single computer system. The term also refers to the ability of a system to support more than one processor or the ability to allocate tasks between them. There are many variations on this basic theme, and the definition of multiprocessing can vary with context, mostly as a function of how CPUs are defined (multiple cores on one die, multiple dies in one package, multiple packages in one system unit, etc.).
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.
Real-time computingReal-time computing (RTC) is the computer science term for hardware and software systems subject to a "real-time constraint", for example from event to system response. Real-time programs must guarantee response within specified time constraints, often referred to as "deadlines". Real-time responses are often understood to be in the order of milliseconds, and sometimes microseconds. A system not specified as operating in real time cannot usually guarantee a response within any timeframe, although typical or expected response times may be given.
Model checkingIn computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems, where the specification contains liveness requirements (such as avoidance of livelock) as well as safety requirements (such as avoidance of states representing a system crash). In order to solve such a problem algorithmically, both the model of the system and its specification are formulated in some precise mathematical language.
