Zobrazeno 1 - 10
of 211
pro vyhledávání: '"Almeida, José Carlos"'
Autor:
Almeida, José Carlos Bacelar, Barbosa, Manuel, Eldefrawy, Karim, Graham-Lengrand, Stéphane, Pacheco, Hugo, Pereira, Vitor
MPC-in-the-Head (MitH) is a general framework that allows constructing efficient Zero Knowledge protocols for general NP-relations from secure multiparty computation (MPC) protocols. In this paper we give the first machine-checked implementation of t
Externí odkaz:
http://arxiv.org/abs/2104.05516
Publikováno v:
In Procedia Computer Science 2023 220:600-607
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bacelar Almeida, José Carlos, Barbosa, Manuel, Barthe, Gilles, Pacheco, Hugo, Pereira, Vitor, Portela, Bernardo
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming February 2022 125
Publikováno v:
In IFAC PapersOnLine 2022 55(6):222-227
Context-free language theory is a subject of high importance in computer language processing technology as well as in formal language theory. This paper presents a formalization, using the Coq proof assistant, of fundamental results related to contex
Externí odkaz:
http://arxiv.org/abs/1510.09092
Context-free languages (CFLs) are highly important in computer language processing technology as well as in formal language theory. The Pumping Lemma is a property that is valid for all context-free languages, and is used to show the existence of non
Externí odkaz:
http://arxiv.org/abs/1510.04748
Autor:
des de Sousa Almeida, José Carlos Moura Gue, Imaginário, Cristina Maria Inocência, Mártires, Maria Alice Rodrigues dos
Publikováno v:
Portuguese Journal of Mental Health Nursing / Revista Portuguesa de Enfermagem de Saúde Mental; Jun2024, Issue 31, p82-94, 13p
Publikováno v:
Repositório Institucional do IENInstituto de Engenharia NuclearIEN.
Submitted by Marcele Costal de Castro (costalcastro@gmail.com) on 2017-09-20T18:26:27Z No. of bitstreams: 1 JOSE CARLOS SOARES DE ALMEIDA M.PDF: 406246 bytes, checksum: 8c9fa9ca253d578b9e0f7b938d783030 (MD5)
Made available in DSpace on 2017-09-2
Made available in DSpace on 2017-09-2
Externí odkaz:
http://carpedien.ien.gov.br:8080/handle/ien/1922
Publikováno v:
Repositório Institucional da UnicampUniversidade Estadual de CampinasUNICAMP.
Orientador : Oseas Valente de Avilez Filho
Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação
Made available in DSpace on 2018-07-29T02:11:50Z (GMT). No. of bitstreams: 1 Almeida_JoseCar
Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação
Made available in DSpace on 2018-07-29T02:11:50Z (GMT). No. of bitstreams: 1 Almeida_JoseCar
Externí odkaz:
http://repositorio.unicamp.br/jspui/handle/REPOSIP/260290