A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

Identification of hybrids between Neotropical fish Leporinus macrocephalus and Leporinus elongatus by PCR-RFLP and multiplex-PCR: Tools for genetic monitoring in aquaculture

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Immunity in plants and animals: common ends through different means using similar tools

A comparative approach is potentially useful for understanding the role of mammal innate immunity role in stimulating adaptive immunity as well as the relationship between these two types of immune strategies. Considerable progress has been made in the elucidation of the co-ordinated events involved in plant perception of infection and their mobilisation of defence responses. Although lacking immunoglobulin molecules, circulating cells, and phagocytic processes, plants successfully use pre-formed physical and chemical innate defences, as well as inducible adaptive immune strategies. In the present paper, we review some shared and divergent immune aspects present in both animals and plants. (C) 2002 Elsevier B.V. All rights reserved.

Short-Term Effects of the Use of Non-Rigid Tools for Postural Control by Adults with Intellectual Disabilities

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Identification of Landslide Scars in the Region of the Serra do Mar, São Paulo State, Brazil, Using Digital Image Processing and Spatial Analysis Tools

The objective of the present study, developed in a mountainous region in Brazil where many landslides occur, is to present a method for detecting landslide scars that couples image processing techniques with spatial analysis tools. An IKONOS image was initially segmented, and then classified through a Batthacharrya classifier, with an acceptance limit of 99%, resulting in 216 polygons identified with a spectral response similar to landslide scars. After making use of some spatial analysis tools that took into account a susceptibility map, a map of local drainage channels and highways, and the maximum expected size of scars in the study area, some features misinterpreted as scars were excluded. The 43 resulting features were then compared with visually interpreted landslide scars and field observations. The proposed method can be reproduced and enhanced by adding filtering criteria and was able to find new scars on the image, with a final error rate of 2.3%.

Spatial distribution of dengue in the city of Cruzeiro, São Paulo State, Brazil: use of geoprocessing tools

Este artigo tem por objetivo identificar padrões na distribuição espacial dos casos de dengue ocorridos no município de Cruzeiro/SP, no ano de 2006. Trata-se de um estudo ecológico e exploratório que utiliza as ferramentas de análise espacial na elaboração de mapas temáticos, com dados obtidos do SinanNet. Foi feita uma análise por área, tomando-se como unidade o setor censitário do IBGE; a análise considerou quatro meses do ano de 2006 que mostra a ocorrência da doença no município. Os mapas temáticos foram construídos pelo programa computacional TerraView 3.3.1; assim como os valores dos índices de Moran Global (I M) mês a mês e o estimador de Kernel. Foram georreferenciados 691 casos de dengue (taxa de 864,2 casos/100.000 habitantes); os Índices de Moran e p-valores obtidos foram I M = 0,080 (março) p = 0,11; I M = 0,285 (abril) p = 0,01; I M = 0,201 (maio) p = 0,01 e I M = 0,002 (junho) p = 0,57. Os primeiros casos foram identificados na região nordeste e central e os últimos casos, na região norte, nordeste e central. Foi possível identificar os setores censitários onde a epidemia teve início e como ocorreu têmporo-espacialmente no município.

Experimental and theoretical study of workpiece temperature when end milling hardened steels using (TiAl)N-coated and PcBN-tipped tools

The present work shows an experimental and theoretical study on heat flow when end milling, at high-speed, hardened steels applied to moulds and dies. AISI H13 and AISI D2 steels were machined with two types of ball nose end mills: coated with (TiAl)N and tipped with PcBN. The workpiece geometry was designed to simulate tool-workpiece interaction in real situations found in mould industries, in which complex surfaces and thin walls are commonly machined. The compressed and cold air cooling systems were compared to dry machining Results indicated a relatively small temperature variation, with higher range when machining AISI D2 with PcBN-tipped end mill. All cooling systems used demonstrated good capacity to remove heat from the machined surface, especially the cold air. Compressed air was the most indicated to keep workpiece at relatively stable temperature. A theoretical model was also proposed to estimate the energy transferred to the workpiece (Q) and the average convection coefficient ((h) over bar) for the cooling systems used. The model used a FEM simulation and a steepest decent method to find the best values for both variables. (c) 2007 Elsevier B.V. All rights reserved.

Molecular tools and analytical approaches for the characterization of farm animal genetic diversity

Genetic studies of livestock populations focus on questions of domestication, within- and among-breed diversity, breed history and adaptive variation. In this review, we describe the use of different molecular markers and methods for data analysis used to address these questions. There is a clear trend towards the use of single nucleotide polymorphisms and whole-genome sequence information, the application of Bayesian or Approximate Bayesian analysis and the use of adaptive next to neutral diversity to support decisions on conservation.

Open and standardized tools for smart transducer networking

IEEE 1451 Standard is intended to address the smart transducer interfacing problematic in network environments. Usually, proprietary hardware and software is a very efficient solution to in planent the IEEE 1451 normative, although can be expensive and inflexible. In contrast, the use of open and standardized tools for implementing the IEEE 1451 normative is proposed in this paper. Tools such as Java and Phyton programming languages, Linux, programmable logic technology, Personal Computer resources and Ethernet architecture were integrated in order to constructa network node based on the IEEE 1451 standards. The node can be applied in systems based on the client-server communication model The evaluation of the employed tools and expermental results are presented. © 2005 IEEE.

Methods and tools for encoding the WordNet.Br sentences, concept glosses, and conceptual-semantic relations

This paper presents the overall methodology that has been used to encode both the Brazilian Portuguese WordNet (WordNet.Br) standard language-independent conceptual-semantic relations (hyponymy, co-hyponymy, meronymy, cause, and entailment) and the so-called cross-lingual conceptual-semantic relations between different wordnets. Accordingly, after contextualizing the project and outlining the current lexical database structure and statistics, it describes the WordNet.Br editing GUI that was designed to aid the linguist in carrying out the tasks of building synsets, selecting sample sentences from corpora, writing synset concept glosses, and encoding both language-independent conceptual-semantic relations and cross-lingual conceptual-semantic relations between WordNet.Br and Princeton WordNet © Springer-Verlag Berlin Heidelberg 2006.

Applying GIS tools for analysing urban thermal environment

A methodology for analyzing the solar access and its influence on both air temperature and thermal comfort of the urban environment was here developed by applying the potentiality of GIS tools. Urban canyons in a specific area of a Brazilian medium sized city were studied. First, a computational algorithm was applied in order to allow the determination of sky view factors (SVF) and sun-paths in urban canyons. Then, air temperatures in 40 measurement points were collected within the study area. Solar radiation values of these canyons were determined and subsequently stored in a GIS database. The creation of thermal maps for the whole neighbourhood was possible due to a statistical treatment of the data, by promoting the interpolation of values. All data could then be spatially cross-examined. In addition, thermal comfort maps for summer and winter periods were generated. The methodology allowed the identification of thermal tendencies within the neighbourhood, what can be useful in the conception of guidelines for urban planning purposes.

Comparative study on turning CI and CGI using silicon nitride cutting tools

There has been a great interest for improving the machining of cast iron materials in the automotive and other industries. Comparative studies for tool used to machine grey cast iron (CI) and compacted graphite iron (CGI) on dry machining were also performed in order to find out why in this case the tool lifetime is not significantly higher. However the machining these materials while considering turning with the traditional high-speed steel and carbide cutting tools present any disadvantages. One of these disadvantages is that all the traditional machining processes involve the cooling fluid to remove the heat generated on workpiece due to friction during cutting. This paper present a new generation of ceramic cutting tool exhibiting improved properties and important advances in machining CI and CGI. The tool performance was analyzed in function of flank wear, temperature and roughness, while can be observed that main effects were found for tool wear, were abrasion to CI and inter-diffusion of constituting elements between tool and CGI, causing crater. However the difference in tool lifetime can be explained by the formation of a MnS layer on the tool surface in the case of grey CI. This layer is missing in the case of CGI.

Study of cutting forces on machinability properties of gray cast iron using new ceramics cutting tools

During gray cast iron cutting, the great rate of mechanical energy from cutting forces is converted into heat. Considerable heat is generated, principally in three areas: the shear zone, rake face and at the clearance side of the cutting edge. Excessive heat will cause undesirable high temperature in the tool which leads to softening of the tool and its accelerated wear and breakage. Nowadays the advanced ceramics are widely used in cutting tools. In this paper a composition special of Si3N4 was sintering, characterized, cut and ground to make SNGN120408 and applyed in machining gray cast iron with hardness equal 205 HB in dry cutting conditions by using digital controlled computer lathe. The tool performance was analysed in function of cutting forces, flank wear, temperature and roughness. Therefore metal removing process is carried out for three different cutting speeds (300 m/min, 600 m/min, and 800 m/min), while a cutting depth of 1 mm and a feed rate of 0.33 mm/rev are kept constant. As a result of the experiments, the lowest main cutting force, which depends on cutting speed, is obtained as 264 N at 600 m/min while the highest main cutting force is recorded as 294 N at 300 m/min.