1
TÍTULO: Paraconsistency for the Working Software Engineer (Extended Abstract)
AUTORES: Barbosa, Luis Soares ;
PUBLICAÇÃO: 2025, FONTE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2024, VOLUME: 15280
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
2
TÍTULO: Specification of paraconsistent transition systems, revisited  Full Text
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
INDEXADO EM: Scopus WOS DBLP CrossRef
3
TÍTULO: Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials
AUTORES: Guimaraes, Jose D.; Vasilevskiy, Mikhail I.; Barbosa, Luis S. ;
PUBLICAÇÃO: 2024, FONTE: QUANTUM, VOLUME: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
4
TÍTULO: On Quantum Natural Policy Gradients
AUTORES: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2024, FONTE: IEEE TRANSACTIONS ON QUANTUM ENGINEERING, VOLUME: 5
INDEXADO EM: WOS DBLP CrossRef: 1
NO MEU: DBLP
5
TÍTULO: Quantum advantage in temporally flat measurement-based quantum computation
AUTORES: de Oliveira, Michael; Barbosa, Luis Soares ; Galvao, Ernesto F.;
PUBLICAÇÃO: 2024, FONTE: QUANTUM, VOLUME: 8
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
6
TÍTULO: Secure two-party computation via measurement-based quantum computing  Full Text
AUTORES: Rahmani, Zeinab; Pinto, Armando Humberto Moreira Nolasco ; Barbosa, Luis Manuel Dias Coelho Soares ;
PUBLICAÇÃO: 2024, FONTE: QUANTUM INFORMATION PROCESSING, VOLUME: 23, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
7
TÍTULO: Trainability issues in quantum policy gradients
AUTORES: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2024, FONTE: MACHINE LEARNING-SCIENCE AND TECHNOLOGY, VOLUME: 5, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
8
TÍTULO: Trainability issues in quantum policy gradients with softmax activations
AUTORES: Sequeira, Andre; Santos, Luis Paulo; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2024, FONTE: 2024 International Conference on Quantum Computing and Engineering in 2024 IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING, QCE, VOL 2, VOLUME: 2
INDEXADO EM: Scopus WOS DBLP CrossRef
9
TÍTULO: Capturing Qubit Decoherence through Paraconsistent Transition Systems
AUTORES: Barbosa, Luis Soares ; Madeira, Alexandre ;
PUBLICAÇÃO: 2023, FONTE: 7th International Conference on the Art, Science, and Engineering of Programming (Programming) in COMPANION PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING 2023
INDEXADO EM: Scopus WOS DBLP CrossRef
10
TÍTULO: Modelling and control of manufacturing systems subject to context recognition and switching  Full Text
AUTORES: Southier, Luiz Fernando Puttow; Casanova, Dalcimar; Barbosa, Luis ; Torrico, Cesar; Barbosa, Marco; Teixeira, Marcelo;
PUBLICAÇÃO: 2023, FONTE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 61, NÚMERO: 10
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
Página 1 de 20. Total de resultados: 195.