|
|
Quantum random walks [Documento eletrónico] : simulations and physical realizations / Jaime Pereira Santos ; orient. Luís Barbosa, Bruno Chagas
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
Formal specification of an object-oriented framework for designing control systems [Documento electrónico] / David Manuel Rodrigues Sora ; orient. Luís Soares Barbosa
Produtos Computador
Publication
Guimarães : [s.n.], 2007
Description
1 disco óptico (CD-ROM) :
il. ;
em caixa 13x14x1 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Foundations for quantum algorithms and complexity [Documento eletrónico] = [Fundamentos de algoritmos quânticos e complexidade] / Carlos Eduardo Teixeira Tavares ; orient. Luís Manuel Dias Coelho Soares Barbosa
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
Combining paraconsistent and dynamic logic for Qiskit [Documento eletrónico] / Bernardo Almeida Leite Faria ; orient. Luís Soares Barbosa e Alexandre Castro Madeira
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
Flexible molecular alignment [Documento eletrónico] : an industrial case study on quantum algorithmic techniques / Marta Sofia Saraiva Oliveira ; orient. Luís Soares Barbosa
Produtos Computador
Publication
[Braga : s.n.], 2020
Online resource
Acesso livre
Availability
No copies available
|
|
|
Quantum-enhanced reinforcement learning [Documento eletrónico] / André Manuel Resende Sequeira ; orient. Luís Paulo Santos, Luís Soares Barbosa
Produtos Computador
Publication
[Braga : s.n.], 2020
Online resource
Acesso livre
Availability
No copies available
|
|
|
On quantum bayesian networks [Documento eletrónico] / Michael de Oliveira ; orient. Luís Soares Barbosa
Produtos Computador
Publication
[Braga : s.n.], 2019
Online resource
Acesso livre
Availability
No copies available
|
|
|
Regular expressions for timed automata [Documento eletrónico] / Paulo Ribeiro ; orient. Luís Barbosa, Renato Neves
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
Learning the physics of open quantum systems from experiments [Documento eletrónico] = [Caraterização de sistemas quânticos abertos através de dados experimentais] / Alexandra Francisco Ramôa da Costa Alves ; orient. Ernesto Galvão, Luís Soares Barbosa
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
Weighted computations [Documento eletrónico] : semantics and program logics = [Computações pesadas : semânticas e lógicas de programas] / Leandro Rafael Moreira Gomes ; orient. Luís Soares Barbosa, Alexandre Madeira
Produtos Computador
Publication
[Braga : s.n.], 2022
Online resource
Acesso livre
Availability
No copies available
|
|
|
Exploring paraconsistent logics for quantum programs [Documento eletrónico] : paraconsistent transition systems : modal paraconsistent logic / Ana Luzia Cruz ; orient. Luís Soares Barbosa, Alexandre Madeira
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|