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:  

Mostrar 5-22 de um total de 22 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
30-Jul-2020Flexible molecular alignment: an industrial case study on quantum algorithmic techniquesOliveira, Marta Sofia SaraivaDissertação de mestrado Acesso aberto
8-Jul-2013Foundations and techniques for software reconfigurabilityMadeira, Alexandre Leite CastroTese de doutoramentoAcesso aberto
27-Mai-2022Foundations for quantum algorithms and complexityTavares, Carlos Eduardo TeixeiraTese de doutoramentoAcesso aberto
22-Jun-2018Hybrid programsNeves, Renato Jorge AraújoTese de doutoramentoAcesso aberto
30-Dez-2019Integration of time in a quantum process algebraFernandes, Vítor Emanuel GonçalvesDissertação de mestrado Acesso aberto
6-Dez-2021Learning the physics of open quantum systems from experimentsAlves, Alexandra Francisco Ramôa da CostaDissertação de mestrado Acesso aberto
3-Dez-2019On quantum bayesian networksOliveira, Michael deDissertação de mestrado Acesso aberto
16-Mar-2006Programação coindutiva: calculos e aplicaçõesRibeiro, Paula Cristina Riobom SoaresDissertação de mestrado Acesso aberto
27-Set-2013Proof support for hybridised logicsNeves, Renato Jorge AraújoDissertação de mestrado Acesso aberto
13-Nov-2011Prototyping a calculus of QoS : aware software componentsMartins, André BatistaDissertação de mestrado Acesso aberto
10-Jan-2023Quantum bayesian reinforcement learningCunha, Gilberto Rui NogueiraDissertação de mestrado Acesso aberto
24-Set-2021Quantum random walks: simulations and physical realizationsSantos, Jaime PereiraDissertação de mestrado Acesso aberto
14-Jan-2021Quantum-enhanced reinforcement learningSequeira, André Manuel ResendeDissertação de mestrado Acesso aberto
9-Fev-2009Slicing techniques applied to architectural analysis of legacy softwareRodrigues, Nuno F.Tese de doutoramentoAcesso aberto
7-Set-2009Specification and refinement of software connectorsBarbosa, Marco AntónioTese de doutoramentoAcesso aberto
2018Validation of quantum simulations: assessing efficiency and reliability in experimental implementationsRodrigues, Afonso Miguel FernandesDissertação de mestrado Acesso aberto
12-Nov-2018A virtual factory for smart city service integrationCledou, María GuillerminaTese de doutoramentoAcesso aberto
8-Abr-2022Weighted computations: semantics and program logicsGomes, Leandro Rafael MoreiraTese de doutoramentoAcesso aberto
Mostrar 5-22 de um total de 22 resultados. < anterior