Pesquisa avançada

.

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1091-1100 de um total de 1111 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Mar-2005Agent based decision support systems in medicineAlves, Victor; Neves, José; Machado, José Manuel; Abelha, AntónioArtigoAcesso aberto
1998The role of verification in interactive systems designCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2011Modelling and analysing the interactive behaviour of an infusion pumpCampos, J. Creissac; Harrison, Michael D.ArtigoAcesso aberto
2015A framework for efficient execution of data parallel irregular applications on heterogeneous systemsRibeiro, Roberto; Barbosa, João; Santos, Luís PauloArtigoAcesso aberto
2009Security analysis of standard authentication and key agreement protocols utilising timestampsBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
1998Representational reasoning and verificationDoherty, Gavin J.; Campos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2011Quality of service constrained routing optimization using evolutionary computationRocha, Miguel; Sousa, Pedro; Cortez, Paulo; Rio, MiguelArtigoAcesso aberto
2005Pre-argumentative reasoningNovais, Paulo; Brito, Luís; Neves, JoséArtigoAcesso aberto
2015An evaluation of parchments' degradation a hybrid approachNeves, José; Machado, José Manuel; Gomes, Guida; Sousa, Sérgio; Tereso, Daniela; Coelho, Ana; Caldeira, Ana Teresa; Pereira, António; Candeias, António; Vicente, HenriqueArtigo em ata de conferênciaAcesso aberto
Mai-2009A prototype to integrate a wireless sensor network with civil protection grid applicationsEsteves, António; Pina, António Manuel Silva; Sá, Vítor J.; Caldas, Marco; Lebreiro, Nuno; Lopes, LuizArtigo em ata de conferênciaAcesso aberto
1091-1100 de um total de 1111 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir