Skip navigation
tequery
Página principal
Percorrer por
Comunidades
& Coleções
Percorrer por:
Títulos
Autores
Autores UMinho
Orientadores
Editores
Assuntos
Áreas do conhecimento
Datas de publicação
Tipos de documento
Tipos de acesso
Editoras
Revistas
Ajudas
Sobre o RepositóriUM
FAQs
Utilização geral
Auto-Arquivo
Copyright
português
francês
espanhol
inglês
Entrar
Área Pessoal
Subscrição de estatísticas
Serviço de alertas
Editar conta
Percorrer por orientadores 683
Índice:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
ou inserir as letras iniciais:
Ordenar por:
título
data de publicação
data de depósito
tipo de documento
tipo de acesso
Em ordem:
ascendente
descendente
Resultados/Página:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autores/Registo:
todos
1
3
5
10
15
20
25
30
35
40
45
50
Mostrar 1-20 de um total de 22 resultados.
próximo >
Data
Título
Autor(es)
Tipo
Acesso
11-Dez-2014
An engine for coordination-based architectural reconfigurations
Rodrigues, Flávio Gonçalves
Dissertação de mestrado
Acesso aberto
10-Mar-2015
Architectural reconfiguration of interacting services
Oliveira, Nuno Ernesto Salgado
Tese de doutoramento
Acesso aberto
21-Out-2021
Combining paraconsistent and dynamic logic for Qiskit
Faria, Bernardo Almeida Leite
Dissertação de mestrado
Acesso aberto
4-Dez-2021
Exploring paraconsistent logics for quantum programs
Cruz, Ana Luzia
Dissertação de mestrado
Acesso aberto
30-Jul-2020
Flexible molecular alignment: an industrial case study on quantum algorithmic techniques
Oliveira, Marta Sofia Saraiva
Dissertação de mestrado
Acesso aberto
8-Jul-2013
Foundations and techniques for software reconfigurability
Madeira, Alexandre Leite Castro
Tese de doutoramento
Acesso aberto
27-Mai-2022
Foundations for quantum algorithms and complexity
Tavares, Carlos Eduardo Teixeira
Tese de doutoramento
Acesso aberto
22-Jun-2018
Hybrid programs
Neves, Renato Jorge Araújo
Tese de doutoramento
Acesso aberto
30-Dez-2019
Integration of time in a quantum process algebra
Fernandes, Vítor Emanuel Gonçalves
Dissertação de mestrado
Acesso aberto
6-Dez-2021
Learning the physics of open quantum systems from experiments
Alves, Alexandra Francisco Ramôa da Costa
Dissertação de mestrado
Acesso aberto
3-Dez-2019
On quantum bayesian networks
Oliveira, Michael de
Dissertação de mestrado
Acesso aberto
16-Mar-2006
Programação coindutiva: calculos e aplicações
Ribeiro, Paula Cristina Riobom Soares
Dissertação de mestrado
Acesso aberto
27-Set-2013
Proof support for hybridised logics
Neves, Renato Jorge Araújo
Dissertação de mestrado
Acesso aberto
13-Nov-2011
Prototyping a calculus of QoS : aware software components
Martins, André Batista
Dissertação de mestrado
Acesso aberto
10-Jan-2023
Quantum bayesian reinforcement learning
Cunha, Gilberto Rui Nogueira
Dissertação de mestrado
Acesso aberto
24-Set-2021
Quantum random walks: simulations and physical realizations
Santos, Jaime Pereira
Dissertação de mestrado
Acesso aberto
14-Jan-2021
Quantum-enhanced reinforcement learning
Sequeira, André Manuel Resende
Dissertação de mestrado
Acesso aberto
9-Fev-2009
Slicing techniques applied to architectural analysis of legacy software
Rodrigues, Nuno F.
Tese de doutoramento
Acesso aberto
7-Set-2009
Specification and refinement of software connectors
Barbosa, Marco António
Tese de doutoramento
Acesso aberto
2018
Validation of quantum simulations: assessing efficiency and reliability in experimental implementations
Rodrigues, Afonso Miguel Fernandes
Dissertação de mestrado
Acesso aberto