Rule-based and Resource-bounded: A New Look at Epistemic Logic

Syntactic logics do not suffer from the problems of logical omniscience but are often thought to lack interesting properties relating to epistemic notions. By focusing on the case of rule-based agents, I develop a framework for modelling resource-bounded agents and show that the resulting models have a number of interesting properties.

Influence of phosphine resistance genes on flight propensity and resource location in Tribolium castaneum (Herbst) (Coleoptera: Tenebrionidae): the landscape for selection

Phosphine resistance in Tribolium castaneum Herbst (Coleoptera: Tenebrionidae) has evolved through changes to enzymes involved in basic metabolic pathways. These changes impose metabolic stress and could affect energy-demanding behaviours. We therefore tested whether phosphine resistance alleles impact the movement of these insects in their quest for new resources. We measured walking and flight parameters of four T. castaneum genotypes: (1) a field-derived population, (2) a laboratory cultured, phosphine-susceptible reference strain, (3) a laboratory cultured, phosphine-resistant reference strain, and (4) a resistant introgressed strain that is almost identical genetically to the susceptible population. The temporal pattern of flight was identical across all populations, but resistant beetles took flight significantly less, walked more slowly, and located resources less successfully than did susceptible beetles. Also, the field-derived beetles (proved not to be carrying resistance genes) walked significantly faster and more directly towards food resources, and had a higher propensity for flight when compared to the susceptible laboratory beetles. These negative effects suggest survival of beetles with the resistance alleles will be compromised should they leave phosphine application sites. The field for selection therefore extends beyond the site at which phosphine fumigant imposed its effect, and other mutations are also likely to be affected in this way.

Students’ Self-Report of Motivational Orientation and Teacher Evaluation on Coping and Motivational Orientation Related to Elementary Students’ Mathematical Problem Solving and Reading Comprehension

The present study examined the correlations between motivational orientation and students’ academic performance in mathematical problem solving and reading comprehension. The main purpose is to see if students’ intrinsic motivation is related to their actual performance in different subject areas, math and reading. In addition, two different informants, students and teachers, were adopted to check whether the correlation is different by different informants. Pearson’s correlational analysis was a major method, coupled with regression analysis. The result confirmed the significant positive correlation between students’ academic performance and students’ self-report and teacher evaluation on their motivational orientation respectively. Teacher evaluation turned out with more predictive value for the academic achievement in math and reading. Between the subjects, mathematical problem solving showed higher correlation with most of the motivational subscales than reading comprehension did. The highest correlation was found between teacher evaluation on task orientation and students’ mathematical problem solving. The positive relationship between intrinsic motivation and academic achievement was proved. The disparity between students ’ self-report and teacher evaluation on motivational orientation was also addressed with the need of further examination.

Environmental and economic impacts of sea-level rise on the Basque Coast

257 p.

Using interaction data for improving the offline and online evaluation of search engines

This thesis investigates how web search evaluation can be improved using historical interaction data. Modern search engines combine offline and online evaluation approaches in a sequence of steps that a tested change needs to pass through to be accepted as an improvement and subsequently deployed. We refer to such a sequence of steps as an evaluation pipeline. In this thesis, we consider the evaluation pipeline to contain three sequential steps: an offline evaluation step, an online evaluation scheduling step, and an online evaluation step. In this thesis we show that historical user interaction data can aid in improving the accuracy or efficiency of each of the steps of the web search evaluation pipeline. As a result of these improvements, the overall efficiency of the entire evaluation pipeline is increased. Firstly, we investigate how user interaction data can be used to build accurate offline evaluation methods for query auto-completion mechanisms. We propose a family of offline evaluation metrics for query auto-completion that represents the effort the user has to spend in order to submit their query. The parameters of our proposed metrics are trained against a set of user interactions recorded in the search engine’s query logs. From our experimental study, we observe that our proposed metrics are significantly more correlated with an online user satisfaction indicator than the metrics proposed in the existing literature. Hence, fewer changes will pass the offline evaluation step to be rejected after the online evaluation step. As a result, this would allow us to achieve a higher efficiency of the entire evaluation pipeline. Secondly, we state the problem of the optimised scheduling of online experiments. We tackle this problem by considering a greedy scheduler that prioritises the evaluation queue according to the predicted likelihood of success of a particular experiment. This predictor is trained on a set of online experiments, and uses a diverse set of features to represent an online experiment. Our study demonstrates that a higher number of successful experiments per unit of time can be achieved by deploying such a scheduler on the second step of the evaluation pipeline. Consequently, we argue that the efficiency of the evaluation pipeline can be increased. Next, to improve the efficiency of the online evaluation step, we propose the Generalised Team Draft interleaving framework. Generalised Team Draft considers both the interleaving policy (how often a particular combination of results is shown) and click scoring (how important each click is) as parameters in a data-driven optimisation of the interleaving sensitivity. Further, Generalised Team Draft is applicable beyond domains with a list-based representation of results, i.e. in domains with a grid-based representation, such as image search. Our study using datasets of interleaving experiments performed both in document and image search domains demonstrates that Generalised Team Draft achieves the highest sensitivity. A higher sensitivity indicates that the interleaving experiments can be deployed for a shorter period of time or use a smaller sample of users. Importantly, Generalised Team Draft optimises the interleaving parameters w.r.t. historical interaction data recorded in the interleaving experiments. Finally, we propose to apply the sequential testing methods to reduce the mean deployment time for the interleaving experiments. We adapt two sequential tests for the interleaving experimentation. We demonstrate that one can achieve a significant decrease in experiment duration by using such sequential testing methods. The highest efficiency is achieved by the sequential tests that adjust their stopping thresholds using historical interaction data recorded in diagnostic experiments. Our further experimental study demonstrates that cumulative gains in the online experimentation efficiency can be achieved by combining the interleaving sensitivity optimisation approaches, including Generalised Team Draft, and the sequential testing approaches. Overall, the central contributions of this thesis are the proposed approaches to improve the accuracy or efficiency of the steps of the evaluation pipeline: the offline evaluation frameworks for the query auto-completion, an approach for the optimised scheduling of online experiments, a general framework for the efficient online interleaving evaluation, and a sequential testing approach for the online search evaluation. The experiments in this thesis are based on massive real-life datasets obtained from Yandex, a leading commercial search engine. These experiments demonstrate the potential of the proposed approaches to improve the efficiency of the evaluation pipeline.

Preoperative assessment of deep myometrial and cervical invasion in endometrial carcinoma: comparison of magnetic resonance imaging and histopathologic evaluation

This study aimed to evaluate the accuracy of magnetic resonance imaging (MRI) in the detection of deep myometrial invasion and cervical extension by endometrial carcinoma. This prospective study included 101 patients with histologically documented endometrial carcinoma, between July 1998 and April 2004. The findings of preoperative pelvic MRI were compared with histological diagnosis. From 101 cases studied by pelvic MRI, 43 were classified as deep myometrial invasion (50% of myometrium), where the pathological evaluation confirmed as having deep myometrial invasion. Cervical extension in the MRI study was found in 19 cases. Pathologic study found cervical extension and/or invasion in 31 cases including all cases identified by MRI. The accuracy, sensitivity and specificity of MRI were 95%, 89%, 100%, detecting deep myometrial invasion and 88%, 61%, 100%, detecting cervical invasion, respectively. The high accuracy achieved makes MRI an adequate method for determine the depth of myometrial and cervical invasion in endometrial carcinoma.

Development and pharmacological evaluation of ropivacaine-2-hydroxypropyl-beta-cyclodextrin inclusion complex

Ropivacaine (RVC) is an enantiomerically pure local anesthetic (LA) largely used in surgical procedures, which presents physico-chemical and therapeutic properties similar to those of bupivacaine (BPV), but associated to less systemic toxicity This study focuses on the development and pharmacological evaluation of a RVC in 2-hydroxypropyl-beta-cyclodextrin (HP-P-CD) inclusion complex. Phase-solubility diagrams allowed the determination of the association constant between RVC and HP-beta-CD (9.46 M-1) and showed an increase on RVC solubility upon complexation. Release kinetics revealed a decrease on RVC release rate and reduced hemolytic effects after complexation. (onset at 3.7 mM and 11.2 mM for RVC and RVCHP-beta-CD, respectively) were observed. Differential scanning calorimetry (DSC), scanning electron microscopy (SEM) and X-ray analysis (X-ray) showed the formation and the morphology of the complex. Nuclear magnetic resonance (NMR) and job-plot experiments afforded data regarding inclusion complex stoichiometry (1:1) and topology. Sciatic nerve blockade studies showed that RVCHP-beta-CD was able to reduce the latency without increasing the duration of motor blockade, but prolonging the duration and intensity of the sensory blockade (p < 0.001) induced by the LA in mice. These results identify the RVCHP-beta-CD complex as an effective novel approach to enhance the pharmacological effects of RVC, presenting it as a promising new anesthetic formulation. (c) 2007 Elsevier B.V All rights reserved.

Development and psychometric evaluation of the basic electrocardiogram interpretation self-efficacy scale

Purpose: Research suggests that nurses and nursing students lack competence in basic electrocardiogram (ECG) interpretation. Self-efficacy is considered to be paramount in the development of one's competence. The aim of this study was to develop and psychometrically evaluate a scale to assess self-efficacy of nursing students in basic ECG interpretation. Materials and methods: Observational cross-sectional study with a convenience sample of 293 nursing students. The basic ECG interpretation self-efficacy scale (ECG-SES) was developed and psychometrically tested in terms of reliability (internal consistency and temporal stability) and validity (content, criterion and construct). The ECG-SES’ internal consistency was explored by calculating the Cronbach's alpha coefficient (α); its temporal stability was investigated by calculating the Pearson correlation coefficient (r) between the participants’ results on a test–retest separated by a 4-week interval. The content validity index of the items (I-CVI) and the scale (S-CVI) was calculated based on the reviews of a panel of 16 experts. Criterion validity was explored by correlating the participants’ results on the ECG-SES with their results on the New General Self-Efficacy Scale (NGSE). 1 Construct validity was investigated by performing Principal Component Analysis (PCA) and known-group analysis. Results: The excellent reliability of the ECG-SES was evidenced by its internal consistency (α = 0.98) and its temporal stability at the 4-week re-test (r = 0.81; p < 0.01). The ECG-SES’ content validity was also excellent (all items’ I-CVI = 0.94–1; S-CVI = 0.99). A strong, significant correlation between the NGSE and the ECG-SES (r = 0.70; p < 0.01) showed its criterion validity. Corroborating the ECG-SES’ construct validity, PCA revealed that all its items loaded on a single factor that explained 74.6% of the total variance found. Furthermore, known-groups analysis showed the ECG-SES’ ability to detect expected differences in self-efficacy between groups with different training experiences (p < 0.01). Conclusion: The ECG-SES showed excellent psychometric properties for measuring the self-efficacy of nursing students in basic ECG interpretation.

Environmental and genetic effects on production traits of ewes originally from distinct environments.

Wool production and reproductive performance components of similar genotypes, brought from distinct production areas, were evaluated during five years trial at similar environments, such as, joining season and stocking rate on winter improved pasture. The least squares means revealed that the origin (breed) effect concentrated upon the Corriedale ewes wool production, whereas in Romney females it affected the reproductive performance.

Origin discrimination and quality evaluation of Gastrodiae rhizoma (Orchidaceae) by high-performance liquid chromatographic fingerprint

Purpose: To develop a high-performance liquid chromatography (HPLC) fingerprint method for the quality control and origin discrimination of Gastrodiae rhizoma . Methods: Twelve batches of G. rhizoma collected from Sichuan, Guizhou and Shanxi provinces in china were used to establish the fingerprint. The chromatographic peak (gastrodin) was taken as the reference peak, and all sample separation was performed on a Agilent C18 (250 mm×4.6 mmx5 μm) column with a column temperature of 25 °C. The mobile phase was acetonitrile/0.8 % phosphate water solution (in a gradient elution mode) and the flow rate of 1 mL/min. The detection wavelength was 270 nm. The method was validated as per the guidelines of Chinese Pharmacopoeia. Results: The chromatograms of the samples showed 11 common peaks, of which no. 4 was identified as that of Gastrodin. Data for the samples were analyzed statistically using similarity analysis and hierarchical cluster analysis (HCA). The similarity index between reference chromatogram and samples’ chromatograms were all > 0.80. The similarity index of G. rhizoma from Guizhou, Shanxi and Sichuan is evident as follows: 0.854 - 0.885, 0.915 - 0.930 and 0.820 - 0.848, respectively. The samples could be divided into three clusters at a rescaled distance of 7.5: S1 - S4 as cluster 1; S5 - S8 cluster 2, and others grouped into cluster 3. Conclusion: The findings indicate that HPLC fingerprinting technology is appropriate for quality control and origin discrimination of G. rhizoma.

Attributions and the Evaluation of Dynamic Performance

As research into the dynamic characteristics of job performance across time has continued to accumulate, associated implications for performance appraisal have become evident. At present, several studies have demonstrated that systematic trends in job performance across time influence how performance is ultimately judged. However, little research has considered the processes by which the performance trend-performance rating relationship occurs. In the present study, I addressed this gap. Specifically, drawing on attribution theory, I proposed and tested a model whereby the performance trend-performance rating relationship occurs through attributions to ability and effort. The results of this study indicated that attributions to ability, but not effort, mediate the relationship between performance trend and performance ratings and that this relationship depends on attribution-related cues. Implications for performance appraisal research and theory are discussed.

Hafnocene catalyst for polyethylene and its nanocomposites with SBA-15 by in situ polymerization: immobilization approaches, catalytic behavior and properties evaluation

A hafnocene catalyst combined with methylaluminoxane (MAO) has been used as catalytic complex for the preparation of a set of polyethylene homopolymers by in situ polymerization under homogenous conditions and of different nanocomposites with mesoporous SBA- 15 particles, the latter playing the dual role of catalyst support and nanofiller. Distinct immobilization approaches have been explored for obtainment of these nanocomposites. Moreover, catalytic features, thermal stability, melting and crystallization transitions and mechanical behavior have been evaluated for those materials.

Spatial, environmental and human influences on the distribution of otter (Lutra lutra) in the Spanish provinces

In a previous survey of otters ( Lutra lutra L. 1758) in Spain, different causes were invoked to explain the frequency of the species in each province. To find common causes of the distribution of the otter in Spain, we recorded a number of spatial, environmental and human variables in each Spanish province. We then performed a stepwise linear multiple regression of the proportion of positive sites of otter in the Spanish provinces separately on each of the three groups of variables. Geographic longitude, January air humidity, soil permeability and highway density were the variables selected. A linear regression of the proportion of otter presence on these variables explained 62.4% of the variance. We then used the selected variables in a partial regression analysis to specify which proportions of the variation are explained exclusively by spatial, environmental and human factors, and which proportions are attributable to interactions between these components. Pure environmental effects accounted for only 5.5% of the variation, while pure spatial and pure human effects explained 18% and 9.7%, respectively. Shared variation among the components totalled 29.2%, of which 10.9% was explained by the interaction between environmental and spatial factors. Human factors explained globally less variance than spatial and environmental ones, but the pure human influence was higher than the pure environmental one. We concluded that most of the variation in the proportion of occurrences of otter in Spanish provinces is spatially structured, and that environmental factors have more influence on otter presence than human ones; however, the human influence on otter distribution is less structured in space, and thus can be more disruptive. This effect of large infrastructures on wild populations must be taken into account when planning large-scale conservation policies