A Procedure for Semantic Querying in the Adaptive Formalism

This paper contains a new proposal for the definition of the fundamental operation of query under the Adaptive Formalism, one capable of locating functional nuclei from descriptions of their semantics. To demonstrate the method`s applicability, an implementation of the query procedure constrained to a specific class of devices is shown, and its asymptotic computational complexity is discussed.

Popularização do autoexame da boca: um exemplo de educação não formal - Parte II

Um dos maiores desafios das universidades, em especial das públicas, é transpor o conhecimento científico produzido entre seus muros para a população em geral. A educação não formal é uma ferramenta importante e ainda pouco utilizada pelos pesquisadores e docentes para aproximar o cotidiano do conhecimento científico. O câncer de boca atinge mais 11.000 brasileiros por ano. A despeito da alta incidência, esta patologia é ainda pouco conhecida da população em geral e de parte da classe médica e odontológica. Baseando-se nos dados epidemiológicos, em pesquisas e artigos científicos, o câncer de boca foi o tema eleito para a ação em educação e comunicação da primeira campanha nacional, de caráter não governamental, de prevenção de câncer de boca, um ótimo exemplo de como isso pode ser feito. Este trabalho se propõe a descrever a metodologia de comunicação utilizada e os resultados obtidos nesta experiência.

Ensino de astronomia em um espaço não formal: observação do Sol e de manchas solares

O presente artigo analisa os resultados obtidos num minicurso sobre o Sol e sua dinâmica realizado no Observatório Astronômico do Centro de Divulgação Científica e Cultural (CDCC) pertencente à Universidade de São Paulo (USP) na cidade de São Carlos para alunos do ensino fundamental. As atividades foram desenvolvidas na recente inaugurada, Sala Solar. Ela é dedicada ao estudo do Sol, enfatizando a observação de manchas solares e do espectro do Sol. A metodologia adotada no minicurso consistiu em pequenos experimentos, observações e diálogos expositivos. Isto incentivou os estudantes a tomarem decisões, fazerem questionamentos e refletirem gerando pensamentos mais críticos e produzindo um maior número de conexões entre o real e o abstrato que contribuiu para níveis de maior complexidade conceitual verificados durante entrevistas semiestruturadas e nas respostas ao questionário final.

Impedimetric immunosensor for electronegative low density lipoprotein (LDL(-)) based on monoclonal antibody adsorbed on (polyvinyl formal)-gold nanoparticles matrix

Monoclonal antibodies (MAb) have been commonly applied to measure LDL in vivo and to characterize modifications of the lipids and apoprotein of the LDL particles. The electronegative low density lipoprotein (LDL(-)) has an apolipoprotein B-100 modified at oxidized events in vivo. In this work, a novel LDL-electrochemical biosensor was developed by adsorption of anti-LDL(-) MAb on an (polyvinyl formal)-gold nanoparticles (PVF-AuNPs)-modified gold electrode. Electrochemical impedance spectroscopy (EIS) and cyclic voltammetry (CV) were used to characterize the recognition of LDL-. The interaction between MAb-LDL(-) leads to a blockage in the electron transfer of the [Fe(CN)(6)](4-)/K(4)[Fe(CN)(6)](3-) redox couple, which may could result in high change in the electron transfer resistance (R(CT)) and decrease in the amperometric responses in CV analysis. The compact antibody-antigen complex introduces the insulating layer on the assembled surface, which increases the diameter of the semicircle, resulting in a high R(CT), and the charge transferring rate constant k(0) decreases from 18.2 x 10(-6) m/s to 4.6 x 10(-6) m/s. Our results suggest that the interaction between MAb and lipoprotein can be quantitatively assessed by the modified electrode. The PVF-AuNPs-MAb system exhibited a sensitive response to LDL(-), which could be used as a biosensor to quantify plasmatic levels of LDL(-). (C) 2011 Elsevier B.V. All rights reserved.

Predictors of word-level literacy amongst Grade 3 children in five diverse languages

Groups of Grade 3 children were tested on measures of word-level literacy and undertook tasks that required the ability to associate sounds with letter sequences and that involved visual, auditory and phonological-processing skills. These groups came from different language backgrounds in which the language of instruction was Arabic, Chinese, English, Hungarian or Portuguese. Similar measures were used across the groups, with tests being adapted to be appropriate for the language of the children. Findings indicated that measures of decoding and phonological-processing skills were good predictors of word reading and spelling among Arabic- and English-speaking children, but were less able to predict variability in these same early literacy skills among Chinese- and Hungarian-speaking children, and were better at predicting variability in Portuguese word reading than spelling. Results were discussed with reference to the relative transparency of the script and issues of dyslexia assessment across languages. Overall, the findings argue for the need to take account of features of the orthography used to represent a language when developing assessment procedures for a particular language and that assessment of word-level literacy skills and a phonological perspective of dyslexia may not be universally applicable across all language contexts. Copyright (C) 2008 John Wiley & Sons, Ltd.

A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans-the formal treatment of taxon names as explanatory hypotheses

Members of Parasabella minuta Treadwell, 1941, subsequently moved to Perkinsiana, were collected during a survey of rocky intertidal polychaetes along the state of Sao Paulo, Brazil. Additional specimens, which are referred to two new species, were also found in similar habitats from the Bocas del Toro Archipelago, Caribbean Panama, and Oahu Island, Hawaii. A phylogenetic analysis of Sabellinae, including members of P. minuta and the two new species, provided justification for establishing a new generic hypothesis, Sabellomma gen. nov., for these individuals. Formal definitions are also provided for Sabellomma minuta gen. nov., comb. nov., S. collinae gen. nov., spec. nov., and S. harrisae gen. nov., spec. nov., along with descriptions of individuals to which these hypotheses apply. The generic name Aracia nom. nov., is provided to replace Kirkia Nogueira, Lopez and Rossi, 2004, pre-occupied by a mollusk.

Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.

A transformational language for mutant description

Mutation testing has been used to assess the quality of test case suites by analyzing the ability in distinguishing the artifact under testing from a set of alternative artifacts, the so-called mutants. The mutants are generated from the artifact under testing by applying a set of mutant operators, which produce artifacts with simple syntactical differences. The mutant operators are usually based on typical errors that occur during the software development and can be related to a fault model. In this paper, we propose a language-named MuDeL (MUtant DEfinition Language)-for the definition of mutant operators, aiming not only at automating the mutant generation, but also at providing precision and formality to the operator definition. The proposed language is based on concepts from transformational and logical programming paradigms, as well as from context-free grammar theory. Denotational semantics formal framework is employed to define the semantics of the MuDeL language. We also describe a system-named mudelgen-developed to support the use of this language. An executable representation of the denotational semantics of the language is used to check the correctness of the implementation of mudelgen. At the very end, a mutant generator module is produced, which can be incorporated into a specific mutant tool/environment. (C) 2008 Elsevier Ltd. All rights reserved.