1
TITLE: On Quantum Natural Policy Gradients
AUTHORS: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.08307
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: Capturing Qubit Decoherence through Paraconsistent Transition Systems
AUTHORS: Barbosa, Luis Soares ; Madeira, Alexandre ;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
3
TITLE: Paraconsistent Transition Systems  Full Text
AUTHORS: Cruz, Ana; Madeira, Alexandre ; Barbosa, Luis S. ;
PUBLISHED: 2023, SOURCE: 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 376, ISSUE: 376
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
4
TITLE: Policy gradients using variational quantum circuits
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2023, SOURCE: QUANTUM MACHINE INTELLIGENCE, VOLUME: 5, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
IN MY: ORCID | DBLP
5
TITLE: Quantum privacy-preserving service for secure lane change in vehicular networks
AUTHORS: Rahmani, Zeinab; Barbosa, Luis S. ; Pinto, Armando N.;
PUBLISHED: 2023, SOURCE: IET QUANTUM COMMUNICATION, VOLUME: 4, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
6
TITLE: Stepwise Development of Paraconsistent Processes
AUTHORS: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2023, SOURCE: 17th International Symposium on Theoretical Aspects of Software Engineering, TASE 2023 in Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, VOLUME: 13931
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: Structured Specification of Paraconsistent Transition Systems
AUTHORS: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2023, SOURCE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers, VOLUME: 14155
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
8
TITLE: Weighted synchronous automata
AUTHORS: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2023, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
9
TITLE: A Logic for Paraconsistent Transition Systems  Full Text
AUTHORS: Cruz, Ana; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2022, SOURCE: 10th International Conference on Non-Classical Logics Theory and Applications (NCL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 358, ISSUE: 358
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
10
TITLE: A tribute to Jose Manuel Valenca
AUTHORS: Oliveira, Jose Nuno ; Pinto, Jorge Sousa ; Barbosa, Luis Soares ; Henriques, Pedro Rangel;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 128
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 19. Total results: 185.