3,316 research outputs found
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle
We present a new software tool for teaching logic based on natural deduction.
Its proof system is formalized in the proof assistant Isabelle such that its
definition is very precise. Soundness of the formalization has been proved in
Isabelle. The tool is open source software developed in TypeScript / JavaScript
and can thus be used directly in a browser without any further installation.
Although developed for undergraduate computer science students who are used to
study and program concrete computer code in a programming language we consider
the approach relevant for a broader audience and for other proof systems as
well.Comment: Proceedings of the Fourth International Conference on Tools for
Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M.
Antonia Huertas, Jo\~ao Marcos, Mar\'ia Manzano, Sophie Pinchinat,
Fran\c{c}ois Schwarzentrube
Finding an induced subdivision of a digraph
We consider the following problem for oriented graphs and digraphs: Given an
oriented graph (digraph) , does it contain an induced subdivision of a
prescribed digraph ? The complexity of this problem depends on and on
whether must be an oriented graph or is allowed to contain 2-cycles. We
give a number of examples of polynomial instances as well as several
NP-completeness proofs
Insect pathogenic fungi in biological control: status and future challenges
In Europe, insect pathogenic fungi have in decades played a significant role in biological control of insects. With respect to the different strategies of biological control and with respects to the different genera of insect pathogenic fungi, the success and potential vary, however. Classical biological control: no strong indication of potential. Inundation and inoculation biological control: success stories with the genera Metarhizium, Beauveria, Isaria/Paecilomyces and Lecanicillium (previously Verticillium). However, the genotypes employed seem to include a narrow spectrum of the many potentially useful genotypes. Conservation biological control: Pandora and Entomophthora have a strong potential, but also Beauveria has a potential to be explored further. The main bottleneck for further exploitation of insect pathogenic fungi in biological control is the limited knowledge of host pathogen interaction at the fungal genotype level
- …