Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot

Planner is a formalism for proving theorems and manipulating models in a robot. The formalism is built out of a number of problem-solving primitives together with a hierarchical multiprocess backtrack control structure. Statements can be asserted and perhaps later withdrawn as the state of the world changes. Under BACKTRACK control structure, the hierarchy of activations of functions previously executed is maintained so that it is possible to revert to any previous state. Thus programs can easily manipulate elaborate hypothetical tentative states. In addition PLANNER uses multiprocessing so that there can be multiple loci of changes in state. Goals can be established and dismissed when they are satisfied. The deductive system of PLANNER is subordinate to the hierarchical control structure in order to maintain the desired degree of control. The use of a general-purpose matching language as the basis of the deductive system increases the flexibility of the system. Instead of explicitly naming procedures in calls, procedures can be invoked implicitly by patterns of what the procedure is supposed to accomplish. The language is being applied to solve problems faced by a robot, to write special purpose routines from goal oriented language, to express and prove properties of procedures, to abstract procedures from protocols of their actions, and as a semantic base for English.

Process control in agile supply chain network.

The work comprises a new theoretical development applied to aid decision making in an increasingly important commercial sector. Agile supply, where small volumes of high margin, short life cycle innovative products are offered, is increasingly carried out through a complex global supply chain network. We outline an equilibrium solution in such a supply chain network, which works through limited cooperation and coordination along edges (links) in the network. The links constitute the stochastic modelling entities rather than the nodes of the network. We utilise newly developed phase plane analysis to identify, model and predict characteristic behaviour in supply chain networks. The phase plane charts profile the flow of inventory and identify out of control conditions. They maintain quality within the network, as well as intelligently track the way the network evolves in conditions of changing variability. The methodology is essentially distribution free, relying as it does on the study of forecasting errors, and can be used to examine contractual details as well as strategic and game theoretical concepts between decision-making components (agents) of a network. We illustrate with typical data drawn from supply chain agile fashion products.

Power and control in international retail franchising

Alexander, Nicholas, Doherty, Anne Marie, 'Power and control in international retail franchising', European Journal of Marketing (2006) 40(11-12) pp.1292-1316 RAE2008

Depolarization of sperm membrane potential is a common feature of men with subfertility and is associated with low fertilization rate at IVF

STUDY QUESTION. Are significant abnormalities in outward (K+) conductance and resting membrane potential (Vm) present in the spermatozoa of patients undertaking IVF and ICSI and if so, what is their functional effect on fertilization success? SUMMARY ANSWER. Negligible outward conductance (≈5% of patients) or an enhanced inward conductance (≈4% of patients), both of which caused depolarization of Vm, were associated with a low rate of fertilization following IVF. WHAT IS KNOWN ALREADY. Sperm-specific potassium channel knockout mice are infertile with defects in sperm function, suggesting that these channels are essential for fertility. These observations suggest that malfunction of K+ channels in human spermatozoa might contribute significantly to the occurrence of subfertility in men. However, remarkably little is known of the nature of K+ channels in human spermatozoa or the incidence and functional consequences of K+ channel defects. STUDY DESIGN, SIZE AND DURATION. Spermatozoa were obtained from healthy volunteer research donors and subfertile IVF and ICSI patients attending a hospital assisted reproductive techniques clinic between May 2013 and December 2015. In total, 40 IVF patients, 41 ICSI patients and 26 normozoospermic donors took part in the study. PARTICIPANTS/MATERIALS, SETTING, METHODS. Samples were examined using electrophysiology (whole-cell patch clamping). Where abnormal electrophysiological characteristics were identified, spermatozoa were further examined for Ca2+ influx induced by progesterone and penetration into viscous media if sufficient sample was available. Full exome sequencing was performed to specifically evaluate potassium calcium-activated channel subfamily M α 1 (KCNMA1), potassium calcium-activated channel subfamily U member 1 (KCNU1) and leucine-rich repeat containing 52 (LRRC52) genes and others associated with K+ signalling. In IVF patients, comparison with fertilization rates was done to assess the functional significance of the electrophysiological abnormalities. MAIN RESULTS AND THE ROLE OF CHANCE. Patch clamp electrophysiology was used to assess outward (K+) conductance and resting membrane potential (Vm) and signalling/motility assays were used to assess functional characteristics of sperm from IVF and ICSI patient samples. The mean Vm and outward membrane conductance in sperm from IVF and ICSI patients were not significantly different from those of control (donor) sperm prepared under the same conditions, but variation between individuals was significantly greater (P< 0.02) with a large number of outliers (>25%). In particular, in ≈10% of patients (7/81), we observed either a negligible outward conductance (4 patients) or an enhanced inward current (3 patients), both of which caused depolarization of Vm. Analysis of clinical data from the IVF patients showed significant association of depolarized Vm (≥0 mV) with low fertilization rate (P= 0.012). Spermatozoa with electrophysiological abnormities (conductance and Vm) responded normally to progesterone with elevation of [Ca2+]i and penetration of viscous medium, indicating retention of cation channel of sperm (CatSper) channel function. LIMITATIONS, REASONS FOR CAUTION. For practical, technical, ethical and logistical reasons, we could not obtain sufficient additional semen samples from men with conductance abnormalities to establish the cause of the conductance defects. Full exome sequencing was only available in two men with conductance defects. WIDER IMPLICATIONS OF THE FINDINGS. These data add significantly to the understanding of the role of ion channels in human sperm function and its impact on male fertility. Impaired potassium channel conductance (Gm) and/or Vm regulation is both common and complex in human spermatozoa and importantly is associated with impaired fertilization capacity when the Vm of cells is completely depolarized.

Hematopoietic gene promoters subjected to a group-combinatorial study of DNA samples: identification of a megakaryocytic selective DNA signature

Identification of common sub-sequences for a group of functionally related DNA sequences can shed light on the role of such elements in cell-specific gene expression. In the megakaryocytic lineage, no one single unique transcription factor was described as linage specific, raising the possibility that a cluster of gene promoter sequences presents a unique signature. Here, the megakaryocytic gene promoter group, which consists of both human and mouse 5' non-coding regions, served as a case study. A methodology for group-combinatorial search has been implemented as a customized software platform. It extracts the longest common sequences for a group of related DNA sequences and allows for single gaps of varying length, as well as double- and multiple-gap sequences. The results point to common DNA sequences in a group of genes that is selectively expressed in megakaryocytes, and which does not appear in a large group of control, random and specific sequences. This suggests a role for a combination of these sequences in cell-specific gene expression in the megakaryocytic lineage. The data also point to an intrinsic cross-species difference in the organization of 5' non-coding sequences within the mammalian genomes. This methodology may be used for the identification of regulatory sequences in other lineages.

Investigation of global regulators influencing styrene metabolism and bioplastic synthesis in Pseudomonas putida CA-3

The genetics and biochemistry involved in the biodegradation of styrene and the production of polyhydroxyalkanoates in Pseudomonas putida CA-3 have been well characterised to date. Knowledge of the role played by global regulators in controlling these pathways currently represents a critical knowledge gap in this area. Here we report on our efforts to identify such regulators using mini-Tn5 transposon mutagenesis of the P. putida CA-3 genome. The library generated was subjected to phenotypic screening to identify mutants exhibiting a reduced sensitivity to the effects of carbon catabolite repression of aromatic pathway activity. Our efforts identified a clpX disrupted mutant which exhibited wild-type levels of growth on styrene but significantly reduced growth on phenylacetic acid. RT-PCR analysis of key PACoA catabolon genes necessary for phenylacetic acid metabolism, and SDS-PAGE protein profile analyses suggest that no direct alteration of PACoA pathway transcriptional or translational activity was involved. The influence of global regulators affecting the accumulation of PHAs in P. putida CA-3 was also studied. Phenotypic screening of the mini-Tn5 library revealed a gacS sensor kinase gene disruption resulting in the loss of PHA accumulation capacity in P. putida CA-3. Subsequent SDS-PAGE protein analyses of the wild type and gacS mutant strains identified post-transcriptional control of phaC1 synthase as a key point of control of PHA synthesis in P. putida CA-3. Disruption of the gacS gene in another PHA accumulating organism, P. putida S12, also demonstrated a reduction of PHA accumulation capacity. PHA accumulation was observed to be disrupted in the CA-3 gacS mutant under phosphorus limited growth conditions. Over-expression studies in both wild type CA-3 and gacS mutant demonstrated that rsmY over-expression in gacS disrupted P. putida CA-3 is insufficient to restore PHA accumulation in the cell however in wild type cells, over-expression of rsmY results in an altered PHA monomer compositions.

Application of signal detection methods to fisheries management

The abundance of many commercially important fish stocks are declining and this has led to widespread concern on the performance of traditional approach in fisheries management. Quantitative models are used for obtaining estimates of population abundance and the management advice is based on annual harvest levels (TAC), where only a certain amount of catch is allowed from specific fish stocks. However, these models are data intensive and less useful when stocks have limited historical information. This study examined whether empirical stock indicators can be used to manage fisheries. The relationship between indicators and the underlying stock abundance is not direct and hence can be affected by disturbances that may account for both transient and persistent effects. Methods from Statistical Process Control (SPC) theory such as the Cumulative Sum (CUSUM) control charts are useful in classifying these effects and hence they can be used to trigger management response only when a significant impact occurs to the stock biomass. This thesis explores how empirical indicators along with CUSUM can be used for monitoring, assessment and management of fish stocks. I begin my thesis by exploring various age based catch indicators, to identify those which are potentially useful in tracking the state of fish stocks. The sensitivity and response of these indicators towards changes in Spawning Stock Biomass (SSB) showed that indicators based on age groups that are fully selected to the fishing gear or Large Fish Indicators (LFIs) are most useful and robust across the range of scenarios considered. The Decision-Interval (DI-CUSUM) and Self-Starting (SS-CUSUM) forms are the two types of control charts used in this study. In contrast to the DI-CUSUM, the SS-CUSUM can be initiated without specifying a target reference point (‘control mean’) to detect out-of-control (significant impact) situations. The sensitivity and specificity of SS-CUSUM showed that the performances are robust when LFIs are used. Once an out-of-control situation is detected, the next step is to determine how much shift has occurred in the underlying stock biomass. If an estimate of this shift is available, they can be used to update TAC by incorporation into Harvest Control Rules (HCRs). Various methods from Engineering Process Control (EPC) theory were tested to determine which method can measure the shift size in stock biomass with the highest accuracy. Results showed that methods based on Grubb’s harmonic rule gave reliable shift size estimates. The accuracy of these estimates can be improved by monitoring a combined indicator metric of stock-recruitment and LFI because this may account for impacts independent of fishing. The procedure of integrating both SPC and EPC is known as Statistical Process Adjustment (SPA). A HCR based on SPA was designed for DI-CUSUM and the scheme was successful in bringing out-of-control fish stocks back to its in-control state. The HCR was also tested using SS-CUSUM in the context of data poor fish stocks. Results showed that the scheme will be useful for sustaining the initial in-control state of the fish stock until more observations become available for quantitative assessments.

Prostate cancer treatment as an embodied rite of passage: impotence and incontinence as challenges to status reversal and reintegration

Introduction and Rationale: A central argument in the thesis is that performative acts of control, sexual potency and spontaneity are central to the continuous construction of embodied masculine identities. The acts of control, and particularly issues of spontaneity, are central to understandings and addressing the difficulties men face at varying levels of embodied identity. Using Watson’s (2000) ‘Male body schema’, I will explore the challenges and opportunities men face when negotiating normative, pragmatic, and experiential embodiment. I will later then explore the importance of these levels of embodiment to achieving visceral embodiment; or what I would define as a renewed unconscious satisfaction and ability to achieve and maintain normative, pragmatic and experiential forms of embodiment. Purpose and Objectives: Using the concept of liminality, and permanent liminality, the thesis explores how we can interpret and understand men’s experience of prostate cancer diagnosis and treatment, and their struggle to regain power and control in the context of diagnosis, and also the side effects to treatment. The strategies men adopt in seeking out personalised medical programmes of treatment with their doctors are explored in detail. The power and control that can be exercised over medical professionals and treatment options is demonstrated. Method: Collecting responses online from prostate specific discussion boards via gatekeepers, and from interviews on the ‘health talk’ online database, three intersecting conceptual categories - liminality, masculinity and the body/embodiment - are combined in this research. Liminality and ‘time’ are directly linked to notions of ‘success’ and ‘outcome’ during the treatment process, and mark distinct points at which men, and their families, expect measures or limits to have been reached. Exploring liminality within the context of Turner’s ‘rites of passage’, I explore the difficulty men face in concluding the third stage of the rites; reintegration. Results: Prostate cancer diagnosis and treatment, impotence and incontinence, in particular, have profound implications for the continuous construction of embodied masculine identities, and thus identity in general, making the construction of hegemonic ideals in the context of a highly ‘performative’ society highly troublesome. The issue of ‘spontaneity’ in the construction of various forms of embodied identities is of particular concern for men who contributed to this study.

What is the effect of systemic anticancer treatment on cognitive function?

Treatment regimens for solid tumours have been extensively investigated for their physical toxic effects, but far less is known about the potential impairment of cognitive function by anticancer treatment regimens. Here, we review published studies that examined cognitive function in adult patients receiving systemic therapy for solid tumours. Our review suggests that patients can experience cognitive changes related to their treatment. However, several studies had methodological limitations, such as use of a limited sample size, lack of baseline assessment, and lack of control for potential confounding factors. Better designed clinical trials are required so that the difficulties patients face in terms of reduced cognitive function as a result of anticancer treatment can be fully elucidated. These trials should have sufficient statistical power and, importantly, should also be prospective.

Study protocol: the Adherence and Intensification of Medications (AIM) study--a cluster randomized controlled effectiveness study.

BACKGROUND: Many patients with diabetes have poor blood pressure (BP) control. Pharmacological therapy is the cornerstone of effective BP treatment, yet there are high rates both of poor medication adherence and failure to intensify medications. Successful medication management requires an effective partnership between providers who initiate and increase doses of effective medications and patients who adhere to the regimen. METHODS: In this cluster-randomized controlled effectiveness study, primary care teams within sites were randomized to a program led by a clinical pharmacist trained in motivational interviewing-based behavioral counseling approaches and authorized to make BP medication changes or to usual care. This study involved the collection of data during a 14-month intervention period in three Department of Veterans Affairs facilities and two Kaiser Permanente Northern California facilities. The clinical pharmacist was supported by clinical information systems that enabled proactive identification of, and outreach to, eligible patients identified on the basis of poor BP control and either medication refill gaps or lack of recent medication intensification. The primary outcome is the relative change in systolic blood pressure (SBP) measurements over time. Secondary outcomes are changes in Hemoglobin A1c, low-density lipoprotein cholesterol (LDL), medication adherence determined from pharmacy refill data, and medication intensification rates. DISCUSSION: Integration of the three intervention elements--proactive identification, adherence counseling and medication intensification--is essential to achieve optimal levels of control for high-risk patients. Testing the effectiveness of this intervention at the team level allows us to study the program as it would typically be implemented within a clinic setting, including how it integrates with other elements of care. TRIAL REGISTRATION: The ClinicalTrials.gov registration number is NCT00495794.

A novel mutation of the ACADM gene (c.145C>G) associated with the common c.985A>G mutation on the other ACADM allele causes mild MCAD deficiency: a case report.

A female patient, with normal familial history, developed at the age of 30 months an episode of diarrhoea, vomiting and lethargy which resolved spontaneously. At the age of 3 years, the patient re-iterated vomiting, was sub-febrile and hypoglycemic, fell into coma, developed seizures and sequels involving right hemi-body. Urinary excretion of hexanoylglycine and suberylglycine was low during this metabolic decompensation. A study of pre- and post-prandial blood glucose and ketones over a period of 24 hours showed a normal glycaemic cycle but a failure to form ketones after 12 hours fasting, suggesting a mitochondrial β-oxidation defect. Total blood carnitine was lowered with unesterified carnitine being half of the lowest control value. A diagnosis of mild MCAD deficiency (MCADD) was based on rates of 1-14C-octanoate and 9, 10-3H-myristate oxidation and of octanoyl-CoA dehydrogenase being reduced to 25% of control values. Other mitochondrial fatty acid oxidation proteins were functionally normal. De novo acylcarnitine synthesis in whole blood samples incubated with deuterated palmitate was also typical of MCADD. Genetic studies showed that the patient was compound heterozygous with a sequence variation in both of the two ACADM alleles; one had the common c.985A>G mutation and the other had a novel c.145C>G mutation. This is the first report for the ACADM gene c.145C>G mutation: it is located in exon 3 and causes a replacement of glutamine to glutamate at position 24 of the mature protein (Q24E). Associated with heterozygosity for c.985A>G mutation, this mutation is responsible for a mild MCADD phenotype along with a clinical story corroborating the emerging literature view that patients with genotypes representing mild MCADD (high residual enzyme activity and low urinary levels of glycine conjugates), similar to some of the mild MCADDs detected by MS/MS newborn screening, may be at risk for disease presentation.

Resolving response, decision, and strategic control: evidence for a functional topography in dorsomedial prefrontal cortex.

The dorsomedial prefrontal cortex (DMPFC) plays a central role in aspects of cognitive control and decision making. Here, we provide evidence for an anterior-to-posterior topography within the DMPFC using tasks that evoke three distinct forms of control demands--response, decision, and strategic--each of which could be mapped onto independent behavioral data. Specifically, we identify three spatially distinct regions within the DMPFC: a posterior region associated with control demands evoked by multiple incompatible responses, a middle region associated with control demands evoked by the relative desirability of decision options, and an anterior region that predicts control demands related to deviations from an individual's preferred decision-making strategy. These results provide new insight into the functional organization of DMPFC and suggest how recent controversies about its role in complex decision making and response mapping can be reconciled.

Impaired formation of beta-adrenergic receptor-nucleotide regulatory protein complexes in pseudohypoparathyroidism.

Decreased activity of the guanine nucleotide regulatory protein (N) of the adenylate cyclase system is present in cell membranes of some patients with pseudohypoparathyrodism (PHP-Ia) whereas others have normal activity of N (PHP-Ib). Low N activity in PHP-Ia results in a decrease in hormone (H)-stimulatable adenylate cyclase in various tissues, which might be due to decreased ability to form an agonist-specific high affinity complex composed of H, receptor (R), and N. To test this hypothesis, we compared beta-adrenergic agonist-specific binding properties in erythrocyte membranes from five patients with PHP-Ia (N = 45% of control), five patients with PHP-Ib (N = 97%), and five control subjects. Competition curves that were generated by increasing concentrations of the beta-agonist isoproterenol competing with [125I]pindolol were shallow (slope factors less than 1) and were computer fit to a two-state model with corresponding high and low affinity for the agonist. The agonist competition curves from the PHP-Ia patients were shifted significantly (P less than 0.02) to the right as a result of a significant (P less than 0.01) decrease in the percent of beta-adrenergic receptors in the high affinity state from 64 +/- 22% in PHP-Ib and 56 +/- 5% in controls to 10 +/- 8% in PHP-Ia. The agonist competition curves were computer fit to a "ternary complex" model for the two-step reaction: H + R + N in equilibrium HR + N in equilibrium HRN. The modeling was consistent with a 60% decrease in the functional concentration of N, and was in good agreement with the biochemically determined decrease in erythrocyte N protein activity. These in vitro findings in erythrocytes taken together with the recent observations that in vivo isoproterenol-stimulated adenylate cyclase activity is decreased in patients with PHP (Carlson, H. E., and A. S. Brickman, 1983, J. Clin. Endocrinol. Metab. 56:1323-1326) are consistent with the notion that N is a bifunctional protein interacting with both R and the adenylate cyclase. It may be that in patients with PHP-Ia a single molecular and genetic defect accounts for both decreased HRN formation and decreased adenylate cyclase activity, whereas in PHP-Ib the biochemical lesion(s) appear not to affect HRN complex formation.

Nurse-led behavioral management of diabetes and hypertension in community practices: a randomized trial.

BACKGROUND: Several trials have demonstrated the efficacy of nurse telephone case management for diabetes (DM) and hypertension (HTN) in academic or vertically integrated systems. Little is known about the real-world potency of these interventions. OBJECTIVE: To assess the effectiveness of nurse behavioral management of DM and HTN in community practices among patients with both diseases. DESIGN: The study was designed as a patient-level randomized controlled trial. PARTICIPANTS: Participants included adult patients with both type 2 DM and HTN who were receiving care at one of nine community fee-for-service practices. Subjects were required to have inadequately controlled DM (hemoglobin A1c [A1c] ≥ 7.5%) but could have well-controlled HTN. INTERVENTIONS: All patients received a call from a nurse experienced in DM and HTN management once every two months over a period of two years, for a total of 12 calls. Intervention patients received tailored DM- and HTN- focused behavioral content; control patients received non-tailored, non-interactive information regarding health issues unrelated to DM and HTN (e.g., skin cancer prevention). MAIN OUTCOMES AND MEASURES: Systolic blood pressure (SBP) and A1c were co-primary outcomes, measured at 6, 12, and 24 months; 24 months was the primary time point. RESULTS: Three hundred seventy-seven subjects were enrolled; 193 were randomized to intervention, 184 to control. Subjects were 55% female and 50% white; the mean baseline A1c was 9.1% (SD = 1%) and mean SBP was 142 mmHg (SD = 20). Eighty-two percent of scheduled interviews were conducted; 69% of intervention patients and 70% of control patients reached the 24-month time point. Expressing model estimated differences as (intervention--control), at 24 months, intervention patients had similar A1c [diff = 0.1 %, 95 % CI (-0.3, 0.5), p = 0.51] and SBP [diff = -0.9 mmHg, 95% CI (-5.4, 3.5), p = 0.68] values compared to control patients. Likewise, DBP (diff = 0.4 mmHg, p = 0.76), weight (diff = 0.3 kg, p = 0.80), and physical activity levels (diff = 153 MET-min/week, p = 0.41) were similar between control and intervention patients. Results were also similar at the 6- and 12-month time points. CONCLUSIONS: In nine community fee-for-service practices, telephonic nurse case management did not lead to improvement in A1c or SBP. Gains seen in telephonic behavioral self-management interventions in optimal settings may not translate to the wider range of primary care settings.

Spatial variability of the plankton trophic interaction in the North Sea: a new feature after the early 1970s

Traditionally, marine ecosystem structure was thought to be bottom-up controlled. In recent years, a number of studies have highlighted the importance of top-down regulation. Evidence is accumulating that the type of trophic forcing varies temporally and spatially, and an integrated view – considering the interplay of both types of control – is emerging. Correlations between time series spanning several decades of the abundances of adjacent trophic levels are conventionally used to assess the type of control: bottom-up if positive or top-down if this is negative. This approach implies averaging periods which might show time-varying dynamics and therefore can hide part of this temporal variability. Using spatially referenced plankton information extracted from the Continuous Plankton Recorder, this study addresses the potential dynamic character of the trophic structure at the planktonic level in the North Sea by assessing its variation over both temporal and spatial scales. Our results show that until the early-1970s a bottom-up control characterized the base of the food web across the whole North Sea, with diatoms having a positive and homogeneous effect on zooplankton filter-feeders. Afterwards, different regional trophic dynamics were observed, in particular a negative relationship between total phytoplankton and zooplankton was detected off the west coast of Norway and the Skagerrak as opposed to a positive one in the southern reaches. Our results suggest that after the early 1970s diatoms remained the main food source for zooplankton filter-feeders east of Orkney–Shetland and off Scotland, while in the east, from the Norwegian Trench to the German Bight, filter-feeders were mainly sustained by dinoflagellates.