Daniel Ramírez-Martínez

  • Citations Per Year
Learn More
The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is usually a hard task. Basically, the verification process consists of the search of invariant formulae such that, once proved their validity, show the right answer to the problem. Even though there does not exist a general methodology for(More)
In this work we present a study of nonlinear optical properties in organic materials (hibiscus sabdariffa). Our results demonstrate that the medium exhibits a highly nonlocal nonlinear response. We show preliminary numerical results of the transmittance as nonlocal response by considering, simultaneously, the nonlinear absorption and refraction in media.(More)
  • 1