[PPT] - A Semantic Investigation of Spiking Neural P Systems Gabriel PowerPoint Presentation