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 revistas 101560
Í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 105-124 de um total de 792 resultados.
< anterior
próximo >
Data
Título
Autor(es)
Tipo
Acesso
2008
Calculating invariants as coreflexive bisimulations
Barbosa, L. S.
;
Oliveira, José Nuno Fonseca
;
Silva, Alexandra
Artigo em ata de conferência
Acesso aberto
1997
CAMILA: prototyping and refinement of constructive specifications
Almeida, José João
;
Barbosa, L. S.
;
Neves, F. L.
, et al.
Artigo em ata de conferência
Acesso aberto
2012
Can GUI implementation markup languages be used for modelling?
Silva, Carlos Eduardo
;
Campos, J. Creissac
Artigo em ata de conferência
Acesso aberto
Jan-2019
CAPAS: A context-aware system architecture for physical activities monitoring
Ferreira, Paulo
;
Freitas, Leandro O.
;
Henriques, Pedro Rangel
, et al.
Artigo em ata de conferência
Acesso aberto
1-Jan-2016
A case-based approach to nosocomial infection detection
Faria, Ricardo
;
Vicente, Henrique
;
Abelha, António
, et al.
Artigo em ata de conferência
Acesso restrito UMinho
2018
A case-based reasoning approach to GBM evolution
Mendonça, Ana
;
Pereira, Joana
;
Reis, Rita
, et al.
Artigo em ata de conferência
Acesso restrito UMinho
2009
Case-based reasoning decision making in ambient assisted living
Carneiro, Davide Rua
;
Novais, Paulo
;
Costa, Ricardo
, et al.
Artigo em ata de conferência
Acesso aberto
2012
Catadioptric system optimisation for omnidirectional Robocup MSL robots
Lopes, Gil
;
Ribeiro, A. Fernando
;
Pereira, Nino
Capítulo de livro
Acesso aberto
Set-2017
Certification of workflows in a component-based cloud of high performance computing services
de Oliveira Dantas, Allberson B.
;
de Carvalho Junior, F. Heron
;
Barbosa, L. S.
Artigo em ata de conferência
Acesso aberto
2020
Certified compilation for cryptography: Extended x86 instructions and constant-time verification
Almeida, José Bacelar
;
Barbosa, Manuel
;
Barthe, Gilles
, et al.
Artigo em ata de conferência
Acesso aberto
2010
A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocols
Almeida, José Bacelar
;
Bangerter, Endre
;
Barbosa, Manuel
, et al.
Artigo em ata de conferência
Acesso aberto
2008
Characterising strongly normalising intuitionistic sequent terms
Espírito Santo, José
;
Ghilezan, S.
;
Ivetic, J.
Artigo em ata de conferência
Acesso aberto
2011
Characterising University WLANs within Eduroam Context
Mulhanga, Maraganze
;
Lima, Solange
;
Carvalho, Paulo
Artigo em ata de conferência
Acesso aberto
Abr-2015
Characterization of pneumonia incidence supported by a business intelligence system
Santos, Maribel Yasmina
;
Leite, Vera
;
Carvalheira, António
, et al.
Artigo em ata de conferência
Acesso restrito UMinho
2015
Characterization of the Portuguese SSS into the Europe: A Contribution
Pereira, Maria Teresa Ribeiro
;
Rocha, Jose
;
Telhada, José
, et al.
Artigo em ata de conferência
Acesso restrito UMinho
2014
Characterizing the control logic of web applications’ user interfaces
Silva, Carlos Eduardo
;
Campos, J. Creissac
Artigo em ata de conferência
Acesso aberto
2018
Chatbot Theory: A naïve and elementary theory for dialogue management
Marcondes, Francisco S.
;
Almeida, J. J.
;
Novais, Paulo
Artigo em ata de conferência
Acesso aberto
Set-2022
Cherry-picking meta-heuristic algorithms and parameters for real optimization problems
Martins, Kevin
;
Mendes, Rui
Artigo em ata de conferência
Acesso restrito UMinho
2018
Chest X-ray image analysis: A vision of logic programming
Neves, João
;
Faria, Ricardo
;
Alves, Victor
, et al.
Artigo em ata de conferência
Acesso restrito UMinho
Mai-2007
Class-based OSPF traffic engineering inspired on evolutionary computation
Sousa, Pedro
;
Rocha, Miguel
;
Rio, Miguel
, et al.
Artigo em ata de conferência
Acesso aberto