Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 11-20 de um total de 143 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2010Program verification in SPARK and ACSL : a comparative case studyBrito, Eduardo; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
6-Out-2014Endoscopic imaging results: web-based solution for video diffusion with real-time assistanceBraga, Joel Teles; Laranjo, Isabel Maria Cunha; Gonçalves, Carla Rolanda Rocha; Lopes, Luís; Pinto, Jorge Manuel Nunes Correia; Alves, VictorArtigoAcesso restrito UMinho
2011A study on the robustness of strain optimization algorithmsVilaça, Paulo; Maia, Paulo; Rocha, MiguelArtigo em ata de conferênciaAcesso aberto
2011Refinement by interpretation in φ-institutionsRodrigues, César J.; Martins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2012ScheduleIT - open-source preventive actions management platform in healthcare information systemPeixoto, Hugo; Duarte, Júlio; Abelha, António; Santos, Manuel; Machado, José ManuelArtigo em ata de conferênciaAcesso restrito UMinho
2013clOpenCL : supporting distributed heterogeneous computing in HPC clustersAlves, Albano Agostinho Gomes; Rufino, José; Pina, António Manuel Silva; Santos, Luís PauloArtigo em ata de conferênciaAcesso aberto
2011A logic programming approach to medical errors in imagingRodrigues, Susana Isabel Magalhães da Rocha; Brandão, Paulo; Nelas, Luís; Neves, José; Alves, VictorArtigoAcesso aberto
2011Improving the scalability of cloud-based resilient database serversSoares, L.; Pereira, José, 1973-Artigo em ata de conferênciaAcesso aberto
2012Intelligent and real time data acquisition and evaluation to determine critical events in Intensive medicinePortela, Filipe; Gago, Pedro; Santos, Manuel Filipe; Machado, José Manuel; Abelha, António; Silva, Álvaro; Rua, Fernando; Quintas, César; Pinto, FilipeArtigo em ata de conferênciaAcesso restrito UMinho
2010A coordination model for interactive componentsBarbosa, Marco António; Barbosa, L. S.; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
11-20 de um total de 143 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir