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 1-20 de um total de 22 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
11-Dez-2014An engine for coordination-based architectural reconfigurationsRodrigues, Flávio GonçalvesDissertação de mestrado Acesso aberto
10-Mar-2015Architectural reconfiguration of interacting servicesOliveira, Nuno Ernesto SalgadoTese de doutoramentoAcesso aberto
21-Out-2021Combining paraconsistent and dynamic logic for QiskitFaria, Bernardo Almeida LeiteDissertação de mestrado Acesso aberto
4-Dez-2021Exploring paraconsistent logics for quantum programsCruz, Ana LuziaDissertação de mestrado Acesso aberto
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
Mostrar 1-20 de um total de 22 resultados.  próximo >