Cette thèse introduit la notion de systèmes pédagogiques, qui sont des systèmes de d éducation naturelle contraints de la manière suivante : toutes les hypothèses posées dans une démonstration doivent être motivées par un exemple. Ces systèmes sont par essence sans négation. Nous étudions les systèmes propositionnels pédagogiques du premier ordre, du second ordre et plus généralement tous les systèmes d'ordre supérieur. Nous présentons, quand cela est possible, le lamda-calcul associé à chaque système via l'isomorphisme de Curry-Howard ; la contrainte pédagogique y fait apparaître une nouvelle propriété que nous appelons l'utilité: un lamda-terme typé est utile quand son contenu algorithmique peut être utilisé / The present thesis introduces the notion of pedagogical systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a proof must be motivated by an example. These systems are in essence negationless. We study _rst order, second order and higher order pedagogical propositional systems. We present when it is possible the _-calculi associated to these systems; the pedagogical constraint introduces a new notion we call usefulness: a _-term is usefull when it's algorithmic content can be used.

Thesis--Columbia University. / Published also without thesis statement. Vita. "Bibliographical note": p. [231]-238.

Thesis--Columbia University. / Published also without thesis statement. Vita. "Bibliographical note": p. [231]-238.

Thesis (M.S.)--Wisconsin. / Includes bibliographical references (leaves 70-75).

Thesis (Honors)--College of William and Mary, 2008. / Includes bibliographical references (leaves 66-71). Also available via the World Wide Web.

A comparative study was undertaken of different extraction methods for the isolation of volatile organic compounds from Murraya koenigii (curry leaf plant). The techniques studied included the traditional methods of extraction, namely, Soxhlet and solvent extraction as well as steam distillation. The solvent–free extraction techniques of headspace analysis and headspace solid phase micro-extraction (HS-SPME) were also investigated. In the evaluation of SPME, two different fibre coatings, poly(dimethylsiloxane) and poly(acrylate), were compared. Preliminary work to determine the effect of extraction parameters, such as extraction time, was carried out. The volatile oils in the fresh leaves of Murraya koenigii were isolated by the above-mentioned extraction methods and analysed by gas chromatography-mass spectrometry. The main aroma contributing compounds were identified by comparison of their retention times with those of standards and their mass spectra with those of known compounds contained in the National Institute of Science and Technology Standard Reference Database 1A (NIST 98). The essential oil contained mainly terpenes: monoterpene and sesquiterpene hydrocarbons. The constituents were identified and only the five selected analytes of interest, a-pinene, β-pinene, a-phellandrene, β-caryophyllene and a-caryophyllene were quantified in three of the methods, namely solvent extraction, soxhlet extraction and steam distillation. From the quantitative determination of the compounds of interest, steam distillation favoured the extraction of β-caryophyllene. The solvent and Soxhlet extractions showed no significant differences between the quantities obtained for a- and β- caryophyllene. The steam distillation and Soxhlet methods showed similar quantities of a-caryophyllene extracted. The extraction of the monoterpenes, a-pinene, β-pinene, and a-phellandrene, was favoured by the Soxhlet method of extraction. Quantification was difficult with HS-SPME and headspace analysis. Headspace analysis proved effective in the detection of the very volatile analytes. Headspace-SPME combined with GC-MS was found to be suitable for the identification of both monoterpenes and sesquiterpenes of M. koenigii. From this study, solvent extraction and Soxhlet extraction were found to be superior to the other methods studied for the characterisation and quantitation of the volatile organic compounds in essential oils of Murraya koenigii. / Thesis (M.Sc.)-University of KwaZulu-Natal, Westville, 2010.

The portion of the Oregon coast extending from Cape Blanco south into California has long been recognized as a distinct physiographic region, with probable ramifications for prehistoric subsistence and settlement patterns. Several researchers have proposed models outlining a greater reliance upon marine/littoral resources among groups within this region, while more northerly groups exhibited a higher reliance upon estuarine resources. Current knowledge about regional prehistoric subsistence practices, based upon the archaeological record and ethnographic sources, was correlated with the distribution and relative abundance of exploited and potentially exploitable marine species. These data suggest that the abundant coastal rocks and islands found along this section of the Oregon coast serve to concentrate diverse and abundant animal resources within a confined area, allowing for ease of exploitation. Therefore, the rocks and islands were of potential economic importance to aboriginal groups. To support this hypothesis archaeological subsurface testing was undertaken on the only previously recorded offshore island site, and an archaeological sample survey was conducted on additional rocks and islands along this section of coastline to determine their utilization by native peoples. Two additional prehistoric sites were recorded. The results of these investigations are herein presented, and directions for future research are discussed. / Graduation date: 1991

Atualmente, o controle da doença Huanglongbing (HLB) ou greening é baseado, principalmente, no controle químico do inseto vetor Diaphorina citri, realizado por meio de aplicações intensivas de produtos químicos, o que vem causando surtos de pragas secundárias, ressurgência de pragas, seleção de população resistente e eliminação dos inimigos naturais. Com esse trabalho, objetivou-se avaliar a possibilidade da utilização da planta de curry (Murraya koenigii) como planta-isca para o manejo do psilídeo D. citri. Para isso, foram realizados os seguintes testes: i) teste de transmissão de \'Candidatus Liberibacter asiaticus\' para determinar se a planta de curry não é hospedeira da bactéria; ii) teste de comportamento de escolha, para verificar a preferência hospedeira de D. citri em plantas de curry em relação a citros; iii) teste de comportamento alimentar do psilídeo por meio da técnica de Electrical Penetration Graphs (EPG) em plantas de curry, visando entender a alimentação do inseto nessa planta; iv) seleção de inseticidas sistêmicos para uso em plantas de curry, determinando o período residual e eficiência; e v) teste com plantio-isca em um talhão de citros, no qual foram instaladas plantas de curry em frente as plantas de citros e o psilídeo foi monitorado com o uso de armadilhas adesivas amarelas. Como resultado, observouse que a planta de curry não é hospedeira da bactéria \'Ca. L. asiaticus\' por meio da inoculação pelo psilídeo D. citri, e, em teste de livre escolha e de olfatômetro, é mais atrativa para o psilídeo do que a planta de citros, em condições laboratoriais. O comportamento alimentar do psilídeo em plantas de curry é diferente do que em citros e murta, sendo que o consumo da seiva do xilema em plantas de curry é maior. Além disso, inseticidas aplicados via \'drench\', como thiamethoxam e imidacloprid, nessa planta, são eficientes contra D. citri, pois controlam o psilídeo adulto por mais de 70 dias após a aplicação e, no campo, a captura de espécimes nas parcelas com a planta de curry foi maior, podendo concluir, portanto, que a planta de curry M. koenigii apresenta potencial para ser utilizada como plantio isca para manejo do psilídeo D. citri e, consequentemente, da doença HLB. / Currently, the control of the disease Huanglongbing (HLB) or greening is based mainly on the chemical control of the insect vector Diaphorina citri, through intensive applications of insecticides, which has been causing secondary pest outbreaks, pest resurgence, selection of population resistant and elimination of natural enemies. The goal of this work was to evaluate the possibility of using the curry leaf (Murraya koenigii) as a trap crop for the management of the D. citri. For this, the following tests have been performed: i) Transmission test of \'Candidatus Liberibacter asiaticus\' to determine if the curry leaf is not a host for the bacterium; ii) test of choice behavior, to verify the host preference of D. citri to curry leaves in relation to citrus plants; iii) test of probing behavior in curry leaf using the Electrical Penetration Graphs (EPG) technique, in order to understand the feeding of the insect on this plant; iv) selection of systemic insecticides for use in curry leaf, determining the residual period and efficiency; and v) test with trap crop in a citrus orchard, in which curry plants were installed in front of the citrus plants and the psyllid was monitored with the yellow stick traps. As a result, it has been observed that the curry leaf is not a host to \'Ca. L. asiaticus\' by the D. citri inoculation and, in a free choice and olfactometer test, is more attractive to the psyllid than the citrus plant under laboratory conditions. The probing behavior of the psyllid in curry leaf is different from citrus and orange jasmine, being the ingestion of xylem sap in curry leaf higher. In addition, the insecticides applied by \'drench\' such as thiamethoxam and imidacloprid in these plants are efficient against D. citri for more than 70 days after application and, in the field, the capture of psyllids in the plots with the curry leaf was higher and could therefore conclude that, the curry leaf M. koenigii is a potencial plant to be used as a trap crop for the management of D. citri and consequently, the disease HLB.

Atualmente, o controle da doença Huanglongbing (HLB) ou greening é baseado, principalmente, no controle químico do inseto vetor Diaphorina citri, realizado por meio de aplicações intensivas de produtos químicos, o que vem causando surtos de pragas secundárias, ressurgência de pragas, seleção de população resistente e eliminação dos inimigos naturais. Com esse trabalho, objetivou-se avaliar a possibilidade da utilização da planta de curry (Murraya koenigii) como planta-isca para o manejo do psilídeo D. citri. Para isso, foram realizados os seguintes testes: i) teste de transmissão de \'Candidatus Liberibacter asiaticus\' para determinar se a planta de curry não é hospedeira da bactéria; ii) teste de comportamento de escolha, para verificar a preferência hospedeira de D. citri em plantas de curry em relação a citros; iii) teste de comportamento alimentar do psilídeo por meio da técnica de Electrical Penetration Graphs (EPG) em plantas de curry, visando entender a alimentação do inseto nessa planta; iv) seleção de inseticidas sistêmicos para uso em plantas de curry, determinando o período residual e eficiência; e v) teste com plantio-isca em um talhão de citros, no qual foram instaladas plantas de curry em frente as plantas de citros e o psilídeo foi monitorado com o uso de armadilhas adesivas amarelas. Como resultado, observouse que a planta de curry não é hospedeira da bactéria \'Ca. L. asiaticus\' por meio da inoculação pelo psilídeo D. citri, e, em teste de livre escolha e de olfatômetro, é mais atrativa para o psilídeo do que a planta de citros, em condições laboratoriais. O comportamento alimentar do psilídeo em plantas de curry é diferente do que em citros e murta, sendo que o consumo da seiva do xilema em plantas de curry é maior. Além disso, inseticidas aplicados via \'drench\', como thiamethoxam e imidacloprid, nessa planta, são eficientes contra D. citri, pois controlam o psilídeo adulto por mais de 70 dias após a aplicação e, no campo, a captura de espécimes nas parcelas com a planta de curry foi maior, podendo concluir, portanto, que a planta de curry M. koenigii apresenta potencial para ser utilizada como plantio isca para manejo do psilídeo D. citri e, consequentemente, da doença HLB. / Currently, the control of the disease Huanglongbing (HLB) or greening is based mainly on the chemical control of the insect vector Diaphorina citri, through intensive applications of insecticides, which has been causing secondary pest outbreaks, pest resurgence, selection of population resistant and elimination of natural enemies. The goal of this work was to evaluate the possibility of using the curry leaf (Murraya koenigii) as a trap crop for the management of the D. citri. For this, the following tests have been performed: i) Transmission test of \'Candidatus Liberibacter asiaticus\' to determine if the curry leaf is not a host for the bacterium; ii) test of choice behavior, to verify the host preference of D. citri to curry leaves in relation to citrus plants; iii) test of probing behavior in curry leaf using the Electrical Penetration Graphs (EPG) technique, in order to understand the feeding of the insect on this plant; iv) selection of systemic insecticides for use in curry leaf, determining the residual period and efficiency; and v) test with trap crop in a citrus orchard, in which curry plants were installed in front of the citrus plants and the psyllid was monitored with the yellow stick traps. As a result, it has been observed that the curry leaf is not a host to \'Ca. L. asiaticus\' by the D. citri inoculation and, in a free choice and olfactometer test, is more attractive to the psyllid than the citrus plant under laboratory conditions. The probing behavior of the psyllid in curry leaf is different from citrus and orange jasmine, being the ingestion of xylem sap in curry leaf higher. In addition, the insecticides applied by \'drench\' such as thiamethoxam and imidacloprid in these plants are efficient against D. citri for more than 70 days after application and, in the field, the capture of psyllids in the plots with the curry leaf was higher and could therefore conclude that, the curry leaf M. koenigii is a potencial plant to be used as a trap crop for the management of D. citri and consequently, the disease HLB.

Site 35J04 is located on the south bank of the Rogue River, four miles west of Grants Pass, Oregon. Excavation of the site was conducted in 1976 by Oregon State University under contract to the Corvallis branch of CH2M/Hill. Eight artifact assemblages were distinguished during the analysis of the site. From these assemblages two distinct components were defined. Component I was dated to 460±90 BP. A close affiliation with the coast is evident for this time period from the concaved-base projectile points which are unique to this component. On the coast these concaved-base points are a late development and are usually associated with shell middens. Component II consisted to two circular house pits and the contemporary living surface around them. Carbon 14 dates this component at approximately 1400 BP. The dominant projectile point for this component was small, 9 mm to 18 mm in length, triangular-blade, corner-to-base notched point. An interior adaptation is evident for this component. Light, periodic use of the site was evident between component I and component II. The site had also been used prior to the component II occupation. Cultural debris was present in low frequency to a depth of 1.9 meters below the surface. / Graduation date: 1979