CARPS: A Program which Solves Calculus Word Problems

A program was written to solve calculus word problems. The program, CARPS (CALculus Rate Problem Solver), is restricted to rate problems. The overall plan of the program is similar to Bobrow's STUDENT, the primary difference being the introduction of "structures" as the internal model in CARPS. Structures are stored internally as trees. Each structure is designed to hold the information gathered about one object. A description of CARPS is given by working through two problems, one in great detail. Also included is a critical analysis of STUDENT.

SIR: A Computer Program for Semantic Information Retrieval

SIR is a computer system, programmed in the LISP language, which accepts information and answers questions expressed in a restricted form of English. This system demonstrates what can reasonably be called an ability to "understand" semantic information. SIR's semantic and deductive ability is based on the construction of an internal model, which uses word associations and property lists, for the relational information normally conveyed in conversational statements. A format-matching procedure extracts semantic content from English sentences. If an input sentence is declarative, the system adds appropriate information to the model. If an input sentence is a question, the system searches the model until it either finds the answer or determines why it cannot find the answer. In all cases SIR reports its conclusions. The system has some capacity to recognize exceptions to general rules, resolve certain semantic ambiguities, and modify its model structure in order to save computer memory space. Judging from its conversational ability, SIR, is a first step toward intelligent man-machine communication. The author proposes a next step by describing how to construct a more general system which is less complex and yet more powerful than SIR. This proposed system contains a generalized version of the SIR model, a formal logical system called SIR1, and a computer program for testing the truth of SIR1 statements with respect to the generalized model by using partial proof procedures in the predicate calculus. The thesis also describes the formal properties of SIR1 and how they relate to the logical structure of SIR.

Flexibility and Efficiency in a Computer Program for Designing Circuits

This report is concerned with the problem of achieving flexibility (additivity, modularity) and efficiency (performance, expertise) simultaneously in one AI program. It deals with the domain of elementary electronic circuit design. The proposed solution is to provide a deduction-driven problem solver with built-in-control-structure concepts. This problem solver and its knowledge base in the applicaitn areas of design and electronics are descrbed. The prgram embodying it is being used to explore the solutionof some modest problems in circuit design. It is concluded that shallow reasoning about problem-solver plans is necessary for flexibility, and can be implemented with reasonable efficiency.

Automatic Analysis of the Logical Structure of Programs

This report presents a method for viewing complex programs as built up out of simpler ones. The central idea is that typical programs are built up in a small number of stereotyped ways. The method is designed to make it easier for an automatic system to work with programs. It focuses on how the primitive operations performed by a program are combined together in order to produce the actions of the program as a whole. It does not address the issue of how complex data structures are built up from simpler ones, nor the relationships between data structures and the operations performed on them.

The structure of nano sized poorly-crystalline iron oxy-hydroxides

In this thesis the structures of three nano sized poorly-crystalline iron oxy-hydroxides, feroxyhyte, ferrihydrite and schwertmannite, are studied and analyzed with the aim of clarifying some dubious structural features. The widely used Rietveld re�nement and EXAFS analysis are employed in order to address the consistency of the structural models proposed for these materials, one of which, feroxyhyte, is suggested in this thesis. Furthermore, a new computer program exploiting the Reverse Monte Carlo algorithm and the Debye Scattering Equation is presented and used in order to analyze the elusive structures of these iron oxy-hydroxides.

The meso-scale response of subarctic North Pacific seabird community structure to lower trophic level abundance and diversity

Understanding the mechanisms that structure communities and influence biodiversity are fundamental goals of ecology. To test the hypothesis that the abundance and diversity of upper-trophic level predators (seabirds) is related to the underlying abundance and diversity of their prey (zooplankton) and ecosystem-wide energy availability (primary production), we initiated a monitoring program in 2002 that jointly and repeatedly surveys seabird and zooplankton populations across a 7,500 km British Columbia-Bering Sea-Japan transect. Seabird distributions were recorded by a single observer (MH) using a strip-width technique, mesozooplankton samples were collected with a Continuous Plankton Recorder, and primary production levels were derived using the appropriate satellite parameters and the Vertically Generalized Production Model (Behrenfeld and Falkowski 1997). Each trophic level showed clear spatio-temporal patterns over the course of the study. The strongest relationship between seabird abundance and diversity and the lower trophic levels was observed in March/April ('spring') and significant relationships were also found through June/July ('summer'). No discernable relationships were observed during the September/October ('fall') months. Overall, mesozooplankton abundance and biomass explained the dominant portion of seabird abundance and diversity indices (richness, Simpson's Index, and evenness), while primary production was only related to seabird richness. These findings underscore the notion that perturbations of ocean productivity and lower trophic level ecosystem constituents influenced by climate change, such as shifts in timing (phenology) and synchronicity (match-mismatch), could impart far-reaching consequences throughout the marine food web.

Strong configuration mixing among the fine-structure levels of Cl+

A large-scale configuration interaction (Cl) calculation using Program CIV3 of Hibbert is performed for the lowest 62 fine- structure levels of the singly charged chlorine ion. Our calculated energy levels agree very well with most of the NIST results and confirm the identification of the lowest P-1(o) as actually 3s(2)3p(3)(D-2(o))3d P-1(o) rather than the generally employed 3s3p(5) P-1(o) in measurements and calculations. Discrepancies in the energy positions of some symmetries are found and discussed. Some large oscillator strengths for allowed and intercombination transitions in both length and velocity gauges are presented. Their close agreement gives credence to the accuracy of our CI wavefunctions.

Electron-impact excitation of FeII - Collision strengths and effective collision strengths for low-lying fine-structure forbidden transitions

Context. Absorption or emission lines of Fe II are observed in many astrophysical spectra and accurate atomic data are required to interpret these lines. The calculation of electron-impact excitation rates for transitions among even the lowest lying levels of Fe II is a formidable task for theoreticians.

Aims. In this paper, we present collision strengths and effective collision strengths for electron-impact excitation of Fe II for low-lying forbidden transitions among the lowest 16 fine-structure levels arising from the four LS states 3d(6)4s D-6(e), 3d(7) F-4(e), 3d(6)4s D-4(e), and 3d(7) P-4(e). The effective collision strengths are calculated for a wide range of electron temperatures of astrophysical importance from 30-100 000 K.

Methods. The parallel suite of Breit-Pauli codes are utilised to compute the collision cross sections for electron-impact excitation of Fe II and relativistic terms are included explicitly in both the target and the scattering approximation. 100 LS or 262-jj levels formed from the basis configurations 3d(6)4s, 3d(7), and 3d(6)4p were included in the wavefunction representation of the target, including all doublet, quartet, and sextet terms. Collision strengths for a total of 34191 individual transitions were computed.

Results. A detailed comparison is made with previous theoretical works and significant differences were found to occur in the effective collision strengths, particularly at low temperatures.

Malware detection: program run length against detection rate

N-gram analysis is an approach that investigates the structure of a program using bytes, characters or text strings. This research uses dynamic analysis to investigate malware detection using a classification approach based on N-gram analysis. A key issue with dynamic analysis is the length of time a program has to be run to ensure a correct classification. The motivation for this research is to find the optimum subset of operational codes (opcodes) that make the best indicators of malware and to determine how long a program has to be monitored to ensure an accurate support vector machine (SVM) classification of benign and malicious software. The experiments within this study represent programs as opcode density histograms gained through dynamic analysis for different program run periods. A SVM is used as the program classifier to determine the ability of different program run lengths to correctly determine the presence of malicious software. The findings show that malware can be detected with different program run lengths using a small number of opcodes

Deciphering tissue-induced Klebsiella pneumoniae lipid A structure

The host launches an antimicrobial defense program upon infection. A long-held belief is that pathogens prevent host recognition by remodeling their surface in response to different host microenvironments. Yet direct evidence that this happens in vivo is lacking. Here we report that the pathogen Klebsiella pneumoniae modifies one of its surface molecules, the lipopolysaccharide, in the lungs of mice to evade immune surveillance. These in vivo-induced changes are lost in bacteria grown after isolation from the tissues. These lipopolysaccharide modifications contribute to survival in vivo and mediate resistance to colistin, one of the last options to treat multidrug-resistant Klebsiella. This work opens the possibility of designing novel therapeutics targeting the enzymes responsible for the in vivo lipid A pattern.

Demand Response Programs Definition Using Demand Price Elasticity to Define Consumers Aggregation for an Improved Remuneration Structure

The positioning of the consumers in the power systems operation has been changed in the recent years, namely due to the implementation of competitive electricity markets. Demand response is an opportunity for the consumers’ participation in electricity markets. Smart grids can give an important support for the integration of demand response. The methodology proposed in the present paper aims to create an improved demand response program definition and remuneration scheme for aggregated resources. The consumers are aggregated in a certain number of clusters, each one corresponding to a distinct demand response program, according to the economic impact of the resulting remuneration tariff. The knowledge about the consumers is obtained from its demand price elasticity values. The illustrative case study included in the paper is based on a 218 consumers’ scenario.

Melting the matrices : structure, anti-structure, and the emerging conversation /

This thesis investigates two cases of Christian churches, which as a part of their mission seek to accommodate people who would otherwise not be interested in church. One of these communities consider themselves a part of the global 'emerging church' movement, and the other does not. I argue that both communities are employing what I call 'de-compartmentalization' strategy in order to adopt a pragmatic relationship with social and political issues. Furthermore I discuss the case of the emerging church community as an example of 'paraliminal community '; a concept I develop from the work of Victor Turner and Arnold van Gennep.

The effectiveness of explicit strategy instruction on the top level structure of a text

Thesis (M.Ed.)-- Brock University, 1995.

The impact of a training program in phonological awareness on children's early writing

This study examined the effects that a training program in phonological awareness had on the early writing skills of children in a Grade One class in the Lincoln County Separate school system. The intent of the training program was to provide consistent and systematic practice in the manipulation of the phonological structure of language. The games and activities of the training program were related to a framework of developmental phonological skills and practised in a group setting during an unstructured period of the regular classroom schedule. The training program operated three days in a six-day cycle for approximately twenty minutes a day, from November until mid-March. All children were tested at the outset and conclusion of the study to determine level of functioning in letter identification, word recognition, verbal intelligence, phonological awareness and spelling. Results of the pre-tests and post-tests were compared to determine differences between the experimental and control groups over time. In addition, a systematic analysis of the children's writing looked at the development of the spelling of regular and irregular words. The results of this study provided strong support for the hypothesis that the treatment group would progress through the stages of early writing development more quickly than children without such training. On the basis of differences between the groups over time, it was evident that training in phonological awareness had a direct positive effect on the spelling of regular words for children during the early stages of writing. The training program did not have a significant effect on the spelling of irregular words. Test results evaluating phonological awareness indicated a significant difference within each group over time but no significance between the groups during the experimental period. It would appear that the results of these tests reflect maturational changes in the child rather than causal effects of the training program. Nor did the effects of the training program transfer significantly to other aspects of language. Although some of the hypotheses considered were not supported by the study, the results do indicate that children during the early stages of writing development can benefit from a training program in phonological awareness. The theoretical direction for effective programming as a result of this study is discussed. The educational implications of training phonological awareness concurrent to beginning efforts in writing are considered.

Left ventricular structure in children with developmental coordination disorder

Developmental coordination disorder (p-DCD) is a neuro-developmental disorder featuring impairment in developing motor coordination. This study examined left ventricular mass (LVM) in children with p-DCD (n=63) and controls (n=63). LVM was measured using echocardiography. Body composition was determined using BOD POD and peak oxygen uptake (peak V02) was measured by a progressive exercise test. Height, weight and blood pressure were also measured. LVM was not significantly elevated in p-DCD compared to controls. Peak V02 was lower and SBP, BMI, HR, and BF(%) were significantly higher in p-DCD. They also demonstrated elevated stroke volume (SV), cardiac output (CO), end-diastolic volume, and ventricular diameter in diastole. In regression analyses, p-DCD was a significant predictor of SV and CO after accounting for height, FFM, V02FFM, and sex. These differences in children with p-DCD indicate obesity related changes in the left ventricle and may represent early stages of developing hypertrophy of the left ventricle.