CEM - visualization and discovery in Email

This paper presents a lattice-based visual metaphor for knowledge discovery in electronic mail. It allows a user to navigate email using a visual lattice metaphor rather than a tree structure. By using such a conceptual multi-hierarchy, the content and shape of the lattice can be varied to accommodate any number of queries against the email collection. The system provides more flexibility in retrieving stored emails and can be generalised to any electronic documents. The paper presents the underlying mathematical structures, and a number of examples of the lattice and multi-hierarchy working with a prototypical email collection.

Conceptual knowledge discovery and data analysis

In this paper, we discuss Conceptual Knowledge Discovery in Databases (CKDD) in its connection with Data Analysis. Our approach is based on Formal Concept Analysis, a mathematical theory which has been developed and proven useful during the last 20 years. Formal Concept Analysis has led to a theory of conceptual information systems which has been applied by using the management system TOSCANA in a wide range of domains. In this paper, we use such an application in database marketing to demonstrate how methods and procedures of CKDD can be applied in Data Analysis. In particular, we show the interplay and integration of data mining and data analysis techniques based on Formal Concept Analysis. The main concern of this paper is to explain how the transition from data to knowledge can be supported by a TOSCANA system. To clarify the transition steps we discuss their correspondence to the five levels of knowledge representation established by R. Brachman and to the steps of empirically grounded theory building proposed by A. Strauss and J. Corbin.

ONTIC: A Knowledge Representation System for Mathematics

Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic system has been used to build a data base of definitions and lemmas leading to a proof of the Stone representation theorem for Boolean lattices. The Ontic system has been used to explore issues in knowledge representation, automated deduction, and the automatic use of large data bases.

Intervention strategies on teachers focused on creating meaningful educational environments for mathematical abilities development

This article describes an intervention process undertaken in a training program for preschool and first grade teachers from public schools in Cali, Colombia. The objective of this process is to provide a space for teachers to reflect on pedagogical practices which allow them to generate educational processes that foster children’s understanding of mathematical knowledge in the classroom. A set of support strategies was presented for helping teachers in the design, analysis and implementation of learning environments as meaningful educational spaces. Furthermore, participants engaged in an analysis of their own intervention modalities to identify which modalities facilitate the development of mathematical abilities in children. In order to ascertain the transformations in the teachers’ learning environments, the mathematical competences and cognitive processes underlying the activities proposed in the classroom, as well as teacher intervention modalities and the types of student participation in classroom activities were examined both before and after the intervention process. Transformations in the teachers’ conceptions about the children’s abilities and their own practices in teaching mathematics in the classroom were evidenced.

Evaluation of strategic knowledge of students through authentic tasks of writingin science classroom

The difficulties at evaluating strategic knowledge have been connected to the use of deconxetualized tests that, at the end, do not involve the use of this knowledge. For this reason, an interest in developing authentic writing tasks that offer advantages for these kinds of evaluation have arisen. Throughout this research, authentic writing tasks were developed in a natural sciences class, with the purpose of evaluating the students' strategic knowledge. Different instruments were used to collect data, e.g. Interviews, questionnaires, a self-inform, as well as three samples of writing by the students, with the objective of analyzing the changes that occurred between one and the others, as well as to determine the decisions that students made in order to complete the assigned tasks successfully. An authentic writing task gives great opportunities to evaluate strategic knowledge. These tasks lead students to arrange their knowledge about the topic in hand, organize and adapt it to fit the objectives and the audience, also, it allows them to control and adjust their decisions on the task. This last stage became the perfect opportunity to take notes on the knowledge and regulation of cognitive processes that the students brought into play, as well as to evaluating their understanding of writing and the demands given on the different discursive genres. As a result, the students showed different degrees of strategic knowledge in the task. The students who showed a better strategic knowledge trust in their structural abilities know about discursive genres and have a good performance in basic linguistic abilities. The students who showed weak strategic knowledge distrust their writing skills, seem extremely worried about organizing the content of their texts, fail when checking their writings, and overlook or are unaware of the basic requirements of the discursive genre they are asked to exemplify. It appears that the previous knowledge and experiences at writing the students have been exposed to may affect the strategic knowledge shown when writing in this subject. 

Caracterización del conocimiento matemático para la enseñanza (MKT) de matrices en Bachillerato.

Resumen basado en el de la publicación

Partial nitritation of landfill leachate in a SBR prior to an anammox reactor : operation and modelling

Els lixiviats d'abocadors urbans són aigües residuals altament contaminades, que es caracteritzen per les elevades concentracions d'amoni i el baix contingut de matèria orgànica biodegradable. El tractament dels lixiviats a través dels processos de nitrificació-desnitrificació convencionals és costós a causa de la seva elevada demanda d'oxigen i la necessitat d'addició d'una font de carboni externa. En els darrers anys, la viabilitat del tractament d'aquest tipus d'afluents per un procés combinat de nitritació parcial-anammox ha estat demostrada. Aquesta tesi es centra en el tractament de lixiviats d'abocador a través d'un procés de nitritació parcial en SBR, com un pas preparatori per a un reactor anammox. Els resultats de l'estudi han demostrat la viabilitat d'aquesta tecnologia per al tractament de lixiviats d'abocador. El treball va evolucionar des d'una escala inicial de laboratori, on el procés va ser testat inicialment, a uns exitosos experiments d'operació a llarg termini a escala pilot. Finalment, la tesi també inclou el desenvolupament, calibració i validació d'un model matemàtic del procés, que té com a objectiu augmentar el coneixement del procés.

A importância da matemática e da modelação matemática no mestrado integrado em ciências farmacêuticas

A Matemática e as Ciências Farmacêuticas encontram-se relacionadas desde há muito, no entanto, foi a partir do séc. XVII, período de notável agitação cultural e científico que os métodos experimentais foram sustentados com cálculos matemáticos. Esta ciência e as técnicas de modelagem matemática tornaram-se numa ferramenta amplamente utilizada, de tal modo, que nos dias de hoje são consideradas como fundamentais na generalidade das profissões e em especial nas Ciências Farmacêuticas. Contudo, para muitos ainda não é vista como fundamental e essencial para a formação de futuros farmacêuticos. Deste modo, pretende-se demonstrar como a Matemática e as técnicas de modelagem se tornaram ao longo dos anos nesta poderosa ferramenta. Quer pelos instrumentos, quer pelas competências que nos proporcionam. Pretende-se também, com recurso aos conteúdos programáticos desta unidade curricular, avaliar se os conhecimentos, sistemas de avaliação e distribuição da carga horária são efetuados de forma homogénea pelas diferentes instituições portuguesas, públicas ou privadas que lecionam o Mestrado Integrado em Ciências Farmacêuticas. Verificou-se que a Matemática é uma ciência plena de capacidades e recursos e que estabelece uma relação interdisciplinar com as Ciências Farmacêuticas. Quer pela componente utilitária, quer pela componente formativa que proporciona. A análise dos conteúdos programáticos demonstra que apesar de serem transversais, as Universidades que não lecionam Sistemas de Equações Lineares e Equações diferenciais deveriam faze-lo e também realizarem um melhor controlo da carga horária por temática.

Semantic-level Visual Content Descriptor combining visual and textual cues as collaterals

In this paper, we introduce a novel high-level visual content descriptor which is devised for performing semantic-based image classification and retrieval. The work can be treated as an attempt to bridge the so called “semantic gap”. The proposed image feature vector model is fundamentally underpinned by the image labelling framework, called Collaterally Confirmed Labelling (CCL), which incorporates the collateral knowledge extracted from the collateral texts of the images with the state-of-the-art low-level image processing and visual feature extraction techniques for automatically assigning linguistic keywords to image regions. Two different high-level image feature vector models are developed based on the CCL labelling of results for the purposes of image data clustering and retrieval respectively. A subset of the Corel image collection has been used for evaluating our proposed method. The experimental results to-date already indicates that our proposed semantic-based visual content descriptors outperform both traditional visual and textual image feature models.

Contributions of matric and osmotic potentials to the unfrozen water content of frozen soils

Recent reports show that biogeochemical processes continue when the soil is frozen, but are limited by water availability. However, there is little knowledge about the interactive effects of soil and environmental variables on amounts of unfrozen water in frozen soils. The aims of this study were to determine the contributions of matric and osmotic potentials to the unfrozen water content of frozen soil. We determined the effects of matric and osmotic potential on unfrozen water contents of frozen mineral soil fractions (ranging from coarse sand to fine silt) at -7 degrees C, and estimated the contributions of these potentials to liquid water contents in samples from organic surface layers of boreal soils frozen at -4 degrees C. In the mineral soil fractions the unfrozen water contents appeared to be governed solely by the osmotic potential, but in the humus layers of the sampled boreal soils both the osmotic and matric potentials control unfrozen water content, with osmotic potential contributing 20 to 69% of the total water potential. We also determined pore size equivalents, where unfrozen water resides at -4 degrees C, and found a strong correlation between these equivalents and microbial CO2 production. The larger the pores in which the unfrozen water is found the larger the microbial activity that can be sustained. The osmotic potential may therefore be a key determinant of unfrozen water and carbon dynamics in frozen soil. (C) 2008 Elsevier B.V. All rights reserved.

Strategy clusters and sources of knowledge in French L2 listening comprehension

This article reports on an exploratory investigation into the listening strategies of lower-intermediate learners of French as an L2, including the sources of knowledge they employed in order to comprehend spoken French. Data from 14 learners were analysed to investigate whether employment of strategies in general and sources of knowledge in particular varied according to the underlying linguistic knowledge of the student. While low linguistic knowledge learners were less likely to deploy effectively certain strategies or strategy clusters, high linguistic knowledge levels were not always associated with effective strategy use. Similarly, while there was an association between linguistic knowledge and learners’ ability to draw on more than one source of knowledge in a facilitative manner, there was also evidence that learners tended to over-rely on linguistic knowledge where other sources, such as world knowledge, would have proved facilitative. We conclude by arguing for a fresh approach to listening pedagogy and research, including strategy instruction, bottom-up skill development and a consideration of the role of linguistic knowledge in strategy use.

Case-based analysis in user requirements modelling for knowledge construction

Context: Learning can be regarded as knowledge construction in which prior knowledge and experience serve as basis for the learners to expand their knowledge base. Such a process of knowledge construction has to take place continuously in order to enhance the learners’ competence in a competitive working environment. As the information consumers, the individual users demand personalised information provision which meets their own specific purposes, goals, and expectations. Objectives: The current methods in requirements engineering are capable of modelling the common user’s behaviour in the domain of knowledge construction. The users’ requirements can be represented as a case in the defined structure which can be reasoned to enable the requirements analysis. Such analysis needs to be enhanced so that personalised information provision can be tackled and modelled. However, there is a lack of suitable modelling methods to achieve this end. This paper presents a new ontological method for capturing individual user’s requirements and transforming the requirements onto personalised information provision specifications. Hence the right information can be provided to the right user for the right purpose. Method: An experiment was conducted based on the qualitative method. A medium size of group of users participated to validate the method and its techniques, i.e. articulates, maps, configures, and learning content. The results were used as the feedback for the improvement. Result: The research work has produced an ontology model with a set of techniques which support the functions for profiling user’s requirements, reasoning requirements patterns, generating workflow from norms, and formulating information provision specifications. Conclusion: The current requirements engineering approaches provide the methodical capability for developing solutions. Our research outcome, i.e. the ontology model with the techniques, can further enhance the RE approaches for modelling the individual user’s needs and discovering the user’s requirements.

Does gym use impact upon nutritional knowledge?

Purpose – The purpose of this paper is to investigate gym and non-gym users' use and understanding of nutrition labels. Design/methodology/approach – A consumer survey in the form of a questionnaire conducted in the Greater London area in February/March 2005. Subject recruitment process took place in both a gym and university setting. Frequency tables and ?2-test are used to assess relationships between variables (p=0.05). Findings – The resulting sample consisted of 187 subjects, with predominance of females and gym users. Of the subjects, 88 per cent reported to at least occasionally read nutrition labels, with higher reading rates amongst women, irrespective of gym user status. Total and saturated fats are the most often information viewed on labels, however the overall knowledge of the calorie content of fat is low, with 53 per cent of subjects responding saturated fat contains more calories per gram when compared with other types of fats. This paper does not find significant differences in the use and understanding of nutrition labels between gym and non-gym users, but highlights the publics' continued lack of understanding of nutrition labels. Originality/value – This paper is unique as it investigates whether there is any difference between gym/non-gym users' use and interpretation of use of nutrition labels. It finds gender impacted more on nutritional labels knowledge than gym user's status. This points to a gender issue and questions the quality of information available to the general public. This paper is valuable as it highlights and identifies an area that requires further research and assessment, and is therefore useful to key stakeholders responsible for public health nutrition.

An integrated mathematical model to evaluate nutrient partition in dairy cattle between the animal and its environment

In the past decade, a number of mechanistic, dynamic simulation models of several components of the dairy production system have become available. However their use has been limited due to the detailed technical knowledge and special software required to run them, and the lack of compatibility between models in predicting various metabolic processes in the animal. The first objective of the current study was to integrate the dynamic models of [Brit. J. Nutr. 72 (1994) 679] on rumen function, [J. Anim. Sci. 79 (2001) 1584] on methane production, [J. Anim. Sci. 80 (2002) 2481 on N partition, and a new model of P partition. The second objective was to construct a decision support system to analyse nutrient partition between animal and environment. The integrated model combines key environmental pollutants such as N, P and methane within a nutrient-based feed evaluation system. The model was run under different scenarios and the sensitivity of various parameters analysed. A comparison of predictions from the integrated model with the original simulation models showed an improvement in N excretion since the integrated model uses the dynamic model of [Brit. J. Nutr. 72 (1994) 6791 to predict microbial N, which was not represented in detail in the original model. The integrated model can be used to investigate the degree to which production and environmental objectives are antagonistic, and it may help to explain and understand the complex mechanisms involved at the ruminal and metabolic levels. A part of the integrated model outputs were the forms of N and P in excreta and methane, which can be used as indices of environmental pollution. (C) 2004 Elsevier B.V All rights reserved.

A knowledge-driven management approach to environmental-conscious construction

This paper aims to introduce a knowledge-based managemental prototype entitled Eþ for environmental-conscious construction relied on an integration of current environmental management tools in construction area. The overall objective of developing the Eþ prototype is to facilitate selectively reusing the retrievable knowledge in construction engineering and management areas assembled from previous projects for the best practice in environmental-conscious construction. The methodologies adopted in previous and ongoing research related to the development of the Eþ belong to the operations research area and the information technology area, including literature review, questionnaire survey and interview, statistical analysis, system analysis and development, experimental research and simulation, and so on. The content presented in this paper includes an advanced Eþ prototype, a comprehensive review of environmental management tools integrated to the Eþ prototype, and an experimental case study of the implementation of the Eþ prototype. It is expected that the adoption and implementation of the Eþ prototype can effectively facilitate contractors to improve their environmental performance in the lifecycle of projectbased construction and to reduce adverse environmental impacts due to the deployment of various engineering and management processes at each construction stage.