351 research outputs found

    MetTeL: A Generic Tableau Prover.

    Get PDF

    A Case Study of Wavelets and SVM Application in Coffee Agriculture: Detecting Cicadas Based on Their Acoustic and Image Patterns

    Get PDF
    One of the main problems in agriculture is crop pest management, which causes financial damage to farmers. This management is traditionally performed with pesticides; however, with a large area of application, it would be more economically viable and more environmentally recommended to know precisely the regions where there is concrete infestation. In coffee farms, cicada makes a distinctive sound when it hatches after years of underground nymph-shaped living. One possibility of contributing to its management would be the development of a device capable of capturing the sound of the adult cicada in order to detect its presence and to quantify crop insects. This device would be spread across the coffee plots to capture sounds within the widest possible area coverage. With monitoring and quantification data, the manager would have more input for decision-making and could adopt the most appropriate management technique based on concrete information on population density separated by crop region. Thus, this chapter presents an algorithm based on wavelets and support vector machines (SVMs), to detect acoustic patterns in plantations, advising on the presence of cicadas

    Revisão Sistemática das Aplicações da Lógica Paraconsistente para Gestão de Riscos e de Desastres Naturais

    Get PDF
    This article aims to present the results of a systematic review of the applications of annotated paraconsistent logic (LPA) for risk and natural disaster management, and its use as a decision support system for public managers in contexts of extreme events, more precisely when the transmission of signals from meteorological sensors is interrupted to issue warnings in different contexts (floods, landslides, tsunamis, etc.) in a municipality. In this context, the LPA makes it possible to promote risk and disaster management, the LPA is integrated into the prevention stage of the civil protection and defense cycle. The systematic review was carried out using search strategies based on keywords in indexed national and international databases, with the aim of identifying the existence of LPA applications in the area of risk and disaster management, more specifically in area of meteorology, considering the equipment that emits signals as critical infrastructure.Este artigo tem como objetivo apresentar o resultado da revisão sistemática das aplicações da lógica paraconsistente anotada (LPA) para gestão de riscos e de desastres naturais, e da sua utilização como sistema de apoio à decisão para gestores públicos em contextos de eventos extremos, mais precisamente quando da interrupção de transmissão de sinais de sensores meteorológicos para emissão de alertas em contextos diversos (inundações, deslizamentos, tsunamis etc.) numa municipalidade. Nesse contexto, a LPA vem tornar possível a promoção da gestão de riscos e de desastres, e se integra a etapa de prevenção do ciclo de proteção e defesa civil. A revisão sistemática foi realizada a partir de estratégias de buscas com base nas palavras-chave em bases de dados nacionais e internacionais indexadas, com o objetivo de identificar a existência de aplicações da LPA na área de gestão de riscos e de desastres, mais especificamente na área de meteorologia, considerando os equipamentos que emitem os sinais como infraestruturas críticas

    The Encyclopedia of Neutrosophic Researchers - vol. 3

    Get PDF
    This is the third volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation. The authors are listed alphabetically. The introduction contains a short history of neutrosophics, together with links to the main papers and books. Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment problems, economic forecasting, social science, humanistic and practical achievements

    Synchronous Online Philosophy Courses: An Experiment in Progress

    Get PDF
    There are two main ways to teach a course online: synchronously or asynchronously. In an asynchronous course, students can log on at their convenience and do the course work. In a synchronous course, there is a requirement that all students be online at specific times, to allow for a shared course environment. In this article, the author discusses the strengths and weaknesses of synchronous online learning for the teaching of undergraduate philosophy courses. The author discusses specific strategies and technologies he uses in the teaching of online philosophy courses. In particular, the author discusses how he uses videoconferencing to create a classroom-like environment in an online class
    • …
    corecore