Searching and retrieving in content-based repositories of formal mathematical knowledge

In this thesis, the author presents a query language for an RDF (Resource Description Framework) database and discusses its applications in the context of the HELM project (the Hypertextual Electronic Library of Mathematics). This language aims at meeting the main requirements coming from the RDF community. in particular it includes: a human readable textual syntax and a machine-processable XML (Extensible Markup Language) syntax both for queries and for query results, a rigorously exposed formal semantics, a graph-oriented RDF data access model capable of exploring an entire RDF graph (including both RDF Models and RDF Schemata), a full set of Boolean operators to compose the query constraints, fully customizable and highly structured query results having a 4-dimensional geometry, some constructions taken from ordinary programming languages that simplify the formulation of complex queries. The HELM project aims at integrating the modern tools for the automation of formal reasoning with the most recent electronic publishing technologies, in order create and maintain a hypertextual, distributed virtual library of formal mathematical knowledge. In the spirit of the Semantic Web, the documents of this library include RDF metadata describing their structure and content in a machine-understandable form. Using the author's query engine, HELM exploits this information to implement some functionalities allowing the interactive and automatic retrieval of documents on the basis of content-aware requests that take into account the mathematical nature of these documents.

Measuring the knowledge-content of programs /

Bibliography: p. 41.

Literacy Content and Core Practices: Teacher Educator Pedagogy as the Bridge Between Knowing and Doing

Thesis (Ph.D.)--University of Washington, 2016-04

A survey of regular ecstasy users' knowledge and practices around determining pill content and purity: Implications for policy and practice.

Objective: To examine the methods used by a sample of regular ecstasy users to determine the content and purity of ecstasy pills, their knowledge of the limitations of available pill testing methods, and how pill test results would influence their drug use behaviour. Method: Data were collected from regular ecstasy users (n = 810) recruited from all eight capital cities of Australia. Data were analysed using multiple logistic regression and chi-square (chi(2)) tests of association. Open-ended responses were coded for themes. Results: The majority of the sample(84%) reported attempting to find out the content and purity of ecstasy at least some of the time, most commonly asking friends or dealers. Less than one quarter (22%) reported personal use of testing kits. There was a moderate level of awareness of the limitations of testing kits among those who reported having used them. Over half (57%) of those reporting personal use of testing kits reported that they would not take a pill if test results indicated that it contained ketamine and over three quarters (76%) reported that they would not take an "unknown" pill (producing no reaction in a reagent test). Finally, a considerable majority (63%) expressed interest in pill testing should it be more widely available. Conclusions: The majority of regular ecstasy users sampled in this Australian study report previous attempts to determine the content and purity of pills sold as ecstasy. Although only a small proportion have used testing kits, many report that they would do so if they were more widely available. The results of pill tests may influence drug use if they indicate that pills contain substances which ecstasy users do not want to ingest or are of unknown content. More detailed research examining ways in which pill testing may influence drug use is required to inform evidence-based policy. (c) 2006 Elsevier B.V. All rights reserved.

An evaluation of child welfare inservice training: The relative effectiveness of substance abuse content in improving worker knowledge and attitudes

Given the seriousness of substance abuse as a child welfare problem, the purpose of this study was to examine the relative effectiveness of an inservice training curriculum for child welfare workers. The training was designed to improve worker knowledge and attitudes in working with substance abusing families. Seventy (70) child welfare workers from public and private agencies in two south Florida counties participated in a pretest/posttest control group design that also trained and retested the control group. The literature review supports that the general preparedness of child welfare workers for the issues presented by substance abusing families is in question. Confounding this problem is a lack of understanding of substance abuse dynamics, worker biases, and predispositions. The two research hypotheses focused on whether inservice training could increase worker knowledge and improve worker attitudes in working with this population. Training delivery was in the form of a five-day inservice focusing on an array of substance abuse knowledge and attitudinal topics. Separate knowledge and attitude instruments were developed for the research and were administered, before and after training, to a purposive sample of participants that were randomly assigned to the experimental and control groups. The data analysis supported the research hypotheses but raised a question. Specifically, the experimental group demonstrated significant improvement in posttest scores on both instruments after receiving the training; whereas the control group, with training withheld, also demonstrated a significant improvement at posttest, but only on the knowledge instrument. Although the question was unanswered, when examined at a more critical significance level, only the experimental group remained significant. The hypotheses were reconfirmed when, after training and retesting, the control group also displayed significant improvement on both instruments. The findings support the conclusion that this substance abuse inservice was effective in improving worker knowledge and attitudes regarding working with substance abusing families. As an implication for social work practice, it suggests that similar inservice training can be a viable training resource when formal substance abuse training is unavailable. Additional research is suggested regarding to what degree increased substance abuse knowledge and improved worker attitudes correlate with improved practice.

Secondary Teachers’ Knowledge, Beliefs, and Self-Efficacy to Teach Reading in the Content Areas: Voices Following Professional Development

This study explored 24 content area teachers’ knowledge, beliefs, and self-efficacy about teaching reading in the content areas at the end of a state-wide professional development experience. The findings suggest that the participating teachers held positive beliefs, gained valuable knowledge, and were confident about teaching reading in their content areas.

Peer Support to Facilitate Knowledge Sharing on Complex Tasks

This thesis explores how to design a peer support system to facilitate self-organized knowledge sharing in non-formal learning environments, in particular when learners work on complex tasks. The peer support system aims to replace two teacher-led didactic arrangements: selecting a tutor at the initial stage, and guidance during the interaction process (Dillenbourg, 1999; Topping, 1996). Such a system has previously been developed by Van Rosmalen (2008) and De Bakker (2010) and has been tentatively used to facilitate knowledge sharing on content-related questions. In this thesis, we would like to find out how to further improve the design of this peer support system, especially to facilitate knowledge sharing on complex tasks. Since little pedagogical theory is available to inform the design of our peer support system, this thesis attempts to apply cognitive load theory (Sweller, Van Merriënboer, & Paas, 1998; Van Merriënboer & Sweller, 2005) that informs instructional designs in classroom settings to the design of our peer support system in Learning Networks.

Learning Process in Teaching and Bio-pedagogical Knowledge Building

Bio-pedagogy is built on praxis, i.e. the interrelationship between reflection and innovative action where these two merge in the construction of senses to generate knowledge. Then, the following question arises: How is teaching understood? How can practice be renovated from the action-reflection-action in a recurring manner and in life itself? A way to search for those answers is the systematization of experiences –a modality of qualitative research. It promotes the transformation of a common practice, based on knowledge building by holistic approaches to the educational process complexity. The systematization of bio-pedagogical experiences involves self-organization, joy, uncertainty and passion; it respects freedom and autonomy, and generates relational spaces, which promote creative processes in learning.

A Brazilian Original Pedagogical Approach To The Teaching Of Neurology.

The two-arm Clinical Decisions/Diagnostic Workshop (CD/DW) approach to undergraduate medical education has been successfully used in Brazil. Present the CD/DW approach to the teaching of stroke, with the results of its pre-experimental application and of a comparative study with the traditional lecture-case discussion approach. Application of two questionnaires (opinion and Knowledge-Attitudes-Perceptions-KAP) to investigate the non-inferiority of the CD/DW approach. The method was well accepted by teachers and students alike, the main drawback being the necessarily long time for its completion by the students, a feature that may better cater for different educational needs. The comparative test showed the CD/DW approach to lead to slightly higher cognitive acquisition as opposed to the traditional method, clearly showing its non-inferiority status. The CD/DW approach seems to be another option for teaching neurology in undergraduate medical education, with the bonus of respecting each learner`s time.

A dança na formação docente em educação física

Universidade Estadual de Campinas . Faculdade de Educação Física

Atividades Circenses : possibilidades e perspectivas para a educação fisica escolar

Universidade Estadual de Campinas . Faculdade de Educação Física

Pedagogia do esporte : organização, sistematização, aplicação e avaliação de conteúdos esportivos na educação não formal = Sport pedagogy : organization, systematization and application of sports content in non-formal education

Universidade Estadual de Campinas . Faculdade de Educação Física