Graphical explanation in an expert system for Space Station Freedom rack integration

The rationale and methodology used to incorporate graphics into explanations provided by an expert system for Space Station Freedom rack integration is examined. The rack integration task is typical of a class of constraint satisfaction problems for large programs where expertise from several areas is required. Graphically oriented approaches are used to explain the conclusions made by the system, the knowledge base content, and even at more abstract levels the control strategies employed by the system. The implemented architecture combines hypermedia and inference engine capabilities. The advantages of this architecture include: closer integration of user interface, explanation system, and knowledge base; the ability to embed links to deeper knowledge underlying the compiled knowledge used in the knowledge base; and allowing for more direct control of explanation depth and duration by the user. The graphical techniques employed range from simple statis presentation of schematics to dynamic creation of a series of pictures presented motion picture style. User models control the type, amount, and order of information presented

The use of tumour markers CEA, CA-195 and CA-242 in evaluating the response to chemotherapy in patients with advanced colorectal cancer.

Tumour markers CEA, CA-195 and CA-242 were measured in 33 patients undergoing chemotherapy for advanced colorectal cancer. The aim was to determine whether they could be used to accurately monitor the course of the disease, and reduce the need for imaging. Treatment with a 5-fluorouracil based regimen resulted in a partial response in nine patients (27%), whereas the remainder either had disease stabilisation or suffered from progression. Before treatment the CEA was elevated in 85% of patients and the CA-195 and CA-242 in 78%. All three markers were elevated in 70% and at least one elevated in 93%. CA-195 and CA-242 appeared to be co-expressed, by contrast with the CEA. When compared to the results of serial CT scanning the CEA correlated best with the course of the disease, the positive predictive value being 54% for a partial response, 77% for minor and partial responses combined and 100% for progressive disease. The corresponding values for CA-195 were 46%, 62% and 100% respectively and for CA-242, 50%, 67% and 100% respectively. Thus, although falling levels of markers overestimate the number of responses demonstrated by imaging, rising tumour markers invariably herald progressive disease. This was often evident up to 16 weeks before progression was observed on scanning. CEA is the most useful of the three markers in the monitoring of patients being treated for advanced colorectal cancer, but other markers may prove valuable if the CEA is normal. The use of tumour markers should reduce the need for regular scanning

The critical role of logarithmic transformation in Nernstian equilibrium potential calculations

The membrane potential, arising from uneven distribution of ions across cell membranes containing selectively permeable ion channels, is of fundamental importance to cell signaling. The necessity of maintaining the membrane potential may be appreciated by expressing Ohm’s law as current = voltage/resistance and recognizing that no current flows when voltage = 0, i.e., transmembrane voltage gradients, created by uneven transmembrane ion concentrations, are an absolute requirement for the generation of currents that precipitate the action and synaptic potentials that consume >80% of the brain’s energy budget and underlie the electrical activity that defines brain function. The concept of the equilibrium potential is vital to understanding the origins of the membrane potential. The equilibrium potential defines a potential at which there is no net transmembrane ion flux, where the work created by the concentration gradient is balanced by the transmembrane voltage difference, and derives from a relationship describing the work done by the diffusion of ions down a concentration gradient. The Nernst equation predicts the equilibrium potential and, as such, is fundamental to understanding the interplay between transmembrane ion concentrations and equilibrium potentials. Logarithmic transformation of the ratio of internal and external ion concentrations lies at the heart of the Nernst equation, but most undergraduate neuroscience students have little understanding of the logarithmic function. To compound this, no current undergraduate neuroscience textbooks describe the effect of logarithmic transformation in appreciable detail, leaving the majority of students with little insight into how ion concentrations determine, or how ion perturbations alter, the membrane potential

Computer aided synthesis: a game theoretic approach

In this invited contribution, we propose a comprehensive introduction to game theory applied in computer aided synthesis. In this context, we give some classical results on two-player zero-sum games and then on multi-player non zero-sum games. The simple case of one-player games is strongly related to automata theory on infinite words. All along the article, we focus on general approaches to solve the studied problems, and we provide several illustrative examples as well as intuitions on the proofs.Comment: Invitation contribution for conference "Developments in Language Theory" (DLT 2017