Percorrer por editoras 2293

Í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 141-160 de um total de 314 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2011A language for behavioural modelling of architectural patternsSanchez, Alejandro; Barbosa, L. S.; Riesco, DanielArtigo em ata de conferênciaAcesso aberto
6-Nov-2016Learning new words and spelling with autocorrectionsArif, Ahmed Sabbir; Sylla, Cristina Maria Santos Moreira Silva; Mazalek, AliArtigo em ata de conferênciaAcesso aberto
Set-2012Leveraging media repertoires to create new social tiesJoseph, Kenneth; José, Rui; Carley, Kathleen M.Artigo em ata de conferênciaAcesso aberto
17-Jun-2021Leveraging RISC-V to build an open-source (hardware) OS framework for reconfigurable IoT devicesSilva, Miguel Ângelo Fernandes; Gomes, Tiago Manuel Ribeiro; Pinto, SandroArtigo em ata de conferênciaAcesso aberto
2016Life beyond distributed transactions on the edgeShoker, Ali; Kassam, Ziad; Almeida, Paulo Sérgio, et al.Artigo em ata de conferênciaAcesso aberto
Jan-2016Lightweight specification and analysis of dynamic systems with rich configurationsMacedo, Nuno; Brunel, Julien; Chemouil, David, et al.Artigo em ata de conferênciaAcesso aberto
2004A local model of eye adaptation for high dynamic range imagesLedda, Patrick; Santos, Luís Paulo; Chalmers, AlanArtigo em ata de conferênciaAcesso aberto
2015Logic-based schedulability analysis for compositional hard real-time embedded systemsPedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al.ArtigoAcesso aberto
2023Loom: a closed-box disaggregated database systemCoelho, Fábio; Alonso, Ana; Ferreira, Luis, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2021LOOM: Interweaving tightly coupled visualization and numeric simulation frameworkBarbosa, Joao; Navratil, Paul; Santos, Luís Paulo, et al.Artigo em ata de conferênciaAcesso aberto
31-Out-2023Low-code development productivityVarajão, João; Trigo, António; Almeida, MiguelArtigoAcesso aberto
2022M&M - MONNOM meets MOBEYBOU: digital interfaces for children's embodied interactionKay, Ipek; Sylla, Cristina Maria; Gil, Maitê Moraes, et al.Artigo em ata de conferênciaAcesso aberto
27-Mar-2023Machine learning for VRUs accidents prediction using V2X dataRibeiro, Bruno Daniel Mestre Viana; Nicolau, Maria João; Santos, AlexandreArtigo em ata de conferênciaAcesso restrito UMinho
2019A machine-checked proof of security for AWS key management serviceAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Artigo em ata de conferênciaAcesso aberto
2019Machine-checked proofs for cryptographic standards indifferentiability of SPONGE and secure high-assurance implementations of SHA-3Almeida, José Bacelar; Baritel-Ruet, Cecile; Barbosa, Manuel, et al.Artigo em ata de conferênciaAcesso aberto
Nov-2021Machine-checked ZKP for NP relations: formally verified security proofs and implementations of MPC-in-the-headAlmeida, José Bacelar; Barbosa, Manuel; Correia, Manuel L., et al.Artigo em ata de conferênciaAcesso aberto
2014Making justice more accessibleCarneiro, Davide Rua; Novais, PauloArtigo em ata de conferênciaAcesso aberto
2014Making Operation-based CRDTs Operation-basedBaquero, Carlos; Almeida, Paulo Sérgio; Shoker, AliArtigo em ata de conferênciaAcesso aberto
Nov-2011MaLaKuLa: stories inside “magical” seashellsCarvalho, João; Branco, PedroArtigo em ata de conferênciaAcesso aberto
2013Many-objective optimization using differential evolution with variable-wise mutation restrictionDenysiuk, Roman; Costa, Lino; Espírito Santo, I. A. C. P.Artigo em ata de conferênciaAcesso restrito UMinho
Mostrar 141-160 de um total de 314 resultados. < anterior   próximo >