Percorrer por áreas do conhecimento (FOS/OCDE) Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

Í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:  

Mostrar 2638-2657 de um total de 2715 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2019V-Visor: lightweight virtualization for RISC-VSilva, José Nuno Leite daDissertação de mestrado Acesso aberto
2018Validação de um filtro ativo paralelo monofásico com interface de energias renováveis e sistemas de armazenamento de energiaLima, Pedro Miguel Ribeiro deDissertação de mestrado Acesso aberto
2018Validação de uma nova topologia de carregador de baterias para um veículo elétrico para operação no contexto de smart gridsLeite, Rafael Filipe de SousaDissertação de mestrado Acesso aberto
2020Validating multiple variants of an automotive light system with electrumCunha, Alcino; Macedo, Nuno; Liu, ChongArtigo em ata de conferênciaAcesso aberto
Mai-2018Validating the hybrid ERTMS/ETCS level 3 concept with electrumCunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
Set-2018Validation of a metadata application profile domain modelMalta, Mariana Curado; Bermúdez-Sabel, Helena; Baptista, Ana Alice, et al.Artigo em ata de conferênciaAcesso aberto
2017Validation of a wireless communication protocol to monitor human gait using IMUsRibeiro, Nuno Ferrete; Figueiredo, Joana; Santos, CristinaArtigo em ata de conferênciaAcesso aberto
2022Value-focused investigation into programming languages affinityCosta Neto, Alvaro; Araújo, Cristiana; Pereira, Maria João Varanda, et al.Artigo em ata de conferênciaAcesso aberto
Ago-2014Vehicle-to-anything application (v2anything app) for electric vehiclesFerreira, João C.; Monteiro, Vítor Duarte Fernandes; Afonso, João L.ArtigoAcesso aberto
12-Dez-2018Verificação funcional de controladores ArduinoBarbosa, Rafael Alexandre AntunesDissertação de mestrado Acesso aberto
2012Verification conditions for single-assignment programsCruz, Daniela da; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
11-Abr-2022Verification of distributed algorithms with the Why3 toolCruz, Carla Isabel NovaisDissertação de mestrado Acesso aberto
23-Out-2022Verification of railway network models with EVERESTMartins, João; Fonseca, José M.; Costa, Rafael, et al.Artigo em ata de conferênciaAcesso aberto
2019Verification templates for the analysis of user interface software designHarrison, Michael douglas; Masci, Paolo; Campos, José C.ArtigoAcesso aberto
Jun-2022Verified password generation from password composition policiesGrilo, Miguel; Campos, João; Ferreira, João F., et al.Artigo em ata de conferênciaAcesso aberto
3-Abr-2023A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3Frade, M. J.; Pinto, Jorge SousaArtigoAcesso embargado (1 Ano)
2023Verifying temporal relational models with PardinusMacedo, Nuno; Brunel, Julien; Chemouil, David, et al.Artigo em ata de conferênciaAcesso aberto
2015Vetores envolvidos no acesso à informação científica em MoçambiqueMulhanga, Marangaze; Massingue, Venâncio; Mangue, Manuel, et al.Comunicação oral Acesso aberto
2014Video processing architecture: a solution for endoscopic procedures resultsLaranjo, Isabel Maria Cunha; Braga, Joel Teles; Assunção, Domingos, et al.Artigo em ata de conferênciaAcesso restrito UMinho
9-Jan-2023VirtIO infrastructure for a static partition hypervisor: VirtIO-NetCosta, João Rodrigo LimaDissertação de mestrado Acesso aberto
Mostrar 2638-2657 de um total de 2715 resultados. < anterior   próximo >