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.

Quantitative and qualitative analysis of flavonoids in leaves of Adinandra nitida by high performance liquid chromatography with UV and electrospray ionization tandem mass spectrometry detection

The extract of Adinandra nitida leaves, named as Shiyacha in China, was studied by high performance liquid chromatography (HPLC)-ultraviolet detection-electrospray ionisation (ESI) tandem mass spectrometry (MS). Under the optimized condition, the analysis could be finished in 45 min on a Hypersil C18 column combined with negative ion detection using information-dependent acquisition (IDA) mode of a Q TRAP (TM) instrument. Six flavonoids were identified as epicatechin, rhoifolin, apigenin, quercitrin, camellianin A, and camellianin B among which rhoifolin was for the first time found in Shiyacha. And the fragment pathways of these flavonoids were elucidated. Furthermore, with epicatechin, rhoifolin, and apigenin as markers, the quality control method for Shiyacha and its relevant product was firstly established. Calibration linearity was good (R-2 > 0.9992) over a three to four orders of magnitude concentration range with an S/N = 3 detection limit of 2.5 ng. (c) 2004 Elsevier B.V. All rights reserved.

Cloning and structure analysis of hydrogenase gene from Chlamydomonas reinhardtii SE

The cDNA of Chlamydomonas reinhardtii SE encoding hydrogenase (HydA2) was obtained from the total RNA of C reinhardtii SE by RT-PCR. The DNA of hydrogenase was amplified by PCR from the genomic DNA of C reinhardtii SE. The cDNA and DNA of hydrogenase were sequenced, respectively. The structure of hydrogenase gene was analyzed by biology software. The open reading frame predicts that the hydrogenase is composed of 3584 bp encoding 505 amino acids in length with a predicted M.W. of 53.69 kDa. Ten exons (including 1518 bp) and nine introns (including 2066 bp) have been found in the hydrogenase, and there were two potential N-glycosylate sites, eight protein kinase C phosphorylation site, eight casein kinase H phosphorylation site and one sulphorylation in the sequence. The theory pI was 6.15. Total number of negatively charged residues (Asp + Glu) and positively charged residues (Arg + Lys) were 55 and 61, respectively. (c) 2005 Elsevier Ltd. All rights reserved.

Accelerated partial irradiation for breast cancer: Systematic review and meta-analysis of 8653 women in eight randomized trials

Background and purpose: Accelerated partial breast irradiation (APBI) is the strategy that allows adjuvant treatment delivery in a shorter period of time in smaller volumes. This study was undertaken to assess the effectiveness and outcomes of APBI in breast cancer compared with whole-breast irradiation (WBI). Material and methods: Systematic review and meta-analysis of randomized controlled trials of WBI versus APBI. Two authors independently selected and assessed the studies regarding eligibility criteria. Results: Eight studies were selected. A total of 8653 patients were randomly assigned for WBI versus APBI. Six studies reported local recurrence outcomes. Two studies were matched in 5 years and only one study for different time of follow-up. Meta-analysis of two trials assessing 1407 participants showed significant difference in the WBI versus APBI group regarding the 5-year local recurrence rate (HR = 4.54, 95% CI: 1.78-11.61, p = 0.002). Significant difference in favor of WBI for different follow-up times was also found. No differences in nodal recurrence, systemic recurrence, overall survival and mortality rates were observed. Conclusions: APBI is associated with higher local recurrence compared to WBI without compromising other clinical outcomes. (C) 2014 Elsevier Ireland Ltd. All rights reserved.

Critical realism and causal analysis in international relations

Kurki, M. (2007). Critical realism and causal analysis in international relations. Millennium: Journal of International Studies, 35 (2), 361-378. RAE2008

An Historical and Theological Analysis of Campus Crusade for Christ's Evangelistic Practice in Two American University Contexts

This dissertation, an exercise in practical theology, consists of a critical conversation between the evangelistic practice of Campus Crusade for Christ in two American university contexts, Bryan Stone's ecclesiologically grounded theology of evangelism, and William Abraham's eschatologically grounded theology of evangelism. It seeks to provide these evangelizing communities several strategic proposals for a more ecclesiologically and eschatologically grounded practice of evangelism within a university context. The current literature on evangelism is long on evangelistic strategy and activity, but short on theological analysis and reflection. This study focuses on concrete practices, but is grounded in a thick description of two particular contexts (derived from qualitative research methods) and a theological analysis of the ecclesiological and eschatological beliefs embedded within their evangelistic activities. The dissertation provides an historical overview of important figures, ideas, and events that helped mold the practice of evangelism inherited by the two ministries of this study, beginning with the famous Haystack Revival on Williams College in 1806. Both ministries, Campus Crusade for Christ at Bowling Green State University (Ohio) and at Washington State University, inherited an evangelistic practice sorely infected with many of the classic distortions that both Abraham and Stone attempt to correct. Qualitative research methods detail the direction that Campus Crusade for Christ at Bowling Green State University (Ohio) and Washington State University have taken the practice of evangelism they inherited. Applying the analytical categories that emerge from a detailed summary of Stone and Abraham to qualitative data of these two ministries reveals several ways evangelism has morphed in a manner sympathetic to Stone's insistence that the central logic of evangelism is the embodied witness of the church. The results of this analysis reveal the subversive and pervasive influence of modernity on these evangelizing communities—an influence that warrants several corrective strategic proposals including: 1) re-situating evangelism within a reading of the biblical narrative that emphasizes the present, social, public, and realized nature of the gospel of the kingdom of God rather than simply its future, personal, private, and unrealized dimensions; 2) clarifying the nature of the evangelizing communities and their relationship to the church; and 3) emphasizing the virtues that characterize a new evangelistic exemplar who is incarnational, intentional, humble, and courageous.

Epidemiology and comparative analysis of Yersinia in Ireland

Yersiniosis is an acute or chronic enteric zoonosis caused by enteropathogenic Yersinia species. Although yersiniosis is predominantly associated with gastroenteric forms of infection, extraintestinal forms are often reported from the elderly or patients with predisposing factors. Yersiniosis is often reported in countries with cold and mild climates (Northern and Central Europe, New Zealand and North of Russian Federation). The Irish Health Protection Surveillance Centre (HPSC) currently records only 3-7 notified cases of yersiniosis per year. At the same time pathogenic Yersinia enterocolitica is recovered from pigs (main source of pathogenic Y. enterocolitica) at the levels similar to that observed in Yersinia endemic countries. Introduction of Yersinia selective culture procedures may increase Yersinia isolation rates. To establish whether the small number of notifications of human disease was an underestimate due to lack of specific selective culture for Yersinia we carried out a prospective culture study of faecal samples from outpatients with diarrhoea, with additional culture of appendix and throat swabs. Higher levels of anti-Yersinia seroprevalence than yersiniosis notification rates in endemic countries suggests that most yersiniosis cases are unrecognised by culture. Subsequently, in addition to a prospective culture study of clinical specimens, we carried out serological screening of Irish blood donors and environmental screening of human sewage. Pathogenic Yersinia strains were not isolated from 1,189 faeces samples, nor from 297 throat swabs, or 23 appendix swabs. This suggested that current low notification rates in Ireland are not due to the lack of specific Yersinia culture procedures. Molecular screening detected a wider variety of Y. enterocolitica-specific targets in pig slurry than in human sewage. A serological survey for antibodies against Yersinia YOP (Yersinia Outer Proteins) proteins in Irish blood donors found antibodies in 25%, with an age-related trend to increased seropositivity, compatible with the hypothesis that yersiniosis may have been more prevalent in Ireland in the recent past. Y. enterocolitica is a heterogeneous group of microorganisms that comprises strains with different degree of pathogenicity. Although non-pathogenic Y. enterocolitica lack conventional virulence factors, these strains can be isolated from patients with diarrhoea. Insecticidal Toxin Complex (ITC) and Cytolethal Distending Toxins can potentially contribute to the virulence of non-pathogenic Y. enterocolitica in the absence of other virulence factors. We compared distribution of ITC and CDT loci among pathogenic and non-pathogenic Y. enterocolitica. Additionally, to demonstrate potential pathogenicity of non-pathogenic Y. enterocolitica we compared their virulence towards Galleria mellonella larvae (a non-mammalian model of human bacterial infections) with the virulence of highly and mildly pathogenic Y. enterocolitica strains. Surprisingly, virulence of pathogenic and non-pathogenic Y. enterocolitica in Galleria mellonella larvae observed at 37°C did not correlate with their pathogenic potential towards humans. Comparative phylogenomic analysis detects predicted coding sequences (CDSs) that define host-pathogen interactions and hence providing insights into molecular evolution of bacterial virulence. Comparative phylogenomic analysis of microarray data generated in Y. enterocolitica strains isolated in the Great Britain from humans with diarrhoea and domestic animals revealed high genetic heterogeneity of these species. Because of the extensive human, animal and food exchanges between the UK and Ireland the objective of this study was to gain further insight into genetic heterogeneity and relationships among clinical and non-clinical Y. enterocolitica strains of various pathogenic potential isolated in Ireland and Great Britain. No evidence of direct transfer of strains between the two countries was found.

The design of curved optical waveguides : analytical and numerical analysis

A model for understanding the formation and propagation of modes in curved optical waveguides is developed. A numerical method for the calculation of curved waveguide mode profiles and propagation constants in two dimensional waveguides is developed, implemented and tested. A numerical method for the analysis of propagation of modes in three dimensional curved optical waveguides is developed, implemented and tested. A technique for the design of curved waveguides with reduced transition loss is presented. A scheme for drawing these new waveguides and ensuring that they have constant width is also provided. Claims about the waveguide design technique are substantiated through numerical simulations.

TRADITION AND INNOVATION: ANALYSIS AND PERFORMANCE OF SELECTED COMPOSITIONS FOR VIOLONCELLO BY HEITOR VILLA-LOBOS

Brazilian composer Heitor Villa-Lobos (1887-1959) began his musical career as a cellist. When he was only twelve years old, it became imperativeupon the sudden and untimely death of his fatherthat the young Villa-Lobos earn money as a cellist to provide financial support for his mother and sisters. Villa-Lobos's intimate relationship with the cello eventually inspired him to compose great music for this instrument. This dissertation explores both the diversity of compositional technique and the evolution of style found in the music for cello written by Villa-Lobos. The project consists of two recorded recital performances and a written document exploring and analyzing those pieces. In the study of the music of Villa-Lobos, it is of great interest to consider the music's traditional European elements in combination (or even juxtaposition) with its imaginative and sometimes wildly innovative Brazilian character. His early works were greatly influenced by European Romantic composers such as Robert Schumann, Frédéric Chopin, and the virtuoso cellist/composer David Popper (whom Villa-Lobos idolized). Later, Villa-Lobos flourished in a newfound compositional independence and moved away from Euro-romanticism and toward the folk music of his Brazilian homeland. It is intriguing to experience this transition through an exploration of his cello compositions. The works examined and performed in this dissertation project are chosen from among the extensive number of Villa-Lobos's cello compositions and are his most important works for cello with piano, cello with another instrument, and cello with orchestra. The chosen works demonstrate the evolving range and combination of characteristic elements found in Villa-Lobos's compositional repertoire.

Auriculotherapy for pain management: a systematic review and meta-analysis of randomized controlled trials.

OBJECTIVES: Side-effects of standard pain medications can limit their use. Therefore, nonpharmacologic pain relief techniques such as auriculotherapy may play an important role in pain management. Our aim was to conduct a systematic review and meta-analysis of studies evaluating auriculotherapy for pain management. DESIGN: MEDLINE,(®) ISI Web of Science, CINAHL, AMED, and Cochrane Library were searched through December 2008. Randomized trials comparing auriculotherapy to sham, placebo, or standard-of-care control were included that measured outcomes of pain or medication use and were published in English. Two (2) reviewers independently assessed trial eligibility, quality, and abstracted data to a standardized form. Standardized mean differences (SMD) were calculated for studies using a pain score or analgesic requirement as a primary outcome. RESULTS: Seventeen (17) studies met inclusion criteria (8 perioperative, 4 acute, and 5 chronic pain). Auriculotherapy was superior to controls for studies evaluating pain intensity (SMD, 1.56 [95% confidence interval (CI): 0.85, 2.26]; 8 studies). For perioperative pain, auriculotherapy reduced analgesic use (SMD, 0.54 [95% CI: 0.30, 0.77]; 5 studies). For acute pain and chronic pain, auriculotherapy reduced pain intensity (SMD for acute pain, 1.35 [95% CI: 0.08, 2.64], 2 studies; SMD for chronic pain, 1.84 [95% CI: 0.60, 3.07], 5 studies). Removal of poor quality studies did not alter the conclusions. Significant heterogeneity existed among studies of acute and chronic pain, but not perioperative pain. CONCLUSIONS: Auriculotherapy may be effective for the treatment of a variety of types of pain, especially postoperative pain. However, a more accurate estimate of the effect will require further large, well-designed trials.

Integrated pathway and epistasis analysis reveals interactive effect of genetic variants at TERF1 and AFAP1L2 loci on melanoma risk.

Genome-wide association studies (GWASs) have characterized 13 loci associated with melanoma, which only account for a small part of melanoma risk. To identify new genes with too small an effect to be detected individually but which collectively influence melanoma risk and/or show interactive effects, we used a two-step analysis strategy including pathway analysis of genome-wide SNP data, in a first step, and epistasis analysis within significant pathways, in a second step. Pathway analysis, using the gene-set enrichment analysis (GSEA) approach and the gene ontology (GO) database, was applied to the outcomes of MELARISK (3,976 subjects) and MDACC (2,827 subjects) GWASs. Cross-gene SNP-SNP interaction analysis within melanoma-associated GOs was performed using the INTERSNP software. Five GO categories were significantly enriched in genes associated with melanoma (false discovery rate ≤ 5% in both studies): response to light stimulus, regulation of mitotic cell cycle, induction of programmed cell death, cytokine activity and oxidative phosphorylation. Epistasis analysis, within each of the five significant GOs, showed significant evidence for interaction for one SNP pair at TERF1 and AFAP1L2 loci (pmeta-int  = 2.0 × 10(-7) , which met both the pathway and overall multiple-testing corrected thresholds that are equal to 9.8 × 10(-7) and 2.0 × 10(-7) , respectively) and suggestive evidence for another pair involving correlated SNPs at the same loci (pmeta-int  = 3.6 × 10(-6) ). This interaction has important biological relevance given the key role of TERF1 in telomere biology and the reported physical interaction between TERF1 and AFAP1L2 proteins. This finding brings a novel piece of evidence for the emerging role of telomere dysfunction into melanoma development.

The effectiveness of low-level laser therapy for nonspecific chronic low back pain: a systematic review and meta-analysis.

BACKGROUND: In recent decades, low-level laser therapy (LLLT) has been widely used to relieve pain caused by different musculoskeletal disorders. Though widely used, its reported therapeutic outcomes are varied and conflicting. Results similarly conflict regarding its usage in patients with nonspecific chronic low back pain (NSCLBP). This study investigated the efficacy of low-level laser therapy (LLLT) for the treatment of NSCLBP by a systematic literature search with meta-analyses on selected studies. METHOD: MEDLINE, EMBASE, ISI Web of Science and Cochrane Library were systematically searched from January 2000 to November 2014. Included studies were randomized controlled trials (RCTs) written in English that compared LLLT with placebo treatment in NSCLBP patients. The efficacy effect size was estimated by the weighted mean difference (WMD). Standard random-effects meta-analysis was used, and inconsistency was evaluated by the I-squared index (I(2)). RESULTS: Of 221 studies, seven RCTs (one triple-blind, four double-blind, one single-blind, one not mentioning blinding, totaling 394 patients) met the criteria for inclusion. Based on five studies, the WMD in visual analog scale (VAS) pain outcome score after treatment was significantly lower in the LLLT group compared with placebo (WMD = -13.57 [95 % CI = -17.42, -9.72], I(2) = 0 %). No significant treatment effect was identified for disability scores or spinal range of motion outcomes. CONCLUSIONS: Our findings indicate that LLLT is an effective method for relieving pain in NSCLBP patients. However, there is still a lack of evidence supporting its effect on function.

Liquid metal turbulent flow dynamics in a cylindrical container with free surface: experiment and numerical analysis

The liquid metal flow in inducation crucible models is known to be higly unstable and turbutlen in the regim e of medium frequecies when the elctronmagnetic skin-layer is of considerable extent. We present long term turbulent flow measurements by a permanent magnet incorporated potential difference veolocity probe in a cylindirical container filled with eutecti mlt In-Ga-SN. The parallel numerical simulation of the long time scale development of the turbulen average flow is presented. The numerical lfow model uses a pseud-spectral code and k-w turbulence model, which was recently developed for the transitional flow modelling. The result compare reasonably to the experiment and demonstrate the time development of the turbulent flow field.