CV Lattes
ResearcherID
ORCID
Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME) (Institutional affiliation for the last research proposal) Birthplace: Brazil
Sandro Márcio da Silva Preto in research grants and scholarships supported by FAPESP.
| News published in Agência FAPESP Newsletter about the researcher |
| TITULO |
| Articles published in other media outlets (0 total): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
A way to circumvent the black box method problem suffered by neural networks and allow its application in critical situations is by making the formal verification of desirable properties in these networks. The area of formal verification of neural networks is recent and there are challenges to be tackled; for that, the community proposed benchmarks and competitions for comparing the effic…
Although there are many literature and already implemented routines for treating the problems of satisfiability and validity of formulas in the Lukasiewicz Infinitely-valued Logic, we are unaware of works dealing with the problem of deciding the validity of a logical consequence in such logical system. This research project aims first to establish and implement algorithms for this problem…
| 1 / 1 | Completed scholarships in Brazil |
| 1 / 1 | Ongoing scholarships abroad |
| 2 / 2 | All Scholarships |
| Associated processes | |