Percorrer por revistas 101560

Í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 105-124 de um total de 792 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2008Calculating invariants as coreflexive bisimulationsBarbosa, L. S.; Oliveira, José Nuno Fonseca; Silva, AlexandraArtigo em ata de conferênciaAcesso aberto
1997CAMILA: prototyping and refinement of constructive specificationsAlmeida, José João; Barbosa, L. S.; Neves, F. L., et al.Artigo em ata de conferênciaAcesso aberto
2012Can GUI implementation markup languages be used for modelling?Silva, Carlos Eduardo; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
Jan-2019CAPAS: A context-aware system architecture for physical activities monitoringFerreira, Paulo; Freitas, Leandro O.; Henriques, Pedro Rangel, et al.Artigo em ata de conferênciaAcesso aberto
1-Jan-2016A case-based approach to nosocomial infection detectionFaria, Ricardo; Vicente, Henrique; Abelha, António, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2018A case-based reasoning approach to GBM evolutionMendonça, Ana; Pereira, Joana; Reis, Rita, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2009Case-based reasoning decision making in ambient assisted livingCarneiro, Davide Rua; Novais, Paulo; Costa, Ricardo, et al.Artigo em ata de conferênciaAcesso aberto
2012Catadioptric system optimisation for omnidirectional Robocup MSL robotsLopes, Gil; Ribeiro, A. Fernando; Pereira, NinoCapítulo de livroAcesso aberto
Set-2017Certification of workflows in a component-based cloud of high performance computing servicesde Oliveira Dantas, Allberson B.; de Carvalho Junior, F. Heron; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2020Certified compilation for cryptography: Extended x86 instructions and constant-time verificationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Artigo em ata de conferênciaAcesso aberto
2010A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocolsAlmeida, José Bacelar; Bangerter, Endre; Barbosa, Manuel, et al.Artigo em ata de conferênciaAcesso aberto
2008Characterising strongly normalising intuitionistic sequent termsEspírito Santo, José; Ghilezan, S.; Ivetic, J.Artigo em ata de conferênciaAcesso aberto
2011Characterising University WLANs within Eduroam ContextMulhanga, Maraganze; Lima, Solange; Carvalho, PauloArtigo em ata de conferênciaAcesso aberto
Abr-2015Characterization of pneumonia incidence supported by a business intelligence systemSantos, Maribel Yasmina; Leite, Vera; Carvalheira, António, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2015Characterization of the Portuguese SSS into the Europe: A ContributionPereira, Maria Teresa Ribeiro; Rocha, Jose; Telhada, José, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2014Characterizing the control logic of web applications’ user interfacesSilva, Carlos Eduardo; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2018Chatbot Theory: A naïve and elementary theory for dialogue managementMarcondes, Francisco S.; Almeida, J. J.; Novais, PauloArtigo em ata de conferênciaAcesso aberto
Set-2022Cherry-picking meta-heuristic algorithms and parameters for real optimization problemsMartins, Kevin; Mendes, RuiArtigo em ata de conferênciaAcesso restrito UMinho
2018Chest X-ray image analysis: A vision of logic programmingNeves, João; Faria, Ricardo; Alves, Victor, et al.Artigo em ata de conferênciaAcesso restrito UMinho
Mai-2007Class-based OSPF traffic engineering inspired on evolutionary computationSousa, Pedro; Rocha, Miguel; Rio, Miguel, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 105-124 de um total de 792 resultados. < anterior   próximo >