Using problem-based learning in a chemistry practical class for pharmacy students and engaging them with feedback

Objective: To introduce a new approach to problem based learning (PBL) used in the context of medicinal chemistry practical class teaching pharmacy students. Design: The described chemistry practical is based on independent studies by small groups of undergraduate students (4-5), who design their own practical work taking relevant professional standards into account. Students are carefully guided by feedback and acquire a set of skills important to their future profession as healthcare professionals. This model has been tailored to the application of PBL in a chemistry practical class setting for a large student cohort (150 students). Assessment: The achievement of learning outcomes is based on the submission of relevant documentation including a certificate of analysis, in addition to peer assessment. Some of the learning outcomes are also assessed in the final written examination at the end of the academic year. Conclusion: The described design of a novel PBL chemistry laboratory course for pharmacy students has been found to be successful. Self-reflective learning and engagement with feedback were encouraged, and students enjoyed the challenging learning experience. Skills that are highly essential for the students’ future careers as healthcare professionals are promoted.

Predicating from an early age: edusemiotics and the potential of children’s preconceptions

This paper aims to explain how semiotics and constructivism can collaborate in an educational epistemology by developing a joint approach to prescientific conceptions. Empirical data and findings of constructivist research are interpreted in the light of Peirce’s semiotics. Peirce’s semiotics is an anti-psychologistic logic (CP 2.252; CP 4.551; W 8:15; Pietarinen in Signs of logic, Springer, Dordrecht, 2006; Stjernfelt in Diagrammatology. An investigation on the borderlines of phenomenology, ontology and semiotics, Springer, Dordrecht, 2007) and relational logic. Constructivism was traditionally developed within psychology and sociology and, therefore, some incompatibilities can be expected between these two schools. While acknowledging the differences, we explain that constructivism and semiotics share the assumption of realism that knowledge can only be developed upon knowledge and, therefore, an epistemological collaboration is possible. The semiotic analysis performed confirms the constructivist results and provides a further insight into the teacher-student relation. Like the constructivist approach, Peirce’s doctrine of agapism infers that the personal dimension of teaching must not be ignored. Thus, we argue for the importance of genuine sympathy in teaching attitudes. More broadly, the article also contributes to the development of postmodern humanities. At the end of the modern age, the humanities are passing through a critical period of transformation. There is a growing interest in semiotics and semiotic philosophy in many areas of the humanities. Such a case, on which we draw, is the development of a theoretical semiotic approach to education, namely edusemiotics (Stables and Semetsky, Pedagogy and edusemiotics: theoretical challenge/practical opportunities, Sense Publishers, Rotterdam, 2015).

Taxonomic Identity in Microbial Eukaryotes: A Practical Approach Using the Testate Amoeba Centropyxis to Resolve Conflicts Between Old and New Taxonomic Descriptions

The present work focuses on 12 taxa of the genus Centropyxis Stein, 1857 to explore the conflict between traditional and contemporary taxonomic practices. We examined the morphology, biometry, and ecology of 2,120 Centropyxis individuals collected from Tiete River, Sao Paulo, Brazil; with these new data we studied the consistency of previously described species, varieties, and forms. We encountered transitional forms of test morphology that undermine specific and varietal distinctions for three species and nine varieties. Biometrical analyses made comparing the organisms at the species level suggest a lack of separation between Centropyxis aculeata and Centropyxis discoides, and a possible distinction for Centropyxis ecornis based on spine characteristics. However, incongruence between recent and previous surveys makes taking any taxonomic-nomenclatural actions inadvisable, as they would only add to the confusion. We suggest an explicit and objective taxonomic practice in order to enhance our taxonomic and species concepts for microbial eukaryotes. This will allow more precise inferences of taxon identity for studies in other areas.

On the influence of imputation in classification: practical issues

The substitution of missing values, also called imputation, is an important data preparation task for many domains. Ideally, the substitution of missing values should not insert biases into the dataset. This aspect has been usually assessed by some measures of the prediction capability of imputation methods. Such measures assume the simulation of missing entries for some attributes whose values are actually known. These artificially missing values are imputed and then compared with the original values. Although this evaluation is useful, it does not allow the influence of imputed values in the ultimate modelling task (e.g. in classification) to be inferred. We argue that imputation cannot be properly evaluated apart from the modelling task. Thus, alternative approaches are needed. This article elaborates on the influence of imputed values in classification. In particular, a practical procedure for estimating the inserted bias is described. As an additional contribution, we have used such a procedure to empirically illustrate the performance of three imputation methods (majority, naive Bayes and Bayesian networks) in three datasets. Three classifiers (decision tree, naive Bayes and nearest neighbours) have been used as modelling tools in our experiments. The achieved results illustrate a variety of situations that can take place in the data preparation practice.

Quality indices for (practical) clustering evaluation

Clustering quality or validation indices allow the evaluation of the quality of clustering in order to support the selection of a specific partition or clustering structure in its natural unsupervised environment, where the real solution is unknown or not available. In this paper, we investigate the use of quality indices mostly based on the concepts of clusters` compactness and separation, for the evaluation of clustering results (partitions in particular). This work intends to offer a general perspective regarding the appropriate use of quality indices for the purpose of clustering evaluation. After presenting some commonly used indices, as well as indices recently proposed in the literature, key issues regarding the practical use of quality indices are addressed. A general methodological approach is presented which considers the identification of appropriate indices thresholds. This general approach is compared with the simple use of quality indices for evaluating a clustering solution.

A note on a practical relationship between filter coefficients and scaling and wavelet functions of Discrete Wavelet Transforms

In this paper, the relationship between the filter coefficients and the scaling and wavelet functions of the Discrete Wavelet Transform is presented and exemplified from a practical point-of-view. The explanations complement the wavelet theory, that is well documented in the literature, being important for researchers who work with this tool for time-frequency analysis. (c) 2011 Elsevier Ltd. All rights reserved.

Analytic Methods for the Logic of Proofs

The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.

A logic-based agent that plans for extended reachability goals

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.

New Improvements in Automatic Structure Elucidation Using the LSD (Logic for Structure Determination) and the SISTEMAT Expert Systems

This article describes the integration of the LSD (Logic for Structure Determination) and SISTEMAT expert systems that were both designed for the computer-assisted structure elucidation of small organic molecules. A first step has been achieved towards the linking of the SISTEMAT database with the LSD structure generator. The skeletal descriptions found by the SISTEMAT programs are now easily transferred to LSD as substructural constraints. Examples of the synergy between these expert systems are given for recently reported natural products.

Practical synthesis of chiral beta-telluro amines by ring-opening reaction of aziridines

A set of chiral beta-tellurium amines and their selenium and sulfur-containing derivatives have been efficiently synthesized in good to excellent yields via the ring-opening reaction of chiral aziridines by chalcogen nucleophilic species. (C) 2008 Elsevier B.V. All rights reserved.